vide d(-2)?
True
Suppose -169*n + 134*n = -74480. Is 76 a factor of n?
True
Suppose f = 360 - 96. Is f a multiple of 44?
True
Let d(n) = -n**3 + 13*n**2 - 27*n + 2. Let c be d(11). Let x = c + 68. Is x a multiple of 7?
False
Suppose 5*w - 10027 = -3882. Does 25 divide w?
False
Let j = -90 + 91. Does 7 divide (j/(-1))/(10/(-770))?
True
Let s = -940 - -1550. Is s a multiple of 3?
False
Suppose 135*t - 141*t = -3138. Is 21 a factor of t?
False
Let l(y) = y**2 - 12*y - 1. Let d(a) = -3*a - 1. Let p be d(-2). Let m be l(p). Is 20*(m/8)/(-3) a multiple of 10?
True
Let k(u) = u**2 - 7*u + 6. Let b be k(6). Suppose b = -2*n + 10 - 2. Is -38*((-2)/n)/1 a multiple of 10?
False
Suppose 7*w - 5*w + 196 = 0. Let q = w + 153. Does 11 divide q?
True
Let a be (6/(-3) + 2)/1. Suppose 5*m - 1 = -c, 33 = -3*c - 3*m - a*m. Let j = 10 - c. Is j a multiple of 8?
True
Suppose -115*k - 15832 = -119*k. Is 78 a factor of k?
False
Let i = 29 + -26. Is 6 a factor of 6*(5/i + -2)*-12?
True
Let a = 468 + -286. Is 29 a factor of a?
False
Suppose -14 = 6*z - 68. Suppose -z*k + 4*k = -250. Is k a multiple of 10?
True
Suppose -5*s + 7*s - 141 = -3*w, -4*w - 4 = 0. Is 18 a factor of s?
True
Suppose 4*i = 4*a - 96, -2*i - 109 + 32 = -3*a. Let s = -24 + a. Suppose -3*w + 25 + 13 = -2*x, -s*x = -2*w + 7. Is 16 a factor of w?
True
Let w(v) = 21*v - 160. Is 4 a factor of w(11)?
False
Let d(c) = 5*c**2 - 21 + 7*c - 17*c**2 + 14*c**2. Is 4 a factor of d(-8)?
False
Let y(l) = -l**2 + 8*l - 9. Let g be y(6). Let x(s) = -s**2 + 4*s - 3. Let o be x(g). Suppose o*f = 3*f - 216. Is f a multiple of 24?
True
Suppose -14*h + 32855 = -22599. Does 17 divide h?
True
Let j(s) = -15*s**2 + 25*s**2 - 11*s**2 + 36 - s**3 - 4*s + 2*s. Is 6 a factor of j(0)?
True
Suppose -3*a - 332 - 301 = 0. Let o = a + 351. Is 18 a factor of o?
False
Suppose -5*o + 22 = -3*b, -4*o + 3*o = -4*b - 1. Let r be -4 + b + (9 - 0). Suppose -r*d - 23 + 167 = 0. Is 4 a factor of d?
True
Let d = -287 + 610. Does 17 divide d?
True
Let m = 1206 + -673. Does 72 divide m?
False
Suppose -4*r + g = -65, 0 = 5*r + 4*g + g - 75. Suppose -r*o = -11*o - 1315. Is 13 a factor of o?
False
Let j = -137 + 2018. Does 99 divide j?
True
Suppose 32*m = 11610 + 44614. Does 8 divide m?
False
Let a(s) = -2*s + 8*s**2 + 4*s + 3 - 6. Let n be a(-3). Let p = n + -25. Is 25 a factor of p?
False
Suppose m + 17 = -6. Let u = m - -93. Is 35 a factor of u?
True
Is 2382 - 36/(18/(-2)) a multiple of 50?
False
Let m = -3676 - -5916. Is 64 a factor of m?
True
Let w = 22 + -62. Let r(q) = 12*q - 30. Let j be r(5). Let n = j - w. Does 14 divide n?
True
Suppose 278*v = 258*v + 69020. Does 16 divide v?
False
Let s = 2630 + -534. Is s a multiple of 39?
False
Let m = 397 + -57. Is m a multiple of 7?
False
Suppose -4*v - 174 = -7*v. Let j = -5 + v. Let s = j + -25. Does 7 divide s?
True
Let d = 13 + -6. Let o(k) = -k**3 + 10*k**2 - 9*k - 7. Let h be o(9). Is 2/h + 275/d a multiple of 13?
True
Suppose -2880 = -493*j + 484*j. Is 57 a factor of j?
False
Suppose 2*k - 43 = -0*k + 5*s, 15 = 3*s. Let t = k + 3. Suppose -3*q + t = -2*q - 2*y, -q + 35 = -y. Does 11 divide q?
True
Let z = 97 + -41. Let j = z - 19. Is j a multiple of 6?
False
Let g = -8 - -22. Is 22 a factor of (-584)/g*161/(-46)?
False
Let w(t) = t**2 - 3*t + 43. Is 4 a factor of w(8)?
False
Let m = 231 + -325. Let w = m + 212. Is w a multiple of 15?
False
Let s(c) = 11*c**2 - c - 1. Does 26 divide s(-4)?
False
Suppose 6238 = 23*q + 1684. Is q a multiple of 33?
True
Let k(p) = -6*p + 3. Let g be k(-2). Let d = g - -9. Does 6 divide d?
True
Suppose -2*z + 4*z - 2964 = 0. Suppose 0*n = 2*n - z. Does 13 divide n/15 - (-6)/(-15)?
False
Let x be 2/(-4)*(1 + -1). Suppose x = 2*z - z. Suppose z = j - 3*j + 6. Is j a multiple of 2?
False
Let f = 5 - 8. Let g = f + 17. Does 28 divide (-4 - (-11 - -3))*g?
True
Let x be (75/6)/(-5)*-6. Let m = x - 13. Does 5 divide -5*(24/(-15) - m)?
False
Let t(i) = -16*i**3 + 121*i**2 + 14*i + 86. Let q(n) = 3*n**3 - 24*n**2 - 3*n - 17. Let d(z) = -11*q(z) - 2*t(z). Is 27 a factor of d(22)?
False
Let f = 410 + -434. Suppose 2*b = 65 + 5. Let q = f + b. Is 11 a factor of q?
True
Let h(j) = 9*j - 48. Is h(36) a multiple of 23?
True
Let m = -176 + 80. Is (m/4)/((-4)/22) a multiple of 15?
False
Suppose 11*p - 4*p = 8750. Does 50 divide p?
True
Let i be (-1340)/14 - 6/21. Let r = -39 - i. Is 31 a factor of r?
False
Let y(d) = -405*d**3 - d**2 + 26*d + 26. Is 15 a factor of y(-1)?
False
Suppose -940 = -f + 310. Does 50 divide f?
True
Let p(v) = -v**2 + 6*v + 11. Let b be p(7). Let l(s) = s**3 - 2*s**2 - 3*s + 7. Is l(b) a multiple of 3?
True
Suppose -q - 2*q - 14 = -4*u, -8 = -2*u + 2*q. Suppose u*j - 8 = 2*z, 0*z + 3*j - 12 = z. Let r = 36 + z. Is 18 a factor of r?
True
Let u be (202/(-4) + -2)*(-2)/3. Suppose 109 = t + 3*t + 3*l, 5*l + u = 2*t. Is 25 a factor of t?
True
Suppose 4*b + 4*x = -4 - 8, 0 = b + 4*x + 18. Suppose -4*p - 43 + 3 = -4*u, -b*u + p = -24. Suppose 0 = -5*a + u + 16. Is a a multiple of 6?
True
Suppose 11*n = -7*n + 3168. Is 34 a factor of n?
False
Suppose 0 = -u + 9*u + 2064. Let k = 370 + u. Does 24 divide k?
False
Let u = -148 + 104. Let b = -29 - u. Is b a multiple of 15?
True
Suppose r + 1078 = 4*b + 136, 1170 = 5*b - 5*r. Does 24 divide b?
False
Suppose 11 = -3*o + 14. Suppose 0 = -g - o + 10. Is g a multiple of 4?
False
Let f(z) = 3*z**2 - z + 1. Let y be f(1). Let j = 258 - 141. Does 16 divide ((-6)/(-9))/(y/j)?
False
Suppose q - 48 = 5*q. Does 8 divide q + 9 + -1 + 15?
False
Suppose 5 = -3*a - 16. Let w be (-5 - -4)/(1/a). Suppose w*m - 3*m - 28 = 0. Is 2 a factor of m?
False
Let a(y) = y**2 + 17*y + 21. Let x be a(-16). Let u = 3 - x. Let i(o) = -4*o**3 + o**2 - o - 3. Is i(u) a multiple of 28?
False
Let j(p) = 48*p**2 - 19*p + 36. Does 9 divide j(2)?
False
Let x = -8 + 10. Suppose 66 = x*v + t + 244, 3*t = -5*v - 445. Let k = v + 133. Does 16 divide k?
False
Let t be ((-32)/(-20))/((-1)/5). Let b(l) = l**2 + 3*l + 10. Let s be b(t). Suppose -2*v - 5*o + s = 3*v, o + 35 = 4*v. Is v a multiple of 3?
True
Let a be ((-8)/(-10))/((-21)/15)*-7. Let d = -4 + 5. Is 12 a factor of (-89)/(-4) - d/a?
False
Suppose p = -4*u - 0*u + 1571, -5*p + 799 = 2*u. Suppose 0 = -t + 5*t - u. Does 14 divide t?
True
Suppose 520 = 5*q - i, 406 + 114 = 5*q + 3*i. Is 52 a factor of q?
True
Suppose 2*f - 654 = 2*i, -5*f + 11*i = 10*i - 1635. Is f a multiple of 7?
False
Let v(s) = -s**3 + 3*s**2 + 2*s - 4. Let b be v(3). Suppose -3*u = -2*i - 7, 3*i + 6 = b*u - 2. Let p(t) = 3*t**2 - 3. Is 3 a factor of p(i)?
True
Suppose -2*h - 5 = -13. Is 3/1 + (0 - h - -19) a multiple of 6?
True
Suppose 20 = 23*o - 5316. Does 27 divide o?
False
Suppose 0 = 15*d + 14*d - 31784. Is d a multiple of 22?
False
Suppose 3*t - 820 = -5*b - 2*t, -2*b = t - 327. Is b a multiple of 13?
False
Let k(b) = -5*b - 3. Let t be k(-1). Suppose 2*n + 25 = 7*n. Suppose t*u - 4*y + 7*y = 98, 2*u - 82 = n*y. Does 16 divide u?
False
Let u(b) = -b**3 - 2*b**2 - b + 2. Let o be u(-2). Suppose -o*a = -a - 15. Is 3 a factor of a?
False
Suppose 5*q = 397 - 77. Is q a multiple of 16?
True
Suppose -5*b - 5*t = -410 - 235, 4*b - 498 = 2*t. Does 7 divide b?
True
Let t(n) = 8*n - 14. Let o be -16*(3 - 7/2). Is t(o) a multiple of 14?
False
Let a(q) be the first derivative of 25*q**2 - q + 13. Does 13 divide a(6)?
True
Is (2/(-4)*-22)/((-12)/(-996)) a multiple of 17?
False
Let c(y) = 19*y**2 + y - 2. Let u(n) = n + 7. Let b be u(-4). Suppose -b*m = -r + 5, 3*r - 3*m = 2*m + 11. Is c(r) a multiple of 16?
False
Let a be ((-4)/(-6))/(4/(-42)). Let u = a - 7. Is (180/u)/((-15)/70) a multiple of 16?
False
Let t = 148 - 142. Is t a multiple of 6?
True
Suppose 2*m = -3*n + 690 + 251, 5*m - 1250 = -4*n. Is n a multiple of 45?
True
Let d(a) be the first derivative of a**4/4 - 2*a**3/3 - 5*a**2/2 + 9*a - 2. Let y be d(6). Suppose 3*w + y = 6*w. Is w a multiple of 16?
False
Suppose -5*z + 1 = -q + 6, 2*z + 4*q = 20. Suppose z*r = 3*r - 18. Suppose -i + r = -4. Is i a multiple of 5?
True
Let n = 2298 + -1652. Is 19 a factor of n?
True
Let c = -210 - -385. Does 7 divide c?
True
Suppose 0*p + 140 = -5*p. Let r = -59 - p. Let a = 85 + r. Is 27 a factor of a?
True
Let a = 600 + -161. Suppose 12*b - 461 = a. Is 20 a factor of b?
False
Suppose 3*w + 