 divide j?
False
Let j(p) = 2*p**2 + 9*p + 3. Let w(k) = -k**2 - 4*k - 1. Let m(v) = -3*j(v) - 5*w(v). Is m(-3) a multiple of 4?
True
Suppose -27 = -0*y + 3*y. Is 2 a factor of (1 - (-6)/y)*21?
False
Suppose 10 = c - 0*c. Let w = -5 + c. Suppose 3*u = -u + 4*s + 40, -u - w = 2*s. Does 2 divide u?
False
Suppose 584 = 2*m + 3*t, 3*t = 3*m - 2*t - 838. Is m a multiple of 22?
True
Let z be (-51*1)/(-5 - -4). Suppose -2*q - q + z = 0. Is q a multiple of 17?
True
Let s(r) = -15*r - 2. Let d(i) = -6*i + 12*i + 9*i + 3. Let p(f) = -5*d(f) - 6*s(f). Is 21 a factor of p(3)?
True
Let a = -160 - -280. Is 8 a factor of (a/9)/((-5)/(-15))?
True
Let g(f) = f**2 + 2*f - 2. Let d be 3 + -3 + 0 + -3. Let j be g(d). Let m = 17 + j. Does 12 divide m?
False
Let b be 3/2*(-6)/(-9). Let x(u) = u**2 + u. Let g be x(0). Suppose g = 2*z - 3*z - 5*s - 8, -b = -z - 2*s. Is 7 a factor of z?
True
Suppose 3*p - 40 = 3*v - 4*v, 5*p + 64 = 3*v. Is 11 a factor of v?
False
Suppose 2*l - 8 = 4*z, -z - 8 = l - 3*l. Suppose -3*t + 18 = -z*t. Suppose -2*a + t*a = 52. Does 13 divide a?
True
Let f = -9 - -10. Does 12 divide 36 + f/1*-3?
False
Let c be (-3)/((-6)/2 - -2). Suppose 0*i + 24 = c*d - i, -5*i = -d - 6. Is d a multiple of 3?
True
Suppose -5*o + 4*b + 419 = 92, -5*o = 3*b - 341. Is 13 a factor of o?
False
Let t = -44 + 19. Let s = 1 - t. Does 26 divide s?
True
Suppose -h = 0, -k + 5 = -h - 3*h. Let b(r) = 4*r - r + 3*r**2 - 1 - k*r + r**2. Does 26 divide b(-3)?
False
Let s(b) = -b**2 + 13*b + 2. Is s(8) a multiple of 21?
True
Let l(x) be the first derivative of 3*x**4/4 - 2*x**3/3 - x**2 + 1. Let d(r) = -r**2 - 2*r + 2. Let w be d(-2). Is 12 a factor of l(w)?
True
Let j = 123 - 48. Suppose 5*r = -0*r + j. Does 15 divide r?
True
Suppose 4*w - 2*f - 1 = 13, -4*f = -4*w + 16. Let k be (-1)/w + 6/18. Suppose -2*h + v = 2*h - 17, k = 5*h - v - 22. Does 2 divide h?
False
Does 23 divide (0 - (-681)/4)/(6/8)?
False
Let a = -63 - -110. Is 16 a factor of a?
False
Suppose 2*y + 19 - 147 = 0. Suppose 3*q = -q + y. Suppose 5*p - q = -2*u, 2*p - 5*u + 2*u = 14. Is 4 a factor of p?
True
Is 4 a factor of (-364)/(-18) - 8/36?
True
Suppose 0 = 3*m - 2*g - 210, 0*m + 5*g + 219 = 3*m. Is m a multiple of 17?
True
Let q = -84 - -129. Let r = -10 + q. Suppose 0 = -4*f + r + 29. Is f a multiple of 7?
False
Suppose 0 = 4*s - 29 - 23. Suppose 0 = 2*x - 59 - s. Suppose 2*p - 26 = x. Does 11 divide p?
False
Let p = 13 + -11. Let m = 6 - p. Is m a multiple of 4?
True
Suppose 2*c + 0*a + 6 = 3*a, -10 = 2*c - 5*a. Suppose -d + 3*d - 36 = c. Does 13 divide d?
False
Suppose 2*d + 16 = 4*d + i, -d - 3*i = -18. Let w(t) = -5*t**2 + 10*t - 10. Let b(g) = -g**2 + 2*g - 2. Let h(p) = -11*b(p) + 2*w(p). Does 10 divide h(d)?
False
Let n(w) = -w + 13. Let z be n(3). Let d be (-17)/(-4) - 2/8. Suppose 5*c = -z, -2*c - d = -f - c. Is f even?
True
Let f(c) be the second derivative of 11*c**3/6 + 3*c**2/2 + c. Let w be f(-5). Does 13 divide (2 + -5)/(6/w)?
True
Suppose -3*q = 9, -5*i + 7*q + 561 = 5*q. Is i a multiple of 28?
False
Let l(f) = -4*f + 14. Is 12 a factor of l(-6)?
False
Suppose 61 = -5*t + 266. Is 7 a factor of t?
False
Is 22 a factor of 464/7 - 6/21?
True
Suppose 4*i = i - 6. Let k(x) = x + 3. Let o(u) = 2. Let h(s) = -6*k(s) + 10*o(s). Does 7 divide h(i)?
True
Suppose -5*x + 2*x - 29 = 2*a, -2*x - 20 = 2*a. Let s(b) = -6*b + 10. Is s(x) a multiple of 11?
False
Suppose -5*b - 263 = -4*z, 0 = z + 4*z - 5*b - 330. Let r = z - 37. Does 12 divide r?
False
Let d(f) = f**2 - 2*f + 24. Let t be (-6)/8 - (-6)/8. Does 10 divide d(t)?
False
Let r(v) = -v**3 - 9*v**2 - 11*v - 4. Is r(-8) a multiple of 6?
False
Let m(v) = -1 - 6 + 5 + v + 5*v**3 + 7*v**2 - 6*v**3. Does 11 divide m(3)?
False
Let n = 10 - 16. Does 24 divide 47 + 4 + n/2?
True
Suppose 5*s + 5 = 15. Let b be (-2*4)/(1/(-2)). Suppose s*p + 4 = b. Is p a multiple of 3?
True
Let f = -117 + 280. Is 33 a factor of f?
False
Let q = 127 + -124. Is q even?
False
Let b = 18 - -1. Suppose 4*h - b = -3. Is h a multiple of 2?
True
Does 11 divide 4324/36 - (10/(-45))/(-2)?
False
Let b(k) = 3*k + 1. Let x be (2 - (-3 - -3))/2. Let z be b(x). Suppose 0*r + f + 151 = 3*r, 0 = -r + z*f + 32. Is r a multiple of 19?
False
Let d(q) = -2*q + 2. Let a be ((-12)/15)/(4/(-30)). Suppose 3*y = -m - 13, 2*y - a*y - m - 17 = 0. Is d(y) a multiple of 5?
True
Let h = 59 + 22. Let k = -57 + h. Is k a multiple of 10?
False
Suppose 2*r - 67 = 25. Is 27 a factor of r?
False
Let k(r) = -4*r. Let v be k(-3). Suppose 0 = -3*x - 0*x + v. Suppose 3*d = -x*t + 58, -4*t = -0*t + 4*d - 56. Does 8 divide t?
True
Does 10 divide (213/(-6) + 0)*4/(-2)?
False
Let v = -34 - -51. Is v a multiple of 4?
False
Let a(h) = -h. Let r be a(0). Suppose r = c - 3*c + 58. Does 29 divide c?
True
Suppose 3*q - 2*q - 11 = 0. Does 11 divide q?
True
Suppose -4*w - 2*d + 6 = 0, -5*d - 10 - 3 = 3*w. Suppose w*m = m + 2*s + 44, 5*m - 76 = 2*s. Does 11 divide m?
False
Suppose -x + 8 = 3*r, -x + 2*r + 8 = x. Suppose 40 = x*m - 5*j, 0*j = j + 2. Suppose 56 = -2*h + m*h. Is 6 a factor of h?
False
Let z be (1 + 41)*49/21. Does 25 divide z + 3/(-2)*2?
False
Suppose 5*x - 67 = 23. Suppose 2*f - f = x. Is 9 a factor of f?
True
Let w = -16 - -59. Is w a multiple of 10?
False
Let s(r) = r + 3. Let j be s(-4). Let g(c) = 32*c**2 - 1. Does 11 divide g(j)?
False
Let d(t) be the second derivative of -3*t**5/20 - 5*t**4/12 - 2*t**3/3 - 2*t**2 + 4*t. Let u be d(-5). Is (u/(-21))/((-4)/6) a multiple of 7?
False
Let i(p) = p**3 - 3*p - 3. Let l be i(-3). Suppose -4*f - 3*s = 44, -f - 2*s = 2*s - 2. Does 9 divide ((-36)/f)/((-3)/l)?
True
Suppose 0 = 2*f + 41 - 151. Is f a multiple of 11?
True
Suppose -5*i = g - i - 92, -5*g + 365 = i. Let u = g + 24. Does 32 divide u?
True
Let b = 647 + -257. Does 65 divide b?
True
Let c(h) = h**3 + 10*h**2 + 5*h. Suppose -62 = -3*i + 46. Suppose -2*n - i = 2*n. Does 18 divide c(n)?
True
Suppose 0 = 4*j - 7*j + 9. Let m(b) = 3*b - b**2 - 3*b**j + 17 - 4*b**3 - 2*b + 6*b**3. Is 17 a factor of m(0)?
True
Is 13 a factor of (39/9)/(2/6)?
True
Let b = -8 - -6. Does 4 divide (b - 32)*(-5)/10?
False
Let j(u) = u**3 + 6*u**2 + 2*u + 6. Let o be j(-6). Let g = o - -11. Suppose 0 = v - g*v + 60. Is v a multiple of 15?
True
Let t = 5 + -3. Suppose k = -6 - t. Let w = 14 + k. Is 3 a factor of w?
True
Let n(q) = -q + 1. Let f(p) = -p + 1. Let d(a) = 5*f(a) - 6*n(a). Is 3 a factor of d(7)?
True
Suppose 35 = -0*m + m. Let s(u) = -3*u + 22. Let w be s(7). Is 16 a factor of (-3 - -1 - w) + m?
True
Let x = 7 - 4. Suppose -111 = -x*k - 3*f, 140 = -0*k + 4*k - 4*f. Is 22 a factor of k?
False
Suppose 0 = n + 4*n. Suppose 0 = 2*s - n*s + 12. Let r(w) = w**2 + 3*w + 6. Does 12 divide r(s)?
True
Let t(s) = 6*s**2 - 6*s + 2. Is t(2) a multiple of 5?
False
Let c be 24/(-20)*(-5)/(-2). Does 5 divide 15*c/((-60)/8)?
False
Suppose -4*w + 2 = 2*l - 0*w, -5 = -5*l + w. Does 2 divide -3*1*(l + -2)?
False
Let x(k) = -k**2 + 6*k - 2. Let n be x(6). Is 8 a factor of (-30)/n + 0/(-2)?
False
Let f be (0 + -4)*(-2)/4. Let a be (-2)/(f/(-38)*2). Suppose 20 + a = 3*h. Is 13 a factor of h?
True
Suppose 2*v - 2 = -5*t, 4*t + 3*v + 2 + 2 = 0. Suppose r - 15 = -t*r. Is r a multiple of 5?
True
Let h(q) = q**3 - 15*q**2 + 10*q + 3. Let a be h(15). Is (a/6)/(3/6) a multiple of 17?
True
Let h be (-4)/(-10) + 63/5. Let w = 5 + h. Is 9 a factor of w?
True
Suppose -o + 3*p + 106 = -0*p, 0 = p - 5. Is o/2 + 13/26 a multiple of 25?
False
Suppose -9*h + 68 = -8*h. Is h a multiple of 34?
True
Let q = -6 + 5. Is (-30 + (-2)/q)*-1 a multiple of 15?
False
Suppose -j + 6*j + 440 = 0. Let a be 3/(-6*2/j). Suppose s = -s + a. Is s a multiple of 11?
True
Let g = 1 - 2. Let s = g - -55. Suppose 5*b = 2*v - s, -2*v - 3*b + 60 = -10. Is v a multiple of 11?
False
Let q = 105 - -24. Does 36 divide q/3 - (2 + -5)?
False
Suppose -12*x + 1512 = -2064. Is 44 a factor of x?
False
Let x(r) = -15*r - 28. Is x(-9) a multiple of 9?
False
Suppose -3*t + 4*m + 85 = 0, -3*t + 5*m + 108 - 28 = 0. Is t a multiple of 5?
True
Does 14 divide 2/(-3) + (-178)/(-6)?
False
Suppose -13*t = -6*t - 1512. Is 27 a factor of t?
True
Let r(h) = 12*h - 2. Does 11 divide r(2)?
True
Let w = 8 - 9. Suppose 2 + 0 = -u. Does 2 divide -2*(w - (u - -3))?
True
Let y(b) = b**2 - 2*b + 144. Does 12 divid