+ 70. Is 3 a factor of c?
False
Suppose 4*m - 11 = 125. Is 17 a factor of m?
True
Suppose -3*a + 2*d + 174 = -a, -5*d - 352 = -4*a. Let m = a + -44. Is 10 a factor of m?
False
Suppose 0*y - 2*y + 2 = 0, 0 = 2*g + 3*y - 251. Does 31 divide g?
True
Let k = 8 - 6. Let m(r) = 3 - k*r + 0*r + 3. Is m(-6) a multiple of 18?
True
Suppose -2*j - 4 = 0, 82 = -4*h + j - 36. Suppose 3*z - 69 = -2*g, 3*g = z + 1 - 13. Let c = z - h. Is 19 a factor of c?
False
Let v = 37 + -13. Is 14 a factor of v?
False
Suppose -105 + 1113 = 9*c. Is 28 a factor of c?
True
Let v = -10 + 15. Is 2 a factor of v?
False
Suppose -2*u + 5*u = 0. Suppose u = -2*h - 3*h. Suppose -a = -6 - h. Does 6 divide a?
True
Suppose 3*c = -c - 80. Let d = c - -34. Is d a multiple of 4?
False
Is 6 a factor of (4/(-8))/((-3)/72)?
True
Let v = 35 + -18. Suppose 0 = 5*k + u - 101, 0 = -k + 3*u - 0*u + v. Is k a multiple of 8?
False
Is 12 a factor of 26/91 + (-250)/(-7)?
True
Let n = 3 + -3. Suppose k - 1 + n = 0. Suppose k = -4*f + 49. Is 12 a factor of f?
True
Let y = -481 - -701. Let i be (0 + -2)/(5/y). Does 21 divide -1*(2 + i/2)?
True
Let z(s) = s**2 + s. Let c be z(-2). Suppose 2*f = q + 3*f + 27, q - 4*f = -c. Let r = -16 - q. Is 6 a factor of r?
True
Let w = -119 - -159. Is w a multiple of 10?
True
Let h(d) = 10*d. Let i = 1 - 7. Let q be h(i). Is 10 a factor of ((-10)/6)/(4/q)?
False
Suppose -6 = -3*c + 4*f, 0*f = 2*f. Suppose -5*q = -c*b + 38, 6*b - 52 = 3*b + 5*q. Is 4 a factor of b?
False
Let c(o) = 3*o - 3. Is c(9) a multiple of 13?
False
Suppose 25 = 5*u, -4*m - 2*u - 5 + 19 = 0. Is 24 a factor of (3 + m)/((-3)/(-36))?
True
Let p(k) = k**3 - 4*k + 3. Let u(z) = -z**3 - 5*z**2 - 4*z - 3. Let n be u(-3). Let q be n*(1 - (-12)/(-9)). Does 13 divide p(q)?
False
Suppose j + 4*d - 204 + 29 = 0, 10 = -2*d. Is j a multiple of 13?
True
Suppose 2*z - 4*u = -4, -4*z + 3*u = -2*z + 2. Let m(k) = k - 3. Let i be m(8). Let j = i - z. Is j a multiple of 2?
False
Let f = -1 - -6. Suppose 0*q - f*q - 5 = 0. Does 17 divide (-34)/q*(-2)/(-4)?
True
Suppose -5*m = 3*f - 20, -2*m - 4*f = -f - 8. Suppose 5*a + m*r - 49 = 41, 4*a - 5*r - 113 = 0. Is 14 a factor of a?
False
Let w(z) = z**3 - 9*z**2 + 9*z - 9. Let p be w(8). Is 1/(-2)*(p + -35) a multiple of 9?
True
Is 11 a factor of (-30)/(-9) + -3 - (-401)/3?
False
Is 15 a factor of 1/6 + (-1225)/(-30)?
False
Let z be 69/12 - 2/(-8). Let j be 14/(-3) + z/9. Let l(c) = -c**3 - 2*c**2 + 4*c - 3. Is 13 a factor of l(j)?
True
Let u = 292 + -20. Is 34 a factor of u?
True
Let t = -11 + 53. Suppose 6*n - 3*n = t. Suppose -n + 46 = g. Is 16 a factor of g?
True
Suppose 5*j - 4*j + 5 = -h, 2*j = 5*h - 10. Suppose -d - 3*k + 12 = h, 5*d + 9 = -3*k + 81. Is 6 a factor of d?
False
Let m be 5*((-32)/(-5))/4. Let x(v) = -v**3 + 9*v**2 - 5*v - 2. Does 11 divide x(m)?
True
Suppose 10 = 2*a - 2. Let p be ((-28)/a)/2*-3. Suppose -p + 121 = 3*m. Is m a multiple of 19?
True
Suppose 61 = x - t, 3*x + 2*t - 118 = x. Is x a multiple of 14?
False
Let a be (-2 - -9) + -3 - 2. Is 13 a factor of 26 + -4 - (-1 + a)?
False
Let d(q) = -3*q + 127. Is d(0) a multiple of 11?
False
Let u(x) = 4*x. Let c be u(5). Suppose -5*d - c = -0*d. Does 9 divide (12/(-5))/(d/30)?
True
Let l = -26 - -33. Is 4 a factor of l?
False
Is 11 a factor of 2346/21 + 8/28?
False
Suppose 3*o + 278 - 698 = -3*i, 0 = 5*i + 2*o - 685. Is i a multiple of 27?
True
Let s be (-8)/(-3) + (-6)/9. Suppose -4*t + 171 = -k - 4*k, 0 = -s*k + 10. Is t a multiple of 14?
False
Let j = 27 - -126. Is 7 a factor of j?
False
Let g(u) = 8*u - 1. Let a be g(1). Suppose -a*p + 40 = -3*p. Is p a multiple of 10?
True
Suppose -2*x + 5*g + 45 = -0*x, -5*x = -4*g - 138. Let d = x + 31. Suppose 5*h = k - 44, k = -3*k - 3*h + d. Is k a multiple of 9?
False
Suppose 3*l + 40 + 25 = r, -4*l = r + 96. Is (-3 + 1)*(l - -3) a multiple of 17?
False
Let z be 0 + (-14 - 2/(-1)). Let t = z + -50. Let a = 90 + t. Is 14 a factor of a?
True
Let l(r) = r + 25. Let o be l(0). Let m = o + -1. Is 12 a factor of m?
True
Let t = 153 + -79. Suppose -3*f + s + 70 = 0, -4*f + 5*s = -f - t. Is 15 a factor of f?
False
Suppose 7 = -v + 3, 0 = 2*j + 3*v + 14. Let q(f) = -8*f + 1. Is q(j) a multiple of 3?
True
Suppose 2*s + 5*k = 23, s + 21 = 3*s + 3*k. Suppose 0*l + s = 3*l. Suppose -l*m - b = -5*b - 46, -m + 13 = b. Is m a multiple of 7?
True
Let m be (-330)/(-21) + (-2)/(-7). Suppose -h + 2*t = 1, h - m = -h - 5*t. Suppose h*k = 2*o + 29, 4*o + 35 - 5 = 2*k. Is k even?
False
Let v be -3 + 0 + 9 + -2. Suppose 25 = 3*l + 4*g + 9, 4*l + v = g. Suppose -36 = -l*c - 4*c. Is 5 a factor of c?
False
Let v be (-2 - (-2 + 1))*0. Let r = 13 + 16. Suppose 3*q - 83 + r = v. Does 7 divide q?
False
Let c(k) = 20*k**2 - 10*k + 24. Does 42 divide c(2)?
True
Suppose -30*g - 560 = -32*g. Does 14 divide g?
True
Suppose a - 2 = 4*d + 2, 5*a - 4*d = 52. Is (91/(-39))/((-2)/a) a multiple of 4?
False
Suppose -4*b + 9*b = 20. Let g(p) = 6*p - 2. Is 22 a factor of g(b)?
True
Let b(t) be the second derivative of t**4/6 + t**3 - 2*t**2 - 3*t. Is 13 a factor of b(4)?
True
Let v be 24/20*15/6. Suppose 0 = -v*c - c + 64. Is c a multiple of 8?
True
Suppose 3*p - 263 = 73. Does 16 divide p?
True
Suppose 2*l - 420 = 5*k, 0 = -5*l - 4*k + 1053 - 3. Suppose -3*j + l = 5*g, -168 = -4*g - 2*j + 3*j. Is g a multiple of 21?
True
Let v(m) = m + 10. Let z be v(-5). Suppose 0 = -5*r - z*d + 45, 0 = r - 2*d - 6 - 3. Is 9 a factor of r?
True
Let k(l) = 15*l + 29. Is k(5) a multiple of 26?
True
Suppose 171 = 12*z - 333. Is 8 a factor of z?
False
Let m(n) = n**2 + 11*n - 4. Let k be m(-11). Let j = k - -7. Is 5 a factor of (-1)/j - 55/(-3)?
False
Let i(n) = n**2 - 16*n - 6. Does 33 divide i(-5)?
True
Let y(o) = 7*o - 1. Let k be y(2). Suppose 17 + k = q - 4*w, -5*q = 4*w - 54. Let a = q + -7. Is 7 a factor of a?
True
Let o = 297 + -171. Does 7 divide o?
True
Suppose 0 = 2*d - 187 + 37. Is d a multiple of 17?
False
Let u(c) = -c**2 + c. Let z(g) = 5*g**2 - 26*g - 3. Let n(y) = 6*u(y) + z(y). Is 31 a factor of n(-8)?
True
Let l(h) = -2*h + 8. Let v be l(4). Suppose 2*w + 246 + 50 = 5*b, v = -b + w + 58. Is 8 a factor of b?
False
Let v = 2 + 2. Let u(z) = z**2 + 2*z - 2. Is u(v) a multiple of 11?
True
Let q(u) be the third derivative of 1/12*u**4 - 2*u**2 + 0 + 1/6*u**3 + 0*u. Is 7 a factor of q(6)?
False
Suppose -n - 59 = 3*z + 4*n, -38 = 2*z + 2*n. Let i = 12 + z. Let b = -1 - i. Is b a multiple of 5?
True
Let i = 5 + 7. Suppose -5*f = -15, 3*y + 2*f - f = -57. Is 3 a factor of i/(-10)*y/3?
False
Does 38 divide 2 + 5/(-3) - 560/(-3)?
False
Let m(x) = -x**3 + 4*x**2 - 3*x + 2. Let h be m(3). Suppose 0*d = -5*s - h*d + 13, -2*d = -2*s + 8. Suppose s*o + 6 = 78. Is o a multiple of 10?
False
Suppose -12 = -i + b, -3*b - 2*b + 15 = 0. Suppose 5*g = 2*g + i. Is g/2 + 1/(-2) even?
True
Suppose 0 = -4*y + 5*p - 72 + 280, 0 = -3*y - 5*p + 156. Suppose 18 = -2*n - n. Does 16 divide (2 - y/n)*3?
True
Let b(m) = m**3 + 3*m**2 - m. Let q be b(-4). Is 16 a factor of (70 - 2) + q/4?
False
Let k = 30 + -18. Is 3/(-18) - (-182)/k a multiple of 15?
True
Suppose -6*d + 20 = -d. Suppose 5*o - 2*i = -d + 142, -52 = -2*o + 4*i. Is 19 a factor of o?
False
Let p(x) = x**2 + 2*x - 14. Does 14 divide p(-8)?
False
Let b(h) = h - 5*h + h**2 + 0*h + 2. Is 8 a factor of b(7)?
False
Let h(q) = q**2 - 7*q - 2. Let l be h(8). Suppose -i + 5*b + 5 = 0, l = b + 2. Is i a multiple of 5?
True
Suppose 52*k + 498 = 54*k. Is k a multiple of 23?
False
Let j(u) = u**3 + 6*u**2 + u + 5. Let y be j(-6). Let w(s) = -3*s**3 + 2*s**2 + 2*s + 1. Let o be w(y). Suppose 0 = 6*m - o*m - 30. Does 11 divide m?
False
Let l be 8/(-32) + (-57)/(-4). Let h be (-1)/(1 + l/(-12)). Is 2 a factor of (-6)/h*(-4 + 0)?
True
Let v(w) = w**2 - 6*w - 15. Is v(10) a multiple of 25?
True
Suppose -3*t + 181 = -v, -3*t - 3*v + 130 + 47 = 0. Is t a multiple of 22?
False
Let b be 2/(-8) + (-363)/(-12). Suppose 0*p + 5*n + 10 = -5*p, -8 = -p + 4*n. Suppose p = 5*u - 35 - b. Does 13 divide u?
True
Suppose -5*u + 6 = -8*u. Let i(l) = -2*l - 1. Let j be i(u). Suppose -42 = j*a - 6*a. Is 8 a factor of a?
False
Does 8 divide -4 + 28*(3 - -2)?
True
Let n(j) = -5*j - 1. Let p be n(-8). Suppose 0 = -6*k + 3*k + p. Is 10 a factor of k?
False
Let l = -6 + 10. Suppose 7*y - 3*y = 56. Suppose 6