a multiple of 8?
True
Let g = -1426 + 2505. Is 83 a factor of g?
True
Let q(m) = 2*m**2 - 9*m - 3. Let j be q(9). Suppose 3*l - j = l. Does 9 divide l?
False
Let k(f) = -81*f**2 - 15*f + 17. Let w be k(1). Suppose 116 = -3*b - 4*g - 25, -12 = 4*g. Let y = b - w. Is 9 a factor of y?
True
Let r = -238 - -88. Let u(s) = 12*s**3 + 4*s**2 + 3*s + 1. Let h be u(-2). Let w = h - r. Is 25 a factor of w?
False
Let p = -569 + 874. Does 15 divide p?
False
Suppose -35*c = -31*c - 784. Is c a multiple of 4?
True
Let j(i) = -i**3 + 18*i**2 + 17*i + 41. Let y be j(19). Is 11 a factor of 1144/39*y/2?
True
Let b(h) = -h**3 + 7*h**2 - 6*h + 17. Let p be b(7). Let d be (-20)/p + 32/10. Suppose -i = 5*u - 124, 6*u = 3*u + d*i + 56. Does 12 divide u?
True
Let x(u) = -u**2 + 6*u. Let p(i) = i**3 + 5*i**2 - 2*i - 4. Let h be p(-5). Let b be x(h). Suppose 0 = 2*l - 5*c - 26, 0*c - 5*c - 10 = b. Does 4 divide l?
True
Does 62 divide (-455)/21*-145 - (-4)/3?
False
Suppose r = 395 + 319. Is r a multiple of 21?
True
Suppose -3*w = 4*k - 1241, 1217 = 4*k - 12*w + 7*w. Is 104 a factor of k?
False
Suppose 1490 + 930 = 10*p. Is p a multiple of 22?
True
Let w be (4 - (0 + 4))/(-1). Suppose j - 27 = -w*j. Is j a multiple of 5?
False
Suppose -5*z - 5*z = 60. Let i(b) be the third derivative of -11*b**4/24 + b**3 - b**2. Is 12 a factor of i(z)?
True
Let n(g) = g**3 - 6*g**2 - 15*g + 1. Let b be n(8). Let t = 16 - b. Does 5 divide t?
False
Let s = -159 + 345. Does 13 divide s?
False
Let s = -34 - -36. Let k(w) = 20*w**3 + w**2 - 5*w + 4. Is k(s) a multiple of 28?
False
Let m(a) = a**3 + 22*a**2 - 19*a + 45. Is 15 a factor of m(-21)?
True
Suppose -39 = -k + 3*c, 3*c = -4*k + k + 141. Does 39 divide k?
False
Suppose 2*f = -44 + 2. Let l = -29 - f. Let j = -5 - l. Is 3 a factor of j?
True
Let b(c) = -39*c - 180. Does 15 divide b(-7)?
False
Suppose c - 1 = -2*k - k, 2*k = 3*c + 19. Suppose 3*h - 76 = k. Suppose -74 = -3*d - h. Is 8 a factor of d?
True
Let r(a) = -a**3 + 66*a**2 - 41*a - 152. Does 12 divide r(65)?
False
Let a(q) = -q**3 - q**2 + 1. Let u(k) = 6*k**3 - 12*k**2 + 20*k + 13. Let r(h) = 5*a(h) + u(h). Let f be (-6)/15 - (-164)/10. Does 22 divide r(f)?
False
Suppose -2 = -2*m, -3*m - 32 = -4*c + m. Suppose 0 = -4*a - 3*y + 40, 3*a + 0*a - c = 3*y. Suppose -a*u + 4*u + 60 = 0. Does 12 divide u?
False
Let p(k) = 17*k**2 + 27*k - 13. Let c(a) = 26*a**2 + 41*a - 20. Let f(w) = -5*c(w) + 8*p(w). Is f(-4) a multiple of 16?
True
Let y(l) = 9*l**2 - 8*l + 39. Is y(6) a multiple of 7?
True
Suppose -3*w - 1 = 2*i - 2, -w = 1. Suppose 4*b - 3*b - i = 0. Let f = b + 5. Is f a multiple of 7?
True
Let q = 233 + -99. Suppose -3*l + q = -118. Suppose -5*i = -i - l. Is 8 a factor of i?
False
Suppose -601 - 419 = -5*z. Does 9 divide z?
False
Let l(c) = c + 17. Let v be l(-6). Let r(x) = 2*x**3 + 4*x**3 + 12*x - 3*x**3 + 12 - 12*x**2 - 2*x**3. Is r(v) a multiple of 12?
False
Let q(u) = 18*u**2 - 9*u - 1. Is 2 a factor of q(3)?
True
Suppose -2228 = -5*i - y, 2*y + 343 = i - 96. Is i a multiple of 50?
False
Does 31 divide ((-3)/2)/(87/(-35380))?
False
Let b = 972 + -317. Is b a multiple of 13?
False
Suppose -3*a + 4 = -8. Suppose 0 = 6*r - 36 - 24. Suppose -2*b - 2 - a = -i, 0 = -i - 2*b + r. Does 5 divide i?
False
Let l(p) = -p**2 - 5*p + 6. Let r be l(-6). Suppose 3*v + r*v = 51. Let b = v - -26. Is b a multiple of 11?
False
Suppose -8*l = -27*l + 36062. Does 37 divide l?
False
Suppose -3*s + 2*m + 40 = 0, 3*m - 60 = -4*s - 18. Suppose -15*c = -s*c - 69. Suppose -p + 65 - c = 0. Does 21 divide p?
True
Let h(o) = 0*o + 2*o + 5*o**2 + 5*o - 4 + 2*o. Does 14 divide h(-4)?
False
Let a(r) = r**3 + 11*r**2 - 79*r + 19. Let o be a(-16). Suppose -2*y - 2*y = 0. Suppose y*h - o*h - l + 10 = 0, 0 = -2*h - 4*l. Is h a multiple of 4?
True
Suppose 3*b - 5*p = -3*p + 67, -5*p = 25. Is 3 a factor of b?
False
Let u(o) = 6*o + 378. Is 3 a factor of u(31)?
True
Suppose -6*i + 5*i + 32 = 0. Let o = 182 - i. Is 12 a factor of o?
False
Suppose -5*i - 15 = 0, g = -4*i + i - 19. Let d be 48/g*(-140)/6. Suppose -3*s - 44 = -f + s, 2*s + d = 2*f. Does 7 divide f?
False
Suppose -292 = -s + 20. Is 12 a factor of s?
True
Suppose -r + 266 = 4*b, r = -b + 118 + 142. Suppose -3*o + 5*d + r + 26 = 0, 181 = 2*o + 5*d. Is 37 a factor of o?
False
Suppose q + 253 = 679. Let a be q/14 - (-12)/(-28). Suppose 0 = -p + 3 + a. Is 13 a factor of p?
False
Is 70 a factor of (-4 + -1)*-71 - (3 - -2)?
True
Let y(f) = 10*f**3 - 6. Let b(o) = 10*o**3 - 5. Let w(q) = 5*b(q) - 4*y(q). Let d be w(-1). Let z = d - -29. Is 18 a factor of z?
True
Let c(z) = z**2 - 3*z - 8. Let t be c(7). Suppose -2*o = -4*k + o + t, -o - 6 = -k. Suppose -m - 14 = -2*m - r, k*m = 5*r + 63. Is m a multiple of 10?
False
Suppose 3*r = 4*r - 4. Suppose 2*z + z + r*q = 139, -5*z + 223 = -2*q. Is 15 a factor of z?
True
Let p = -3 - -12. Let k(x) be the first derivative of x**4/4 - 3*x**3 + 3*x**2/2 - 10*x + 24. Is 7 a factor of k(p)?
False
Is (-12 + 8 + 365)*6 a multiple of 114?
True
Suppose 84*d - 11310 = 74*d. Is 13 a factor of d?
True
Suppose 0 = -2*m - 17 + 225. Is 8 a factor of m?
True
Suppose -3*n - 6 = 0, 14 = 3*b - b - 2*n. Let k be -2*1*(-2 + 1). Suppose -290 = -4*u - k*g + 7*g, -b*u + 369 = -3*g. Is u a multiple of 27?
False
Suppose 0 - 4 = q, 0 = -r + 4*q + 609. Is 50 a factor of r?
False
Is 4 a factor of (9*13)/(462/(-60) + 8)?
False
Let k = -5 - -5. Suppose 0 = 2*d - 3*o - 16, -5*d + k*o = 3*o - 19. Let m(b) = b + 4. Is m(d) a multiple of 9?
True
Suppose 0 = 6*u - 560 - 16. Is 16 a factor of (-17 - -2)/((-18)/u)?
True
Suppose -4*d = -4*u - 12, 2*u + 14 = 5*d - 2*u. Suppose 0 = 3*s - c - 56, -s - d*c = 2*c + 3. Is s a multiple of 4?
False
Let n(j) = -7*j - 34 + 27 - j. Let o be n(-5). Suppose 0 = -f + 2*p + o, 112 = 2*f + 2*f - 4*p. Is 23 a factor of f?
True
Let c = 105 + -50. Let n(k) = k**2 + 3*k - 9. Let g be n(-8). Let v = c - g. Is 12 a factor of v?
True
Is (-14)/21 - (-2974)/6 a multiple of 55?
True
Let g = -38 + 53. Let j(b) = 4*b**3 + 10*b**2 - 3*b + 8. Let h(o) = -5*o**3 - 9*o**2 + 4*o - 8. Let n(d) = 5*h(d) + 6*j(d). Is n(g) a multiple of 19?
True
Suppose 10 = 2*r + 3*r. Let t(j) be the second derivative of j**4/12 + j**3/6 + j**2/2 + 3*j. Is t(r) a multiple of 4?
False
Let n(a) = a + 1. Let s(w) = 5*w + 18. Let z(b) = -6*n(b) + s(b). Let l(i) = i - 30. Let d be l(25). Does 3 divide z(d)?
False
Let t(l) = l**3 + 4*l**2 - 4*l + 3. Suppose 0 = -b + 5*b + 20. Let z be t(b). Is 15 a factor of 3/z*-4*7?
False
Let l(v) = -v**3 - 22*v**2 + 17*v + 14. Let w(x) = -x**2 - x + 19. Let g be w(6). Is 8 a factor of l(g)?
True
Let g be ((-152320)/(-25))/8 - (-4)/10. Suppose 0 = 5*y + q - g, 3*y - q = 31 + 431. Is 9 a factor of y?
True
Let i(f) be the first derivative of 2*f**2 - 3*f + 4*f - 4 + 1. Is 7 a factor of i(5)?
True
Let k be 225/3*50/(2 + 0). Does 31 divide ((-2)/5)/((-5)/k)?
False
Suppose -2*h - z - 174 = 2*h, h + 45 = -z. Let f = -36 - h. Is 7 a factor of f?
True
Let u(p) = 50*p**2 - 70*p + 6. Is u(6) a multiple of 14?
True
Let x = -368 - -375. Let b(c) be the third derivative of 5*c**4/12 + 5*c**3/6 - c**2. Does 28 divide b(x)?
False
Suppose -2*q + 928 = -4*k, 5*q - 2411 = -3*k - 65. Is q a multiple of 6?
True
Suppose 0 = -2*x + 3*m + 65 + 165, -118 = -x + 3*m. Suppose -4*a + 31 = 4*o - 53, -2*o = -5*a + x. Is 2 a factor of a?
True
Let d = 75 + -36. Suppose 0 = -3*m - 3*i + d, -14 = -2*m - i + 2*i. Is m a multiple of 2?
False
Let y = -824 + 1750. Is 25 a factor of y?
False
Let u = 17 - 21. Let c be 1/(u/16) + 16. Let n = 20 - c. Is 4 a factor of n?
True
Suppose g - 131 = -0*g + 2*c, 0 = 3*g + 3*c - 366. Does 4 divide g?
False
Is 16 a factor of (1824/20)/(21/70)?
True
Let x(g) = -5*g**3 + 14*g**2 + 40*g - 5. Let b(h) = 4*h**3 - 14*h**2 - 39*h + 6. Let j(q) = -4*b(q) - 3*x(q). Does 21 divide j(16)?
False
Let s = 409 - 214. Suppose 2*l + 310 = 3*x - 0*l, l = -2*x + s. Is x a multiple of 18?
False
Suppose -2*i + 31 = -193. Is i a multiple of 50?
False
Let x be -1 + 29 + -3 + (0 - -1). Let k = 196 - x. Is 10 a factor of k?
True
Let y(m) = -2*m + 9. Let w be y(12). Is 7 a factor of -1 - (w + (2 - 3))?
False
Suppose 4*c + 10 = -14. Does 4 divide ((-24)/9)/(4/c)?
True
Let u(w) = 5*w - 1. Let n be u(1). Suppose -10 = 2*a, 0*a + n*a = -g - 2. Suppose -2*b