e 0 = x - 3*v - 200, -3*x - v + s = x. Is 25 a factor of x?
True
Suppose 2720 = -5*d + 5*q, 6*q + 2740 = -5*d + q. Let s = d - -946. Is s a multiple of 40?
True
Let u(l) = -88*l**3 - 5*l + 6. Is u(-2) a multiple of 60?
True
Let v = -206 + 204. Let b(m) = -81*m - 12. Is 6 a factor of b(v)?
True
Let q be (1143/(-6))/((-6)/8). Suppose 28*f - 2089 = 2251. Let r = q - f. Does 35 divide r?
False
Let r = -11 - -18. Let f be (-8)/(-48)*9 + (-436)/(-8). Suppose 3*q - r = 2, f = 5*c + 2*q. Does 2 divide c?
True
Is 12 a factor of ((-2)/4)/((-33)/(-363))*385180/(-55)?
False
Suppose 5*k = 3*h - 933 - 486, 0 = 5*h - 2*k - 2403. Is 16 a factor of h?
False
Let d be 3 + ((-13)/1 - -3). Let c(z) = 2*z**2 - z - 14. Let m be c(d). Is 11 a factor of 39/m + 613/7?
True
Suppose -20 = -a - 3*a, 3*h - 2*a + 1 = 0. Suppose -5*q = 3*y - 7, 3*q + y - h = -2. Let t = 54 - q. Is t a multiple of 38?
False
Let j = -73 - -75. Suppose j*a + 3*t = 143, -5*a + 2*t + 70 = -240. Does 6 divide a?
False
Let x(y) = 22*y - 171. Let q be x(9). Suppose -194 = -4*p + 2*g, -2*p + 26*g - q*g = -95. Is 48 a factor of p?
True
Is 1/(-5) + ((-741440)/(-450) - (-40)/(-90)) a multiple of 3?
True
Let y(q) be the first derivative of -q**4/4 + 20*q**3/3 + 5*q**2/2 - 66*q + 62. Does 30 divide y(19)?
True
Does 67 divide 2204 + (-336)/(-21) - 2/(-4)*2?
False
Let x = 214 + 128. Let q = x - 22. Does 10 divide q?
True
Suppose -5*r + 3*p = -2729, -6*p = r - 3*p - 535. Does 148 divide r?
False
Let o be 127/((-6 - -11) + -5 - -1). Let j(c) = c**2 + c - 102. Let v be j(0). Let u = o + v. Is 9 a factor of u?
False
Is 4 a factor of 2580/14 + 1/(126/(-36))?
True
Let s(x) = 1626*x**2 + 4*x - 23. Does 13 divide s(3)?
False
Let w = -189 + 131. Let m = w - 40. Is (-1 - 2)*2/(12/m) a multiple of 10?
False
Let d = -43 + 66. Suppose d - 7 = 4*l. Suppose l*w - 350 = -3*w. Does 23 divide w?
False
Let u(c) = 11*c - 62. Let b be u(6). Suppose -b*l = 5*j - 264, -5*l + 293 = -0*j - 3*j. Is 61 a factor of l?
True
Let l(o) = 2*o + 40. Suppose u = -5*c + 45, 3*c - 5*u = -0*c - 1. Let d be l(c). Let s = d - 20. Is s a multiple of 18?
True
Let p(w) = 116*w**2 + 11*w + 103. Is 49 a factor of p(-8)?
False
Let d(q) = -34394*q**3 + 3*q**2 - 70*q - 73. Does 12 divide d(-1)?
False
Let r be ((-72)/(-4))/3 + 30. Does 3 divide (228/r)/(1/3)?
False
Suppose 7*l + 180 = 22*l. Does 23 divide 6/l*(0 + -1272)/(-2)?
False
Let q = -4359 + 15531. Suppose 17*c = 11*c + q. Does 49 divide c?
True
Suppose 2*m - 83 = 41. Suppose -502*z = -507*z + 215. Let w = z + m. Is 15 a factor of w?
True
Let m(v) = v**2 + 28*v - 58. Let k = -38 + 8. Let y be m(k). Suppose 0 = 3*z + 5*t - 1022, 5*z = -3*t + y*t + 1674. Is 50 a factor of z?
False
Suppose -118*n - 80 = -114*n. Is (-10)/(n/246) + -1 + -2 a multiple of 24?
True
Let w(m) = 220*m - 944. Does 6 divide w(5)?
True
Let r = 1762 - 391. Let f = r - 917. Is f a multiple of 53?
False
Let y = -1093 + 1582. Suppose 0 = -y*x + 498*x - 4284. Does 68 divide x?
True
Let b(g) be the first derivative of 2*g**3/3 + 17*g**2 - 127*g + 187. Is 10 a factor of b(-32)?
False
Suppose 2*n = -0*n. Suppose -5*v + 7 = -13, 4*f = 3*v + 88. Is 14 a factor of 10/f*(n - -175)?
True
Let d(k) = 1 + k**2 - 8*k - 1 - 15. Let f(j) = -23*j - 1433. Let v be f(-62). Does 9 divide d(v)?
True
Suppose -7*s - 3840 = -18. Let q = -290 - s. Does 32 divide q?
True
Suppose -3*i = -2*g - 1055, -g + 685 = 3*i - 376. Does 2 divide i?
False
Suppose -8*f + 96 = 128. Is 76 a factor of f + 1307 + -8 + -3?
True
Suppose 57*z - 118*z = -51*z - 516320. Is z a multiple of 28?
True
Suppose 0 = 7*s - 29 + 1. Suppose s*w + 0*w - 3712 = -5*r, 5*r - 20 = 0. Is w a multiple of 24?
False
Suppose 7*d - 355 = 51. Suppose 47 = 3*h - d. Suppose 0 = -h*l + 32*l + 417. Is l a multiple of 9?
False
Let x(k) be the third derivative of k**6/120 - k**5/20 - k**4/12 + k**3/6 - 14*k**2. Let s be x(4). Suppose 0 = 12*l - s*l - 21. Is l a multiple of 6?
False
Suppose 0*h + 2*h - 16096 = -4*s, 4*h - s - 32156 = 0. Is 23 a factor of h?
False
Let u(t) = -5*t**3 - 25*t**2 - 38*t - 2. Does 14 divide u(-12)?
False
Suppose 34*a - 29*a + 2*w + 141 = 0, 3*w = -2*a - 63. Is -2*a/(-18) - -1332 a multiple of 13?
False
Let w be (-48)/(-72) - (-6386)/6. Suppose 6*i - 4*z - 2166 = 4*i, i - w = -4*z. Suppose -19*h = -1051 - i. Does 14 divide h?
True
Let a = -31 + -28. Let o be (3 - a)/(-5 + 7). Let j = -25 + o. Is j a multiple of 3?
True
Let b be 2*((-32)/8 - -1). Let n(v) = -13*v + 6. Is n(b) a multiple of 3?
True
Suppose -20 = -2*r - 3*r. Suppose -2*c = -r*j + 432, 5*j + 2*c - 540 = c. Suppose s = j + 24. Is 25 a factor of s?
False
Let z be 6/10 - 3/(15/(-62)). Suppose m = -z*w + 14*w - 31, 2*m = 5*w - 149. Is w a multiple of 4?
False
Suppose -4*g - 5849 = -q, 64*q - 11656 = 62*q + g. Is q a multiple of 13?
False
Let s = -380 - -387. Suppose -s*n + 13056 = 44*n. Does 25 divide n?
False
Is 8 a factor of ((-26)/234 + 163024/(-18))/(-1)?
False
Suppose -2*n + 481 = 5*c, 0*c - 3*c - 473 = -2*n. Let v = n - 68. Is 5 a factor of v?
True
Suppose 0 = w - s - 105, 0 = -5*w - 7*s + 2*s + 485. Let t(i) = -15*i - 5. Let n be t(-5). Let c = w - n. Is c a multiple of 21?
False
Suppose 5*f = -t + 29125, -23279 = 13*f - 17*f - 5*t. Does 14 divide f?
False
Does 32 divide (380996/(-110))/((-28)/40)?
False
Let b(n) = 32*n**2 + 35*n + 244. Is 17 a factor of b(25)?
False
Suppose -7*n - 2 = -6*n. Is 30/165 + (-898)/(-22) + n a multiple of 13?
True
Suppose 14*o = o + 15834. Suppose -4*z - x + o = 186, -4*z - 5*x = -1016. Is z a multiple of 10?
False
Let j = 9490 + -5691. Is j a multiple of 12?
False
Let v = -737 + 1497. Let d be (-4)/(-14) + 57/21. Is 6 a factor of (-1)/(v/(-252) + d)?
False
Let t = 5115 + -4084. Does 9 divide t?
False
Let x = 13583 + -3201. Is x a multiple of 29?
True
Let a = 2167 + -1667. Does 10 divide a?
True
Let a(l) = -2*l**3 + 5*l**2 - 8*l + 12. Let w be a(4). Let x = w - -79. Let g(q) = -q**3 + 13*q**2 - 10*q + 8. Does 14 divide g(x)?
True
Let w be -1 - ((-2)/(-4))/(15/(-150)). Suppose x + 4522 = 5*t, 4530 = 5*t - 9*x + w*x. Is 65 a factor of t?
False
Let p(k) = 5*k**2 + 103*k - 1353. Does 5 divide p(16)?
True
Let n = 606 - 86. Suppose -2*i + 322 = 3*c - 70, 4*c = -4*i + n. Is 4 a factor of c?
True
Suppose -17*w - 2772 = -3*w. Let b = 12 - w. Is 17 a factor of b?
False
Let c be 4/4 + -5 - 1. Let v be ((-263)/c + 3)*(3 - -7). Suppose 0 = 3*t - v - 53. Is t a multiple of 44?
False
Let v be 63/(-28)*(-1344)/7. Let l = v - 17. Is l a multiple of 22?
False
Suppose -129*o - 35640 = -151*o. Is o a multiple of 59?
False
Suppose -33*a + 48*a - 18523 = 20927. Is 4 a factor of a?
False
Let a(f) = -771*f - 14241. Is 168 a factor of a(-59)?
True
Suppose -3*y = -6*y - 15, -3*y + 10 = 5*d. Suppose 2*u + 57*p - 60 = 59*p, -5*u + 160 = 5*p. Suppose -d*n = 5*c - 33 - 32, -3*n = c - u. Is n a multiple of 9?
True
Let k(r) = r**2 + 13*r + 24. Let c be k(-13). Suppose -c = -3*f + 3*q, 4*q = -2*f - 6 - 2. Suppose 3*j - 242 = i + i, 0 = -f*j - 3*i + 317. Is 16 a factor of j?
True
Let i(y) = -164*y**2 + 2*y - 2. Let v be i(1). Suppose -85 = 7*o + 209. Let k = o - v. Is k a multiple of 16?
False
Let m(j) = -4*j**3 - 4*j**2 - 16*j + 60. Let u be m(-12). Is u/28 - (-4)/(-14) a multiple of 18?
False
Suppose 2*b = 4*b - 6499 - 4101. Is 53 a factor of b?
True
Suppose 4*r - 20 = 0, -4*c + 4*r - 122 = 350. Is 12 a factor of 565/c + (-1)/(2/(-740))?
False
Suppose h = u - 5 - 3, u - 2*h = 13. Let i(b) = -8 + 13 + u + 12 + 10*b. Does 8 divide i(6)?
True
Let v(l) = 28*l**2 + 26*l. Let q be v(-4). Suppose -2*r + 228 = -2*s, -42*s + q = 3*r - 43*s. Is 5 a factor of r?
True
Let h(n) = -2*n**3 - 5*n**2 + 28*n - 22. Suppose 0 = 41*g + 1 + 368. Does 12 divide h(g)?
False
Let h = 13 + -14. Let t(w) = -4*w**3 + w**2 + 2*w + 2. Let o be t(h). Suppose 6*u = o*u + 8. Does 2 divide u?
True
Is 492375/105 + 2*3/(-21) a multiple of 50?
False
Does 3 divide 8802/5 + (-18)/315*7?
False
Suppose 0 = 86*t + 18*t - 0*t - 863616. Is 24 a factor of t?
True
Let u(b) = 81*b - 1. Let j be 3/15 - 612/10. Let y = j + 62. Does 16 divide u(y)?
True
Let m = 301 - 305. Is 20 a factor of 50/(m - (-100)/24)?
True
Let u = -32 - -39. Suppose -3*h - 3*y + u = -2*y, 0 = 3*h + 3*y - 9. Suppose -5*i - h*c + 533 = -107, 3*c - 512 = -4*i. Is i a multiple of 8?
True
Suppo