Is 26 a factor of z(-3)?
True
Let c(g) = 38*g**2 + 104*g - 4. Is c(15) a multiple of 29?
False
Suppose -508 = 5*v - 5288. Suppose -x - 3*x - v = -4*b, -x = -3*b + 719. Is 8 a factor of b?
True
Let y(f) = -186*f**2 + 3*f - 3. Let h be y(1). Is (h/9)/(4/(-78)) a multiple of 40?
False
Let b(a) = a**3 + 15*a**2 + 20*a + 62. Let j be b(-25). Does 24 divide j/(-36) - 4/(-18)?
False
Suppose 44 + 32 = -2*z. Let n = z + 56. Is n a multiple of 12?
False
Suppose -3*y = 5*i - 491, 2*i - 195 - 5 = -3*y. Suppose 25 = x - i. Let w = -76 + x. Is 10 a factor of w?
False
Let t(m) = -m**3 - m**2 + 7*m + 8. Let d be t(-3). Suppose 590 = 2*x + 2*v, d*x - 1203 = -v + 280. Is 13 a factor of x?
False
Suppose -3*z = 427 + 104. Let q = -154 - z. Is q even?
False
Suppose 4*k = -5*k - 9. Let d be (-2)/4*18/(k - 2). Suppose 80 - 23 = d*g. Is g a multiple of 9?
False
Does 248 divide ((7338/(-20))/(486/(-405)))/(1/56)?
False
Let u = 925 + 56. Suppose 3*q - 2*q - 1 = 0, -2*t = 3*q - u. Is t a multiple of 38?
False
Suppose -20967 - 27873 = -15*q. Is 11 a factor of ((-8)/(-16))/(4/q)?
True
Suppose 4*i - 174*t - 26694 = -179*t, -2*i + 4*t = -13308. Is i a multiple of 33?
True
Let l(z) = 7414*z - 4764. Does 37 divide l(2)?
True
Let b(f) = -76*f + 23. Let n be b(-13). Suppose -n = -18*y + 1005. Does 58 divide y?
False
Let u(i) be the second derivative of -5/2*i**2 - 1/20*i**5 + 30*i + 0 + 0*i**4 + i**3. Does 9 divide u(-5)?
True
Suppose 15 = -2*s + 3*p, 2*p + 0*p = 3*s + 10. Suppose s = t + 2*u - 98 - 43, 2*u = -3*t + 411. Is 15 a factor of t?
True
Let v(w) = 568*w + 10764. Is 242 a factor of v(0)?
False
Let j(p) = 2272*p - 630. Is 21 a factor of j(7)?
False
Let s = -411 + 744. Suppose -342*z + s*z + 234 = 0. Is 26 a factor of z?
True
Suppose 27*m = 24*m + 1101. Let p = 1222 - m. Is p a multiple of 57?
True
Let b(y) = -17*y + 16. Let o be b(3). Let j be 18/5 + ((-84)/o - 2). Does 8 divide j*8/12*42?
True
Suppose 13*k + 26*k - 1677 = 0. Suppose k*p = 49*p - 1170. Is p a multiple of 5?
True
Let l be (-19 - -19) + (-2 - -17 - 1). Suppose 16*u - 560 = l*u. Is 13 a factor of u?
False
Let f(s) = -13*s**2 + 117*s + 10. Let o be f(11). Let p = 516 + o. Is p a multiple of 15?
True
Suppose -4*o + 34 = 5*k, -o + 24 = 5*k - 7. Let w be -1 + 2 + k + 46. Suppose -57*y + 200 = -w*y. Is y a multiple of 10?
True
Let o = 314 + -204. Let g(a) = 2*a**2 - 17*a - 9. Let r be g(9). Suppose r = -6*s + o + 82. Is s a multiple of 11?
False
Let w(x) = -x**3 + 22*x**2 + 96*x - 245. Does 71 divide w(23)?
False
Let x(n) = -17*n + 7. Let r be x(-1). Suppose 1470 = -19*d + r*d. Suppose d = 4*l - 14. Is l a multiple of 7?
True
Does 17 divide -7 - ((-788118)/23 - 16)?
False
Suppose -411 = -2*u - 2*s - 1807, 12 = -4*s. Is (-2)/6 - (u/15 - -5) a multiple of 5?
False
Suppose 3*c + 10 = -2*y - 327, -3*c = -4*y + 325. Let a = c + 671. Does 40 divide a?
True
Suppose 0 = 2*q + 539 + 89. Let f = -63 - q. Is 7 a factor of f?
False
Let g = 49 + -45. Let u(d) = -d + 6. Let m be u(g). Suppose -1 = v, m*c - 2*v - 226 - 80 = 0. Does 19 divide c?
True
Let o(h) = 7 + 9 - 3*h + 7*h + 5. Is o(7) a multiple of 4?
False
Suppose j - 9 = -4*v, -4*j - 2 = -5*v + 2*v. Suppose 2*o - 28 = -4*i, -i - 2*o = -15 + v. Suppose i*g - u - 290 = 4*u, 3*g - 139 = -4*u. Is g a multiple of 52?
False
Let m(x) = -5 + 718*x**2 - 1 - 719*x**2 - x**3. Let c be m(-4). Is 14 a factor of -48*c/9*(-3)/3?
True
Let v = -40 + 82. Let r = v + -41. Does 3 divide 5*r*(-3)/(-2)*2?
True
Is (-6)/4*(532688/78)/(-26) a multiple of 39?
False
Suppose 86384 = 7*n - 2378 - 44098. Is n a multiple of 13?
True
Let g(a) = 6*a - 7. Let j be g(2). Suppose -u = -4*k + 56, -j*k + 3*k + 50 = 5*u. Suppose k*w - 8*w = 266. Is w a multiple of 19?
True
Let y = 5 - 0. Let k(j) = -j**2 + 6*j - 2. Let q be k(y). Suppose g + 186 = q*g. Is 31 a factor of g?
True
Let t(r) be the third derivative of -r**6/120 + 2*r**5/15 - 7*r**4/24 + 7*r**3/3 + r**2. Let p be ((-270)/1125)/((-1)/25). Is t(p) a multiple of 11?
True
Let i = 3379 + -3102. Is 30 a factor of i?
False
Let d(t) = 20*t**2 + 7*t + 8. Let v be d(-1). Suppose 29*n = v*n + 1704. Does 3 divide n?
True
Let m = -12038 + 15766. Is m a multiple of 8?
True
Let x(j) = 29*j**3 - j**2 - 2*j + 2. Does 14 divide x(3)?
True
Let l = 26344 + -17320. Is l a multiple of 24?
True
Suppose 0 = -2972*b + 2969*b + 2*z + 97624, 0 = -4*b + 2*z + 130162. Is 87 a factor of b?
True
Suppose -2*v - 4*d + 28 = 0, -5*v - 2*d = -3*d - 15. Let o(a) = 43*a - 61. Is 4 a factor of o(v)?
False
Let p(j) = -563*j + 9 + 40 + 572*j. Does 6 divide p(3)?
False
Let y be 38 - 18/(-4)*(-18)/(-27). Suppose 0 = -8*r - 9 + y. Suppose -r*z + 27 = -149. Is 22 a factor of z?
True
Suppose 0 = -3*a - 16*a + 95. Suppose -5*i + 2391 = 3*s, -a*i = s - 7*i - 808. Is s a multiple of 18?
False
Suppose -40 = 3*f - 127. Let j = f + -27. Suppose j*u - 512 = -22. Is 49 a factor of u?
True
Suppose 19*s - 3*c + 2235 = 20*s, -4454 = -2*s + 2*c. Is 11 a factor of s?
False
Let h be 89/(2*((-3)/(-2) + -2)). Let s = h - -44. Does 41 divide (s/(-5))/3 - 101*-2?
True
Let q(w) = 4*w + 13. Let a be q(-3). Is 80 a factor of 5120/(-48)*(a + -10)?
True
Let u = 29 - 36. Let z be 2 - 60/28 - 694/u. Suppose 0 = j - 3*q - z, 0 = -j - 4*q + 18 + 102. Does 27 divide j?
True
Let y = 13112 - 7093. Does 69 divide y?
False
Let g(c) = -c + 1. Let n be 153/21 - 2/7. Suppose -5*o - 2*f - 10 = -n*f, 2*o + 19 = -3*f. Does 2 divide g(o)?
True
Let h(m) = m**3 - m**2 + m. Let j be h(0). Suppose -2*n = 5*r + 10, -4*n + 2*r + 33 - 5 = j. Suppose -t - 6 = -2*s, -5*s + 2 = -n*t - 3. Is 2 a factor of s?
False
Let c(h) = -4*h**3 - h**2 - 83. Let x(k) = -k**3 - 1. Let w(i) = -c(i) + 5*x(i). Let s be w(0). Let g = 12 + s. Is 9 a factor of g?
True
Suppose 0 = 4*h - 15 - 21. Suppose h*d - 58 = -796. Let l = -17 - d. Is l a multiple of 5?
True
Let o be (-60)/20 - -1*5. Let p = -331 + 556. Suppose -o*f - 180 = -4*n, 0*f = 5*n + 3*f - p. Is n a multiple of 5?
True
Let q be ((0 + -1)/2)/(1/(-60)). Suppose -15 = q*n - 35*n. Suppose -5*v + 61 = -5*a + n*a, 0 = -2*v + 5*a + 16. Is v a multiple of 5?
False
Suppose -4*u - 411 - 128 = -i, 2*u - 5*i + 283 = 0. Let x = u + 138. Suppose 4*l + 8 = x*j - 108, 2*l + 82 = 3*j. Does 4 divide j?
True
Let n(q) = -957*q - 904. Is 3 a factor of n(-4)?
False
Let d be ((-14)/(-49))/((-2)/(-28)). Let r(m) = 4*m**3 - 6*m**2 + 7*m + 1. Does 43 divide r(d)?
False
Suppose m = -5*u + 24738, 14468 + 372 = 3*u + 2*m. Suppose -11*w - 4*i + 2992 = -8*w, 5*w - 3*i - u = 0. Does 16 divide w?
True
Let x be (-192)/30 + 6 + 66/(-10). Let g(a) = -3*a**2 - 21*a + 6. Let j be g(x). Suppose -6 - 3 = -3*h, -r - j = -5*h. Is 7 a factor of r?
False
Suppose -p - 30 = 4*w, -4*w - p = -5*p + 20. Is 10 + w + (-2 - 2) - -378 a multiple of 40?
False
Let m(h) = -9*h**2 + 16*h - 46. Let r(c) = 7*c**2 - 16*c + 46. Let b(p) = -3*m(p) - 4*r(p). Does 3 divide b(10)?
False
Let b(i) = -i**2 - 4*i. Let l be b(-3). Suppose 2*f + l = 7. Does 3 divide (-88)/(-14) + f - 24/84?
False
Let t = -2810 - -1662. Let d = -814 - t. Is d a multiple of 5?
False
Let v(d) = 5*d**2 + 6*d - 14. Let m be v(-7). Let f = -29 + m. Does 7 divide f?
False
Does 8 divide 163974/14 + (85/51 - (-44)/(-21))?
True
Let l be 20 + -15 + 0 + 5. Let b(g) = -g**3 - l + 2*g - 4*g**2 + 8*g**2 + 3*g**2 - 20. Is 18 a factor of b(6)?
True
Suppose 11839909 - 3571197 = 288*s - 56*s. Is 292 a factor of s?
False
Suppose -58*m + 75032 = -115614. Is 41 a factor of m?
False
Suppose 2*w + 202 = 3*h, 0*h - h - 325 = 3*w. Let m = 217 - w. Does 27 divide m?
True
Suppose 15*h - 549917 = 5*h - 9*h. Is h a multiple of 22?
False
Suppose -f = 3*f - 2*t - 32342, -f + 3*t = -8088. Does 147 divide f?
True
Suppose 4*z + 66196 = 5*c, 5*c - 38*z + 35*z = 66192. Does 35 divide c?
False
Let l(b) = -b + 55. Let p be l(33). Suppose -p*u = -10*u - 5100. Is u a multiple of 17?
True
Suppose -3*x + 25 = 2*x - 5*h, -2*h = 6. Suppose 3*w + w - u = -1994, 4*w + 2000 = -x*u. Let b = 832 + w. Is 13 a factor of b?
False
Let l(d) = -6*d + 63. Suppose -5*z + 10 = -5*n, -3*n + 14 = 2. Does 4 divide l(z)?
False
Let a(k) = -2*k**2 + 57*k + 23. Let x be a(29). Is ((-27)/x)/(7413/2464 + -3) a multiple of 44?
True
Suppose 0 = 4*i + 2*b - 205047 + 72569, 6*b - 66254 = -2*i. Is i a multiple of 18?
False
Suppose 25*i = 3*i + 41492.