the first derivative of 1 - 2*w + 3*w**2 - 1/3*w**3. Is j(5) a multiple of 2?
False
Is (-144)/(-2) + 1 + 2 a multiple of 19?
False
Suppose -4*r + 67 + 125 = 0. Does 16 divide r?
True
Is 15 a factor of 3 - 2/2*-12?
True
Suppose 0 = 5*c - 5*l + 20, c + 0*l + l = 0. Let q = 0 - c. Suppose q*z - 12 = -4*m, -2*m + 6 = -3*m - 5*z. Is m even?
True
Suppose 5*z - 312 = 73. Does 11 divide z?
True
Let c = 1 + 34. Is 7 a factor of c?
True
Let h(l) = -2*l + 6. Does 6 divide h(-9)?
True
Suppose 4*n - p + 175 = 0, -2*n + 0*p + p - 85 = 0. Let m = 79 + n. Is 17 a factor of m?
True
Let p(i) = -10*i + 14. Does 7 divide p(-7)?
True
Let j = 20 - 13. Let p = -5 + 8. Suppose -x + 4*m = -j, -7*x + p*x = -2*m - 28. Does 3 divide x?
False
Let v be -20*(2/(-5) - 0). Let c = 1 + v. Does 4 divide c?
False
Suppose 0 = 3*j - 2*t + 13 - 1, -4*j = 4*t - 4. Let f be ((-3)/6)/(j/4). Let o(s) = 25*s**3 - s**2. Is o(f) a multiple of 15?
False
Let i(v) = v**3 + 9*v**2 - 2*v - 22. Does 10 divide i(-7)?
True
Let b(n) = n**3 - 11*n**2 + 15*n - 14. Suppose -4*g + 19 = -3*i - 33, 4*i = -4*g + 24. Is b(g) a multiple of 23?
False
Suppose -5*o = 5*q + 175, -3*q = 2*q - 2*o + 196. Let g = -4 - q. Does 17 divide g?
True
Let l(w) = -w**2 - w + 1. Let x(o) = -47*o**2 + o + 4. Let r(q) = 2*l(q) - x(q). Does 20 divide r(-1)?
False
Let z(j) = 6*j**2 + 14. Suppose 9 = 5*h - 4*i - 10, -4*i + 16 = 0. Let y(s) = 5*s**2 + s + 13. Let d(p) = h*y(p) - 6*z(p). Does 7 divide d(7)?
True
Suppose 4*j - 3 = 5. Suppose j*n - 114 = -4*w, 0 = 3*n + 9. Does 10 divide w?
True
Let p(v) = 5 - 4*v**2 - 1 + v - 7*v**3 + 2*v**3. Let g be p(-3). Suppose 5*d - 3*s = g, -4*s - 44 = -2*d - 2*s. Is d a multiple of 9?
False
Let t(s) = -6*s - 5. Let m(f) = -f**3 - 7*f**2 + f + 2. Let k be m(-7). Is t(k) a multiple of 9?
False
Suppose 7*t - 2*t = 140. Let d = -19 + t. Is 9 a factor of d?
True
Suppose -4*f + 93 = 5*x, -3*f = -0*f - 5*x - 26. Is f a multiple of 6?
False
Does 11 divide (-20)/(-120) + (-1054)/(-12)?
True
Let y(f) be the third derivative of -f**8/20160 - f**7/5040 + f**6/30 + f**5/30 - 2*f**2. Let x(b) be the third derivative of y(b). Is 11 a factor of x(0)?
False
Let d(o) = o**3 + 6*o**2 - 2*o - 7. Let t be d(-6). Suppose -2*a - 2*a = 5*j + 28, -5*j = t*a + 30. Is 38/14 + a/(-7) a multiple of 2?
False
Does 32 divide 4/((-3)/2*2/(-24))?
True
Let y(p) = p**2 - 8*p - 8. Let r(h) = h**2 - 1. Let a(c) = -2*r(c) + y(c). Suppose 7 = 3*x + 25. Does 2 divide a(x)?
True
Let m be ((3 + -3)/3)/2. Suppose m = -4*a - a + 85. Suppose -a - 10 = -3*d. Does 5 divide d?
False
Suppose 0 = -l - 4*r + 35, l + 3*l + 2*r = 140. Does 3 divide l?
False
Let v = 44 + 1. Does 16 divide v?
False
Suppose x - 4*x = -285. Does 19 divide x?
True
Suppose -9*s - 48 = -5*s. Does 7 divide 1/4 + (-165)/s?
True
Suppose -3*p - 3 = -30. Suppose 0 = 4*w - 5*h - 16, -3*w = -4*w - 2*h - p. Is (w + 0)/((-4)/144) a multiple of 13?
False
Let x(j) = 13*j + 2 - 3*j - 11*j. Does 14 divide x(-12)?
True
Let b(x) = 9*x**3 + 2*x**2 + 2*x - 4. Does 16 divide b(2)?
True
Let z(x) be the second derivative of -x**5/10 - x**4/6 - x**3/3 - x**2 - 2*x. Is 10 a factor of z(-2)?
True
Let g(l) = -l**2 + l + 16. Let p be g(10). Let r be (1 + 1)/(2/(-9)). Let u = r - p. Is u a multiple of 29?
False
Is 15 a factor of ((-2)/(-4))/((-5)/(-150))?
True
Let i be (5/(-3))/(7/(-42)). Suppose 0 = 5*u - i*u + 200. Is u a multiple of 28?
False
Let s(i) = -i**2 + 5*i + 2. Is s(4) a multiple of 4?
False
Suppose -u = -3*o + 95, -135 = -4*o + u + 2*u. Is o a multiple of 5?
True
Suppose 0 = -7*j + 9*j - 10. Is 5 a factor of j?
True
Let y = -39 - -67. Is y a multiple of 4?
True
Let i = -5 + 7. Let p = -2 + 1. Is (p/i)/(2/(-112)) a multiple of 14?
True
Let d(q) = -5*q + q - 1 - 3*q - q - 7*q**2 - q**3. Is 5 a factor of d(-6)?
False
Suppose -c + 22 = 6. Suppose -2*j = 2*a - 0*j - c, 30 = 4*a + 3*j. Is a a multiple of 2?
True
Suppose 4*p + 16 = 0, -3*p = -3*f - 65 + 365. Suppose f = x + 3*x. Is 17 a factor of x?
False
Suppose -2*u - 128 = -3*l, 165 = 4*l - 0*u + 3*u. Does 7 divide l?
True
Let x(a) = a**2 + 10*a - 16. Is x(-12) a multiple of 8?
True
Suppose 2*a + 0*a - 2*c = 100, 2*c = -2. Let k = 2 + -2. Suppose 4*y - a - 80 = -5*o, 4*y - o - 99 = k. Does 13 divide y?
True
Let x be ((-3)/(-6))/((-3)/36). Is 9 a factor of x*1*(-12)/4?
True
Let d = -6 - -10. Suppose -d*l + 5*v = -0*l + 8, 3*v + 10 = -5*l. Let q = l - -8. Is 4 a factor of q?
False
Let l = 1 + 1. Suppose 0 = -j - f + 23, 0 = l*j + j - 5*f - 109. Does 8 divide j?
False
Let t = 197 - 134. Is 9 a factor of t?
True
Let g(q) = -q**3 + 13*q**2 + 18*q + 20. Is g(14) a multiple of 38?
True
Let b = -418 + 190. Is 6/(-12)*b/2 a multiple of 31?
False
Suppose x - 1 = 0, -x - 26 = -5*w - 2*x. Suppose -z + 16 = -u, 5*z + w*u + 25 - 75 = 0. Is 3 a factor of z?
False
Suppose -4 - 2 = -2*v. Suppose 0 = v*g - 30. Let b = g + 0. Does 10 divide b?
True
Let y(w) = 0*w**2 - w - 5 - 7 + w**2 - 2. Let n be y(-10). Does 9 divide ((-3)/(-6))/(2/n)?
False
Let x(w) = 9*w**2 + 5*w - 12. Is 49 a factor of x(-5)?
False
Let b(p) = -p**3 + 5*p**2 - 2*p - 4. Let c be b(3). Let a(v) = 3*v + 3. Does 14 divide a(c)?
False
Let g be (-4)/8 + (-19)/2. Let u be g/15*15/2. Let c = u - -10. Is c a multiple of 5?
True
Let z = -8 - -12. Suppose o + z*x + 13 = -2, 3*x = -4*o - 21. Does 12 divide -3 + (15 - (-3 - o))?
True
Let i = -3 + 5. Suppose i*s = 4*h - 3*s - 7, 2*s - 14 = -4*h. Suppose -105 = -6*o + h*o. Does 11 divide o?
False
Suppose -2*o - d = -5*d - 16, 25 = 4*o - d. Is 3 a factor of o?
True
Suppose -18*x + 13*x + 315 = 0. Is x a multiple of 3?
True
Suppose 11 + 4 = 3*h. Suppose w - 35 = -4*k + 170, -256 = -h*k - w. Suppose -3*r + 0*r + k = 3*a, -3*a = -2*r + 24. Is 12 a factor of r?
False
Suppose 3*f = 57 - 18. Is 4 a factor of f?
False
Suppose 3*r - 218 = r - 3*w, 5*r = 2*w + 545. Is 14 a factor of r?
False
Let i be (-26)/((-1)/((-2)/(-4))). Suppose 3*z - i - 41 = 0. Is z a multiple of 9?
True
Is 13 a factor of (-9)/(-45) + 244/5?
False
Suppose -4*v = 3*q - 2*q - 145, -4*v = -5*q - 115. Is v a multiple of 35?
True
Suppose 3*j + 0 + 3 = 0. Let c be -6*j/((-2)/3). Is 7 a factor of 0 - (0 - (-2 - c))?
True
Let j(k) = -k. Let s(d) = 5*d - 2. Let x(g) = 4*j(g) + s(g). Let m be x(6). Is 21*m/18*3 a multiple of 7?
True
Let t(q) = q + 43. Is t(-19) a multiple of 12?
True
Suppose 5*a - 285 = -7*m + 2*m, a = -2*m + 109. Is 26 a factor of m?
True
Suppose -j + 4*z + 0*z - 12 = 0, 5*z - 28 = -2*j. Suppose 273 + 149 = 4*w - p, 3*w = -j*p + 326. Suppose l = -2*u + 19, -5*l + 17 + w = -4*u. Does 8 divide l?
False
Let n = 5 - 1. Suppose n*x + 24 = -2*t + 3*t, -x = 4. Is t a multiple of 8?
True
Suppose 0*m + 4*m = -440. Is 21 a factor of (m - 1)*(-4)/12?
False
Let o(d) = -7*d**2 - 6. Let z(l) = -6*l**2 - 6. Let k(q) = 5*o(q) - 6*z(q). Is k(-5) a multiple of 31?
True
Let g be (-1 - (-7)/5)*20. Suppose -s + 59 = g. Let w = s + -26. Does 10 divide w?
False
Suppose -24*h + 10 = -23*h. Is h even?
True
Suppose -2*s - 9 = 3*z, -2*z = -6*s + s + 6. Let w = 11 + s. Does 13 divide 2*w - (-4 + 4)?
False
Suppose 2*w = -4*o + 20 - 58, -4*o = -3*w + 43. Let q = o + 16. Is q a multiple of 2?
True
Suppose 14 = 5*n + 4. Let r(a) = 5*a - 14. Let u be r(11). Suppose -n*d + 2*q + 31 = q, 0 = 2*d - 3*q - u. Is 11 a factor of d?
False
Let u(s) = 4*s**3 + 6*s + 2. Let n(m) = 3*m**3 - m**2 + 5*m + 1. Let f(z) = -5*n(z) + 4*u(z). Is f(-5) a multiple of 8?
True
Let j = 15 + -39. Is (-4)/(-24) + (-332)/j a multiple of 14?
True
Let z = 18 + -10. Does 8 divide z?
True
Let d = 3 - -1. Let a be 4 + (-3 - -2) + -1. Let m = a + d. Is m a multiple of 6?
True
Let o(y) = y**3 - 6*y**2 - 5*y + 9. Is 10 a factor of o(7)?
False
Let x = -5 + 8. Suppose -x*i = y - 1, -2*i = 3*y + 3*i - 7. Suppose y*j - 5 = 59. Is 10 a factor of j?
False
Let b = -21 - -110. Is b a multiple of 8?
False
Suppose -7*o - 15*o = -5610. Does 15 divide o?
True
Let u(m) = -m + 13 - 12 - 4*m. Is u(-1) a multiple of 6?
True
Let u = -13 - -12. Let t(h) = -24*h. Is 12 a factor of t(u)?
True
Let f(u) = -25*u - 3. Does 17 divide f(-2)?
False
Let d = 6 + -15. Let c = d - -17. Let g = 18 + c. Does 8 divide g?
False
Suppose -10*v + 6*v = -88. Is 11 a factor of v?
True
Suppose 510 = 3*u - w - 69, -5*u = -3*w - 965. Let d = 114 - u. Let a = -45 - d. Does 17 di