le of 17?
True
Let i be 2 - (6 + -2 - 4). Let r be (5 + 53)*i/4. Suppose r = -g + 2*g. Is g a multiple of 8?
False
Let y = 230 - 77. Does 9 divide y?
True
Suppose -b = 4*m - 47, -4*m = -3*b - 98 + 31. Suppose -m = -y - 3. Does 3 divide (-12)/20 + 36/y?
True
Let f(c) = c**3 - 12*c**2 + 3. Let o be f(12). Suppose o*w - 45 = 2*w. Suppose 26 + w = 4*l + p, 0 = -2*l - 4*p + 18. Does 19 divide l?
True
Suppose -12 - 12 = -3*p. Suppose -3*f + p*f = 180. Suppose 0 = 4*r - 3*h - 67, -h = -2*r + h + f. Is 13 a factor of r?
True
Let j(v) = 2*v**2 + 2*v + 2. Suppose p - 4*o - 2 = 6*p, -4*o = 12. Is 7 a factor of j(p)?
True
Suppose 4502 = 28*r - 7034. Is r a multiple of 12?
False
Suppose 10 = -m - 5*v + 32, -4*v - 22 = -m. Suppose 4*n = 4*c - 20, -5*c + n - 1 + m = 0. Suppose -4*h + a = -70, 2*h - 34 = c*a + 8. Is h a multiple of 17?
True
Suppose 0*x + 2*x - 4 = 0. Suppose x*p + p - 12 = 0. Suppose -2*u = 2*o - 48, u + p*o = -u + 58. Does 10 divide u?
False
Let f be (0 - 1)/((-4)/4). Is 6 a factor of f/13*2 - 5698/(-143)?
False
Let h be 1/(1/(-24)) - -2. Let i = 32 + h. Suppose 24 + i = 2*k. Does 5 divide k?
False
Let c(w) = w**3 - 10*w**2 + 3*w - 9. Let n be c(10). Is 555/n - 3/7 a multiple of 6?
False
Suppose 0 = 20*a - 22*a + 6. Suppose -o = a*h - 81, 3*o + h = 4*o - 77. Is o a multiple of 6?
True
Does 70 divide (-2797)/(-2) - (102/12 + -10)?
True
Suppose 4*u + 5*c = 694, -2*u - 3*c - 46 = -392. Suppose -13*x + 9*x = -u. Suppose -j = 3*j - x. Is j even?
False
Let y(u) be the second derivative of u**4/12 - 3*u**3/2 - u**2/2 - u. Let k be (1*4)/((-6)/(-18)*1). Is 7 a factor of y(k)?
True
Let n be (-3)/(-6) + (-3)/6. Suppose 3*b + 5*r = 320, -4*b + 455 = r - n*r. Is b a multiple of 29?
False
Let r(w) = -2*w**2 + 3*w + 5. Let o be r(3). Does 21 divide ((-63)/o)/((-2)/(-8))?
True
Let g(t) = -t**3 + 9*t**2 - 5*t + 6. Let o(s) = s**3 + 2*s**2 + s + 1. Let f be o(-3). Let j = f - -19. Does 17 divide g(j)?
False
Let l(r) be the first derivative of r**4/4 + 3*r**3 - 3*r**2/2 + 12*r - 16. Is 3 a factor of l(-9)?
True
Suppose -1 = 2*v - 9. Let b be v*(45/4 - 0). Suppose -4*p + b = p. Is p a multiple of 3?
True
Let u(p) be the first derivative of -p**4/4 - 2*p**3/3 + p**2/2 + 2*p - 4. Let c be u(-2). Does 19 divide 67 + 5 + (4 - c)?
True
Let p be 4*(-3)/(-12) - -1118. Suppose 9*r + 21 - p = 0. Does 15 divide r?
False
Is 23 a factor of (-230)/(3/(-5)*(-2)/(-3))?
True
Suppose -4*v + 1780 = 4*x, 0 = v + 8*x - 3*x - 457. Is v a multiple of 22?
False
Let m = -66 + 68. Suppose 2*b = -m*k - 38 + 242, 0 = 4*k + 8. Does 18 divide b?
False
Let u(n) = -6*n**2 + 2*n - 16. Let m be u(7). Let o = -170 - m. Does 12 divide o?
False
Let w(m) = m**2 + 7*m + 1. Let h be w(-6). Let s = h + 7. Suppose 0 = -s*r - 3*j + 63, -5*r + j + 0*j = -132. Does 9 divide r?
True
Suppose -21*r + 613 = h - 24*r, 0 = -2*h + 4*r + 1222. Does 2 divide h?
False
Suppose -9 = -3*q, 0 = -w + 5*q - 10 - 5. Suppose 2*k - 3*m = 224, -2*m + w*m - 111 = -k. Does 23 divide k?
True
Suppose -3*u - 27*s = -23*s - 740, -4*u + 3*s = -1020. Is 18 a factor of u?
True
Suppose -4*n = -3*i - 361, 12 = 2*n - 3*i - 167. Let q = n - -8. Suppose 5*w = 4*b - q, -5*w = -1 - 4. Is 17 a factor of b?
False
Suppose -l = 2 - 14. Suppose -2*j - 4*j + l = 0. Is j a multiple of 2?
True
Let w = 7 - -101. Suppose -w = -2*t + h - 13, 55 = t + h. Is 2 a factor of t?
True
Let v(f) = -14*f + 20 - 9 - 2. Is v(-3) a multiple of 17?
True
Suppose 30 + 30 = -5*v. Let c = 19 + v. Suppose 2*q = i + c*q - 43, 0 = 4*i - q - 130. Does 16 divide i?
False
Let z = -8 + 13. Suppose -z*r + 0*r = -15. Suppose t = y + r*y - 105, 4*t - 55 = -3*y. Is y a multiple of 23?
False
Let k be (-3)/(-5)*(-830)/(0 - 2). Let a = -101 + k. Is 34 a factor of a?
False
Suppose 0 = 3*f + 103 + 293. Let j = f + 227. Is 19 a factor of j?
True
Let s be (3/(-4))/((-2)/(-8)). Does 21 divide ((-387)/s - 4) + -2?
False
Does 8 divide 4/(100/15) + 32151/15?
True
Let d(p) = p**3 + 5*p**2 + 6*p + 2. Let h be d(-2). Does 12 divide (138/21 + h)/(2/14)?
True
Suppose -4*b - 745 = -3*j, 5*j - 3*j - 2*b = 500. Let f be (2/(-5))/((-17)/j). Suppose -155 = -f*i + 13. Does 7 divide i?
True
Let k = -64 - -56. Is 2709/36 + 2/k a multiple of 29?
False
Suppose -71 = -6*v - 59. Suppose -o = -5*s + v*o + 110, -3*o = -2*s + 44. Does 3 divide s?
False
Let g(z) = 9*z**2 + 2*z - 1. Let n be g(1). Let o(i) = 4*i**2 - 11*i + 5*i**2 + 22*i - i**3. Does 10 divide o(n)?
True
Let q be -1*(-3 - (2 + 23)). Let a = q - 13. Is 15 a factor of a?
True
Suppose -2*j = j - 9. Suppose 6 = 4*t - 2*h, t - 5 - 7 = -3*h. Suppose -m - t*a + 68 = 0, -j*m + 290 = m + 3*a. Is 16 a factor of m?
False
Let m = 160 - -2. Is 18 a factor of m?
True
Suppose 4*f + 51 = 11. Let r = f + 12. Suppose 0 = r*g - 15 - 7. Does 2 divide g?
False
Suppose -12*z + 8*z + 1120 = 0. Is 20 a factor of z?
True
Suppose 4*w = 2*u, -u = u - 5*w + 4. Let d = -5 + u. Is -1 - (-13*3 - d) a multiple of 18?
False
Let q(c) = -c - 5. Let h be q(-6). Suppose -13 = -4*s - h. Suppose 0*x - 3*x + 171 = s*i, -2*i - 146 = -3*x. Is x a multiple of 13?
True
Suppose 4*y = -4*n + 620, 8*y - 2*n = 5*y + 465. Is y a multiple of 2?
False
Suppose 8*o + 102 = 10*o. Suppose -o*u + 55*u = 20. Is u a multiple of 2?
False
Suppose 15 = -5*k + 6*k. Let s(h) = -9 - 7 - 33*h + k. Is 13 a factor of s(-2)?
True
Suppose -651 = 4*r - z - 2061, 3*r + 4*z - 1048 = 0. Does 44 divide r?
True
Let x(r) = r**3 - 2*r. Let n be x(2). Suppose 4*o = 0, -n*f - o + 44 = -6*o. Suppose 0 = -a + f + 17. Is a a multiple of 28?
True
Let p = 317 + -986. Let o = -359 - p. Is o a multiple of 31?
True
Let d(o) = o**2 + 2*o + 1. Let k be d(1). Suppose -k*w + 755 + 441 = 0. Is w a multiple of 23?
True
Let n(r) = 332*r**2 - 2. Is 30 a factor of n(-1)?
True
Let k be (9/4)/(4 + (-955)/240). Let b = -58 + k. Does 10 divide b?
True
Is 15 a factor of (-6 - 61)*7/(-7)?
False
Let n = -6 + 9. Suppose 4*x + x = -n*w + 6, 0 = -2*x. Suppose 0*y - w*p + 152 = 3*y, -5*y - 4*p + 250 = 0. Does 27 divide y?
True
Let b(t) be the first derivative of 4*t**3/3 + 4*t**2 + 3*t - 8. Does 15 divide b(-3)?
True
Suppose 2*o = 4*f + 128, 2*f - 223 = -5*o + 133. Is 4 a factor of (56/o)/((-2)/(-15))?
False
Let f = 77 - -35. Suppose -2*d - 2*g - f = -6*d, g = -d + 25. Does 9 divide d?
True
Let x(p) be the third derivative of -p**5/60 - 5*p**4/24 + p**3/3 - 16*p**2. Let m = -7 + 3. Is x(m) a multiple of 3?
True
Let k be (6/5)/((-24829)/4970 + 5). Suppose -6*r + 980 = k. Is r a multiple of 29?
True
Let a(b) = 3*b - 2. Let z(y) = 3*y - 3. Let u(v) = 3*a(v) - 2*z(v). Suppose 4 = 3*x - 14. Is 7 a factor of u(x)?
False
Suppose 44*h - 39*h = 10. Suppose -4*w = -h*w + 4*r - 2, -10 = -5*r. Does 6 divide (-4)/(w/(207/6))?
False
Let b(k) = k**3 + 4*k**2 + 5. Let s be b(7). Does 10 divide s/8 + 4 + -2?
True
Suppose f + 119 = -42. Let k = f + 416. Suppose -j - k = -3*j + 5*p, -j = -3*p - 128. Does 25 divide j?
True
Suppose 9*z + 200 = 6761. Is 58 a factor of z?
False
Let z(t) = -t**2 - 5*t + 6. Let v be z(-6). Suppose -5*d + 5*m + 151 + 239 = v, -2*m = 5*d - 390. Is 6 a factor of d?
True
Suppose 4*z + 10 = 3*m, 2*m - 15 = -2*m + 5*z. Is 43 a factor of -1*(m/(-45) + (-385)/9)?
True
Let h(y) = -5*y - 30. Let l be h(-6). Suppose -3*b = -12, 4*q + l*q = -2*b + 56. Does 2 divide q?
True
Suppose 3 = -d - 2, 15 = 5*a + 2*d. Suppose 7*z = a*z + 160. Is 12 a factor of ((-15)/(-10))/(2/z)?
True
Let b(h) = h**2 - 2*h - 12. Let f = -43 + 64. Let w be f*1/3*1. Is b(w) a multiple of 5?
False
Let z(v) = -v**2 - 10*v + 12. Let f be z(-11). Suppose -c + 11 = -2*k - f, 8 = -2*k. Suppose 3*j = -x + 34, c*j + 3*x - 74 + 22 = 0. Does 5 divide j?
True
Is -4 - ((-1)/1)/((-3)/(-6168)) a multiple of 76?
True
Is 10649/13 + 70/(-455) a multiple of 33?
False
Let q = -1486 - -1540. Is q a multiple of 3?
True
Let h(a) = 42*a**3 - 2*a**2 + 9*a - 53. Is 29 a factor of h(4)?
True
Let v(g) = -g + 3. Let q(p) = 3. Let c be (-1)/((-3)/((-45)/(-3))). Let r(d) = c*q(d) - 4*v(d). Does 12 divide r(9)?
False
Suppose 26*o - 50*o + 1632 = 0. Is o a multiple of 2?
True
Is 6 a factor of (-26)/(-78) - 4714/(-6)?
True
Let o = -40 + 76. Is o a multiple of 4?
True
Let q be (12/(-20))/(5/(-50)). Suppose 3*w - 2*v - 136 = -q*v, 2*w + v = 94. Is w a multiple of 12?
True
Let h(m) = -24*m**2 + 3*m + 2. Let q