e of 64?
False
Let z = 6 - -1. Suppose -z*b - 586 = -9*b. Suppose -5*p - 3*q = -b - 119, -4*q = p - 96. Does 14 divide p?
False
Does 22 divide ((-132)/(-36))/((-1)/(-129))?
False
Suppose 0 = -2*z - 6 - 0, -5*i + 26 = -2*z. Suppose 2*m + 3*m + i*w = 121, 0 = 2*m + 3*w - 47. Is m a multiple of 5?
True
Suppose -3*o + 58 + 1967 = c, -2*c - 1358 = -2*o. Suppose -t + o = 3*t. Is t a multiple of 45?
False
Let w(n) = 64*n**2 - n - 1. Let z be ((-4 - -4)/4)/2. Let f(t) = 2*t - 1. Let s be f(z). Is 16 a factor of w(s)?
True
Let o be ((-6)/4)/((-5)/(-10)). Let t(q) = -3*q**3 + 2*q**2 - 8*q - 1. Let c(i) = 3*i**3 - i**2 + 9*i. Let w(k) = o*c(k) - 4*t(k). Is 15 a factor of w(3)?
False
Let w(v) = -788*v + 8. Is w(-1) a multiple of 51?
False
Suppose -85*i + 169321 = -1104. Is i a multiple of 13?
False
Suppose 0 = -3*p - 3*x - 483, 3*x = 2*p + 217 + 85. Let c = 288 + p. Is 10 a factor of c?
False
Let u(j) = -j**3 - 11*j**2 + 12*j + 1. Let y be u(-12). Let l(c) = 0 - 5*c - 4 - y - 2*c. Does 10 divide l(-5)?
True
Let p(m) = -m**3 - 12*m**2 - 10*m - 3. Let b be p(-11). Let j = b - -54. Is 12 a factor of j?
False
Let n(o) = -o**3 + o + 8. Is n(-4) a multiple of 17?
True
Suppose -48 = 8*p - 12*p. Let n = -10 + p. Is 5 a factor of n/2 - (-4 + 0)?
True
Suppose 2324*g = 2328*g - 3960. Does 26 divide g?
False
Suppose 0 = -4*q + 13 + 3. Suppose -75 = -3*b + b - 3*w, -w - 143 = -q*b. Is b a multiple of 12?
True
Is (-25 + 25 - -1*14)*90 a multiple of 28?
True
Let w be -88*7/(-2) + -4. Suppose 104 = -2*m + w. Does 20 divide m?
True
Let d(o) = -o + 4. Let t be d(0). Suppose -t*z + l - 243 = -1675, -2*z + 716 = -4*l. Suppose 81 = i + 3*p, 0 = -4*i + 5*p + z - 85. Does 24 divide i?
True
Let k(o) = -o**2 - 15*o + 5. Let x be k(-15). Suppose -n + x*n = -4. Is n - (-4)/((-8)/(-30)) a multiple of 7?
True
Let b(i) = 17*i - 24. Suppose 14*l - 26 = 156. Does 43 divide b(l)?
False
Suppose 5*x + 9359 = 4*c + 6*x, -5 = 5*x. Is 13 a factor of c?
True
Suppose -2*q + 5*m - 4*m = 0, 0 = -m. Suppose q*d - d + 37 = 0. Is 37 a factor of d?
True
Let k = 140 - 6. Is 5 a factor of k?
False
Let i be 114/16 - (-6)/(-48). Let p(x) = x**2 - 5*x**2 - 8 + 12*x + 3*x**2. Does 9 divide p(i)?
True
Suppose i = -3*x - 155, 5*x + 7*i = 2*i - 245. Let j = x + 85. Suppose 0 = -3*p - j + 137. Is p a multiple of 7?
True
Suppose 2 + 13 = 5*b. Suppose 0*n + 3*o = b*n - 72, -3*o = 4*n - 82. Suppose 3*y - 26 = n. Is y a multiple of 16?
True
Is 17 a factor of -3 + (-9)/((-9)/20)*35?
True
Let q = -129 + 448. Does 29 divide q?
True
Let y(s) be the second derivative of -s**4/3 - 8*s**3/3 + 2*s**2 - s. Let n(j) = -4*j**2 - 15*j + 4. Let r(k) = -7*n(k) + 6*y(k). Is 12 a factor of r(-4)?
True
Let r be 1/(-2)*(3 - -1). Let x = -36 + 35. Is (1*r)/(x/6) a multiple of 5?
False
Let o = 8 - 7. Let w be 3/(-1) + o + 0. Is 2 + 3 + (-88)/w a multiple of 14?
False
Suppose -v + 11*v = 5080. Suppose 0 = 5*n - 167 - v. Does 11 divide n?
False
Let t(f) be the second derivative of f**7/840 + f**6/60 + f**5/30 - f**4/24 - f**3 - 3*f. Let p(b) be the second derivative of t(b). Is p(-5) even?
True
Let k(a) = -39*a**3 - a - 12. Does 36 divide k(-3)?
True
Let g = 32 + -27. Suppose g*w - 980 = -360. Is w a multiple of 31?
True
Let m(k) = 5*k**2 - 8*k + 3. Let d be 5 + (1/1 - 1). Is 26 a factor of m(d)?
False
Let a(l) = 2*l**3 - 35*l**2 - 12*l + 18. Does 18 divide a(18)?
True
Suppose 11 = 2*y - 13. Let d = y + -17. Let p(j) = j**2 - j - 12. Is 18 a factor of p(d)?
True
Suppose -2*j + 5499 - 15577 = -5*t, 0 = -t + 5*j + 2011. Is t a multiple of 72?
True
Suppose -11*k + 12*k = 64. Let z = k + -16. Is z a multiple of 8?
True
Suppose n = -2*d + 5, 5*d - 30 = -5*n - 5. Let v = -2 + d. Is (-75)/(-5) - 1*v a multiple of 17?
True
Let y(x) = x**2 - x - 1. Let j be y(-2). Suppose j*o - n + 0*n = -21, 2*n + 8 = 0. Let t(c) = c**3 + 6*c**2 + 5*c + 7. Is 7 a factor of t(o)?
True
Let a(m) = 3*m + 0*m**2 + 31 - 2*m + m - m**2. Does 2 divide a(6)?
False
Suppose -3*b - 30 = -3. Let q = 23 - b. Is 8 a factor of q?
True
Let u = -657 + 1341. Let j(p) = 59*p + 65. Let m be j(-1). Suppose 42 = -m*b + u. Does 30 divide b?
False
Let b = -984 - -1783. Is 36 a factor of b?
False
Does 8 divide (-10)/(-40)*-6 - (-1891)/2?
True
Let d(t) = -13*t**3 - t**2. Let i be (0 + 2)/(-3 - -1). Let p be d(i). Does 7 divide ((-78)/p)/((-2)/4)?
False
Let o(n) be the first derivative of -n**4/4 + 4*n**3/3 - n**2 - 4. Let s be o(3). Suppose -q + 2 = 0, g = -3*g + s*q + 302. Is g a multiple of 15?
False
Suppose -5*n - 25 = 4*g, 0 = -5*n + g - 23 - 27. Let h be 4 - -6*3/n. Is (-102)/(-5)*5/h a multiple of 11?
False
Let b be (-12)/((9/96)/1). Let p be 30/165 + b/(-22). Suppose 0 = 2*u - p, 2*d + 2*u - 21 = -d. Is d even?
False
Let n be (-1 + 1)/(1 - 0). Suppose -i + n*i = -2. Is 17 a factor of (-1 - i)/3*-64?
False
Let r(d) = d**3 + 13*d**2 + 24*d + 12. Is 3 a factor of r(-10)?
True
Let r(w) = 10 + 0*w**2 - w + 8*w**3 - 8*w**2 - 7*w**3. Let a be r(8). Suppose 0 = -3*j - 2*j - x + 84, -33 = -a*j - x. Does 12 divide j?
False
Suppose -s = -2*o - 22, 12 = 2*s - 0*s + 4*o. Suppose s = -u + 62. Does 16 divide u?
True
Let q(x) = 53*x**3 - 20*x**2 - x. Is q(3) a multiple of 39?
True
Let q = 2720 + -1480. Is q a multiple of 124?
True
Let b = -98 + 191. Let k = b + -54. Does 13 divide k?
True
Suppose -11*t = -22*t + 44. Is 18 a factor of t/18 + ((-1292)/(-18) - 0)?
True
Is 20 a factor of (19 + 6)*(1 + (-3)/(-1))?
True
Let o(k) = -k**3 + 2*k**2 + 13*k. Let h(p) = p**2 + p. Let w(d) = 6*h(d) - o(d). Does 10 divide w(-5)?
True
Suppose -6*z + z + 6 = -d, 0 = 5*z + 5*d - 30. Suppose 5*c - 17 = z*a, 0*c = 2*c + 2*a - 4. Suppose -c*n = 3*q - 21 - 15, -2*q = -2*n - 8. Is 4 a factor of q?
True
Let j be (16/4)/(6/21)*-16. Let n = j + 337. Does 14 divide n?
False
Let b(x) = x**3 + 13*x**2 - 7*x - 17. Let u be b(-13). Suppose q = -2*l - 2*l + 66, -5*q + u = 4*l. Is 16 a factor of l?
True
Let t = 143 + -65. Does 39 divide t?
True
Let a(u) = 4*u + 12. Let g(s) = -2*s - 6. Suppose 3*h = -3 + 15, y + 11 = 5*h. Let x(o) = y*g(o) + 4*a(o). Is 8 a factor of x(-7)?
True
Let t = 404 + 205. Does 21 divide t?
True
Suppose -169 = 7*u - 3263. Is 34 a factor of u?
True
Let n be 2/(-9)*((-8 - 2) + 1). Suppose 0 = -n*s - g + 175, -2*s + 4*g + 470 = 3*s. Is 15 a factor of s?
True
Suppose -5*w - 3*y = -37, 0*w + 2*w - 3*y = 19. Let j(k) be the second derivative of k**4/6 - 11*k**3/6 - 4*k**2 + 185*k - 2. Does 13 divide j(w)?
False
Suppose -4*a + 2*b = -0*b - 1438, 5*a - 1793 = 4*b. Does 15 divide a?
False
Let u = 1176 + -651. Is u a multiple of 7?
True
Let s = -1133 - -1251. Is 59 a factor of s?
True
Suppose 2*n + 82 = 24. Suppose -y = 3*m + 167, -5*y + 0*y + 45 = -m. Let c = n - m. Is c a multiple of 8?
False
Let d(g) = 10*g + 570. Is 15 a factor of d(-21)?
True
Let j(q) = 3*q + 16*q - 4*q + 4. Is j(6) a multiple of 22?
False
Let t(o) be the second derivative of 13*o**4/12 - 4*o**3/3 + 3*o**2/2 + 14*o. Is t(-3) a multiple of 37?
False
Suppose 4*b - 48*w = -49*w + 11832, 2*w = -5*b + 14787. Does 97 divide b?
False
Let h(k) = -2*k**3 + 14*k**2 + 4*k - 15. Is h(7) a multiple of 3?
False
Let r = -349 + 678. Let d = -195 + r. Does 35 divide d?
False
Suppose 0 = 3*m, -3*j + 0*j = -m. Suppose w + 0*w + 4*t = 7, 4*w + 5*t + 16 = j. Is 10*w/(-6)*1 a multiple of 5?
True
Suppose -5*z + 5847 - 330 = -2*w, -4*z - 2*w + 4410 = 0. Does 21 divide z?
False
Suppose 17*g + 3*p = 22*g - 614, 5*p + 136 = g. Is g a multiple of 56?
False
Let p(x) = 5*x - 2 + 9 - 17. Is 12 a factor of p(14)?
True
Suppose -5*g - 223 = -4*v + 1027, 0 = 3*v - 5*g - 935. Is v a multiple of 22?
False
Let a = 282 + -42. Suppose a = 3*y - 0*y. Suppose y + 58 = 2*p. Is 14 a factor of p?
False
Suppose -2*m - m - d = -856, -5*m = 5*d - 1410. Does 21 divide m?
False
Suppose 0*d = -5*d + 55. Let z(o) = -10*o**2 + 1 + o + d*o**2 - 4. Does 3 divide z(-3)?
True
Let l = -38 + 34. Let i(n) = -23*n - 8. Is i(l) a multiple of 21?
True
Let w(f) = 2*f**2 + 3*f - 10. Let q be w(7). Is 15 a factor of 3*2/6*q?
False
Let c = 182 - 55. Does 6 divide c?
False
Let y(q) = -q**3 - 5*q**2 - 5*q - 1. Let t be y(-4). Suppose 112 = t*z + 7. Suppose z + 46 = 3*v. Does 27 divide v?
True
Suppose 4*j = -3*x + 1523, -5*j + 9*x + 1895 = 4*x. Does 38 divide j?
True
Suppose -2*t - 3*t + 765 = -5*g, 5*t =