233 - 57423 = 6*i. Is 9 a factor of i?
True
Let v(l) = l**3 - 3*l**2 + 3*l. Let d be v(4). Suppose 511 = -p - d. Is 27 a factor of 4/20 + p/(-5)?
True
Suppose -15*s + 38480 - 38450 = 0. Let p(o) = 17*o**3 - 4*o**2 + 3 + 4*o**2. Does 35 divide p(s)?
False
Suppose -5*d - 147 = 3*k + 96, d = 0. Let f be -4*(-4)/3*-6. Let b = f - k. Is b a multiple of 11?
False
Suppose -23582 = 180*d - 182*d + 3538. Is 226 a factor of d?
True
Let p(w) = 5*w + 44. Let s be p(-8). Suppose s*d = 12, 2*r - 3*r = 3*d - 10. Suppose -n - r = 0, n - 280 = -3*y + 148. Is y a multiple of 11?
True
Does 120 divide (-6)/(-11) + (-1594585)/(-55) + -30?
False
Let q = 7525 - 5081. Is 41 a factor of q?
False
Suppose -n - n = -6, -2*n = 3*u + 60. Let l = u - -638. Is l a multiple of 10?
False
Let n(z) be the first derivative of z**4/8 + 16*z**3 + 5*z**2/2 - 14. Let c(m) be the second derivative of n(m). Is c(0) a multiple of 7?
False
Let h be (-28 + 30)*(-137)/2. Let n = 58 - h. Does 7 divide n?
False
Suppose 5*p - 73961 = 39294. Suppose 61897 = 31*m + p. Does 21 divide m?
False
Let j(v) = 3*v**2 - 95*v + 42. Let z be j(27). Let p = z - -631. Is p a multiple of 5?
True
Suppose -13100 = -1347*x + 1345*x. Is x a multiple of 25?
True
Suppose -70*j + 6 = -68*j. Let u(m) = 35*m**2 - 4*m + 8. Does 37 divide u(j)?
False
Let i(w) = w**3 - 3*w**2 - 7*w - 9. Let c be i(-4). Let n = 317 + c. Suppose 0 = 15*x - n - 76. Is 7 a factor of x?
False
Let s(o) = -o**3 - 4*o**2 - 7*o - 4. Suppose -9*f = -4*f + 210. Let u = 38 + f. Does 5 divide s(u)?
False
Does 62 divide (-34)/833*-14*434/4?
True
Let c(y) = 4*y**2 + 2*y + 9. Let g be c(-2). Is 3576/g - 6/21 a multiple of 34?
True
Suppose -3*p = 3*j - 6, 1 = -p - 6*j - 2. Let g(d) = 11*d**3 + 2*d**2 + 13*d - 9. Is 7 a factor of g(p)?
False
Let j be (72/(-60))/((-2)/70). Let q = 15 - 3. Let o = j - q. Is 5 a factor of o?
True
Let k = -1311 + 779. Is 12 a factor of (-18 - -16)/(2 - k/(-264))?
True
Let r(o) = 2076*o - 707. Is 36 a factor of r(3)?
False
Suppose 49*v - 50*v = -5. Suppose 3*i - 1912 = 2*g, -4*g + g + 3212 = v*i. Suppose -5*c - i = -5*x, x + 2*c = 4*c + 131. Does 12 divide x?
False
Let d be (-4 + 2)/(-2) + (69 - -18). Suppose d*f + 54 = 91*f. Suppose 2*n - 198 = -f. Is 13 a factor of n?
False
Suppose -4*m + 21888 = -2*t, 43*m = 41*m + 4*t + 10968. Is 60 a factor of m?
False
Suppose -1795 = -5*h - u, 522 = 2*h + 2*u - 188. Is 6 a factor of h?
True
Let t = 9 + 7. Let f be ((-500)/350)/((-2)/(-14)). Does 4 divide (10/4 + -5)*t/f?
True
Suppose -2*o + 11847 = c, 5*o - 118*c - 29598 = -114*c. Does 19 divide o?
False
Let m = -9 + 14. Let h(d) be the third derivative of d**5/15 + d**4/24 - d**3/6 - 251*d**2. Is h(m) a multiple of 18?
False
Suppose o - 2219 = 2*d + 2656, -4*o + 19500 = 3*d. Is o a multiple of 2?
False
Is 69 a factor of 4143 - (296/32 - 8 - (-21)/12)?
True
Let s(w) = 40*w**2 + 39*w + 11. Let u be s(13). Is u/14 - 18/(-126) a multiple of 26?
True
Let f = 235 - 109. Suppose -2*b - f = b. Let i = 30 - b. Is i a multiple of 6?
True
Let a = -4413 - -4416. Let v(m) = -m + 89. Let o be v(0). Suppose -3*n + a*z + 282 = 0, n - 3*z + 7*z = o. Is 34 a factor of n?
False
Let d be 5 + -12150*7/(-2). Suppose 1346 = -33*l + d. Is 78 a factor of l?
True
Let d(z) = -46*z - 5. Let m be d(-5). Let v = m - 133. Is v a multiple of 2?
True
Does 24 divide (-3634)/(-3)*(-77)/(-6) - (-120)/(-270)?
False
Let h(f) = -f + 23. Let u be h(21). Is (-6 - u)/((-1)/2) even?
True
Is -8*(-90 + -5 + 7) a multiple of 44?
True
Let d(r) = -1084*r + 2452. Does 100 divide d(-22)?
True
Is 68 a factor of -3 - (-3 + -4859 + (-1 - (1 - 0)))?
False
Let b(p) be the third derivative of p**4/8 + 59*p**3/6 - 11*p**2. Let m be b(-19). Does 25 divide 2 - ((m - (-312)/(-4)) + 3)?
True
Let a(l) = l**3 - l**2 + 3*l - 2. Let y be ((-16)/4 - -6) + -1. Let u be a(y). Does 15 divide -5*(-3 + u - 1)?
True
Let f(j) = -2*j**3 + 7*j**2 + 2*j - 4. Let b be f(5). Suppose -3*c = -4*l - 223, -3*l + 333 = -104*c + 109*c. Let d = c - b. Is d a multiple of 27?
False
Is (-16)/(320/(-70))*11516/14 a multiple of 46?
False
Suppose -3*d = 5*l - 63, -5*d - l + 0*l + 83 = 0. Let o = d - 12. Suppose -4*k - k = -2*u + 90, u = -o*k + 45. Is u a multiple of 10?
False
Let i(g) = g**3 + 14*g**2 + 13*g - 3. Let y be i(-13). Is 34 a factor of (-12)/(-84) + ((-10644)/(-21) - y)?
True
Let u be (1 - -3) + (2 - 4). Let t(h) = 98 - 3*h + u*h - 7*h - 93. Is 15 a factor of t(-5)?
True
Let l(c) = 8*c**2. Let s(p) = 39*p**2 - 1. Let y(h) = -4*l(h) + s(h). Let u(q) = -2*q + 1. Let m be u(-1). Is 24 a factor of y(m)?
False
Let o(j) = -9*j + 84. Let a be o(9). Suppose -5*i - 5*t + 1065 = -0*i, -3*t - a = 0. Does 55 divide i?
False
Let r(z) = z**3 + z**2 - z - 9. Suppose 3*x - 3 = 3*i, 0*x + 1 = x. Let t be r(i). Let y = t + 59. Is y a multiple of 8?
False
Suppose -13*t + 10*t + 19 = 4*w, w - 2*t = -9. Let f(g) = -g**2 + 5. Let o be f(-5). Does 15 divide (-2 + w)/(1/o)?
False
Let r = -56 - -59. Suppose 0 = r*a + 1 + 17. Is 1566/15 - (1 - a/(-10)) a multiple of 34?
False
Let i(b) = b**3 - b**2 - 4*b - 2. Let f be i(-1). Let n = 5 + f. Suppose 3*m - 3 = 0, y - n*m = 3 + 4. Is y a multiple of 8?
False
Let s = -54 - -59. Suppose -a + 2 = -s*q, 12 = 3*q - 5*a - 0*a. Is 2 a factor of ((-10)/30)/(q/21)?
False
Let k(r) = 388*r**3 - r**2 + r + 2. Let h be k(-1). Let j = h - -960. Does 11 divide j?
True
Suppose -4*l + 12 = 2*d, 2*l + 2*d = -0*l + 2. Suppose l*j - 4620 = -5*o, 2*j = -5*o - j + 4610. Does 11 divide o?
False
Suppose -f - 14 = -8*f. Does 10 divide -1 + (6/f - -171)?
False
Suppose -23311 - 6946 = -79*f. Is 2 a factor of f?
False
Let i = 626 + -608. Is 32 + (40/(-180))/((-2)/i) a multiple of 22?
False
Let i(h) = h**3 + 10*h**2 - 11*h - 1. Let y be i(-11). Let q be ((-300)/16)/(y/(-4)). Let m = 129 + q. Does 9 divide m?
True
Does 23 divide -6*(53858/70)/(0 - (-5)/(-25))?
False
Suppose 67953 = 12*g + 30*g - 25539. Does 7 divide g?
True
Suppose 195*v + 101*v - 5968248 = 0. Is 66 a factor of v?
False
Let x(t) = 7*t**2 + 6*t - 40. Suppose 2*d - 4*n + 2 = -2, -4*d + 4*n - 20 = 0. Let o be x(d). Does 30 divide o/105*(-105)/(-12)*2?
True
Let s = 896 + 3613. Does 167 divide s?
True
Let t(o) = 49*o + 7774. Is 11 a factor of t(-61)?
True
Let q = 1186 + -826. Let s = 471 - q. Is s a multiple of 2?
False
Let i(u) = -u**3 - 3*u**2 + 2*u - 8. Let l be i(-7). Suppose 430 = -169*y + l*y. Is 31 a factor of y?
False
Let n(p) = 2*p**3 - 8*p**2 + p + 1. Let j be n(4). Let f be 0 - 114*(-9)/((-27)/(-2)). Suppose -139 - f = -j*x. Is 3 a factor of x?
False
Suppose 8 = 5*i + 4*a - 7*a, a = -3*i + 16. Is 1886/92 + (-2)/i a multiple of 15?
False
Let j be ((-6)/(-4))/(530/100 - 5). Suppose -138 = -3*w + 8*q - 3*q, j*q = w - 36. Does 13 divide w?
False
Suppose 13091 = 41*k + 12*k. Does 40 divide k?
False
Let l be 208/6 + (-2)/3. Let t = -34 + l. Let r = 26 - t. Is r a multiple of 10?
False
Let o(u) = 2*u**2 + 115*u + 12. Is o(28) a multiple of 8?
True
Suppose 0 = -s + 5*y + 46638, 3*s + 25*y - 24*y - 139786 = 0. Does 11 divide s?
False
Let m(k) = k**2 - 14*k + 112. Let l be (5 - (-66)/(-12))/(1/(-14)). Is m(l) a multiple of 19?
False
Let s(k) = k**3 - 26*k**2 + 25*k. Let d be s(25). Suppose -p - 47 = u, d*p - 4*u = 2*p + 86. Let a = p + 119. Is 8 a factor of a?
False
Suppose -52*n + 81013 = 16213 - 44712. Is 33 a factor of n?
False
Suppose -512*c + 481*c = -390755. Is 17 a factor of c?
False
Let u be 336/4 + (-48)/6. Suppose -64*w - 5220 = -u*w. Does 36 divide w?
False
Let m(p) = -p**3 + 14*p**2 - 12*p + 6. Let q be m(6). Suppose q = 6*n + 42. Is (1 + 29)*(-6 - n/(-4)) a multiple of 15?
True
Let f(n) = 278*n**2 + 5*n + 9. Does 26 divide f(-3)?
True
Let q(c) = -8*c**2 + 49*c**3 + 10*c**2 + 0*c - c. Let u be q(1). Suppose 3*l = 76 + u. Does 7 divide l?
True
Let c(u) = 22*u**2 + 60*u - 1404. Does 206 divide c(17)?
True
Suppose k = 74 - 69. Let o(z) = 4*z**2 - 20*z + 5. Let n be o(k). Suppose -5*h + 4*s = -46, 2*s = -3 - n. Is h a multiple of 3?
True
Let k(o) = o - 8. Let v be (-3)/2*(-26)/3. Let s be k(v). Suppose s*g - 14 = 1. Does 2 divide g?
False
Suppose 217*t - 2638287 = -499969. Is t a multiple of 52?
False
Let a = 5628 - 3481. Is a a multiple of 19?
True
Suppose 39*p + 537 + 282 = 0. Is ((-24)/(-28))/(p/(-3528)) a multiple of 24?
True
Let m(c) = -76*c