 + 5023/3 + (-1)/3?
True
Let z(d) = 6*d**2 + 17*d - 36. Is z(8) a multiple of 3?
False
Let b = 230 - 131. Let k = -48 + b. Is 8 a factor of k?
False
Let n(s) = 5*s**3 - 5*s**2 - 7*s + 3. Let m(l) = 9*l**3 - 9*l**2 - 13*l + 6. Let r(x) = 6*m(x) - 11*n(x). Is 21 a factor of r(-3)?
True
Let n(u) = 31*u**2 + 7*u - 10. Let g(c) = -6*c**2 - c + 2. Let a(i) = -11*g(i) - 2*n(i). Let y = 4 - 6. Is a(y) a multiple of 20?
True
Suppose 0 = 4*u + 2*s + 3*s - 8, 2*s = 0. Let n = 18 + -11. Suppose 2*w - n*w = 3*y - 185, 4*y = -u*w + 88. Is w a multiple of 17?
True
Suppose 2*i + 4*j + 22 = -12, -j = -3*i - 23. Let n be (-34)/i + 10/45. Let g = n + 32. Is g a multiple of 12?
True
Let c(y) = -y**3 + 11*y**2 - 11*y + 11. Let d be c(10). Let v be 4*(-1 - 34/8). Is d*(-4)/(12/v) a multiple of 7?
True
Let p = 524 + -147. Does 9 divide p?
False
Let x(p) = 9*p - 7. Let b be x(5). Let r = -2 - -7. Let d = r + b. Is 12 a factor of d?
False
Suppose -4*g - 1251 = -3*z - g, 3*g - 814 = -2*z. Does 3 divide z?
False
Let s = -297 - -1012. Does 55 divide s?
True
Let l be -2*((-3)/(-3) - 21). Let o = l - 16. Does 12 divide o?
True
Let g be 2*1*15/(-6). Suppose 0 = -a - 114 + 115. Is 15 a factor of a/g - (-864)/20?
False
Let d(i) = 58*i - 17. Let p(u) = -u**3 + 7*u**2 + u - 2. Let b be p(7). Let o be d(b). Suppose -3*c + 75 = h, 3*h + 2*c - o = 5*c. Is 26 a factor of h?
False
Let n(m) = -3*m + 11. Let g be n(-3). Suppose -4*h + 20 = 0, -67 = -r - 2*h + g. Is 26 a factor of r?
False
Suppose 11*h - 106 = 2974. Is 7 a factor of h?
True
Suppose -g + 8 = 4*t, -2*g - 10 = 2*t - 26. Suppose 4*r - 151 = -5*z, g*z - 61 = 5*z + 5*r. Is z a multiple of 3?
True
Let g be -2 + 5 + -2 - 1. Suppose -2*i = -g*i. Suppose i = -2*z - 3*m + 15, m = z - 0*m - 5. Is z even?
True
Let z(q) = -q**3 + 7*q**2 + 5*q - 4. Let f be z(7). Let i = 49 - f. Is i a multiple of 14?
False
Suppose 9*u - 12 = 5*u. Suppose -d + 4 = -u*d. Is 8 a factor of d/(2 - (-11)/(-5))?
False
Let t(y) = 53*y**2 + 8*y - 74. Is 25 a factor of t(5)?
False
Is 31 a factor of (-369)/(-615) - (-6892)/5?
False
Suppose 25*z - 3 = 24*z. Suppose 8*l = d + z*l - 41, 3*l = 3*d - 99. Is 4 a factor of d?
False
Let a(h) be the second derivative of h**3/2 - h. Let s = -70 - -73. Does 2 divide a(s)?
False
Suppose 3*x - 5*v - 9806 = -x, 4*v - 8 = 0. Suppose -810 = -16*h + x. Is 34 a factor of h?
True
Suppose 173 = 10*a - 587. Suppose a = 12*m - 8*m. Is 4 a factor of m?
False
Suppose v + v - 4*h - 184 = 0, -2*v + 182 = -2*h. Is v a multiple of 15?
True
Suppose 0 = n - 931 - 2007. Is n a multiple of 122?
False
Let y(s) = 38*s - 17. Let v = 25 + -21. Is y(v) a multiple of 27?
True
Let m be 1/((-3)/(-18)*3). Suppose -m*o = -2*b - 234, -o - 5*b + 141 = -0*o. Let p = 174 - o. Is 15 a factor of p?
False
Suppose 96 = -6*g + 10*g. Let q = g + -8. Is 16 a factor of q?
True
Let j(w) = 37*w**3 - w**2 - 2*w - 1. Let s be j(-1). Let x = 1564 - 1615. Let l = s - x. Is l a multiple of 9?
False
Is 7 - (-5)/((-20)/(-4724)) a multiple of 22?
True
Let d be (0 - -20)/4*1. Suppose -d*v + 5*i + 199 = 39, 0 = i - 1. Is v a multiple of 3?
True
Let g(t) = 2*t**3 - t**2 + 2*t + 6. Let q be g(0). Suppose q*k - 8*k = -180. Does 15 divide k?
True
Suppose -1 = 5*z - 11. Does 12 divide (0 + 2/(-5))*(-300)/z?
True
Let i(z) = 9*z + 1. Suppose -3*v - 4*q = -27, -7*q = v - 3*q - 17. Is 10 a factor of i(v)?
False
Let a(w) = 5*w**2 + 20*w + 7. Is 7 a factor of a(-7)?
True
Let w(m) = -125*m - 22. Is 74 a factor of w(-4)?
False
Let k = -120 + 136. Suppose 270 = 26*l - k*l. Is 6 a factor of l?
False
Let k(o) = -2*o**2 + 8*o - 3. Let g be k(3). Suppose d + 2*p - 25 = 0, -d - p + 72 = g*d. Does 5 divide d?
False
Let m(b) = 4*b. Let f be 6/(-14) + 270/42. Let x be m(f). Suppose o + x = 74. Is 12 a factor of o?
False
Let v = -548 + 520. Suppose -t = 4 - 2. Is (1 - 0)/(t/v) a multiple of 7?
True
Let l(m) = 3*m**2 + 13*m + 12. Let g be l(-10). Let w = g + -68. Is w a multiple of 19?
True
Is (-4)/(-14) + (11435/35 - 7) a multiple of 32?
True
Suppose -2*v + 14 = 8. Is 23 a factor of (2 - -124) + (v - 0)?
False
Let j be 12/42 - 12/(-7). Suppose -f - 11 = -q, j*q - 3*f + 0*f = 26. Is q a multiple of 6?
False
Let j = -55 - -56. Does 6 divide -7 + 33 - (-3 - j)?
True
Suppose -5*t = 4*u - 14 - 26, -2*u + 20 = -3*t. Let o = 15 - u. Let a(w) = 8*w + 11. Is a(o) a multiple of 17?
True
Let j be (1 + 2)*(1 + 0). Let t = 50 + -44. Suppose t*y - j*y - 192 = 0. Does 17 divide y?
False
Suppose -16*s + 10280 = -5752. Is 84 a factor of s?
False
Let h(d) be the third derivative of -d**6/20 + d**5/20 + d**4/24 - d**3/6 - 2*d**2. Does 19 divide h(-2)?
True
Suppose -u = -3*v + 4*u - 431, 4*v + 556 = 2*u. Let j = v + 297. Suppose -q + 6*q = j. Is q a multiple of 16?
True
Let x = -26 + 29. Suppose 3*y - 55 = -u, -2*u = 2*y - x*u - 45. Is y a multiple of 4?
True
Suppose -18*i + 13*i + 2900 = 0. Does 20 divide i?
True
Suppose -5*y = -5*j + 3275, 0 = -8*y + 4*y + 20. Is 55 a factor of j?
True
Let o(u) = 2*u**3 + 3*u - 2. Let z be o(2). Suppose -5*r + z + 18 = -2*g, -3*r = 2*g - 10. Is 29 a factor of (232/r)/(4/6)?
True
Let f = -30 - -18. Suppose -5*k - 4*m = -132, 0*k + 9 = k - 5*m. Let b = f + k. Does 11 divide b?
False
Let o = 108 + -41. Suppose -o + 157 = 5*u. Is u even?
True
Let h be (-17 - 9)*(-6)/4. Suppose h + 41 = w. Is w a multiple of 10?
True
Let t(v) = v**3 + 7*v**2 - 23*v + 4. Let f be t(-8). Suppose -6*x + f = 4*w - 2*x, 0 = 5*w - 3*x - 155. Is 2 a factor of w?
False
Suppose 3*m = -2*m + 40. Suppose 0 = m*z - 4*z - 16. Suppose -z*w - 6 = -5*w. Is w a multiple of 4?
False
Let i(n) = -11*n - 10. Suppose 0*f + 3 = f. Suppose 12 = -5*b - 5*o + 2, 18 = -f*b + 3*o. Is 11 a factor of i(b)?
False
Suppose 4*p + 2*z = 11072, 0 = 49*z - 44*z. Does 85 divide p?
False
Suppose u + 8*u + 45 = 0. Let v(w) = w**2 + 6. Is 4 a factor of v(u)?
False
Let z = 402 + -405. Suppose 0 = -w - 3*w - 3264. Is w/(-21) + z/(-21) a multiple of 15?
False
Let l(u) = u - 8. Let g be l(10). Suppose -g*t + 40 = -4*q + 2*t, -t = 3*q + 42. Let r = 19 + q. Is r a multiple of 6?
True
Suppose g - 12 = -n + 6*g, n - g = 4. Let c be (-224)/21*9/(-2). Suppose -n*t = 12 - c. Is 9 a factor of t?
True
Let f = 50 + -35. Let d = -13 + f. Suppose d*w = 2*q - 6, w = -5*q - 0*q + 15. Is 2 a factor of q?
False
Let c(w) = w**3 + 14*w**2 + 14*w + 20. Let i be c(-13). Let v(u) = u**3 - 6*u**2 + 13*u - 4. Is v(i) a multiple of 17?
True
Suppose 0 = -g - 2*g + 204. Is (g/(-5))/((-20)/50) a multiple of 17?
True
Let a(b) = b**2 + 5*b - 6. Let h be a(-6). Suppose h = 5*f - 11 + 1. Suppose -5*t - r + 124 = 0, -3*t - f*t = -5*r - 130. Does 13 divide t?
False
Suppose 3*y = -4*l - 0*l + 1831, 0 = -4*l - 5*y + 1833. Is 12 a factor of l?
False
Suppose -2*m + 3861 = -5*v, 11*m = 9*m + 2*v + 3846. Is m a multiple of 33?
False
Let b(g) = g**3 - 7*g**2 + 37*g - 3. Is 15 a factor of b(12)?
False
Suppose -6007 + 33815 = 22*j. Does 30 divide j?
False
Let x(g) = 85*g**3 + 2*g**2 + g - 2. Let k be x(2). Suppose 10*m + k = 2438. Does 35 divide m?
True
Let w(u) = 591*u + 6*u**2 + u**2 - 7 - 595*u. Does 5 divide w(-2)?
False
Let b be 12/4*(1 - 48). Let p = b - -209. Is (-17)/p + 89/4 a multiple of 11?
True
Suppose -g - 4*c + 472 = 0, 2*c = 2*g - 987 + 53. Is 27 a factor of g?
False
Suppose 5535 = -26*v + 31*v. Is v a multiple of 5?
False
Let g = -922 - -1217. Is g a multiple of 3?
False
Suppose 37*a = 19040 - 1946. Does 22 divide a?
True
Suppose -207 = w - 272. Is 5 a factor of w?
True
Suppose -9*t + t = -1664. Suppose 2*u + t = 2*f, -2*u - 306 = -3*f - u. Does 10 divide f?
False
Suppose 7*b = 13*b - 42. Suppose b*r - 217 = -0*r. Is r a multiple of 30?
False
Let s = -90 + 90. Suppose 172 = 4*x + 4*a, s*a = x - 4*a - 28. Is x a multiple of 10?
True
Let c(j) = -j**2 - 29*j + 3. Suppose 0 = -71*q + 69*q - 42. Is 57 a factor of c(q)?
True
Let w(j) = j**2 - 3*j - 5. Let l be w(5). Suppose 5*n + 0*v - 5*v = l, -4*n + 25 = 3*v. Let k(a) = 10*a - 3. Does 18 divide k(n)?
False
Let q = 27 + -21. Let s be (-28 + q)*(1 - -3). Does 11 divide (s/3)/((-6)/9)?
True
Let q = -1291 - -1727. Does 8 divide q?
False
Let x be (-6)/(-14) - (-662)/7. Suppose -5*s + x = 4*h, 5*h - 50 - 74 = -s. Does 25 divide h?
True
Does 67 divide (-1 + 4)/((-3)/(-268))?
True
Let z(w) = 13*w**2 - 2*w. Does 7 divide z(4)?
Fal