 6*v - 20 = 5*v, 2*u = -5*v + 4. Let i be (-1)/(-2) - 3412/u. Is (-4)/(-14) + i/49 a multiple of 9?
True
Suppose m + 3*m = 4*p + 88, -60 = -2*m - 2*p. Does 13 divide m?
True
Suppose -5*y + t = -4*y - 85, 0 = 5*y + 2*t - 418. Let x = y + -60. Is 7 a factor of x?
False
Does 5 divide (54/8)/(27/360) + -3?
False
Suppose 0*p + 225 = 5*p. Is 15 a factor of p?
True
Suppose -g = 4*u - 10, -3*u + 2 - 5 = -g. Let o(h) = 2*h - h**3 + 4*h + 6 - 4*h + 6*h**2. Does 18 divide o(g)?
True
Let w(d) = d**2 - d + 28. Is w(-6) a multiple of 12?
False
Let z(u) = 4*u**3 + 7*u**2 - 8*u - 1. Let c(m) = -m**3 - m**2 + m. Let y(j) = -5*c(j) - z(j). Suppose 2*n - 5 = 1. Is y(n) a multiple of 11?
False
Let x(q) = q**2 + q + 30. Let y be 3/(-9)*0 + 0. Let o be x(y). Suppose 4*l - l = o. Is l a multiple of 10?
True
Let l(k) = -k**2 + k. Let d be (-2)/(0/(-1) + -2). Let b(j) = 8*j**2 - 4*j - 1. Let a(y) = d*b(y) + 6*l(y). Does 9 divide a(3)?
False
Suppose 5*o + 5*s + 35 = 0, -o - 4*s + 20 = -5*o. Is 3 a factor of (-2)/(-3) + (-26)/o?
False
Suppose 3*y = 5*y - x - 133, 0 = -4*y - 4*x + 272. Does 7 divide y?
False
Let o = -8 - -11. Suppose -3*r - 33 = -o*a, 7*r + 15 = 4*r - 3*a. Is 16 a factor of r/(-2 - (-40)/22)?
False
Suppose -5*h + 25 = -7*f + 5*f, 5*h = 5*f + 25. Suppose 2*x + 0*i + 3*i - 16 = f, -4*x + 24 = 2*i. Is x a multiple of 5?
True
Suppose -10*h + 2424 = 2*h. Is 36 a factor of h?
False
Suppose -2*r = 3*r - 10. Suppose -m + 9 = p, r*p - 2*m - 1 = 25. Suppose 45 + p = 2*f. Does 17 divide f?
False
Let x = 6 + 1. Suppose 0 = 4*b + x - 3. Is 4 a factor of (-9)/b - -1 - -1?
False
Let x(b) = 19*b. Let q(p) = -76*p - 1. Let w(k) = 2*q(k) + 9*x(k). Is 15 a factor of w(3)?
False
Let g(f) = 25*f**2 - f. Suppose -3*l - 4*t = 17, -t + 6*t = 3*l - 28. Does 17 divide g(l)?
False
Suppose 6 = w - 4*w. Let m = 10 - w. Is 6 a factor of m?
True
Let q = -4 + 9. Suppose -4*l - 5*t + 5 = 0, 4*l - 3*l - q*t = 20. Suppose -7 = 4*p + 5, 3*v - l*p - 132 = 0. Does 18 divide v?
False
Let u(p) = -p**3 + 8*p**2 + p - 4. Is 22 a factor of u(7)?
False
Let u(g) = -2*g**2 + 3*g + 4. Let i(x) = -x**2 + 4*x + 3. Let o(w) = 4*i(w) - 3*u(w). Does 7 divide o(-6)?
False
Let j(z) = 4*z + 6. Let w be j(8). Let u = 96 - w. Does 27 divide u?
False
Let r be (-2 - -1) + 28 + -4. Suppose 61 = -4*y - z + 214, -5*y - 3*z = -186. Let h = y - r. Is 7 a factor of h?
False
Let p = -24 - -34. Suppose 3*i - p = 11. Does 6 divide i?
False
Suppose -2*v - 6 = -0*v, 5*d - 3*v - 529 = 0. Is d a multiple of 13?
True
Suppose -39 + 15 = -4*m. Let f be ((-5)/10)/(1/m). Does 8 divide ((-38)/f)/((-2)/(-3))?
False
Let w = -40 - -125. Is w a multiple of 17?
True
Let x = 53 + -13. Is 20 a factor of x?
True
Suppose -2*a + 7 = 1. Suppose 0 = 4*s - 2*l, 0 = -0*s - 4*s - a*l. Suppose s = -z - f + 14, 0 = -6*z + 4*z - 4*f + 36. Is z a multiple of 4?
False
Suppose 5*s - 3*d - 217 = 0, -3*s = s + 3*d - 179. Does 12 divide s?
False
Is 864/9*(-6)/(-8) a multiple of 9?
True
Suppose 2*b = -31 - 63. Let h = b - -68. Does 7 divide h?
True
Suppose 2*h - 10 = -4*d, -d + 22 = 5*h - 3. Let q be 1 + -4*4/(-8). Let y = d + q. Is y a multiple of 2?
False
Is (-8)/(-6)*4212/24 a multiple of 17?
False
Suppose 0 = -4*u + 3*q + 73, 0 = -4*u - 5*q + 22 + 27. Does 4 divide u?
True
Suppose -11 - 1 = 2*o - 2*a, 4*o + 2*a - 6 = 0. Let w be (o - 0 - 4)/(-1). Let n(y) = -y**2 + 8*y - 7. Does 7 divide n(w)?
False
Let o(z) = -z**3 - 4*z**2 - z - 5. Let c be o(-4). Let q = 1 + c. Suppose -4*b = -p - 12, q*b + b - 4*p = -12. Does 4 divide b?
True
Suppose 4*u + 0*u + 16 = -3*v, 2*u + 8 = 0. Suppose q + 6 = 5*a - 87, v = a + 4*q - 6. Is a a multiple of 9?
True
Let k be (-35)/(-15) + (-2)/6. Is 17 a factor of k/(-6)*0 - -17?
True
Suppose -2*a + 22 = c, -c - 2*c - 4*a + 58 = 0. Does 8 divide c?
False
Let n = 304 - 176. Let u = 180 - n. Does 13 divide u?
True
Suppose 3*o = o - 164. Suppose -k + 3*v - 18 = 0, 4*k + 2*v = k - 32. Does 2 divide o/k - 8/(-48)?
False
Let f be (-21)/(-6) - (-1)/2. Suppose 2 - 18 = f*o. Let x(l) = -6*l + 2. Is 13 a factor of x(o)?
True
Let i(x) = -2*x**3 - x**2 + x - 1. Let z be i(-2). Suppose 3*q - 9 = 2*b, q + b - z = -2*q. Suppose d - o - 88 = -d, 0 = 5*d + q*o - 242. Is 17 a factor of d?
False
Let q = -4 - -9. Let b be (-120)/(-28) + 4/(-14). Suppose -q*r = 5*l - 95, 6*l = -5*r + b*l + 110. Is r a multiple of 13?
False
Let z = -43 - -61. Is z a multiple of 5?
False
Suppose 4*z + 5*m = 477 - 128, 5*m = -3*z + 268. Is z a multiple of 27?
True
Suppose 3*a = 4*a - 2. Is ((-14)/4)/(a/(-16)) a multiple of 14?
True
Suppose 2*i + 5*g = 11, i - 11 = -4*i + 4*g. Does 9 divide -1*(-3 + i) + 27?
True
Let r = 22 + -8. Is 7 a factor of r?
True
Let o = 10 - -8. Suppose -v - o = -3*v. Is 5 a factor of v?
False
Is 22 a factor of 42 + 0 - 36/(-18)?
True
Let l = 35 + -27. Does 2 divide l?
True
Is 87 - (-1 + 2 + (-2 - -1)) a multiple of 29?
True
Let y(l) = l**3 + l**2 - l + 44. Let a be y(0). Let t = 66 - a. Let c = 74 - t. Does 21 divide c?
False
Suppose -216 = -3*q + 114. Is q a multiple of 22?
True
Let g(h) = -6*h + 2*h + h. Let b be g(-1). Suppose -2*d + 13 = -b. Is d a multiple of 8?
True
Let t = -7 + 16. Does 3 divide t?
True
Suppose 0 = -4*o - 3 + 7. Is -13*(2 - (2 + o)) a multiple of 13?
True
Let w = 2 - 0. Suppose w*h = 5*p - 58, -h - 44 = -4*p - 12. Let b = 7 - h. Is 24 a factor of b?
False
Let a(x) be the first derivative of 7*x**2/2 + 1. Let s be a(-2). Let h = 27 + s. Is h a multiple of 13?
True
Suppose 10 - 2 = 4*z, -3*u + 56 = -5*z. Is u/2 - (-1 - -2) a multiple of 5?
True
Does 12 divide -4 + (1 - 4)/(3/(-52))?
True
Let i(a) = a**2 + 4*a + 3. Let y be i(-5). Suppose -t + y = 3*t. Suppose t*r = -3*r + 155. Does 11 divide r?
False
Suppose -7*l + 4 = -3*l. Let p(f) = 73*f**2 + 1. Let m be p(l). Let r = -51 + m. Does 8 divide r?
False
Let d(q) be the first derivative of -q**4/4 + q**3/3 + 7*q**2/2 + 6*q + 1. Let k be d(-4). Suppose 4*z + 16 = 2*h, 0*h - 4*h + k = 5*z. Is 6 a factor of h?
True
Suppose 2*s - 6 = -d, s + 21 = d - 2*s. Let x be (16 - 1)*4/d. Let v = 10 - x. Is v a multiple of 3?
False
Suppose 0 = -6*c + 9*c. Suppose 2*a - 3*n = -c*n + 53, 0 = -a - 4*n + 54. Does 10 divide a?
False
Suppose -j - 5*m + 53 = 0, 2*m - 20 - 27 = -j. Is 16 a factor of j?
False
Let f = 3 - -27. Is 6 a factor of f?
True
Let r(b) = -b**3 - 2*b**2 + b - 2. Let q = 16 - 9. Let h(j) = j**3 - 6*j**2 - 7*j - 3. Let u be h(q). Does 4 divide r(u)?
True
Suppose -5*o - 5*b = 5, 3*o + 3*b = b + 1. Suppose -17 = -2*w + a, 53 = 3*w + o*a + 14. Is 10 a factor of w?
True
Let k be ((-2)/(-4))/((-1)/(-68)). Let i = -24 + k. Suppose -3*j + 27 = 4*d + 4, 2*d - i = -2*j. Is d a multiple of 7?
False
Let f be 0*(0 + 0 + 1). Let b(p) be the second derivative of -p**5/20 + p**3/6 + 33*p**2/2 - p. Is 15 a factor of b(f)?
False
Suppose 5*p - 192 = -42. Is 227/5 + (-12)/p a multiple of 11?
False
Let g = 197 + -89. Suppose g = 5*a - 12. Does 12 divide a?
True
Suppose 5*x = x + 52. Is x a multiple of 13?
True
Suppose o = l - 2, 0 = o - 0*o + 5*l - 22. Let i = 3 + o. Does 9 divide 2/i - (-176)/10?
True
Let t = 8 + -5. Let w = t - -6. Is 3 a factor of w?
True
Suppose 0 = -13*c + 3*c + 80. Does 4 divide c?
True
Suppose -5*l + 4*h + 136 = 0, 0 = l + 2*h - 7 - 9. Let b = 35 - l. Is -2 + (2 + -1)*b a multiple of 4?
False
Suppose -2*w + 1025 = 5*z + 365, 396 = 3*z + 3*w. Does 33 divide z?
True
Let t(z) = 9 - 5*z + 3*z**2 + 0*z - 7 + 3*z**2. Is 9 a factor of t(3)?
False
Let y(r) = -r**3 + 16*r**2 - 4*r + 37. Is 16 a factor of y(15)?
False
Let q = -6 - -7. Let b be 0 + q + (2 - 0). Let c = b + 19. Is 22 a factor of c?
True
Suppose 3*z + 15 = 4*z. Let h(p) = p**3 + 6*p**2 - 3*p - 4. Let y be h(-5). Let v = y - z. Does 11 divide v?
False
Let u(x) = x**3 + 6*x**2 + 4*x - 4. Is u(-4) a multiple of 3?
True
Let r(b) = -b**2 + 4*b + 7. Is r(4) a multiple of 2?
False
Let l(z) = z**3 - z**2 - 9*z - 2. Is l(4) a multiple of 5?
True
Let j(q) = -q**3 - 2*q**2 + q. Is 14 a factor of j(-4)?
True
Suppose -3*s + 4 = -5. Suppose 4*z = -2*b - z + 53, 47 = 2*b + s*z. Suppose -2*r + 0*c + 18 = -2*c, -b = -2*r + 3*c. Is r a multiple of 5?
False
Let o be 5/25 + 8/10. Suppose 3 = -2*m - o. Is 8 a factor of (-1 - -1) + 10 + m?
True
Let s = 49 - 33. Does 7 divide s?
False
Let k(r) = 19*r**2 - 2*r + 4. Let x(c) = c**2 - c