v(s). Does 17 divide (2 + -5)/f - -52?
True
Let g(p) = 2*p**2 + 9*p - 43. Is g(7) a multiple of 5?
False
Let z(w) = 4 - 4 - 6 - 6*w - w**2. Let s be z(-4). Let i = s + 3. Is i a multiple of 5?
True
Suppose 8*g = 1943 + 353. Is g a multiple of 7?
True
Suppose 4*x = -2*p + 7*p - 50, 4*p - 29 = x. Let o be 424*1*(2 - 1). Is 18 a factor of 4/p - o/(-12)?
True
Let v be 27/63 + (-19)/7*2. Let s(j) be the second derivative of j**4/12 + 5*j**3/6 + 8*j**2 - 6*j. Does 8 divide s(v)?
True
Suppose -6*i - 749 = -29. Let v = i + 225. Does 15 divide v?
True
Let r = -25 - -20. Let b(a) = a**3 + 7*a**2 + 5*a + 5. Let u be b(r). Let o = -9 + u. Does 21 divide o?
True
Let b = -12 + 15. Suppose 4*t = 2*k - 104, 2*k + 218 = 6*k - b*t. Does 8 divide k?
True
Let w(l) = -72*l - 78. Is w(-10) a multiple of 13?
False
Let g be (58/(-6))/((-20)/12 - -2). Let r = g + 78. Is 5 a factor of r?
False
Suppose s - 3*s - y = 160, -253 = 3*s - 5*y. Let g = 47 + s. Let w = g - -63. Is 8 a factor of w?
False
Suppose -2*o + v = -4, -5*o + 0 = -3*v - 10. Suppose -2*w - o*w - 3*z = 26, -2*z + 16 = -4*w. Let q(g) = g**3 + 6*g**2 + 2*g - 2. Does 11 divide q(w)?
False
Let s(c) = -c**3 - 2*c**2 + 21. Suppose -x = -0*x - 6*x. Is s(x) a multiple of 21?
True
Suppose 3*n = -4*u - 358 + 2464, -2627 = -5*u - n. Does 15 divide u?
True
Suppose -2*c + 6 = -2. Suppose -3*q - c + 46 = 0. Is 14 a factor of q?
True
Let i(a) = -3*a - 70. Let b(y) = 5*y + 71. Let h(p) = 4*b(p) + 3*i(p). Does 19 divide h(-5)?
True
Let a be 1/(-4) - (-213)/(-12). Let q be a/9 + (-2)/(-1). Suppose -2*y - 3*y + 125 = q. Is y a multiple of 25?
True
Let m be (2/(-8))/((-3)/(-12)). Does 9 divide 411/15 - ((-21)/(-15) + m)?
True
Let i = -103 + 100. Does 8 divide (192/(-10))/(i/10)?
True
Let k(j) = -j**2 - 14*j - 11. Let u = 18 - 31. Let m be k(u). Does 8 divide (48/(-18))/(m/(-12))?
True
Suppose -5*b + i = -29, -3*b - 2*i + 13 = -7*i. Suppose -13*t + b*t = -819. Does 17 divide t?
False
Suppose 6*b - 13*b = -1169. Does 12 divide b?
False
Is (-42564)/(-152)*4 + (-8)/76 a multiple of 98?
False
Suppose 0*d + 301 = 3*d - 5*x, 295 = 3*d - 2*x. Let t = d - 17. Is 16 a factor of t?
True
Suppose 5*o - 21 = p, -2*o = -5*p + 3*o - 25. Let a(n) = -133*n**3 - n - 1. Is 40 a factor of a(p)?
False
Let y(x) = -x - 8. Let l be y(-11). Suppose -2*b = -5*u + 12, l*u + 2*b - 3*b = 7. Suppose -4*c + 0*z = u*z - 144, -2*c = 3*z - 72. Is 17 a factor of c?
False
Let s = 58 - 0. Suppose -s = -4*r + 2*v, 3*v = -2*r + v + 44. Let w(h) = h**2 - 15*h - 18. Is 4 a factor of w(r)?
True
Let k = 15 - 9. Let w be (-2)/k - (-4)/(-6). Is ((-5)/1)/(w/7) a multiple of 13?
False
Let p = 228 + 202. Is 43 a factor of p?
True
Suppose 0 = -t - 6 + 14. Let x = t - -36. Does 22 divide x?
True
Suppose 3020 = -341*v + 345*v. Does 12 divide v?
False
Let c(g) = -12*g**2 + 7*g + 1. Let m be c(7). Let x = -295 - m. Does 45 divide x?
False
Let o = 197 - 115. Suppose 2*l + g = 234, -4*g = l - o - 21. Does 27 divide l?
False
Let l be ((-6)/2 + 3)/(-2). Suppose 0 = 2*c + 5*g + 4, l = -0*c - 4*c - g + 10. Is ((-2)/(-1))/(c/66) a multiple of 11?
True
Let o = -334 + 688. Is o a multiple of 88?
False
Is 289 + (-35)/(-14)*-2 a multiple of 13?
False
Let o be -6 - (0 + -4 + 1). Let d = o + 21. Is 6 a factor of d?
True
Does 3 divide (24/(-30))/(6/(-345))?
False
Let j(z) be the first derivative of -5*z**3/3 + 3*z**2/2 - 2*z + 3. Let k be j(1). Let u = 18 + k. Does 14 divide u?
True
Does 4 divide ((-15)/(-2))/(-5)*(-316)/6?
False
Let j = -10 + 25. Suppose 0 = 3*w - 0*w - j. Suppose -w*b = -6*b + 7. Is 6 a factor of b?
False
Suppose -2*q + 2*b = -3*b - 28, -q + 2*b + 12 = 0. Suppose -2*c = -5*u + 2*c - 4, -4*u = -q*c. Let y(d) = 2*d**2 + 5*d - 2. Does 5 divide y(u)?
True
Is 14 a factor of 1638 - (24/(-8) - (2 - 10))?
False
Suppose 0 = 2*s + s. Suppose s = 3*u - o - 12, -4*o = -5*u + 4*u - 7. Suppose v = -2*v + u*z + 284, -v - 4*z + 72 = 0. Is v a multiple of 28?
False
Suppose 3*h - 3833 + 494 = q, 4*h = 4*q + 4452. Is 69 a factor of h?
False
Let t(k) = -46*k + 1073. Is 22 a factor of t(22)?
False
Let o = 3315 + -2365. Is 5 a factor of o?
True
Let p be -5 - 7*2/2. Suppose 7*i - 96 = 3*i. Let f = i + p. Is f a multiple of 12?
True
Let d = 263 - 47. Suppose 79*n - 75*n = d. Is 18 a factor of n?
True
Suppose -2*y = 3*x + 15, -18 = 5*x + y + 7. Let t = x + 11. Suppose t*l - 8*l = -68. Is 17 a factor of l?
True
Let q = -12 - -17. Suppose 0 = -4*x + q*u + 31, 5*u = -4*x - 1 + 2. Suppose -x*m + 14 + 18 = 0. Is m a multiple of 2?
True
Suppose 5*g = -5*a + 390, -4*a + 4*g + 272 = -0*g. Is a a multiple of 7?
False
Let i(u) = -u**3 + 8*u**2 + 2*u - 5. Let v be i(8). Suppose -91 = -2*r - f, -2*f + 219 = 5*r - v. Is r a multiple of 16?
True
Suppose 0 = 5*b + 5*t - 1480, -5*b - 2*t + 1480 = -0*t. Suppose -g = k - 98, b = 3*k + g + g. Is 19 a factor of k?
False
Let a(c) = c**3 + c**2 - c + 1. Let m(f) = -5*f**3 + f**2 + 3*f - 18. Let w(o) = -6*a(o) - m(o). Suppose 4*l = -20, 2*l + 7 = s - l. Is 13 a factor of w(s)?
True
Is 17 a factor of 3/12 + (-4710)/(-8)?
False
Suppose -4*p + 5*q + 251 = -p, -3*p + 4*q + 247 = 0. Is 1 + (-552)/(-7) - (-11)/p a multiple of 16?
True
Suppose 4*v + 5*s - 137 = -8, -4*s = -20. Is 7 a factor of v?
False
Suppose -2*d - 262 = -4*d + 4*f, d - 135 = 3*f. Let a = -28 + d. Is 19 a factor of a?
True
Let s(b) = b**3 + 7*b**2 + 8*b + 6. Let x be s(-6). Let h(a) = -a**3 - 6*a**2 - a - 7. Let t be h(x). Let w = t - -4. Does 3 divide w?
True
Let k(c) = -c**2 - 18*c + 18. Let x(a) = a**2 + 19*a - 19. Let q(y) = -7*k(y) - 6*x(y). Let v be q(-11). Let u = v - -75. Is u a multiple of 9?
False
Let a(j) = 17*j**2 - 1 + 38*j**2 - 13*j**2. Suppose -2 = -3*g + 2*l - 7, 10 = 2*g + 2*l. Is a(g) a multiple of 11?
False
Let b = 4114 + -2818. Is 108 a factor of b?
True
Let q(p) = p**3 + 6*p**2 - 2*p - 8. Let w be q(-6). Suppose -x + 0*a = -a - 4, 2*a + 16 = w*x. Suppose 2*t - 4*k = x*t - 32, 4*t - k - 46 = 0. Does 6 divide t?
True
Let d(x) = 3*x**2 + 3*x + 16. Let t(j) = -2*j + 3. Let r be t(3). Is d(r) a multiple of 13?
False
Suppose -50 - 22 = -6*q. Let d(o) = -4*o**2 + 17*o - 20. Let z(a) = 11*a**2 - 51*a + 59. Let p(r) = -8*d(r) - 3*z(r). Does 27 divide p(q)?
False
Suppose 4*b + 2*l - 2542 = -l, 3*b - 1912 = -5*l. Is b a multiple of 76?
False
Suppose 3*z + 0*z = 0. Suppose -4*j - 6*c + 2*c + 12 = z, j + 21 = 5*c. Is 17 a factor of 1 + j/(1/(-36))?
False
Let i be ((-1)/(-3))/((-1)/(-3)). Let n(t) = 10*t - 304. Let v be n(29). Is 16 a factor of 2 - v/i*1?
True
Let i = 128 + 1258. Is 18 a factor of i?
True
Suppose -296*y + 293*y = -9. Suppose -y*g + 2430 = 6*g. Does 38 divide g?
False
Let f(y) = -20*y**2 - y + 5. Let d be f(2). Suppose 0 = 4*i + 3 + 153. Let n = i - d. Is n a multiple of 8?
False
Suppose -5*c + 10 = -0*c. Suppose c*p - 101 - 19 = 0. Is p a multiple of 10?
True
Suppose -4*x + 1401 = 3*y, -433 = 2*x - 3*y - 1120. Is 12 a factor of x?
True
Let n be (-77)/3 + (-4)/(-6). Let g = n - -27. Is g even?
True
Let w be (8/40)/(1/5). Let m(g) = -4 + g - w + 28*g**2 + 5. Does 17 divide m(-1)?
False
Suppose 0 = 29*j - 31*j - 538. Let w = -187 - j. Does 35 divide w?
False
Suppose 6*m - 20 = 2*m. Suppose -m*y - 2*y = -70. Is y a multiple of 5?
True
Let p(s) = 2*s - 9. Let x(g) = -22*g + 3. Let n(m) = 3*m. Let i(b) = -21*n(b) - 3*x(b). Let o(y) = 3*i(y) - 4*p(y). Is 3 a factor of o(-6)?
True
Let k(l) = l**2 - 14*l + 16. Let r be k(11). Let u = 17 + r. Is 14 a factor of 25*((-2)/(-2) - u)?
False
Suppose 2*t - 4 = l + 4, 10 = -t + 4*l. Suppose 6 = y + h - 3*h, 4*h = 5*y - 42. Suppose -t*d = -y*d + 172. Does 22 divide d?
False
Suppose 3*k + f - 5 = 0, -2*k + 6*k + 5*f - 25 = 0. Is (k + -1)*4*-21 a multiple of 12?
True
Suppose 2*g + 4*c + 7 = 3, -23 = 4*g + 3*c. Let v = -16 - g. Let p = 9 - v. Does 17 divide p?
True
Let p(x) = -x**2 + 16*x + 20. Suppose 0 = 3*r - 4*h - 55 + 19, -5*h - 24 = -2*r. Is 17 a factor of p(r)?
True
Let o(k) = k**3 + 4*k**2 + 4. Let v be o(-4). Let w(p) = -5*p**3 - 2*p + v*p**3 + 5*p**2 - 7 + 8*p**2 - 5*p**2. Does 14 divide w(7)?
True
Let m = 28 - 27. Does 32 divide 6/(-12)*-6*m - -189?
True
Is 3 a factor of 14/(-21)*-3 + 4?
True
Let z(y) = 6*y - 8. Suppose 0 = -2*n + 20 + 6. Is z(n) a multiple of 16?
False
Let a(w) = -31*w**3 + 13*w**2 + 11*w + 11. Let m(z) = -16*z**3 + 7*z**2