40 = 0. Does 17 divide 2/m*(-238 + 3 + 0)?
False
Let j = -56 - -59. Let k(c) = 2*c**2 - c + 5. Is 3 a factor of k(j)?
False
Let h = -265 + 517. Suppose 76 - h = -4*c. Does 42 divide c?
False
Let j(h) = -h**2 - 21*h - 23. Let m be j(-15). Let n = 85 - m. Is n a multiple of 5?
False
Suppose -10 = -4*y + 4*v + 30, -2*y - 2*v = 0. Suppose -r + 0*u = u - 54, -u - 270 = -y*r. Is r a multiple of 9?
True
Is 34 a factor of (-19932)/(-14) - -4 - (-10)/35?
True
Suppose -743 = 10*y - 4733. Is 7 a factor of y?
True
Suppose 17 = -5*w - 13. Let r(o) = 2*o**3 - 7*o**2 - 7*o - 14. Let t(i) = 3*i**3 - 14*i**2 - 13*i - 27. Let c(v) = 5*r(v) - 3*t(v). Is 13 a factor of c(w)?
False
Let b = -24 + 24. Suppose b = -3*f - 0*z + 4*z + 173, 0 = z - 4. Is 7 a factor of f?
True
Suppose -2*c + 1941 = 2*m - 3*m, 4*c - 5*m - 3873 = 0. Is 27 a factor of c?
True
Suppose -l + 5*i = -10, -3*l - 4*i - 2 + 13 = 0. Suppose -5*a + q - 167 = 4*q, 5*a + 135 = l*q. Let v = a - -72. Does 38 divide v?
False
Let m be 4/6 + (-66)/18. Is 38 a factor of 304*(2 + m/2)?
True
Suppose -4*z = z - 25. Suppose -z*s + 470 = 50. Is s a multiple of 14?
True
Let q(s) = s + 2. Let b be q(2). Suppose -k + 151 = z + b*z, 5*z + 2*k - 152 = 0. Does 6 divide z?
True
Suppose 0 = 2*i + 4, -u - 4*u + 8 = i. Suppose 2*o + u*o - 48 = 0. Suppose 0*m - o = -4*m. Does 3 divide m?
True
Suppose -k = -6*k - 15. Let m be -1*(-2 - 6 - k). Suppose m*f = 236 - 16. Does 14 divide f?
False
Is 26 a factor of 999 + ((-156)/30 + 4)*-5?
False
Suppose 4*y = -4*c + 8, 0 = 2*c - 0*y + 4*y. Suppose -c*d = -0*d - 304. Is 19 a factor of d?
True
Let v = -46 + 333. Does 7 divide v?
True
Let h(w) = w**2 - 14*w + 19. Let k be h(13). Suppose k*o - o - 25 = 0, 5*x - 4*o = 325. Is x a multiple of 23?
True
Let p = 18 + -13. Suppose -8 + 3 = -p*n. Is 10 a factor of (n/(-3))/((-4)/204)?
False
Suppose 2*t = -4*u - 112, -u + t - 30 + 8 = 0. Let f = u + 88. Is 26 a factor of f?
False
Let o = 336 + -177. Is o a multiple of 21?
False
Is 29 a factor of (-336)/(-126)*(-870)/(-4)?
True
Let p = 129 + 1018. Is 10 a factor of p?
False
Let q = -14 - -18. Suppose 3*w = q*k + 331, 60 = -2*w - 2*k + 262. Is 9 a factor of w?
False
Let r = 107 + -94. Does 5 divide ((-6)/39 - 336/r)/(-2)?
False
Suppose -5*i = -2*g + 269 - 16, -4*g = 5*i - 521. Is 5 a factor of g?
False
Let v(b) = -2*b**3 + 6*b**2 - b + 3. Let r be v(3). Is 9 a factor of (62/(-6))/((-4)/24 - r)?
False
Suppose 48 = -2*c - 0*c. Let g = c - -60. Is 6 a factor of g?
True
Let j(x) = -4*x + 1. Let o = -3 - 2. Does 21 divide j(o)?
True
Suppose 0 = -8*c - 9012 + 41012. Is 16 a factor of c?
True
Let u = -1342 - -2059. Suppose 3*c + 2*c = -3*f + u, 5*f = -4*c + 571. Does 16 divide c?
True
Let y = 2699 - 1565. Is 54 a factor of y?
True
Let n = -228 + 816. Suppose 9*d - n = 1572. Is d a multiple of 16?
True
Let t be 4 + 2/(-1) + 0. Suppose -2*y = -10, -2*r = t*y - 8 - 6. Suppose -5*d + r*d = 5*b - 165, -4*b + 5*d = -132. Is 11 a factor of b?
True
Suppose -4*g = -2*g - 328. Does 4 divide g?
True
Suppose -357 = -5*m + 4*w + 157, -4 = -w. Does 8 divide m?
False
Suppose 8*t - 2130 = 5302. Does 19 divide t?
False
Suppose l + 8 = 6, 2*n + l = 1240. Is 17 a factor of n?
False
Let h(i) be the third derivative of i**5/60 - i**4/24 - 3*i**3/2 + 12*i**2. Let y(q) = q**3 + 3*q**2 - 2*q + 1. Let g be y(-3). Is 10 a factor of h(g)?
False
Let s be (1/(-3))/(1/327). Let q = s + 157. Does 37 divide q?
False
Let a = 510 - 445. Does 13 divide a?
True
Let g = 473 + -416. Is 57 a factor of g?
True
Let y = 7 + -4. Suppose 0 = 8*m - y*m. Suppose -l = -3*l - 8, p + 4*l - 27 = m. Is 11 a factor of p?
False
Suppose 3*n + 73 = 4*g, g + g = -2*n - 30. Let l = -15 - n. Does 23 divide (69/l)/(9/48)?
True
Let b = 8121 - 2985. Is b a multiple of 24?
True
Suppose -19 = 7*t - 75. Does 9 divide 2*18*10/t?
True
Let b(v) = -31*v + 2. Suppose -3*a = -2*f, 4*a - 15 = -5*f + 8. Suppose 16 = 2*t - 5*l - a, -2*l = t + 9. Is 25 a factor of b(t)?
False
Suppose 2*k - 11*k - 27 = 0. Is 12 a factor of 52 - ((-6)/k + -3)?
False
Suppose 0 = -4*k + 8. Suppose -k*u = -0*u - 104. Is u a multiple of 14?
False
Let z(j) be the second derivative of 11*j**4/12 + j**2 + j. Let x(g) = -2*g**3 - 11*g**2 + 8*g + 10. Let f be x(-6). Is 23 a factor of z(f)?
True
Let q(z) be the first derivative of z**4/4 - 5*z**3/3 + 5*z**2/2 + 9*z + 9. Is 16 a factor of q(7)?
False
Suppose -74 - 382 = -2*n. Is 6 a factor of n?
True
Let r(p) be the third derivative of -p**5/60 + p**4/12 + 5*p**3/6 + 2*p**2. Let q be r(5). Let x(z) = z**3 + 9*z**2 - 13*z - 12. Does 5 divide x(q)?
False
Let s = -65 - -65. Let m(l) = -5*l + 27. Does 7 divide m(s)?
False
Suppose 3*w + o = 696, -14*w - o - 236 = -15*w. Is w a multiple of 39?
False
Let l = 26 + -76. Let j(u) = -u**3 - 2*u**2 + 3*u. Let t be j(2). Does 20 divide (-354)/t + 20/l?
False
Let p = -1 - -5. Let j(x) be the third derivative of -x**6/120 + 7*x**5/60 + x**4/24 - 2*x**3/3 + x**2. Does 24 divide j(p)?
True
Suppose 29*l - 61 = 28*l. Is 9 a factor of l?
False
Let x(d) = -34*d + 5. Let z be x(-3). Suppose -z = -5*y + 163. Does 10 divide y?
False
Suppose -39*v + 29*v = -11940. Is v a multiple of 15?
False
Suppose 0 = 106*w - 102*w. Does 13 divide 4/(-22) + 1080/11 + w?
False
Suppose -9*l - 1863 = -9468. Is 65 a factor of l?
True
Let i = -505 + 651. Does 8 divide i?
False
Let g(w) = 3*w + 12. Let c be g(-14). Let j be (-2)/(-4) + (-555)/c. Suppose 0*r + 5*r = f - j, 0 = -4*f - 3*r + 99. Does 6 divide f?
True
Suppose 14 = 3*w - 4*w - 4*p, 4*p + 6 = -5*w. Suppose 5*c + 4*m - 527 = 2*m, 0 = 4*c - w*m - 418. Is c a multiple of 15?
True
Let u = 8 - 8. Suppose 0 = 2*v - 7*v + 3*t + 288, -v - t + 56 = u. Does 19 divide v?
True
Suppose -7*r + 1001 + 77 = 0. Is 22 a factor of r?
True
Suppose 34 = 2*t - 5*n, 0 = -3*n - 0*n - 6. Suppose t*r = -501 + 1929. Is 7 a factor of r?
True
Let n(w) be the second derivative of -w**5/20 - 7*w**4/12 + 5*w**3/6 - 5*w**2/2 + 5*w. Let p be n(-8). Suppose -3*u = 15, -u + 6*u + p = -2*z. Does 3 divide z?
True
Suppose -3*g - 5*n = -16, -4*g + 14 = -g + 4*n. Suppose -2*o - o + 4*j = -231, -g*o + 154 = j. Is o a multiple of 11?
True
Suppose 2*q + 297 = -0*q - 3*b, -748 = 5*q + 2*b. Let v = q - -273. Suppose 0*i - 273 = -4*i - 3*n, 2*i - 3*n = v. Is 22 a factor of i?
True
Suppose -17 = 2*f + 7. Is 3 a factor of -3 + 119/4 + (-3)/f?
True
Let x(u) = 13*u - 11. Let t be x(6). Let w = t - 5. Is w a multiple of 12?
False
Let w(k) = -5*k + 5. Let b be w(-7). Suppose v - 11 = 2*m + b, 132 = 3*v + m. Is 5 a factor of v?
True
Let p be (-29)/(-9) + 2/(-9). Suppose -m - 2*m + 20 = 5*n, 4*m = -p*n + 12. Suppose 4*u = -f + 50, -n*u - 5*f - 38 = -8*u. Does 6 divide u?
True
Is 24 a factor of (141 - (-1)/1)/(24/60)?
False
Let j = 46 - -7. Suppose x - 19 = j. Does 15 divide x?
False
Suppose -z + 21 = 5*i, 2*i + 0*z - z = 14. Suppose n - 4*m - 131 = -4*n, n - 22 = i*m. Let u = 21 + n. Does 16 divide u?
True
Suppose -60 + 45 = 3*f. Let r(s) be the third derivative of -s**5/60 - s**4/2 - s**3/2 - 3*s**2. Does 16 divide r(f)?
True
Does 19 divide 3 - 2706/(-18) - (-8)/(-6)?
True
Let o(s) = 2*s**2 - 18*s + 12. Let c be 9 - (4 + (-16)/4). Is o(c) a multiple of 8?
False
Suppose 640 = -f + 2499. Is f a multiple of 13?
True
Let d = 44 - 35. Does 12 divide d/(54/40)*9?
True
Let q = -57 - -63. Is 11 a factor of 0 - (q/(-4) - (-164)/(-8))?
True
Let y be 1*2/((-4)/(-10)). Suppose 5*g - 70 = -y*r - 25, -75 = -5*r + 5*g. Does 3 divide r?
True
Let o(j) = 90*j**2 - 6*j + 5. Does 17 divide o(-3)?
True
Let i(v) = -24*v**2 - 1705*v + 1691*v + 68*v**2 - 1. Does 21 divide i(-2)?
False
Let s = 354 + -130. Is s a multiple of 14?
True
Let g = 1955 + -1100. Is 9 a factor of g?
True
Does 18 divide -2*(-2 - -7) + 1084?
False
Suppose 2 = 4*c - 14. Suppose -4*p = -4*d - 108, -2*p - 53 = -c*p + d. Suppose 4*u - p - 4 = -2*l, 5*u + 4*l = 39. Is u a multiple of 3?
False
Let c = -139 - -279. Does 10 divide c?
True
Let c = -997 - -1920. Is 13 a factor of c?
True
Let f = -754 + 762. Let z(y) = 13 - 2*y**2 - 1 - 5*y + 3*y**2. Does 12 divide z(f)?
True
Suppose -4*l + 765 = g, -14*g = -16*g + l + 1557. Is 18 a factor of g?
False
Suppose -4*d = -3*l - 8104, d + 2*l - 197 - 1829 = 0. Does 10 divide d?
False
Let o = -87 + 83. Let s(i) = i**3 - 7*i**2 + i + 7. Let p be s(6). Let 