es 20 divide j?
False
Is 2 a factor of (4/(-3))/(14/(-231))?
True
Let d(t) = -3*t**3 - 5*t**2 - 4*t - 14. Let r(w) = -w**3 - 2*w**2 - w - 5. Let j(f) = -2*d(f) + 7*r(f). Suppose -s + 0 - 5 = 0. Is j(s) a multiple of 13?
True
Let a(x) = 88*x**2 + x. Does 29 divide a(-1)?
True
Suppose -2*j + 5*j - 9 = 0, 5*d - 145 = 5*j. Suppose 4*g - 56 = -0*g + 4*q, 2*g - 4*q - d = 0. Is 6 a factor of g?
True
Let k(p) = -p**3 - 5*p**2 + 5*p + 8. Is 7 a factor of k(-6)?
True
Suppose -5*f - 293 = 5*m - 1778, 5*m - 1457 = 2*f. Does 30 divide m?
False
Suppose -2*l - 4*f = 4, 0 = l - 5*f - 0*f - 12. Let i be l - (0 + (3 - 1)). Suppose 0 = s - 2*m - 22 - i, 2*s = -5*m + 80. Is s a multiple of 16?
False
Let q(b) = b**2 - 7*b - 10. Suppose 0*z + 2*z = 14. Let l be q(z). Is 20 a factor of (-446)/l - (-8)/20?
False
Let u(m) = -2*m - 2. Let g = -23 - -11. Is 17 a factor of u(g)?
False
Let p = 606 + -424. Is 20 a factor of p?
False
Suppose -385 = -5*f + 3*b, 0*b - 5*b = -5*f + 375. Is f a multiple of 20?
True
Suppose 4*b - 2*v + 3 - 1 = 0, -4*v - 1 = -3*b. Let u(f) = -34*f + 2. Is u(b) a multiple of 9?
True
Suppose 0 = 4*l - 2*d - 102, 2*l + 2*d = 4*l - 56. Suppose -l - 49 = -5*a - 2*f, 5*f = -20. Is a a multiple of 8?
True
Suppose 2*z + 14 = 2*a, -2*a + 4*z + 0 + 18 = 0. Suppose 0*o = a*o. Suppose 5*n = -o*n + 20. Does 4 divide n?
True
Suppose -t + 10 = t. Suppose 7*p - t*p - 26 = 0. Is 5 a factor of p?
False
Suppose 2*w - 20 = -3*w. Suppose w*j - 23 = -z, -j = 4*j + z - 29. Is j a multiple of 6?
True
Let o(f) = 6*f**2 + 5*f + 2. Let t be o(-3). Suppose -2*x + t = 3*k, 0*k + k = 5*x - 77. Suppose a + r + r - 28 = 0, r = a - x. Is 20 a factor of a?
True
Let g be (-705)/(-12) + 1/4. Suppose g + 1 = 4*y. Suppose t = y + 6. Is 9 a factor of t?
False
Let z = 33 - 18. Is 5 a factor of z?
True
Suppose -2*h = -3*h. Let d(i) = i**2 + i + 115. Let v be d(h). Suppose 0 = 5*x - 3*j - v, 4*x - 21 = -2*j + 93. Does 13 divide x?
True
Suppose 3*b + 4 = -b. Is 9 a factor of 3/b*(-2 - 7)?
True
Let w(c) = -4*c**2 + c**2 + 10 + 4*c**2 - 6*c. Does 17 divide w(7)?
True
Suppose -3*d + 155 + 13 = 0. Does 28 divide d?
True
Let r(q) = 22*q**2 - 2*q - 1. Let c = 4 + -5. Let j be r(c). Suppose -g = -0*g - j. Is 16 a factor of g?
False
Suppose -4*v - 12 = 0, 4*o = 2*v - v + 311. Is o a multiple of 20?
False
Let x(c) = c**2 + 10*c + 18. Let i be x(-8). Is (14 + -216)*(-1)/i a multiple of 27?
False
Let l = 100 + -171. Let k = l + 104. Does 12 divide k?
False
Let a = 126 - -42. Is a a multiple of 47?
False
Let n = 5 + 1. Let b(g) = -6*g**2 + 13*g + 10. Let x(q) = -7*q**2 + 14*q + 11. Let i(v) = 6*b(v) - 5*x(v). Is i(n) a multiple of 17?
True
Let q(o) = -o**3 + 4*o**2 - 2*o - 4. Let r be q(3). Let l(c) = -23*c + 981 - 981. Is l(r) a multiple of 9?
False
Suppose -3*y = -7*y + 24. Is 12 a factor of 11*1 - y/(-6)?
True
Suppose -4*b = -8*b + 76. Does 19 divide b?
True
Let h = -7 - -4. Is 12 a factor of -12*h/(-15)*-15?
True
Let m(g) = -g**3 + 13*g**2 - 5*g - 4. Is m(12) a multiple of 20?
True
Suppose 14*z + 105 = 15*z. Is z a multiple of 15?
True
Let w = 27 - -5. Does 8 divide w?
True
Suppose 28 + 31 = b. Let q(v) = v**3 + 9*v**2 + 2*v - 2. Let i be q(-7). Let l = i - b. Does 7 divide l?
False
Let x = 7 + -10. Let l(f) = -3*f**3 - 5*f**2 - 3*f + 2. Is 18 a factor of l(x)?
False
Suppose -6*l + 9*l = 9. Suppose l*j - 86 = -u + 59, 0 = -j - 2*u + 45. Does 23 divide j?
False
Does 27 divide 4060/30 + (-1)/3?
True
Let r(l) = -16*l. Let z be r(-5). Suppose 0 = -2*j - 20 + z. Does 15 divide j?
True
Suppose 7*m + 30 = 4*m. Let n = m - -17. Is n a multiple of 7?
True
Let x = -21 + 28. Is x a multiple of 2?
False
Let o = -4 - -2. Let k be 11/(-6) - o/(-12). Let h = 8 + k. Is 4 a factor of h?
False
Let p be (-2)/(-8) + 25/(-4). Let d be (-10)/4 + (-3)/p. Is 5 a factor of (-20)/d + 0/(-3)?
True
Suppose 0 = 3*o - 2*o - 20. Suppose t - o = -t. Is 7 a factor of t?
False
Let v be 4/(-5)*10/(-4). Suppose v*g - 2*p = 74, -2*p + 5*p = -4*g + 169. Is 15 a factor of g?
False
Let b(s) = s**3 - 9*s**2 + 8*s - 3. Let r be b(8). Let q(c) = 16*c**2 - 3*c - 2. Let u be q(r). Suppose 63 = -2*t + u. Is t a multiple of 26?
False
Let j = 14 - 6. Suppose j + 4 = -3*v. Let f = v + 6. Is 2 a factor of f?
True
Suppose 4*n + 2*q + 7 = 19, n + 4*q - 10 = 0. Suppose n*v = -0 + 10. Does 5 divide v?
True
Let t = -21 + 25. Suppose -t*j - j = -465. Is 31 a factor of j?
True
Let v(t) = t**3 - 6*t**2 - 6*t - 5. Is v(8) a multiple of 25?
True
Let s = -13 - -19. Suppose -5*o + 0 + 40 = 0. Is 2 a factor of 4/s*36/o?
False
Suppose 0 = 4*m - 5 - 3, -2*m = -f + 62. Is 13 a factor of f?
False
Suppose -4*q - 5*k = 32, -3 + 4 = -3*q + 2*k. Let j = 5 + q. Suppose 0 = 4*r + 2*i - 50, 3*r = -i + j + 33. Does 5 divide r?
True
Does 19 divide (-2)/(-3 + (2264/(-380))/(-2))?
True
Let o be ((-2)/4)/(7/(-70)). Suppose 0 = -l - 2 + o. Suppose -2*a = 4*f - 80, l*f + f = 5*a - 228. Is a a multiple of 22?
True
Suppose 20 = 4*g, w + 5*g - 26 = 4. Let j(d) be the first derivative of d**3/3 - 5*d**2/2 + 7*d - 1. Is j(w) a multiple of 7?
True
Suppose 0 = -5*n + 10 - 45. Does 11 divide n/(14/(-66)) - 4?
False
Suppose -4*b = 3*h - b, -3*b = 5*h - 2. Let u(y) = 57*y + 1. Is 12 a factor of u(h)?
False
Suppose 39 = 2*v - 21. Is v a multiple of 5?
True
Let g = -1 - -6. Is 2 a factor of g?
False
Suppose -r + 5*r = -3*i + 663, i = -4*r + 661. Is r a multiple of 7?
False
Let o(g) = 3*g - 2. Let u be o(2). Let v(w) = -w + u - w + 3*w. Is 5 a factor of v(4)?
False
Let j be (-3)/(-1 + (-1)/2). Is 2/(-4)*j*-37 a multiple of 18?
False
Suppose 0 = -2*d - 0*h - h + 113, 3*d + 3*h = 174. Is 14 a factor of d?
False
Suppose -5*x + 5 - 240 = 0. Let w = x - -30. Let v = -7 - w. Is v a multiple of 10?
True
Does 8 divide 24/36*(-2 + 38)?
True
Let u = -10 - 32. Is 14 a factor of (u/(-5))/((-2)/(-10))?
True
Let g = 21 + -20. Let o be 3 - 2 - 1*3. Is 11 a factor of o/(((-4)/22)/g)?
True
Suppose 2*w - 6 + 29 = -3*o, 3*o + 15 = 0. Let p(b) = 2*b**2 - 3*b - 5. Is p(w) a multiple of 13?
True
Suppose -38*d + 471 = -35*d. Is 43 a factor of d?
False
Let x(j) = 38*j**2 + 2*j - 2. Let s be x(2). Suppose -s = -5*t + 21. Is t a multiple of 9?
False
Let k = -14 + 22. Does 14 divide -3 - (-4)/(k/90)?
True
Suppose -3*f + 5*l + 259 = 0, 2*l = 4*f + 118 - 482. Does 8 divide f?
False
Let x(v) = -v - 1. Suppose 2*z - t + 6 = z, t = -z. Let y be x(z). Suppose 0 = -y*w - 0*w + 5*o + 45, 0 = 4*w - 4*o - 72. Is 15 a factor of w?
True
Let u = -10 + 14. Suppose -f = u*f - 195. Is 4 a factor of -4*(f/(-4))/3?
False
Let b be 12/20 + 21/15. Suppose -49 = -b*n + 23. Is 12 a factor of n?
True
Let z be -9*3*4/18. Let s(o) = o**3 + 7*o**2 + 5*o - 8. Let b be s(z). Let n = b - -11. Is 9 a factor of n?
True
Let u(c) = -c**3 - 13*c**2 + 23*c + 22. Let g(l) = -l - 1. Let t(a) = -6*g(a) - u(a). Does 10 divide t(-14)?
False
Suppose -3*v = -4*h - 39, -4*h + h + 3*v = 30. Let n = 46 - 14. Let i = n + h. Is i a multiple of 8?
False
Let b(f) = f**2 - 11*f + 6. Let m be b(10). Let x = -2 - m. Suppose x*z = -z + 57. Does 9 divide z?
False
Let z = 16 + -7. Suppose -3*h + 1 = -5*d + h, 5*d + h = 19. Suppose y + 2*k = d*k + z, -3*y + 39 = 3*k. Does 4 divide y?
False
Let w(o) = -10*o**3 - o**2 + o + 1. Let d be w(-1). Suppose -2*v + v + d = 5*l, -5*v - 3*l = -67. Is v a multiple of 14?
True
Let l(n) = n + 26. Let o be l(-17). Suppose -5*z + o = -26. Does 7 divide z?
True
Let b = -167 - -299. Does 7 divide b/8*32/12?
False
Suppose -7*l + 3*l - 20 = 4*g, 2*g = 5*l + 32. Does 7 divide (l/(-5))/((-12)/(-200))?
False
Suppose 70 + 86 = -4*p. Let r = 57 + p. Is r a multiple of 18?
True
Let n = -6 - -13. Suppose w - k = 3*w - 14, n = -w + 3*k. Let l(r) = -r**2 + 9*r - 6. Is l(w) a multiple of 14?
True
Suppose 0 = -14*d + 17*d - 12. Let b(y) = y**2 - 2*y - y + 3 + 2*y. Is b(d) a multiple of 12?
False
Suppose 5*o = -82 + 262. Does 12 divide o?
True
Let b = -66 - -161. Is 18 a factor of b?
False
Suppose 4*x - 152 = 92. Suppose 47 = 3*c - x. Suppose 0*q = q, 0 = -3*i - 5*q + c. Does 8 divide i?
False
Let d = 139 + -76. Does 7 divide d?
True
Let k(t) = 4 - 4 + 4 - 2*t + 3 + 2*t**2. Is k(-5) a multiple of 15?
False
Let o(l) = -l**3 + 12*l**2 + 14*l - 18. Let n be o(13). Let g = 20 + n. Is g a multiple of 3?
True
Let b = -3 - -5. Let a = 4 - b. Let g(f) = 4*