e b(m). Let f = j - 2. Is f a multiple of 10?
True
Suppose 0 = 31*v - 42*v + 15631. Is 12 a factor of v?
False
Suppose 2*v - 2*u - 70 = 0, 0 = -4*v - 10*u + 5*u + 122. Let o be 6/(-8) - v/4. Let g = 13 - o. Is 8 a factor of g?
False
Let l = 21 - 43. Let z = 22 + l. Suppose z = a + u - 8, -u - u = 4*a - 40. Does 3 divide a?
True
Suppose 0 = -25*h + 7898 + 1502. Does 6 divide h?
False
Suppose -5*k = 2*l - 242 + 10, 3*l - 348 = -k. Is 21 a factor of l?
False
Let i = 146 + 1973. Does 25 divide i?
False
Suppose 15*s - 12*s - 6 = 0, 2898 = 5*i - s. Is i a multiple of 18?
False
Suppose -2*h - 3*h - 2096 = n, 3*h + 1272 = 3*n. Does 8 divide (-2)/4 - h/8?
False
Suppose c = -c - 2*a + 32, 83 = 5*c + 2*a. Suppose c*v - 19*v + 188 = 0. Does 16 divide v?
False
Let w(t) = -3. Let g(a) = 4. Let l(r) = 4*g(r) + 5*w(r). Let v(j) = j + 7. Let k(b) = 6*l(b) - v(b). Is k(-6) a multiple of 2?
False
Is (-112365)/(-66) - 3/(-2) a multiple of 12?
True
Suppose -3*c - 4 = -5*c. Suppose -4*r + 72 = 5*j, -3*r = c*r - 2*j - 123. Is 5 a factor of r?
False
Suppose -30*p + 28*p = -t - 933, 477 = p - 4*t. Is 12 a factor of p?
False
Let i(z) be the third derivative of 7*z**6/120 + z**5/20 - z**4/8 - 2*z**3/3 + 8*z**2. Does 24 divide i(3)?
False
Is (-11)/((-3)/(0 - 3))*-15 a multiple of 43?
False
Let d(v) = v**3 + 9*v**2 + 6*v + 12. Let u(m) = 6*m**2 + 7*m - 4*m - 3*m**2 + 0*m**3 + m**3 + 1. Let z be u(-3). Is 7 a factor of d(z)?
True
Let f(y) = y + 17. Let t(k) = -2*k**2 - 17*k + 2. Let a be t(-8). Does 4 divide f(a)?
False
Let q = 1506 + -337. Does 5 divide q?
False
Suppose -2*f - c + 31 = 4, 3*c = 3*f - 54. Is 4 a factor of -8*(f/9)/(2/(-3))?
True
Suppose 3*x + 4065 = 5*x - 3*l, 5*x - 4*l - 10145 = 0. Does 45 divide x?
True
Let y(j) = 3*j**2 - 9*j**3 - j - 2 - 2 - 3*j**2 + 2*j**2. Does 39 divide y(-2)?
True
Is 15 a factor of 320/7 - (-106)/371?
False
Let k(h) = -h. Let w be k(0). Suppose c + 12 = 3*c + 4*g, w = -c + 4*g. Suppose 0 = -c*i + 3*f - 7*f + 56, 3 = f. Is i a multiple of 2?
False
Suppose 2*r - q + 8 = -3*q, 4*q = 5*r - 7. Let y(h) = 60*h**2 + h + 2. Is 11 a factor of y(r)?
False
Let p be (-5)/25 - (-78)/(-10). Is 6 a factor of (0 + -2)*(-24 + (-4 - p))?
False
Let b(n) = -n + 23. Let r be b(21). Suppose 5*k + o - 643 = 0, 85 = r*k + 2*o - 177. Does 13 divide k?
False
Suppose 2*d = -132 + 16. Let t = d + 93. Is t a multiple of 15?
False
Let c = 192 - -1208. Is c a multiple of 8?
True
Let b(f) = 5*f**2 + 15*f - 3*f**2 - 18 + 8. Does 8 divide b(-10)?
True
Let n(m) be the first derivative of 11*m**2/2 - 6*m - 28. Does 12 divide n(8)?
False
Let f(y) be the second derivative of 5*y**4/12 - 2*y**3/3 - y**2 + 18*y. Does 9 divide f(-4)?
False
Let f(o) = -2*o**3 - 33*o**2 - 14*o - 35. Let y(c) = 3*c**3 + 49*c**2 + 21*c + 52. Let w(l) = 7*f(l) + 5*y(l). Is 14 a factor of w(-13)?
False
Let w = 93 - 91. Suppose 0 = -l - w*m + 16, -5*m = -l - 3*m. Is l a multiple of 8?
True
Suppose 4*v = -v + 305. Suppose v = -4*y - 19. Let w = -9 - y. Is w a multiple of 3?
False
Suppose -2*u + x + 6151 = 0, -9209 = -3*u + 328*x - 323*x. Does 19 divide u?
True
Is (92 - -1) + (-14)/((-140)/(-50)) a multiple of 8?
True
Let q be (8/(-5))/((-8)/40). Suppose 3*k + 99 = 3*j, -2*k = -0*k + q. Does 4 divide j?
False
Let z be -1 - (25/(-5))/5. Suppose 0 = -5*a + 2*k + 572, -2*a - 4*k - 103 + 327 = z. Let q = a - 75. Is 6 a factor of q?
False
Let m be (-8)/44 + (-4)/(-22). Let d = m - 6. Let a(o) = o**3 + 7*o**2 + 2*o - 5. Is a(d) a multiple of 5?
False
Let z(d) = -17*d + 11. Let a be z(3). Does 54 divide -116*((-18)/(-30) + 134/a)?
False
Suppose 34*z = 20230 + 80138. Is z a multiple of 9?
True
Let c = -71 - -74. Suppose 0 = c*l - p - 484, 2*l - 642 = -2*l + 2*p. Does 27 divide l?
False
Suppose 4*g = -g + 25. Let o(t) = t**3 - 4*t**2 - 4*t - 3. Let z be o(g). Suppose 2*n - 2*l - 2 = 0, -z*l + 6*l = -3*n + 31. Is n a multiple of 5?
True
Let g(c) = -c**3 + 9*c**2 - 11*c + 34. Let p be g(8). Let h = 86 - p. Does 11 divide h?
False
Let g be -2 + (-3)/((-6)/262). Let l = -2 - -6. Suppose 353 = l*a + g. Is a a multiple of 11?
False
Suppose 0 = v + 1, -4*b - 5*v + 1061 + 618 = 0. Does 13 divide b?
False
Let b = -143 - -121. Is 7 + 237/(-33) + (-2754)/b a multiple of 7?
False
Let x(s) = -s**3 - 31*s**2 + 28*s + 72. Is 10 a factor of x(-32)?
True
Suppose -131 = -5*q + 29. Let s(k) = -k - 9. Let i be s(-11). Suppose 4*w - q = i*w. Does 8 divide w?
True
Let u = -36 - -38. Let l = u + 15. Is l a multiple of 17?
True
Let i = -20 + 22. Let p(x) = -4 + 0*x**2 - 1 - 2 + x**i. Is 22 a factor of p(-7)?
False
Suppose a + 12*v - 9*v - 1161 = 0, 2338 = 2*a + 2*v. Does 17 divide a?
True
Let y(h) = -23*h - 20. Let u be y(-3). Let a = 153 - u. Is 20 a factor of a?
False
Suppose -2*v = 7*v - 27. Suppose -2*y + i = -61, 65 = v*y - 4*i - 34. Is y a multiple of 22?
False
Let r = -1084 - -1878. Is 20 a factor of r?
False
Let b = 46 + 36. Suppose -4*p + 80 + 0 = 2*i, 2*i = -5*p + b. Does 18 divide i?
True
Let g(x) = x**2 - 13. Does 14 divide g(-9)?
False
Let p(h) = -h**3 - h**2 - 6*h - 9. Let a be p(-3). Does 18 divide (6 - 18)/((-2)/a)?
True
Let i(x) = 25*x**3 + 3*x - 2. Let a be i(1). Let z = 51 - a. Does 5 divide z?
True
Does 91 divide (169*7)/((-44)/(-11) + -3)?
True
Let a(g) = 3*g**2 - 4*g - 5. Let j be a(9). Suppose -4*i + j = 6. Is i a multiple of 4?
False
Suppose p + 0*p = 14. Let a = 36 - 25. Suppose a + p = 5*u. Does 5 divide u?
True
Let n(w) = -1. Let q be 5/(-10) + 18/(-4). Let x(b) = -b + 14. Let o(f) = q*n(f) + x(f). Is o(16) a multiple of 3?
True
Suppose -8*f + 2326 = -322. Is f a multiple of 71?
False
Let q(c) = c**3 + 23*c**2 + 16*c + 18. Is 52 a factor of q(-18)?
False
Suppose c - n - 114 = 0, -c - 4*n = -0*n - 134. Let p = 198 - c. Does 16 divide p?
True
Let s = -9 - -11. Suppose -s*z + 20 = 3*z. Does 15 divide -30*-2*3/z?
True
Is 3 a factor of (-4 + 42/12)*-564 - -6?
True
Let f = 11 - 28. Let t = 48 + f. Let x = t + -4. Does 22 divide x?
False
Suppose -60*i + 65821 = -118559. Is 8 a factor of i?
False
Let o(x) = 9*x - 32. Let v be o(4). Let w be (1 - 1)/2 - -2. Suppose 6 = v*r - w*r. Is 2 a factor of r?
False
Let l(y) = -y - 2 - 2*y**2 + 5*y + 2*y**2 + y**2. Suppose 4*i - 45 = -4*o - o, 10 = 2*i. Is l(o) a multiple of 13?
False
Let y(p) = -p**2 - 29*p + 7. Let u be y(-25). Let x be -1*(2 + -1) + 5. Suppose -3*r = 4*w - u - 33, 0 = -3*w - x*r + 105. Is w a multiple of 9?
False
Let u(y) = -55*y - 156. Is 21 a factor of u(-11)?
False
Suppose -6 + 3 = -l. Suppose 4 = l*f - 2. Is 12 a factor of (f + -3)/(1/(-24))?
True
Suppose 10*c = 18*c - 32. Does 8 divide 4/25*(-10)/c*-125?
False
Let c(y) = y**2 + 10*y + 20. Let l be c(-8). Suppose -4*v + 180 = -4*h, -3*v = -v - l*h - 96. Does 7 divide v?
True
Let f(c) = c**2 + c - 1. Let r be f(-3). Suppose 210 = r*l - 5*m, -125 = -3*l - 3*m + 13. Is l a multiple of 11?
True
Suppose 14 = -4*p + 34, -420 = -2*l + 2*p. Let b = 306 - l. Is b a multiple of 13?
True
Let s(z) = z**3 + 7*z**2 + 14*z - 6. Let p be s(-6). Let d = -48 - p. Does 6 divide d?
True
Let s(x) = 4*x**3 - x**2 - 2*x + 6. Is 18 a factor of s(2)?
False
Let p be (-153)/(-34) - (-3)/2. Suppose -2*f + 0*f + l = -p, -5*f + 4*l = -18. Is 2 a factor of f?
True
Let t(p) = p - 2. Let g be (-27)/5 - 27/45. Let m = g - -17. Is t(m) a multiple of 3?
True
Let r = 10 + -52. Let t = r - -51. Does 3 divide t?
True
Let t be ((-47)/9 - -2) + 2/9. Is 13 a factor of 87 + (1 - (t + 3))?
False
Let d(z) = z**3 - 13*z**2 + 13*z + 38. Is 31 a factor of d(12)?
False
Let q = 2984 - 1444. Is 77 a factor of q?
True
Let p(r) = 6*r**2 + 3*r + 2. Let m(w) = -17*w**2 - 9*w - 6. Let v(x) = -2*m(x) - 7*p(x). Let a be v(-1). Let y = 77 + a. Is 14 a factor of y?
True
Suppose -17*l + 71167 = -26753. Does 12 divide l?
True
Let f = -170 - -325. Suppose 2*v - f = 37. Is 24 a factor of v?
True
Suppose 0 = -4*b - 3*x - 3, 2 = 4*b - 2*x - 0*x. Suppose 9*l - 3*l - 126 = b. Is l a multiple of 7?
True
Suppose -v = v - h - 5, 0 = 2*v - 2*h - 2. Let q = -43 + 52. Let n = q + v. Is n a multiple of 13?
True
Let m(i) = 7*i**3 - 3*i**2 - 9*i + 8. Let x be m(-8). Is 19 a factor of x/(-49) + 8/14?
True
Suppose -2*d = -2*c - c - 46, c - 4 = 0. Suppose -2*k + 0*u + d = u, -4*u - 20 = 0. Is 17 a factor of k?
True
Let d = 10 - 6. Does 15 divide d/(-10) + 1356/15?
True
Sup