s c a multiple of 17?
False
Suppose 3*h - 38 = 5*r + 97, 0 = -2*r. Is 15 a factor of h?
True
Suppose -7*n = -3*n - 20, -2*c + 5*n - 35 = 0. Is (6/8)/(c/(-120)) a multiple of 18?
True
Let m(n) = -2*n**3 + 5*n**2 - n + 11. Let w(s) = -s**3 - s**2 - s. Let c(r) = -m(r) + 3*w(r). Does 2 divide c(-8)?
False
Let a(t) = -4*t - 11. Let m(d) = 3*d + 10. Let n(c) = 2*a(c) + 3*m(c). Is n(0) a multiple of 7?
False
Let a be ((-2)/3)/((-8)/36). Suppose y - 7 = -2*g, 2*g = a*y + 11 + 8. Is g a multiple of 2?
False
Is 9 a factor of (-1218)/(-24) + 2/8?
False
Let o = 8 - 5. Suppose -d + y = 2, 7 = -o*d - 4*y + 29. Suppose 2*v - 48 = -s, -v + d*s + 35 = -3*s. Is v a multiple of 25?
True
Let z(r) be the second derivative of -r**5/20 + r**3/3 - r. Let a be z(-2). Suppose -2*p = 4*s - 80, -a*p + 120 = 4*s - 6*s. Is 22 a factor of p?
False
Let k(a) = -a**2 - 12*a - 14. Does 2 divide k(-9)?
False
Let i(o) = -39*o - 2. Is i(-1) a multiple of 12?
False
Suppose -b - 2*b = -2*l - 79, 5*l + 9 = b. Is b a multiple of 15?
False
Suppose 0 = f + f. Does 3 divide (-11)/((-1)/(1 + f))?
False
Let r = -31 - -103. Suppose -3*d - 98 = -5*q + q, -3*d = -3*q + r. Is 23 a factor of q?
False
Let s = 30 + -7. Is 8 a factor of s?
False
Let b be (60/18)/((-4)/6). Is -2 - (-9)/3 - b a multiple of 6?
True
Suppose -t + 42 = 12. Is 18 a factor of t?
False
Let g = 4 - 2. Suppose 140 = g*f + 2*f. Is 11 a factor of f?
False
Let w(p) = -p**3 - 4*p**2 - 3*p. Let j(v) = 5*v**3 + 16*v**2 + 11*v + 1. Let u(t) = -2*j(t) - 9*w(t). Let b = -106 - -110. Does 6 divide u(b)?
True
Suppose -2*f = -5*f + 321. Suppose 5*u + 32 = f. Is u - 0*(-3)/6 a multiple of 7?
False
Let k = -2 - -6. Suppose 4*w - k*r = 456, 4*w - 686 = 3*r - 235. Let n = w - 64. Is 16 a factor of n?
False
Let t = -57 - -85. Is t a multiple of 10?
False
Let c(i) = 14*i**2 - 2*i - 4. Let q be c(-3). Let g = -69 + q. Suppose -2*h + 4*x - 64 = -7*h, -5*h + x = -g. Is h a multiple of 6?
True
Suppose -5*r - 5*t + 15 = 0, 3*t - t - 4 = -r. Suppose -72 = r*a - 5*a. Does 15 divide a?
False
Suppose 4*f + q + 4 = 3*f, 3*q + 12 = 0. Suppose -3*s + 6*s - 120 = f. Does 8 divide s?
True
Suppose -196 = -0*l - 2*l. Let t = l - 34. Is 15 a factor of t?
False
Let y(b) be the first derivative of 2*b**3/3 - 13*b**2/2 - 4*b - 4. Does 13 divide y(9)?
False
Let u(i) = 3 - 2 + 6 + i. Let r be u(-5). Is 5 a factor of -10*-1*1/r?
True
Let p(m) = -2*m + 8. Let c be ((-7)/1)/(1 - 2). Let b be p(c). Let t(j) = 2*j**2 + 7*j - 6. Is 12 a factor of t(b)?
True
Let x = -5 - -50. Is x a multiple of 15?
True
Let s be (-20)/3*9/(-3). Suppose 13 = 2*b + 5*u - s, 0 = -4*b - 4*u + 84. Is b a multiple of 8?
True
Let v(g) = -g**2 - 10*g - 10. Let p be (-2 - -1)/((-1)/3). Suppose h - 16 = p*h. Does 6 divide v(h)?
True
Suppose 4*d = 4*y - 80, 3*d + 30 = d - 3*y. Suppose 10*v + 15 = 5*v, -4*v = 2*c + 24. Is (-32)/d + c/(-27) a multiple of 2?
True
Suppose -m - 4*u - 2 = 0, -2*u + 5 = 5*m + 3*u. Let a(i) = 7*i**2 - 9*i + 13 + i**3 + 3*i**2 - i**m. Is a(-10) a multiple of 3?
True
Let z(i) = -i**2 - 11*i - 4. Let y be z(-8). Suppose f = -4*f + y. Suppose f*u - 6 = 3*g - 5*g, -2*u + 21 = -5*g. Is u a multiple of 3?
True
Let o = 10 + -16. Is (-10)/o*(-18)/(-5) a multiple of 3?
True
Let j(x) = -28*x + 40. Does 30 divide j(-5)?
True
Let z(o) = 3*o + 1 - 3 + 4*o. Is z(2) a multiple of 11?
False
Let b be -1 - (2 - 3 - 2). Suppose b*o = -14 + 66. Suppose -t = -3*t + o. Is t a multiple of 13?
True
Let r(d) = 7*d + 3. Let k(n) = 13*n + 7. Let v(w) = -2*k(w) + 5*r(w). Does 10 divide v(1)?
True
Suppose 113 = 8*a - 351. Is 3 a factor of a?
False
Suppose -5*k = -4*z - 3, -4*z + 3*z + 15 = 4*k. Does 3 divide z?
True
Suppose -2*h - 5*a + 260 = 0, -h + 5*a = -0*a - 145. Suppose -4*q + h = q. Does 27 divide q?
True
Let q be (4/5)/((-10)/(-25)). Suppose -q*r - 3*r = -2*z + 27, -z + 9 = 2*r. Is z a multiple of 5?
False
Let q(p) = -p + 3. Let w be q(8). Does 20 divide w - -3 - (-65 + 3)?
True
Let t = -416 - -738. Is t a multiple of 27?
False
Let m be 0 + (133 + -3 - 3). Suppose -5*u + 78 = -m. Suppose -109 = -2*p - u. Is 17 a factor of p?
True
Let u(y) = -2*y**2 - y**2 + 2*y + 4*y**2. Is 16 a factor of u(6)?
True
Suppose -3*a - 2*a - 5*v + 100 = 0, -3 = -3*v. Let f = a + -5. Does 13 divide f?
False
Let r = 106 + -55. Let d = r - 15. Is 9 a factor of d?
True
Suppose -23*p + 7*p = -208. Is p a multiple of 5?
False
Let g(t) = 51*t**3 + 3*t**2 - 2*t. Does 2 divide g(1)?
True
Let h(x) = x**3 + 9*x**2 + 4*x + 5. Let p be h(-7). Let z = p - 48. Is 9 a factor of z?
True
Let y(r) = -r**2 - 8*r - 8. Is 2 a factor of y(-5)?
False
Is 34 a factor of (-2010)/9*24/(-20)?
False
Let c(h) = 35*h - 33. Is c(5) a multiple of 10?
False
Let t be (-1)/4 - 3234/24. Let y(k) = -k**2 - k - 5. Let w be y(-5). Does 9 divide (t/w)/((-1)/(-5))?
True
Suppose -3*x + 4 = -11. Suppose 0 = x*n - 2*y - 55, 10 = -0*y - 2*y. Let r = -6 + n. Is r even?
False
Suppose 4*v = v + 60. Let t be (-105)/v - 2/(-8). Let c = 8 + t. Does 2 divide c?
False
Suppose -107 + 14 = -i. Let p = -56 + i. Does 19 divide p?
False
Let i(s) be the third derivative of 3*s**5/5 - s**4/24 + s**3/6 + 3*s**2. Does 12 divide i(1)?
True
Suppose -f - 5*b + 68 = -0*b, 4*f - b = 188. Suppose 357 = 3*l - f. Suppose -o - 3*o = 2*y - 98, 5*o - l = -5*y. Is 8 a factor of o?
False
Suppose -946 + 101 = -5*x. Is x a multiple of 16?
False
Suppose 2*t + 2*t = 8. Let z = 2 - -5. Let p = z + t. Is 4 a factor of p?
False
Let u(g) = -g**2 + 6*g - 3. Let r be u(3). Let l be (-3)/(-2)*20/r. Suppose 105 = 5*v - l*b, 4*v - 3*b - 84 = -7*b. Is v a multiple of 8?
False
Suppose 0 = 3*h + h + 3*x + 9, 0 = 4*h + 2*x + 6. Let w = 2 - h. Is 7 a factor of 33*(1 - w/3)?
False
Let a = 10 + 6. Suppose 4*b + a = -3*s + 82, 0 = 4*b - s - 74. Does 5 divide b?
False
Suppose 0 = 7*i - 2*i - 1660. Suppose -3 = -5*t + i. Let n = 107 - t. Is n a multiple of 20?
True
Let c(u) = -8*u + 1. Let v be c(-3). Let k = v + -17. Does 5 divide 6*-2*k/(-6)?
False
Let r = 0 - -3. Suppose 7*g - 4*g - 177 = -b, g = -r*b + 51. Does 28 divide g?
False
Let o(t) = 2*t**3 + 10*t**2 - 4*t - 8. Is o(4) a multiple of 8?
True
Suppose -4 = -2*n, n - 3 = -3*h + 4*n. Suppose 0 = -5*y + 4*z + 78, -5*y + 2*y - h*z + 36 = 0. Is y a multiple of 14?
True
Let l = 3 - 3. Is 16 a factor of (96/(-9) + l)*-3?
True
Let i(z) = -27*z + 6. Let y(p) = -2*p**2 - 2*p - 2. Let x be y(-2). Let g be i(x). Suppose -5*j + j = -g. Is j a multiple of 21?
True
Let m(u) = 24*u - 2. Let i = -7 + 9. Is 25 a factor of m(i)?
False
Suppose 0 = 4*k - 5*k + j + 10, -5*k + 50 = -3*j. Does 7 divide (k - 3)*(-2 - -3)?
True
Let k = 914 - 464. Let l = 686 - k. Suppose 0 = 5*d - d - l. Is 21 a factor of d?
False
Let y be 2 + 3*(-2)/(-6). Let p(c) = 2*c**2 - 3*c + 1. Does 5 divide p(y)?
True
Suppose 1999 = 9*v - 764. Is 44 a factor of v?
False
Suppose 20 = 2*x + n, -n = -5*x + 4*n + 20. Let j = x + 44. Is 9 a factor of j?
False
Let i be (3/(-4) + 0)*-4. Suppose -2*s - 29 = -i*s. Is s a multiple of 15?
False
Let m = -211 + 336. Is m a multiple of 32?
False
Let u = -94 - -166. Suppose 5*v - 73 = u. Let p = 47 - v. Does 9 divide p?
True
Let i = 5 - -5. Is 10 a factor of i?
True
Let u(w) = 3*w**2 + 11*w + 33. Is u(-13) a multiple of 59?
False
Suppose -2*r = 5*h - 235, 3 = 4*h - 1. Is 23 a factor of r?
True
Suppose 3*x = 4*x. Suppose x*b + 3*b = 18. Is 4 a factor of b?
False
Suppose f + 3*c + c - 18 = 0, 0 = -4*f - 2*c + 2. Let v = f + 5. Is v a multiple of 2?
False
Let v be (3 + -2)*8 - 1. Let p(t) = 2*t**2 - 9*t - 7. Is p(v) a multiple of 7?
True
Let x = 163 + 13. Does 22 divide x?
True
Suppose -h - 5*l + 60 - 20 = 0, -4*h + 45 = -3*l. Suppose -k - 96 + h = -3*c, -2*c + 5*k + 54 = 0. Is 11 a factor of c?
False
Let b be 15*1/1*6. Let g = b + -62. Is g a multiple of 7?
True
Let f = 98 + 49. Suppose 5*g - 173 = f. Is 16 a factor of g?
True
Suppose 4*y - 5*y = -54. Is 20 a factor of y?
False
Suppose 3*t + 6 = 6*t. Let d(l) = 3*l - 2. Does 3 divide d(t)?
False
Suppose -x + 3*i - 1 = 3, -i + 20 = -3*x. Let w(n) = n**2 + 1. Let a be w(x). Suppose 4*d = 2*b - a + 18, -4*d = b + 8. Is b a multiple of 4?
True
Let n(w) = w**2 + w - 2. Is n(-6) a multiple of 28?
True
Suppose 5*u - 78 = 3*u. Is u a multiple of 25?
False
Is (-1 + 2)/(5/1200) a multiple of 30?
True
Let x(j) = j + 2. Let n be 