et w(x) = 57*x**2 + 4*x. Is w(3) a multiple of 22?
False
Suppose 9*i = 5*i - 20. Let y(b) = -18*b - 22. Does 6 divide y(i)?
False
Let c be (-1)/(-2) - 48/(-32). Suppose -31 - 37 = -c*v. Does 6 divide v?
False
Let o(l) = 19*l**2 + l - 1. Let t = 2 - 0. Suppose -4*u + 9*u = -b + 4, t*u - 2*b - 4 = 0. Is o(u) a multiple of 18?
False
Let x = 13 + -7. Suppose -x*z = -5*z + 306. Is 7 a factor of 2/(-8) - z/8?
False
Suppose -3*h + 11*h - 24 = 0. Suppose h*s + 5*w = 11, -5*s + 2*w + 0*w - 23 = 0. Is 14 a factor of -20*(s - (-3)/(-6))?
True
Let q = 2839 + -1922. Is q a multiple of 43?
False
Let n(x) = 21*x**3 - 9*x**2 + 7*x - 7. Is 2 a factor of n(3)?
True
Suppose -2*h - 5*p = -3*h + 197, -3*p = 3*h - 519. Suppose 3*s + h = 582. Suppose -4*g = -m + 20, -5*g = -6*m + 2*m + s. Does 20 divide m?
True
Suppose -b - p = 8, 4*b - 3*p + 30 = b. Let r(f) = -7*f - 1. Let c be r(-4). Let d = b + c. Is 12 a factor of d?
False
Let b = 80 - 53. Let r be (98/7)/((-72)/20 - -4). Let n = r - b. Is n a multiple of 5?
False
Let d = -26 - -28. Suppose 2*r = -2*r - d*t + 28, 3*r = -3*t + 24. Is r a multiple of 6?
True
Let q(f) = 5*f**2 - 15*f + 1. Let p(g) = g**2 + 1. Let r(t) = 4*p(t) - q(t). Is r(14) a multiple of 14?
False
Suppose 4 = m + 4*i - 16, -i = 3. Is 17 a factor of (-17)/(-2*((-92)/m + 3))?
True
Let s(t) = -4*t - 35. Let w be s(-11). Let r = 95 - 185. Does 4 divide (3/w)/((-2)/r)?
False
Let m(p) = p**2 + 4*p - 20. Let y be m(-7). Is (-7 + y)*(-50)/20 a multiple of 5?
True
Suppose -2*w - w = 9, 24 = 3*d - w. Suppose -d*k + 624 - 36 = 0. Is 12 a factor of k?
True
Let u = 3936 - 2019. Does 16 divide u?
False
Suppose 4*a - z = 18, -5*a = -2*z + 5 - 26. Let t(h) = 2 + 11*h + 11*h + 13. Is 32 a factor of t(a)?
False
Suppose 0*r + 4 = -4*t + 3*r, 0 = -3*t - 2*r - 3. Let w be (1/t)/((-7)/(-14)). Does 2 divide (w + -1 - -1)*-2?
True
Does 55 divide -142*(-7)/(-14)*-1?
False
Let r(v) = -v**3 + 8*v**2 - v + 7. Let f be r(8). Is ((-148)/8)/(f/2) a multiple of 14?
False
Let m(f) = f - 6. Let o be m(-7). Let z be (-1 - -1)*o/(-26). Suppose z = -5*t + 3 + 12. Is t even?
False
Suppose 157*k - 161*k = -4376. Is k a multiple of 104?
False
Let v = 9 - -24. Let m = v - -121. Is m a multiple of 7?
True
Suppose 104772 = 35*w - 68688. Is w a multiple of 14?
True
Suppose -3*p = -4*z + 3*z + 21, z + 21 = -3*p. Let q = 177 + p. Is 34 a factor of q?
True
Let b = 245 - 97. Suppose -5*o + b = -82. Does 15 divide o?
False
Suppose k - 171 = -u - 0*u, -u + 171 = -2*k. Let q = -77 + u. Is q a multiple of 19?
False
Let l = 252 - 182. Does 7 divide l?
True
Let x(b) = 47*b**2 + 12*b + 1. Let j(t) = 12*t**2 + 3*t. Let f(m) = 9*j(m) - 2*x(m). Suppose 0*q - 5*i = 2*q + 6, 0 = 5*i + 10. Does 15 divide f(q)?
True
Let t(h) = -42*h + 517. Is t(11) a multiple of 4?
False
Suppose 5*p + p = 48. Is 4/p*-6 - 135/(-1) a multiple of 33?
True
Let c(x) = x + 41. Suppose -5*u - 3 - 52 = 0. Does 30 divide c(u)?
True
Suppose 4*k - 61 - 159 = -r, -214 = -r - 2*k. Does 13 divide r?
True
Let f(b) = b**3 - 25*b**2 + 2*b - 28. Let p(q) = 2*q**3 - 49*q**2 + 5*q - 57. Let h(k) = -5*f(k) + 3*p(k). Does 29 divide h(22)?
False
Let a = 37 + -48. Is 32 - a - (-1 - 1) a multiple of 3?
True
Let w be ((-507)/(-5) - 1) + 198/(-495). Is w - (1/1 + -1)/2 a multiple of 25?
True
Suppose -3*b - 3*t + 159 = t, t = 5*b - 288. Let x = b - -6. Is 21 a factor of x?
True
Suppose 3*x = -2*p + 7527, 5358 = -3*p - 5*x + 16648. Is p a multiple of 15?
True
Let l(k) = 8*k**3 - 47*k**2 + 8*k - 41. Let a(g) = -3*g**3 + 16*g**2 - 3*g + 14. Let b(m) = 11*a(m) + 4*l(m). Is b(-12) even?
True
Suppose 12*w + 2839 = 13447. Does 52 divide w?
True
Let i(o) = -o**3 + 2*o. Let c(j) = -j**2 + 5*j + 4. Let n(g) = -2*g**2 + 11*g + 9. Let k(x) = -7*c(x) + 3*n(x). Let w(f) = -3*i(f) - 2*k(f). Does 7 divide w(2)?
True
Does 70 divide ((8/(-5))/(-4) - 0)*875?
True
Let h = -2158 - -3890. Suppose -h = -5*v - 542. Does 17 divide v?
True
Suppose 0 = 4*y + 5*x - 823, 3*y = -4*x + 374 + 242. Is y a multiple of 105?
False
Suppose -4*r = -829 - 331. Does 10 divide r?
True
Let z = 11 + -7. Suppose 21 = o - z*n, -n - 1 - 2 = 0. Let k = 25 + o. Is 34 a factor of k?
True
Suppose 0*t - 2*t = -4568. Is t a multiple of 35?
False
Suppose 0 = -7*l + 3*l. Suppose n + f + 18 = 6*n, l = n + 2*f + 3. Suppose -113 - 196 = -n*g. Is 37 a factor of g?
False
Suppose -5*h = 5*z, 4*z - z = 3*h - 18. Let a(y) = y**3 + y**2 - 4*y + 2. Is 5 a factor of a(h)?
False
Suppose -12 + 72 = 6*v. Suppose -314 = -2*w - v. Is 38 a factor of w?
True
Let z = -101 - -71. Does 3 divide 12*(z/72 - 2/(-3))?
True
Let u(j) = j**3 + 9*j**2 - j + 3. Let l be u(-7). Suppose -l = -5*v + 3*v + x, -3*v = 5*x - 175. Let t = -10 + v. Does 15 divide t?
True
Is 2 a factor of -2 + 21 - 8/(-6)*-3?
False
Suppose -13*j + 1043 = -777. Is 14 a factor of j?
True
Suppose -k - k - 20 = 0. Let d be 4/(8/(-1))*k. Let y(t) = t**2 - t + 7. Is y(d) a multiple of 15?
False
Let b(n) = 8*n - 19. Let p = -18 - -22. Suppose 5*u - 32 = -t, -4*u + 1 = -p*t - 15. Does 15 divide b(u)?
False
Let j(x) = x**3 - 4*x**2 + 6*x + 1. Suppose 2*b - q - 10 = 0, 4*q = -0*q. Let s be j(b). Suppose -3*o = o - s. Is 4 a factor of o?
False
Let l = -364 + 202. Let q = 228 + l. Is q a multiple of 33?
True
Suppose 148*v - 161*v + 12909 = 0. Does 129 divide v?
False
Let a = -69 + 73. Suppose -p - 2*p = -18. Suppose p*b - a*b = 6, -j = 2*b - 14. Is j a multiple of 8?
True
Let p(i) = i**3 + i**2 - 2*i. Let z be p(-2). Suppose z = -6*v - 46 + 334. Is 8 a factor of v?
True
Let n(k) = -383*k + 35. Is n(-1) a multiple of 19?
True
Suppose 0 = 4*m + 3*r - 18562 + 1125, 2*m - 8725 = 5*r. Is m a multiple of 86?
False
Does 7 divide (0 - 2/5) + 63070/425?
False
Let b = -16 + 20. Suppose -b*t = -t - 486. Is 18 a factor of t?
True
Suppose -5*o = 20, -3*o + 200 = 2*q - 0*o. Let g = -56 + q. Does 12 divide g?
False
Let m = -57 - -62. Let h(x) = 11*x**2 - 7*x + 1. Does 46 divide h(m)?
False
Let i = -442 + 567. Is i a multiple of 10?
False
Let f(z) = 12*z**2 + 5*z + 8. Does 9 divide f(-4)?
True
Suppose 13 = z - 4*a, -2*a + 4*a = 4*z + 18. Does 3 divide (5 - 345/35)*z?
False
Suppose s + 10 = 2*q, 3*s - 2*s - 4*q = -8. Let j be (32/s - -4)*6. Let c = 5 + j. Does 5 divide c?
False
Suppose 6*j - 3*j = -4*d + 1548, 1150 = 3*d + 5*j. Is d a multiple of 6?
True
Let y(p) = p**3 + 32*p**2 + 31*p + 137. Is y(-31) a multiple of 8?
False
Is (-16)/(-28) + (2 - 5438/(-14)) a multiple of 17?
True
Let n = 721 + -37. Is n a multiple of 4?
True
Let c(l) = l**2 - 7*l + 5. Let r be c(4). Let q(v) = v**2 + 8*v - 8. Let b be q(r). Let z(u) = -u**2 - 23*u - 5. Is z(b) a multiple of 41?
False
Let k be 2*(-3)/(9/(-6)). Let r(y) = 2*y**3 - 5*y**2 - y + 4. Is 24 a factor of r(k)?
True
Suppose -15*q + 5*n = -16*q + 101, -379 = -4*q + 5*n. Is q a multiple of 6?
True
Suppose -2*y = -k + 7 + 76, 2*y = 5*k - 383. Is k a multiple of 28?
False
Suppose 2716 = 2*j + 4*o, 20*o - 15*o = 2*j - 2761. Is j a multiple of 36?
True
Let s = 0 + 3. Suppose -m - 4*d + 6 = -3*m, -21 = -s*m - 4*d. Suppose -151 = -m*p - 34. Is 12 a factor of p?
False
Suppose -5*l + 0*a + 2965 = 2*a, 2*a + 1172 = 2*l. Suppose -5*q + l + 24 = 0. Is q a multiple of 12?
False
Is 7 + 2/8 + (-2071)/(-4) a multiple of 15?
True
Let u(i) = 27*i + 14. Let o(b) = -80*b - 41. Let m(j) = 6*o(j) + 17*u(j). Does 3 divide m(-1)?
False
Let i(d) = -d**2 - 25*d - 28. Is 38 a factor of i(-22)?
True
Suppose 0*j = -5*j. Suppose j*k + 4*k - 5*d = 10, 6 = -5*k - 3*d. Suppose -u - 2*z = -k*u - 105, -3*u + 3*z = -324. Does 28 divide u?
False
Let k = 39 - 37. Suppose 21 = k*a - 33. Does 27 divide a?
True
Let c(o) = -3*o**2 - 21*o + 24. Let v(x) = x**2 + 7*x - 8. Let j(m) = -3*c(m) - 8*v(m). Let t be j(-8). Suppose 0 = -t*h - 5*h + 175. Is 19 a factor of h?
False
Let c be (-3 - 7/(-2))*10. Suppose -8*v = -c*v. Suppose v*p = 4*h - p - 116, -3*h + 5*p = -70. Does 6 divide h?
True
Suppose 10*z - 2*z = 10*z. Suppose 28*x - 11*x - 2737 = z. Does 15 divide x?
False
Suppose 5*y = p + p - 18, p = -4*y + 9. Let v = -7 + p. Suppose 2*u = 4*w - 120, w + 2*u = v*w - 36. Does 5 divide w?
False
Let r = 20 + 33. Let t = -36 + r. Is 17 a factor of t?
True
Suppose -5*w - 20 = -3*o, o + 8 = -o - 2*w. Suppose 2*j - 275 = 2*y + 3*y, o = 2*y + 6. Is 46 a factor of j?
False
Suppose 4*g - 3*a = -a