Suppose 2*h + 5*x - 163 = -2*h, 3*h - 126 = -3*x. Is 14 a factor of h?
False
Let v(c) = c**3 + c**2 + c. Let l(w) = 2*w**3 + 11*w**2 + 8*w + 3. Let k(o) = -l(o) + 3*v(o). Is k(9) a multiple of 9?
False
Let h(s) = 4*s + 22. Is h(0) a multiple of 2?
True
Let a be (4 - 8) + 7 - -7. Suppose 10 - 4 = b. Does 7 divide -4 + b + a + -1?
False
Does 7 divide 18*3/((-9)/(-13))?
False
Suppose 0*l + 14 = 2*l. Let k(c) = c**2 - 6*c + 2. Let r be k(l). Let h = r + -3. Is 5 a factor of h?
False
Suppose -l + 3*l = 10. Suppose -t = -2*t + l. Suppose -15 = -4*j + t. Does 2 divide j?
False
Suppose 0 = -2*f + 3 + 7. Suppose f*k + 51 = 4*w, 3*w + w - 61 = -5*k. Does 14 divide w?
True
Let q = -13 + 15. Suppose -n + q + 19 = 5*w, -4*w + 2*n = -28. Does 5 divide w?
True
Let m = -382 + 547. Is m a multiple of 33?
True
Let s(i) = 79*i**3 - i**2 - i. Is s(1) a multiple of 29?
False
Let z(x) = -6*x - 7. Let k be z(-5). Let b = k + 19. Does 10 divide b?
False
Is (-180)/(-42) + (-2)/7 even?
True
Is 4 a factor of (2/(-6))/((-6)/72)?
True
Suppose l = 5*k - 144, 2*l - 148 = -5*k + 4*l. Suppose k + 27 = 5*c. Does 4 divide c?
False
Let y = 9 + 16. Is y a multiple of 11?
False
Let f = 12 - 23. Is 20 a factor of (f - 1)*(-60)/18?
True
Let s = -7 - -11. Suppose 2*u + o - 95 = 0, -s*u - u - 4*o = -239. Let h = u - 13. Does 17 divide h?
True
Suppose 0*w + 3*w + 33 = 0. Let z = 20 + w. Is z a multiple of 4?
False
Let n be (-4)/(-22) + (-1300)/(-110). Suppose 4*s - 148 = -2*g, 0*s - 3*s + n = 0. Does 33 divide g?
True
Suppose -c = -5*q - 2*c + 155, -2*q - c = -62. Let d = 43 - q. Is d a multiple of 7?
False
Suppose r - 448 = -5*h, 5*h + r = 5*r + 458. Let v = 147 - h. Is v a multiple of 14?
False
Does 17 divide ((-6)/(-18))/((-2)/(-306))?
True
Let n(b) = -b**2 + 7*b + 4. Let a be n(8). Does 14 divide (-293)/(-7) - a/28?
True
Let y be (-7*1)/((-4)/4). Suppose -2*d = p - 16, y*p = -4*d + 3*p + 36. Does 3 divide d?
False
Suppose -292 = -4*w + 588. Does 34 divide w?
False
Suppose -13 = -5*z - 4*j - 1, j - 3 = 0. Suppose -3*i - 2*i + 145 = z. Is 15 a factor of i?
False
Let h = -29 - -63. Let a = -59 + h. Let r = -14 - a. Does 3 divide r?
False
Suppose -2*v = 4*m - 12, v + 16 = 4*v + 5*m. Suppose -5*z - 5*y + 4*y + 21 = 0, 0 = v*z - 4*y - 26. Is z a multiple of 2?
False
Let l = 6 + -12. Let o be (-2)/12 + (-7)/l. Is o*5 + 0/(-8) a multiple of 2?
False
Let n(f) = -f**2 + 5*f - 4. Let j be n(4). Suppose -3*g - 77 = 5*h, 5*h + 4*g - 42 + 123 = j. Let p = h - -37. Is 12 a factor of p?
True
Suppose 12 + 40 = 2*w. Suppose 5*j + 2*x = 230, -109 = -2*j + x - w. Is j a multiple of 15?
False
Let o(k) = k + 30. Let c be o(0). Let h = 5 + 3. Let i = c - h. Does 14 divide i?
False
Suppose -4*f - 2*h + 76 = 0, -5*h = -0*f + 5*f - 90. Suppose -6*d + d + f = 0. Is d a multiple of 2?
True
Is 3 a factor of 14/(-56) + 37/4?
True
Is 354/9 - (-4)/6 a multiple of 20?
True
Suppose 27 = 3*w - 5*v, -3*v - 9 = -2*w + 8. Is 3/(-6)*(-88)/w a multiple of 11?
True
Let c = -22 - -26. Suppose c*i - 3*i - 15 = -2*u, 80 = 4*i + 3*u. Is i a multiple of 12?
False
Let q = 4 - 1. Let j = 27 + q. Is j a multiple of 10?
True
Suppose y + 37 + 16 = 0. Let c = -38 - y. Is c a multiple of 7?
False
Let b(v) = v**2 - 6*v - 4. Let c be b(7). Let w be (1/c)/(5/105). Is w/((-2)/4*-1) a multiple of 14?
True
Let y = 2 - -3. Suppose -m = -4*m + 33. Let n = m - y. Does 6 divide n?
True
Let d(c) be the second derivative of c**5/20 - 3*c**4/4 - 11*c**3/6 + 7*c**2 - c. Is d(10) even?
True
Suppose 4*i - 3*l + 11 = -2, 4*i - l + 7 = 0. Let z = i - -15. Suppose w - 5*x = -2*x + z, -41 = -4*w - 3*x. Is 10 a factor of w?
False
Let g(z) = 4*z**2 - 12*z + 40. Is g(7) a multiple of 19?
True
Let u = 1 - 0. Let o be 3/6*(u + 1). Let d = 8 - o. Is d a multiple of 3?
False
Let x(p) = p**2 - 3*p - 6. Let c be x(-7). Let d = 98 - c. Is d a multiple of 25?
False
Let g(o) = o**2 + 8*o + 5. Let v be g(-8). Let x be (-1)/v - (-30)/25. Is 35 + (-1 - x/1) a multiple of 12?
False
Suppose -5*b - 4 = -4*b, -2*c + b - 52 = 0. Let r be 266/5 + (-4)/20. Let f = r + c. Is f a multiple of 12?
False
Suppose 0 = -3*x - 5*m + 299, -187 - 21 = -2*x + m. Is x a multiple of 9?
False
Let f = -1 + 0. Is 23 + f*(-2)/2 a multiple of 8?
True
Suppose g = 5 - 2. Let z(f) = f**2 + 2*f - 6. Is z(g) a multiple of 2?
False
Let x(t) = -t**3 - t**2 + 5*t + 4. Suppose -5 = -3*n - 14. Let d be x(n). Suppose -111 = -3*c - 3*u, d*c = 3*c - 3*u + 151. Is c a multiple of 15?
False
Let z be (-8)/36 + 40/18. Let m = 3 - z. Is 93/12 + m/4 a multiple of 8?
True
Let l be 42/(-8) - (-18)/(-24). Let s be 1*(l - 3)/1. Is 11 a factor of -1*3/s*99?
True
Let v(k) = -11*k - 1. Let r(z) = z**2 + 3*z - 3. Let q be r(-3). Does 16 divide v(q)?
True
Suppose -2*o + 50 = -10. Does 9 divide (o/(-25))/(3/(-90))?
True
Suppose 40*l = 37*l + 108. Is 13 a factor of l?
False
Let m = -49 - -83. Let r be (1/(-2))/((-1)/(-48)). Let w = m + r. Does 5 divide w?
True
Let d(i) = i**3 + i**2 - 2*i + 4. Suppose h = -5*t - 0*t - 15, 2*t = 4*h + 38. Let c = -7 - h. Does 11 divide d(c)?
False
Does 7 divide (3 - (-2)/(-1)) + 23?
False
Let r(i) = 5*i. Let w be r(-1). Let x = w + 5. Suppose x = 3*a - 8*a + 10. Is a even?
True
Suppose 2*b + 13 = 49. Is b a multiple of 8?
False
Let n(h) = -h**3 - 7*h**2 - h - 3. Let q = -14 - -7. Is 2 a factor of n(q)?
True
Let p = -11 + 55. Let i = 82 - p. Is 19 a factor of i?
True
Let i(u) = u - 4. Let h be i(6). Suppose 2*k - 66 = h*m, k + 8 = 2*m + 40. Is 15 a factor of k?
False
Let j(t) be the first derivative of t**4/4 - 3*t**3 + 4*t**2 + 6*t - 4. Is j(8) a multiple of 3?
True
Let x = 32 - -1. Suppose -3*w - 3*s = -x, -20 = -6*w + 2*w + 2*s. Let u(y) = -y**2 + 9*y + 3. Is 17 a factor of u(w)?
True
Let i = -8 - -12. Suppose 3*z + a = 27, -3*z - 2*a = -i*a - 18. Is z a multiple of 5?
False
Suppose 0 = -4*k + 3*v + 23, -22 = -0*k - 4*k + 2*v. Is k a multiple of 4?
False
Suppose 21 = -3*z + 75. Does 18 divide z?
True
Suppose 0 = -4*a, 51 = -4*d + d + 2*a. Let l = d + 9. Let w = l + 19. Is w a multiple of 6?
False
Let k be (-2)/((-2)/1) + 1. Suppose 4*m = k + 62. Is m a multiple of 8?
True
Suppose m + 2 = 2*m. Let s = -10 + 15. Suppose v + 3*l - 5 = 2*l, s*v = m*l + 25. Does 2 divide v?
False
Suppose o - 7 - 2 = 0. Let c = -9 - -6. Let y = o + c. Is y a multiple of 4?
False
Let q(h) = 2*h. Let w be (4 - 6)/((-2)/4). Suppose -w*x + 23 = -s, -x = -6*x + s + 29. Is 4 a factor of q(x)?
True
Let i be 56/4 - (0 - 0). Suppose -6*c + 32 = -2*c. Let o = i - c. Does 4 divide o?
False
Suppose -2*a - 2 = 0, 2*b - 5*a - 117 - 62 = 0. Is b a multiple of 17?
False
Let z be -2 - 4*(-3)/(-6). Let b be 6/z*(-744)/18. Suppose 3*n = a - 23, n - 69 = -4*a + b. Does 16 divide a?
True
Let k(l) = l**3 + 7*l**2 - 3*l - 1. Let z = 10 - 17. Is 10 a factor of k(z)?
True
Let p = 11 - 8. Suppose 0 = 4*l + 12, -p*i + l = -27 - 90. Suppose 0*x = 2*x - i. Is 11 a factor of x?
False
Let h(j) = 15*j - 2. Let y be h(5). Suppose y = 2*x - x. Is 20 a factor of x?
False
Suppose 0 - 4 = -4*m. Let z = -7 + m. Let t = z + 11. Is t a multiple of 3?
False
Let h(s) = -s**3 - 11*s**2 - 12*s - 20. Is h(-11) a multiple of 7?
True
Let t(o) = -2*o**2 + o + 1. Let a be t(-1). Is 17 a factor of a/(-3)*(-51)/(-2)?
True
Suppose 0 = -u + 10 - 3. Is 2 a factor of u?
False
Suppose -2*v + 2 = -3*a, -v = -0*v - a - 2. Suppose -4*x - 3*d - v = -5*x, 3*d = -4*x + 16. Is 4 a factor of x?
True
Let n be (-150)/14 + 10/(-35). Let r = 16 + n. Is 5 a factor of r?
True
Let h be (-4)/(-3) + 4/6. Suppose 4*y = -2*t - 5 - 9, -3*t = h*y + 5. Let i = y - -8. Is i a multiple of 4?
True
Let c = 7 - 8. Let l(t) = 5*t**3 - 2*t**2 - t. Let v be l(c). Let d = v + 16. Does 10 divide d?
True
Suppose 5*a - 8 - 2 = 0. Suppose a*f - 4*f = -4*v - 74, -v + 34 = f. Is 19 a factor of f?
False
Let f(n) be the first derivative of 2*n**3/3 + n**2/2 + 1. Let k be f(1). Suppose -5*h - k = -53. Does 4 divide h?
False
Let t(v) = v**3 - 4*v**2 - v - 11. Let h be t(6). Suppose o - h = -1. Is o a multiple of 9?
True
Let k(w) = 9*w + 2*w - 8*w. Is 4 a factor of k(4)?
True
Let v(f) = -5 + 5 - 3*f + 1. Let w be v(-2). Suppose 0 = 5*p - 4*p - w. Is p a multiple of 7?
True
Let l = -14 + 19. Suppose -5*y = 4*m - 102, 4*y + y = -l*m + 105. Is y a multiple of 9?
True
Let v(q) = 6*q - 6. Suppose y - 10 = -