of -o**5/20 - o**4/2 - 17*o**3/6 + o**2 + 3*o. Let i be ((-4 - 17)/(-3))/(-1). Is 33 a factor of w(i)?
False
Suppose 0 = 22*z - 7*z + 24240. Let b = 2650 + z. Does 22 divide b?
True
Let p = -1835 + 3072. Let g = p + -679. Is g a multiple of 30?
False
Is -2 + ((-1845)/54*3)/(10/(-24)) a multiple of 61?
True
Let k = -32 + 36. Suppose -418 - 398 = -k*r. Is r a multiple of 12?
True
Is 10 a factor of 901 + 9 + (-4 - -3)?
False
Let b = -14 - -16. Let d(p) = 4*p - 6. Let u be d(b). Suppose -4*h = -5*c - 188, u*h + 0*c - 5*c = 104. Does 7 divide h?
True
Does 42 divide (-21 - (-1397)/66) + (-22678)/(-12)?
True
Let w(i) = -16*i - 8. Let k be w(-6). Suppose b = -3*v + k, -v + b = -19 - 13. Does 4 divide v?
False
Suppose -36 = -4*m - 8*m. Suppose m*k = 2*y - 2*k - 9, 0 = -4*y - 2*k + 30. Let f(q) = q**3 - q**2 - 30*q - 4. Does 20 divide f(y)?
True
Suppose -3*d = -4*p - 6 - 10, 2*d = 5*p + 13. Let k be ((3/(-3))/p)/((-4)/(-24)). Suppose 408 + 498 = k*n. Is n a multiple of 36?
False
Suppose 28*w = 24*w + 5*z + 4, 3*w - z = 3. Let k(j) = 1054*j**2 + 4*j. Is k(w) a multiple of 46?
True
Let s(q) = -338*q - 2834. Does 24 divide s(-32)?
False
Suppose -243583 = -67*j + 137251 - 41613. Is j a multiple of 11?
False
Suppose 44344 = 26*t - 45200. Is t a multiple of 164?
True
Suppose -6*a + 17*a = -33. Does 14 divide (a + -1)*((-735)/14 + 7)?
True
Suppose 0 = -f + 7*f - 6. Let t(y) = 422*y - 3. Is t(f) a multiple of 13?
False
Let p = -9843 + 9975. Is 11 a factor of p?
True
Suppose 0 = 35*z - 42*z + 112. Let y(r) = r**2 + 8*r + 66. Does 62 divide y(z)?
False
Suppose 0 = -4*i - 9*i - 52. Let b(f) = 15*f + 129. Is 4 a factor of b(i)?
False
Suppose -37*a + 38*a = 0. Suppose 0*d = -5*c - 4*d - 141, -5*c + 2*d - 147 = a. Let l = c - -81. Does 15 divide l?
False
Let h = -4 - -3. Let q(m) be the second derivative of -83*m**3/6 - m**2/2 + 2*m + 3. Is 11 a factor of q(h)?
False
Let s(a) = 663*a**3 - 3*a**2 + 231*a - 462. Does 7 divide s(2)?
True
Suppose 144*b - 1315844 = 942076. Is 16 a factor of b?
True
Suppose 0 = -2*i + u + 51, -8 = -3*i + 4*u + 81. Let n(p) = -p**3 + 26*p**2 - 52*p + 43. Does 14 divide n(i)?
True
Let o(q) = -1034*q - 1969. Is 197 a factor of o(-4)?
True
Let u(q) = -208*q**3 - 12*q**2 - 17*q + 25. Let t(w) = -70*w**3 - 4*w**2 - 6*w + 9. Let b(k) = -11*t(k) + 4*u(k). Does 4 divide b(-1)?
False
Let v(i) = 1356*i + 1555. Is v(12) a multiple of 105?
False
Suppose 0*j + o = j - 22, 3*o = -3*j + 60. Let t(s) = s**3 - 34*s**2 + 119*s + 61. Let a be t(30). Let h = j + a. Is 38 a factor of h?
False
Let n = -20 + 25. Suppose -2*l - l - y = -2, -1 = -n*l - 4*y. Is (l - 3) + 0 + 34 a multiple of 32?
True
Let v = 4882 + -2002. Is v a multiple of 64?
True
Suppose -2*n - 23 - 5 = 0. Is 69 a factor of (-30)/105 - 7256/n?
False
Suppose s - 3539 = -2*s + p, 1188 = s - 2*p. Suppose -496 - s = -18*r. Does 9 divide r?
False
Let j = -1278 - -2266. Suppose -230*a = -234*a + j. Does 19 divide a?
True
Let c be 0 - -2 - -20 - -2. Let f(r) = -c*r + 5*r + 7*r + 23 + 5*r. Does 26 divide f(-10)?
False
Let j(l) = l - 7. Let x be j(13). Suppose 0 = 4*n + 3*w - x - 7, 9 = 3*w. Suppose -f = -0*f - n, f - 151 = -5*p. Is p a multiple of 7?
False
Let s(o) be the second derivative of o**5/20 + o**4/6 - o**3/3 + 18*o. Let r be s(0). Suppose 3*b + 0*b + l - 102 = 0, r = 3*b - l - 102. Is 17 a factor of b?
True
Suppose 41*k - 86588 = -7*k + 200452. Does 4 divide k?
True
Let w be (1 + -1)*-1 + 2. Suppose -209*t + 53*t - 4*t - 5760 = 0. Is 9 + -6 + (w - t) + -2 a multiple of 13?
True
Suppose k - 3*s = 1330, -27*k = -24*k - s - 4022. Does 2 divide k?
True
Let s be (12/7)/6*7. Let f(q) = 1 + 8*q - 4 - 7*q - 2*q**s + 3*q**3. Does 15 divide f(2)?
True
Suppose 5*q + 4*l - 17 = 0, -18 = -2*q + l - 6. Does 50 divide ((-1664)/(-10))/(q/25) + -5?
False
Suppose 139800 + 187390 = 25*x + 4690. Does 20 divide x?
True
Suppose 25 = 3*v - 11. Suppose -5*i - 15 = 2*q, q - 4*q + 2*i + 25 = 0. Suppose -v*n = -q*n - 203. Is n a multiple of 26?
False
Let n be -1 + (1/6 - 33/(-18)). Let z(s) = n - 5 + 7 - 3*s + 7*s**2. Is z(-3) a multiple of 15?
True
Suppose 197*d + 1944 = 203*d. Let b = 415 - d. Is 7 a factor of b?
True
Let a be -37*(-5 - (-9)/3). Suppose d + 5*t - 18 = 0, a = -0*d + 3*d + 5*t. Does 5 divide d?
False
Suppose 53292 = 60*z - 41688. Is 126 a factor of z?
False
Let o(a) = 35*a**2 + 105*a - 615. Is o(6) a multiple of 25?
True
Does 13 divide (-11 - -12)*(-119731)/(-10) - 2/20?
True
Let u(g) = -2*g**2 + g + 27. Let i be u(-4). Let p(t) = 3*t**2 - 8*t + 45. Let d be p(i). Suppose 5*x - d = 5*v, 8*x + 5*v - 390 = 3*x. Does 15 divide x?
True
Let t(d) = d**3 - 16*d**2 - 14*d - 55. Let i be t(17). Let s be 171 - (1*-16)/i. Suppose s + 1009 = 6*u. Is 28 a factor of u?
True
Let k = 3973 - 3049. Is k a multiple of 12?
True
Suppose -5*d = 10, -283 = 3*c + d - 12389. Is 32 a factor of c?
False
Let q be 59 + -3 + 5 + (-10)/5. Suppose -q = -2*z + 1237. Does 27 divide z?
True
Let n = 534 - 353. Suppose 2*k - n = 799. Is 7 a factor of k?
True
Suppose 2*l = 6 + 10. Let j(u) = -53 + 39 + 31 + l*u. Is 6 a factor of j(13)?
False
Suppose -36 = 7*t - 148. Let b be (t/5)/(13/65). Suppose 30 = b*x - 15*x. Is 13 a factor of x?
False
Let w(v) = 11*v**2 + 7*v - 8. Let z be w(3). Suppose z = -m + 3*m. Suppose -2*q + 4*k = -152, -q + 2*k = 4*k - m. Is q a multiple of 22?
True
Let d(v) = 10063*v**2 - 23*v - 10 - 10064*v**2 + 2. Suppose -b - 9 = -u + 4, 0 = 5*b + u + 77. Is 15 a factor of d(b)?
False
Does 12 divide 59*((-160)/56)/(5/245*-2)?
False
Let c(m) = -69*m**2 - 3*m + 2. Let s(l) = -l - 1. Let p be s(-2). Let i be c(p). Is i/(-16) + (-9)/24 a multiple of 2?
True
Suppose 9*t = 2*i + 12*t - 14, 3*t + 14 = 5*i. Let n(s) = 12*s + 24. Is n(i) a multiple of 12?
True
Suppose -679*l + 645*l + 24922 = 0. Is l even?
False
Suppose -15*t + 34*t - 1945786 = -132*t. Does 34 divide t?
True
Let n = -1457 + 3783. Is 8 a factor of n?
False
Suppose -31*f + 121157 + 167887 = 0. Does 21 divide f?
True
Suppose 2*g = -0*g + 410. Suppose -2*u - 4*u - 7*u = -u. Suppose -3*r - i = -673 + 128, r + 5*i - g = u. Is r a multiple of 20?
True
Suppose 0 = -6*x - 8 - 52. Let w(y) = y**3 + 16*y**2 + 3*y - 7. Let o(i) = i**3 + 17*i**2 + 2*i - 6. Let j(d) = -5*o(d) + 6*w(d). Is j(x) a multiple of 8?
True
Let b = 27606 - 13502. Does 164 divide b?
True
Let z(x) = -48*x + 47. Suppose 20 = 3*b + b, -5*o - b = -25. Let w be z(o). Let h = w + 225. Does 10 divide h?
True
Let b be 10 - (0 - (-5 - -7)). Is 4 a factor of -15*b/27*-3?
True
Let s = 1775 + 5032. Does 7 divide s?
False
Suppose 5*r = 2*o + 3*o - 20, 0 = 4*r. Suppose 4*c - 16 = 4*i, -6*i - 4*c = -4*i + 2. Is 5 a factor of (o + i)*60/2?
True
Let u = -14301 + 18621. Does 25 divide u?
False
Suppose 226*r = 236*r - 19546 - 30374. Is r a multiple of 62?
False
Suppose -14*k = 7*k + 5481. Let w = k - -396. Is 17 a factor of w?
False
Let u(m) = -m**2 - 5*m + 28. Let l be u(-12). Let o be 5*(-5 - l/10). Suppose 0*b - 90 = -4*r + o*b, -3*b + 6 = 0. Does 8 divide r?
True
Let f(k) = 107*k**2 - 61*k + 430. Is f(7) a multiple of 61?
True
Let l be (-10)/3*(1053/(-6))/9. Does 14 divide ((-288)/120)/((-2)/l)?
False
Let y = 549 + -826. Let l = y - -357. Is 5 a factor of l?
True
Suppose n - 4180 = 5*y, -3*y = -3*n + 1013 + 11455. Does 7 divide n?
False
Let q(u) = 7*u**2 + 176*u - 2441. Is 6 a factor of q(23)?
True
Suppose 32360 = 63*z - 53*z. Suppose 5*j + z = 2*a, 4*j = -47*a + 42*a + 8024. Is 68 a factor of a?
False
Suppose 13*b = -325 + 91. Let t(z) be the third derivative of z**5/60 + 3*z**4/4 + 15*z**3/2 - 21*z**2. Is 15 a factor of t(b)?
True
Suppose 0 = 3*k - 2*k + 3*k. Let g be (k + 0)/(-2 - 2). Suppose g = 6*d + 31 - 901. Does 29 divide d?
True
Let j(o) = -2*o**2 - 6*o + 375. Let i(w) = -3*w**2 - 7*w + 374. Let l(p) = -3*i(p) + 4*j(p). Is l(0) a multiple of 14?
True
Suppose -5*n - 137 = 3*b - 397, 2*b - 156 = -3*n. Let m = 58 - n. Suppose 750 = -z + m*z. Is 25 a factor of z?
True
Let t(n) = 6*n - 5. Let a be t(-2). Let b = a - -605. Is b a multiple of 49?
True
Suppose a + 1435 = 2*z + 4305, -2*a + 5*z + 5738 = 0. Suppose 741 = l + 4*h, -15*h = -4*l - 13*h + a. Does 48 divide l?
False
Suppose 25*b - 341409 - 70461 = -21270. Is 124 a factor of b?
True
Let x = -68 + 61. Is 34 a factor of (-7 - x) + ((-2236)/(-4) - 5)?
False
S