se -1320 = -120*g + 112*g. Is 28 a factor of g?
False
Suppose 2*d - 1194 + 222 = 0. Is 18 a factor of d?
True
Suppose 0 = -4*v - 4*k - 4, -k - 11 = v + 2*k. Suppose 96*f + 4*t = 93*f + 117, t = 3. Does 11 divide v/(2 + f/(-20))?
False
Let t(f) = -f**3 - 16*f**2 - 7. Let p be t(-16). Let w be (-86)/p + (-2)/7. Is 24 a factor of (-574)/(-12) + 2/w?
True
Suppose -10 = 5*p, -4*d = 10*p - 7*p - 6574. Does 85 divide d?
False
Let m(b) = -2*b**3 + 59*b**2 - 60*b + 139. Is 35 a factor of m(28)?
False
Let l(r) = r**3 - 5*r + 2. Let v = -22 + 25. Does 9 divide l(v)?
False
Suppose -4*z = 5*b + 2, -2 = -2*z - 2*z - 3*b. Suppose -z*m + 9 + 60 = 5*t, -109 = -2*m + 3*t. Suppose -43 - m = -2*x. Is 14 a factor of x?
False
Suppose 16*d - 4*d = 8*d. Suppose 8*z - 808 = -d*z. Is 15 a factor of z?
False
Suppose b - 15 = 2*v + 3, -4*v = 20. Let h = 8 - b. Suppose -5*q + 7*q - 52 = h. Is 13 a factor of q?
True
Is -80*(-1)/(-1 + 3) a multiple of 10?
True
Let c = 107 - -119. Does 8 divide c?
False
Let w(y) be the third derivative of 5*y**4/24 + y**3 - 21*y**2. Let g = -12 - -18. Is w(g) a multiple of 12?
True
Let s = -45 + 24. Let u = s - -52. Is u a multiple of 15?
False
Does 17 divide ((-54)/81)/((-1)/255*2)?
True
Let w = -10 + 9. Let l be -13 - w*(-2 - 0). Does 8 divide 20*1*(-6)/l?
True
Let p(s) = -s**3 - 11*s**2 + 15*s + 18. Let m be p(-12). Does 24 divide 105/2 + 27/m?
False
Let i(c) = 6*c + 210. Is i(40) a multiple of 15?
True
Suppose 0 = 5*q - 2*p - 618, 5*q - 2*p - 617 = p. Let b = q + -58. Is b a multiple of 20?
False
Let o = 784 + -544. Suppose 3*r - o = 2*a, 5*r + 3*a = 6*a + 400. Is r a multiple of 10?
True
Suppose 2*a - 2*z - 183 = 3*z, -4*z + 72 = a. Is a a multiple of 2?
True
Let d(r) = 20*r**3 - r**2 + r + 1. Let k be d(1). Suppose 4*j - 24 = 116. Let w = j - k. Is 14 a factor of w?
True
Is (5 + (-228)/15)*(-197 + 12) a multiple of 111?
True
Suppose -5*l = -b - 20, 4*b + 44 = -l + 3*l. Let v be (-4)/b + (-2156)/(-10). Suppose 0 = -8*d + 4*d + v. Is d a multiple of 14?
False
Let q(s) = 127*s**2 + 3*s - 2. Let b be q(1). Suppose 21*j - 25*j = -b. Is j a multiple of 4?
True
Let d(x) = -x**3 - 2*x**2 + x + 3. Let v be d(2). Let h be (21/6 + -2)*16. Let j = v + h. Is 13 a factor of j?
True
Let h = 233 + -185. Is 2 a factor of h?
True
Let s = 322 - 200. Let r = s + -74. Does 24 divide r?
True
Suppose 17*p - 989 = 1153. Does 18 divide p?
True
Let v(j) = 13*j - 4*j + 0*j. Let p(y) = y + 6. Let i be p(-3). Does 7 divide v(i)?
False
Let c(i) = -11*i**2 - 3*i + 4. Let s be c(4). Let o be s/(-32) - (-3)/(-4). Suppose v = 3*b + 65, o*v - 3*v + 3*b - 112 = 0. Does 11 divide v?
False
Suppose -2*r = 5*w - 42 - 49, 0 = -4*w + 4*r + 56. Suppose 19*f = w*f + 8. Suppose -5*y + f*p = -0*y - 70, 5*p - 25 = -5*y. Is y a multiple of 7?
False
Suppose -4*b + 8 = -352. Suppose 5*v = -4*f - 88 + 245, 3*v = -f + b. Is 29 a factor of v?
True
Let d be 4 - 9/((-27)/588). Suppose -5*c + 2*n = 228, 3*c + n - 61 = -d. Let q = -19 - c. Is q a multiple of 7?
False
Let c(w) = 2*w**2 - 27*w + 144. Does 14 divide c(16)?
True
Let u(r) be the third derivative of r**6/120 - r**5/20 - 3*r**4/8 + r**3/6 - 9*r**2. Let s be 2 + -1 + (0 - -5). Does 18 divide u(s)?
False
Suppose 2*d + 620 = 2*x + 6*d, -x + d + 304 = 0. Is 17 a factor of x?
True
Let g(s) = -3*s**2 + 9*s - 1. Let m be g(5). Suppose -3*v - i - 94 = 91, -3*v - 187 = -i. Let x = m - v. Does 28 divide x?
False
Is 15 a factor of (-4)/((-1)/(-26)*7/(-21))?
False
Let a(c) = -2*c**2 + 9*c - 5. Let t be a(4). Is (t/2)/(-3*(-10)/(-3960)) a multiple of 33?
True
Suppose 4*l = 4*z - 16, -4*l = -2*l + 5*z - 20. Suppose l = -2*i + i - 15. Let w = -3 - i. Is w a multiple of 8?
False
Is 15 a factor of (145160/(-456))/(0 - (-2)/(-12))?
False
Suppose 2*u + 3 = 5, 2*d = 5*u - 5. Let a = 2 + d. Suppose -3*i + 17 = 3*f - 49, 0 = -4*i - a*f + 90. Is 4 a factor of i?
False
Suppose -3*q + 0*q - 10 = -s, 2*q = 5*s - 37. Suppose s*x - 5 = 6*x, -5*c = 4*x - 595. Is c a multiple of 20?
False
Is (321 - 2/2)*(19 + -17) a multiple of 8?
True
Let s(o) = o**2 + 2*o - 76. Is s(-17) a multiple of 5?
False
Let a be (-85)/(-15) + (-2)/(-6). Suppose -8 = -2*k + a. Let l = 10 + k. Is 13 a factor of l?
False
Let c be (-2)/(32/652) + (-2)/8. Let m = c - -56. Is m a multiple of 12?
False
Suppose -8*n - 4*l = -4*n - 164, 5*n + 3*l = 195. Is n*8/12*4 a multiple of 24?
True
Let f(y) = -3 + y**2 - y**2 + 2*y**2 - 8*y. Suppose 2*j = 7 + 5. Is 18 a factor of f(j)?
False
Let s(p) = 9*p - 28. Let r be 168/15 + (-4)/(-5). Is 14 a factor of s(r)?
False
Suppose 0 = 2*o + 7 + 13. Is 4 a factor of ((-10)/(-10))/((-2)/o)?
False
Suppose -2*p + 4*o = -3*p - 35, -4 = o. Let d(b) = b**3 + 19*b**2 - 3*b + 12. Is d(p) a multiple of 4?
False
Let z = 3454 + -1717. Is z a multiple of 12?
False
Let n = 2 + 0. Suppose n*m = -1 + 9. Let s = 2 + m. Does 6 divide s?
True
Suppose -3*n + 39 + 960 = 3*y, 4*n = -2*y + 664. Suppose 0 = 4*a + 62 - y. Does 14 divide a?
False
Let h = -8 + 10. Let p = 16 + h. Suppose 4*u = -5*z + 5*u + 54, -p = -z + 2*u. Is 2 a factor of z?
True
Let d be (-2)/(-5) + 64/40. Let y(v) = v**3 - 5*v + 2. Let a be y(d). Suppose 27*i - 32*i + 750 = a. Is i a multiple of 31?
False
Suppose 13*b + 20 = 23*b. Suppose b*l + 163 = 2*i - l, -331 = -4*i + l. Does 13 divide i?
False
Let f(n) be the first derivative of -n**2 - 15*n + 2. Let k be f(-9). Suppose -w + 140 = k*w. Is w a multiple of 7?
True
Let k = 16 - -976. Is k a multiple of 16?
True
Let l(r) = -2*r + 6*r + 11 - 10 - 2*r. Let j be l(2). Suppose -4*m - 5*t = -17, -2*m + 31 = -0*m - j*t. Is 2 a factor of m?
True
Let b(a) = -8*a**3 + a**2 - 1. Let r be b(-1). Suppose -k = r*k - 243. Does 9 divide k?
True
Let s(t) = t**3 + 21*t**2 + 19*t + 22. Let g(n) = -n**2 + 5*n - 6. Let f be g(7). Is 14 a factor of s(f)?
True
Let m(n) = n**3 + 8*n**2 + 9*n - 2. Let l be m(-11). Let p = 795 + l. Is 49 a factor of p?
False
Let z(u) = u**2 + u - 1. Let g(o) = -o**3 - 9*o**2 + 16*o - 8. Let i(q) = -g(q) + 2*z(q). Is i(-12) a multiple of 6?
True
Is 22 a factor of ((-8184)/465)/((-4)/330)?
True
Let g = 1060 - -1567. Does 16 divide g?
False
Let f(k) = -5*k**2 + 17*k + 11. Let s(g) = -4*g**2 + 17*g + 11. Let a(p) = 5*f(p) - 6*s(p). Is a(-9) a multiple of 9?
False
Suppose 0 = f + 3*y + 34, 5*f + 4*y + 170 = -y. Does 29 divide (-1 + -11)*(f/8 - 0)?
False
Let r be (-1)/(2*(-3)/216). Let a = r - 94. Let i = 84 + a. Is 13 a factor of i?
True
Suppose 70*x - 68*x = 834. Is x a multiple of 22?
False
Let g(v) = -v**3 + 14*v**2 - 11*v - 8. Let h be g(13). Let u be h/(-81) + 58/18. Suppose -2 = -u*d + 19. Is d a multiple of 2?
False
Let l(b) = -b + 9. Let z be l(6). Suppose -4*n = z*i - i + 28, -4*i + n = 101. Does 4 divide i*((-20)/12 + 1)?
True
Let v(d) = -13*d + 509. Is v(-23) a multiple of 8?
True
Suppose 2*t - 12 - 2 = 0. Let h be 3/1*-1 + t. Does 13 divide h/(-6)*(-234)/6?
True
Let q(f) = -f**2 - 4*f + 5. Let c be q(-4). Suppose -5 = -o - 1, c = -5*b + 5*o. Let h(m) = 21*m - 2. Is 19 a factor of h(b)?
False
Suppose -19*n - 234 = -21*n. Suppose -s = r - n, -s + 30 + 62 = -4*r. Is s a multiple of 16?
True
Is (493 - 1 - -1) + (9 - 4) a multiple of 6?
True
Suppose 5*p - 23 = 3*b, -4*b - b + 3 = 2*p. Suppose -348 = p*v - 8*v. Let h = -60 + v. Is h a multiple of 9?
True
Suppose -5*f + 2*f = 0. Suppose f = -29*p + 32*p - 132. Is 4 a factor of p?
True
Let m be (-13 - -12)*(0 + -5). Suppose m*y - 129 = 2*i, -4*i + 1 = -3*y + 70. Is y a multiple of 9?
True
Suppose -824 = -19*t + 2045. Is 10 a factor of t?
False
Let p(k) = -104*k + k**2 + 99*k + 16 - 5. Is p(6) a multiple of 15?
False
Suppose 4*m + w + 252 = -w, m = -2*w - 66. Let d(j) = 2*j**3 + j**2 - 11*j + 1. Let c be d(4). Let v = c + m. Is v a multiple of 13?
True
Let b(p) = -34*p + 14. Is b(-2) a multiple of 21?
False
Let m(a) = 2*a + 8. Suppose t = -2*t. Is m(t) a multiple of 2?
True
Let o = -7 - -21. Let j = o - 10. Suppose -3*x - 2*a + 186 - 12 = 0, -5*x + 290 = -j*a. Is x a multiple of 29?
True
Suppose -5*w + 3 = -2. Let x(y) = -y - 1. Let j(v) = -52*v. Let k(n) = -j(n) + 2*x(n). Does 16 divide k(w)?
True
Let d = 380 + -240. Suppose 0 = -f - 3*i + d, 0*f - f + 132 = i. Is 22 a factor of f?
False
Let f(t) = 18*t**2 + 2 - 37*t - t**3 + 37*t. Let u be f(18). Does 23 divide -1 - (1 - u)*93?
True
Suppose -k = -