 + 2. Let h be ((-7)/(-14))/((-2)/4). Let d(r) = -4*r**3 - r**2 - r - 1. Let w be d(h). Does 5 divide n(w)?
True
Suppose 2*z - 6290 = -4*j, -2*z - 177 = -179. Is j a multiple of 7?
False
Is 89/890 - 11*538/(-20) a multiple of 13?
False
Suppose 2*s + 5*b = 6*s + 63, -5*b = -2*s - 39. Let o = s + 11. Does 2 divide (1 + 0)/(o/(-7))?
False
Suppose 56*z = 38*z + 612. Is z a multiple of 17?
True
Let y = -240 - -2352. Is y a multiple of 16?
True
Suppose 111 = 3*r + 2*c, 2 - 113 = -3*r - 5*c. Suppose 3*x - 2*o - r = 0, 2*x - 3*x + 3 = 4*o. Suppose 2*z = x + 37. Is z a multiple of 8?
True
Let d(a) = a**2 - a. Let y(w) = -5*w**3 - 4*w**2 + w - 2. Let s(k) = 2*d(k) + y(k). Is 29 a factor of s(-3)?
False
Suppose -3*k + 4*c = -12, -3 = 3*k + c - 0. Suppose 27*p - 25*p - 20 = k. Does 6 divide p?
False
Suppose 0 = h + 4*y - 318, -3*y = 4*h - 7*y - 1192. Does 18 divide h?
False
Suppose 5006 = 5*s + 3*c, 12*s + 2*c = 15*s - 2996. Is s a multiple of 25?
True
Suppose -9*t - 1387 = -5527. Does 46 divide t?
True
Let b(y) = -y**2 - 13*y + 18. Let l be b(-9). Let u be 26/(-65) - l/(-10). Suppose u*g - 3*o - 45 = -0*o, 3*g - 3*o = 27. Does 7 divide g?
False
Let n(v) = -2*v**2 + 7*v + 8. Suppose -7*u + 3*u + 24 = 0. Let q be n(u). Is q/(-165) - (-583)/15 a multiple of 39?
True
Suppose u - 164 = 95. Suppose -5*w + u = -46. Is w a multiple of 39?
False
Suppose -49*j + 4905 = -6610. Does 12 divide j?
False
Does 8 divide 5/100*12 - (-17526)/15?
False
Let l(y) = 8*y**2 - 1. Let k be l(-1). Let t = k - 17. Is (-65)/t*1*2 a multiple of 13?
True
Suppose 0 = 2*t - 2*w - 112, 168 = 3*t - 3*w + 8*w. Is 7 a factor of t?
True
Let h = -31 + 37. Does 17 divide 15*(456/10)/h?
False
Suppose -2*p = -4*y + 2*y + 18, 3*y - 7 = -2*p. Is y even?
False
Let s = -13 + 1. Let q be 1/2 + (-18)/s. Suppose -q*g + 5 = -71. Does 25 divide g?
False
Suppose -14 = -2*r + 40. Suppose 0 = 2*j - 3*j + r. Is 9 a factor of j?
True
Suppose -5*r + 1208 = 5*u + 393, -5*u + 311 = 2*r. Does 8 divide r?
True
Let w(v) = -8*v**3 - 6*v**2 - 4*v. Is 3 a factor of w(-3)?
True
Is (18/(-10))/(3/(-1155)) a multiple of 22?
False
Let c = -1109 - -1130. Suppose -2*g + 7*g = 12215. Is g/c - 1/3 a multiple of 32?
False
Let x be (-14)/4 - (21/(-6) - -2). Let d = x - -6. Does 2 divide d?
True
Suppose 1050 = 18*k - 3*k. Does 14 divide k?
True
Let z(r) = 4*r**2 - 24*r + 8. Does 27 divide z(12)?
False
Let m(t) = t**3 + 22*t**2 - 29*t - 2. Let q be 2/(-7) - (2862/14)/9. Is 17 a factor of m(q)?
True
Suppose -17*j - 15*j + 3584 = 0. Is j a multiple of 28?
True
Let w(k) = 34*k**2 + k - 21. Is 26 a factor of w(4)?
False
Suppose 0 = 3*x - 3*h + 75, -x + h - 28 = 3*h. Let w = 41 + x. Does 3 divide w?
True
Suppose -4 = 2*u, -28*u + 23*u - 4846 = -4*m. Does 13 divide m?
True
Let r(g) = -7 + g + g + g**2 + g. Let z be r(-5). Suppose 15 + 63 = z*u. Is u a multiple of 23?
False
Let q = 1 + 31. Suppose -5*x + 2*r + 81 = -2*x, 0 = x + r - q. Does 8 divide x + -6 + 9/3?
False
Let d = 25 + -25. Suppose d = 6*r - 142 - 14. Suppose -i + 129 = 3*j + i, j - 5*i - r = 0. Is 24 a factor of j?
False
Does 12 divide 8 + (376 - 4) - -4?
True
Let c be (-31440)/45 - (8/6 + -2). Let d = c + 1000. Is d a multiple of 47?
False
Let c(a) = a**2 - 5*a - 44. Let k be c(-5). Is 4 a factor of 0 - k/(-10) - 1988/(-20)?
True
Suppose -13*l + 7*l + 72 = 0. Suppose l*h - 26 - 10 = 0. Is 3 a factor of h?
True
Let m = -2251 + 4697. Is 24 a factor of m?
False
Suppose -19*c + 890 = -17*c. Is 29 a factor of c?
False
Suppose 12 = -3*m + 7*m. Suppose 0 = m*l - 101 + 5. Is 4 a factor of l?
True
Suppose m = 4*d - 5*d + 895, 4*m - 3587 = 3*d. Is m a multiple of 3?
False
Let x(g) be the first derivative of -2*g**2 + 4*g - 7. Let r be x(2). Does 9 divide ((-180)/(-40))/((-2)/r)?
True
Let x(t) = t**2 + 5*t + 18. Let s be x(6). Suppose 6*y - s = 2*y. Is y a multiple of 7?
True
Let r be (68/6)/(12/(-54)). Suppose 11*z = 162 + 1290. Let s = z + r. Is 25 a factor of s?
False
Suppose 5*q + 131 = 5*l - 29, 2*q - 71 = -3*l. Suppose 3*x - 6*x = -l. Suppose 0 = x*f - 8*f - 24. Is 12 a factor of f?
True
Let p = -27 + 36. Suppose 4*s + 410 = p*s. Is s a multiple of 6?
False
Let n = 7 + -20. Let r = -7 - n. Let s = 18 - r. Does 9 divide s?
False
Let c(d) = 2*d**2 + 2*d - 2. Let h(v) = v + 5. Let l be h(0). Let g be c(l). Suppose 2*w + g = 5*m + w, -4*w + 8 = 0. Is m a multiple of 12?
True
Let k be 2876/(-10) - (-40)/(-100). Is 8 a factor of (-7 + 1)*k/54?
True
Let o(t) = 2*t**3 - 3*t**2 - 2*t + 4. Let u be o(2). Suppose 14 = u*q + 2. Suppose 3*d - 87 = q*i, -3*i = 2*d + 2*i - 23. Is d a multiple of 8?
True
Let u(x) = -35*x + 70. Is 10 a factor of u(-12)?
True
Let d be (0 - -3) + -1 + 78. Is d + (-5)/(25/(-20)) a multiple of 12?
True
Let w be -4*(-5)/90 - 8197/(-9). Suppose -5*l = -2*s - 907, -6*l + s = -l - w. Is l a multiple of 29?
False
Let n(x) = -x - 8. Let i be n(-4). Is 12 a factor of i/6 + (-4807)/(-33) - 1?
True
Suppose -j - 12 = -3*j. Is 2/j*3*(-1 - -66) a multiple of 25?
False
Let w = 846 - 450. Is w a multiple of 9?
True
Let r(m) = 3*m**2 + 2*m - 2. Let h be r(2). Suppose 4*s + s = 50. Suppose s + h = n. Does 12 divide n?
True
Let v(k) be the first derivative of -3*k**2 + 16*k - 2. Let t be v(-12). Suppose t = 2*x + 2*x. Does 11 divide x?
True
Is (-9450)/7*(-8)/10 a multiple of 54?
True
Suppose 0 = 4*y - 2*s + 28, -y + 22 = -3*y - s. Let m be 20/(-15)*y/6. Suppose -4*w = -4*b + 48, 0*b - 8 = -m*b - 2*w. Does 6 divide b?
False
Let m(w) = 2*w + 8. Suppose -3*k + 28 = -0*k + n, 0 = 4*k + n - 36. Is m(k) a multiple of 8?
True
Let m(r) = -3*r**2 - 27*r + 29. Let f(g) = -4*g**2 - 41*g + 44. Let l(v) = 5*f(v) - 7*m(v). Is 13 a factor of l(18)?
False
Suppose t + t - 20 = 0. Let g(k) = -k + 25. Is 6 a factor of g(t)?
False
Let j(t) be the second derivative of 7*t**3/3 - 27*t**2/2 - 25*t. Is 11 a factor of j(5)?
False
Suppose s + 2*s + 63 = 3*d, -s - 24 = -2*d. Does 22 divide (-81)/s*(-176)/(-6)?
True
Let r = 375 - 195. Is r a multiple of 6?
True
Suppose -4*i = 2*y + 16 - 0, 4*y = 4*i - 44. Let u(b) = -8*b - 14*b + 21*b. Is 6 a factor of u(y)?
False
Let m(l) = -l**2 + 7*l + 2. Let d be m(7). Suppose 9 = d*z + 5. Suppose -j + 0*j - z*h = -21, h = 3*j - 56. Is j a multiple of 3?
False
Suppose 0 = 4*m - 0*m - 1136. Suppose -5*w + m = -w. Let s = w - 32. Is 10 a factor of s?
False
Let j = 39 - -1. Let s be 2 - -4*(j + -3). Suppose s = 3*x - 5*c, -3*x + 4*c + 35 = -118. Does 24 divide x?
False
Suppose -10*s + 6378 = -2982. Is 34 a factor of s?
False
Let n(q) = 5*q**2 + 4*q + 18. Let c be n(9). Suppose -2*b + 2 = 0, 5*w = -9*b + 5*b + c. Is 6 a factor of w?
False
Is 4/2 + (186 - (-7 + 14)) a multiple of 45?
False
Suppose 6*v - 523 = 545. Does 17 divide v?
False
Let n(y) = -y**3 + 4*y**2 + 6*y - 8. Let q be n(5). Is 2 a factor of 3 - q - (-4)/(-2)?
True
Let g(w) = -3*w**3 - 2*w**2 + 4*w + 7. Let o be (-17)/(-4) - (-5)/(-20). Suppose 12 = -2*z - o*z. Is g(z) a multiple of 12?
False
Suppose -4*w = -0*w - 24. Let x be 14 - (3 - (-3 - 2)). Is 6 a factor of w*(51/x + -4)?
False
Let m(i) = i**3 + 6*i**2 - 8*i - 7. Let r be m(-7). Suppose 0*a - 56 = -3*x + 2*a, -5*x - 2*a + 104 = r. Suppose j - 104 + x = 0. Is j a multiple of 12?
True
Suppose 906 = -5*h - 4*p - 0*p, 2*h + 3*p = -361. Let m = 264 + h. Let y = m - 58. Is y a multiple of 8?
True
Let k = 1 + 51. Let n = 5 + k. Is n a multiple of 57?
True
Suppose -2*p - 12 = 2*p. Let b = p + 5. Suppose -b*t + 2*y + 158 = -0*t, 306 = 4*t + y. Is 17 a factor of t?
False
Suppose -2*x + 4*y + 342 = 0, -5*x - y + 409 = -413. Let r = x + -113. Is r a multiple of 7?
False
Let u = -4 + -6. Let d = u + -4. Let s = d + 25. Is 11 a factor of s?
True
Let q(d) = d**2 + 7*d - 29. Let v be q(-11). Let t = v + 25. Is t a multiple of 20?
True
Let t be (20/16)/(1/4). Suppose -f + 2*p - p = -24, 0 = f - t*p - 16. Does 9 divide f?
False
Suppose -2 - 19 = -7*u. Suppose 0 = -2*l + u*z + 108, 8 - 4 = z. Does 12 divide l?
True
Suppose 57*m - 59*m = -1608. Is m a multiple of 6?
True
Let l = -26 - -13. Let q = 15 + l. Let p(g) = 31*g**2 - 5*g + 3. Is 26 a factor of p(q)?
False
Let f(z) = 5*z**2 - 21*z - 12. Let w be f(9). Suppose -w + 600 = 3*i. Is 11 a factor of i?
True
Let x(j) be the third derivative of j**5/15 + 11*j**4/24 + 5*j**3/2 - 3*j**2. Let h(i) = 5*i**2 + 11*i + 16. Let a