iple of 19?
False
Let c(k) = 2*k - 4. Let x be c(3). Suppose -x*o - 5 = -25. Is o a multiple of 9?
False
Suppose 2*j = -3*b + 16, 6*b - 2 = 5*j + 3*b. Suppose 7 = -2*v + 5*c + 18, -j*v + 7 = -c. Suppose v*h - 44 = -11. Is 11 a factor of h?
True
Let u = -4 + 4. Suppose 2*y - 5*z - 70 = 18, 4*z + 125 = 3*y. Suppose u*c + y = c. Is 17 a factor of c?
False
Let t be ((-4)/(-3))/((-2)/(-24)). Suppose 2*r = -2*a + 12, 4*r - 2*r + 3*a - t = 0. Suppose -z + 30 = r*z. Is z a multiple of 10?
True
Let p(x) = -21*x - 3. Let v(z) = -z**3 + 2*z**2 + z + 3. Let t be v(3). Does 16 divide p(t)?
False
Suppose s - 218 = 3*l, -3*l + 109 - 297 = 5*s. Let q = l - -99. Is q a multiple of 14?
True
Let c = 13 + 23. Is c a multiple of 15?
False
Let w = -7 + 8. Suppose -9 = s + w. Does 22 divide 163/5 - 4/s?
False
Let v = 34 - 6. Suppose 108 = 5*i + v. Does 14 divide i?
False
Suppose -5*b = -2*o + 4*o - 293, o = -1. Is 10 a factor of b?
False
Let t(u) = -5*u. Let q = -7 - 2. Is 13 a factor of t(q)?
False
Let w(q) = 7*q**2 - 4*q + 3. Does 8 divide w(2)?
False
Let r(o) = -17*o - 8. Is r(-4) a multiple of 20?
True
Let r(t) = t + 7. Is r(9) a multiple of 8?
True
Does 26 divide -1*12/(-66) - (-6860)/22?
True
Let c(v) = -6*v + 9. Let j(o) = -o**2 + 10*o + 7. Let n be j(11). Is 11 a factor of c(n)?
True
Let u = 87 + -62. Let m(x) = x**2 - 8*x - 4. Let o be m(7). Let f = o + u. Is 5 a factor of f?
False
Suppose -z - 3*t + 8 = 0, 2*z + 3*t = 2*t + 16. Is z a multiple of 8?
True
Suppose 0 = -4*s + 36 - 4. Suppose 5*y = y + s. Suppose 2*h = 10, -c + y*c + 10 = 4*h. Does 10 divide c?
True
Let u be 6/9 - 28/(-12). Suppose u*c - c - 20 = 0. Is c a multiple of 5?
True
Let y be 6/(-4) - (-1027)/26. Let o = y - 18. Is o a multiple of 10?
True
Let c = -4 - -10. Let p be (3/2)/(c/(-8)). Does 20 divide p + 3/(9/66)?
True
Suppose 4*h = 4, -t + 3*t + 4*h = 138. Is 16 a factor of t?
False
Let c(o) = o**2 + 10*o + 21. Is c(-11) a multiple of 4?
True
Let s(h) = 4*h. Let i(v) = 3*v + 1. Let j(r) = -5*i(r) + 4*s(r). Is j(8) a multiple of 3?
True
Suppose 0 = 5*h - 5*a - 265, 0*h + 3*h - 4*a - 155 = 0. Suppose 3*c - h = -0*c + 3*l, 0 = 4*c - 2*l - 68. Is c a multiple of 15?
True
Suppose -h + 113 = -2*d, -h + 5*d = 2*h - 336. Is 14 a factor of h?
False
Let c(r) = 11*r**2 - 13*r + 1. Let m(n) = 5*n**2 - 7*n. Let p(l) = -6*c(l) + 13*m(l). Is 16 a factor of p(-9)?
False
Suppose -5*i = 0, 4*w - 6*i + 3*i = -32. Suppose x + 3*o + 267 = 4*o, -5*x - 2*o - 1314 = 0. Is 7 a factor of x/(-32) + 2/w?
False
Suppose 25*w - 21*w - 500 = 0. Is w a multiple of 25?
True
Suppose 0 = z + 3*a - 4 + 6, -4*a = -3*z + 20. Does 3 divide z?
False
Suppose 0 = 2*u + 4*b - 24, -5*b - 44 = -2*u - 4*b. Is u a multiple of 10?
True
Suppose 159 = -y + l, -5*l + l = y + 164. Is 16 a factor of (114/(-95))/(3/y)?
True
Suppose -7*w - 10 = -2*w. Does 10 divide (4/6)/(w/(-66))?
False
Let t(b) = b - 1. Let h be 3*-1 - (-40)/4. Let q be t(h). Does 14 divide 254/6 - 2/q?
True
Is 688/18 - (-38)/(-171) a multiple of 19?
True
Suppose c + 14 = -4*m, 2*c + 5*m = 4*c + 2. Let a be ((-9)/c)/((-2)/(-8)). Let f(i) = i**2 - 2*i - 6. Is f(a) a multiple of 10?
False
Is 18 a factor of (-2 - -33) + 2 + 3?
True
Suppose -5*x = -2*x - 81. Is 6 a factor of x?
False
Let k = 49 - 28. Let r(q) = 32*q**2 + 7*q + 5. Let s be r(-4). Is s/k + 2/(-7) a multiple of 15?
False
Let a = 179 + 137. Suppose -2*m = 2*m - a. Is 36 a factor of m?
False
Suppose -3*n - 81 = -5*h + 2*h, -h - 29 = n. Let b be n/4*(4 - -1). Let w = 59 + b. Does 12 divide w?
True
Suppose 0 = -5*s - n + 39, -n = -4*n + 12. Is s even?
False
Suppose -119 = 3*o - 6*o + 5*m, 5*o = -4*m + 260. Does 16 divide o?
True
Is 9 a factor of 12*(2/8)/((-2)/(-36))?
True
Is 18 a factor of (-1)/(-1*(-2)/(-36))?
True
Suppose -13 - 31 = -3*c + 4*q, 5*c + 3*q - 112 = 0. Is c a multiple of 5?
True
Let y = 11 - -7. Does 18 divide y?
True
Suppose -3*k - 12 = 0, 51 = -3*p + 2*k - 61. Let t be p/((-1)/2*2). Suppose t = 4*s - 4*w, 2*w = 5*s + 3*w - 38. Is s a multiple of 4?
True
Suppose 0 = -4*m - 16, 2*r - m = -3*m + 60. Is r a multiple of 17?
True
Let k = 12 + 15. Let a = k + -7. Is a a multiple of 10?
True
Let d = 20 + -14. Suppose -d*g = -g - 450. Is g a multiple of 30?
True
Let k(f) = -3*f**3 + 2*f**2 - f**2 + 7*f - 4*f**3 - 6*f. Is k(-1) even?
False
Suppose -3*d = 4*a - 78, 3*d - 3*a + 5*a = 84. Suppose q - 3*p = -36, -2*q - 13 - 9 = 4*p. Let t = d + q. Does 6 divide t?
False
Let t = 17 - 9. Let m = 22 - t. Suppose 114 = 5*n + m. Is n a multiple of 20?
True
Let j(q) = q**3 - 6*q**2 + 7*q + 3. Is j(6) a multiple of 9?
True
Suppose 117 = 5*m - 228. Is 27 a factor of m?
False
Let y(a) = 7*a - 12*a - 4*a - 1. Suppose 2 = 2*f + 10. Does 21 divide y(f)?
False
Let k(j) = 4*j**2 + j + 1. Is k(2) a multiple of 5?
False
Suppose 5*j - 5*t = -10, 5*j - 3*t + 2 + 6 = 0. Let v be 4/1 + 2*j. Suppose -2*h - l - 3*l = -106, 10 = v*l. Is 15 a factor of h?
False
Let o be 64/(-8)*(-2)/(-4). Does 3 divide ((-10)/o)/(3/12)?
False
Suppose q + 8 = 5*z - 2, 0 = -5*q + z - 50. Let f(j) = -j. Let k be f(-2). Let y = k - q. Does 5 divide y?
False
Let g(x) = -9*x - 45. Is g(-9) a multiple of 3?
True
Suppose -2*s = -5*k + 20, 2*k = 6*k + 5*s + 17. Does 4 divide -1 + k + 2 + 1?
True
Let r = 11 - 13. Let s = 6 - r. Is s a multiple of 4?
True
Suppose -10 + 3 = -d - c, -4*c = d - 13. Let w = -3 + d. Is w a multiple of 2?
True
Let y = 4 - 4. Let l(t) = t**2 - t + 57. Is 22 a factor of l(y)?
False
Suppose 0 = z + 3*z - 12. Suppose -z*i + 144 = -i. Is i a multiple of 24?
True
Let y(t) = -t**3 + t**2 + t - 1. Let b be y(1). Suppose b = -2*r - r + 144. Does 16 divide r?
True
Let l = 8 + -7. Let q(y) = 20*y. Does 6 divide q(l)?
False
Let k(n) be the first derivative of 2 + 3*n**2 + 1/3*n**3 - 2*n. Does 2 divide k(-7)?
False
Let j(g) = 21*g**2 - 7*g - 2. Does 13 divide j(-2)?
False
Suppose 44 = 3*j + 17. Is j a multiple of 8?
False
Let z(r) = -r**3 + 2*r**2 + 2*r. Let k(y) be the second derivative of y**3/6 + 4*y**2 - 2*y. Let m be k(-6). Is 3 a factor of z(m)?
False
Let n = 72 - 24. Is 6 a factor of n?
True
Let d = -2 - -1. Let p = -1 - -2. Is 11 a factor of -3 - -18 - (p + d)?
False
Let b = 7 - 2. Suppose -4*g + 24 = 4*i, 4*g + 5 = 5*g + 2*i. Suppose -g = -t + b. Is t a multiple of 8?
False
Let l = -91 - -26. Let n(f) = -12*f**2 + 2*f - 2. Let y be n(3). Let z = l - y. Is 14 a factor of z?
False
Let c(v) = 2*v - 4. Let h be 2*2/(12/3). Suppose -x + 3 = -h. Is c(x) a multiple of 2?
True
Let d = -21 - -11. Suppose 0*y + 4*n = -y - 5, -2 = -2*y - 2*n. Does 7 divide y + -1 + d/(-2)?
True
Let k(t) = t**3 + 3*t**2 - 3*t - 4. Let r(u) = -2*u + 9. Let g(a) = -a**3 + 8*a**2 + 10*a - 3. Let n be g(9). Let j be r(n). Is k(j) a multiple of 2?
False
Let f = 1 - -1. Suppose 0 = -0*v - 5*v. Suppose -f*p + 3 + 9 = v. Does 3 divide p?
True
Suppose -34 = -2*o + 20. Does 4 divide o?
False
Suppose 0 = 3*w - 11 - 4. Let t = w - 3. Suppose r = 5*j - 17, 4*j + 4*r = t*r + 8. Does 3 divide j?
True
Let u(w) = -3*w + 2 - 3*w + w. Is 16 a factor of u(-7)?
False
Suppose -6*u = 3*l - 2*u + 63, 5*u + 100 = -5*l. Let x = l - -27. Is 2 a factor of x?
True
Let h = -10 + 13. Suppose -3*p + 108 = 5*c, 2*c + 53 = h*p - 55. Does 12 divide p?
True
Let w = 47 - 146. Let l = w - -145. Is 12 a factor of l?
False
Suppose c + 4*d = 6*c - 305, 3*d + 122 = 2*c. Suppose 4*u + p = 231, -u - 7 = 4*p - c. Is 17 a factor of u?
False
Let k be (-2)/(-5) - (-746)/10. Is k/4 + (-1)/(-4) a multiple of 10?
False
Let g = -1 - -3. Suppose 2*o - 3*n + g*n - 59 = 0, -4*n = 12. Is 9 a factor of ((-36)/(-14))/(4/o)?
True
Suppose 0 = -x - x + 2. Suppose -4*b = -p - 2*b + 15, 3*b = p - 20. Let t = x + p. Is t a multiple of 6?
True
Let j(g) = -3*g**2 - 7*g + 2. Let r(d) = d**3 - 3*d**2 - 4. Let o be r(3). Let h(y) = -4*y**2 - 8*y + 2. Let i(f) = o*h(f) + 5*j(f). Is i(5) a multiple of 12?
True
Let n be -3*(1 - (3 + -1)). Does 4 divide (0 + (-2)/n)*-6?
True
Let c(h) = -h**2 + 30. Is c(0) a multiple of 10?
True
Let r(x) = x**2 + 4*x. Let y be r(-5). Suppose 10*l = y*l - 20. Does 24 divide l/10 + 304/10?
False
Suppose -15*w + 216 = -12*w. Does 9 divide w?
True
Suppose -5*o + 11 + 9 = 0. Does 4 divide o?
True
Suppose -2*m - 41 = -5*g - 3*m, 0 = -2*g - m + 17. Is 4 a factor of g?
True
Suppose 5*q + 49 = 2*c + 2*c, 5*c - 3*