 24 divide i?
True
Let p(n) = -n - 3. Let f be p(-6). Let y be (8/(-6))/(f/9). Let m(d) = -2*d - 1. Does 7 divide m(y)?
True
Let n(g) = -g**2 + 5*g + 1. Let t be n(7). Let m be (t/(-26))/(1/(-10)). Does 15 divide (0 - 1) + (-240)/m?
False
Suppose -9400 = -5*r + 2*u, -r + 142 = -5*u - 1738. Is 94 a factor of r?
True
Let a(k) = 75*k**3. Is a(1) a multiple of 5?
True
Let s be ((-74)/(-3))/((-154)/(-30) + -5). Suppose 4*d = -0*d - 4, -l + 5*d = -s. Is 30 a factor of l?
True
Let b(p) = -p**2 - 7*p + 2. Let h be b(-7). Suppose h*s = 5*k + 190, 761 - 286 = 5*s - 2*k. Does 10 divide s?
False
Let u = -639 + 724. Is u a multiple of 14?
False
Suppose -20*d + 21*d - 2 = 0. Suppose d*f = -3*n + 3*f + 90, -4*n = -3*f - 125. Does 13 divide n?
False
Suppose 15*v = 26*v - 9856. Does 64 divide v?
True
Let o = 1141 + -1037. Is o a multiple of 8?
True
Let r = -1518 - -1801. Does 65 divide r?
False
Let m(h) = h**2 + h - 2. Suppose 0 = 5*z + 3*q, 2*q + q + 24 = 3*z. Does 10 divide m(z)?
True
Let o(k) = 2*k + 3. Let j be o(-4). Let i = -2 - j. Suppose -2*l = -i*z - 101, 0 = 5*l + 2*z + z - 221. Is 23 a factor of l?
True
Let w = -207 + 366. Let q be (w/(-2))/((-9)/18). Is 23 a factor of 3/9*1*q?
False
Suppose -70*t - 9619 + 148499 = 0. Is t a multiple of 31?
True
Suppose 3*z + 115 - 478 = 0. Does 35 divide z?
False
Suppose 10293 - 893 = 10*u. Is u a multiple of 94?
True
Does 14 divide (4/(-6) + -2)*-189?
True
Suppose -390 = 3*v - 1419. Does 7 divide v?
True
Let n be ((-2156)/(-33))/((-2)/(-6)). Suppose 2*c = 2*r - n - 170, -2*r - 3*c = -351. Does 41 divide r?
False
Does 34 divide -34*(-7)/((-21)/(-87))?
True
Is 52 a factor of -6 - (-2142)/(15 - 8)?
False
Suppose 9997 + 4985 = 33*x. Does 3 divide x?
False
Is 2 + -9 - (-235 - 0) a multiple of 38?
True
Suppose 0 = -5*k - 3*g - 218, -g - 222 = 5*k + g. Let v = k + 85. Let m = 49 - v. Is m even?
True
Let c be (2 - 3)*(-4 - 19). Suppose 2*o - 21 = c. Is o a multiple of 5?
False
Let t(x) = x**2 + x + 138. Let w be (-9)/12*(-16)/12. Let a be 4 - (w + 4 - 1). Does 31 divide t(a)?
False
Let c(r) = r**3 + 22*r**2 - 30*r + 21. Let z be c(-23). Let b = z + -45. Is 13 a factor of b?
False
Let r(p) be the third derivative of -p**9/30240 - p**8/4032 + p**7/2520 - p**5/12 - 4*p**2. Let l(u) be the third derivative of r(u). Does 14 divide l(-4)?
False
Let s(i) = -4*i**2 - i - 1. Let y(h) = -h**2 + 1. Let t(m) = -s(m) + 5*y(m). Let f be t(0). Suppose -66 = -f*d + 3*d. Is d a multiple of 11?
True
Does 16 divide -76*(-6)/(1 + -7)*-4?
True
Let u(h) = -9*h + 4. Let a be u(4). Let v = a + 34. Suppose 0 = v*k - 0*k - 208. Is k a multiple of 26?
True
Let s(r) = 2*r**3 + 37*r**2 + 18*r + 1. Let l be s(-18). Let j(c) = 8*c + 7*c - 8*c. Is 5 a factor of j(l)?
False
Let x(d) = -6*d + 138. Is 6 a factor of x(13)?
True
Suppose -32*o + 1495 = -19*o. Let p = o - -89. Is p a multiple of 17?
True
Let l = 5 - 2. Let j(w) = 0 - w + 1 + 3 + 12*w. Is 16 a factor of j(l)?
False
Let o(s) = -42 + 2*s - s + 52. Let q be o(-8). Suppose 0 = w + 4*d - 39, 0*w = q*w - d - 60. Is w a multiple of 9?
False
Suppose 9*x = 504 + 846. Is x a multiple of 25?
True
Suppose 14*p + 9549 = 25621. Does 28 divide p?
True
Suppose 2*a - 3 = 291. Suppose 118 + a = 5*d. Does 9 divide d?
False
Let d(u) = 3*u**2 + 6*u - 7. Let m be d(-5). Let h = m + 73. Suppose 4*y + x = 131, -6*x = 3*y - x - h. Does 16 divide y?
True
Does 20 divide (-8)/(320/(-3175)) + (-18)/48?
False
Let q = 192 + 40. Is 58 a factor of q?
True
Let i(u) be the second derivative of -u**7/2520 - 23*u**6/720 - 7*u**5/120 - u**4/2 - 2*u. Let x(d) be the third derivative of i(d). Does 35 divide x(-16)?
True
Let j(b) = 494*b**2 - 7*b - 6. Does 45 divide j(-1)?
True
Let b = -211 + 147. Let q be (-7)/(-4) + 48/b. Is 3 a factor of -1 - (-13 + (q - 1))?
True
Let z(w) be the third derivative of -w**5/60 + w**4/12 + w**3/2 - 5*w**2. Let x be z(0). Does 24 divide 194/4 + x/(-6)?
True
Let n(k) be the first derivative of k**3/3 + 5*k**2/2 + 5*k + 1. Suppose -4*f - 51 = -11. Is n(f) a multiple of 17?
False
Let x be -2*(3 + -1 + -3). Let s be 3/x + (-6)/(-4). Suppose -5*n + 4*c = -4*n - 3, 0 = s*n + 3*c - 24. Is n a multiple of 2?
False
Let n(p) = -p**3 - 9*p**2 + 2*p - 4. Let t(v) = -v**2. Let m(h) = n(h) - 6*t(h). Let l be m(-4). Let x = l - -47. Is x a multiple of 15?
False
Let c(v) = v**3 - 43*v**2 + 134*v + 22. Is c(40) a multiple of 13?
False
Let k(f) = -f**3 - 6*f**2 + 4*f - 16. Let d be k(-7). Suppose 6*g - 161 = -d. Is 4 a factor of g?
False
Suppose -2*a = -7*a + 1360. Is 8 a factor of a?
True
Let f(a) = 108 + 0*a + 2*a - 10*a - 112. Is f(-5) a multiple of 6?
True
Does 53 divide 4/(-2)*3 + 118?
False
Let y(c) = c**3 - 18*c**2 - 11*c + 15. Does 15 divide y(19)?
False
Let u = 426 - 195. Is u a multiple of 49?
False
Suppose 0 = -5*x + 2923 + 862. Does 4 divide x?
False
Suppose -4*i = -230 - 598. Is 4 a factor of i?
False
Let v(y) = -254*y - 46. Is 27 a factor of v(-2)?
False
Let v(w) = -4*w**2 - 3*w - 4. Suppose 2 = -h, 5*h = -t - 0*t - 13. Let u be v(t). Let i = u - -72. Does 15 divide i?
False
Suppose n + 5*l = -0*n, -n = l - 4. Suppose -2*i = n*i - 28. Suppose 4*g - 8*g + 43 = -5*o, o + 47 = i*g. Does 10 divide g?
False
Is (-5082)/(-132) + (-3)/(-2) a multiple of 10?
True
Suppose 0 = -2*t + 2*l - 598, t + l + 248 + 49 = 0. Let r = 562 + t. Is r a multiple of 12?
True
Let f be 210 - (2 + -7 - -10). Suppose -2*c - 79 = -f. Does 35 divide c?
False
Let i(q) = 89*q + 116. Does 8 divide i(5)?
False
Suppose -6*r = -r - 25. Let g(s) = 6*s**2 + 8*s - 10. Let j be g(r). Suppose 302 = -0*c + 5*c - 3*i, 0 = 3*c - 3*i - j. Does 14 divide c?
False
Let j(s) = 78*s**2 - 10*s + 3. Let t(z) = 26*z**2 - 3*z + 1. Let w(o) = -2*j(o) + 7*t(o). Is 6 a factor of w(1)?
False
Suppose -59*u + 61*u = 2124. Does 59 divide u?
True
Let g = 1273 + 1302. Is g a multiple of 46?
False
Does 24 divide 43*162/6 - 4?
False
Let w(g) = -2*g**2 + 27*g + 9. Let c be w(13). Let u = 10 + c. Does 7 divide u?
False
Does 8 divide (5*(-2)/3 + 6)*24?
True
Let z = -86 + 98. Suppose 0 = -z*r + 72 - 0. Is r a multiple of 6?
True
Is 3 a factor of (-5)/((-150)/5946) + (-2)/10?
True
Suppose -3*f + 13 = -3*k + 166, 0 = 5*k + f - 279. Is 22 a factor of k?
False
Let s = 31 - 27. Is 7 a factor of 2/(-1) + (s - -1) - -44?
False
Let x = -31 + 41. Suppose -x*m + 693 = 13. Is 17 a factor of m?
True
Let o(p) = -146*p - 5 + 1 + 5. Is o(-1) a multiple of 13?
False
Let m be (1450/4)/(11/22). Suppose 15 = 5*t - 8*t, -5*k + t + m = 0. Suppose k = 5*w - 2*w. Does 9 divide w?
False
Suppose -66 = 79*h - 80*h. Is 5 a factor of h?
False
Is (15/3)/(10/820) a multiple of 22?
False
Let c(l) = -44 + 50 + 4*l + 5*l**2 + l. Let t(s) = s**3 + 4*s**2 + 4*s + 5. Let i(d) = 4*c(d) - 5*t(d). Is i(-1) a multiple of 2?
True
Let n = 15 - 13. Suppose 0 = n*q + q - 3*c - 15, -q + 13 = -5*c. Suppose -8*o + q*o = -90. Is 18 a factor of o?
True
Let r = 1003 + -971. Does 21 divide r?
False
Let i be 10 - 3/((-9)/(-6)). Let d = -6 + i. Suppose 0 = 4*z + 4*p - 228, 2*z = -2*z + d*p + 228. Does 18 divide z?
False
Suppose 2*i - i = 0. Let d be (-2 - 0)/((-5)/115). Suppose i*s - d = -s. Does 12 divide s?
False
Let o = 7 - 7. Suppose 0 = -o*q + 7*q - 644. Does 23 divide q?
True
Let p(u) be the third derivative of u**5/60 + u**4/6 + 37*u**3/6 - 29*u**2. Is 37 a factor of p(0)?
True
Let r(o) = -6*o**3 - 14*o**2 - 46*o + 10. Is 40 a factor of r(-5)?
True
Let h(i) = 3*i**3 - 2*i**2 + 2*i + 2. Let m(c) = -1. Suppose -17 = -3*k - 5. Let x(b) = k*m(b) + h(b). Is 9 a factor of x(2)?
True
Let t(w) = w**2 + 18*w - 10. Is 65 a factor of t(17)?
True
Let q = -371 - -689. Is 53 a factor of q?
True
Suppose 0 = -4*d + 203 + 213. Suppose 2*j = 10 + d. Suppose 192 = 3*p + j. Does 12 divide p?
False
Suppose -o + 80 = -6*o. Let n be ((-4)/(-5))/(4/30). Is ((-8)/n)/(o/456) a multiple of 12?
False
Let o(z) = -z**3 - 4*z**2 - 4*z - 6. Let g be o(-4). Let t be 3/(-5) - (-26)/g. Suppose -k + 31 = v, -5*k - t*v = -0*k - 155. Is k a multiple of 12?
False
Let v = 3198 - 2460. Is v a multiple of 3?
True
Let x(l) = 64*l - 21. Is 6 a factor of x(10)?
False
Suppose -g - 386 = 5*z, -3*z + 4*g = -6*z - 218. Let c = 110 + z. Is c a multiple of 32?
True
Let r(d) = d**3 + 1. Let o be r(1). Suppose g = -o*g. Is (g - 0)/1 + 43 a multiple of 9?
False
Let h(i