= 0. Does 14 divide q?
False
Suppose -2*x = x. Suppose 2*r - 2*m = 40, x*m + 2*m + 62 = 3*r. Is 22 a factor of r?
True
Suppose -3*p - 6 = 0, 0 = -3*z + 3*p + 36 + 39. Is 3 a factor of z?
False
Suppose 3*b - 20 = -p, -2*b = -0*p + p - 19. Let y = -9 + p. Does 8 divide y?
True
Suppose -g + 14 = -5*i, -i - 22 = -0*i - 5*g. Let t(q) = -20*q + 2. Is t(i) a multiple of 21?
True
Suppose -f + 4*t - 53 = -2*f, 0 = -2*f - t + 78. Is 14 a factor of f?
False
Let i be 0 - (-2)/((-4)/(-6)). Suppose 0 = -5*n + 4*d + 52, 5*n - 28 = -d - i*d. Is 8 a factor of n?
True
Let p = 56 + 30. Suppose -4*a + 222 = 4*b + p, -a + 40 = 4*b. Is a a multiple of 19?
False
Let s(y) be the third derivative of y**4/24 - y**3/3 + y**2. Let d be s(2). Suppose d = -0*q + 4*q - 5*v - 87, -84 = -4*q + 4*v. Does 9 divide q?
True
Suppose 3*p + 268 = 5*c, 50 = c - 0*p + 3*p. Let j(b) = 4*b**2 + b - 3. Let s be j(3). Let y = c - s. Is y a multiple of 6?
False
Let h = 48 + -28. Is h a multiple of 4?
True
Suppose 4*q + 3*a - 265 = -0*q, 5*q - 2*a - 314 = 0. Is q a multiple of 32?
True
Suppose 0 = -6*g + 423 - 99. Does 18 divide g?
True
Let h be 4/(-30) + (-231)/(-45). Let w(b) = b**2 - 2*b - 1. Let o be w(-1). Is o - h - (3 - 19) a multiple of 5?
False
Let u(x) = -x**3 - 3*x**2 + 2*x - 1. Let i be u(2). Let j = i + 45. Is j a multiple of 14?
True
Suppose -3*v - 4 = -19. Suppose -v*r = x + 27, 0 = 2*x + 3*x + 4*r + 198. Let a = -20 - x. Does 22 divide a?
True
Let y(o) = -o**3 - 2*o**2 + 2. Let r be y(-2). Suppose c = -r*c - j + 113, -c = 5*j - 33. Is c a multiple of 19?
True
Let h(g) = 69*g**3 - 1. Is h(1) a multiple of 7?
False
Let a(n) = n**3 + 18*n**2 + n + 43. Does 11 divide a(-18)?
False
Let i(r) = 3*r**2 - 5*r - 6. Is 12 a factor of i(-3)?
True
Let y(t) = 9*t**2 + 7*t - 2. Does 17 divide y(-3)?
False
Suppose -2*i + 0*z = z - 6, -3*i = -2*z + 5. Does 12 divide (i/(-2))/(3/(-144))?
True
Suppose 7*h = 3*h + 20. Suppose h*x = 3*x + 38. Let q = x + 19. Is 19 a factor of q?
True
Let x = 26 - 14. Is 5 a factor of x?
False
Suppose -3*b + 20 = -4*y, -3*b + 13 - 1 = 0. Let p = y - -3. Let m(v) = 15*v**2. Does 12 divide m(p)?
False
Is 4/(-10) - 13128/(-120) a multiple of 9?
False
Let l(p) = -4*p**3 + 11*p**3 + 6*p**3 - 1. Is l(1) a multiple of 3?
True
Let g be (-6 - -2)*(1 + -5). Suppose -6*t - 136 = -t + 4*b, -g = 4*b. Let x = 64 + t. Is 20 a factor of x?
True
Suppose -q = -2*w - 26, 3*q - 81 = -0*q + 3*w. Let m = q - 13. Is 13 a factor of m?
False
Suppose 2*d + 6 = 0, 4*c - 6*d - 372 = -2*d. Is c a multiple of 18?
True
Let v be -12*(-1)/2 - -1. Suppose 3*l - 3*k + 117 = v*l, 3*l + 5*k = 74. Is l a multiple of 17?
False
Let y be -51*(-9*1 + 2). Is 12 a factor of y/15 + (-2)/(-10)?
True
Let o(s) be the first derivative of -s**2/2 + 10*s - 2. Does 13 divide o(-7)?
False
Suppose 0 = -i - 2*t - 6, 0 = -0*t - 2*t - 8. Let a be ((-3)/(-6))/(i/20). Let j = 2 + a. Is 3 a factor of j?
False
Let d be (-1)/((-2)/(-58) - 0). Let b = d + 49. Does 20 divide b?
True
Suppose 0*f + 635 = 5*f. Is 29 a factor of f?
False
Let t(m) be the third derivative of m**6/120 - m**5/15 + m**4/8 - m**3 + m**2. Is t(4) a multiple of 3?
True
Let l be (-6)/(2/1 - 4). Let j(c) = 4*c**2 - l*c**2 + 2 + 1. Is 2 a factor of j(0)?
False
Suppose w - 4*s = -6*s + 1, -2*w - 2*s + 4 = 0. Suppose -2*m + 21 = 5*u, 2*u = 2*m - w*u + 9. Is m even?
False
Suppose 0 = -4*b - j + 155, 5*b - 3*j - 54 - 144 = 0. Does 39 divide b?
True
Suppose 79 = 2*v - 0*p + p, -v - 4*p = -43. Let i = 57 - v. Suppose -4*o = 2 - i. Is o a multiple of 4?
True
Let v = 12 - -48. Suppose 2*w = -2*b + v, 5*w - 30 = -3*b + 120. Suppose -4*s + s + w = 0. Does 3 divide s?
False
Let b(i) = 6*i**2 + 5*i + 4. Does 11 divide b(-3)?
False
Suppose y - 6 = 3*u, 4*u + y - 5*y = 0. Suppose -3*q = -0*q + 9. Does 3 divide 1/u - 34/q?
False
Let l(j) = 3*j + 4 - j + j + 7*j. Is l(2) a multiple of 8?
True
Is 738/10 - -1*(-3)/(-15) a multiple of 12?
False
Let k(w) = 7*w**3 - 2*w - 4. Is 8 a factor of k(2)?
True
Suppose 4*z + 5*h + 253 = 86, z - h = -53. Let w = 105 + z. Is 24 a factor of w?
False
Let t(i) = i**3 - 7*i**2 - 2*i + 7. Let z be t(7). Let w(m) = -m**2 - 14*m - 7. Does 13 divide w(z)?
False
Does 30 divide (-6)/(-6)*14*7?
False
Is 17 a factor of (-435)/(-12) + 7/(-28)?
False
Let v(x) = -2*x + 7. Let w be v(6). Let b = w + 8. Does 13 divide 37/b - 4/(-6)?
True
Let l = 11 + -12. Does 19 divide l/(-3) - 2132/(-39)?
False
Let x(z) be the first derivative of -z**2/2 + 7*z - 3. Does 8 divide x(-12)?
False
Suppose -3*b + 24 = -b. Suppose b*d - 11*d - 60 = 0. Is d a multiple of 8?
False
Suppose 0 = -5*z + y + 13, 3*z - 5*z + 10 = -2*y. Is (-1 - -1) + z - -35 a multiple of 13?
False
Suppose i = 2 - 4, 5*y - 5*i - 1830 = 0. Is 26 a factor of y?
True
Let y(q) = 2*q - 10. Is y(9) a multiple of 4?
True
Let j(a) = -a**3 + 7*a + 99. Does 9 divide j(0)?
True
Suppose 0 = -4*b + 170 - 70. Does 25 divide b?
True
Let u(p) = 478*p - 2. Let a be u(-5). Is a/(-88) + (-2)/11 a multiple of 7?
False
Let t be (0/(4/2))/2. Let m(k) = 10 - 4*k**2 + 6 - 5 + k + k**3 + 3*k**2. Does 11 divide m(t)?
True
Suppose 8*n - 57 = 5*n. Suppose 0*d + 3*d - 2*x = 38, -n = -2*d - 5*x. Is 16 a factor of (-4)/((-13)/d - -1)?
True
Let l be (-455)/(-25) + 2/(-10). Suppose 0 = 2*h - 2 + l. Let n = h - -13. Does 2 divide n?
False
Let q = 6 - 4. Suppose 10 + 66 = q*h. Suppose -12 = 4*z - 4, -3*a + h = -4*z. Is a a multiple of 5?
True
Let c(k) = 56*k - 4. Is c(3) a multiple of 12?
False
Let s be (-42)/(-8) - (-6)/(-24). Suppose 2*x = s + 11. Does 3 divide x?
False
Suppose -4*r + 402 = -66. Is r a multiple of 22?
False
Suppose -1 = -y - 3*q, 0*q + 2 = -q. Let b = y - 2. Suppose 2*t - b*x - 16 = -2, 8 = t - 2*x. Does 12 divide t?
True
Let h = 41 - 25. Let q = h + 4. Suppose 42 = 3*b - 3*x, 0*b - q = -b - x. Is 7 a factor of b?
False
Suppose -b = 3*h - 110, 4*h + 3 = -b + 114. Does 24 divide b?
False
Let o = 35 + -7. Suppose -5*s + o = 8. Is s/(-10) + (-214)/(-10) a multiple of 15?
False
Let h(s) = 55*s**3 + 1. Suppose 7*v - 2*v = -5. Let b be h(v). Is ((-2)/(-4))/((-3)/b) a multiple of 9?
True
Does 7 divide 6/21 - ((-552)/28 - -4)?
False
Suppose -u + 2*u - 23 = -4*t, 0 = 5*t + 5*u - 10. Let m = t - 4. Is 3 a factor of m?
True
Suppose -5*m - b + 144 = 20, b = 3*m - 68. Suppose -4 = -2*d - 2*q + m, 2*d - 48 = 3*q. Is d a multiple of 8?
False
Suppose 0*v + 5*v = 675. Is 15 a factor of v?
True
Let i be (2/7)/(4/28). Suppose i*y + 48 = 4*g, 4*g - g = -2*y + 50. Is g a multiple of 14?
True
Let s be (10/(-3))/((-1)/21). Let t = -32 + s. Suppose 4*h + 5*c = t, -3*h + 16 = -2*c - 1. Is 3 a factor of h?
False
Suppose -290 = -21*j + 16*j. Is j a multiple of 17?
False
Let d be 362/(-7) - 12/42. Let u = -2 - d. Does 13 divide u?
False
Suppose 0 = 2*n - 3*h - 6 - 12, -3*n - 3 = 3*h. Suppose s + s = 2*w + 10, w + 7 = n*s. Is 13 a factor of (-3)/w - 1331/(-44)?
False
Let z(j) = 6*j**2 - 9*j - 1. Let d(h) = -7*h**2 + 10*h + 2. Let r(v) = 5*d(v) + 6*z(v). Is r(5) a multiple of 5?
False
Suppose 0 = -2*n + 149 + 225. Does 11 divide n?
True
Let i = 6 + -3. Suppose 3*m + i*v - 15 = 2*v, -3*v - 20 = -4*m. Suppose m*q - 4*q = 4. Does 2 divide q?
True
Let j = -75 - -131. Is j a multiple of 14?
True
Let s(x) = -x**2 - x + 5. Let h be s(9). Suppose -u - 53 = 6. Let y = u - h. Does 16 divide y?
False
Let m = 28 + -1. Is m even?
False
Suppose 0 = -w + 2*j - j - 9, -25 = w - 5*j. Let n(s) = 2*s**2 + 4*s - 6. Does 6 divide n(w)?
True
Let n(u) be the third derivative of -u**4/24 - 3*u**2. Let d be n(-3). Suppose 2*w = -3*y + d + 37, 28 = 2*y + w. Does 16 divide y?
True
Is 9 a factor of 16/24 - (-25)/3?
True
Let x be (9/(-6))/((-1)/2). Is 9/(-6)*-6*x a multiple of 17?
False
Suppose 0 = -m - 5 + 11. Is m a multiple of 4?
False
Let q(v) = -v**3 + v + 15. Suppose 1 = a - t, -1 = a - 3*t - 4. Is 5 a factor of q(a)?
True
Suppose 5*l - 3 = w - 4, 4*l = -3*w + 22. Let g(v) = v**3 - 5*v**2 + 2*v - 9. Is g(w) a multiple of 13?
True
Suppose 0*r = -r + 1. Is (-61)/(-4) + r/(-4) a multiple of 5?
True
Let r(i) = i**2 + 14. Let c be r(0). Let q(d) = d**3 - 15*d**2 + 15*d + 10. Is 7 a factor of q(c)?
False
Let g(b) = 2*b + 49. Let o(m) = -m - 25. Let h(j) = 3*g(j) + 5*o(j). Does 11 divide h(0)?
True
Let u(x) = -x. Let n(f) = 7*f + 6. Let b(m) = n(m) + 6*u(m). Let a be b(0