 l. Suppose 3*t + 2*x = p, 4*t + t + 4*x - 282 = 0. Is 41 a factor of t?
False
Suppose 3*j - 4*m = 59, -5*j = -5*m + 1 - 91. Suppose 0 = 6*x + j*x - 3762. Does 21 divide x?
False
Let t = -18 + 172. Suppose t + 451 = -11*w. Let p = -35 - w. Does 6 divide p?
False
Suppose 4*h = -a - 73 - 42, 0 = 3*h. Let v = 150 - a. Is v a multiple of 14?
False
Let z(g) = 74*g + 159. Let x(y) = -y**3 - 7*y**2 + 2*y - 43. Let i be x(-8). Is z(i) a multiple of 23?
True
Let g(w) be the first derivative of w**4/2 - 10*w**3/3 + 7*w**2 - 6*w + 1. Suppose 12*x = 554 - 482. Does 24 divide g(x)?
False
Let x = -54 + 127. Suppose 0 = 3*u - 4*i + 2*i - 83, -3*u + 4*i + x = 0. Suppose -183 = -2*y - 2*z + u, -113 = -y - 3*z. Is y a multiple of 13?
True
Suppose 123*t - 100*t = 97152. Does 96 divide t?
True
Let v = 25503 - 10051. Does 222 divide v?
False
Let a(i) = 48*i**2 + 22*i + 7. Does 9 divide a(-4)?
False
Let l = 2751 - 1583. Suppose -i + 5*i = 3*u + l, -3*u = 0. Is 73 a factor of i?
True
Let x(q) = -3*q**3 - 18*q**2 - 65*q - 74. Does 20 divide x(-14)?
True
Suppose l - 3*t = -l - 2, 0 = -2*t + 8. Suppose -h + k = 2 + 2, -l*h = -4*k + 18. Is ((1 + 0)*-14)/h a multiple of 3?
False
Let o = -49 + 52. Suppose -m = 2*y - 62, -y + 3*m = o*y - 144. Is y even?
False
Let g(s) be the second derivative of s**5/20 + s**4/12 + 33*s**2/2 - 14*s. Suppose 0 = 13*d - 11*d. Does 3 divide g(d)?
True
Let y(p) = 15 - 7*p**2 - 6*p**2 + p**3 + 6*p - 7*p. Let v be y(13). Suppose -2*u + 168 = v*u. Does 13 divide u?
False
Let m(j) = -1090*j - 7 + 1095*j - 31. Is m(10) a multiple of 2?
True
Let c = 1822 + -3000. Is 29 a factor of (2/3 + -1)*(c - -14)?
False
Suppose -v - 4*v + 25 = 0. Suppose -w + v*t + 27 = 0, 3*w - 8*w - 5*t + 45 = 0. Let y = w - -146. Is y a multiple of 27?
False
Let d be (6/39 - (-15)/(-13))*-238. Suppose 15*s - 212 - d = 0. Is s a multiple of 5?
True
Let w = 119 - 46. Let k = w - 557. Let o = -334 - k. Does 15 divide o?
True
Suppose -5*y = -17*y + 144747 + 68733. Is 15 a factor of y?
True
Let s(a) be the second derivative of 7*a**4/12 - a**3/2 - 19*a**2/2 - 46*a. Is 20 a factor of s(-6)?
False
Let l = 8568 + -8036. Is l a multiple of 4?
True
Let r = -50 - 59. Suppose 107*c + 202 = -226. Is ((-4)/(-8))/(2/c)*r a multiple of 11?
False
Let m(o) = o**3 + 15*o**2 - 3*o - 18. Let k be m(-15). Suppose -14*j - k = 589. Let r = 32 - j. Does 19 divide r?
True
Let m be (96 - 22)*(-9)/(3/(-1)). Suppose -209 = -2*q - v + m, -5*q + 1077 = 3*v. Does 8 divide q?
True
Does 6 divide (-213625)/(-100) + 4/(-16) + 0 + 7?
False
Let p = 1326 + -1323. Let w(q) = -3*q**3 - q**2 + q + 1. Let t be w(-1). Suppose 3*v - 50 = -t*s - p, 9 = -3*v. Is s a multiple of 11?
False
Suppose s - 5*t - 201 = -3*s, 0 = -2*s + t + 99. Let f = s + -35. Let x(l) = 2*l - 4. Is 6 a factor of x(f)?
True
Let v = 65 - 63. Suppose -6 = v*b - 12. Is 3 a factor of ((-336)/b)/(-4) - 2/2?
True
Suppose 0 = -10*b + 5*m + 25025, 20*m - 16*m = -b + 2534. Is b a multiple of 115?
False
Suppose -21*g + 8556 - 450 = 0. Is g a multiple of 2?
True
Let q(m) = 27*m**2 - 139*m - 920. Is 120 a factor of q(-8)?
True
Let m(k) = -50*k**3 - 4*k**2 - 21*k - 126. Is m(-5) a multiple of 74?
False
Suppose 4*q - 110 = -2*k, 3*k + k - 213 = -q. Suppose 1350 = 10*m + 17*m. Suppose -m*z = -k*z + 291. Is 14 a factor of z?
False
Let b(x) = -x**3 + 70*x**2 + 15*x + 7. Is 9 a factor of b(8)?
True
Let i(x) = 10*x**2 - 4*x**2 + 1 + 0 + 0*x**2. Let c = 5 - 4. Is 2 a factor of i(c)?
False
Let j = -80 - -79. Let b be (-2 + j)*38/(-6). Suppose b*p = 16*p + 198. Is 7 a factor of p?
False
Let t be 824 - 18*3/6. Let x = t + 209. Is 64 a factor of x?
True
Let i(c) = -11*c**3 - 2*c**2 - 39*c - 68. Does 10 divide i(-9)?
True
Let o(x) = -x**3 + 65*x**2 - 115*x + 393. Does 11 divide o(58)?
False
Let t(y) = y**2 + 17*y - 6. Let b = 93 - 89. Suppose -9*r + 30 = -b*r. Does 11 divide t(r)?
True
Suppose 34*j - 3723 = 17*j. Let w = j - -326. Is 6 a factor of w?
False
Suppose -2*b = -3*r + 107634, -3*r = -2*r + 5*b - 35827. Is r a multiple of 32?
True
Suppose 0 = 4*u + 4*m - 28712, 1987*u - 1982*u + 4*m = 35894. Does 57 divide u?
True
Suppose -2189*h + 2178*h = -37169. Does 12 divide h?
False
Suppose 16 = 8*h - 0. Suppose h*j = 2*m - 5*m + 782, 0 = -3*j + 3. Is m a multiple of 26?
True
Suppose 0 = -3*l + 5*l + d + 23, 5*d = l + 39. Let k be (0 - -27)/(l/(-70)). Suppose 2*r + r = k. Is r a multiple of 15?
True
Let u(k) = 2*k**2 + 12*k - 69. Let n = 179 - 174. Does 21 divide u(n)?
False
Is (2159 - 9/3)/(-4*(-4)/64) a multiple of 77?
True
Let k(t) = 62*t - 9. Let v(a) = -a + 1. Let j(h) = k(h) - 6*v(h). Is 5 a factor of j(2)?
False
Suppose 0 = 43*c - 102827 - 59498. Is 31 a factor of c?
False
Let d(t) = t**2 + 12*t + 24. Let q be d(-10). Suppose 0 = q*i + 45 + 19. Is -28*2/(i/22) a multiple of 11?
True
Let d be 1/(-4) - (108/16 + -4). Does 2 divide 80/(d + 12 - 7)?
True
Suppose 49*f + 466 = -2474. Let b = 844 + f. Is b a multiple of 56?
True
Is -107 - -117 - (-4 + -18090) a multiple of 62?
True
Let q be 0/((-20)/50 + (-24)/(-10)). Suppose -2*v + 4*l + 0*l = -312, 5*v + 5*l - 735 = q. Does 25 divide v?
True
Let b = 578 + -280. Let k = b + 14. Is k a multiple of 39?
True
Suppose -36*z = -32*z. Is z - 3 - (9 - 541) a multiple of 17?
False
Suppose -115*d = -1744222 - 256433. Is d a multiple of 16?
False
Let v be 0 - (346/3 + 5/(-15)). Let k = v - -120. Suppose k*q - 4*f - 89 = 289, 0 = -5*q - 5*f + 360. Is 37 a factor of q?
True
Suppose 63 + 3122 = -13*r. Let a = 466 + r. Does 8 divide a?
False
Is 138 a factor of 13/(65/30)*(1153 + -3)?
True
Suppose -2*r - 5*x + 7755 = -339, 4*x - 20184 = -5*r. Is 16 a factor of r?
True
Suppose -2*l + 12194 = -48*v + 50*v, -v + 4*l + 6087 = 0. Is v a multiple of 14?
False
Let v(n) = n**3 - 28*n**2 + 38*n - 39. Let m = -330 - -357. Is 6 a factor of v(m)?
True
Suppose -5*y = -2*k - 99, -3*y + 66 = -0*k + k. Suppose -5*z - 2*r + 142 = -123, -140 = -3*z - 5*r. Let i = z - y. Does 9 divide i?
False
Let a = 219 + -215. Suppose -a*x = -r - 2177 - 404, -3*x = -3*r - 1947. Is 7 a factor of x?
True
Let n(f) = -2*f**3 + 90*f**2 + 40*f + 167. Does 13 divide n(40)?
False
Suppose 15059 = 5*j - 3*k, -4*k + 3*k = -j + 3013. Is j a multiple of 48?
False
Suppose -4*f + 4596 = 2*s, -39*f - 12613 = -50*f + s. Is 19 a factor of f?
False
Let o(n) = 57*n**3 + 41*n**2 - 380*n - 13. Does 81 divide o(8)?
True
Suppose 3*s - 1767 = -4*j, -4*s - 1622 + 3958 = 2*j. Does 2 divide s?
False
Let h = 479 + 1142. Is h a multiple of 12?
False
Let u(y) = -23*y + 247. Is u(-21) a multiple of 157?
False
Suppose -3*n - 5*y + 624 = 0, 2*n + 4*y - 418 + 0 = 0. Does 29 divide n?
True
Let m(y) be the first derivative of -63*y**2 + 14*y + 29. Let f be m(-8). Suppose 811 = 13*w - f. Is 11 a factor of w?
False
Let z(i) be the third derivative of -i**6/120 + i**5/60 + i**4/24 + 37*i**3/6 + 25*i**2. Suppose 0*y + 3*y = 4*y. Is z(y) a multiple of 3?
False
Let f(s) = 3*s - 24. Let g be f(16). Let v(a) = -a**3 + 24*a**2 + 11*a - 33. Is 40 a factor of v(g)?
False
Is 44 a factor of 36/(-8)*((-10182)/18 + (-3)/9)?
False
Suppose -5*m + 5116 = 4*z, -13*z + 5 = -18*z. Does 64 divide m?
True
Suppose -7*j + 0 = -35. Suppose 0 = 3*b + 2*t - 4, -3*b + 0*b - j*t + 10 = 0. Suppose b = 2*x - 316 + 16. Is x a multiple of 10?
True
Suppose 0*n + 33*n - 501677 = -26*n. Does 11 divide n?
True
Let p(r) = r**2 - 4*r - 9. Let a be p(-6). Is 9 a factor of (1 + (6 - 4))*a?
True
Let o(u) = 19*u**2 - u + 29. Let i(v) = v**3 + 2*v**2 + 1. Let j(y) = i(y) - o(y). Is 42 a factor of j(19)?
False
Let i = 790 + -798. Let m(d) = -7*d + 13. Let t(s) = 2*s - 3. Let l(o) = -4*m(o) - 18*t(o). Does 8 divide l(i)?
False
Suppose 2*z + 42 = -4*y, -10*z = -6*z - 4*y + 36. Is 28 a factor of 92/6*(-429)/z?
False
Is 8 a factor of 11/44*4*239?
False
Suppose 0 = 123*p - 81315 - 205067 - 697741. Is 5 a factor of p?
False
Let v(y) = -y**3 - 4*y**2 + y + 25. Let g be ((-25)/(-20))/(-1 + (-9)/(-12)). Let w be 15/g*2/1. Is 7 a factor of v(w)?
True
Let p be ((-8)/(-8))/(3/1251). Suppose -24*z = -22*z - 2, 0 = 2*k - z - p. Is 22 a factor of k?
False
Let f(c) = c**2 - 22. Suppose 8*j - 9 - 7 = 0. Let i be j/(104/20 + -5). Is 13 a factor of f(i)?
True
Suppose 0 = 3*f - 24 + 30, 4*z + 5*f - 4406 = 0. Is 12 a factor of z?
True
Suppose 62*f + 72812 - 248644 =