a multiple of 2?
False
Let c(j) = j + 2. Suppose -2*o + 2*x + 14 = 0, -x = 5*o - 16 - 7. Let h be c(o). Suppose 105 = h*m - 4*m. Is m a multiple of 9?
False
Let p = -7 - -10. Suppose -14 = -k - p*y, 0 = -4*k - 2*y - 0*y + 26. Suppose o - 2*o = -2*a + 55, -4*a = -k*o - 113. Is a a multiple of 9?
True
Let g be (7 - (-2 + 1))*1. Suppose -g = -5*x + 12. Suppose 5*j - 3*a + 4 = 45, -x*a = 3*j - 42. Is j a multiple of 10?
True
Let b = -63 + 167. Does 52 divide b?
True
Is 4 a factor of ((-19)/3)/((-6)/18)?
False
Let h(w) = 4*w**3 - 2*w**2 + 2*w - 1. Let k be h(1). Suppose 62 = 4*v - 2*x, 4*v + k*x - 25 - 32 = 0. Let d = -1 + v. Does 13 divide d?
False
Let a(d) = -d**2 + d. Suppose 5*q + 4*h = -46, -14 - 8 = 5*q - 2*h. Let r be a(q). Is 10 a factor of 2/4*(-2 - r)?
True
Let g = -32 + 48. Let r = 24 - g. Is 4 a factor of r?
True
Is 5 a factor of (-585)/(-36) + 1/(-4)?
False
Let g(v) = v**2 - 9*v - 11. Let d be g(9). Let q = 25 + d. Is q a multiple of 14?
True
Let v be 17/(-3) + (-2)/6. Let r(k) be the third derivative of -k**4/12 + k**3/2 - 2*k**2. Is 12 a factor of r(v)?
False
Suppose 0 = -3*p - 0*p - 24. Is 0/p + 15/1 a multiple of 5?
True
Let u be 0/((-4 + 1)/(-3)). Suppose -30 = -u*l - 2*l. Does 7 divide l?
False
Suppose -3*m + 4*q = 2*q + 36, 4*q - 2 = -m. Let t(g) = -5*g - 15. Is 7 a factor of t(m)?
True
Let u be 4*(15/(-6))/(-5). Let p = 1 + u. Suppose w + 139 = p*s, -4*w = 2*s - 15 - 73. Does 23 divide s?
True
Is 16 a factor of 81 + -1*(-2 - (-2 + -1))?
True
Let k = 85 - 45. Does 40 divide k?
True
Let z be 1/((-4)/3 + 1). Suppose -3*g - 2*g - 60 = 0. Let j = z - g. Does 9 divide j?
True
Suppose 1 + 3 = f. Suppose -68 + 272 = f*t. Let g = t - 35. Is 8 a factor of g?
True
Suppose 31 = -3*z - 5*c, c + 15 = -5*z - 0*c. Is (-2 - 10)*z/3 a multiple of 4?
True
Let u(t) = 3*t + 4 - 4 + 2. Let c be (29 - 25)*(1 + 1). Does 12 divide u(c)?
False
Let z be 141/4 + 1/(-4). Let t = 68 - z. Does 11 divide t?
True
Suppose 0 = 3*z + 18 - 126. Is z a multiple of 9?
True
Let s be (-2)/9 + (-335)/(-9). Suppose -s + 14 = -j. Is j a multiple of 12?
False
Let p be 0 - (-2)/(-1) - -7. Let t(q) = -q**2 + 9*q - 6. Let v be t(4). Suppose 89 = p*r + v. Is r a multiple of 15?
True
Let t be (-1)/(4/(-136)) + 4. Let p = -7 + t. Is 10 a factor of p?
False
Suppose -4*s = -5*t + 6, -4*t = 2*s - 4*s - 6. Suppose 3*k = -103 + s. Does 12 divide k/(-4)*(2 + 0)?
False
Let p be (-129)/(2/(-6) - 0). Does 6 divide p/27 + (-1)/3?
False
Let d = 6 + -14. Let q(g) = -g**2 - 10*g - 14. Let h be q(-10). Let r = d - h. Does 6 divide r?
True
Let l(c) = -c**3 + 16*c**2 + 6*c - 11. Is l(16) a multiple of 17?
True
Let n(d) = -d - 4. Let v = -6 + 0. Let m be n(v). Suppose 0 = w + m*w - 72. Is w a multiple of 12?
True
Let h(p) = p**2 + p - 3. Let t be h(-3). Suppose w = 4*w - 5*k - 595, -5*w + 1004 = 4*k. Suppose -2*m = t*m - w. Is m a multiple of 13?
False
Suppose 4*p = p + 15, 5 = -5*c + 5*p. Suppose -3*h = 5*j - 176, -j + 229 = c*h - 0*h. Does 20 divide h?
False
Let p(d) = 2*d**2 + 16*d - 10. Does 15 divide p(-13)?
True
Let o(u) = -u**3 + 8*u**2 + 8*u - 6. Does 29 divide o(8)?
True
Let z = -6 - -6. Let q be 3 + z - 132/(-2). Let n = q + -47. Is n a multiple of 11?
True
Let r = -5 - -3. Let q be 8/10*(-5)/r. Suppose 3*y = d - 10, -q*y - 2 + 0 = 0. Is 3 a factor of d?
False
Suppose 0 = -5*z + 2*a + 477, 5*a - 33 = -z + 57. Let g = -51 + z. Is 11 a factor of g?
True
Does 9 divide 5 - 9 - (0 - 13)?
True
Suppose -2*z + 4*z + 28 = 2*t, -4*t - 7 = 3*z. Let u = 25 - 16. Let i = u - z. Does 9 divide i?
True
Suppose 2*t = -9 + 99. Let j be 440/t + (-2)/(-9). Let c = 17 - j. Is 3 a factor of c?
False
Let b(k) = 4*k - 1. Suppose -4*o = 4*t + 8, 3*o = -2*t + 2*o. Suppose t*n = 3*n - 4. Is 6 a factor of b(n)?
False
Suppose -5*r = -5*z - 1 + 136, 2*z - 51 = -r. Suppose -z + 2 = -4*w. Does 2 divide w?
True
Suppose 5*h - 2*v - 62 = -306, -h = v + 53. Let t = 83 + h. Does 17 divide t?
False
Let q(c) = 12*c - 4. Does 11 divide q(5)?
False
Suppose 3*o = 4*o - 4. Is 15 a factor of 6/2 + o + 20?
False
Let h(g) = -g**2 - g + 29. Suppose 2*f + 3*s = 19, -f - 3*s + 12 = -s. Let l = -2 + f. Is h(l) a multiple of 11?
False
Let r(v) = 4*v - 53. Let u(o) = -o + 1. Let l(y) = -r(y) - 3*u(y). Is 16 a factor of l(0)?
False
Let f(n) = -n**2 - 4*n + 4. Let o be f(-4). Suppose 3*g = 5 + o. Is 27/(-6)*(-2)/g a multiple of 3?
True
Suppose 29*j = 28*j + 3. Let p = 0 - -3. Suppose j*a - 81 = -3*v, -p*v + 2*a = -2*a - 116. Is v a multiple of 18?
False
Suppose 0*t = -4*t - 20. Suppose -3*c + 0*k - 3*k = -15, 3*c + 5*k - 5 = 0. Let u = t + c. Is u a multiple of 5?
True
Let s(p) = p**3 - p**2 + 3*p + 12. Let y(v) = v**3 - v**2 + v - 1. Let c(r) = s(r) - 2*y(r). Suppose -g = 4*g. Is 7 a factor of c(g)?
True
Let x be 2 + (0 + -2)/(-1). Let q = x + 19. Is 5 a factor of q?
False
Suppose 3*c - 6*c = 0, 3*z + c - 30 = 0. Let m(o) = 2*o. Does 20 divide m(z)?
True
Let w(c) = c**2. Let s(m) = m**3 + 5*m**2 + 9*m - 11. Let n(g) = -s(g) - 5*w(g). Does 4 divide n(-9)?
False
Suppose 0 = -w - 0*w + 4. Suppose -18 = -w*m - 2. Does 3 divide m?
False
Suppose 26*l - 18*l + 48 = 0. Let g(j) = j - 2. Let m(z) = z - 3. Let t(k) = -3*g(k) + 2*m(k). Is 6 a factor of t(l)?
True
Suppose -6*g = -2*g + 16, -3*y = -3*g + 18. Is y/(-40) - 71/(-4) a multiple of 6?
True
Let k(a) = 10*a - 14. Does 11 divide k(8)?
True
Suppose -3*l - 16 = -2*o + l, -10 = 5*l. Suppose -3*c - o - 5 = 0, -g = 3*c + 7. Suppose -5*t + 10*t + 2*b = 125, 0 = -g*t - 4*b + 34. Is 9 a factor of t?
True
Let r be (-4)/(-2)*2/(-4). Let s = r - -1. Suppose 0 = -s*p + 4*p - 80. Is p a multiple of 10?
True
Let h(r) = r**2 + 9*r + 18. Let j be h(-5). Suppose 4*d + 2 + 2 = 0. Does 13 divide j - (21 + 2)/d?
False
Suppose 2*g - 144 = -4*j, 5*j + 0*g + g = 180. Let o = -7 + 9. Suppose a + o*a = j. Is 4 a factor of a?
True
Suppose 3*v = 5*p - 12 + 2, 5*p - 5 = 4*v. Suppose -3 = -p*w + 127. Is w a multiple of 13?
True
Let h(i) = -7*i - 5. Is h(-7) a multiple of 29?
False
Let d(j) = -j + 5. Let c be d(0). Let s be 0 + (3 - c)/(-1). Suppose -s*r = 3*r - 245. Is r a multiple of 24?
False
Let k(o) = o + 8. Let l be k(-9). Let y be (2 + (-2 - l))*155. Suppose 0 = -5*p + y. Is 12 a factor of p?
False
Let o = 23 + -13. Suppose k - 5*j + 18 = 2*k, -4*k + 2*j = -6. Suppose k*z - 20 = o. Is 8 a factor of z?
False
Suppose -143 = 5*r + 4*s, -2*r + 9 = -4*s + 83. Does 15 divide -1 + (-1)/1*r?
True
Let r be 4/(-6) + 8/(-6). Let a be 4 + 18 - 3/1. Let c = a - r. Is 6 a factor of c?
False
Suppose 2*d = 0, 3*w - d = w + 196. Does 29 divide w?
False
Let x(u) be the second derivative of -u**5/20 - u**4/4 - u**3/2 + u**2 + 2*u. Suppose 2*v + 5*q = 2*q - 15, q - 6 = 3*v. Does 11 divide x(v)?
True
Suppose 3*u - 4*x - 35 = 0, -10 = -0*u + u + 3*x. Suppose -u*p = -0*p - 255. Does 17 divide p?
True
Suppose 3*y + 9 = 42. Suppose 3*m - 3*t + 9 = 0, 5*t - 25 = -m - 10. Suppose -3*w + 31 + y = m. Is w a multiple of 7?
True
Let y(j) = -3*j - 5*j + 3 + 5*j**2 + 4*j. Does 10 divide y(3)?
False
Let y(q) be the third derivative of -q**5/10 - q**4/8 - 3*q**3/2 + 2*q**2. Let o(u) = -u**2 - u - 1. Let r(p) = 5*o(p) - y(p). Does 19 divide r(5)?
True
Let c = 93 + -145. Let g = c + 76. Suppose 4*l - g = -4*r, -2*r - 32 = -5*l + 12. Is 6 a factor of l?
False
Suppose -53 = -3*n + 52. Suppose -i = -6*i - n. Does 10 divide (-72)/i - (-12)/(-42)?
True
Suppose -5*q + 29 = 9. Suppose v - 4 = 3*v. Is 18 a factor of (37/v)/((-2)/q)?
False
Suppose 5*g + 61 = t, 2*g + 20 = -0*g - 4*t. Let u = -2 - g. Is 10 a factor of u?
True
Let k(t) = t**3 + 5*t**2 + 2*t - 4. Does 8 divide k(-3)?
True
Suppose l - 3*l + 10 = 0. Suppose -125 = -l*w - 25. Does 5 divide w?
True
Let g = -16 - -6. Let i(c) = c**3 + 11*c**2 + 7*c + 5. Is i(g) a multiple of 15?
False
Let x = 28 - 16. Is x a multiple of 6?
True
Suppose -4*z - 4*f = -3 - 17, 3*z - 25 = 2*f. Let v = 23 - z. Does 5 divide v?
False
Let d(k) = k**2 + 3*k - 6. Let a be d(-9). Let w = 82 - a. Does 10 divide w?
False
Suppose -4*n + 5*n = 5, 5*n - 13 = 4*r. Suppose -r*t + 6 = 18. Is (t/(-5))/((-1)/(-15)) a multiple of 12?
True
Let o(v) = 5*v**2 + 3*v - 2. Does 26 divide o(3)?
True
Let w(s) = -s + 5. Let a be w(-5). Let f = 11 - 6. Suppose -f*l + 15 = 0, 0 = x - 2*x + l + a. Is 13 a factor of x?
True
Does 9 divide (2/2)/(