43 divide s?
False
Let j = -3714 - -12726. Is 46 a factor of j?
False
Let m(w) = 28*w**2 - 16 - 6 + 19*w + 6*w**3 - 5*w**3. Is m(-27) a multiple of 58?
False
Let h be (6/(-36)*87)/(1/(-2)). Suppose -28*y - 92 = -h*y. Is 2 a factor of y?
True
Let f(q) = -4415*q + 520. Is 30 a factor of f(-4)?
True
Let j(b) = -26*b - 88. Let g(f) = f**2 + 12*f + 24. Let y be g(-5). Is j(y) a multiple of 18?
True
Let x be 495/(-10)*(-1)/(3/4). Let l = x + -66. Suppose 4*o - b = o + 135, l = -2*o - 3*b + 101. Does 3 divide o?
False
Let c be 79/5 - 4/(-20). Let x(v) = -v**3 + 17*v**2 + 13*v - 25. Is 19 a factor of x(c)?
False
Suppose 0 = -7*c - 1 + 36. Suppose -c*y - j + 1751 = 0, -3*y - 4*j = -0*j - 1054. Suppose 6*v - y = v. Is v a multiple of 14?
True
Suppose -k - 1447 = 4*t - 6*k, 0 = 5*t - 2*k + 1830. Let c = 440 + t. Is c a multiple of 6?
True
Let q(a) = 577*a**2 - 575*a + 2308. Does 15 divide q(4)?
True
Let x(u) be the third derivative of 13*u**6/120 - u**5/20 + u**4/8 + 28*u**2. Let k be x(2). Let o = 131 - k. Is o a multiple of 4?
False
Let y be 7/(-35) + 2296/5. Suppose -111 = 3*c - y. Is 21 a factor of c?
False
Suppose 109 = b - p + 13, 5*b + 3*p - 488 = 0. Is b even?
False
Let f(t) = -4 - 5 + 6*t + 5*t + 2*t**2 - 8*t. Let a be f(2). Suppose 7*c - a*c = 250. Is 13 a factor of c?
False
Let i = 108 + -107. Is (-13448)/(-32) + i/(-4) a multiple of 30?
True
Let k = 18 + -9. Suppose -k*m - 36 = -12*m. Is 15 a factor of m/9*(-1 + 4) + 106?
False
Is -1 + (-11 - -7307 - 2) a multiple of 51?
True
Does 21 divide (-8)/(4 + (4 - 7))*(-3847)/2?
False
Suppose 0 = -2*v + 4*g + 28, 5*g = 3*v - 6 - 32. Let r be v/8 - ((-3939)/12 - 4). Suppose -3*o + r = 3*d, 3*d + 552 = 5*o + 5*d. Is o a multiple of 5?
True
Let x(q) = 6*q**3 - 27*q**2 + 20*q - 5. Let r(t) = -5*t**3 + 28*t**2 - 19*t + 3. Let s(k) = 4*r(k) + 3*x(k). Is s(14) a multiple of 54?
False
Let o(f) = f**3 + 12*f**2 + 2*f + 27. Let d = -135 + 123. Let j be o(d). Suppose k - j*p + 900 = 6*k, -180 = -k + 3*p. Is k a multiple of 17?
False
Suppose 163*l = 165*l - 22. Suppose -l = -3*m - 3*k + 49, 0 = -3*m - 5*k + 68. Is m even?
True
Suppose 0 = 4*r + 3*m - 1804 + 91, 4*r - 1707 = -m. Let g = r + -186. Does 30 divide g?
True
Suppose 3*d = 2 + 7, 5*h = -2*d - 79. Suppose 25*a - 29*a = -4*v - 160, a - 4*v = 55. Let l = h + a. Does 3 divide l?
True
Let b(j) = -24*j + 32. Let z be b(-20). Let q = -255 + z. Let p = -48 + q. Is 31 a factor of p?
False
Let j be -3 - -6*6/12. Suppose -5*z - 2*a + 7*a + 4885 = j, 5*z = -a + 4879. Suppose -2*l = -7*l + g + 1229, 4*l + g = z. Is 12 a factor of l?
False
Let i(o) = 6*o**3 + 7*o**2 - o + 5. Let d be i(7). Suppose 7*s - d = 30. Is 8 a factor of s?
False
Let m(h) = -10*h + 5. Let b be m(0). Suppose 3*f + 4*i = 369, -b*f - 8*i + 607 = -4*i. Suppose 0 = 4*x + 19 - f. Does 2 divide x?
False
Suppose 8*v = 1063 - 30791. Is v/30*-1 - 32/(-240) a multiple of 31?
True
Let a be 8 + 13 - (-4)/(-2). Let k = a + -19. Suppose -2*t + 108 = -k*t. Is 13 a factor of t?
False
Let b be -1*(-3 - 1) + 6 + -9. Let w = b - -47. Does 8 divide w?
True
Suppose 48985 = -61*l + 105278 + 57045. Is 8 a factor of l?
False
Let z(q) = -q**2 + 3*q + 10. Let l be z(6). Let u(f) = f**2 + 6*f - 4. Let o be u(l). Suppose 3*d - 40 = -4*y, y = -4*d - 15 + o. Is 13 a factor of y?
True
Let p = 1783 - -1814. Does 3 divide p?
True
Let w = 969 - -13587. Does 14 divide w?
False
Let n = -17936 + 29633. Does 13 divide n?
False
Let c = 10351 + -4384. Does 84 divide c?
False
Suppose -9*b = -3*b + 24. Let o be 73 - 1/(b - 1 - -4). Suppose 0 = q - 2*w - 44, -2*q + o = -0*w + 3*w. Does 8 divide q?
True
Suppose 0 = -4*l + 3*x + 3948, 32*x = -2*l + 37*x + 1960. Is l a multiple of 30?
True
Let b(p) = -11*p + 45. Suppose -30 = -5*o + 5*v, -o + v + 12 = -2*v. Is 12 a factor of b(o)?
True
Suppose -5*n - h + 13 = 0, 0 = -0*n - 2*n + 4*h + 14. Suppose -n*z + 7*q + 1068 = 4*q, 0 = -5*q + 20. Is z a multiple of 18?
True
Suppose 0 = 4*p - 14*p + 40. Does 2 divide p - (9 - 7 - 78)?
True
Let b(j) = -j**3 + 7*j**2 + j - 65. Let v(t) = -2*t**3 + 7*t**2 + 2*t - 65. Let s(u) = -3*b(u) + 2*v(u). Is s(-9) a multiple of 82?
False
Let l(n) = 2*n**3 - 16*n**2 - 19*n + 13. Let i be l(9). Suppose -i*q - 400 = -14*q. Suppose -2*v + q = -296. Does 29 divide v?
False
Let z(v) = 3*v - 19. Let k be z(8). Suppose 245 = -k*g + 765. Suppose 0 = m + m - g. Is m a multiple of 6?
False
Let y = 829 + -431. Let j = -218 + y. Suppose p + 158 - j = 0. Is p a multiple of 11?
True
Let g(r) = 41*r**2 + 11*r - 2. Let u(k) = -81*k**2 - 22*k + 4. Let o(t) = 5*g(t) + 2*u(t). Is o(4) a multiple of 10?
True
Let c(w) = 16*w - 22. Let a be c(0). Let r(y) = y**3 + 21*y**2 - 50*y + 14. Is 18 a factor of r(a)?
True
Does 52 divide 10/(-8) + (-1018605)/(-356)?
True
Is (-12)/45 - (-61473588)/1980 a multiple of 8?
False
Suppose -4*h - 28 = 0, -4*m - 76*h + 80995 = -73*h. Is 75 a factor of m?
False
Let i be (1/(-2))/((-5)/(-100)*1). Let v be (4284/(-170))/(3/i). Is 2/(-3) + 1148/v a multiple of 4?
False
Let a = -55 + 53. Let m be (a/6)/(4/(-24)). Suppose 100 = -v + m*v. Is 10 a factor of v?
True
Let x = -123 - -128. Let i be (-327 + 0)*(1 + x/3). Is 7 a factor of (-6)/4 - i/16?
False
Suppose 5*r - 10 - 5 = 0. Let j = -29 + r. Let u = 31 - j. Does 19 divide u?
True
Let w(d) = 6*d**2 + 182*d - 835. Is w(-52) a multiple of 19?
False
Let d(t) = -725*t - 4434. Is 41 a factor of d(-9)?
True
Let s be 19/4 + 24/96. Suppose p = 5*m - 744 - 441, 3*p = -s*m + 1205. Is m a multiple of 34?
True
Let t(c) = -c**3 - 8*c**2 + 11*c + 16. Let h be t(-7). Let j = h - -158. Is 5 a factor of j?
False
Suppose 4*u = 20*w - 18*w - 12266, 0 = w - 4*u - 6149. Is 15 a factor of w?
False
Suppose 38*i - 272072 - 140848 = 2*i. Does 31 divide i?
True
Let b = 3979 + -3605. Does 34 divide b?
True
Let s be -2*3/(30/85). Let x(v) = v**2 + 14*v - 33. Is x(s) a multiple of 9?
True
Let u = 10 - 8. Suppose -u*o - 145 = -7*o. Let g = 45 + o. Does 16 divide g?
False
Suppose 0 = 827*n - 824*n + 678. Let r = n + 375. Is r a multiple of 19?
False
Suppose 0 = 27*b + 2 + 214. Let q(d) = -96*d - 66. Is 26 a factor of q(b)?
True
Let c(h) = 15*h**3 + h**2 - 5*h + 5. Let v = -41 - -44. Suppose 3*o + v*p = o + 13, -2*p = o - 8. Is c(o) a multiple of 21?
False
Suppose -21210 = -4*x + 4350. Is x a multiple of 176?
False
Let w be 8/(-12)*(0 + 12/8). Is w + 1 + 3 + 2068/4 a multiple of 13?
True
Suppose -15*a + 17*a = 4*m - 74614, -3*m + 55983 = 3*a. Does 44 divide m?
True
Is 11 a factor of -10 + (-46732)/(-21) + 6/9?
False
Let i = 68 + -32. Let k = 40 - i. Suppose -4*s - 73 = -3*p, 0 = -4*p + s + k*s + 99. Does 14 divide p?
False
Let t(n) = 3*n**2 + 4*n + 2. Let c be t(-4). Suppose -4*u + 5*b - 17 = 0, -4*b - 6 = -u - 24. Let d = c + u. Is d a multiple of 6?
True
Suppose -226 = j - 2*w, -2*j + 4*j = 3*w - 450. Let c = j - -522. Let o = -128 + c. Does 43 divide o?
True
Let n be (14756/155)/(3/(510/4)). Suppose -18*p = -p - n. Does 43 divide p?
False
Let x = 6420 - 624. Is x a multiple of 63?
True
Let m(j) = -14*j - 2. Let f be m(-5). Let u = 725 - 725. Suppose 5*a - 2 - f = u. Is 14 a factor of a?
True
Suppose -19*p + 320982 = -16686. Is p a multiple of 86?
False
Is (6 + (-95608)/(-114))/(1 + 4/(-6)) a multiple of 26?
False
Let v = 5151 + 446. Does 29 divide v?
True
Suppose 5*u = 49 + 16. Suppose u*k + 1020 = 3*k. Let c = k - -127. Does 25 divide c?
True
Is 4 a factor of 9/3 + 801 + -141?
False
Suppose 9*q = 10*q - 5. Let k be (2002/(-55))/((-2)/q). Suppose -5*m - k = -r, 285 = 3*r - 2*m - m. Does 12 divide r?
True
Let n = 40408 + -20976. Is 16 a factor of n?
False
Is 52 a factor of 923/((-644)/(-80) + -8)?
True
Let j(q) = -3*q - 5. Let b be j(-2). Let p be (-14275)/(-30) + b/6. Suppose 0*r - p = -4*r. Is 25 a factor of r?
False
Suppose 147 = 21*y - 0*y. Suppose y*u - 1715 = -0*u. Is u a multiple of 35?
True
Suppose 3393*x - 2654400 = 3297*x. Does 70 divide x?
True
Let d = 113 + -16. Let n be (-4 + (-1 - -2))/((-3)/(-27)). Let h = d + n. Is 14 a factor of h?
True
Let x be -2 + (-2)/(-4)*-26 + 3. Let d(y) = -9*y - 8. Let p be d(x). Let h = p + -4. Does 16 divide h?
True
Let w = 4400 + 962. Is w a multiple of 20?
False
Let x(i) be the third derivative of -i**6/120 + i**5/4 - 17*i**4/24 + 3*i**3/2 - 31*i**2. Is x(13) a multiple of 9?
True
Is 20 a f