 21, -5*d - 3 - 38 = 3*w. Let k be d/8 - -1 - 292/(-16). Suppose 0 = 4*i + k - 258. Does 12 divide i?
True
Let c = -319 - -323. Suppose 4*t + 9*i - 355 = c*i, 3*t = -4*i + 265. Is 26 a factor of t?
False
Suppose 3*v - 26 = -5*a, -5*a + 19 = -3*v + 5. Suppose -148 + 693 = 3*y - 4*j, -v*j = -2*y + 364. Is y a multiple of 61?
True
Let g be (-1682)/(-4) - (45/(-6))/5. Suppose -431*z + g*z = -531. Is 6 a factor of z?
False
Suppose -786 = -26*m + 27*m. Let b = m - -2034. Is 12 a factor of b?
True
Let k(l) = -l**3 + 7*l**2 + 8*l - 15. Let m be k(8). Let w(n) = n + 3. Let d be w(-8). Is 1762/6 + d/m a multiple of 42?
True
Is 25 a factor of (365 + -1)/((-28 + 32)/32)?
False
Suppose -2*y - 5*u - 3020 = 3*y, -3*u = -y - 592. Let h = -313 - y. Does 23 divide h?
False
Let k(m) = -76*m + 897. Does 32 divide k(8)?
False
Suppose 0 = -48*p + 44*p. Is 11 a factor of ((-3256)/185)/((-1)/5 + p)?
True
Suppose -4792*q - 1660 + 13000 = -4780*q. Is 9 a factor of q?
True
Let p = -1373 + 10789. Does 31 divide p?
False
Does 125 divide 1500*(-162)/36*(8/6)/(-1)?
True
Let r be ((-35)/(-2))/((-33)/(-1122)). Suppose -4*c = v - r, -8*c + 3*v + 465 = -5*c. Is c a multiple of 24?
False
Suppose 14*l - 25 = 9*l. Suppose -1349 - 1561 = -l*n - 5*y, 3*n + 4*y - 1742 = 0. Is 16 a factor of n?
False
Let x(s) be the second derivative of s**4/4 + 5*s**3/6 + 33*s**2/2 - 18*s. Does 19 divide x(7)?
False
Let u = -113 + 114. Suppose f = u + 2. Suppose 16 = k + 2*n, 6*k - 2*n = f*k + 16. Does 6 divide k?
False
Suppose -307*r - 3603 = -308*r - 4*g, -2*g = -2*r + 7136. Does 25 divide r?
True
Suppose -4*s = -3*c - 1862, -4*s + 2*c + 2391 = 535. Is s a multiple of 17?
False
Suppose -5*r + 13*r = 1632. Suppose -3*a + 2*v - r = 1208, 2*a + 948 = -2*v. Is 2 - a/(-4 - -8) a multiple of 20?
True
Let s = -3 - -625. Suppose -1579 = -5*v - 8*f + 9*f, 2*v + 2*f - s = 0. Does 29 divide v?
False
Let p = 129 - 129. Suppose 2*m - 3*w - 42 = 2*w, p = -4*m - w + 62. Is 4 a factor of m?
True
Let t(d) = -d**2 - 1. Let u(h) = 10*h**2 - 37*h + 52. Let f(g) = 3*t(g) + u(g). Does 39 divide f(17)?
True
Suppose 257392 = 4*n - 2*j, 4*n + 5*j = -117790 + 375210. Does 55 divide n?
True
Suppose -2126 + 2614 = -13*p + 8145. Is p a multiple of 19?
True
Suppose 1537 + 2993 = 5*l. Suppose -l = -8*y + 526. Is 14 a factor of y?
False
Let s(n) = n**3 + 9*n**2 + 7*n + 65. Let u be s(-9). Suppose -31*j - 17 = -32*j - 2*y, 25 = 5*j - u*y. Does 2 divide j?
False
Suppose 23*f + 6 = 98. Is 16 a factor of (444*-1)/((-1)/1) + f?
True
Is (2 - -524)*(16 - 69/6) a multiple of 9?
True
Suppose -b = -4*g - 744, -32*g + 27*g + 3745 = 5*b. Is 25 a factor of b?
False
Suppose -9*m + 5*m + 16150 = 6*m. Is 51 a factor of m?
False
Let m(u) = -11*u**3 + 3*u**2 + 8*u + 4. Is m(-3) a multiple of 2?
True
Let a = -66 - -73. Suppose r = a*r - 18. Suppose -g - r*g = -492. Does 8 divide g?
False
Let l(k) = -16*k + 20*k - 5*k - 2. Let g be l(-3). Is 14 a factor of (((-42)/8)/(3/(-56)))/g?
True
Suppose -120756 = 540*j - 552*j. Is 144 a factor of j?
False
Let q(y) = -3836*y - 172. Is 33 a factor of q(-5)?
True
Let v(j) = -j**3 - 8*j**2 + 10*j + 16. Let h be v(-9). Suppose -139 + h = z. Let n = -76 - z. Is n a multiple of 13?
False
Suppose 2*f = -4 + 10. Suppose 42 = a - f. Does 8 divide a?
False
Let u be 16/24*(0 + 36). Let f be (-2165)/30 - (-4)/u. Let h = f + 237. Is h a multiple of 33?
True
Suppose -4*k - 246*t + 242*t + 60568 = 0, 3*t + 15154 = k. Is k a multiple of 13?
True
Let n be (-2 - 8/16)/(2/24). Is (1009 - 0 - -2)*n/(-45) a multiple of 54?
False
Suppose -8 = -3*w + i, 0*i = -3*i - 6. Suppose 0 = 5*n + s - 865, 0 = w*n - 4*s - 329 + 5. Does 42 divide n?
False
Suppose 0 = c + c + 70. Let n = c - -6. Let z = n + 204. Is z a multiple of 35?
True
Let u = -38 - -42. Suppose -12*a + 8*a = 20, -z + 4*a + 229 = 0. Suppose 0 = -u*r - 2*i + 614, r + 57 = -i + z. Is r a multiple of 31?
True
Suppose -10 + 3 = -3*o - 5*k, 0 = o - 4*k - 8. Let t be (o*9/12)/(6/8). Suppose -130 - 282 = -t*z. Is 44 a factor of z?
False
Let k be (-7)/((-14)/(-3))*8. Let b(w) = w**2 + 4*w - 54. Is b(k) a multiple of 6?
True
Suppose -33*v = -26*v - 21. Suppose 0 = -3*o + v, 1377 = 4*w + 7*o - 6*o. Does 14 divide w?
False
Suppose 96*m + 213*m = -120*m + 5632770. Is m a multiple of 13?
True
Let r(k) = 10*k**2 - 7*k + 261. Is 35 a factor of r(9)?
False
Suppose -n - 2*u + 1109 = -419, -3065 = -2*n - u. Is n a multiple of 12?
False
Let f(g) = -1 - 3*g + 2*g + 3 + 2. Suppose 9*j = -j - 110. Is f(j) a multiple of 3?
True
Let l(o) = 206*o**2 + 66*o + 565. Is l(-8) a multiple of 13?
True
Suppose 4*s + 26 = 3*r, -11 = 4*r + 2*s - 9. Suppose -y - 4*w + 3*w + 1250 = 0, 3*y - r*w - 3765 = 0. Does 58 divide y?
False
Let v(d) = d**2 - 27*d + 50. Let l be v(22). Let a = -60 - l. Suppose -4*z - 5*g = 20 - 200, a = -4*z + 3*g + 180. Is z a multiple of 45?
True
Let q(s) = -242*s - 3812. Is q(-50) a multiple of 112?
True
Let l(b) = 6*b**3 + 181*b**2 - 43*b + 47. Does 5 divide l(-27)?
False
Let i(h) = 1332*h - 72. Is i(2) a multiple of 10?
False
Let b(r) be the third derivative of r**6/120 + 7*r**5/30 + 3*r**4/4 - 11*r**3/6 + 2*r**2 - r. Is 11 a factor of b(-8)?
False
Suppose -8*b + 38 + 418 = 0. Let a be b/((-5)/5) - 1. Is 10 a factor of -2 - 2 - -4 - a?
False
Let h = -32 - -40. Let o be (4/h)/1*18. Does 24 divide 273/o + (-6)/18?
False
Suppose -1771 = -4*x - 55*x + 117. Is 2 a factor of x?
True
Let n = -263 + -28. Let z = n + 588. Does 9 divide z?
True
Let z(h) be the second derivative of h**5/20 + 13*h**4/12 + 5*h**3/2 + 2*h**2 - 2*h + 6. Does 19 divide z(-10)?
False
Let w be (-8881)/(-4) - (0 + (-3)/(-12)). Suppose -117*t + 102*t = -w. Is t a multiple of 6?
False
Suppose 2252 = 48*i - 10708. Is 3 a factor of -21*(i/(-35))/9?
True
Let l = -14 - -74. Let z(m) = -2*m**3 - 11*m**2 - 3*m - 3. Let t be z(-7). Let r = t - l. Is r a multiple of 15?
True
Suppose -2*z = -3*w - 18, -2*z + 0*w - 14 = 5*w. Let v(i) = 14*i - 24. Is 6 a factor of v(z)?
True
Let m = 1404 + -397. Let v = 1787 - m. Is 20 a factor of v?
True
Let l(u) = -2*u**3 + 11*u**2 + 3*u + 12. Let r be l(5). Let o = -29 + r. Let d = 29 + o. Is d a multiple of 4?
True
Let b(n) be the second derivative of 0 + 2/3*n**3 - 11/12*n**4 - 1/20*n**5 + 13/2*n**2 + 19*n. Is b(-12) a multiple of 22?
False
Let o = -35 + 45. Suppose -2*r - o*r = 0. Suppose 5*z + 5*t - 197 - 773 = r, -2*t = -3*z + 582. Is 19 a factor of z?
False
Suppose m + 4*m = -680. Let z = 190 + m. Let x = 153 - z. Is x a multiple of 18?
False
Suppose 17*s - 17146 - 25864 = 0. Is 111 a factor of s?
False
Suppose 2*o - 81 = 69. Is 9 a factor of ((-372)/20 - 3)*o/(-10)?
True
Suppose -215 = -b + 2*n + n, 3*n = 5*b - 1075. Suppose 5*j = 5*w - b - 90, -143 = -3*w - 5*j. Is w a multiple of 4?
True
Is 6704 + 3/(8 - 11) + 5 a multiple of 156?
True
Let r be -3*(-1 + -82 + (0 - 4)). Is 38 a factor of (3 + -1)*(-110)/(-44) + r?
True
Let g be (-5)/(-4 - 164/(-40)). Let o = -50 - g. Is 33 + -8 + o/2 a multiple of 11?
False
Let t = -7064 - -14137. Is 196 a factor of t?
False
Suppose -m - 4 = 3*v, 5*m - 48 + 11 = 4*v. Is 49 a factor of 5490/18*4/m - -1?
True
Let u(k) = 127*k**3 - 8*k**2 + 9*k - 6. Does 7 divide u(4)?
False
Suppose 0 = 3*j - 7682 + 2000. Is 7 a factor of j?
False
Let k(w) = -32*w**3 + 52*w**2 - w + 7. Is k(-8) a multiple of 58?
False
Suppose 4*o + g + 117 = 0, 4*g + 60 = -2*o + 2*g. Let m = o - -50. Is 10 a factor of m?
False
Suppose 43*a + 929 - 79017 = 0. Is a a multiple of 38?
False
Let p(b) = 3*b**2 + 2*b**2 + 48*b - 2 - 2*b**2 + 4. Let a be p(-16). Suppose 64 = -0*i + a*i. Is 16 a factor of i?
True
Let x(i) = -i**2 + 15*i**2 - 70 - i**3 + 13*i**2 + 3*i**2 + 24*i. Is 13 a factor of x(30)?
True
Suppose -5181 = -3*u + 5799. Is 20 a factor of u?
True
Suppose -111*g + 106*g - r = -85567, -4*g + 68444 = 2*r. Is 21 a factor of g?
True
Is 44 a factor of 276315/10 - (16 + -2)/(-28)?
True
Let p(x) = -3*x**2 + 18*x - 16. Let b(g) = -5*g**2 + 35*g - 30. Let y(k) = -4*b(k) + 7*p(k). Let w be y(-9). Let q = w + -42. Is q a multiple of 9?
False
Let w = -101 + 127. Is w - ((-3 - -5) + -3 + -1) a multiple of 3?
False
Let t(r) = -14*r - 37. Let u be t(7). Let x = u + -139. Is (x/(-4))/((-2)/(-4)) a multiple of 22?
False
Suppose i - 22560 = -5*j, 2*j + 14*i = 19*i + 9024. Suppose -4*q - j = -16*q. D