+ 4. Let i be d(4). Let p = i + w. Is p a multiple of 8?
True
Let k = 21 - 17. Suppose 2 = -2*x - k. Is x/(-6) - (-213)/6 a multiple of 5?
False
Let f(x) = 2*x - 22. Let a be f(17). Does 14 divide (-1954)/(-14) + 1*a/28?
True
Let m be 3 + -1*(-54 - 3). Suppose a - m = -3*h, -a = -h - h - 40. Is a a multiple of 9?
False
Is (17/(-187) - (-1542)/22)*6 a multiple of 15?
True
Suppose 5*p - 8 = p. Suppose -4*s + 474 = p*v, 0*s = v + 4*s - 245. Does 25 divide v?
False
Let l = -10 + 10. Suppose l = 3*z + 2 + 25. Let h = z + 35. Is h a multiple of 13?
True
Suppose -2*h - 1148 = -3*w, -h - 1150 = -13*w + 10*w. Does 64 divide w?
True
Let k(g) be the second derivative of -1/20*g**5 - 3/4*g**4 + 0 + 10*g - 5/3*g**3 - 5/2*g**2. Is 3 a factor of k(-8)?
False
Let i = 5 - 1. Suppose -48 = -i*u - 4*t, 91 = 5*u + 4*t + 28. Is u a multiple of 12?
False
Suppose -30*k + 18*k + 4320 = 0. Is 45 a factor of k?
True
Let g be (-105)/10*(-4)/(-3). Let n(q) = q**3 + 13*q**2 - 21*q. Does 17 divide n(g)?
False
Suppose -2920 = -10*j + 380. Does 6 divide j?
True
Suppose -18 = 5*f + 3*k - 6*k, -5*f = -4*k + 19. Let y = -2 + f. Does 13 divide 20/(-50) - 262/y?
True
Suppose 0 = -t - 4*i + 12, 0 = t + 2*i - 6. Suppose -27*k + 23*k + 52 = t. Is k a multiple of 13?
True
Let w(f) = 13*f**2 + 33*f - 118. Is w(11) a multiple of 18?
True
Suppose 0 = 2*i - 51 - 15. Suppose 7*j - 191 = i. Does 8 divide j?
True
Suppose -6 = -94*j + 95*j. Does 2 divide (-94)/j - 7/(-21)?
True
Let v = 1 + -1. Suppose v = -2*f + 3*f. Suppose 0*o - 5*o + 140 = f. Does 7 divide o?
True
Suppose -3*n + 240 = -2*j, -2*n = -18*j + 15*j - 160. Does 5 divide n?
True
Suppose t - 4*z = 14, -5*t + 8 = -2*z - 26. Suppose -4*d - 6 = -t*d, 0 = -5*v + 5*d + 110. Does 5 divide v?
True
Suppose -5*l - 2*k + 85 = -2*l, 4*l = -k + 110. Let g = l + -16. Is 2 a factor of g?
False
Let h be (-1 - 435/10)*-2. Suppose 2*g - h = -5*b, -7*g + 5*b + 103 = -3*g. Does 3 divide g?
False
Suppose g - 106 = 2*p, -3*g = 2*p + p - 273. Suppose g = 2*j - 0*j. Is j a multiple of 12?
True
Let g = 26 - 23. Suppose -g*r - 5*v + 3*v - 6 = 0, 3 = 2*r - v. Suppose 0 = s - r*s - 16. Does 4 divide s?
True
Let j(k) = -505*k + 2. Does 48 divide j(-1)?
False
Suppose -4*a = -0*a - 132. Suppose -2*f + 21 + a = 0. Suppose -87 = -2*m - f. Is 10 a factor of m?
True
Is 2 a factor of (0 - -1)/((-54)/(-2160))?
True
Let y = -26 + 20. Let i(m) = 107*m + 9. Let h(b) = 53*b + 5. Let l(a) = y*i(a) + 11*h(a). Is 20 a factor of l(-1)?
True
Let t = 10 - 2. Suppose z + z + t = -c, -15 = 5*c + 5*z. Let q(o) = o**3 + o**2 - 2. Does 5 divide q(c)?
True
Suppose -2*h + f + 1583 = 0, -5 = 2*f - 3*f. Is h a multiple of 26?
False
Is 44 a factor of (-3 + (-333)/(-12))/((-17)/(-816))?
True
Suppose 2*o = 2*t - 254, -3*t + 633 = 2*t - 3*o. Is 3 a factor of (4/18 - 595/t)*-2?
True
Suppose 1 + 3 = -4*c. Is 2 a factor of (c - 2)*(-6 - -5)?
False
Let f = -2146 + 3417. Is f a multiple of 27?
False
Let q = -3 - -18. Let s = q - 39. Is 8 a factor of (s/18)/((-1)/6)?
True
Suppose 47*o - 43*o - 1228 = 0. Is o a multiple of 11?
False
Let u(r) = 2 + r - 11*r - r**3 + 2 - 12*r**2 - 8*r. Does 14 divide u(-11)?
False
Let f be 85/(-20)*-21*4. Suppose -3*h = 3*q - f, -503 + 178 = -3*q + 5*h. Does 34 divide q?
False
Let n(h) = -h**2 - 9*h - 3. Let t be n(-8). Suppose t*y + 225 = 4*r, -r - 19 = 5*y - 69. Let o = 97 - r. Does 14 divide o?
True
Let i be (-158)/(5 + (-12)/4) + -4. Let t = -41 - i. Is 42 a factor of t?
True
Let o = 143 + -79. Suppose -4*b = 4, -4*t + 0*b = 4*b + 8. Let a = t + o. Is 21 a factor of a?
True
Let o(q) = 4*q - 13*q + 7*q - 18. Does 16 divide o(-17)?
True
Let a = -40 - -1255. Is a a multiple of 27?
True
Suppose -3*n - 4*m = 511, -4*n + 5*m - 53 = 649. Let x = n - -380. Does 17 divide x?
False
Suppose m = -4*g + 8, 5*m - 3*g = -6*g + 23. Suppose 0 = -m*k + 132 + 28. Is k a multiple of 12?
False
Suppose -14 + 5 = -4*o + 5*c, 5*o - 2*c = 7. Let p(q) = 4*q**3 + q**2 + q - 1. Let d be p(o). Suppose -74 = -d*r + 3*r. Is 30 a factor of r?
False
Let w(r) = r + 58. Let n be w(-12). Let d be (-22)/6*54/(-3). Let y = d - n. Is 5 a factor of y?
True
Let n(m) = -3 + 41 + m + 46. Let o be (-1)/5 + (306/(-45) - -7). Is 14 a factor of n(o)?
True
Let z = -69 - -149. Suppose -5*s = -25, -2*s - z = o - 3*o. Is (-38)/(-9) - 10/o a multiple of 4?
True
Let v = 9 - 4. Suppose -v*d + 20 = -0*d. Is ((-2)/d)/(14/(-644)) a multiple of 12?
False
Let l = 142 + 38. Suppose 0*w = -2*w + l. Is 9 a factor of w?
True
Suppose s + 1165 = 2*t, 4*t - 9*t + 3*s + 2910 = 0. Is t a multiple of 37?
False
Suppose -70*c + 71*c = 5*n + 215, n = 3*c - 659. Is c a multiple of 15?
False
Does 28 divide 169 + (-3)/(-6) + (-15)/10?
True
Suppose 6*a = a + 260. Suppose -z = -t - a, 3*z - 25 = -4*t + 103. Is 6 a factor of z?
True
Let r(y) = y**2 - 12*y + 32. Let z be -39*(-4 + 5)/(-3*1). Does 4 divide r(z)?
False
Let j(i) be the first derivative of -i**2 - 11*i - 2. Let z(t) = -11*t**2 - 3*t - 2. Let n be z(-1). Is 3 a factor of j(n)?
True
Let y(h) = -h**2 - 7*h - 1. Let g be ((-1)/3)/((-4)/(-84)). Let w be y(g). Let o(a) = -9*a**3 + 2*a + 1. Is 3 a factor of o(w)?
False
Let y(x) = -x**2 - 15*x + 11. Suppose 4*u = -35 - 25. Is 3 a factor of y(u)?
False
Suppose -2*y + 3*i = -1495, 2*i = 4*i + 10. Suppose -5*z + 4*g = -1244, 3*z - y - 8 = 2*g. Is 52 a factor of z?
False
Let i(w) be the first derivative of w**4/4 + 25*w**3/3 + 17*w**2/2 + 54*w - 57. Is i(-24) a multiple of 9?
False
Is 55/(-44) - 24825/(-20) a multiple of 12?
False
Let q = 1136 + 0. Is 71 a factor of q?
True
Let a = 49 - 43. Let x(p) = -2*p**3 + 13*p**2 - p + 2. Is x(a) a multiple of 4?
True
Let q(u) = u**3 - 54*u**2 + 19*u - 81. Is 35 a factor of q(54)?
True
Suppose o - 4 = -0*o. Suppose -4*i + 3*i = u - 145, -o*u = i - 130. Does 30 divide i?
True
Suppose -4*x - 2 = -10. Let i be 3/2*2*23. Suppose -5*n + 271 = 5*p - i, x*p = 10. Does 9 divide n?
True
Let r be 4/(-22) + 167/11. Let k = r + -10. Suppose b - k*j = -4, -5*j + 3*j + 94 = 4*b. Does 7 divide b?
True
Let r = 43 + -41. Suppose -c + 110 + 92 = 2*z, 5*z - 487 = r*c. Is 7 a factor of z?
False
Let z(r) = 3*r + 13. Let q be z(-6). Let b be (26/10 + -1)*q. Is (180/b)/5*-12 a multiple of 27?
True
Let u(y) = y**3 + 9*y**2 + y - 3. Let a be u(-9). Let i(k) = 11*k**3 - 3*k - 2. Let j be i(-1). Does 3 divide ((-18)/j)/(a/(-40))?
True
Let a(p) = 41*p + 11. Let f(n) = -61*n - 17. Let u(v) = 8*a(v) + 5*f(v). Let y be (4 - 0)*(-9)/(-12). Is u(y) a multiple of 36?
True
Suppose -2*s + s + 84 = 2*o, 452 = 5*s + 2*o. Does 10 divide s?
False
Let j = -8 + 8. Let g be j - 1 - (0 - 2). Does 14 divide 326/6 - g/3?
False
Let s = -10 + 14. Suppose 0 = 4*b + s. Let g = 46 + b. Does 12 divide g?
False
Let a = 0 - -3. Let t(o) = 17*o - 2. Let g(d) = -35*d + 5. Let k(l) = 3*g(l) + 7*t(l). Does 10 divide k(a)?
False
Suppose 4*s - r - 75 - 44 = 0, 5*s + 3*r - 153 = 0. Let a be (-9)/6 - s/4. Is 27 a factor of 126/(-4)*12/a?
False
Let n = 3 + -3. Suppose -2*x - x + 141 = n. Suppose -3*v - 2 = -x. Does 15 divide v?
True
Let p(m) = 2*m - 6. Let v be p(4). Suppose -d + 2*d - v = 0. Is 4 a factor of 20/(4/d) - -1?
False
Let s = -12 + 12. Suppose s = -2*j - 11*j + 962. Does 37 divide j?
True
Let i(q) = 356*q**3 - 2*q**2 - q + 3. Does 55 divide i(1)?
False
Let q(t) = t**3 + 7*t**2 + 4*t + 6. Let b be q(-6). Let v be 668/6 + (-6)/b. Let m = 207 - v. Is m a multiple of 32?
True
Let v be ((-10)/(-5))/((-2)/(-229)). Suppose -4*y = 5*w - 1112, 0*y - 3*y + v = w. Is w a multiple of 55?
True
Let v be 22/14 + 21/49. Suppose 4*n - v*z - 16 = -3*z, n - z - 4 = 0. Suppose -n + 14 = 2*q. Is q a multiple of 3?
False
Suppose 2*f - 46 + 50 = 0. Does 14 divide (2/(-2))/(f + 1206/606)?
False
Suppose 3*o + 0 - 15 = 0. Let b = -83 - -85. Suppose b*w = o*w - 21. Does 3 divide w?
False
Suppose -3*m + m = -382. Let c = -81 + m. Suppose -5*l + x + c + 26 = 0, l + 3*x = 24. Does 9 divide l?
True
Let h(v) = 4*v**2 - 25*v - 90. Is h(18) a multiple of 28?
True
Let a be (-33)/(-18) - 2 - 55/(-6). Suppose a = 3*s, 5*j = -2*s + 3*s + 992. Does 28 divide j?
False
Let v(y) = y**2 - 7*y + 2. Let a be v(9). Let d(z) = -2*z - 3*z - 4*z - 3*z**2 + 4*z**2 + a. Is d(8) a multiple of 12?
True
Suppose -2*f - 3*s = -69, -f + 5*s + 19 = 4. Suppose -5*m - 72 = 13. Let d = f + m. Is 13 a 