 i?
True
Let g be (-4)/(-22) - (-1160)/(-88). Let s(l) = -2*l**2 - 2 - 14*l + l**2 + 5 + 7. Is s(g) a multiple of 5?
False
Suppose 1678*m = 1686*m - 3312. Is m a multiple of 46?
True
Let v be (54/(-45))/((-6)/620). Let f be (-8)/6*15/(-5). Suppose -5*u = -u - f*c - v, 5*u + 4*c - 137 = 0. Is 5 a factor of u?
False
Let l = 6 + -7. Let h be (l + 1)*3/(-6). Suppose h = v - 3*v + 76. Does 19 divide v?
True
Suppose -4*p - 100 = -4*g, -p - 59 = -3*g - 2*p. Suppose g*z = 25*z - 12. Suppose -246 = -5*m + z*f, 5*f = -4*m + 5*m - 36. Is 17 a factor of m?
True
Let k(b) = 7*b**2 + 8*b. Is 19 a factor of k(-9)?
False
Let p be 3/((15/(-12))/5). Let o = 25 - -6. Let x = p + o. Is x a multiple of 13?
False
Let h = 238 - 151. Is 4 a factor of h?
False
Is 16 a factor of (-96)/(-28)*(28 - (-2 - -2))?
True
Let k = 1874 - 1580. Does 59 divide k?
False
Let a(v) = v**3 - 28*v**2 - 96*v + 1. Does 41 divide a(32)?
True
Let b be 18/((-1)/(8/(-12))). Suppose -11*p + 7*p = -b. Suppose -2*r = p*s - 116, 5*r - 4*s - 290 = -8*s. Does 29 divide r?
True
Let m = -5 + -4. Let x(z) = -16*z - 71. Let n be x(4). Is 6 a factor of m/(n/(-12))*-30?
True
Suppose -5*h = 2*v - 65, h - 9 = -3*v + 4. Let x = h + -8. Is x a multiple of 5?
True
Let f be 58/4 - ((-20)/8 - -2). Let b = f - -87. Is 16 a factor of b?
False
Let g be (-632)/(-4) + (6 - 3)*-1. Let k = 46 + g. Is 25 a factor of k?
False
Let p(r) = -52*r + 138. Is 23 a factor of p(0)?
True
Let o(i) = i**2 - 6*i + 2. Let j be o(-8). Let a be -27*((-16)/3)/(-4). Let v = j + a. Does 26 divide v?
True
Let t(a) be the first derivative of -a**4/4 + 10*a**3/3 + 6*a**2 + 4*a + 1. Let p be (-5)/15 + 68/6. Is t(p) a multiple of 11?
False
Let x be ((-814)/(-33))/(2/(-15)). Let p = -132 - x. Suppose -151 = -2*u - p. Is 17 a factor of u?
False
Is 23 a factor of -2*(45/6 + 4)*-37?
True
Let h be 465/30 - (-2)/4. Let w = 124 + -31. Suppose -5*g - 27 - h = -2*y, -3*y + w = 2*g. Is y a multiple of 12?
False
Let r be (6 - 1) + -4 + 0. Let u(l) = 2*l**2 + l. Let d be u(r). Is ((-116)/6)/((-1)/d) a multiple of 24?
False
Let a(u) = -5*u**3 + 2*u**2 - 3*u - 4. Let y be a(-3). Suppose 0 = -10*b + y + 52. Is 3 a factor of b?
True
Suppose 3*y + 54 = 6. Let m = -28 - y. Let t = m - -20. Is t a multiple of 8?
True
Let l(u) = u**2 + 6*u - 16. Let a be l(-8). Is 13 a factor of (6 - -6) + (1 - a)?
True
Let o = 33 - 30. Suppose 4*k = o*f - 0*k - 33, 0 = 5*f + 3*k - 26. Does 4 divide f?
False
Let i(d) = d**2 - 3*d - 12. Let z be i(5). Is 9 a factor of (z/(-5))/(3 + 3145/(-1050))?
False
Let a(o) = 6*o**2 + 4*o - 14. Suppose -2*k = -s - 7, s = -2*k - k + 18. Does 32 divide a(k)?
False
Let m(c) = -98*c + 16. Let t(x) = 33*x - 5. Let w(b) = 5*m(b) + 16*t(b). Is w(2) a multiple of 13?
False
Let h(s) = 9*s**3 + 4*s + 2*s**2 - 8*s**3 + s**3. Does 6 divide h(2)?
False
Suppose -s + 2*i = -128, 192 = 3*s - i - 187. Suppose -h = -2*h - 5*d + s, 0 = 3*d. Is h a multiple of 14?
True
Let x = 664 + -344. Is 10 a factor of x?
True
Let h(v) = v**3 + 3*v**2 - 6*v - 10. Let d be h(-4). Let k be d/(-9) - 845/117. Is 10 a factor of 20*k/(7/(-2))?
True
Let q(p) = 33*p + 159. Is q(21) a multiple of 12?
True
Does 14 divide (-2910)/(-679)*(1 + 1056)?
False
Let u = 0 + 4. Suppose 5*k - 2*j = 8 + 79, u*j + 79 = 5*k. Does 5 divide k?
False
Suppose 28113 = 25*p - 25487. Is p a multiple of 134?
True
Let p(a) be the second derivative of -a**4/12 + 7*a**3/2 - 25*a**2/2 - 4*a. Is 5 a factor of p(17)?
False
Let r(q) = 14*q - 8. Let w be r(6). Let i = w - 41. Does 5 divide i?
True
Suppose -2462*b + 2467*b - 70 = 0. Is 14 a factor of b?
True
Suppose 3 + 9 = 3*r. Is 31/r + 2/8 even?
True
Does 10 divide (-7)/((0 - 1)*7/427)?
False
Suppose 159*u = 166*u - 9030. Is u a multiple of 43?
True
Let o be -16*(-4)/16*5. Suppose 2*j = -3*j + o. Is j a multiple of 3?
False
Suppose -388 = -5*c + 3*j, 0 = c - 3*c + 2*j + 156. Is 7 a factor of c?
True
Suppose 34 + 30 = -4*c. Let y = c + 15. Is 8 a factor of (61 + -3)*y/(-2)?
False
Is 17 a factor of 170/6*(-1458)/(-405)?
True
Suppose -g + 4 = -2*w - 3*w, -4*w - 8 = 0. Does 5 divide (-436)/(-22) - g/33?
True
Suppose 0 = 2*a + 3*a + 3*m - 325, -330 = -5*a - 4*m. Let t = 122 - a. Is 10 a factor of t?
True
Let o = 6 + -4. Suppose -5*w - 29 = -o*z, 0 = -0*z + 2*z + 3*w + 11. Is 6 a factor of z - 1 - (-17)/1?
True
Let q = -48 + 160. Is q a multiple of 12?
False
Let p = -26 - -90. Suppose -2*v = -4*m + p, -3*m + 2*v - v = -50. Is 3 a factor of m?
True
Let i(d) = -d**2 + 5*d - 3. Let w be i(1). Is 17 a factor of (-3 - w)*((-3 - -6) + -37)?
True
Does 5 divide 9/((-45)/(-20)) - (-348 + -11)?
False
Is 67 a factor of 5/(3 + 802/(-268))?
True
Suppose -3*f + 5*h = f + 8, 3*f - 3*h + 3 = 0. Let d be f + -4 - (-2 + -1). Does 16 divide (40/25)/(d/60)?
True
Let y(l) = 5*l**2 + 6*l - 18. Is y(8) a multiple of 7?
True
Suppose 0 = 3*f - 2*f - 58. Let d = -25 + f. Does 11 divide d?
True
Suppose 0 = -n - p + 2874, 3*p - 11495 = -4*n - 2*p. Is 115 a factor of n?
True
Let o = 37 + -74. Let v = -20 - o. Does 6 divide v?
False
Suppose -z - 12 = -2*d, 5*d = -3*z + 4*z + 24. Let s(l) = -l**3 - 3*l**2 + 3*l + 2. Is s(z) a multiple of 4?
False
Is 28 a factor of ((-14080)/15)/(-8)*(-3)/(-2)?
False
Suppose -20 = 5*h, 3*y - h - 142 = -3*h. Does 8 divide y?
False
Let x = 37 + -30. Does 30 divide ((-1071)/14)/(-9)*(x + 1)?
False
Let r be (-2)/(-4) + 5/2. Suppose -2*a + 1020 = r*a. Does 17 divide (-5)/(-2)*a/30?
True
Let p be ((-12)/5)/((-6)/6360). Let f be p/(-36)*6/(-4). Let n = f + -66. Does 13 divide n?
False
Does 9 divide 2*315/(9 - 0)?
False
Is (-2151)/(-33) + -1 - (-4)/(-22) a multiple of 32?
True
Suppose j + 2*n = 3*n, -2*j + 4*n + 2 = 0. Is j/(-6)*2 - 285/(-9) a multiple of 15?
False
Let u = 33 - 29. Suppose 4*x - 37 = g - 2*g, -u*g + x + 182 = 0. Suppose -g = -5*r - 0. Does 2 divide r?
False
Suppose 3*m = -6, -8*m = -5*w - 5*m + 21. Suppose q = 2*i + w*q - 48, -5*q = 4*i - 98. Is i a multiple of 7?
False
Suppose -2*r - 7 = -k, 3*r + 3*k + 15 + 9 = 0. Let l = 1 + 9. Is 21 a factor of 1/r - (-422)/l?
True
Let g(l) = -l**3 + 6*l**2 + 9*l - 2. Let i be g(7). Suppose -3*y = 12, i*y = -2*w + 14*y + 202. Is w a multiple of 20?
False
Let l = -205 - -72. Let s = l - -233. Is s a multiple of 25?
True
Let r(s) = 29*s + 14. Let a(x) be the first derivative of -5*x**2 - 5*x + 1. Let d(y) = -17*a(y) - 6*r(y). Is d(-1) a multiple of 3?
False
Let p = -33 - -38. Suppose 3*v = p*s - 458, 3*v + 0*v + 276 = 3*s. Does 13 divide s?
True
Let j = 234 - 18. Suppose -5*p = y + 2*y - 326, 2*y - j = -4*p. Does 16 divide y?
True
Let c(u) = -3*u**2 - u - 5. Let j be c(3). Let r = 74 + j. Is 5 a factor of r?
False
Let u(a) = -3*a**3 - 3*a**2 + 3*a + 1. Suppose 4*i - 255 = 9*i - j, -94 = 2*i - 2*j. Let x be 148/i - 6/39. Is u(x) a multiple of 9?
False
Suppose -2*p + 3*v + 2*v + 14 = 0, 2*p - 4*v = 12. Let x be p/11 + (-53)/(-11). Suppose -x*g + 4*g = -12. Does 12 divide g?
True
Let f be 0 - (5 - 4)*-19. Let w = f - 5. Is w even?
True
Let k be (-4 + 3 + -1)*(-3 - 3). Does 4 divide 9/(-1*k/(-28))?
False
Suppose -16 = -2*v - 0*v. Let z = -8 + v. Suppose z*f - 3 = -f. Is 3 a factor of f?
True
Let p(f) = 42*f + 44. Is 16 a factor of p(10)?
True
Let h = -347 - -504. Is h a multiple of 15?
False
Let c be 3/(-15) + (-11)/(-5). Let x(m) = m + 10. Is x(c) a multiple of 2?
True
Let f(t) = -t**3 + 11*t**2 + 15*t - 11. Let g be f(10). Suppose 0*q + 236 = 3*b + 2*q, 3*b = -5*q + g. Is b a multiple of 13?
True
Let g = 22 - -289. Is g a multiple of 8?
False
Is 35 a factor of -14*(-12 + 9/2)?
True
Is 26 a factor of (-1 - -11 - 8)*26?
True
Let a(f) = -f**3 - 9*f**2 - 2*f - 4. Let x be a(-9). Suppose -4*g + x = -3*g. Is 8 a factor of g?
False
Let s = -14 - -23. Let f be 3 + (-8)/(-4) + s. Is 2 a factor of 24/(-28)*f/(-2)?
True
Does 9 divide (-4)/(-2) + (-13 - -164)?
True
Let j = -1 + 3. Suppose j*i + 2*i = 0. Suppose i*n + 72 = 2*n. Does 12 divide n?
True
Let k be 0 - (0 + (-45)/3). Suppose 6 = -3*l + k. Suppose -3*z + 86 = 2*s, -l*s = -5 + 2. Is z a multiple of 16?
False
Let n(l) = 11*l**2 - 3*l - 35. Let q be n(-5). Suppose 2*k = g + q, 6*k - 2*g = 4*k + 254. Is 4 a factor of k?
True
Suppose 942 = 8*g - 706. Does 14 divide g?
False
Let s(b) = -20*b**2 - 5*b - 2. Let z be s(-2). Is 17 a factor of (11 - z)/(0 + 1)?
False
Suppose -9*d + 5*