**2 + o + 5. Let b be k(0). Suppose 0 = -4*l + b*f + 55, 7*l - 5*f = 2*l + 70. Does 3 divide l?
True
Does 18 divide 7/(189/32568) - (-30)/(-135)?
True
Let f(q) = 3*q + 63. Let s be f(-20). Suppose 4*i - 5 = -i, 0 = s*m - 2*i - 838. Is 37 a factor of m?
False
Let z be (8/2 - 4)/(-2). Suppose 4*p + z = 8. Suppose 2*s - 284 = -p*s + 2*c, -2*s + 150 = -3*c. Is s a multiple of 23?
True
Suppose -4*k = -k - 12. Suppose 0 = 2*n + k*q - 69 + 11, -3*q - 184 = -5*n. Is 7 a factor of n?
True
Suppose -3*s - 4*k + 2106 = 0, 1369 = 2*s - 2*k - 35. Is 27 a factor of s?
True
Suppose 9*k = 8*k + 12. Suppose -k*d + 391 = -41. Does 10 divide d?
False
Let q = 62 + -60. Suppose -q*k = -t + 3*k + 106, 2*t + 4*k = 240. Is t a multiple of 24?
False
Let g be 160/6*(-2 - -3 - -2). Suppose -3*c + 5*c = g. Does 14 divide c?
False
Suppose g - 34*g = -39402. Does 6 divide g?
True
Suppose 2*k - 4*b - 728 = 0, -129*b + 125*b + 1432 = 4*k. Is 5 a factor of k?
True
Let m(k) = k**2 + 10*k + 7. Let d be m(-9). Is (d/8)/(6/(-1464)) a multiple of 11?
False
Let j be (-3)/15 + 753/15. Is (-4 - j)/(-1 - 1) a multiple of 9?
True
Let r(h) = h**2 - 6*h - 21. Let x = -22 - -24. Suppose -y + x*y - 9 = 0. Does 3 divide r(y)?
True
Let r be (-96)/(-10) + 12/(-20). Let m be -1 + r/12*4. Does 5 divide 156/27 + m/9?
False
Let h = -22 + 239. Is h a multiple of 7?
True
Does 2 divide ((-26 - -2) + 15)*(-172)/18?
True
Let t(n) = 27*n**2 + 33*n - 12. Does 64 divide t(-5)?
False
Suppose 21*x - 1020 = 11*x. Is x a multiple of 29?
False
Let x = -96 + 167. Suppose -132 = -3*s + 2*t, 3*t - 203 = -3*s - x. Does 11 divide s?
True
Suppose 0 = -0*j - j + 8. Suppose j*a = 200 + 288. Let x = a + -40. Is 7 a factor of x?
True
Suppose 5*w - 9*w - 8 = 0. Let p be -8*(-10)/(3 + w). Suppose 3*a - p + 20 = 0. Is a a multiple of 5?
True
Let r(b) = 4*b**2 - 10. Is r(4) a multiple of 18?
True
Suppose 0 = 8*y - 9*y - b + 2405, 6*y = 5*b + 14408. Is y a multiple of 89?
True
Is 10 a factor of ((5340/18)/1)/(5/30)?
True
Suppose 0 = -z + 2*z - 5. Suppose -z*t = -2*t. Suppose -2*k = -4*m + 42, 2*m - 4*k - 21 - 3 = t. Is 2 a factor of m?
True
Suppose -3*f - 2*b = 3*b - 91, 0 = -5*f + 2*b + 162. Suppose -14*v = 14*v - 24*v. Suppose 0*i + 4*i - f = v. Does 4 divide i?
True
Suppose 12*g = -0*g - 108. Is 1/3 + (-1077)/g a multiple of 12?
True
Let d = -1564 + 2289. Is d a multiple of 36?
False
Let o(k) = 1590*k**3 - 2*k**2 + 4*k - 2. Is o(1) a multiple of 33?
False
Suppose -5*b + 1242 = -123. Does 15 divide b?
False
Suppose 12480 = 48*l + 4176. Does 114 divide l?
False
Suppose d = 3 + 6. Let i = 36 - 11. Suppose 4*s = -v + i, -2*v - 3*s - d = -44. Does 5 divide v?
False
Suppose -2*n + 299 = 35. Let q = 330 - n. Does 9 divide q?
True
Let k = -14 + 29. Suppose -115 = -k*j + 10*j. Does 23 divide j?
True
Let u(x) = -x**2 - 5*x + 5. Let i be u(-5). Suppose 0 = -i*w + 10*w - 410. Is w a multiple of 20?
False
Let j(t) = 32*t - 42. Does 7 divide j(8)?
False
Let j = 2213 - 283. Suppose -j = -11*f + 61. Is 10 a factor of f?
False
Let x = 5366 + -3495. Does 59 divide x?
False
Let x(o) = 21*o. Let u be x(-5). Let h = 174 + u. Does 23 divide h?
True
Suppose 20 = -t + 27. Let c = 35 - t. Does 12 divide c?
False
Suppose 5*a - 12*j = -13*j + 3623, 2*a - 4*j = 1458. Does 25 divide a?
True
Let g = 27 + 5. Let o(t) = t**2 - 9*t - 8. Let j be o(7). Let p = g + j. Does 10 divide p?
True
Suppose -3*w = -6*w - 4*l - 1, l + 4 = 0. Suppose 3*s = w*r + 17 + 33, -3*r - 18 = -s. Is 13 a factor of s?
False
Suppose -6 = i - l, -i - 4*l = -9*l + 2. Let z(u) = -u**3 - 5*u**2 - 12*u - 14. Is z(i) a multiple of 42?
True
Suppose 0 = -x + p + 2*p + 199, x + p = 211. Is 54672/x - 2*1/(-13) a multiple of 18?
False
Suppose 0 = 5*j + 4 + 6. Let u(r) be the first derivative of -24*r**2 + 2*r + 2. Does 33 divide u(j)?
False
Let u = -59 + 44. Let o = u + 20. Does 2 divide o?
False
Let a(w) = w**2 - 8*w - 9. Let j be a(9). Suppose j = -3*v + 56 - 8. Suppose -v = -4*k + 68. Is k a multiple of 9?
False
Suppose -2*n = -5 - 1. Suppose -2*r = -n*r + 2. Suppose 3*g - r*f = 89, -37 = -3*g - 5*f + 45. Does 29 divide g?
True
Let c(o) = -o**3 - 13*o**2 + 27*o - 2. Is 30 a factor of c(-15)?
False
Suppose 4*a + x = 51, -54*x + 51*x - 27 = -3*a. Does 12 divide a?
True
Let d = 46 + -34. Suppose -3*o + 4*y = -d, -4*o + 19 = 2*y + 3. Suppose -z + q + 39 = 0, -o*q = 5*z - q - 203. Is 8 a factor of z?
True
Let h = -11 - -5. Let i(d) = 9*d**3 + 10*d**2 + 11*d + 13. Let n(u) = -5*u**3 - 5*u**2 - 6*u - 6. Let q(c) = -4*i(c) - 7*n(c). Does 38 divide q(h)?
True
Suppose 5*j + 120 = 5*o, 5*o - o = 5*j + 116. Let z be (j/8)/((-4)/8). Is 13 a factor of (-544)/(-14) - z/(-35)?
True
Let y(i) = i**2 - 4*i + 3. Let h be y(5). Let f = 35 - h. Suppose 5*a - f = 2*a. Is a a multiple of 3?
True
Suppose -3*v + 5*u - u = 10, 12 = -2*v + 4*u. Suppose -5*n - 3*c + 679 = 0, -n - c + 143 = v*c. Is n a multiple of 34?
False
Let d(q) = 6*q**2 + 30*q + 136. Does 11 divide d(-20)?
True
Let p(r) = -2*r**2 + 17*r - 8. Let u be p(8). Suppose 2*v - 355 + 5 = u. Does 7 divide v?
True
Suppose g + 4*v + 244 = 754, 1030 = 2*g - 2*v. Is g a multiple of 8?
False
Does 7 divide (11 - 5) + -2 + (-1364)/(-2)?
True
Let o be 8/28 - 144/14. Is 16 a factor of 48/(-18)*o*3?
True
Suppose 18*t = 19*t + 5*n - 1158, -3*t + 3*n = -3528. Is t a multiple of 33?
False
Let b = 1187 - 731. Is b a multiple of 13?
False
Let a be (-245)/(-21) - 1/(-3). Let l(d) be the third derivative of -d**5/60 + 13*d**4/24 - 2*d**3/3 - d**2. Is 4 a factor of l(a)?
True
Suppose 3*b + 15 = -4*k, -4*k - 7 = -2*b - 3*b. Is 7 a factor of ((b - 6) + 111)*(-6)/(-4)?
False
Let v(t) = -153*t + 102. Is 17 a factor of v(-3)?
True
Let n be (-6)/(-4) - (-27)/6. Suppose 4*d - 9 = d. Suppose 2*h = -4*x - 0 + n, -5*h = -d*x + 24. Is 3 a factor of x?
True
Let q = 2881 + -1891. Is q a multiple of 41?
False
Let d(u) = -u**3 - 7*u**2 - 6*u + 6. Suppose -42 + 18 = 4*f. Is d(f) a multiple of 2?
True
Let b(p) = p**3 - 5*p**2 + 3*p + 1. Suppose 2*g - 84 = 3*s - 3*g, -38 = s - 5*g. Let n = 28 + s. Is 16 a factor of b(n)?
True
Let p(k) = -k**3 - k**2 + 4*k + 2. Let q be p(-3). Suppose q = s - 3*j - 13, 2*s + j = 21. Let u = s + -2. Does 10 divide u?
True
Let w(d) = 39*d**3 - 2*d + 1. Suppose -7*b + 5 = 40. Let l be b + 9/3 - -3. Is w(l) a multiple of 19?
True
Let o = 1190 + -864. Does 16 divide o?
False
Let w = 100 + 85. Does 5 divide w?
True
Suppose 6*z = 1767 + 135. Is 22 a factor of z?
False
Suppose -y - 2*w - 5 = -w, -11 = -5*y + 4*w. Let i be -1 + (-4 - -7) + y. Is (i*-1)/(10/(-470)) a multiple of 7?
False
Let t(q) = q**3 + 13*q**2 - q - 19. Let i be t(-13). Let h = -21 - i. Let p = 29 + h. Is p a multiple of 6?
False
Let w(d) = d**3 - 6*d**2 + 6*d + 11. Let x be w(5). Is (-6)/x*10*-4 a multiple of 4?
False
Suppose 0 = 2*u + 1 + 5. Let j(z) = -z**3 - 4*z**2 - 4*z + 1. Let o be j(u). Suppose -368 = -o*i + 5*m - 30, i - 91 = -2*m. Is i a multiple of 26?
False
Let s be ((-4)/8)/(3/6). Let q be 679/7 - (-1 - s). Let f = 179 - q. Is 15 a factor of f?
False
Let l(s) = -s**3 - 4*s**2 - 3*s + 2. Let b be l(-4). Let y = b - 3. Suppose 68 = 4*f - 0*f + 4*w, -y = -f - 3*w. Is 10 a factor of f?
True
Suppose 2*m + 15 = 7*m. Suppose 5*g - 12 = m. Suppose -3 = -g*f - 12, -2*f + 198 = 4*u. Does 12 divide u?
False
Let x be (-1 - 3)/((-2)/(-2)). Let m be (x/6)/(4/(-6)). Suppose 6 - m = p. Does 2 divide p?
False
Let i be 4413/9 + 2/(-6). Suppose 4*s + 2*d = 492, i = -2*s + 6*s + 3*d. Does 19 divide s?
False
Does 15 divide ((-27)/(-126)*136)/((-1)/(-7))?
False
Suppose 6*x + 192 = -2*x. Let i = 114 + x. Does 18 divide i?
True
Let s(p) = 6 + 0 - 23*p - 12 - 9. Is s(-3) a multiple of 6?
True
Let g(p) = -8*p - 50. Is g(-13) a multiple of 27?
True
Let m be (-54)/(-6) + -4*(-2)/(-4). Suppose -424 = -3*k - 4*x, -3*k - 2*x = -m*k + 558. Is 9 a factor of k?
False
Let s(y) = 8*y**3 + 3*y**2 - 24*y + 96. Does 17 divide s(6)?
False
Let y be (-7)/(1 + (-5)/4). Suppose -y = t - 2. Let p = t - -80. Is p a multiple of 27?
True
Let i be -4 + (22 - (0 + 0)). Let c(z) = 10*z**2 + 4*z - 3. Let u be c(2). Suppose 4*w - u = -w + 2*p, -2*p + i = 2*w. Is w a multiple of 3?
True
Suppose -6*g + 137 = 29. Suppose 0 = -y - y - 4*j + 20, 3*j = -3*y + g. Suppose -5*s - 10 = 0, -w + 0*w + y*s = -37. Is w a multiple of 8?
False
Su