*3 - r - 23. Is o(11) a multiple of 19?
False
Let x be (-27)/6*1*-4. Let r(z) = -10*z + z**2 + 30*z - x*z. Is r(-5) a multiple of 8?
False
Let w(z) = -z**3 + 5*z + 3. Let f be w(-3). Let d be 28*1*f/20. Let y = d + 5. Does 14 divide y?
False
Suppose -m = -2, -m + 54 = -3*l + 1360. Does 109 divide l?
True
Let k be (-25 - 1)/(6/(-9)). Suppose 0 = 6*u - 4*u. Suppose -2 = -s, -4*z + 2*s + 17 + k = u. Is 7 a factor of z?
False
Let l(b) = b**2 + 1. Let p(o) = o**2 - 7*o - 53. Let s(z) = 2*l(z) - p(z). Does 19 divide s(-8)?
False
Let k(w) = 9*w**2 + 13*w + 10. Let n be k(-7). Suppose 5*p = 17*p - n. Is p a multiple of 2?
True
Let f(i) = 39*i - 62. Is 74 a factor of f(6)?
False
Is 4/3*7/(63/1431) a multiple of 12?
False
Suppose -24*v + 2880 = -8*v. Is 30 a factor of v?
True
Let i be (2 - (-24)/18)/((-1)/(-3)). Suppose -38 = -5*a + 2*a - 2*t, 49 = 4*a + 3*t. Let w = a - i. Is w even?
True
Let r(z) = -2*z - 21. Let n be r(-15). Suppose -115 = -14*a + n*a. Is 23 a factor of a?
True
Let c = -718 + 4491. Is 49 a factor of c?
True
Suppose -3*x + 18 = -2*n - 2*n, 2*x + 4*n = -8. Suppose 0 = -6*j + x*j + 20. Suppose 2*f = -j*f + 315. Is 8 a factor of f?
False
Suppose -95 + 3125 = 6*h. Does 4 divide h?
False
Let f = -7 + 7. Let i = -12 + f. Let w = 0 - i. Is w a multiple of 8?
False
Suppose -2*d + 2 = r, 2*d + d + 4*r - 13 = 0. Is 7 + d + (40/(-4))/(-5) even?
True
Let w be (-41)/(-13) + (-12)/78. Suppose d = 2*g - 12, w*d + 0*d + 1 = g. Let z = g - -11. Is 9 a factor of z?
True
Let f(z) = -z**3 - 4*z**2 - 6*z - 4. Let t be f(-7). Suppose 4*h + t = 909. Is h a multiple of 42?
False
Let v(y) = 5*y**2 - 154*y + 69. Is v(35) a multiple of 58?
False
Suppose 0 = -5*z - 46 + 56. Suppose 3*g - 2*h = 180, -5*g - z*h + 313 = -h. Is g a multiple of 36?
False
Let i(u) = -11*u**3 + 7*u**2 + 5*u - 126. Does 15 divide i(-8)?
False
Let p(c) = 2*c + 29. Let b be p(-12). Suppose b*v = 516 + 564. Does 27 divide v?
True
Let h(f) = f**2 - 4*f - 8. Let t be h(6). Let a be (7 + -4)*4/t. Suppose -2*c + 30 = 2*z, a*c + z = -c + 75. Does 4 divide c?
True
Let a be (21/28)/((-2)/(-80)). Let b be ((-10)/15)/((-4)/a). Suppose 3*v + 40 = 4*r, -r + 2*v - 5*v = b. Is r even?
False
Let g be (-12 + 13)/((-1)/5). Let u = 21 + g. Is u a multiple of 14?
False
Let n(i) = i**2 + 13*i + 8. Let d be n(-14). Let t be (84/5)/(d/165). Suppose r - 53 = -0*r + 4*o, -3*o - t = -2*r. Does 16 divide r?
False
Does 8 divide (-4)/(-12)*-3 - -324?
False
Suppose -221 = -4*r + 3*l, 3*l - 50 = -r + 2*l. Does 18 divide r?
False
Suppose 0 = -4*c + 4*o + o + 13776, 3*o = 0. Does 17 divide c?
False
Let d be 1/(-1 + 3/2). Suppose d*b + 2*b - 4*l = 0, -l + 18 = 5*b. Suppose -60 - 16 = -2*n - 4*z, -b*n + 126 = 2*z. Is n a multiple of 11?
True
Let d(a) = -a**2. Let x(s) = 4*s**2 - 9*s + 13. Let q(m) = -5*d(m) - x(m). Does 17 divide q(-12)?
False
Let x(d) = -71*d - 7. Let y be x(-2). Suppose -2*n + y = 49. Does 11 divide n?
False
Let j = -78 - -78. Suppose j = -13*m + 882 + 210. Is 12 a factor of m?
True
Let v be ((-6)/10)/(9/(-30)). Is 13 a factor of 85 - (-2 - (v + 0))?
False
Let p be 12/9 - 40/(-24). Is 2/(-4)*(-119 - p) a multiple of 15?
False
Suppose 346 - 994 = -3*m. Is m a multiple of 12?
True
Let x(l) = -7*l - 13. Let q be x(-13). Let o be (q/8)/((-3)/16). Is ((-143)/o)/((-2)/(-48)) a multiple of 22?
True
Is 122 a factor of (42/(-15))/(20/9125)*-2?
False
Suppose -4*l + 0*l - 1188 = -4*k, -l = 3*k - 887. Let s = k - 158. Is s a multiple of 46?
True
Let u(v) = v**3 - 7*v**2 + 5*v - 4. Let a be u(6). Let f = -3 - a. Is 12 a factor of 1690/35 - 2/f?
True
Suppose 15 = 5*n, -6*n = -2*g - 2*n + 6. Suppose -136 = 5*r - g*r. Does 8 divide r?
False
Suppose 0*q + 2*q = -4*q. Suppose q = -3*m - 0*m + 57. Is 11 a factor of m?
False
Let q be 3/(-8) - (-1085)/56. Is ((-2)/((-2)/(-1)))/(q/(-323)) a multiple of 17?
True
Let x be (-36)/(-20) + (-2)/(-10). Is 28/5 + (x - (-8)/(-5)) a multiple of 2?
True
Suppose 0 = -s + 11 + 11. Is s a multiple of 2?
True
Suppose 0*z + 5*h + 9 = z, 0 = 3*z - 4*h - 71. Is 2 a factor of z?
False
Let o(r) = -r**3 + 2*r**2 + 2*r - 3. Let k be o(2). Let q be (0 + 2 + -3)*k. Does 11 divide 2 + q + -1 + 47?
False
Let u be ((-60)/18 - -2)*9/(-4). Does 42 divide (18/(-27))/((-840)/279 + u)?
False
Let m(b) = 2*b**2 + 11*b + 49. Is 31 a factor of m(9)?
True
Is 11 a factor of 0 + 3891 + -6 + -2?
True
Let o = -6 - -9. Suppose i + o*x - 290 = 0, -1350 = -4*i - i + 5*x. Suppose 2*c = 7*c - i. Is c a multiple of 11?
True
Suppose 4*g + w = 978, 2*w + 2*w = 5*g - 1212. Suppose -2*b + 103 = 3*u, -2*u - u = 5*b - g. Suppose 0*i + i = b. Does 11 divide i?
False
Let t = -109 - -326. Is 7 a factor of t?
True
Let j(l) = -l**2 - 7*l + 1347. Does 13 divide j(0)?
False
Suppose 4*c - 24 = -4*x, -3*x + 0 = -2*c - 13. Suppose 5*y - x = 5. Suppose y*v - 20 = v. Is 20 a factor of v?
True
Let y(n) = -37*n + 36. Let v be y(-7). Suppose -r = -2*b + r + 122, 3*r = 5*b - v. Is 14 a factor of b?
True
Let u(w) = 7*w**2 - 12*w + 3. Let l(z) = -15*z**2 + 25*z - 6. Let f(x) = 6*l(x) + 13*u(x). Let q be f(6). Suppose -q*y = -5*y + 26. Is y a multiple of 13?
True
Let k be (10/(-14))/(-5) - 275/(-35). Suppose -3*y + k*y - 225 = -3*f, -5*f + 151 = 3*y. Is 12 a factor of y?
False
Suppose -5*y + 20 = 0, 2*y - 5*y - 303 = -5*q. Let z = -23 + q. Does 20 divide z?
True
Is 4 a factor of (-1)/(-18*105/(-474) - 4)?
False
Let w be 6/2 - 0/(-1). Suppose w*l - 25 = 5. Suppose -x - f - 4*f - 2 = 0, l = -5*f. Does 8 divide x?
True
Let x = -53 + 58. Suppose x*u - 6*u + 90 = 0. Is 23 a factor of u?
False
Let b(p) = -p**2 - 9*p - 10. Let r be b(-7). Suppose -r*g + 75 = g. Is g a multiple of 4?
False
Suppose 70*o - 1600 = 66*o. Is 22 a factor of o?
False
Suppose -20*p + 2065 = -13*p. Suppose -5*q + p = -1020. Is q a multiple of 43?
False
Suppose 0 = 7*j - 23 - 5. Suppose j*g + g = 380. Does 38 divide g?
True
Let j(c) = -c**3 + 10*c**2 - 9*c + 19. Let y be j(8). Suppose -5*p + 100 = -y. Is p a multiple of 35?
True
Suppose -3*a + 242 - 20 = 0. Does 27 divide a?
False
Let s be 1 - 5 - (-3 - 7). Let i(r) = 3*r**2 + s - 7 + r + 2. Does 31 divide i(3)?
True
Suppose 10373 = 18*a + 5*a. Is 43 a factor of a?
False
Let h be 3/1 + (77 - (-20)/5). Let w = -35 + h. Does 38 divide w?
False
Suppose 5*l + 2*y = 4*y + 2370, 0 = -2*y + 10. Does 10 divide l?
False
Suppose c = -1 + 3. Let b = c - -5. Suppose 4*u - 3*u = 3*x + 24, 2*u + 5*x = -b. Does 2 divide u?
False
Suppose -2*c + 4*t + 586 = 0, c + 3*c - 1168 = 4*t. Is c a multiple of 15?
False
Suppose -8*p + 31 + 273 = 0. Suppose 0 = -2*a + a + p. Is a a multiple of 5?
False
Let u = -163 + 255. Let l = u + -33. Is l a multiple of 7?
False
Suppose -5*y + 7 + 58 = 0. Let b(j) = -j**3 + 14*j**2 - 5*j - 9. Does 8 divide b(y)?
False
Is (-1 - (-10)/4)/(6/208) a multiple of 6?
False
Let k = -38 + -52. Let q = k - -104. Is 14 a factor of q?
True
Let p(n) = n**2 - 11*n + 4. Let a be p(9). Let u be a/77 - (-13)/11. Is 42/u*4/6 a multiple of 14?
True
Suppose -3*j - 2 = 10, -m + 2*j = -12. Suppose z + 4 = -c - m*z, 4*c = -3*z - 16. Is 14 a factor of 13 + -1*(3 + c)?
True
Let w = 1590 - 1236. Is 8 a factor of w?
False
Let c(i) = i**2 + i + 6. Let w(y) = 3*y + 4. Let o be (9/6)/((-4)/8). Let l be w(o). Is 13 a factor of c(l)?
True
Let u = -26 - -28. Let r(d) = 5*d**3 - 3*d**2. Is r(u) a multiple of 7?
True
Let v(b) = -3 + 11*b - 5*b + 1 - 31*b**2 - 5*b. Let j be v(1). Let y = j + 47. Does 4 divide y?
False
Let q(t) be the third derivative of t**6/120 - t**5/20 + t**3 - 29*t**2. Is 38 a factor of q(6)?
True
Suppose -4*o = 9*o - 195. Suppose -3*w + o + 18 = 0. Is w a multiple of 11?
True
Suppose -11*g = -10*g. Suppose -2*a + 2*r + 124 = g, -5*a + 4*r + 35 + 280 = 0. Is a a multiple of 8?
False
Suppose -4*a = -2*a - 138. Suppose 0*m - 4*m + 3*y = -a, y = 4*m - 71. Does 7 divide m?
False
Is 46 a factor of 18/(-6) + 285 - 6?
True
Let i = 40 - 21. Let f = -11 + i. Let a(u) = 5*u + 4. Does 12 divide a(f)?
False
Suppose -101 = -2*s - 5*x + 2116, 0 = 4*s + x - 4461. Is 22 a factor of s?
False
Let b be 1*(-1 + (4 - 3) + 287). Suppose 3*k - 61 = b. Is 16 a factor of k?
False
Suppose 174 + 66 = 5*u. Suppose -2*r - 4*z = -3*r + u, -r = -z - 33. Is r a multiple of 10?
False
Suppose m - 2*m + 4 = 4*s, -5*m = 4*s + 60. Let o be 4/24*-2*9*3. Is 13 a facto