e m?
False
Let o(q) = 38*q**2 + 94*q + 708. Is 28 a factor of o(-9)?
True
Is 26/((-546)/315) + 6255 a multiple of 8?
True
Suppose 254*a - 409842 = 506*a - 270*a. Does 10 divide a?
False
Suppose -3*r + 2773 = 7*s - 9*s, -4*r - s = -3701. Let m = r + -460. Does 15 divide m?
True
Let g = 604 + -427. Let x = 378 + -81. Let r = x - g. Is 15 a factor of r?
True
Let f(v) = 9*v - 19. Let l be f(4). Suppose 0 = -14*j + l*j + 105. Let w = 47 + j. Is w a multiple of 4?
True
Suppose -667962 + 127278 = -207*j. Does 36 divide j?
False
Suppose 0 = -10*o + 3*o - 7. Let k be 6 - 10/5 - (o + -1). Let y(t) = t**2 + 3*t - 1. Is 27 a factor of y(k)?
False
Let c = 52 + -48. Suppose -7 - 7 = -2*z - c*m, 4*m = z + 23. Is (-2)/z + 680/6 a multiple of 38?
True
Suppose -14*j + 80 = -4*j. Suppose 2*k + 5*p - 708 = 0, 12*p = j*p. Does 33 divide k?
False
Let w be (-1)/2 + (-130)/(-52). Suppose q + 43 = w*q. Is 3 a factor of q?
False
Let q be ((-60)/42)/(-10) + (-1)/7. Suppose q = -13*p + 16*p - 609. Is p a multiple of 12?
False
Let s = -823 - -545. Let z = s - -540. Does 21 divide z?
False
Suppose -5*t - 8 = -4*u + 13, -4*u + 3*t = -19. Let s be u + (-26)/10 + 6/10. Suppose s*j - 166 - 46 = 0. Is 30 a factor of j?
False
Suppose 13*v + 2080 = 17*v. Suppose -5*o = 3*r - v, -5*o + 302 + 218 = r. Is o a multiple of 17?
False
Let u = -4511 - -5009. Does 6 divide u?
True
Let g(h) = 2*h**2 + 37*h - 24. Let m be g(-22). Let a = 627 - m. Does 7 divide a?
True
Let o(p) = 10528*p + 1824. Is 12 a factor of o(3)?
True
Suppose z = 5*d + 3805, -d = 2*d - 5*z + 2305. Let x = 1304 + d. Does 33 divide x?
False
Let s = -12703 - -23730. Is s a multiple of 12?
False
Let y(t) = 80*t + 1826. Is y(-19) a multiple of 4?
False
Let c be 2/((-4)/(-6)) + 20. Suppose -l = w + 3*l - c, l + 4 = 3*w. Suppose w*o - 2*o = 14. Does 7 divide o?
True
Let g be (-12)/(-42) - (-4)/(-14). Suppose g = 6*c - 239 - 73. Suppose 5*w - c = -n + 266, 5*n = -w + 54. Does 8 divide w?
True
Let x be 4/(-20) - 77/(-35). Suppose x*f - z = -2*z + 185, 5*f - z = 445. Does 3 divide f?
True
Suppose t + 63888 = 39*t + 6*t. Is t a multiple of 33?
True
Let m be 21 + -1*(-3 + 6). Let a(k) = -k**3 + 16*k**2 + 38*k + 6. Does 14 divide a(m)?
True
Let i = -245 + 597. Suppose 0*m - 8*m - i = 0. Let k = m - -68. Does 8 divide k?
True
Let g(c) = 2*c**2 + c + 9. Suppose 10 = -5*s, -6 = 5*m - 2*s + 5*s. Is 3 a factor of g(m)?
True
Suppose 0 = -4*k + q - 1001 + 9454, -k + 2112 = q. Is 23 a factor of k?
False
Suppose 82118 + 60442 = 132*p. Is p a multiple of 20?
True
Let h(r) = -r**3 - 4*r**2 + r - 89. Is h(-12) a multiple of 94?
False
Let a be -2 + -2 + 129 - 0. Suppose a + 827 = 8*t. Does 7 divide t?
True
Suppose 0*a + 6*a + 108 = 0. Is 5 a factor of ((-20)/(-12))/((4/a)/(-2))?
True
Let r(z) = -143*z - 9. Let b be r(2). Let j = 421 + b. Is j a multiple of 10?
False
Suppose 3192 = 42*c + 15*c. Suppose 60*h = c*h + 1592. Does 12 divide h?
False
Suppose 14*z + 1 = 15. Let h be (-3*(0 - 1))/(z + 0). Suppose 2*s - 309 = -h*j, 4*j = 4*s + j - 573. Is 19 a factor of s?
False
Suppose 3*g - 2*i - 14735 = 0, -6*g + g + 24561 = -2*i. Is 50 a factor of g?
False
Suppose r - 35 + 9 = -5*l, -r + 3*l = 6. Suppose 0 = 2*o - c - 900, -2*o + 900 = r*c - 2*c. Is 6 a factor of o?
True
Let a = 140 + -255. Suppose -582 = -22*k + 19*k. Let v = k + a. Is 27 a factor of v?
False
Suppose -90 = -5*z + 18*l - 14*l, 90 = 5*z + 3*l. Suppose -4*o + 364 = 17*c - z*c, -c = 5*o - 455. Does 11 divide o?
False
Suppose 200992 = 18*s - 76802. Is 23 a factor of s?
True
Let i(z) = -252*z - 75. Let b be 1/((-3)/18)*2/6. Is 39 a factor of i(b)?
True
Let g(p) = -122*p - 434. Does 18 divide g(-31)?
True
Let j(p) = 87*p**2 - 2*p + 87*p**2 - 176*p**2 + 161. Let x be j(0). Suppose 5*o - 5*c = -31 + x, 3*o - 82 = -c. Is 7 a factor of o?
False
Let w = -1071 - -1996. Let r = w + 14. Is r a multiple of 11?
False
Let l = -13945 - -24755. Is l a multiple of 18?
False
Suppose 0 = 4*o + 2*t - 64, o + 4*t + 16 = 2*o. Let i(v) = -6*v - 13 - 7*v + v**2 + o*v. Is i(-6) a multiple of 5?
True
Is 4885 - -18 - (11 + 7 + -9) a multiple of 22?
False
Suppose -26 = 2*n - 38, -5*u = -2*n - 358603. Is 17 a factor of u?
True
Let g = 3089 - -959. Is 11 a factor of g?
True
Let g = -49670 + 71549. Does 117 divide g?
True
Let l(f) = 711*f**3 + 4*f**2 + 5*f. Let p be l(-2). Let s be (-36)/45 - p/15. Suppose -s = 7*w - 13*w. Is w a multiple of 7?
True
Suppose 4*b - 683 = -d, 2*b = 3*d + 2*d + 347. Suppose -180*c + 177*c = -b. Does 15 divide c?
False
Let w = 338 - -121. Let a = w + -650. Is 14 a factor of 8 - 5 - (a + -2)?
True
Suppose -48*w + 40 = -44*w. Suppose -7 = 9*c - w*c. Does 23 divide (-5 - -51)*(-3 + c)?
True
Let f(g) = -1. Let u(z) = -118*z**2 + 3*z + 3. Let k(m) = -f(m) - u(m). Let y be k(-1). Suppose 5*b = 3*x + y, 0*x - 73 = -4*b - 5*x. Does 18 divide b?
False
Let v be 42*((-76)/14 + 6). Suppose v*f - 5808 = 12*f. Is 22 a factor of f?
True
Let f(j) = -j**3 - 10*j**2 + 3. Let c be f(-16). Let y = c - 1059. Does 80 divide y?
True
Let j = -18 + 80. Suppose -12*d + 3*d + 225 = 0. Let q = j - d. Is 4 a factor of q?
False
Suppose 229*f - 176905 + 573805 = 249*f. Does 81 divide f?
True
Let j be 2/(-11) - 576/(-22). Does 3 divide (3 + j)*(-3)/(2 + -5)?
False
Suppose 0 = -5*m + 3*k + 78, -m - 2*k = k - 30. Suppose 0 = g + c - 4, -c + 4 = 5*g - 0*g. Does 9 divide m/(-24)*(-48 - g)?
True
Suppose -w = 3*x - 11, 10*x - 8 = 4*w + 9*x. Is 168 - (w/(-5))/((-17)/(-255)) a multiple of 15?
True
Let g(h) be the third derivative of -5*h**4/24 + 2*h**3 - 6*h**2. Let u be g(-4). Suppose 0 = -2*c - 2*c - 5*j + 68, u = 2*c + 2*j. Is c a multiple of 2?
True
Let q(f) = -346*f + 0 - 18 - 14 + 10 - 8. Is 17 a factor of q(-2)?
False
Suppose -4*t - 2*z + 9 = -9, 0 = -4*t + z + 9. Suppose 2*s + t*j - 789 = 0, -6*s = -s + 2*j - 1956. Is s a multiple of 30?
True
Let d be 4/(-2) - ((2 - 32) + -2). Let q = -26 + d. Does 24 divide (-1 - 0)/(1*q/(-480))?
True
Let v(l) = l**3 + 54*l**2 - 130*l + 260. Is v(-56) a multiple of 105?
False
Suppose -5*c - 2*x + 70 = -63, -4*c - 4*x + 116 = 0. Suppose c*y - 1426 - 7349 = 0. Is 9 a factor of y?
True
Let a = -2113 - -4810. Let x = 3873 - a. Is x a multiple of 37?
False
Let y be (-8)/(-28) + -3 + (-2514)/(-21). Suppose -n - y = 2*x, -3*n - 2*x + 105 = -4*n. Let l = -92 - n. Is l a multiple of 2?
False
Does 4 divide (-22)/242 - 8306/(-11)?
False
Let k be (12 - (-657)/36)/(2/512). Suppose k = 24*c - 13*c. Does 64 divide c?
True
Is 165 a factor of (-6444289)/(-535) - (-2)/(-5)?
True
Suppose 4*t + 647 = -q, -498 = 3*t - 15*q + 20*q. Let x = -70 - t. Is 27 a factor of x?
False
Suppose 0 = -0*u + 8*u - 56. Is 5 a factor of (-3)/((u/(-1))/21)?
False
Suppose 18*l - 15*l = -3. Let y(w) be the third derivative of 7*w**5/12 + w**4/8 + w**3/3 + w**2. Does 16 divide y(l)?
False
Let g = -3479 + 11269. Does 41 divide g?
True
Let t(j) = j**3 - 13*j**2 + 13*j - 9. Let u be t(12). Suppose -u*v + 5 = -k, -5*k = 3*v - 0*k - 29. Let y = v + 17. Is y even?
True
Suppose 7*s - 59 = -598. Let q = -19 - s. Let y = q - 39. Is 19 a factor of y?
True
Let l(w) = -2034*w + 1616. Is 62 a factor of l(-12)?
False
Let b = 13939 - 9759. Does 44 divide b?
True
Suppose -2*c + a - 91 = 2*a, 0 = -3*c - a - 139. Does 8 divide (-10376)/c + 1/(-6)?
True
Let o(t) = t**3 - 51*t**2 - 44*t + 101. Is o(52) a multiple of 3?
False
Is 249 a factor of (-1 + -1411 + 0)/(19/(266/(-28)))?
False
Suppose -696 - 12541 = -7*y. Does 61 divide y?
True
Suppose -93*r + 88*r + 5*t = -138910, -2*r + 55561 = -3*t. Is 26 a factor of r?
False
Suppose 1989*u + 70285 = 1990*u + 3*i, -3*u - 4*i = -210880. Is 38 a factor of u?
True
Suppose -66*w + 10*w = -40544. Is 4 a factor of w?
True
Suppose -46 + 34 = 2*o + 4*u, 0 = 5*o + 5*u + 40. Suppose -4*n + 41 = 129. Is 5 a factor of (-1100)/n*(-8)/o?
True
Let r be (-208)/(-40) + 2/(-10). Suppose r*n + 10 = 0, 5*w - 3*n - 395 - 1271 = 0. Is 16 a factor of w?
False
Let v(p) = -4*p - p**2 - 4*p**2 + 6*p**2 + p - 11. Let m be v(5). Let y(w) = -90*w + 1. Does 17 divide y(m)?
False
Let t = -744 + 777. Suppose t*n = 29*n + 1232. Does 9 divide n?
False
Let h = -302 - -114. Let i = -81 - h. Is i a multiple of 13?
False
Suppose 41 = 10*s - 59. Is 35 a factor of 70/1 + (-2 - s/(-5))?
True
Let d = 289 + -208. Suppose -5*r + 209 = -0*r - 