i(-1) a multiple of 9?
False
Suppose 2*k - 2 = 0, -67 + 44 = -4*o - 3*k. Suppose 5*m = -2*l + 203, o*m = -5*l + 87 + 413. Is l a multiple of 2?
False
Let s(o) = -100*o**3 - 386114*o + 2*o**2 + 386114*o. Let b be (-2*2/(-4))/(-1). Is s(b) a multiple of 22?
False
Let k(m) = 643*m + 4496. Is k(0) a multiple of 12?
False
Suppose -139 = 4*v - 7. Let o(q) = q**2 + 15*q + 210. Does 67 divide o(v)?
True
Suppose -4*p + 1 = -4*j + 49, 3*j - 30 = p. Let q(f) = 6*f**2 + 26*f - 165. Is 5 a factor of q(j)?
True
Suppose q - 16 = 6. Let l be 10/4*-6*q/(-33). Let b(h) = 13*h - 30. Is b(l) a multiple of 20?
True
Let d(j) = -1342*j + 77. Is 33 a factor of d(-16)?
True
Let f(u) = 2*u**2 + 68*u - 1326. Does 8 divide f(-65)?
True
Suppose 990 = 2*v - q, -5*v + 2*q = 3*q - 2482. Is 33 a factor of (-17 + 22)*v/5?
False
Let g be 0*(-3 + 65/20). Let d be (-58)/(((-25)/(-10))/(-5)). Suppose -5*i + 44 + d = g. Does 4 divide i?
True
Suppose 3*j - 4*p = 48, -j + 72 = 4*j - 4*p. Suppose 5100 = 5*q + j*q. Is q a multiple of 20?
True
Suppose -5*n + 13*n = 120. Suppose 21*c - n*c - 960 = 0. Is c a multiple of 5?
True
Suppose 16*s - 437718 = 555626. Does 374 divide s?
True
Let w be (3355/10)/(-11)*-22. Suppose 0*j = -11*j + w. Let s = j + 101. Does 13 divide s?
False
Suppose 0 = -15*p + 11*p - 552. Let h = p - -234. Does 24 divide h?
True
Suppose -12*r = -65*r. Suppose 6*x - 5193 + 873 = r. Is 10 a factor of x?
True
Suppose -183 = -5*l + 142. Suppose -5*b - 4 = 21, -2*n = 5*b - l. Is n a multiple of 5?
True
Suppose -11721*r + 11706*r = -416655. Is r a multiple of 231?
False
Suppose -4*z - 3*c + 0*c + 5783 = 0, -3*c = -4*z + 5801. Does 8 divide z/6 - (9 + (-104)/12)?
False
Let j be (8 - 6)/((-2)/(-3)) + 18. Let q = 73 - j. Let l = -32 + q. Is l a multiple of 6?
False
Suppose 3*s - 3*o = 7*s - 1036, -5*s = 2*o - 1288. Let d = -156 + s. Is d a multiple of 4?
True
Suppose -28*k - 8 = -30*k. Suppose -3*f = -0*i - i + 436, 1809 = k*i + f. Is 11 a factor of i?
True
Suppose 9*v = 7*v + 8. Let b be v + 18/3 + -4. Is 11 a factor of ((-5)/1 - b)*-3?
True
Let n(x) = -x**3 - x. Let z be n(-2). Let s be -131 - (3 - z/(-5)). Let h = 296 + s. Is 20 a factor of h?
True
Let b be (-2 + (-2)/1)*(-10)/20. Suppose -b*q + 179 + 126 = -5*r, -3*q - 2*r + 505 = 0. Does 15 divide q?
True
Let y(l) = -l**3 - 13*l**2 + 11*l - 3. Suppose -3*q - 7*a + 5*a - 46 = 0, q - 5*a + 4 = 0. Does 19 divide y(q)?
False
Is 198/(-72) + (-28251)/(-36) a multiple of 46?
True
Is 6/(-9)*9 + (13144 - (-4 - -10)) a multiple of 196?
True
Let w(q) = -q**3 - 11*q**2 - q - 1. Let c be w(-11). Suppose -13*z = -c*z + 135. Does 11 divide 1*5*(-198)/z?
True
Suppose 345 = -2*f + 5*v, 0 = -3*f + v - 6*v - 505. Is (21/(-3))/(10/f) a multiple of 17?
True
Let b = 44090 - 38190. Is 20 a factor of b?
True
Is 1*8 + 832573/49 + 6/(-21) a multiple of 36?
False
Suppose -121*f - 79932 = -1174847 - 52165. Is f a multiple of 79?
True
Let x(i) = 2*i**2 - 8*i. Suppose -11*u - 11 = -0. Let y be u/((6/(-15))/(-2)). Is 30 a factor of x(y)?
True
Suppose 3*x - 9906 = 2*i + 301, 5*i = -5*x + 16970. Is x a multiple of 3?
True
Suppose 0 = n - 39 + 135. Let d be (n/20)/(-1 + (-686)/(-690)). Suppose t - d = -8*t. Is t a multiple of 12?
False
Let z(y) = -y + 736. Does 3 divide z(-5)?
True
Let r(z) = 481*z**2 - 89*z + 348. Does 46 divide r(4)?
False
Suppose -18236 = -4*l - 3*n, -26*l - 18228 = -30*l - n. Does 124 divide l?
False
Let n = -1181 - -2093. Let w = n + -727. Is w a multiple of 43?
False
Let v(r) = 31*r**2 + 7*r - 192. Is 6 a factor of v(-12)?
True
Let i(g) = g**2 + 5. Let h be i(-4). Let n(w) = 5*w + 56. Is n(h) a multiple of 5?
False
Suppose 60*k - 55*k = 805. Let i = k - -221. Is i a multiple of 47?
False
Suppose 0 = -7*p + 4*p - 60. Let d be -2 - -1 - p/(-10). Does 11 divide 72 + d + (5 - 1)?
False
Let x(b) = -2*b**3 + 2*b**2 - 317*b + 637. Let w be x(2). Let f(q) be the second derivative of q**3/6 + 25*q**2/2 - q. Does 6 divide f(w)?
False
Suppose 2*q = -46 + 180. Suppose z - q = -5*g - 9, -3*z = -2*g - 191. Is 21 a factor of z?
True
Let o = -30157 + 37567. Is o a multiple of 10?
True
Suppose -11 + 2 = -4*s - 3*d, 0 = 3*s + d - 13. Suppose i + 2*o = -o + 354, 3*o = -s. Does 20 divide i?
True
Let w = 7 - -17. Let p be 35*((-54)/w)/((-42)/16). Suppose -2*o + 2 + 18 = 4*m, 0 = -4*o - 3*m + p. Is o even?
True
Suppose 22 = 3*i - 5*d - 9, 5*i - 33 = -d. Suppose 0 = -6*j - i + 31. Does 15 divide (8 - j) + 146/1?
True
Suppose 4*j + 5*u - 3519 - 3359 = 0, 9*u = -3*j + 5127. Is j a multiple of 11?
True
Let m be (-4)/(-10) - (-13356)/(-15). Let y be (-24)/(-36) - m/6. Suppose -348 = -7*o + y. Is 24 a factor of o?
False
Suppose 8*m + 31800 = 38*m. Does 20 divide m?
True
Let w(l) = 266*l + 4. Let g be w(1). Suppose -f = 4*f - g. Is f a multiple of 18?
True
Let w = 95 - 80. Suppose -3*c - 2*c = -w. Suppose -2*g + 296 = 2*p, 5*g - 436 = -c*p + 4*g. Is 16 a factor of p?
True
Let m(y) = -y - 22. Let a be m(-9). Suppose 0 = 2*n - 5*f - 65, -f + 4*f = 2*n - 71. Let s = n - a. Is 9 a factor of s?
False
Let f = 13967 - 8027. Is 110 a factor of f?
True
Let u = -75419 + 120291. Does 61 divide u?
False
Suppose -3*m - f = -264, 0*f - 96 = -m - 3*f. Let h = 50 - m. Let o = -26 - h. Does 8 divide o?
False
Let t = 154 - 148. Is (-85)/(-5)*(t/(-3) + 25) a multiple of 17?
True
Suppose -102*o + 16*o + 619286 = 0. Does 35 divide o?
False
Let l be (6/18)/((-6)/(-14472)). Let g = 1590 - l. Does 13 divide g?
False
Suppose -3*s = 15, -3*r - 4*s - 446 = -0*r. Let z = -34 - r. Suppose 2*n + c - 4*c - z = 0, 4 = 2*c. Does 9 divide n?
False
Let s be (999/6)/(20/(-200)). Is 31 a factor of s/(-10) + (60/8)/(-5)?
False
Let y = 675 - 673. Let r(z) = 194*z**3 - 5*z**2 + z + 2. Is r(y) a multiple of 96?
True
Let t(m) = m + 6. Let a be t(-10). Does 20 divide (556 - -1) + (-6)/(8/a)?
True
Suppose 325*m = 322*m + 2322. Let q = 1138 - m. Is 17 a factor of q?
False
Suppose -w = 9*w + 18694 - 81134. Is 133 a factor of w?
False
Let u = 52771 + -11573. Is u a multiple of 40?
False
Let v = 3273 - 580. Is 38 a factor of v?
False
Let s = -5255 - -12744. Does 7 divide s?
False
Let q(u) = 1424*u - 1867. Is 31 a factor of q(6)?
False
Let n(d) = 17*d**2 - 4*d + 3. Let i be n(1). Suppose -736 = -16*t - i. Is t a multiple of 6?
False
Suppose 3*b = -4*b + 14. Suppose 12 - b = -5*k. Is 2*(k/(-3))/(36/1269) a multiple of 14?
False
Let f be ((-28)/49)/((-4)/14). Suppose 1391 = a + 5*k, 44*k + 2830 = f*a + 42*k. Does 18 divide a?
False
Let f = -75 - -160. Let n(g) = -g**3 - 45*g**2 + 144*g + 33. Let y be n(-48). Let d = f - y. Does 12 divide d?
False
Let x(p) = -65*p**3 - 5*p**2 + 130*p + 599. Is x(-5) a multiple of 15?
False
Let u = 411 + -395. Suppose 9*i = u*i - 175. Does 5 divide i?
True
Let f(l) = 12*l + 987. Does 10 divide f(-51)?
False
Let l(x) = 22*x**2 + 23*x + 21. Does 36 divide l(-17)?
False
Suppose 24*g = 26*g - 40. Let a = g + -16. Suppose -a*p + 990 = 7*p. Is 40 a factor of p?
False
Let f be (-78)/(2*(-3)/52). Suppose -151 = 5*s - f. Does 21 divide s?
True
Suppose 2*v - 80 - 40 = -5*k, k - 5*v - 24 = 0. Let l(t) = -5 + 2*t - 8*t + t**2 - k. Is l(12) a multiple of 22?
False
Suppose 0 = 6*b - 5*b - 3. Suppose 2*v - 5*a - 181 = 0, -b*a - 67 - 26 = -v. Does 3 divide v?
True
Suppose -16*p = -21*p + 20. Suppose p*k - 8 = 3*k + 5*u, -k = -u - 4. Suppose -323 = -k*x - 53. Is x a multiple of 14?
False
Let s(p) = 35*p + 7. Let c be s(-1). Is 21*4*(-78)/c + -2 a multiple of 14?
False
Let n(y) be the second derivative of y**3/6 + 45*y**2/2 + 51*y. Is 14 a factor of n(25)?
True
Let d be (-2)/(-6 + (-788)/(-131)). Let s = d - -234. Is s a multiple of 8?
False
Suppose 7 = -n + u - 2, 4*u - 9 = n. Let z(x) = -x**3 - 9*x**2 - 6*x - 30. Is 8 a factor of z(n)?
True
Suppose 205*x = 234*x - 136851. Is x a multiple of 19?
False
Suppose 2379*i = 2354*i + 27225. Is i a multiple of 9?
True
Suppose 6*w + 52*w - 110432 = 0. Is w a multiple of 8?
True
Let m = 118 + -451. Let z = m + 377. Does 11 divide z?
True
Let w(f) = 7*f**2 - 31*f + 12. Suppose -2*x + 2*q = -24, -3*q = -4*x + 5 + 40. Let v be w(x). Suppose 5*m + 0*m - v = 0. Is 15 a factor of m?
True
Suppose 0 = 5*r - a - 33, -4*a + 7 = 19. Does 5 divide (r + (-1 - 1))*(-196)/(-16)?
False
Suppose 2*n - 6*n - 5*v = 25950, -5*n + 5*v - 32460 = 0. Let x be (6/(-5))/(44/n). 