or of b?
False
Let v = 389 + -303. Suppose 760 = t + 4*t. Let c = t - v. Is 14 a factor of c?
False
Suppose 3*u - 336 = 3*t - 0*t, 3*t = -2*u + 234. Is 19 a factor of u?
True
Let q(v) = -25*v + 35. Is 23 a factor of q(-15)?
False
Suppose 7*a = 17*a - 4690. Does 41 divide a?
False
Suppose 2*l = -2*t + 4*l + 2082, -l - 4149 = -4*t. Does 37 divide t?
True
Suppose -2*s + 47 = -d, 4*s + 5*d = 40 + 89. Suppose 4*n - 2*x = s, -x = -3*n + 2*n + 5. Does 8 divide n?
True
Let s = 3 - 3. Let o = 3 + s. Suppose -128 = -o*q - 26. Does 17 divide q?
True
Suppose -238 + 568 = -11*q. Let g(z) = -z**3 - 29*z**2 + 27*z - 17. Is 8 a factor of g(q)?
False
Let n = 375 + -188. Is n a multiple of 17?
True
Let s(k) = -k**3 - 10*k**2 + 4*k - 29. Is 72 a factor of s(-18)?
False
Suppose -3*w = 5*u - 1479 - 1055, 2*u = -w + 1014. Does 4 divide u?
True
Does 69 divide (100/(-40))/(1/(-690))?
True
Suppose 0 = -18*b + 2547 + 2385. Does 5 divide b?
False
Let x be 226/6 + 2/(-3). Let v = 56 - x. Is 19 a factor of v?
True
Suppose -a + 2*h + 2 = -0*a, a - 4 = 3*h. Suppose 32 = g + x, 8*g - 4*x = 5*g + 61. Does 13 divide (2/(a/g))/(-1)?
False
Let b(v) = -8*v**3 + 2*v**2 + 8*v - 8. Is b(-4) a multiple of 84?
True
Suppose 28 = -w + 128. Is 4 a factor of w?
True
Suppose -v = -2*x - 1398, -4*v + 2*x = -2*x - 5608. Is v a multiple of 74?
True
Suppose 3*q + 54*d - 36 = 56*d, -d + 3 = 0. Is q even?
True
Let q be (-4 + 6)*2/1. Let t(p) = 2*p**3 - 7*p**2 + 2*p + 11. Does 2 divide t(q)?
False
Suppose 16*b - 1621 = 107. Suppose -4*q - b = -812. Is q a multiple of 22?
True
Suppose 0 = -5*p + 9*p. Suppose p = -2*w - i + 16, -5*w + i + 30 = -10. Does 13 divide (90/w)/((-33)/(-88))?
False
Let q(b) = -b**2 - 6*b - 2. Suppose 0 = -20*h + 15*h - 30. Let i be q(h). Does 5 divide 62/8*(6 + i)?
False
Let r = 274 - -574. Does 53 divide r?
True
Suppose 0 = 213*j - 205*j - 11128. Is j a multiple of 19?
False
Let u be 2/(-2)*-3*1. Suppose q - 14 = -3*d, -2*d - 12 = -6*d - u*q. Suppose 32 = -2*f + d*f. Does 4 divide f?
True
Let w = -3 + 9. Suppose r + 20 = w*r. Suppose -63 = -p + 4*u, r*p = -p + 4*u + 251. Is p a multiple of 13?
False
Is ((-5454)/(-6) - 4)*(-16)/(-40) a multiple of 7?
False
Let a(n) = -3*n**2 + 2*n - 6. Let u(t) = -4*t - 10. Let w be u(-4). Let m be a(w). Let q = m - -151. Is 17 a factor of q?
False
Is 8 a factor of (-74)/(-185) + 5726/10?
False
Let f = -2637 - -3781. Is f a multiple of 26?
True
Suppose 7*a - 9*a + 30 = 0. Let h = a - 13. Is (-8 - (5 - h))*-2 a multiple of 5?
False
Let l(n) = n**3 + 8*n**2 + 45. Is l(-7) a multiple of 5?
False
Let l = -328 + 1161. Does 17 divide l?
True
Suppose 6*c - 5*c = 1. Suppose 4*i = -z - c, -2*i = 3*z - 0*i - 7. Suppose z*l = -3*q + 102, -3*q = -l + 2*l - 24. Does 13 divide l?
True
Suppose -5*l - 240 = -4*q, 4*q = l - 0*l + 224. Does 5 divide q?
True
Is ((-10)/(-25))/(-2*(-4)/260) a multiple of 3?
False
Let w(r) = -r**2 - r - 1. Let n(x) = -3*x**2 - 10*x - 24. Let f(v) = n(v) - 5*w(v). Is 22 a factor of f(7)?
True
Let i(r) = r**3 + 7*r**2 + 4*r + 13. Suppose 72 - 96 = 4*y. Is i(y) a multiple of 5?
True
Let m(b) be the second derivative of -b**5/10 - b**4/4 + 5*b**3/6 - 5*b**2/2 + 4*b. Is 20 a factor of m(-4)?
False
Suppose k - 2*k = 0. Suppose -2*d = -a - 38, k = -2*d - 4*a + 7 + 11. Is 3 a factor of d?
False
Let v(m) = 45*m - 39. Does 12 divide v(5)?
False
Let l(g) = -2. Let v(y) = y + 3. Let r(n) = 3*l(n) + 2*v(n). Is 3 a factor of r(3)?
True
Suppose 29*x - 36421 = -2549. Is 8 a factor of x?
True
Suppose -4*f + 16 = -8*f. Let j be (5/4)/(f/(-96)). Suppose 0 = 3*y - 99 - j. Does 15 divide y?
False
Suppose 3*p - 735 = 35*x - 36*x, -4*x - 3*p + 2958 = 0. Does 13 divide x?
True
Let h be (-4)/(5*(-4)/(-270)). Let l = 69 + h. Is l a multiple of 5?
True
Let c = -14 - -12. Let b(l) be the third derivative of l**5/5 + 5*l**4/24 + 2*l**3/3 - 3*l**2. Does 21 divide b(c)?
True
Suppose -i - 3370 = -5*q, -q + 4*i + 386 + 288 = 0. Suppose 6*j - q = 244. Does 52 divide j?
False
Let w(m) = -2*m - 30. Let p be 6*((-5)/3 - 2). Does 2 divide w(p)?
True
Let z = 285 + -87. Is z a multiple of 12?
False
Let g(i) = -5*i**2 + 3*i - 3. Let f(c) = 10*c**2 - 5*c + 7. Let p(a) = -3*f(a) - 7*g(a). Does 23 divide p(-5)?
False
Let s(b) be the first derivative of -4 + 5*b**4 + 0*b - 1/2*b**2 + 1/3*b**3. Is s(1) a multiple of 10?
True
Suppose 9*k - h = 12*k - 391, -2*h = 4*k - 520. Is k a multiple of 9?
False
Let n = 40 + -26. Suppose q + 3*b = 6*q - 99, -2*q = -5*b - 51. Suppose n*v + 116 = q*v. Does 5 divide v?
False
Let r(z) = -3*z - 13. Let h be r(-6). Suppose -54 = -4*c - 4*n + 46, 0 = -3*c - h*n + 77. Let x = c + -17. Does 5 divide x?
False
Let h(r) = 5*r - 5. Let s be h(2). Suppose -4*x - 5*c = -35, 25 = -s*x - 2*c + 56. Suppose -4*w + x*f + 105 = 0, f + 73 = 3*w + 3*f. Is 12 a factor of w?
False
Let h = 162 + -163. Is (h/(-3))/((0 + -1)/(-24)) a multiple of 8?
True
Let u = 39 - 21. Suppose 0 = -3*l + 5*s - 3*s + 24, 0 = 5*l + 4*s - u. Does 6 divide l?
True
Let k(l) = l**2 + l + 6. Let f be k(0). Let p be (-4)/f - (-238)/(-21). Let s(t) = -t**3 - 11*t**2 + 11*t - 2. Is 6 a factor of s(p)?
False
Let c be 3948/34 + 12/(-102). Let j = 185 - c. Does 23 divide j?
True
Let k = -1269 + -347. Let w be k/(-6) + (-8)/(-12). Suppose -4*u = -w - 242. Is u a multiple of 13?
False
Let a(b) = b**3 + 11*b**2 - 15*b + 9. Let v be a(-12). Let u = 55 - v. Is 5 a factor of u?
True
Let u = 231 + 174. Does 27 divide u?
True
Let r(d) = 2*d**2 - 7*d + 2*d**2 + 4*d**2 + 13 + d**2 + d**3. Let w be r(-9). Let s = w - 44. Is 8 a factor of s?
True
Let l(v) = -8*v + 9 - 11*v + 18*v + 0. Let t be l(4). Suppose -t*k + 185 = 5*s, 4*k - 111 = 3*s + 2. Does 7 divide k?
False
Let o(c) = 2*c**2 + 12*c - 125. Is 29 a factor of o(-24)?
False
Let u(c) = 21*c. Let i be u(1). Let r = -14 + i. Does 2 divide r?
False
Suppose 2*l + 8*l = 5980. Does 13 divide l?
True
Is 10 a factor of (-84)/8*(-6)/14*4?
False
Suppose -2411 = -6*r + 2113. Is 26 a factor of r?
True
Let i(z) = 10*z**2 - 1 - 2*z**2 - 3*z**2. Let n be i(1). Does 6 divide 30*1/5*n?
True
Is 5 a factor of ((-9)/6)/((-21)/70)?
True
Let h(g) = 12*g**2 + 18*g - 191. Is h(8) a multiple of 7?
True
Suppose 4*i - 5*b = 16, -5*i - 2*b = -22 + 2. Is 10 a factor of 171/4 - (-1)/i?
False
Let q(t) = 3*t**2 + 4*t. Suppose -p + 4 = p. Suppose 5*x - 6*f + 11 = -p*f, -5*x - 3*f - 18 = 0. Is 5 a factor of q(x)?
True
Suppose 2*w - 868 = -3*b, -2*b + 4*b = -4*w + 576. Suppose 0 = 2*r + j - b, 2*j - 292 = -3*r + r. Is r a multiple of 18?
True
Let m = -1946 - -4387. Is 85 a factor of m?
False
Let l(h) = 2*h**2 + 21*h + 463. Does 79 divide l(35)?
False
Let v = 43 - 37. Is 15 a factor of 4*v/(-72) + (-362)/(-6)?
True
Is 19 a factor of (-1747)/(-2) + ((-145)/(-10) - 14)?
True
Let y(w) = -9*w - 54. Let q be y(-6). Suppose -2*d + u = -86, q*u + 134 = 3*d - 4*u. Is 9 a factor of d?
False
Let b be (-3)/1 - ((-10)/(-5) + -41). Suppose -144 = -b*f + 35*f. Is 24 a factor of f?
True
Suppose -10*n - 5*k = -6*n - 320, 5*n + k = 379. Let z be (-6)/((-1)/(-5)*-2). Let g = n + z. Does 18 divide g?
True
Suppose -7*s + 6*s + 8 = 0. Suppose -3*k - s = -77. Is k a multiple of 13?
False
Let l(d) = -4*d**3 - 15*d**2 + 12*d + 34. Does 9 divide l(-8)?
True
Suppose -3*h - 2*h + 75 = 0. Suppose -u = -4*u + h. Suppose 0 = -u*p - 2 + 27. Is p a multiple of 2?
False
Suppose 2*k = c + 2552, 0 = 3*k - 33*c + 28*c - 3835. Is k a multiple of 5?
True
Let i(w) = -w**2 + w - 1. Let n(p) = -4*p**2 - p - 16. Let r(f) = 3*i(f) - n(f). Let m be r(-6). Suppose 4*k - 3*h = m + 44, 3*h + 9 = 0. Is k a multiple of 8?
False
Suppose 17*v + 108 = 8*v. Let t = 10 - v. Is 2 a factor of t?
True
Suppose 0 = -4*r + 8*r - 8. Let g be (12/(-8))/(r/92). Let t = -18 - g. Is 9 a factor of t?
False
Suppose -2*b - 3*f + 27 = 0, 2*f = -b - 2*f + 11. Let u = 15 - b. Suppose 54 = -4*h - 4*z + 154, u = -3*h + 3*z + 93. Does 7 divide h?
True
Let q(h) = -12*h + h**3 - 2 - 5*h**3 + 11*h + 15*h**3. Is 12 a factor of q(2)?
True
Let g(y) = y**2 + 4*y - 30. Suppose 4*v - 5*z + 3*z + 48 = 0, -4*v - 56 = 2*z. Is 29 a factor of g(v)?
True
Suppose 2*m - 6 = 4*p, -3*p - 1 = 2*m - 0. Suppose -m = -i + 4*r + 1, 5*r = -3*i + 6. Is (-42)/14 + 14*i a multiple of 5?
True
Let v = 321 + -294. Is 3 a factor of v?
True
Let a be 18203/(-5) - (-9)/15. Is 16 a fac