t v = -10 + r. Suppose 2*f = v*f - 45. Does 11 divide f?
False
Suppose 4*m - 706 = -2*s, 9 - 5 = -4*s. Is m a multiple of 12?
False
Let s(o) = 32*o**3 + o**2 + 2*o. Is 23 a factor of s(2)?
False
Suppose 0 = h - 212 - 58. Is h a multiple of 27?
True
Suppose m - 2726 = 5*x, -x + 9470 = 3*m + 1260. Is m a multiple of 16?
True
Let l(h) = -h - 7. Let c(v) = -v - 8. Let k(i) = 3*c(i) - 4*l(i). Let y be k(-10). Is 8 a factor of ((-96)/(-80))/(y/(-40))?
True
Let n(i) = -7*i + 121. Is n(12) even?
False
Does 23 divide (6 + 594/(-44))/(6/(-184))?
True
Let j(p) = 7*p**2 - 16*p - 101. Does 25 divide j(-8)?
True
Let y = 2717 - 1066. Does 90 divide y?
False
Let n be -5 - 15/(5 - 8). Suppose 3*v + 3*j - 121 = -2*j, v + 4*j - 52 = n. Is v a multiple of 28?
False
Let v be 15/2 + (-5)/(-10). Suppose -3*m + v = -46. Is m a multiple of 4?
False
Is 2 + (-1)/(965/(-320) + 3) a multiple of 3?
True
Let l(r) = 30*r + 420. Does 90 divide l(30)?
False
Let j = -73 + 77. Suppose -319 = -5*b - j. Does 21 divide b?
True
Suppose 30*v - 705 = 27*v. Does 37 divide v?
False
Let s = 4 - 6. Is 16*(s/4)/(-1) a multiple of 3?
False
Let u = 61 - 57. Suppose 5*i - 87 = 4*q + 147, 0 = -4*q - u. Is 23 a factor of i?
True
Let z(q) = -q + 1. Let k be z(-6). Let s(g) = 3*g - 7 - 1 + 3*g + 2. Is s(k) a multiple of 12?
True
Let y(x) = 714*x**2 - 35*x - 36. Is 31 a factor of y(-1)?
True
Suppose 11*c - 30 = 16*c. Is ((-63)/c - 5)*(11 - 1) a multiple of 5?
True
Suppose -3*s - s - 24 = 0. Let o(r) = -12*r + 5. Does 11 divide o(s)?
True
Let g(b) be the third derivative of b**6/120 + b**5/12 - b**4/4 - b**3 + 40*b**2. Is g(6) a multiple of 59?
True
Suppose 0 = -5*p - 5*u + 20, u - 34 = -5*p + 3*u. Suppose -5*k = p - 116. Is 11 a factor of k?
True
Let f = -429 + 522. Does 33 divide f?
False
Suppose -8*n + 368 + 344 = 0. Suppose m + 3*m - 20 = 0. Suppose -m*x - 2*r = -n, -2*r - 5 = 1. Is x a multiple of 6?
False
Let l(c) = -3*c + 1. Let m(g) = 2*g**2 - g. Let i be m(-1). Suppose i = -2*t - 1. Is l(t) even?
False
Suppose 9 = -2*g + 1, 0 = 2*b - 5*g - 5160. Suppose 6*s + 4*s - b = 0. Does 37 divide s?
False
Suppose 19 = -6*g - 11. Is 6 a factor of (13 - 0) + 1 + (-20)/g?
True
Let u(y) = -24*y + 5. Let w be u(3). Let c = 59 - w. Is c a multiple of 14?
True
Let s(d) = -3 + 5 - 20*d + d**2 + 13*d. Let u be s(7). Suppose -u*a = 5*m - 117, 8*m - 3*m = -a + 71. Is a a multiple of 23?
True
Let n = 10 + -5. Suppose 70 = n*x - 5. Suppose -h = 4*h - x. Does 3 divide h?
True
Suppose 3*m - r + 21 = -11, 12 = -2*m + 3*r. Let q(u) = u**2 + 10*u + 7. Let i be q(m). Let w = i - 14. Is 7 a factor of w?
False
Let i(v) = -v**3 + 7*v**2 + 2*v + 10. Is i(-5) a multiple of 10?
True
Does 13 divide 1120/84 - 1/3?
True
Let b = -29 + 32. Is 2 a factor of b?
False
Suppose 0 = -5*x - q - 33, 2*x = 3*x + q + 9. Let b(d) be the third derivative of -d**5/60 - 7*d**4/24 - d**3/2 - d**2. Is b(x) even?
False
Suppose 24 = -2*v + 5*v. Let f = -9 + v. Is 18 a factor of (f + (-39)/(-12))*8?
True
Let f = 304 + 290. Let m = f - 416. Is 10 a factor of m?
False
Let y = 9745 + -6824. Does 127 divide y?
True
Let d(p) = p**3 + 6*p**2 - 7*p + 4. Let u be d(-7). Let c be 4/2 + 256/u. Let v = -28 + c. Does 19 divide v?
True
Suppose -5*g + 3235 + 908 = 2*l, 2*l - 4153 = 5*g. Is 61 a factor of l?
True
Let n be ((-5)/20)/(1/(-20)). Let g(o) = o**3 - 4*o**2 - 4*o - 1. Let k be g(n). Suppose k*i = 4*p + 140, 5*i + 0*p - 163 = -p. Does 11 divide i?
True
Let t(g) = 2*g**2 + 6*g + 87. Does 3 divide t(0)?
True
Suppose -1540 = 627*i - 631*i. Does 7 divide i?
True
Suppose 19104 = 23*n + 3487. Is 20 a factor of n?
False
Let d(o) = o**3 + 9*o**2 + 8*o - 5. Let f be d(-8). Let q(k) = -9*k - 1. Does 11 divide q(f)?
True
Suppose 0 = -2*x + 201 - 209. Let l(y) = -51*y - 24. Does 24 divide l(x)?
False
Suppose -9*i = -8*i - 7. Let x(m) = 16*m + i*m + 2*m. Is x(2) a multiple of 25?
True
Let s be (-1780)/(65/25 + -3). Suppose 0 = -5*l + 5*f - s, 2*l = -0*l + 4*f - 1786. Does 10 divide l/(-15) + (-2)/15?
False
Let d(o) = -o**2 + 6*o + 9. Let s be (-15)/(-2) + 1/(-2). Let j be d(s). Suppose -66 = -4*q + j. Is 5 a factor of q?
False
Let o be 6/18 - 2/6. Suppose 3*v = -o*v + 15. Suppose -2*z = 3*t + 4 - v, 0 = -z + 5*t + 20. Is z a multiple of 5?
True
Let v = -38 + 76. Suppose -d = -3*d + v. Does 4 divide d?
False
Let m(w) = -14 + 10 - 6*w + 9*w**2 + 11. Is 15 a factor of m(4)?
False
Suppose n + 4*j - 2230 = 0, -2*n + 4448 = 4*j - 8*j. Is 6 a factor of n?
True
Does 14 divide (0 + 9 - 3)/(6/196)?
True
Let g(r) = -3*r**3 - 5*r - 5. Let m be g(-2). Suppose 7*v = m + 307. Is 12 a factor of v?
True
Let t be (-751 - 1)/(-2) - 4. Suppose -t = s - 5*s. Suppose -3*j = -3*f - 7*j + 50, -3*j - s = -5*f. Does 18 divide f?
True
Let a(z) = -z - 7. Let q be a(-7). Suppose -j - 64 = w - q*w, -8 = -2*w. Let v = j + 98. Is v a multiple of 16?
False
Suppose -n - 5 = -0*n. Let m = 35 - 57. Let f = n - m. Is 6 a factor of f?
False
Let g(v) = v**3 - 15*v**2 - 6*v - 29. Let s be g(16). Let i(q) = q + 12. Let r be i(-9). Suppose -103 - s = -r*k. Is k a multiple of 25?
False
Let g(l) = l**3 - 7*l**2 + 7*l - 4. Let h be g(6). Suppose 0*i - i - h*x = 73, -2*x = -i - 69. Let r = -26 - i. Is r a multiple of 8?
False
Let t(f) = -40*f - 5. Let y be t(1). Does 15 divide (-4940)/y - ((-7)/(-9) - 1)?
False
Let n = 403 + -238. Suppose -4*l + n = -l. Does 11 divide l?
True
Let h = -34 - -37. Suppose 4*x - h*i = 138, -58 - 52 = -3*x - i. Is 7 a factor of x?
False
Suppose 0 = -a + 2*a - 6. Let o(r) = a*r**2 - 2*r**2 + 0*r**2. Is o(3) a multiple of 6?
True
Let q = -151 - -82. Suppose 9*g + 573 = -660. Let y = q - g. Is y a multiple of 18?
False
Let v be (4/(-6))/((-2)/318). Suppose -4*o - 9 = -2*n + o, -3*o = -2*n + 7. Suppose 0 = n*s + 10 - v. Is s a multiple of 24?
True
Suppose 15*q - 11*q - 8 = 0. Suppose -q + 12 = 5*l. Suppose 3*o - 2*t = 49, 4*o - l*t - 81 = -13. Is 19 a factor of o?
True
Let l(x) = 63*x. Let z(q) = -18395*q. Let u(m) = 585*l(m) + 2*z(m). Does 13 divide u(1)?
True
Suppose d - 3 = -0*d, -1879 = -5*x - 3*d. Is x a multiple of 34?
True
Suppose 0 = -2*x - w + 3*w + 18, 4*w + 6 = -2*x. Suppose 77 = x*u - 228. Suppose 2*d - 93 = -4*y + u, 3*d = -2*y + 87. Does 9 divide y?
True
Let d = -47 - -85. Let l = d - -2. Does 4 divide l?
True
Let g(k) be the first derivative of 41*k**3/3 - k**2 - k + 12. Is g(-1) a multiple of 21?
True
Is 14 a factor of (-92280)/(-64) - 4/(-32)?
True
Let o(z) = 6*z**2 - 108*z + 33. Does 5 divide o(18)?
False
Let g(l) = 5*l**2 - 2*l + 6. Let s be g(3). Let q = 105 - s. Does 5 divide q?
True
Let g(o) be the first derivative of -o**3/3 + 4*o**2 + 19*o - 5. Let x be g(11). Is 6 a factor of 15*(x/(-3) - 2)?
False
Suppose -r - 3*r - 516 = -4*f, 0 = 4*r - 12. Does 11 divide f?
True
Let j = -241 - -288. Is j a multiple of 4?
False
Suppose -7*x + 4*x = -3*b + 10431, 5*x = 5. Is 94 a factor of b?
True
Let q(u) = 2*u**2 + 30*u - 13. Let n(p) = p**2 + 29*p - 13. Let g(l) = -5*n(l) + 4*q(l). Is g(8) a multiple of 2?
False
Let g(c) = 18*c**2 - 11*c - 15. Suppose 0 = 13*k + 46 - 7. Does 15 divide g(k)?
True
Let y(c) = -3*c - 7. Let a be y(-7). Let z = 18 - a. Suppose z*n + 95 = 455. Is 24 a factor of n?
False
Suppose -8 = -4*y + 3*t, 0 = -0*y - 4*y + 2*t + 12. Suppose y*c - 12 = 3. Suppose 3*s = c*v + 252, 3*v + 46 = -2*s + 229. Does 27 divide s?
False
Let x = 38 + -36. Does 12 divide 2/4*(50 - x)?
True
Let j(s) = -6 + 5 + 5 - 5*s. Let v be j(-4). Let d = 12 + v. Is d a multiple of 18?
True
Is 69 a factor of 228/(-10)*-1*200/30?
False
Suppose 28*j - 1258 = 27*j. Is 12 a factor of j?
False
Let x be (-10045)/(-40) - 4/32. Suppose f - 4*w = 71, 4*f - 9*w + 4*w - x = 0. Is f a multiple of 11?
False
Suppose -3*i - 4*d = -5, -47 = 5*i - 10*i + 3*d. Suppose 0 = -3*a + i*a - 932. Suppose 2*l = 2*y - 154, 0*l + a = 3*y - 4*l. Does 21 divide y?
False
Let n = -125 + 238. Suppose p + 43 = -j + 2*j, -p + n = 3*j. Does 17 divide j?
False
Let l(n) = 5*n**2 - 35*n + 147. Does 49 divide l(14)?
True
Suppose -i - 57 = -3*g + 151, 3*g = -4*i + 203. Is g a multiple of 4?
False
Let b = 400 - 219. Let p = b + -98. Is 24 a factor of p?
False
Let g(i) = -3*i**2 + 2*i + 2. Let m be g(2). Does 22 divide ((-2630)/15)/(-1) - 4/m?
True
Let y(v) = 29*v + 16. Is 28 a factor of y(12)?
True
Let u(j) = 77*j - 5. Is 