= -2*i - 70. Does 15 divide (i/(-21))/(3/(-108))?
True
Suppose -2*b + 4*b - 15 = 3*i, -2*b + 2*i = -18. Suppose -2*z - b = -20. Suppose 2*j = z*j - 14. Does 3 divide j?
False
Let o(j) be the third derivative of j**5/60 - j**4/8 + j**3/2 + 11*j**2. Does 21 divide o(-3)?
True
Let o(t) = 4*t**3 - t**2 + 2*t + 5. Let v be 132/21 - (-6)/(-21). Let i(g) = g**3 - g**2 + g + 1. Let m(r) = v*i(r) - 2*o(r). Is m(-4) a multiple of 21?
False
Suppose -q = t + 30, 0 = -5*q - 4*t - 195 + 50. Let z(c) = c**3 + 3*c**2 - 2*c + 2. Let p be z(2). Is (p/30)/((-1)/q) a multiple of 5?
True
Let i(b) be the second derivative of -b**5/20 + b**4/4 + b**3/6 - 2*b**2 + 2*b. Let l be i(4). Let c = l - -36. Is c a multiple of 20?
True
Suppose 6*x - 438 = 444. Does 49 divide x?
True
Let c(g) = -2*g**2 + 2*g + 38. Let s(y) = -y**3 + 4*y**2 - y + 4. Let n be s(4). Is 38 a factor of c(n)?
True
Let k = 862 + -579. Let q = -1346 - -1350. Suppose -5*i + 208 = 3*o, k = q*o - 2*i + 3*i. Is o a multiple of 10?
False
Let c(w) = -w**2 + 4*w - 10. Let f be c(7). Let n = f + 69. Does 19 divide n?
True
Suppose 0 = -2*h + 5*j - 15, 0*h - 2*h - 45 = j. Is 4 a factor of -1 + 218/10 + (-4)/h?
False
Let f = -1425 - -2206. Is 11 a factor of f?
True
Suppose 5*b + 4*t = 641, 0*t - 259 = -2*b + t. Let x be (b + 5)/(-3 - -1). Let v = -25 - x. Is 21 a factor of v?
True
Suppose -5*b + 755 = -5*l, -3*l + 6 = -b + 159. Is b a multiple of 10?
True
Suppose -304 = -2*y - 2. Does 7 divide y?
False
Let v(g) = -2*g + 8. Suppose 2 = c + 9. Does 14 divide v(c)?
False
Let i = 2 - 0. Suppose n + 3*b = 0, 4*n - 2*n + i*b = 0. Suppose 5*r = -2*m + 210, n = -9*m + 4*m + 25. Is 20 a factor of r?
True
Suppose 2*o + 115 - 313 = 0. Suppose 2*c - o = -27. Is c a multiple of 5?
False
Does 31 divide ((-10)/(-2))/((-140)/(-98812))?
False
Let s = 720 - 341. Is s a multiple of 3?
False
Does 8 divide (-3382)/(-20) + (6/(-60))/1?
False
Let m(r) = -5 + 5*r - 32*r**3 + 4 + 8. Is 17 a factor of m(-2)?
False
Let f(h) = 7*h**3 - h**2 - h + 1. Suppose 0 = -2*x + 4 - 2. Let d be f(x). Is 15 a factor of (-508)/(-12) + 4/d?
False
Suppose 34*p - 1800 = 14*p. Is p a multiple of 2?
True
Suppose 2*g - 4*l = 144, g - 3*l + 8*l = 65. Is 14 a factor of g?
True
Let u = 32 + -38. Let w(r) be the first derivative of -r**4/4 - 2*r**3 - 5*r**2 - 6*r + 1. Does 12 divide w(u)?
False
Let o = 286 - -5449. Is 39 a factor of o?
False
Let w = 110 + -7. Let y = -54 + w. Does 7 divide y?
True
Suppose 6*k - 149 = 229. Suppose -4*r - 3*i = k, -2*i = -5*r + r - 38. Does 7 divide (-104)/r + 1/3?
False
Let q = 4 + -1. Suppose q*n + 4 = 4*n. Suppose -11 = -n*p + 37. Does 12 divide p?
True
Suppose -3*r + 5*v = -143 - 152, 404 = 4*r - 4*v. Does 21 divide r?
True
Suppose -5*w - 11 = 3*s, -2*s + 2*w - 6 = 5*w. Let a be 96/(-10)*-100*(-2)/(-6). Suppose -s*q + 8*q - a = 0. Is 16 a factor of q?
True
Suppose -2*t - 15 = -5*o - 5, -2*o = -4*t - 4. Let l(u) = 5 + 3*u**2 + 4*u - 3 + 2 + t. Is l(-3) a multiple of 12?
False
Let x(z) be the second derivative of z**3/6 + 11*z**2/2 - 9*z. Let l be x(0). Let v = l - 3. Is 8 a factor of v?
True
Suppose -2*p - 41 = -3*c, 12 = 4*p + 16. Is 13 a factor of c?
True
Let m(w) = w**2 - 19*w - 20. Is m(28) a multiple of 29?
True
Let v = -17 + 37. Let b = 24 + v. Let f = b + 4. Is 22 a factor of f?
False
Let q = -508 + 520. Is 4 a factor of q?
True
Suppose 1596 + 1077 = 27*y. Is y even?
False
Let d be (-15)/(-25) + (-2)/(-5). Let a(l) = 4*l**2. Let w(r) = -24*r**2. Let p(t) = 39*a(t) + 6*w(t). Is 6 a factor of p(d)?
True
Let x(o) = 338*o**2 - 7*o - 8. Does 48 divide x(-1)?
False
Let a be ((-3)/4)/(3/(-12)). Suppose 14 = a*b + 3*w - 1, 13 = 2*b + 5*w. Is 7 a factor of (-13 + b - -2)*-5?
True
Let y = -16 - -16. Suppose -2*q + 119 + 41 = y. Is q a multiple of 20?
True
Suppose 3*h = -42*h + 2925. Is 22 a factor of h?
False
Let s = -38 + 62. Suppose -19*u + s*u = 70. Is 14 a factor of u?
True
Suppose 3273 = 2*n - 2721. Is 70 a factor of n?
False
Let g(i) = -i + 11. Let q be g(9). Suppose 3*d = q*d + 80. Suppose -6*m + m + d = 0. Is 8 a factor of m?
True
Let r be (-3)/(0 + 3/(-61)). Suppose 2*x = 277 - r. Is x a multiple of 23?
False
Suppose 0 = -65*k + 58*k + 1820. Is 20 a factor of k?
True
Let d = -12 + 8. Let q(t) = -4 - 63*t + 42*t - 3. Does 20 divide q(d)?
False
Let n be (2 - 1)*(7 + -6). Suppose -3*q + n = -8. Suppose -q*v = 4*t - 246, t - v - 68 = -5*v. Is 12 a factor of t?
True
Is 5 a factor of 8*(4/(-62) + (-105606)/(-2232))?
False
Suppose -3*y - 2129 = -r, 10580 = 5*r - 6*y + 4*y. Is 9 a factor of r?
False
Suppose j = -5*j + 36. Suppose -j*q = -q - 90. Does 7 divide q?
False
Let z(r) = -44*r + 84. Is 23 a factor of z(-19)?
True
Suppose -2*p + 264 = -6*p. Let y = 76 + p. Does 2 divide y?
True
Let c(d) = -d**3 + 21*d**2 - 27*d - 12. Is 29 a factor of c(19)?
False
Let p(v) = -4*v**2 + 9*v + 6. Let r(i) = 9*i**2 - 19*i - 13. Let l(d) = 5*p(d) + 2*r(d). Let x be l(6). Let y = -17 - x. Does 9 divide y?
True
Suppose -o - 8 = 3*o. Let j(q) = -3*q**2 + q - 1. Let b be j(o). Let n = b - -61. Is n a multiple of 25?
False
Suppose -5*s + 7*s = -14. Let f(o) = -18*o + 8. Let k be f(s). Let x = -90 + k. Is x a multiple of 11?
True
Suppose -g + 5*y = -305 + 66, -4*y + 8 = 0. Is g a multiple of 5?
False
Let y be (-2)/3*(-19 + 1). Suppose y*j - 8*j = 52. Does 2 divide j?
False
Let d = 204 - 66. Suppose -41*t + 38*t + d = 0. Is 19 a factor of t?
False
Let c(h) = 2*h**3 - 54*h**2 + 61*h + 61. Is 74 a factor of c(26)?
False
Does 2 divide (-9)/15 + 2*(-453)/(-10)?
True
Let i be 109*(3 - 0)/1. Suppose 2*f + f = -4*s + i, -2*f = 6. Suppose 5*u - s = u. Is 7 a factor of u?
True
Let n be (-2 + -8)*(-1 + 5). Is 8 a factor of 16/n + (-126)/(-15)?
True
Let o = 412 - 213. Does 22 divide o?
False
Let q = -37 + 42. Suppose -p - 4*p = -10, 3*p + 374 = q*w. Does 19 divide w?
True
Suppose -3*g + 4*g = 0. Suppose g = -2*v + 2*l - 46, 2*l - l = -3*v - 57. Let n = 18 - v. Is 15 a factor of n?
False
Suppose 0 = -8*p + 40 + 16. Does 46 divide (p + -8)*(-47 - -1)?
True
Suppose 5*b - 135 = -5*q, -4*q + 3 = 2*b - 41. Is b a multiple of 2?
True
Let f(a) = 7*a**2 + 6*a + 5. Suppose 3*k = 3*b - 15, 0 = -5*b - 2*k + 18. Let p = b + -8. Is f(p) a multiple of 29?
False
Let n = 124 + -83. Let t = n + -31. Is t a multiple of 10?
True
Let t be (2/(-2))/((-16)/64). Suppose p = 5*p - 4*b - 84, 0 = t*b + 4. Is p a multiple of 5?
True
Suppose 5*f + 2*c - 149 = 128, -191 = -3*f + 5*c. Is 7 a factor of 1*f - (0 + 2)?
False
Let j(p) = p**3 - 4*p**2 + 5*p - 3. Let u be j(4). Suppose -6*l + 4*l - 20 = 0. Let a = l + u. Does 4 divide a?
False
Let n = 846 + -428. Is n a multiple of 11?
True
Let b(m) = 15*m**3 - 3*m**2 + m. Let d = 27 + -6. Let u = d - 19. Is b(u) a multiple of 20?
False
Let a(w) = w**3 + w**2. Let d(q) = q**2 - 4*q**2 - 6*q**2 - 2*q**3 + q + 3*q + 4. Let k(n) = -3*a(n) - d(n). Does 12 divide k(4)?
True
Suppose 0*q = -2*q + 6. Suppose -102 = -2*b - q*h, -b + 38 = -h - 4*h. Is b a multiple of 12?
True
Let m be 0 + (1 - 1) - 4. Let d(o) = -o**3 - 5*o**2 - 4*o + 3. Let b be d(m). Let s = b + 15. Is 6 a factor of s?
True
Suppose -97 = 3*s + 11. Let k be 207/s - (-2)/(-8). Is (68/3)/((-4)/k) a multiple of 23?
False
Suppose 90 = -p + 573. Suppose -p - 285 = -8*l. Does 32 divide l?
True
Let m = 825 + -464. Does 19 divide m?
True
Is 5 a factor of 65 + 10/8*(-84)/21?
True
Suppose m + 2*l + 1095 = 2*m, 4*m + 5*l = 4341. Is 21 a factor of m?
False
Let l = 34 + -21. Suppose -3*k - 7 = -l. Is 3 a factor of k/(-6) - (-19)/3?
True
Suppose -11 = -s - 6. Suppose -2*w + t - 200 = -619, s*t = -4*w + 845. Is 30 a factor of w?
True
Let i be (-7)/((-42)/(-22) - 2). Suppose 2*f - x = -f + 264, f - i = 4*x. Is f - ((-3)/1 - -3) a multiple of 23?
False
Is 31 a factor of 837*6*6/36?
True
Let h(b) = -b**2 + 22*b - 27. Is 23 a factor of h(16)?
True
Suppose 19*f - 2218 = 3767. Does 7 divide f?
True
Suppose 2*k = 2*g + g + 1428, 4*k = -4*g + 2876. Is k a multiple of 3?
True
Let t(i) = 2*i**2 - 7*i + 58. Is t(12) a multiple of 18?
False
Suppose -4*p = 3*u + 6, 6*u - 2*p = 3*u + 12. Let y(t) = t**2 + 4*t + 1. Is y(u) a multiple of 4?
False
Let q(j) = 26*j - 41. Let l be q(-6). Let y = -16 - l. Is y a multiple of 46?
False
Let q = -47 + 91. Suppose -w + 5*a = 12, 8*a = -3*w + 3*a + q. Does 6 divide w?
False
L