+ 2*o + 12, -2*o - 14 = -3*y. Suppose y*i + 56 = 6*i. Let s = 18 - i. Does 4 divide s?
True
Is -6*(6/3*-34)/3 a multiple of 3?
False
Let b = 72 - 67. Is b a multiple of 5?
True
Let b(z) = z**3 + 16*z**2 - 4*z - 4. Does 29 divide b(-6)?
False
Does 4 divide (-5)/(5/(-12)*37/370)?
True
Let r(q) = -q**3 + 8*q**2 - 9*q + 7. Let h be r(6). Suppose -5*z + 125 = -h. Is 7 a factor of z?
False
Suppose 4*x + k - 96 = -4*k, -4*k - 41 = -3*x. Suppose 0 = x*d - 22*d + 210. Is 35 a factor of d?
True
Suppose 2*k - 165 = 179. Suppose -2*g = 52 - k. Suppose 5*x = 230 + g. Is x a multiple of 19?
False
Let v(y) = y + 3. Let z be v(-5). Is (1*z - -1)*(5 - 173) a multiple of 8?
True
Let v(b) = b**2 - 3*b - 12. Let s be v(7). Let m(w) = -3*w + 29. Let y(c) = -3*c + 30. Let g(a) = -7*m(a) + 6*y(a). Is 5 a factor of g(s)?
True
Let z(u) = u - 1. Let g be z(2). Let f(w) = 2*w - 9. Let b be f(2). Let h = g - b. Does 3 divide h?
True
Let f = 188 - 11. Is f a multiple of 19?
False
Let w(c) = c**3 + 7*c**2 + 6*c + 4. Let h be w(-6). Suppose -p + h*k = 3*p - 380, 83 = p - 5*k. Is p a multiple of 14?
True
Let n = 476 + -381. Is 5 a factor of n?
True
Let l(f) = -3*f**2 + 3*f - 5. Let n(z) = -z**2 + z. Let i(u) = u**2 - 12*u + 10. Let t be i(11). Let m(w) = t*l(w) + 4*n(w). Is m(0) a multiple of 4?
False
Let h = 461 - 717. Let j = h + 368. Suppose 0 = 3*r - 41 - j. Does 17 divide r?
True
Let i(m) = -9*m - 6. Suppose -2*n = -h + 3*n - 9, 0 = 2*h + 3*n + 5. Let l be i(h). Suppose -5*b - 95 = -4*v, 0 = -v + 3*b - 8*b + l. Is 9 a factor of v?
False
Suppose -6*h - 2*v - 1176 = -11*h, -4*h + v + 939 = 0. Is 24 a factor of h?
False
Let k(s) = -s**3 - s**2 - 3*s + 4. Let o be k(-3). Let h(w) = -w**2 - 8*w + 12. Let l be h(-9). Suppose -l*i + o = -71. Does 17 divide i?
True
Let r(d) = 3*d**2 - 4*d + 5. Let i = -11 - -6. Is 20 a factor of r(i)?
True
Suppose 429 = 2*a - 5*u, 0*a - u = a - 204. Is 15 a factor of a?
False
Let b = -12 + 12. Let v = 0 - b. Suppose v = -5*s + 3*r + 96, -3*r + 2*r + 108 = 5*s. Is s a multiple of 15?
False
Let n = -68 - -239. Is 9 a factor of n?
True
Let k(a) = -a**2 + 10*a. Let q be k(9). Suppose -2*t + t = -q. Suppose t = -r + 3*w + 1, 2*r + 2*w = 16. Does 2 divide r?
True
Let h(x) = x**2 + 11*x + 4. Let k be h(-11). Let t(a) = 4*a + 2. Let y be t(k). Suppose 54 = 4*j - y. Is 7 a factor of j?
False
Let x(l) = -l**3 - 13*l**2 - 15*l + 15. Suppose t = -0 - 56. Let d be t/7 - (-8)/(-2). Does 19 divide x(d)?
False
Let d be 2 + 12/(-3) + 53. Suppose 5*r = 139 + d. Is r a multiple of 19?
True
Suppose 125*z = 138*z - 1196. Does 9 divide z?
False
Let g(l) = -3*l**2 + 6*l - 9. Let z(x) = 3*x**2 - 6*x + 8. Let n(s) = -4*g(s) - 3*z(s). Is n(3) a multiple of 3?
True
Let c = -1790 + 2510. Does 9 divide c?
True
Suppose v - 2*u + 8 = 0, -15 = -u - 2*u. Suppose i = -0*o + 2*o + 166, -i + 170 = v*o. Does 24 divide i?
True
Let q = 6 - 9. Let h(s) = -33*s + 2. Let a be h(q). Suppose 4*m - 3*m + 4 = 0, -a = -5*r - m. Does 6 divide r?
False
Let w be 0/(2*(-3)/(-2)). Let d = -4 + w. Is (-318)/(-8) - 1/d a multiple of 10?
True
Suppose -f - 30 = -o + 113, -5*o + 712 = -2*f. Let m = -10 + o. Does 44 divide m?
True
Let n = 328 - 190. Let y be (-1)/(-3) - 1036/12. Let r = y + n. Is 26 a factor of r?
True
Let n be 33/9 + 3/9. Suppose 0 = 14*i - n*i - 640. Is i a multiple of 32?
True
Suppose 10*d = 3*d - 21. Let c(b) = b**3 + 5*b**2 - 2*b - 4. Does 4 divide c(d)?
True
Let y(m) = 7 - 8 - 13*m + m**2 + 1 - 12. Is 48 a factor of y(21)?
False
Suppose -2*h = 5*v + 50, 0 = -6*v + 2*v + 3*h - 63. Suppose 2*g + g = 90. Let u = g + v. Is u a multiple of 6?
True
Let x(q) = q**3 - 5*q**2 - 9*q + 8. Let b be x(6). Is (b/(-3))/((-1)/(-18)) a multiple of 12?
True
Let v = -2 - -6. Let k be (-6)/(-15) + v/(-10). Suppose 5*p - 35 = -k*p. Is 4 a factor of p?
False
Suppose -4*r = t - 524, -t = -2*r + 371 - 925. Does 16 divide t?
True
Suppose -7*y + 15*y = 24. Suppose -y*m - 5*r = 2*m, 4*m = 2*r. Suppose 23 = 2*b + 2*c - 109, m = -4*c + 20. Is b a multiple of 10?
False
Suppose -4*p = -8 - 48. Suppose 0 = 4*w - w - 3*h, -3*h = 4*w + p. Does 8 divide (-4)/w + 1 + 16?
False
Suppose -2*u - 2*w + 10 = -0*u, 2*u + 25 = 5*w. Let c = u - -22. Does 10 divide c?
False
Let j(k) = -21*k**2 - k + 1. Suppose 4*m = -s + 13, -m = -5*s + 2*s. Let r be j(s). Let z = 43 + r. Does 11 divide z?
True
Let n = 98 - 69. Let g = -19 + n. Is 5 a factor of g?
True
Suppose -2796 = -4*j - 4*q, q = 3*j - 767 - 1342. Does 12 divide j?
False
Let w(k) = -k - 12. Let a be w(-16). Suppose -1296 = -5*r - a*f, 4*r - f - 508 = 2*r. Does 32 divide r?
True
Let i be (1/(3/(-3)))/1. Let v = 6 + i. Suppose -46 = -v*r + 109. Is 12 a factor of r?
False
Let p(i) = -i**3 - 12*i**2 - 18*i + 19. Is 6 a factor of p(-16)?
False
Is ((-74)/6)/((-25)/2325) - -1 a multiple of 25?
False
Suppose -5*b - 4*p = -8*b + 1915, 2*b - 4*p - 1270 = 0. Does 12 divide b?
False
Let o be (-2)/(-6) + 6/(-18). Suppose 0 = d - 2 - o. Suppose -2*w + 64 = 4*j - 5*j, 4*j = -d*w + 74. Does 11 divide w?
True
Suppose 342 = 2*h - 2*s, -2*h + 0*h + 3*s + 338 = 0. Does 41 divide h?
False
Let w(p) = 53*p**3 + 3*p**2 - 14*p - 2. Does 48 divide w(3)?
False
Let v(i) = 3*i**2 + 20*i - 15. Is v(-9) a multiple of 12?
True
Let p be (-2 + -2)*(21/(-12) - -1). Is 14/3*(-1)/(-2)*p even?
False
Let k be (-6)/(-9) - 4/(-3). Suppose b = -k*b - 6. Let y = 7 + b. Is 5 a factor of y?
True
Let l = 40 + -40. Suppose 3*m = -l*m + 792. Does 5 divide (-4)/22 - (-10080)/m?
False
Suppose 0 = -4*o + l + 612, 7*o - 5*l = 6*o + 172. Does 8 divide o?
True
Let m be (32/24)/((-4)/(-6)). Let f be (-3 + 2/m)*-31. Suppose 0 = 4*h - 14 - f. Is h a multiple of 13?
False
Is 21 a factor of 3686/4 - 150/(-60)?
True
Is 1*(-6 + (-9 - -1263)) a multiple of 7?
False
Suppose 0 = 4*f + 8, 4*f + 36 = -a - 38. Let r = -99 - a. Does 10 divide (1*15)/(r/(-44))?
True
Suppose -h - 10 = 5*l, -1 - 5 = 3*l - 4*h. Let i(c) be the second derivative of -c**5/5 + c**4/6 + c**2 - c. Does 16 divide i(l)?
False
Let j(i) = 2*i**2 + 45*i - 14. Is 7 a factor of j(-34)?
False
Let d(b) = 36*b - 3. Is d(3) a multiple of 15?
True
Suppose -2*r - 624 = 4*g, -5*r = -3*g - 324 - 170. Let i = g - -230. Is 18 a factor of i?
True
Suppose -39 = -5*v - 4*u, 2*u = -3*v + 15 + 10. Suppose 5*r - v = 4. Suppose r*h + 59 = f, 0 = 3*f + 4*h - 3*h - 147. Is 25 a factor of f?
True
Suppose -3*b + 7*b = 3*h - 2021, 0 = 4*b - 4. Does 15 divide h?
True
Suppose 2*z = j - 355, -4*z + 1566 - 481 = 3*j. Is j a multiple of 29?
False
Suppose 5*w = 14*f - 10*f - 552, 2*f + 3*w - 254 = 0. Does 7 divide f?
True
Suppose 4*z = -n - 0*n + 188, -n + 5*z + 197 = 0. Suppose 7*v = 4*c + 2*v - n, -4*c + 2*v = -192. Is c a multiple of 4?
True
Let v(r) = -2*r**3 - 31*r**2 - 26*r - 2. Let x(m) = m**3 + 16*m**2 + 13*m + 1. Let j(c) = 6*v(c) + 11*x(c). Is j(-9) a multiple of 15?
False
Suppose c - 3*v = 357, -681 = 9*c - 11*c - 5*v. Does 61 divide c?
False
Let l be (1 + 1)/(6/39). Suppose -2*p = 3*q - l, 1 = -5*p + 11. Suppose -4*w - 2*y = -5*w + 19, q*w = 5*y + 56. Is w a multiple of 17?
True
Suppose 0 = 5*c - 4*c + 5*n + 15, 0 = -4*c + 3*n + 9. Suppose c*u - 3*u - 3*g + 273 = 0, 2*g - 94 = -u. Is u a multiple of 11?
True
Let o(j) = j + 1. Let b(c) be the first derivative of c**3/3 - 3*c**2 - 9*c - 4. Let k(y) = b(y) + 2*o(y). Does 5 divide k(-4)?
True
Let r(j) = 65*j**2 + 4*j + 3. Let o be r(-1). Suppose 5*t - 6 = o. Is 14 a factor of t?
True
Suppose -4*g - 2*c = c + 55, -5*g + 5*c = 60. Let h = g + 19. Is h a multiple of 6?
True
Let w(o) = -48*o + 12 + 38*o + 24*o + 0. Does 12 divide w(13)?
False
Let q = 101 + -14. Is 29 a factor of q?
True
Let y be (36 - (-15)/(-5))*2/(-3). Let d = y + 70. Does 24 divide d?
True
Suppose 11*a = 272 + 3. Is 5 a factor of a?
True
Suppose -2*i + i - 6 = 0. Let c = -3 - i. Let d = c - -4. Is d a multiple of 7?
True
Suppose -p + 35 = 6*p. Suppose 0*o - 3*b = 2*o, 0 = p*o + b. Suppose 4*s = -3*w + 32, o = -2*w + 3*w - s - 13. Is 5 a factor of w?
False
Let o(l) = 6*l - 1 + 1 - 7 + 1. Let m be o(6). Suppose 16 = -y + 5*y, -3*y = 2*j - m. Does 3 divide j?
True
Let p be 0*(-2)/(-5)*(-25)/20. Let o(h) = 2*h**2 + 84. Is 10 a factor of o(p)?
False
Let s = -11 + 10. Let m be -2 - (s + -1 + 1). Is 12 a factor of (10/3*-15)/m?
False
Is 28 a factor of (57/38)/(3/2402)?
False