of c?
False
Is -7 - (-335 + 15/3) a multiple of 17?
True
Suppose 4*i + 4*h - 124 = 0, h + 44 + 65 = 3*i. Let r = 44 - i. Is r a multiple of 2?
False
Suppose 2040 = 7*q - 634. Does 22 divide q?
False
Let t = 6 - 15. Let a be (-2)/(-3) - 174/t. Let r = 22 - a. Is 2 a factor of r?
True
Does 39 divide (-26)/(-39) + (-2560)/(-3)?
False
Let o(z) = -z + 9. Let i be o(11). Let k(x) = -11*x - 2. Is 5 a factor of k(i)?
True
Suppose -40*n - 4260 = -42*n. Is n a multiple of 11?
False
Let u(r) = r**3 + 14*r**2 + 15*r + 6. Let c be u(-9). Let k be 6*(-2 - (-5)/2). Suppose -k*z - z = -c. Is 24 a factor of z?
False
Is (2 - 3)*(-260)/4 even?
False
Let p = 121 - -103. Is 16 a factor of p?
True
Let u = -414 + 233. Let l = u - -271. Does 14 divide l?
False
Suppose 3*g + 5*q - 218 = 0, g - 37 = -3*q + 29. Is 27 a factor of g?
True
Suppose -12 = 4*j, -48 = -4*a + 3*j + 89. Let r = a + -5. Let s = 65 - r. Is s a multiple of 19?
True
Suppose -n = -4*k + 20, 0*k + 2*k = -3*n + 10. Let g(u) = 51*u - 12. Let a be g(k). Suppose 0*f - 2*v + a = 5*f, -4*f - 3*v = -200. Is 15 a factor of f?
False
Let c(t) = 17*t**3 - 13*t**2 - 19*t + 9. Let k(q) = -8*q**3 + 6*q**2 + 9*q - 4. Let x(y) = -6*c(y) - 13*k(y). Let p be x(-1). Is p/(-6)*-2*-69 a multiple of 23?
True
Let s(m) = 34*m + 7*m + 0 + 2 - 5*m. Is s(1) a multiple of 5?
False
Let u be (-296)/(-2) + 8 + -14 + 8. Suppose 4*z - u = -6*z. Is z a multiple of 5?
True
Let l(q) be the second derivative of q**5/20 - q**4/12 - q**3/6 + q**2 + 7*q. Let p be l(0). Suppose -39 = -p*d + 41. Is 7 a factor of d?
False
Suppose 14 = 11*p - 8. Does 26 divide p*((-1)/(4/(-190)) - 3)?
False
Suppose x + 4*x = 35. Let m = x + -5. Suppose 0*b - 20 = -m*b. Does 5 divide b?
True
Let t = 2 - 9. Let x be t/2*(-12)/21. Suppose -3*i + x*p + 77 = 0, 2*p - 42 = -2*i + p. Is i a multiple of 15?
False
Suppose 4*j + 2*v - 4334 = 0, 2488 + 1864 = 4*j - 4*v. Is 31 a factor of j?
True
Let i be 129 - (-3 - -4)*0. Let c = i - 59. Is 16 a factor of c?
False
Suppose -3*x - 3*j + 2214 = 0, -5*x - 2*j = -4*j - 3697. Does 43 divide x?
False
Let k = 82 - -230. Does 5 divide k?
False
Let m = -156 + 396. Does 60 divide m?
True
Suppose 85*g - 80*g + b + 132 = 0, -4*g - 114 = -2*b. Let t(w) = 8*w**2 - 2*w + 3. Let i be t(2). Let c = i - g. Is c a multiple of 12?
False
Let v(u) = 2*u**2 - 14*u - 31. Is v(-13) a multiple of 34?
False
Suppose 0 = -110*s + 127*s - 6426. Does 42 divide s?
True
Let x = 219 - -5. Is 16 a factor of x?
True
Suppose -5*u = 4*d + 10, 5*u + 5 = 2*d + 25. Suppose -3*x + 210 = u*x. Is x a multiple of 14?
True
Let x be (-13)/((-91)/1047) + 6/14. Let i(v) = v**3 - 5*v**2. Let w be i(5). Suppose w = 2*a + 3*a - x. Is 10 a factor of a?
True
Let w = 2 + -11. Let m(g) be the first derivative of -g**2/2 + 2*g - 83. Does 11 divide m(w)?
True
Let v(u) = -37*u - 14. Let x be v(8). Let m = x + 500. Is m a multiple of 38?
True
Let o = -976 + 1562. Does 21 divide o?
False
Let v be 2*2/4 + 308. Suppose 3*c - 1052 = 5*h, -c - 4*h = -v - 19. Is c a multiple of 36?
False
Suppose 0*m - 49 = 7*m. Let a(u) = -5*u**2 + 2*u + 11. Let p(w) = 3*w**2 - w - 6. Let d(f) = 4*a(f) + 7*p(f). Is 22 a factor of d(m)?
True
Suppose -9 = -3*d + 3*u - 6, -u = 4*d + 1. Suppose n - 30 = -d*n. Is n a multiple of 6?
True
Let t(v) = 2*v**2 - 25*v - 194. Is t(-18) a multiple of 16?
False
Is 22 a factor of 214*1 + 2 + -8 + 4?
False
Suppose 4*u - 36 = 2*k, -k - u - 4 - 5 = 0. Does 11 divide 2/k - (13832/48)/(-13)?
True
Suppose a - 3*b = 585, 32*a - 5*b = 33*a - 625. Is 6 a factor of a?
True
Let h(x) = 57*x - 40. Suppose -9*j + 40 = j. Is 24 a factor of h(j)?
False
Let a(f) = f + 41. Let q be a(-6). Suppose q = t - i - 0*i, 2*i + 4 = 0. Is t a multiple of 11?
True
Let h = -44 - -328. Is 9 a factor of h?
False
Suppose 3*f + 13 = 55. Suppose 0 = 54*s - 43*s + 33. Is (1 - s/3) + f a multiple of 6?
False
Let a = 21 + -13. Suppose -a*y = -0*y - 56. Does 2 divide y?
False
Suppose 5*i + w - 24 = 0, 2*i + 3*i + 5*w - 20 = 0. Suppose -2 - i = s. Let y = s - -14. Is 6 a factor of y?
False
Let n(r) = r**2 - 33*r - 8. Does 4 divide n(35)?
False
Let f(z) = 12*z**2 - 7*z + 4. Let t be f(4). Suppose n = -3*q + 2*q + 33, -4*q + t = 5*n. Is 18 a factor of n?
True
Suppose -q = 3*f - 5, -2*q = -2*f + 4*f - 2. Suppose 5*o = -t + 14, 15 - 53 = -4*t - f*o. Let y(z) = -z**2 + 11*z - 2. Is 8 a factor of y(t)?
True
Suppose 13*h - 9017 = -58*h. Is h a multiple of 5?
False
Is 37 a factor of (161/14 + 7)*6?
True
Let l(n) = 19*n**3 + n**2 - 5*n + 8. Is l(3) a multiple of 13?
False
Suppose -2*i - 8 = -v, v - i - 4*i = 11. Suppose -v*p + 5*p = -10. Is p a multiple of 2?
True
Let b(l) = 2*l + 9. Let j = 72 - 65. Is b(j) a multiple of 11?
False
Let y = 109 - 105. Suppose y*p + 5*g + 62 - 808 = 0, -3*p + 554 = g. Does 25 divide p?
False
Suppose -4*g = -3*m - 5*g + 1205, 10 = 5*g. Is 5 a factor of m?
False
Let o(y) = -5*y**3 - 3*y**2 - 3*y + 8. Is o(-3) a multiple of 25?
True
Let j = 1247 + -605. Let g = j + -432. Is 16 a factor of g?
False
Let k(t) = 2*t**2 - 56. Let p(f) be the second derivative of f**4/12 - 8*f. Let c(r) = -k(r) + 3*p(r). Is c(0) a multiple of 14?
True
Suppose 2626 = 5*f - 1849. Is f a multiple of 83?
False
Let b = 56 + -53. Suppose -3*w + 40 = 4*q, -w - 12 = -4*w + b*q. Is w a multiple of 8?
True
Suppose -6*q = -3*q - 15. Suppose q*b = 3*o + 395, 3*b - 5*o - 14 = 223. Is b a multiple of 16?
False
Suppose h - 1660 = -3*v - 4*h, -4*v + 2190 = -5*h. Does 22 divide v?
True
Let z = 152 + 366. Is 14 a factor of z?
True
Let q(g) = -g**3 - g**2 + 7. Let i be q(-3). Suppose -v = -5*n + 139, 3*n - i = -5*v + 64. Is n a multiple of 20?
False
Suppose 10 = 2*q - 4*s - 2, -3*q - 5*s = 4. Suppose 7*r - q*r - 190 = 0. Is r a multiple of 7?
False
Is 14 a factor of (3/4)/((-17)/(-5916))?
False
Let t(r) = -r**3 - 6*r - 3 - 6*r**2 - 5 + 5. Let y be t(-5). Suppose -4*v + 5*o = -127, 115 = 4*v - y*o + o. Is 14 a factor of v?
True
Suppose 3*w - 2*a - 747 = 0, -5*w + 1232 = -0*a + a. Does 19 divide w?
True
Let b(v) = 147*v + 6. Is b(2) a multiple of 15?
True
Suppose -4*k + 7 = 4*h - 3*k, -37 = -4*h + 5*k. Suppose -z = -h*z + 52. Is 6 a factor of (-2)/((-4)/z) + 3?
False
Suppose 18 + 11 = 4*i + 3*v, -4*i = 5*v - 35. Let b be (-26)/(-10) + 2/i. Suppose 3*a + d - 64 = -a, b*d = -12. Is 7 a factor of a?
False
Let o = -488 - -640. Does 4 divide o?
True
Suppose 24775 = -857*y + 862*y + 5*h, y - 4963 = 3*h. Is y a multiple of 132?
False
Suppose 5*y = -17 + 2. Does 17 divide (17/4)/(y/(-72))?
True
Suppose n - 62 = -2*w + 105, 2*n - 2*w = 334. Is 26 a factor of n?
False
Suppose -3*i + 11 = -1. Suppose w = 4*z - 132, -i*w - 7 = 4*z - 139. Does 33 divide z?
True
Suppose -3*t + b = 927, -5*b - 1217 = 2*t + 2*t. Let j = -138 - t. Is 12 a factor of j?
False
Let r(u) = 181*u**2 + 4*u + 9. Let s be r(-2). Suppose s = 5*a - 35. Does 38 divide a?
True
Let c(k) = 1. Let a(l) = -l**2 + 8*l - 5. Let q be a(7). Let n(f) = f - 1. Let u(g) = q*c(g) + n(g). Is 2 a factor of u(6)?
False
Let z be 10/4 - (-19)/(-38). Suppose -84 = -z*u - h, -5*h + 18 = -3*u + 131. Is u a multiple of 7?
False
Let p = 0 + -4. Let b(w) = 2*w**3 + 5*w**2 - 4*w + 2*w**2 + 4 - w**3 - 3*w**2. Is b(p) a multiple of 13?
False
Suppose 4*t = 7*t - 0*t. Suppose t = x - 14*x + 1209. Is 25 a factor of x?
False
Suppose 20700 = 10*w + 10*w. Is w a multiple of 72?
False
Let p(u) = -10*u + 37. Is 7 a factor of p(-4)?
True
Suppose -2*z + 3*u + 493 = 0, 0 = 4*z + 3*u - 784 - 247. Does 15 divide z?
False
Let f(d) = -14*d - 7. Let s be f(-2). Is -1 - -73 - s/(-7) a multiple of 25?
True
Let m = 11 + -6. Suppose m*g = -16 + 61. Does 2 divide g?
False
Let h(v) = v**3 + 6*v**2 - 4*v + 5. Let p be h(-5). Let q be (2/5)/(4/p). Suppose -3*a + i + 47 = q*i, 3*a - 33 = 3*i. Does 2 divide a?
False
Suppose 8*v = 11*v - 456. Suppose -567 + v = -5*d. Does 14 divide d?
False
Let c(y) = y**2 + 5*y + 5. Let v be c(-5). Suppose 2*w = 5*j - v, -w + 0*w = 2*j - 11. Suppose 0 = 4*r + i - 109, w*i - 1 + 28 = 2*r. Does 7 divide r?
False
Let h(l) = 2*l - 9. Let i be h(7). Suppose 19 - 3 = -2*w + 5*p, -9 = i*w + 3*p. Does 11 divide 15/(1 + (-3 - w))?
False
Let l be 591/((-33)/(-6) + -4). Suppose -g = -3*v + l, 3*v - 153 - 225 = -3*g. Does 36 divide v?
False
Let v(m) = -10*m**3 - 31*m**2 - 22*m + 8. Let l(a) = 3*a**3 + 