 -6. Let b = -17 + 29. Let i = b - s. Is i a multiple of 3?
True
Let m be 3/(-12)*(-1 + 1). Suppose -5*s + m*q = 5*q - 175, s = -2*q + 33. Is s a multiple of 24?
False
Suppose -5*d + 57 = -3. Is d a multiple of 8?
False
Suppose d - 5*h - 39 = 2*d, -d = -h + 15. Let w = d + 54. Let v = w + -23. Does 12 divide v?
True
Let o(r) = -3*r - 16. Let j be o(-14). Suppose -4*b + 2 = -u, 2*u = b - 4*b - j. Let f(h) = -h**3 - 10*h**2 - 5*h - 2. Does 16 divide f(u)?
True
Let j(m) be the second derivative of -1/3*m**3 - 6*m - 17/2*m**2 + 0. Does 4 divide j(-13)?
False
Suppose 2*l - 3*d + 16 = d, 4*l = -3*d + 12. Suppose 9*r - 4*r = l. Suppose 78 = -r*b + 2*b. Does 16 divide b?
False
Let z(a) = -2 - 2*a**3 + 7 + 4*a**3 - 4*a - 5*a**2. Is 22 a factor of z(5)?
True
Let g(f) = f**2 - 10*f - 8. Let j(s) = 12*s**2 - s - 1. Let o be j(-1). Let v be g(o). Suppose -v = -2*r - 3*i + 17, -i - 31 = -4*r. Is r a multiple of 2?
False
Let f(h) be the third derivative of h**6/120 + 7*h**5/60 - 13*h**4/12 - h**3/6 + 21*h**2. Is 7 a factor of f(-9)?
False
Let p(l) be the first derivative of 13*l**2 + l + 3. Let n be 2*(-1)/(6/(-9)). Is p(n) a multiple of 30?
False
Suppose -6 + 21 = 3*t. Suppose -147 = -2*c - f, t*f - 11 = -2*c + 148. Is 6 a factor of c?
True
Suppose -51581 + 9256 = -25*u. Is u a multiple of 120?
False
Let t = 75 - -10. Let a = t + -1. Is 14 a factor of a?
True
Suppose 2158 = 2*s + 2*r, -4*s + 15*r - 18*r = -4317. Is s a multiple of 30?
True
Let x = -1687 - -2627. Is x a multiple of 16?
False
Let l(y) = -y**3 - 13*y**2 + 14*y + 4. Let k be l(-14). Suppose -2*h + 30 = -3*t - 102, k*t = -h + 44. Does 12 divide h?
True
Suppose 4*f - 5197 = v - 0*v, -4*f + 5*v = -5185. Does 13 divide f?
True
Let k(w) = 328*w**2. Let z be k(-1). Let f = z + -130. Suppose 8*x - 5*x + 4*o = f, -o = x - 66. Is x a multiple of 23?
False
Suppose -4*g - p + 817 = 0, -2*p = -g - 4*p + 199. Let t = 333 - g. Does 33 divide t?
False
Let h(y) = 18*y - 16. Let w be h(-9). Let q = w + 343. Is 35 a factor of q?
False
Let b = -16 + 16. Suppose -2*l + 2*v + 394 = b, 5*l + 0*v = 3*v + 987. Is l a multiple of 37?
False
Let v(a) = 4*a**2 - 5*a + 3. Let p be v(2). Let l(y) = -5*y + y**2 + 5*y + y + 5*y + p. Does 16 divide l(-7)?
True
Suppose 7*m = 2*m. Suppose 3*p - 4*r - 14 = m, 4*p - 5*r - 33 = 8*p. Is (-24)/(-16) - 63/p a multiple of 12?
False
Suppose 39*p - 31*p - 2432 = 0. Does 10 divide p?
False
Let a = 19 + 21. Does 18 divide 4/a*-6 + 676/10?
False
Let z = -83 + 83. Suppose 7*m - 170 - 194 = z. Does 4 divide m?
True
Suppose 0 = -n + 5 + 10. Let u be ((-12)/n)/((-4)/20). Suppose -y = u*y + 4*k - 56, -2*y - 4*k = -32. Is y a multiple of 8?
True
Let y(c) = c**3 - 11*c**2 - 11*c - 13. Let u be y(12). Let j = 1 - u. Suppose -3*k + 55 = j*n, 5*n + 4*k = -51 + 199. Does 16 divide n?
True
Suppose r + 15 = 9. Let w(m) = -m**3 - 9*m**2 - 3*m + 5. Let h(b) = -3*b**3 - 28*b**2 - 8*b + 16. Let l(y) = 2*h(y) - 7*w(y). Does 2 divide l(r)?
False
Let j = 27 + 23. Suppose -2*p - j = -3*s - 2*s, -4*s + 3*p = -33. Is 4 a factor of 24*(s/(-3))/(-4)?
True
Let b(i) = i**2 - 4. Let w = 0 - -3. Does 5 divide b(w)?
True
Suppose 23*f = 20*f + 558. Is 7 a factor of f?
False
Let r(h) be the second derivative of 7*h**3/2 + 2*h**2 - 5*h. Is r(4) a multiple of 23?
False
Let s = -6 - 3. Let i be s*1*3/(-9). Suppose -4*n - i*y - 182 = -587, 3*n - 320 = y. Does 19 divide n?
False
Let x(p) = p**3 + 4*p**2 - 13*p + 1. Let d be x(-6). Does 16 divide (35 - -1)/(-7*d/(-49))?
False
Let s be ((-9)/15)/((-2)/10). Let r(p) = -p**3 - 14*p**2 + 13*p - 6. Let x be r(-15). Suppose u = s + 1, u + x = d. Does 14 divide d?
True
Suppose -984 = -3*c + 2*x, -c + 2*x + 129 + 203 = 0. Is 4 a factor of c?
False
Suppose 9*v + 762 = -849. Let f = -103 - v. Is 14 a factor of f?
False
Let s be ((-3)/(-3))/(1 - 54/57). Let n(k) = k + 11. Is n(s) a multiple of 10?
True
Suppose -4*d = -5*d - 1. Let v(r) = -4*r**3 - 6*r**2 - 4*r - 3. Let z(o) = -o**3 + o. Let i(w) = d*v(w) + 5*z(w). Does 13 divide i(7)?
False
Is 28 a factor of (-50)/(3 - -7) - -211?
False
Let g(b) = 2*b**3 - 10*b**2 - 19*b + 11. Is 33 a factor of g(9)?
False
Let p(a) = 2*a**2 - 6*a + 7. Suppose 6*r = 12*r - 42. Does 9 divide p(r)?
True
Does 34 divide 21288/156 - 18/39?
True
Let o(k) = k**3 - 9*k**2 + k + 14. Let g(h) = -6*h - 1. Let r(c) = 7*c + 2. Let u(w) = -5*g(w) - 4*r(w). Let n be u(6). Is 4 a factor of o(n)?
False
Suppose 0 = 3*h - 15 - 12. Suppose h*z - 6*z = 54. Is z a multiple of 18?
True
Let s(d) = d**3 - 7*d**2 + 2*d. Let m(q) = q**3 - 7*q**2 + 3*q. Let a(i) = 3*m(i) - 4*s(i). Let v be a(7). Suppose -9*u + v*u = -64. Is 16 a factor of u?
True
Suppose -3*i - 3*g + 3 = 0, 3*i + 2*g + 3*g + 1 = 0. Suppose 53 = 2*b + 7. Suppose -b = -i*u + 4. Is 9 a factor of u?
True
Let f(s) = s**2 + 19*s - 7. Suppose 40 = t - 3*t. Is f(t) a multiple of 4?
False
Suppose 0 = -2*m + 4*m. Let z(g) = 0 + 4*g + m*g**2 + 3 + 3*g**2 - 2*g**2. Is 8 a factor of z(-5)?
True
Suppose -2*u - s + 818 + 100 = 0, 4*u = 2*s + 1820. Is u a multiple of 33?
False
Let m = -127 + 137. Is 60 a factor of (-6992)/(-95) - 6/m?
False
Let p = -347 - -768. Does 8 divide p?
False
Let l(n) = n**3 - 10*n**2 + 18*n - 1. Let t be l(8). Suppose 250 = -10*x + t*x. Does 25 divide x?
True
Suppose -1175 = -2*r + 385. Does 20 divide r?
True
Is (720/6)/(-15)*-1*149 a multiple of 91?
False
Let w be (-2)/(-2) + 5 + 63/1. Suppose -3*p = 5*g - w, 28 - 6 = 2*g + 4*p. Is g a multiple of 3?
True
Suppose 5*u = -v + 18, -2 - 1 = -3*u + 2*v. Let g = 56 - 52. Is 11 a factor of 94/8 - u/g?
True
Let y(q) = -17*q**3 + 2*q**2 + q. Let l be y(-1). Let v = 18 - l. Let k(b) = b**2 + b + 8. Is k(v) a multiple of 5?
False
Suppose 8*g - 5*g = 1743. Suppose 0 = 7*q - 0*q - g. Does 27 divide q?
False
Suppose 3*d = u - 5*u + 2102, 2*d - 1409 = 5*u. Does 27 divide d?
True
Let t = 1391 - 893. Is 24 a factor of t?
False
Let h = -295 - -530. Does 5 divide h?
True
Suppose 3*i + 64 = 205. Let z = i + -14. Is z a multiple of 11?
True
Let k = 38 - 198. Is 10 a factor of (2/4)/((-4)/k)?
True
Suppose 3*z + 70 = 5*l, -3*l - 3*z + 22 + 20 = 0. Let i = l + 8. Does 11 divide i?
True
Suppose 0 = 3*o - 2*o + 4. Is 2 a factor of (4/(((-14)/o)/7))/2?
True
Suppose -14 = -2*o - 2*j, 0*o - 5*j + 15 = o. Suppose o*b = -3*n + 3 + 7, -3*n = -3*b + 6. Suppose -b*x = -6*x + 296. Does 13 divide x?
False
Suppose 27*b = 2*b + 34475. Does 62 divide b?
False
Let c(b) = 4*b + 48. Suppose 2*r + 5*a = 36, r = -0*r - 5*a + 13. Does 9 divide c(r)?
False
Suppose 1 = -b - 2*w - 2, 2*b - 18 = 4*w. Let f(h) = -3*h + 12*h - 5 - 4*h. Does 5 divide f(b)?
True
Let o be (3 + 0 - -696) + -2. Suppose -5*y + o = -328. Is y a multiple of 41?
True
Suppose -6 - 54 = -4*g. Let b = -9 + g. Suppose 0 = 5*z - 51 + b. Is z even?
False
Let p = -32 + 278. Let a = 358 - p. Is a a multiple of 32?
False
Let z = 179 - -3321. Is z a multiple of 70?
True
Let d(l) = l**2 - l - 11. Let o be d(0). Let a(i) = 2*i**2 - 15*i - 4. Let h be a(o). Suppose 4*r + 51 = h. Is 35 a factor of r?
False
Suppose -62 = 3*k - 512. Is k a multiple of 50?
True
Let d be (26/4)/((-2)/(-56)). Let j = 121 - d. Let t = 113 + j. Is t a multiple of 13?
True
Suppose 0 = 16*l - 7*l + 36. Let x(d) = 2*d**2 + 7*d + 14. Does 3 divide x(l)?
True
Is 18/(2/(-13) - 1008/(-4186)) a multiple of 13?
False
Let t(a) = -a**2 - a + 1. Let j(b) = -18*b**2 - 15*b + 9. Let k(p) = -j(p) + 15*t(p). Is k(6) a multiple of 32?
False
Let x = 12 + -10. Suppose 3*a + 13 = x*u - 32, u - 15 = -a. Does 18 divide u?
True
Suppose -o + 10 = o + 4*g, g + 2 = 0. Suppose w - 85 = 4*y, o*y - w + 105 = 4*y. Let k = -11 - y. Is 3 a factor of k?
True
Let m(t) = -5 - 16*t - 4*t**2 - 2*t**3 + 3*t**3 + 10*t. Let l be m(6). Suppose -3*k = 2*q - 98, -3*k = -q - 0*k + l. Is q a multiple of 18?
False
Let o be 18/5 + 2/5. Suppose 0 = o*k + 4*s + 20, 0 = 5*k - s - 6 + 37. Let l = k + 13. Is l a multiple of 2?
False
Let a(h) = -h**3 + 27*h**2 - 18*h + 50. Let o be a(24). Suppose 15*t - 139 = o. Is 22 a factor of t?
False
Let n be 28/7 - (-117 + 2). Let u = -83 + n. Is u a multiple of 12?
True
Suppose -3*s = -5*u + 5040, -4*u + 3*s - 5*s = -4032. Is 36 a factor of u?
True
Let j = -65 + 96. Is j a multiple of 4?
False
Let u(h) = -h + 9. Let g be u(-12). Let x = g + -7. Let t = x + 19. Is 11 a factor 