Suppose 3*n = -0*x - 3*x + 93, -2*n - 2 = 0. Does 12 divide x?
False
Is 1330/(-28)*4/(-2) a multiple of 19?
True
Is 3 - (1344/(-10) + 2/5) a multiple of 36?
False
Let y = -97 - -163. Is 19 a factor of y?
False
Let z be (-3)/1 - (-6 + -2). Does 7 divide z/(10/6) - -11?
True
Suppose k - 6 = 9. Suppose -3*v + 0*v + 21 = 0. Let c = k - v. Is 3 a factor of c?
False
Let x(n) = -14*n**2 + n + 1. Let v(r) = -71*r**2 + 5*r + 6. Let i(t) = 2*v(t) - 11*x(t). Is i(-2) a multiple of 21?
False
Let y = -353 + 515. Does 14 divide y?
False
Let p be (2 - -1)*(3 - 1). Suppose -3*u + 2*k = -14, 4 = u + k + p. Suppose u = z - 3. Does 5 divide z?
True
Suppose 3*u - 4*q - 9 = -0*q, 4 = u - q. Suppose -2*l - u + 113 = 0. Does 12 divide l?
False
Let q be 1/6 + 6895/30. Let t = -149 + q. Does 22 divide t?
False
Suppose -2*m + 6 = m. Let w be 6*(m/6)/1. Let s = w - -1. Is s even?
False
Let a = 71 + 9. Does 20 divide a?
True
Let h be 2/9 - (-1565)/45. Suppose 14 = m + 2*t - h, 4*m + 5*t = 208. Is m a multiple of 10?
False
Let j = 73 - 52. Is j even?
False
Let m(s) = -s**2 + 9*s + 12. Is m(8) a multiple of 20?
True
Let y be 2/(-5) + (-34)/(-10). Suppose -5*t = -y*c - 179, -4*t + 2*t = 4*c - 82. Does 17 divide t?
False
Let f = -16 - -10. Let g be f/((6/(-2))/(-3)). Is 2 a factor of 3*(g/9 - -2)?
True
Let b be 1/2*2*-37. Let d = -24 - b. Does 13 divide d?
True
Suppose -856 = -8*n + 600. Is 32 a factor of n?
False
Suppose 0*u = 4*u - 156. Is 13 a factor of -1*u*(-6)/9?
True
Let o(n) be the third derivative of -n**5/60 + n**4/2 + n**3/2 + n**2. Is 30 a factor of o(9)?
True
Suppose 96 = -p + 3*p. Is 16 a factor of p?
True
Suppose 0 = 3*o - 3*i + 15, 6*o + 38 = 2*o - 5*i. Let m = o + 37. Is 15 a factor of m?
True
Let n(x) = x**2 - x - 2. Let l(q) = 8*q**2 - q + 1. Let j be l(1). Suppose -j = 3*g + g. Is n(g) a multiple of 3?
False
Let m = 34 - 29. Is m even?
False
Is 4 a factor of (2 - (45 + -3))/(-2)?
True
Suppose -2*c = -3*c + 32. Suppose 4*g + 5*z - 100 = 2*z, z = g - c. Suppose 2*r - g = -2*r. Is r a multiple of 4?
False
Let a = 3 + -1. Suppose -a*o - 2 = -5*y, -5*o + y = -31 - 10. Is 3 a factor of o?
True
Suppose -9*y + 99 = -0*y. Is y a multiple of 6?
False
Let s be 0/(1 + 0 + 1). Suppose 5 = -2*f - s*p + 3*p, -5*f = 5*p - 25. Suppose 0 = -2*n + 2*w + 44, 0 = -2*n + n - f*w + 16. Is n a multiple of 9?
False
Let t = 232 - 122. Is 22 a factor of t?
True
Suppose 0 = 5*w - 260 - 140. Is w a multiple of 10?
True
Let w(d) = d**3 + 9*d**2 + 7*d + 6. Let u be 64/12*3/(-2). Does 5 divide w(u)?
False
Let x be (-30)/(4*3/(-6)). Suppose -5*f = 5 - x. Is 44/((f - 0) + -1) a multiple of 22?
True
Suppose 3*i = 4*i + 1. Let r be -2 + i + (-2 - -10). Does 13 divide ((-26)/(-4))/(r/30)?
True
Let b = 4 + 8. Does 4 divide b - (5 - (-4 + 8))?
False
Let b(u) = u**2 - 3*u + 3. Let z be b(3). Let x be (2 - z) + 6/2. Suppose d - 36 = c, 0 = -2*d - d - x*c + 113. Does 15 divide d?
False
Suppose -s = 2*l - 3*s - 94, 4*s - 124 = -2*l. Is 2 a factor of l?
True
Suppose 0 = -4*n + 3*n + 4*l - 7, -5*n + 2*l = -55. Is 2 a factor of n?
False
Let p = -11 + 15. Let c(o) = -o**3 - 12*o**2 + 5*o - 8. Let h be c(-9). Does 10 divide p/10 + h/(-10)?
True
Let p = 12 + 6. Does 6 divide p?
True
Suppose -264 = -4*x - 2*x. Is x a multiple of 11?
True
Let i(o) = o**2 - 4*o. Let y be i(6). Let z = -7 + y. Is z a multiple of 5?
True
Let w be 500/(4 + -2) - 3. Suppose 5*z - 380 = -2*t, -4*z + z - 5*t = -w. Does 14 divide z?
False
Let q = 6 + -3. Suppose -2*s = -4*h - 12, -q*s + 6*s + 5*h + 4 = 0. Is s a multiple of 2?
True
Let p be (-272)/(-12) - 2/3. Suppose z = -2 + p. Is 20 a factor of z?
True
Suppose -v + 4*v = 252. Suppose s + 8 = v. Is s a multiple of 19?
True
Is ((-4)/(-3))/(4/72) a multiple of 6?
True
Let g(x) = x - 1. Let c be g(5). Suppose 3*b - 4 = -c*n + 2*n, 0 = -n + 3*b + 11. Suppose -n*m + 25 = -0. Does 2 divide m?
False
Let u(m) be the second derivative of 7*m**4/12 + m**2 - m. Let q(k) = 3*k**2 + k. Let g be q(-1). Does 11 divide u(g)?
False
Let b(w) = -17*w + 5. Let a(y) = -4*y + 1. Let j(f) = 9*a(f) - 2*b(f). Let x be -3 + (-1)/1 + 1. Is j(x) a multiple of 4?
False
Is 43 a factor of (-5)/(45/3)*774/(-2)?
True
Suppose -9*g = 7*g - 5680. Is g a multiple of 23?
False
Let t(j) = j**2 - 3*j - 4. Let r be t(-3). Let o = 3 + r. Does 17 divide o?
True
Let r be 3/(9/15) + 0. Suppose -56 = -4*u - r*b + 60, -5*u + 4*b + 186 = 0. Is 21 a factor of u?
False
Suppose -624 = 2*g - 6*g. Does 8 divide g?
False
Let w(h) = 56*h**2 + 2*h + 1. Does 16 divide w(-1)?
False
Suppose 0 = -5*n + 10*n - 45. Is n a multiple of 6?
False
Let b be -4 + (-2 - 4/(-2)). Let u = b - -24. Does 10 divide u?
True
Let v be 2*(0 + 15/6). Suppose 2*j = -4*s - 2*j + 76, 145 = v*s - 5*j. Is 8 a factor of s?
True
Suppose -p + 4*l = -2*p + 26, -3*p + 3*l + 3 = 0. Suppose -3*g = 3*y - p, 3*y = g - 2 - 8. Let b(w) = w**3 - 5*w**2 + 7*w - 6. Is 3 a factor of b(g)?
True
Is 4 a factor of (12/16 + (-1)/(-20))*35?
True
Let a = -32 + 50. Is 4 a factor of a?
False
Suppose -1164 = -3*u - 3*u. Is u a multiple of 12?
False
Suppose -5*b + 4*k = 6, 5 - 21 = -4*k. Suppose -82 + 16 = -b*m. Suppose n + 5 = 0, -3*l = n + 2*n - m. Is 9 a factor of l?
False
Suppose -24 = 6*z + 174. Let c = z - -54. Does 7 divide c?
True
Let b(r) = 0 + 3 - 13*r + 1 - r. Is 14 a factor of b(-3)?
False
Suppose 2*y - 11 = -3. Suppose p + p + y = 0. Does 8 divide p + (-2 - -2) + 10?
True
Let p be (2/(-3))/(4/(-18)). Suppose 82 = 5*c + p*y, 2*y - 4*y + 49 = 3*c. Is c a multiple of 17?
True
Let r(u) = u - 2. Let p be r(1). Let i be (-10)/(-2 - (p - -1)). Suppose 0 = 5*v - 2*s - 104, 4*v - 42 = -i*s + 28. Is 10 a factor of v?
True
Let y(n) be the first derivative of -41*n**4/4 - 2*n**3/3 - n**2/2 - 8. Is y(-1) a multiple of 11?
False
Let y(q) = -q**3 - 5*q**2 - 4*q - 6. Let r be y(-5). Suppose -r = -3*s + s. Is 6 a factor of s?
False
Suppose -2*p + p = -4. Is (2/1)/(p/40) a multiple of 10?
True
Does 17 divide (-2648)/(-26) - (-2)/13?
True
Let n(o) = -o + 29. Let b = 2 + 3. Suppose 0*k - 4*u = -2*k - 12, -15 = -b*u. Is n(k) a multiple of 16?
False
Suppose 3*q + 4*y = -0*q + 60, -2*y - 54 = -2*q. Is 12 a factor of q?
True
Suppose 4*u - 5*l - 233 = 142, 0 = u + 3*l - 98. Let d = u + -275. Is 9 a factor of (2/5)/((-4)/d)?
True
Suppose -3*z - 153 = -2*p, -4*z - 177 - 131 = -4*p. Is p a multiple of 4?
False
Let j(i) = 3*i + i**2 + 0*i**2 - 10*i + 0*i**2. Let b be j(6). Is 16 a factor of (-8)/b*(32 + 1)?
False
Let a(z) = -3 + 15 - z - 3. Does 5 divide a(-9)?
False
Let k(v) = 2*v**2 - 2*v. Let s(z) = 3*z**2 - 3*z + 1. Let c(q) = -5*k(q) + 4*s(q). Does 11 divide c(-4)?
True
Suppose -26*q = -25*q - 190. Does 34 divide q?
False
Suppose 0 = -4*v - 3*i + 20, -v + 2*i + 5 = -0*i. Suppose 4*g - v*g + 22 = 0. Is 4 a factor of g?
False
Let d(m) = -m + 1. Let r(z) = 3*z. Let t(w) = 6*d(w) + 3*r(w). Is t(6) a multiple of 12?
True
Let h be 28/7 - (-2)/2. Suppose m - 134 = -h*p - 4, -4*p = 5*m - 104. Is p a multiple of 13?
True
Let d(z) = -4*z**2 - 6*z + 2. Let k(l) = -5*l**2 - 7*l + 3. Let m(c) = 6*d(c) - 5*k(c). Suppose -a = a + 8. Does 13 divide m(a)?
False
Suppose 3*b - 39 = -24. Suppose 0*l = -2*l + 92. Suppose -l = -b*m + 3*m + 2*h, -2*m = h - 49. Does 12 divide m?
True
Suppose 5*i - 3*s = -0*s - 13, -2 = -2*s. Let j = -5 - i. Is 6 a factor of (22/(-6))/(1/j)?
False
Suppose -2*y - 19 + 115 = 0. Is 12 a factor of y?
True
Is 26 a factor of 3/(-8) - (6 - (-1401)/(-24))?
True
Let y = 5 - 2. Let u(s) = -y + 3 + 4*s. Is 6 a factor of u(3)?
True
Let d = 8 + -7. Let x = d + 27. Is x a multiple of 14?
True
Let q(i) = i**3 - 4*i**2 - 6*i + 7. Let s be q(5). Let o(h) = 9*h**3 - s - 1 + 2 + h. Is 3 a factor of o(1)?
True
Let k(u) = -2*u + 66. Let h(j) = 5*j - 199. Let f(z) = -3*h(z) - 8*k(z). Is f(0) a multiple of 16?
False
Let f = 23 - -2. Is f a multiple of 25?
True
Let o(d) = -d**3 - d + 2. Let x be o(0). Suppose 0*h = 2*t + h - 45, -x*h + 50 = 2*t. Does 20 divide t?
True
Let t(d) = -d**3 - 3*d**2 + d + 1. Let l(p) = p - 2. Let h be l(-2). Does 6 divide t(h)?
False
Suppose 2*u + x - 51 = 2*x, 4*x + 135 = 5*u. Is u a multiple of 17?
False
Let b = 18 - -9. Let x(s) = -s - 3. Let q be x(-6). Suppose -q*o = -b - 39. Is 11 a factor of o?
True
Let j = -56 + 90. Is 34 a factor of j?
True
Suppose -429 + 84 = -5*d. Does