 Suppose 0 = 6*j + 24 + 12. Let h be 6*(-3)/j - -5. Is u(h) a multiple of 12?
False
Suppose -3*w + h + 15 = 2, 0 = 3*w + h - 11. Suppose -3*z + 9 + 0 = -d, 2*d = -z + 3. Suppose -w*k + 200 = -d*k. Is 24 a factor of k?
False
Let u(y) = -2*y - 1. Let r be u(7). Let f = 19 - r. Is f a multiple of 17?
True
Let n = -24 + 28. Suppose o + 0*c = -3*c - n, 3*o - 4 = -c. Suppose -o*k + 32 = -16. Does 12 divide k?
True
Let h(q) = q**3 - 5*q**2 + q + 2. Let t be h(-4). Let y = -90 - t. Suppose -m = m - y. Is 14 a factor of m?
True
Let x(m) = 4*m**2 + 6*m - 2. Let c be x(-5). Suppose l = -5*a + 68, 0*a = l + 2*a - c. Does 17 divide l?
True
Suppose 11*l = -2*h + 9*l + 2320, 0 = 3*l + 6. Is 20 a factor of h?
False
Let f(b) = b**2 - 13*b + 121. Is f(29) a multiple of 45?
True
Let h = 97 + -76. Suppose 330 = h*q - 20*q. Is q a multiple of 55?
True
Let c(x) = x**3 - x**2 + x. Let w(s) = 3*s**3 + 4*s**2 + 11*s + 9. Let n(m) = 4*c(m) - w(m). Let u = -79 + 88. Is 6 a factor of n(u)?
False
Let w(b) = -31*b + 12. Let x be (18/(-21))/((-1)/(-7)). Does 33 divide w(x)?
True
Does 6 divide (-72926)/(-38) + (-1032)/57 + 18?
False
Let h(k) be the second derivative of 11*k**4/12 - k**3/3 - 3*k**2/2 - 8*k. Is 20 a factor of h(-2)?
False
Suppose 4*k = 14 - 18. Does 8 divide 3 + 0 - (-4 + k)?
True
Let t(i) = -i**3 - i**2 + i. Let j(a) = 5*a**3 - 2*a**2 - 14*a - 39. Let l(p) = -j(p) - 6*t(p). Does 8 divide l(-7)?
True
Suppose y = -4*z + 3973, -6*z - 4*y = -10*z + 3988. Is z a multiple of 53?
False
Let r(l) = 103*l**3 + 6*l**2 + 11*l - 24. Is 66 a factor of r(3)?
False
Let b(t) = t**3 + t**2 + 5. Let r be b(0). Let j = 10 - 7. Suppose 34 = j*x - r*w, -3*x - 25 = 4*w - 95. Is x a multiple of 6?
True
Let s be (12/5)/((-30)/(-100)). Suppose 4*k = -s + 212. Is k a multiple of 31?
False
Suppose 7 = 2*t + 3*t + 2*k, 3*t - 25 = 4*k. Suppose -5 + 2 = -t*m. Is 8 a factor of m + (-10)/(-2) + 2?
True
Let v = -1048 + 2052. Does 43 divide v?
False
Let f(n) = -n**3 + 5*n**2 + 8*n - 8. Let c be f(6). Suppose b - c*b = -225. Let w = b - 3. Does 24 divide w?
True
Suppose 11 = 5*u + 2*p, 2*p + 16 = 5*u - u. Suppose 0*d = 5*d - 2*z - 137, u*d - 3*z = 75. Does 3 divide d?
False
Let n be 14/(-4) + (-1)/(-2) - 6. Let x(j) = -6*j + 3. Does 11 divide x(n)?
False
Let u be (4/(-2))/((-16)/40). Suppose 5*f - 3*a = -5, 2*f - 20 = -u*a + 9. Does 6 divide (12/15)/(f/20)?
False
Suppose 0 = -5*s + 2210 + 790. Suppose 8*d - s = 3*d. Is 20 a factor of d?
True
Suppose -3*a = -2*v, 2 = 6*a - 2*a - 2*v. Suppose -4*k + 12 = -3*o - 0*o, -5*o + a*k = 6. Suppose o = 40*m - 44*m + 156. Does 7 divide m?
False
Let i = 2450 + -1350. Is 50 a factor of i?
True
Is 32/(8 - 16) + 1405 + -1 a multiple of 89?
False
Let r(y) = 4*y + 8. Let d be r(13). Suppose -2*t + d = -3*o + 7*o, -7 = o - 5*t. Suppose -m = 2*u - o, 3*u + 5*m = 1 + 1. Is 3 a factor of u?
True
Let o(w) = 3*w**2 + 16*w - 5. Let z be o(-8). Suppose 40 + z = 9*l. Is 10 a factor of l?
False
Suppose 6 = 4*x - 4*o - 22, -4*o = 8. Suppose 4*z - 1328 = -4*m, -605 = -x*z + 2*m + 1020. Does 59 divide z?
False
Is 92 a factor of (51/(-153))/((-1)/6894)?
False
Suppose -2*z = -3*b - 10484, -26*b = -25*b + 4. Does 14 divide z?
True
Suppose 4*y = k + 17, -13 = -2*y + 2*k - 3. Suppose -y*t - 20 = 0, 0 = -4*q - 4*t + 7*t + 319. Is q a multiple of 15?
False
Let y(t) = t**3 - 30*t**2 - 46*t + 9. Does 12 divide y(32)?
False
Let h be (1 - -5)/(3 + -1). Suppose a + h = w - 2, -2*a - 14 = -4*w. Let r = w + 3. Is 5 a factor of r?
True
Let a = 2489 + -1706. Is 27 a factor of a?
True
Suppose -2*t + 31 = 5*y, -y - 2*t = -0*t - 11. Suppose 0*m - 3*f + 280 = y*m, 0 = 2*f - 10. Suppose 122 = 5*g - m. Does 9 divide g?
False
Let d(u) = -u**3 - u**2 + u + 6. Let h be d(0). Suppose -h = 5*l - 11. Is 36 + (l - (4 - 2)) a multiple of 12?
False
Suppose -i = -4*k + 10371 - 424, i - 2488 = -k. Is k a multiple of 25?
False
Let r(w) = -4*w - 23 + 8 - 5*w + 5. Is 13 a factor of r(-9)?
False
Suppose 5*c = -3*m - 16, 2*m - 4*c - 11 - 15 = 0. Suppose 0 = 2*p - m - 61. Does 15 divide p?
False
Let x be (9/6)/(4/8). Suppose 0 = -2*l - 2*d + 8, -5*l + 14 = x*d - 6. Suppose 0*k - l*k - 5*i = -39, -15 = 3*i. Is k a multiple of 16?
True
Suppose k - 1666 = 4*n, 3*k = -k - 3*n + 6645. Does 15 divide k?
False
Let o be 0*((-3)/(-3) - 0). Suppose 4*x = 7*x - 15. Suppose -12 = -2*q + 2*s + 40, x*q + 3*s - 162 = o. Is 15 a factor of q?
True
Let c = -112 + 14. Let q = c - -140. Does 14 divide q?
True
Suppose -5 = -n + 3*w + 7, 4*w + 4 = 0. Suppose 0 = 5*u - n*u + 420. Does 15 divide u?
True
Let d = 76 - 64. Suppose -67 = -d*s + 1049. Is 31 a factor of s?
True
Let x = -36 + 43. Suppose 6*z - x*z + 156 = 0. Does 26 divide z?
True
Let j(n) = -n**3 - 7*n**2 - 7*n - 4. Let l be j(-6). Suppose -l*m - 5*m + 532 = 0. Is m a multiple of 20?
False
Let i(z) = -z**2 - 7*z + 34. Let u be i(-10). Let a(m) = 75*m. Does 25 divide a(u)?
True
Let d(a) = -a**2 - 13*a - 32. Let s be d(-9). Suppose -4*f = 2*y - 428, y - 208 = -0*y + s*f. Is y a multiple of 53?
True
Let p(z) be the first derivative of z**4/4 - 5*z**3/3 + 3*z**2 - 2*z + 1. Let r(i) = i + 13. Let f be r(-8). Is p(f) a multiple of 4?
True
Suppose -2*x = 3*b - 3*x - 3, b + 2*x = 8. Suppose 4*j - b*r = 170, -j + 40 = r + r. Suppose -4*g = -26 - j. Does 17 divide g?
True
Suppose -3*g = 4*x + g, -5*g + 6 = 2*x. Let a = x + -5. Let o = 14 + a. Does 2 divide o?
False
Let o(w) = 2*w + 12. Let g be o(-8). Does 16 divide 1 + -47*4/g?
True
Suppose -6*s + 21 = -9. Let f(y) = y**2 - y - 12. Does 8 divide f(s)?
True
Is 34 a factor of 2322/36 - (-3)/(-6)?
False
Let l(p) = -37*p - 2. Let t(j) = -j**3 - j**2 + j - 3. Let b be t(-2). Is 21 a factor of l(b)?
False
Let h(v) = 247*v - 12. Is h(1) a multiple of 22?
False
Let v be (-16)/12*585/(-10). Let t = -7 + v. Suppose -4*z + 3*k + t = -2*z, -2*k = 3*z - 74. Is z a multiple of 24?
False
Let r = 4757 + -3015. Is r a multiple of 26?
True
Suppose 4*i - 18464 = 4*x, -4*x - 9232 = -133*i + 131*i. Does 34 divide i?
False
Suppose 0 = -6*j + 1132 + 884. Does 7 divide j?
True
Suppose -89 = -7*z - 12. Suppose 52 = z*d - 9*d. Is d a multiple of 8?
False
Suppose 4*k = u - 15, -u + k = -4*k - 19. Let g(f) = -18*f + 4. Is g(u) a multiple of 10?
False
Suppose p + 2227 = 2*x, 25*p = x + 23*p - 1115. Is 43 a factor of x?
False
Suppose -3*u - 3*b + 5615 = 2*b, -b = -u + 1885. Is u a multiple of 108?
False
Let d(k) = 726*k**3. Let a be d(-1). Is 12/(-90) + a/(-45) a multiple of 8?
True
Let q be (-2)/7 + 2/(84/(-786)). Let t(n) = -4*n - 4. Is 18 a factor of t(q)?
True
Let f(r) be the first derivative of 4*r**3/3 + r**2 - 25*r - 12. Is 10 a factor of f(-5)?
False
Let h(f) = -8*f**2 + 4*f + 13. Let u be h(-4). Suppose 5*k - 147 = -602. Let o = k - u. Does 10 divide o?
True
Let n be 2*3/6*5. Let b(j) = 3*j**2 - 11*j + 3. Is b(n) a multiple of 7?
False
Let c = -21 + 22. Suppose 3*m - c = 11. Suppose 2*z = 3*j + 216, 0*j = j - m. Does 19 divide z?
True
Suppose -24*v = -2*v + 66. Let m be (-2)/(0 - (-2)/(-28)). Does 2 divide m/6*v/(-2)?
False
Let d(b) = -b**2 + 22*b + 18. Suppose -f - 2*l + 7 = l, -2*l = 10. Is d(f) even?
True
Suppose -2*a - 3*a = 0. Suppose a = 2*v - w - 10, -4*v - v = w - 32. Suppose -2*h = 4*q - 82, -2*h - 4*q + 106 = -v*q. Is h a multiple of 14?
False
Let m be 1 + 9986/18 + 2/9. Suppose -3*u + 4*j + 344 + 488 = 0, -2*u + 4*j = -m. Is 36 a factor of u?
False
Let r be 4/(-6) - 44/(-3). Suppose r = z - 4. Suppose o - 5 = 3*p + 15, o = p + z. Does 9 divide o?
False
Suppose 2*i + 237 - 19 = k, -5*i - 881 = -4*k. Is k a multiple of 32?
True
Suppose -2*u - 2*x + 32 = 0, 2*u = -3*u - 4*x + 76. Is 6 a factor of u?
True
Suppose -11*t = -0*t - 1210. Suppose -t = -6*s + 172. Is s a multiple of 6?
False
Let q = 31 + -29. Suppose 22 + 17 = q*s + 3*j, -2*s + 2*j = -34. Is s a multiple of 18?
True
Let i(j) = -3*j - 16. Let t be i(-11). Let o = t - 14. Suppose -4*h + 64 = -u + 5*u, h = o*u + 16. Is h a multiple of 4?
True
Suppose 4*t - 1 = 5*s - 0*s, 2*s - t = 2. Let l be 3*4/(-36)*-15. Suppose 250 = 5*c - l*q, c = -s*c - q + 180. Does 23 divide c?
True
Let h = -6 - -6. Suppose h = -12*m + 7*m + 225. Is m a multiple of 15?
True
Suppose -3*a + 15 = 2*a - 3*j, 3*a + 4*j = 38. Suppose 0 = -a*m + 3*m + 90. Suppose -6*s = -3*s - m. Is s a multiple of 3?
False
Let v(u) =