= -2*s. Does 25 divide s?
True
Suppose -27*s = -24*s - 4788. Does 19 divide s?
True
Let v = -76 - -108. Let a be ((-6)/(-4))/(24/v). Suppose -a*m + 7 = -41. Is 8 a factor of m?
True
Let t(b) = b**3 - 3*b**2 + 3*b - 9. Suppose -4*y + 27 - 1 = -3*r, -4*r + 7 = 3*y. Is 8 a factor of t(y)?
True
Suppose 125 = 2*k + 1. Suppose -r + k = 13. Is 23 a factor of r?
False
Suppose 96 = 5*w - 2*p - 2374, -4*w + 1964 = -4*p. Does 4 divide w?
True
Let s(d) = -d - 7. Let m be s(-10). Suppose 2*f + 47 = 5*j, -2*j = -1 + m. Let v = f - -41. Is v a multiple of 12?
False
Suppose -1668 + 458 = -5*a. Is a a multiple of 22?
True
Let n = 9213 - 4598. Is n a multiple of 13?
True
Let q(d) = -2*d**3 - 3*d**2 - 8*d - 13. Let s = -62 - -58. Is q(s) a multiple of 17?
False
Suppose 8*o + 624 = -4*o. Let c be 2/((-2)/(-86) + 0). Let a = o + c. Is a a multiple of 17?
True
Let m = 41 - 37. Does 28 divide (-14)/m*(1 - 9)?
True
Suppose 0 = 2*y + 8, -82 = 3*d - 4*y - 404. Let s = 134 - d. Is s a multiple of 4?
True
Suppose 75 = 4*a - 57. Does 16 divide (2/(-3) + 14/6)*a?
False
Let d(b) = b**2 - 15*b - 54. Is 31 a factor of d(-9)?
False
Suppose 9*m = 5*m. Suppose m*t - 4*t = -12. Suppose t*o + 3*k - 3 = 12, 3*k + 1 = -o. Is o a multiple of 2?
True
Suppose r + 40 = 3*x, 2*r + 0*r = 4. Let k = 40 - x. Is 26 a factor of k?
True
Suppose q = 2*b + 3*b - 2485, 4*b + 3*q = 1988. Is 6 a factor of b?
False
Suppose -2*r = 5*i - 3*i - 5346, -3*r = 2*i - 8015. Does 17 divide r?
True
Let i = 575 + -239. Is i a multiple of 28?
True
Suppose 0 = -8*i + 465 + 279. Is 2 a factor of i?
False
Let d(b) = b**3 + 4*b - 2. Let h(n) = -n**2 - 10*n - 13. Let z be h(-8). Is d(z) a multiple of 17?
False
Let h(p) be the third derivative of -p**6/360 - p**5/120 + 17*p**4/8 + 4*p**3/3 - 6*p**2. Let x(t) be the first derivative of h(t). Is x(0) a multiple of 9?
False
Suppose 3*n = -2 - 13. Let j = n + 10. Let s = 17 - j. Does 12 divide s?
True
Let q(v) = 5*v**2 + v + 6. Is q(-4) a multiple of 4?
False
Let x(i) = 7*i + 7 + 1 + 0 - 3. Let m be x(9). Suppose -u + m = 27. Does 25 divide u?
False
Let n(x) = x + 1. Let p(s) = -s**3 + 7*s**2 + 5*s - 4. Let l(m) = 2*n(m) - p(m). Let r be l(7). Let i = 22 + r. Does 3 divide i?
False
Suppose 17 - 13 = -4*w. Is 78/(-30)*(-9 + w) a multiple of 13?
True
Let h = -2218 + 3114. Is h a multiple of 64?
True
Suppose 13*x - 35 = 8*x. Let k = x - 4. Suppose 6*b - 4*b = k*i - 30, -4*i + 47 = -5*b. Does 2 divide i?
True
Let n(y) = -15*y - 104. Let o be n(-11). Let f be 1/2 - 2/4. Suppose o = -f*v + v - 2*b, -b - 65 = -v. Is v a multiple of 13?
False
Let t(x) = -x**3 + 4*x**2 + 5*x - 13. Let u be t(6). Let p = u + 133. Suppose p = -0*l + 2*l. Is 29 a factor of l?
False
Let n be ((-70)/15 - -5) + 8/3. Suppose -2*l + 26 = r - 5, -n*l + 66 = 2*r. Does 5 divide r?
False
Let l(q) = -8*q - 5. Let c be l(-6). Does 12 divide c/((-1)/(-4 - -3))?
False
Let m(n) = -5*n**3 + 15*n**2 - 6*n - 8. Let h(z) = -4*z**3 + 14*z**2 - 7*z - 7. Let t(c) = 4*h(c) - 3*m(c). Let y be t(10). Let q = 1 - y. Is q a multiple of 5?
True
Let f be -3 - ((-4)/(-10) - (-2628)/(-45)). Let a = f + -16. Does 39 divide a?
True
Suppose 12 = 3*k, 5*r + 2*k - 29 = -6. Suppose -r*s = -q + 51, s + 171 = 4*q - 0*s. Suppose -4*u + 6 = -q. Is u a multiple of 12?
True
Let p = -100 - -102. Suppose 0 = p*j - 88 - 32. Does 5 divide j?
True
Let w(h) = -h**3 - 4*h**2 + 3. Let t be w(-4). Is 2 a factor of (-1 - -4) + (t - 1)?
False
Suppose 2 = l, 5*d - 10164 = l - 3*l. Does 40 divide d?
False
Suppose 5*d + 10 = -o - 3*o, 5*d - 2*o = 20. Suppose 0 = -6*k + k - 4*i + 18, 3*i = d*k - 21. Is k a multiple of 2?
True
Let u = -64 + 155. Let i = u + -77. Is 13 a factor of i?
False
Suppose 71 = 5*j + 11. Let m be 81 + j/8*-2. Let n = -56 + m. Does 7 divide n?
False
Suppose -x + 5*m - 134 = m, 2*m = 5*x + 634. Let i = 129 + x. Is i a multiple of 3?
True
Suppose 20 = -2*j + 36. Is (-2 - (j/(-2) + 1)) + 139 a multiple of 15?
False
Let j be (-1)/((-1)/(-2))*21/42. Is 238 - j*(-8)/(-4) a multiple of 20?
True
Let m be (-38)/(-1) + (-3)/(-3). Suppose -3 = -2*n - m. Let y = n - -30. Is y a multiple of 10?
False
Suppose 2*j - 5*w = -27 + 5, 3*j = 4*w - 33. Let p(c) = 2*c. Let s be p(j). Let b = 46 + s. Is 8 a factor of b?
True
Let b = -26 + 22. Let a = 15 + b. Is a a multiple of 11?
True
Let z = 464 + -190. Is z a multiple of 19?
False
Let f be ((-1647)/(-12) - -3) + (-3)/(-4). Suppose -c + f = 27. Is 38 a factor of c?
True
Suppose 5*q + 4*b = -0*q + 1057, b + 415 = 2*q. Suppose q = 5*s - 1. Suppose -6*a - 18 = -m - 4*a, 0 = 5*m + 2*a - s. Does 3 divide m?
False
Let s be -3 + (8 - 2 - -1). Let f(d) = 3 + 7*d - 3*d**2 + d**2 - 9 - 2*d**3 + 3*d**3. Is f(s) a multiple of 16?
False
Suppose 13*l - 432 = 9*l. Does 24 divide l + (-6 - -4) + 4?
False
Let a(k) = -7*k + 236. Is a(26) a multiple of 15?
False
Suppose 5 = 5*d, -9 = z + 2*z - 3*d. Does 12 divide (5 - 1) + (-116)/z?
False
Suppose 0 = -6*b - 111 + 15. Let v = b + 12. Is (6/v)/(1/(-62)) a multiple of 25?
False
Let z = -1496 + 1862. Is z a multiple of 6?
True
Let w = 2367 - -921. Is 24 a factor of w?
True
Let h be (-160 + 4)*(-2 + 0). Let u be (h/(-65))/(4/(-10)). Suppose -l = -5*c + u, l - 2*l - 2*c = -16. Is l a multiple of 8?
True
Let a(j) = -3*j + 8. Let x be a(-16). Let v = x - 44. Is 12 a factor of v?
True
Let o(r) = 104*r - 243. Does 17 divide o(21)?
False
Let r(w) = 32*w**2 - 4*w + 10. Let f be r(3). Suppose 0 = -2*m + f. Is 39 a factor of m?
False
Let s = 126 + -14. Does 14 divide s?
True
Let u be (-465)/(-25) + 6/15. Let l = u - 14. Suppose -l*x - i + 180 = 0, 6*i + 144 = 4*x + 2*i. Is x a multiple of 9?
True
Suppose -5*x + 0*z = -4*z + 30, -3*x = -2*z + 16. Let g(s) = -3*s**2 + 9*s. Let n(k) = -k**2 + k - 1. Let h(y) = x*n(y) + g(y). Does 6 divide h(5)?
True
Suppose 125 = 2*k + 3*k. Suppose 4*a + a - k = 0. Is 2 a factor of ((-4)/a)/(2/(-5))?
True
Let u = -349 - -493. Does 37 divide u + 1 - -2 - (1 + -1)?
False
Let g(o) = -o**2 + 5*o + 12. Let i be g(5). Let l be ((-4)/1)/i*-6. Suppose 480 = 5*k - 5*h, 0*k = l*k + h - 189. Is k a multiple of 19?
True
Let d be ((-35)/28)/((-1)/4). Let j(c) = -c**3 + 7*c**2 - 6*c + 1. Let x be j(d). Let f = 79 - x. Is f a multiple of 14?
False
Let z = 241 - 543. Let o = -204 - z. Let c = o + -35. Is 9 a factor of c?
True
Let w be 3/(-12)*1*-4. Is 15/(w - 4/10) a multiple of 25?
True
Let f(h) be the first derivative of 3*h**2/2 + 3*h + 2. Let c be f(3). Let w = c + 1. Is w a multiple of 13?
True
Let k(s) = -16*s**3 + 3*s. Let b be k(3). Let m = 598 + b. Does 16 divide m?
False
Let v(b) = -4*b + 475. Let s(o) = 2*o - 237. Let d(w) = 11*s(w) + 6*v(w). Let k be d(0). Suppose 4*i = -83 + k. Is 10 a factor of i?
True
Does 12 divide 160*((-130)/(-60) - 4/6)?
True
Let z(a) = a + 1. Let j(n) = -158*n + 2. Let p(x) = j(x) - 3*z(x). Is 16 a factor of p(-1)?
True
Let u(i) be the second derivative of -2*i**3/3 - 13*i**2/2 - 8*i. Let v be u(8). Is 15 a factor of (-1335)/v + (-1)/(-3)?
True
Suppose -3*g = -5*q + 1860 - 24, -1104 = -3*q + g. Is q a multiple of 3?
True
Let c = -8 + 16. Let h be ((-232)/(-6))/(c/36). Suppose -h = -5*p + 46. Is 12 a factor of p?
False
Let o = 40 + -73. Let w = o - -97. Is 13 a factor of w?
False
Let b(g) = -5*g - 20. Let o be b(-9). Suppose 10*v + o = 15*v. Suppose -v*s - 29 - 96 = -5*u, 0 = -3*u + 4*s + 72. Does 20 divide u?
False
Suppose -9 = -2*q + 19. Let i = 8 - q. Is 9 a factor of (22/(-4))/(3/i)?
False
Let f be 4/(-20) - (-41)/5. Let i be ((-4)/f)/(2/16). Let q = i - -58. Is 27 a factor of q?
True
Let o(z) = -z + 13. Let b be o(0). Let d = -193 - -189. Let i = b + d. Does 6 divide i?
False
Let t = -9 + 13. Suppose 0 = -t*f + 9*f - 670. Let z = 191 - f. Is 22 a factor of z?
False
Let p(r) = 40*r**3 + r**2 - 2*r + 1. Let a be p(1). Let q = 69 + -69. Suppose q = 3*s - 5*w - 206 + a, -4*s - 3*w = -173. Does 23 divide s?
False
Let a be (-2076)/(-14) - (-10)/(-35). Suppose 201 = 4*g + i - a, -4*i + 106 = g. Is 43 a factor of g?
True
Let k(q) = -494*q + 42. Is k(-1) a multiple of 67?
True
Let o(m) = -m**3 + 2*m**2 + 2*m + 4. Let c be o(3). Let i be (-3 - -2 - c) + 6. Let x(w) = 9*w + 2. Is 11 a factor of x(i)?
False
Let a(b) = -2*b - 2. Let y be a(-6). Suppose 0 = 3*h - 46 + 67. Let g = h + y. Is 3 a factor of g?
True
Let h = -16 + 18. Suppose -21