 27*n(x) + 2*t(x). Suppose 5*w - 3*p = 12, -5*p + 1 + 19 = 5*w. Is g(w) a multiple of 20?
False
Let q(v) = -32 - 16 - 8*v - 2*v. Is 6 a factor of q(-9)?
True
Suppose -5*m + 0*b = -2*b, -3*m + 4*b = 0. Let c be (m - 0)*(-3 - -4). Suppose c*j - 2*j = -84. Is j a multiple of 17?
False
Let u(n) = n + 3. Let q be u(1). Suppose -5*f + 4*w + 51 = 0, -q*f + 23 = f + 3*w. Is 4 a factor of f?
False
Suppose 4*l + 146 = 3*w, 6*l - 7*l = w - 37. Does 6 divide w?
True
Let l(j) = -j + 2*j**3 + 0*j**2 - j**3 + 0*j**2. Let y(w) = -7*w**3 + w**2 + 5*w + 28. Let i(d) = 6*l(d) + y(d). Is i(0) a multiple of 14?
True
Suppose -4*x + 376 = g, x + 2174 - 636 = 4*g. Is 46 a factor of g?
False
Is 15 a factor of (-452)/((-24)/(-54) - 20/18)?
False
Let c(k) = -37*k - 6. Does 5 divide c(-7)?
False
Suppose 0 = -25*a + 23*a + 250. Does 9 divide a?
False
Let h be ((-24)/(-36))/((-2)/(-9)). Suppose 175 = 2*k + h*k. Suppose -5*o - k + 395 = 0. Is 19 a factor of o?
False
Suppose -5*s = 2*a + 8, 4*a - 5*s + 38 = -4*s. Suppose 0 = -j - j + 3*t + 85, 0 = -4*j - 2*t + 194. Let q = j + a. Does 14 divide q?
False
Let j(z) = z**2 - 2*z - 6. Let d be 2/(-8) - (-39)/12. Suppose d*p - 18 = -0*p. Does 16 divide j(p)?
False
Let i = -206 - -349. Suppose 0*t + 4*t - 5*k - i = 0, -3*t + 5*k = -101. Is 14 a factor of t?
True
Let a(m) = -m**3 + m**2 - 8*m + 84. Does 32 divide a(0)?
False
Let g(q) = 22*q + 192. Does 24 divide g(0)?
True
Let p(d) = -4*d + 17. Let i(n) = 11*n - 51. Let l(f) = 3*i(f) + 8*p(f). Let j(r) = -1. Let h(y) = 6*j(y) - l(y). Is h(-9) a multiple of 7?
False
Suppose -l = -0*l + 19. Let s = l + 8. Let z(a) = -a + 5. Is z(s) a multiple of 16?
True
Let i(j) be the third derivative of j**5/15 + 13*j**4/24 + 5*j**3/6 + j**2. Is 14 a factor of i(-5)?
False
Suppose -3*w = 37*w - 3480. Is w even?
False
Suppose -5*v - 18 = -2*v. Let z = v - -11. Suppose 2*a + 270 = 7*a - z*m, a = -3*m + 34. Does 15 divide a?
False
Suppose -26*x + 176 = -1072. Is 24 a factor of x?
True
Suppose 1595 = -9*g + 14*g. Is 11 a factor of g?
True
Suppose 4*m = 29*m - 7200. Does 4 divide m?
True
Let o = -15 + 21. Let l be (-459)/o*6/(-9). Suppose -3*y = -2*f + l + 13, 4*f - 124 = 5*y. Does 13 divide f?
True
Let f(r) = 9*r - 3*r**2 + 5*r**2 - 2*r**2 + 15 + r**2. Does 5 divide f(-8)?
False
Suppose 3*r - 20 + 81 = 5*b, -3*b = 3*r + 21. Let j = -15 - r. Is 3 a factor of (2 - (4 + -1))*j?
True
Let x(g) = g**2 - 3*g + 2. Let p be (-32)/(-6) - 6/18. Is x(p) a multiple of 6?
True
Let l(w) = w + 2. Let a(k) = -k**3 + 3*k**2 + k. Let g be a(3). Let c be l(g). Let v = c - 0. Is v a multiple of 5?
True
Suppose 9*z + 18 = 10*z. Let j be (z/15)/((-6)/(-20)). Suppose 0 = j*c - 41 - 55. Is c a multiple of 8?
True
Suppose 0 = -d - 2*b - 7, 2*d + 2*b = 3*d - 13. Suppose -5*l + 5*q = -50, d*q + q = -5*l + 32. Suppose -8 = -f + l. Is f a multiple of 5?
False
Let y = 1512 - 903. Is y a multiple of 29?
True
Let q be 6 + -5 - (0 + -3). Suppose q = 4*c - 3*c. Suppose c*n = n + 5*l + 28, 2*l + 8 = n. Is n a multiple of 7?
False
Does 3 divide (460/(-35))/((-4)/14)?
False
Suppose 5*h - 35 = -4*u - 0*u, 4*u - 29 = -3*h. Suppose 5*g - j - 3*j = 370, 287 = 4*g - u*j. Is g a multiple of 13?
True
Let g(t) = -14*t - 10 + 7 + 5. Is 32 a factor of g(-8)?
False
Let a = 708 + -477. Is 15 a factor of a?
False
Let k(a) = a**3 + 8*a**2 + 2*a - 6. Let y be k(-6). Let s = 102 - y. Does 24 divide s?
True
Let u(r) = 12*r**2 - 3. Let z be 3*1/(-2)*48/18. Does 27 divide u(z)?
True
Suppose 4*d = -3*i + 169, -5*d + 34 + 175 = 3*i. Suppose n = 6*n + d. Let m = n - -13. Is m a multiple of 2?
False
Let i(b) = 148*b + 4. Let c be i(3). Let y = c - 276. Let m = y - 111. Does 15 divide m?
False
Suppose 0 = -3*r - 64 + 4. Suppose -2*w - 13 = 1. Let p = w - r. Does 5 divide p?
False
Let r be (1 - 2)*2 - (9 - 79). Let x(j) = -5*j - 8. Let p be x(-7). Let t = r - p. Is t a multiple of 12?
False
Let z(d) = -40*d - 346. Is z(-51) a multiple of 78?
False
Suppose -8*v = -5*v - 3. Suppose -5*j = 4*i - 5, -j - 3*i - v + 2 = 0. Is 238/8 + j/4 a multiple of 15?
True
Let q be (-19 - -16) + 2*76. Suppose -r - 2*b = -b - q, b = r - 151. Suppose -5*t - r = -10*t. Does 6 divide t?
True
Let l = 92 - 68. Is 24 a factor of l?
True
Suppose -4 + 14 = 5*t. Let y(m) = -11*m**3 + 13*m**3 - 2*m + 3*m**2 - m**2. Is 8 a factor of y(t)?
False
Suppose f = 5*p + 13, 0*p - 2*p + 2 = 2*f. Suppose 7*n - f*n + 8 = 0. Is 8 a factor of n - -2 - (-3 - 13)?
True
Suppose -6*n = -16 - 2. Suppose -o + 0*o + 193 = n*d, -2*o - 62 = -d. Is 16 a factor of d?
True
Suppose -5*m = -5*n - 8 - 187, -m + 5*n = -39. Does 4 divide m?
False
Let d = -19 + 24. Suppose d*r - 160 = -5. Let h = r - 1. Does 13 divide h?
False
Suppose 5*m - 9434 = -4*r, r = -2*m + 4430 - 654. Is m a multiple of 83?
False
Let a be (16 + 1)/(-1 - 32/(-28)). Suppose -2*h + 68 = -3*h. Let q = h + a. Does 17 divide q?
True
Let l = -15 + 18. Suppose -80 = -4*a - 5*u, l*a + 4*u = -2*a + 91. Is a a multiple of 5?
True
Let z = -32 + 157. Suppose 93 + z = t. Is 39 a factor of t?
False
Let a = 288 - 138. Suppose 7*h - 2*h - a = 0. Is h a multiple of 6?
True
Suppose -2 = q + q. Let x be -7*(0/q + 2). Let v = x + 29. Is 4 a factor of v?
False
Suppose 3*d = 2*c - 4709 + 963, 3*d = 5*c - 9356. Is c a multiple of 34?
True
Is 2*-205*(-6)/15*14 a multiple of 7?
True
Does 13 divide (2/(-4))/((-1)/182)?
True
Is (-7)/(21/(-1980)) + 0/2 a multiple of 80?
False
Suppose 4*o - 16 = -4*n, 5*o = 4*n - 6*n + 23. Suppose -2*q = -2*z - q + 95, -4*z - o*q + 183 = 0. Does 8 divide z?
False
Suppose -10 = -d - 5. Suppose -v + d*n - 4 = 0, -5*v + 2*v - 12 = 5*n. Is 5 a factor of (51/(-12) + 3)*v?
True
Does 7 divide (-10)/(-65) - (-162)/(-39) - -123?
True
Let x(y) be the first derivative of 9*y**2/2 - 25*y + 9. Is x(5) a multiple of 2?
True
Let h = 97 + 319. Is 16 a factor of h?
True
Let h = 31 + -27. Let y(g) = 9*g - 5. Let k be y(h). Suppose 30*z + 22 = k*z. Is 11 a factor of z?
True
Let p(q) = -91*q - 82. Is p(-1) a multiple of 7?
False
Let h(q) = -230*q - 182. Is h(-5) a multiple of 88?
True
Suppose 0 = i + 2 + 7. Let u be -3*(2 + 39/i). Let c(q) = 2*q + 6. Is c(u) a multiple of 10?
True
Let f(b) be the second derivative of b**5/20 - 17*b**4/12 + 8*b**3/3 + 12*b**2 - 7*b. Does 6 divide f(16)?
True
Let j(z) = z**3 + 4*z**2 + 2*z - 2. Let d be j(-3). Let f(l) = l**3 - 2*l**2 + 5*l**2 + d + l**2 + l + 5*l**2. Is 17 a factor of f(-8)?
False
Let n = 31 + 406. Is 23 a factor of n?
True
Let v = 136 - 140. Does 24 divide (3/4)/(v/(-384))?
True
Let c be ((-3)/(-2))/((-2)/(-8)). Let j be 2/4 - (-27)/c. Suppose -3*k = j*z - 31, -3*k - 2*k - 2*z = -20. Is k a multiple of 2?
True
Let l be (-2)/3*6/(-4). Suppose -2*i = -53 - l. Is 6 a factor of (20/15)/(3/i)?
True
Let u be (-2)/4*(12 - 30). Let j = 24 - u. Suppose -j = -5*w + 25. Does 8 divide w?
True
Suppose -2*a = a - 6, -5*a + 13 = -3*m. Let f(z) = -31*z - 3*z - 12*z + 6 - 7. Does 9 divide f(m)?
True
Suppose 0 = 5*t + 9 - 29. Suppose t*d = p - 223, -3*p + p + 424 = 3*d. Is p a multiple of 43?
True
Suppose 6 = -5*k + 1. Let v be k/3*87/1. Let y = v - -106. Is y a multiple of 19?
False
Let c = -776 - -815. Is c a multiple of 2?
False
Suppose 4*q = -4*m + 300, 0 = 4*q - 3*m - 278 - 22. Is q a multiple of 9?
False
Is -2498*3/9*21/(-14) a multiple of 60?
False
Let d be (18/(-5 - -2))/(-2). Suppose 4*r = 7*r. Suppose 4 = -g, r*z + d*z = 2*g + 80. Does 11 divide z?
False
Let s(h) = -11*h - 1. Let d be s(-1). Suppose d*k - 15*k = 315. Let t = 102 + k. Is t a multiple of 11?
False
Let k(m) = -7*m - 31. Suppose -4*l + 3*l = 3*y + 28, 13 = -3*y - 4*l. Is 25 a factor of k(y)?
False
Let y(k) = -k + 34. Let u be y(20). Suppose o - 29 = -u. Is 15 a factor of o?
True
Let v(r) = r**3 - 20*r**2 - 34*r + 27. Is 24 a factor of v(22)?
False
Suppose 38*f - 41*f = -3402. Is 81 a factor of f?
True
Suppose -t + 71 = 5*o, 3*o - 32 = o - 4*t. Let s(j) = j**3 - 15*j**2 + 15*j + 12. Is s(o) a multiple of 13?
True
Let l be 15/45 + (40/(-6))/(-4). Does 2 divide -7 - 104/(-2) - 2*l?
False
Suppose -5*d + 4782 = 4*z, z - 1194 = 12*d - 14*d. Is z a multiple of 23?
False
Let o be (4/(-5))/(2/(-5)). Suppose -4 + o = -f. Suppose 2*c = f*p - 12 + 40, 5 = -p. Does 2 divide c?
False
Suppose -b + 5*d + 94 = -0*b, 233 = 2*b + 5*d. Suppose c - 1 = -u - 0*c, -5*u = 2*c - 1