 12?
False
Suppose 4*u + 6 - 22 = 0. Suppose -2*v + u*g = -93 - 245, -2*g = -8. Is 55 a factor of v?
False
Let g(x) = -2*x**2 - 39. Let t(m) = m**2 - 1. Let o(l) = -g(l) - 3*t(l). Does 21 divide o(0)?
True
Let o(y) = -39*y**3 - 2*y - 1. Suppose -8*w - 5 - 3 = 0. Is o(w) a multiple of 20?
True
Suppose -3*b + 10 = -2. Suppose 0 = b*g - 281 - 91. Is 14 a factor of g?
False
Let u(k) be the second derivative of -k**7/2520 + 11*k**6/720 + k**5/12 - k**4/6 + 4*k. Let c(q) be the third derivative of u(q). Is c(7) a multiple of 19?
True
Suppose -7*r - 5*h - 20 = -2*r, -12 = 2*r + h. Let u = r - -12. Suppose m - 3*j = 15, -m - u*m = 5*j - 35. Is 7 a factor of m?
False
Let r(m) = -2*m**3 - 2*m**2 - 2*m - 11. Suppose -16*h = -4*h + 48. Is 31 a factor of r(h)?
True
Is 8 a factor of 28/(-35) - (-248)/10?
True
Let g(f) = -2 + 7*f + 4 - 8*f. Let x be g(-4). Is 20 a factor of (-150)/(-20)*80/x?
True
Let l(r) = 7*r - 56. Does 21 divide l(26)?
True
Suppose 0 = -5*r + k + 15, 0 = 4*k + k. Let q(z) = z**3 - 2*z. Let u be q(3). Suppose r*o - u = 81. Does 16 divide o?
False
Let k(l) = 17*l**2 - 2*l - 1. Let g be k(-1). Let y(d) = 3*d**2 - 33*d + 4. Let v be y(11). Suppose 0 = -v*c + 10 + g. Is c a multiple of 6?
False
Let d = 5918 - 3430. Is 44 a factor of d?
False
Let f = 1 + 128. Let b = f + -57. Is b a multiple of 18?
True
Let r(a) = 2 - 24 + 9 + 11 + 99*a**2 + 2*a. Is r(1) a multiple of 33?
True
Suppose m = -4*s + 590, 4*s = -5*m + 1216 + 1734. Does 59 divide m?
True
Suppose -21*p - 2715 + 11283 = 0. Is p a multiple of 24?
True
Is 25 a factor of 3/12*694*2?
False
Suppose 1132 + 58 = 10*v. Is v a multiple of 7?
True
Suppose -2*w - 5*t - 190 = -0*t, -4*w + 4*t - 380 = 0. Let y = w - -216. Does 12 divide y?
False
Suppose x = 2*d - 4*x - 82, d - 3*x - 41 = 0. Let m = d + -29. Is m a multiple of 12?
True
Suppose -24*c + 25*c - 59 = 0. Suppose 5*d + 5*h + 91 = 2*d, -3*h = -4*d - 131. Let o = d + c. Does 6 divide o?
False
Is 20/6*(1599/6 - 7) a multiple of 11?
False
Suppose 4*j - 30 - 30 = 0. Suppose 4*o = 12, 4*b = -0*b + 4*o - 72. Let q = j - b. Does 8 divide q?
False
Suppose 3*q = 2*g - 343, 4*q + 84 = -4*g + 720. Is 41 a factor of g?
True
Is (-48)/18*(-453)/2 - -6 a multiple of 10?
True
Let m(z) be the second derivative of 3*z**4/4 + 2*z**3/3 - 3*z**2/2 + z. Let h be m(2). Let l = h + -17. Is 8 a factor of l?
True
Suppose -11*y = -14*y + 75. Let k = -17 + y. Is 3 a factor of k?
False
Let n = 16 - 11. Let v = 10 - n. Suppose v*y + 60 = 10*y. Is 10 a factor of y?
False
Suppose 0 = -3*x - 9, 0 = -5*v - x - 4*x + 1065. Is v a multiple of 8?
True
Suppose g - 129 = -3*i, g - 2*g = 2*i - 128. Is 4 a factor of g?
False
Suppose 0 = 9*y - 3708 + 252. Is 6 a factor of y?
True
Is 21 a factor of (-30)/48*-8*(-2582)/(-10)?
False
Suppose -3*z + 20 = 2*z + 5*u, u = -2. Let m = z + -3. Suppose -w = m*w - 212. Is 15 a factor of w?
False
Suppose 26*n = 116*n - 108540. Does 12 divide n?
False
Suppose 9*t = 4*t + 25. Suppose 156 = t*w - q, -3*w = -8*w - 5*q + 150. Is 15 a factor of w?
False
Suppose 3*b + 3 = 27. Suppose -2*z + b = -4*z. Does 15 divide (-3 - 4 - 0)*z?
False
Let b be 2/(-14) + 45/21. Suppose -117 + 17 = -b*u. Is 10 a factor of u?
True
Suppose 0 = 3*s + 6*s - 297. Let p = -10 - -12. Is 35 a factor of s + (p - (-2 - -2))?
True
Suppose 0 = -4*t - 5*t + 234. Suppose -3*d + 132 = 2*m, -4*d = -m + t + 18. Is 6 a factor of m?
True
Suppose 0 = 2*n, m + 18*n - 185 = 21*n. Is 26 a factor of m?
False
Let t(q) = 38*q - 9. Let m be t(5). Let c = -122 + m. Does 7 divide c?
False
Let u be 4*(0 - (-1)/(-2)). Let n(c) = 27*c**2 - 3*c. Is n(u) a multiple of 26?
False
Suppose 1812*v = 1808*v + 1048. Does 42 divide v?
False
Let v(c) = -c**3 - 7*c**2 + 5*c - 12. Let p be v(-8). Let y(z) = 2*z**2 - 16*z - 16. Does 15 divide y(p)?
False
Suppose 38 = 3*a - 13. Let g = 21 - a. Suppose -2*n + 113 = w, -g*n + 0*w + 233 = -5*w. Does 11 divide n?
False
Suppose -g + 11 - 6 = -2*l, -l - 1 = 0. Suppose -5*o = 2*s - 123, 5*s - 132 = 3*s + 4*o. Suppose -d - s = -g*d. Does 5 divide d?
False
Let b(i) = -i**3 + 11*i**2 - 5*i - 2. Let r be (-288)/(-28) + (-4)/14. Does 8 divide b(r)?
True
Is 23 a factor of -2 - -7*(176 - -12)?
False
Let m(o) = -o**2 + 23*o - 18. Let y(v) = v**2 - v - 6. Let s be y(5). Suppose -10*c + s*c = 72. Does 18 divide m(c)?
True
Let j(d) = -d**3 + 2*d**2 - 3*d + 5. Let p be j(4). Let i be 3/(-12) + p/(-12). Let o(x) = x**3 + x**2 - 3*x - 4. Is o(i) a multiple of 23?
True
Let f(o) = 5*o**2 + 27*o + 61. Is 9 a factor of f(-11)?
True
Let z = 9 - 6. Suppose -o + 1 = 0, q + 6 = z*q + 2*o. Is 9 a factor of (3/q)/(1/36)?
True
Let t be 687/15 + (-4)/(-20). Let r = 34 + 46. Let n = r - t. Does 17 divide n?
True
Let q be 12 + ((-6)/(-15) - (-6)/10). Let z = 106 - q. Is z a multiple of 11?
False
Let k be 92/3 + 14/(-21). Suppose k = 3*b - 78. Is b a multiple of 8?
False
Let c(f) = 98*f - 4. Suppose 15*i - 22*i + 14 = 0. Does 32 divide c(i)?
True
Is 14 + 8 + -1 + 24/(-8) a multiple of 18?
True
Let w(d) be the third derivative of d**5/60 - 5*d**4/8 - 23*d**3/6 + 4*d**2 + 8*d. Does 20 divide w(-12)?
False
Let v be -114 - ((-56)/98)/(2/(-14)). Let m = 122 + v. Is 3 a factor of m?
False
Suppose 0*n - n = -525. Suppose -n = -3*a - 90. Does 29 divide a?
True
Suppose 0 = 2*z - 2, 408 = -3*a + 2*z - 554. Suppose 6*d + x = 5*d + 19, 101 = 4*d - x. Is 12/(-10)*a/d a multiple of 8?
True
Suppose 5*x - 3130 = -5*a, 1819 = 5*x - 4*a - 1320. Is x a multiple of 16?
False
Let w(m) be the second derivative of -m**5/20 - 5*m**4/12 + 7*m**3/6 - 7*m**2/2 - 14*m. Does 11 divide w(-7)?
False
Let s(m) = 11*m**2 - 2*m + 19. Is 10 a factor of s(-6)?
False
Let b(l) = -5*l + 290. Does 49 divide b(-35)?
False
Let j = 21 + -22. Let z(a) = -9*a + 1. Does 5 divide z(j)?
True
Let o(u) = -u**3 + 8*u**2 - u + 8. Let m be (-4)/(-12)*6 - -3. Suppose -5*w + 19 = 2*r, 5*w + 7 + 23 = m*r. Is 10 a factor of o(r)?
True
Let s(p) = 7*p**3 + 5*p**2 - 23. Let k(b) = -3*b**3 - 2*b**2 + 11. Let z(f) = 5*k(f) + 2*s(f). Does 21 divide z(-3)?
False
Let d(n) be the third derivative of -n**6/120 + 3*n**5/20 + 5*n**4/12 + 7*n**3/6 - 11*n**2. Let o be d(10). Let r(m) = m + 15. Is r(o) a multiple of 11?
True
Suppose -4*q = -2*y - 30, -y - 4*y - q - 108 = 0. Let z = y + -77. Is 6/30 + z/(-10) a multiple of 2?
True
Let h(d) = 5*d**2 + 43 - 2*d + 5*d - 2*d - 33. Is h(4) a multiple of 14?
False
Let x = 298 - 135. Let k = -1573 + 1524. Let l = k + x. Does 38 divide l?
True
Let w(z) = z + 2. Let b be w(2). Suppose 22 = 3*o + 4*c - 29, 0 = 3*o - 5*c - 51. Suppose o = b*l - 39. Is l a multiple of 14?
True
Suppose -5*l + l = 5*w - 144, 2*w - 72 = -2*l. Is l a multiple of 36?
True
Let l = -191 + 731. Is 15 a factor of l?
True
Let k(s) = 90*s**2 + 15*s - 49. Is k(3) a multiple of 13?
True
Suppose -4*m = 5*c - 7933, 3*c + c = 20. Is 98 a factor of m?
False
Let t(y) = -y**3 + 17*y**2 - 18*y + 17. Let g be t(15). Suppose g + 46 = 4*a - 5*q, -2*q - 246 = -4*a. Is 30 a factor of a?
False
Suppose 11*c = -5*f + 6*c + 7405, -3*c + 5919 = 4*f. Is f a multiple of 18?
True
Let z be (10/10)/(1/(-5)). Let g(k) be the third derivative of k**5/60 - k**4/8 + 5*k**3/3 - 7*k**2. Is 9 a factor of g(z)?
False
Suppose -5*o + 3338 = -3*b, 0*o + 2*o = -2*b + 1332. Does 29 divide o?
True
Let t(u) be the third derivative of -u**6/60 - 2*u**5/15 - u**4/3 - u**3 - 2*u**2. Suppose 5*z - 3*x + 45 = x, 0 = -5*z - 4*x - 5. Is 18 a factor of t(z)?
False
Suppose -5*i + 2*b = -2*b - 961, -5*i - 5*b = -925. Is 21 a factor of i?
True
Suppose 4*s - 9028 = h, 106 - 6866 = -3*s - 2*h. Is s a multiple of 16?
True
Let v(g) = 2*g**3 - 8*g**2 + 19*g - 244. Is 18 a factor of v(8)?
False
Let h be (-28)/(-20) - 1 - (-1033)/5. Suppose -423 - h = -15*v. Is 7 a factor of v?
True
Let y(s) = s**3 + 5*s**2 + 4*s - 1. Let f be y(-3). Let r(n) = n**3 - 3*n**2 - 4*n - 3. Let q be r(f). Does 3 divide -2*(q/(-6))/1?
True
Is 11 a factor of (-3288)/32*12/(-3)?
False
Let y(h) = 26*h**3 - 2*h**2. Let u(m) = m**3 + 11*m**2 + 9*m - 8. Let c be u(-10). Is y(c) a multiple of 29?
False
Let o(m) = 212*m - 232. Is o(15) a multiple of 13?
False
Let m = -11 - 55. Is 0 + -1*(m + -4) a multiple of 46?
False
Suppose -15 = 5*z, -4*z + 7*z + 43 = 2*j. Does 10 divide j?
False
Let c be 1574/3 + -3 + (-40)/(-12). Suppose 5*f - 2*f = c