- 5*q = f. Suppose -c*t + 39 = -41. Does 11 divide t?
False
Let z = 2747 + -503. Does 12 divide z?
True
Let i(d) = -5*d - 3. Let w(n) = 5*n + 3. Let u(s) = -6*i(s) - 5*w(s). Let h be u(11). Suppose -2*v = 2*v + 4*o - 64, 0 = 3*v + o - h. Does 12 divide v?
False
Let x = -1140 + 1975. Does 47 divide x?
False
Suppose 0 = -5*i + 15, -4*d + 4*i - 1 = 3. Let z(m) = -6*m**2 + m**2 - m**3 + 11 - 2*m - 3*m**d. Is 13 a factor of z(-8)?
False
Let z(r) = -18*r**3 - 2*r**2 - 2*r - 1. Let g be z(-2). Suppose -5*n + 67 = 2*k + 12, 2*k - 10 = 0. Suppose 0 = -2*i + g + n. Is i a multiple of 37?
True
Let b(y) = 8*y**2 - 23*y - 139. Is b(-7) a multiple of 46?
True
Let u = -31 + 147. Does 7 divide u?
False
Suppose w + w = 44. Let y = 12 + -14. Let p = w - y. Does 6 divide p?
True
Suppose -3*c + 27 = -6. Suppose -c = v - 2*v. Is v a multiple of 3?
False
Let p(m) = m**2 + 40*m + 1. Is p(15) a multiple of 48?
False
Suppose 117 - 469 = -2*b. Suppose 0 = 2*x - 4*x + b. Is 22 a factor of x?
True
Suppose 5*i + 4*o - 163 = 5*o, i = 4*o + 44. Suppose 0 = 5*q + u - 40, 2*u - 7*u + i = q. Is 3 a factor of q?
False
Suppose -3*m = -2*c - c - 714, -4*m = -2*c - 956. Is m a multiple of 7?
False
Let z(v) = -21*v**3 + 3*v - 2. Let q be z(1). Let g(n) = n**2 - 8*n - 15 - 1 + 16*n + 9*n. Is g(q) a multiple of 11?
True
Let f = 83 - 182. Let t = f - -158. Let z = -28 + t. Is 7 a factor of z?
False
Suppose -5*c = 4*j - 1310, 5*c - 2*c - 754 = 4*j. Is 6 a factor of c?
True
Suppose 36 = 3*r - 5*u - 221, 5*r - 3*u - 455 = 0. Suppose 32 = -r*a + 96*a. Does 8 divide a?
True
Let q = 16 - -109. Is 17 a factor of q?
False
Suppose 3*c - 41*a - 2799 = -43*a, -4*a + 12 = 0. Is 12 a factor of c?
False
Let i be (-27)/21 + 1 + (-185)/(-35). Suppose -3*l + i*l - 102 = -4*s, 3*s + 3*l - 84 = 0. Does 12 divide s?
False
Let p(u) = -5*u**2 - 3*u - 1. Let y be p(3). Let k = 380 + y. Suppose -4*d = d - k. Is 12 a factor of d?
False
Let x(o) = o**3 + o**2 + 8*o - 2. Is x(3) a multiple of 29?
True
Let p = 314 - -59. Does 29 divide p?
False
Suppose -131*v + 1260 = -125*v. Does 30 divide v?
True
Suppose 4*u - 28 = -h + 2*u, -h = -u - 28. Let g = h + -1. Is 9 a factor of g?
True
Let m(w) = w - 3. Let b = 3 + 3. Let x be m(b). Suppose 2*y - 2*v + 4 = 0, v - x*v = -8. Is y even?
True
Let s = 126 - 85. Does 17 divide s?
False
Let b(q) = -10*q + 16. Suppose 0 = -5*a - d - 91, 3*a + 0*a - 4*d + 50 = 0. Is b(a) a multiple of 14?
True
Let z(a) = -a + 1. Let n(t) = 48*t - 12. Let g(j) = n(j) + 8*z(j). Is g(4) a multiple of 13?
True
Let t(g) = 130*g**2 - 4*g. Let i be t(3). Suppose b - 282 = -2*r, -5*b = -9*b - 2*r + i. Does 12 divide b?
False
Let v(y) = -3*y - 1. Let z = -28 - -31. Let l be v(z). Does 4 divide (8/l)/(1/(-5))?
True
Let k = -5 - -5. Suppose -3*g + 7*y + 103 = 2*y, -4*g + 2*y + 114 = k. Is g a multiple of 13?
True
Let c(p) = -9*p - 8. Let a(r) = -r**3 - 7*r**2 + 7*r - 3. Let z be a(-8). Suppose 0 = -5*l + 5*v - 70 + 10, -39 = 2*l - z*v. Does 11 divide c(l)?
True
Let u(c) = -22*c - 18. Let b be u(-1). Let m(x) = -6 + 2 + 23*x - x. Is m(b) a multiple of 14?
True
Let p(o) = -3*o**2 - 3*o**2 - o + o**2 - 2*o**3 - 4 + 2*o**2. Is 7 a factor of p(-3)?
False
Let f(v) = v**3 - v**2 - 9*v + 108. Does 13 divide f(17)?
False
Let h = 2217 + -169. Is h a multiple of 16?
True
Let r be -2*(5/10 + 0). Does 4 divide (1 - -47) + (-1 - r)?
True
Suppose 2*m - 20 = -12. Suppose 5*l = m*i - 4 + 14, 3*l = -3*i + 6. Suppose -2*s + 6*s = -l*p + 52, -4*s + 12 = 0. Does 11 divide p?
False
Let t(a) = -47*a**3 + a**2 - 2*a. Let d be t(1). Does 16 divide 11/((-198)/(-228))*d/(-2)?
True
Is (222378/(-234))/((-1)/3) a multiple of 47?
False
Let a(m) = m**3 - m**2 + m + 18. Let o be a(0). Let c = 83 - o. Does 13 divide c?
True
Let i(w) = 69*w + 3. Let f be i(-1). Let t = 173 + f. Does 8 divide t?
False
Let t = 254 + 52. Is 17 a factor of t?
True
Let n = 14 + -12. Suppose -2*r = n*r. Let s(a) = -a + 17. Is s(r) a multiple of 13?
False
Let r = 23 + -24. Is 8 a factor of (-7)/((-21)/(-54))*r?
False
Let q(n) = 20*n**3 - 2*n**2 - n. Let d be q(2). Suppose -d = -10*u + 5*u + 2*i, 4*u = -i + 133. Does 22 divide u?
False
Suppose -150 = -3*c + 3*b, -5*c = 5*b - 54 - 226. Let v = 33 - c. Is 2 a factor of v/4*(0 - 1)?
False
Suppose 6*w = 2*w - 48. Let q be w/(-20)*(3 + 7). Is 15 a factor of (-4)/((-7)/(315/q))?
True
Let b(x) = -5*x - 41. Let q(n) = -n**2 - 3*n + 12. Let i be q(-5). Suppose -5*a - 79 = 2*l, i*a - 2*l = 4*a + 28. Is 22 a factor of b(a)?
True
Suppose -21234 - 15726 = -20*a. Is a a multiple of 11?
True
Let i(u) = -6*u**2 - u + 2. Let w be i(1). Let o(a) = -3*a + 15. Is 23 a factor of o(w)?
False
Suppose -24*t = -70*t + 159482. Does 34 divide t?
False
Let i(c) = -c - 5. Let l be (2/3)/(8/(-60)). Let d be i(l). Is (-6)/8*(d + -24) a multiple of 9?
True
Let l(b) be the first derivative of b**3/3 - 2*b + 7. Is l(8) a multiple of 11?
False
Let o = 63 + -38. Is o a multiple of 5?
True
Let x = -14 + 29. Let i be x + -44 - 4*1. Does 25 divide 110/i*(-96)/10?
False
Let y = 60 + -33. Does 9 divide y?
True
Suppose 0 = -5*h + 2*z + 3915, 5*h + 3915 = 10*h + 2*z. Is h a multiple of 3?
True
Let x = -19 - -82. Suppose 2*h + 5*c = -90, 3*h + x = 4*c - 95. Does 8 divide ((-230)/h)/(2/10)?
False
Suppose 6*f - 2819 = -83. Is 38 a factor of f?
True
Let x(v) = 6*v**2 + 11*v + 2. Let u(b) = 11*b**2 + 21*b + 3. Let d(t) = 3*u(t) - 5*x(t). Let a(l) = -l - 13. Let f be a(-6). Does 21 divide d(f)?
False
Suppose -21*i = 4*p - 18*i + 26, 0 = 5*p + 4*i + 33. Let d(k) be the second derivative of k**4/3 + 4*k**3/3 + 2*k**2 + k. Is d(p) a multiple of 16?
True
Let o = -3 - -5. Suppose 0 = -y + 5*p - 9 - o, y = -2*p + 10. Suppose 0 = -y*l + 6*l - 3*n - 55, 4*l = 3*n + 125. Is 15 a factor of l?
False
Let r = 1354 + -1280. Is r a multiple of 74?
True
Let b(k) = 57*k - 1. Does 10 divide b(13)?
True
Let w(j) = -j**2 + 14*j - 15. Let q be w(12). Let b be 2/q + 304/9. Suppose 4*z - 2*u = z + b, 4*z - 2*u = 42. Is 8 a factor of z?
True
Let i be 7/49 - 86/14. Let q(m) = 6*m**2 + 4*m - 6. Let v be q(i). Suppose 3*w - v = l + 35, 0 = -5*w - l + 363. Is w a multiple of 25?
False
Let n(g) = -g**2 + 6*g - 1. Let p be n(5). Suppose -p*r + 61 = 1. Suppose 3*f = -2*u + 5*u + 30, f + 4*u - r = 0. Is f a multiple of 11?
True
Let h(x) = 2*x**3 - 2*x**2 - 1. Let l be h(-2). Does 12 divide (-37*(-1 - 1))/(l - -26)?
False
Suppose 0 = -4*v + 5*y + 1049, 1321 = 5*v - 47*y + 44*y. Is v a multiple of 10?
False
Let p = 13 - 11. Suppose 0 = 4*t + p*t - 498. Suppose t + 69 = 4*c. Is 19 a factor of c?
True
Let r = 145 - 68. Is r a multiple of 31?
False
Suppose t - 5*c = 1383, -27*t + 4*c = -24*t - 4116. Does 57 divide t?
True
Suppose r - 1 - 11 = 0. Suppose 4*n + 248 = r*n. Does 30 divide n?
False
Suppose 0 = 8*n + 5*n + 559. Let j = 113 + n. Is j a multiple of 13?
False
Let a(q) = -2*q**2 + 14*q + 6. Suppose -151 = -3*w - 46. Suppose -2*f - w = -7*f. Is a(f) a multiple of 5?
False
Suppose 23 = 2*q + 3*i, 5*q - 2*i - 30 = -4*i. Suppose -3*a - 4*w - 211 = -q*a, 2*a - 3*w = 402. Is a a multiple of 15?
True
Let x(g) = g + 9. Let c(a) = -a + 21. Let d be c(18). Is 8 a factor of x(d)?
False
Suppose 0*l + 2*d = l - 4, -5 = -d. Suppose -21 = -m + 2*f, -m + l = 3*f - 22. Is 14 a factor of m?
False
Let k(a) = -130*a - 280. Does 9 divide k(-16)?
True
Let x(b) = -3*b. Let y be x(-1). Suppose y*l - 550 = -2*l. Is l a multiple of 22?
True
Suppose -4*b = 2*j - 5 + 23, b = j - 9. Let x be (-26)/(-6) - 4/b. Suppose -y + 0 + 2 = 0, -x*y - 134 = -3*h. Does 16 divide h?
True
Let y(d) = -3*d - 16. Let a be y(-6). Suppose -5*k + 139 = 4*b, 3*b = -b + a*k + 146. Does 4 divide b?
True
Suppose -35*d = -38*d - 513. Let f = 455 + d. Is f a multiple of 43?
False
Let p be (16/20)/(-2) + (-576)/(-15). Does 17 divide 1/(2/p) - 2?
True
Let v be 0/2 + 17/((-68)/672). Let y = 16 - v. Is 44 a factor of y?
False
Let f = 7 - -1. Let h be 14/f + (-13)/(-52). Suppose -10 = -h*u + 10. Is u a multiple of 5?
True
Let k(b) = -b**2 - 4*b + 1. Let h = 6 - 8. Let n be k(h). Suppose -2*x + 75 = 5*c - 2*c, 0 = -n*c + 2*x + 141. Does 9 divide c?
True
Let s = -7 + 11. Suppose 69 = s*u + 17. Is (-15 - u)*1/(-4) a multiple of 3?
False
Let d = -34 - -41. Suppose -q + 45 - d = 0. Is q a multiple of 5?
False
Let x = -17 + 17. Suppose 5*t - 95 - 10 