 7*h**2 - 3*h - 9. Let c be t(-7). Let r(j) = -10*j + 24. Let q be r(c). Let f = -68 - q. Is 19 a factor of f?
False
Let b = 74 - 56. Is 5 a factor of 10/((-16)/6 - b/(-6))?
True
Suppose -9*g + 0 = -18. Is 6 a factor of (1/g)/((-24)/(-8448))?
False
Let j = 60 + -32. Let n = j - -5. Does 6 divide n?
False
Let a(i) = 2*i**2 + 14*i - 6. Let b be a(-11). Let u = b + -71. Does 2 divide u?
False
Suppose -2220 = -5*u - 350. Is u a multiple of 34?
True
Let t be -4 + (-115)/(-15) - 10/15. Let a(f) = -f**3 + 6*f**2 - 4*f - 3. Let h be a(5). Suppose -t*z + 24 = -h*z. Is 12 a factor of z?
True
Let g be -3*(-2 + 5 + -5). Let k = -4 + g. Suppose 7*w - k*w - 264 = -2*d, 48 = w + 2*d. Does 11 divide w?
False
Suppose -6 = 3*t - 6. Does 27 divide 140/15*(12 - t)?
False
Let n(j) = -19*j + 3. Let u be n(-5). Let f = -12 + 25. Let g = u + f. Is g a multiple of 36?
False
Let y = 78 - 75. Suppose 6 = -2*l, -5*l - 92 + 293 = y*v. Does 12 divide v?
True
Is 13434/30 + 2/10 a multiple of 55?
False
Let x be 53/5 - (-6)/(-10). Suppose 5*r - 34 = -6*o + 2*o, r + x = -5*o. Is 6 a factor of -52*(1 + r/(-8))?
False
Let g(u) = 15*u**2 - 3*u - 1. Suppose -5*y = 2*r - 21, y - 6*y + 5*r = 0. Let x be g(y). Suppose -55 = -5*h + x. Is 10 a factor of h?
False
Let g be 55/30 + 2/12. Let l be 2*(0 - g) + 2. Let k = l - -17. Is 15 a factor of k?
True
Suppose 9506 = 7*u - 2646. Does 7 divide u?
True
Suppose 3*k + d - 17 = 2, 0 = 2*k - d - 16. Let a(t) = t**3 - 2*t**2 - 16*t - 5. Is 32 a factor of a(k)?
True
Let m(b) = b + 5. Let z(a) = 2*a + 4. Let t(u) = 3*m(u) - 2*z(u). Suppose s = f - 3 - 4, 4*s + 20 = 0. Is 5 a factor of t(f)?
True
Suppose -2*l + 6 = -5*l. Is l + 3 + (38 - 6) a multiple of 11?
True
Let w(a) = 3*a + 1. Let u be w(1). Let o(i) = i**2 + 41*i + 422. Let b be o(-19). Suppose u*m = b*z + 100, 0 = z + 4*z. Is m a multiple of 5?
True
Let f(c) be the second derivative of 0 - c**4 - 8*c + 1/20*c**5 + 8*c**2 + 1/6*c**3. Does 14 divide f(12)?
True
Suppose -10*y = y - 649. Suppose -106 = y*k - 60*k. Is k a multiple of 24?
False
Let c(f) = -4*f. Let w be c(-2). Suppose 4 = -w*i + 108. Does 3 divide i?
False
Let f(p) = -166*p - 68. Does 36 divide f(-8)?
True
Let i be (2 + -7)*(-15)/25. Suppose -2*k = i*k - 510. Suppose 0 = 3*d - k + 6. Is 26 a factor of d?
False
Let s(g) = -g**2 + 53*g - 64. Is s(38) a multiple of 11?
True
Let h(y) = 153*y**2 + 2*y + 2. Suppose 7 = -4*x - 3*x. Is 51 a factor of h(x)?
True
Suppose -f + 6 = 5*m, -5*m - 2*f = 2*f + 6. Let w(x) = -2 + 0*x - 3*x**3 - 4*x**2 - x + m*x**2 - 2*x**3. Is 21 a factor of w(-2)?
False
Is 5/25 + 11690/50 a multiple of 3?
True
Suppose u = -5*k + 1101, k = 4*u + 5*k - 4340. Suppose -14*b = -39 - u. Is b a multiple of 19?
False
Let p = -530 - -1342. Is p a multiple of 33?
False
Suppose 2056 = o + i, -331 = -3*o + 5*i + 5805. Is o a multiple of 108?
True
Suppose -j - 5*k = -135, 4*j = -7*k + 4*k + 472. Is 10 a factor of j?
False
Suppose 0 = 7*p - 10*p + 441. Is 9 a factor of p?
False
Suppose 4*o - 195 = -3*z, -4*o - 94*z + 196 = -90*z. Is 8 a factor of o?
True
Suppose 10 = 5*a - 10. Suppose -590 + 118 = -a*d. Is 19 a factor of d?
False
Let u(q) = 19*q**2 + 10*q + 16. Is 40 a factor of u(-5)?
False
Let f(o) = 5*o**2 + 67*o - 286. Is f(-42) a multiple of 13?
True
Let k(u) = -u**2 - 2*u. Let l be k(-2). Suppose 2*w + l*w = 146. Let g = -10 + w. Is g a multiple of 13?
False
Let f = -1271 - -808. Let u = -308 - f. Does 12 divide u?
False
Suppose 77*l - 20627 = -761. Does 43 divide l?
True
Let y be -1 - 4 - (21 + -26). Suppose y*z = z - 46. Is 20 a factor of z?
False
Let u = 22 - 19. Suppose -b - u = 5*q, 0 = b + 3*b + 12. Suppose c - 25 = -q*c. Does 6 divide c?
False
Suppose 4*a = 2*y - 828, -5*y = -a - 2986 + 871. Is 53 a factor of y?
True
Let o(s) = -9*s**3 - s**2 + 13*s + 19. Let k(v) = 5*v**3 - 7*v - 10. Let r(l) = -7*k(l) - 4*o(l). Is r(-3) a multiple of 6?
True
Let i(t) = -t**2 + 5*t - 6. Let f be i(2). Suppose -5*l - 3*w + 29 = f, -25 = -4*l - 6*w + 3*w. Suppose 81 = -4*g - l*r + 293, 0 = 5*r + 5. Does 27 divide g?
True
Suppose -29*x + 32*x - 180 = 0. Let w = x + -51. Is 9 a factor of w?
True
Is ((-20)/25)/((-12)/3150) a multiple of 21?
True
Suppose 0 = -3*k - l + 50, 0*k - 90 = -5*k - 3*l. Suppose b - k = 3. Is b a multiple of 11?
False
Suppose -h = -79 - 41. Suppose -i + h = 19. Is i a multiple of 32?
False
Suppose -5*w + u = -2373, -5*w = -3*u - 1692 - 687. Let q = -221 + w. Is q a multiple of 20?
False
Suppose 0 = -s - 2 + 5. Suppose -2*u + 80 = s*u. Is 16 a factor of u?
True
Does 9 divide (-3)/((-63)/5073) - 48/(-112)?
False
Suppose -6*b + 105 = -27. Suppose 25 = 27*u - b*u. Suppose -4*c + 34 = -u*s + 2*s, 2*c - 18 = s. Does 10 divide c?
True
Suppose 23*z - 4032 = 17*z. Is z a multiple of 28?
True
Suppose -5*t - 275 + 909 = 3*m, -216 = -m - 4*t. Suppose 4*i + m = 2*v - 270, 3*i + 951 = 4*v. Is 35 a factor of v?
False
Let h(i) = 80*i - 2. Let o be h(-8). Let f be o/(-22) + (-2)/11. Let a = 46 - f. Is 17 a factor of a?
True
Suppose s - 5*k - 35 = 0, -s - k = -7 - 4. Let o = s + -10. Suppose o*m = -4*w + 333, 6 - 289 = -4*w + 5*m. Is 14 a factor of w?
False
Suppose -17 = -2*o - 5*u, 3*o - 2*u - u - 15 = 0. Suppose l = o*l - 100. Is l a multiple of 2?
True
Is (689 - -6) + 28/4 a multiple of 39?
True
Suppose 2*h - 65 = 5*u, -4*u + 4*h = -0*h + 64. Let p(z) = 2*z + 118. Let d be p(-36). Let r = d + u. Does 35 divide r?
True
Is 81/18*4/18*105 a multiple of 21?
True
Suppose -7*j + 455 = -12*j. Let q = j + 211. Is q a multiple of 15?
True
Suppose -13*d + 8*d + 100 = 0. Does 10 divide d?
True
Let i(c) = -9*c + 2 - 5 + 1 - 1 + c**2. Let d be i(10). Suppose b = 27 - d. Is b a multiple of 20?
True
Suppose -2*j = 3*n + 59, -6 + 94 = -4*n - 5*j. Let i = -17 - n. Suppose -3*t = -6, i*t + t = -3*y + 65. Is 7 a factor of y?
True
Let y(s) = 6*s**2 + 1. Let v be y(-2). Suppose 3*l = d - 48, -107 = -2*d - 3*l + v. Let r = 86 - d. Is 12 a factor of r?
False
Let m(p) = -3*p**2 - 4*p + 7. Let q be m(3). Let j = q - -92. Is 12 a factor of j?
True
Is 29 a factor of (1131/(-4))/((-74)/296)?
True
Let x(a) = -a**3 + 4*a**2 + 6*a - 3. Let n be x(5). Let i(f) = 82*f - 2. Let b be i(n). Suppose -c + 5*d = -81, -2*c + 8*d + b = 3*d. Is 27 a factor of c?
True
Let l(w) = w**2 + 15*w + 26. Let t be l(-11). Is t/10 + 2 + (-6112)/(-40) a multiple of 15?
False
Let n(h) = -h**3 - h + 7. Let a be n(0). Suppose -z = -2*o + a, -5*z = -o + 6 + 2. Suppose -o*d = -0*d - 153. Is 29 a factor of d?
False
Suppose 2*o + 3*o = 20. Suppose 2*f = 3*f + 5*c - 99, -o*f = -4*c - 492. Is f a multiple of 15?
False
Suppose 1270 = 5*i - 3*s, 18*i - 16*i - 3*s - 517 = 0. Is i a multiple of 11?
False
Let q(s) = 17*s**3 - s**2 - 2*s + 2. Let d be q(1). Is 6 a factor of ((-2)/(d/(-18)))/(3/88)?
True
Let d(b) = -b**3 - 30*b**2 - 67*b + 14. Is 46 a factor of d(-28)?
True
Suppose -150 = 3*x + 3*x. Let a be (-3)/((-18)/(-57))*4. Let o = x - a. Does 8 divide o?
False
Is ((-187)/51)/(2/(-138)) a multiple of 52?
False
Suppose 2*v - 3*v = 2. Let w = 1 - v. Suppose w*g + 69 = 6*g. Is 7 a factor of g?
False
Is -1245*((-5 - -3) + 1) a multiple of 15?
True
Suppose -3*r + 2*r = -854. Is r a multiple of 9?
False
Suppose -1411*s = -1406*s - 15910. Does 74 divide s?
True
Let l be ((-1)/(4/(-40)))/1. Is 12 a factor of (1/(-4)*-2)/(l/4080)?
True
Suppose -12 - 16 = -7*x. Suppose 2*k - 29 - 18 = -m, -4*m - 76 = -x*k. Is k a multiple of 9?
False
Let f(z) = -z**3 + 6*z**2 + 8. Let o be f(6). Suppose 0*q + 3*q - 108 = 0. Is 32*(-3 + q/o) a multiple of 12?
True
Let f = 1 + -1. Let p(z) = 8 - 3*z + 6*z - 2*z + 53 + z**2 - 9. Is p(f) a multiple of 13?
True
Let f(q) = 45*q**2 - 2*q - 1. Let w be f(-1). Let j = 82 - w. Suppose 0 = 5*o - j - 19. Is 4 a factor of o?
False
Let c = -143 - -363. Is c a multiple of 15?
False
Suppose 232 = 5*j - 3. Let a = 12 - j. Let m = a - -89. Is 19 a factor of m?
False
Suppose 1506 = m - 16*l + 18*l, 3*l + 1511 = m. Is m a multiple of 29?
True
Let c(q) be the second derivative of q**4/12 + 7*q**3/6 + 11*q**2/2 + 5*q. Is 4 a factor of c(-6)?
False
Let r = -1199 - -2793. Is 20 a factor of r?
False
Let m = -4 + 9. Let g(n) = n**2 + 5*n - 6. Let r be g(m). Suppose -2*i = 6, 3*i + r = 5*a - 0. Does 7 divide a?
True
Let b(s) = -2*s + 12. Let o be b(6). Suppose o = -6*j + 8*j - 104. Doe