*i + v, -5*i + 2*v + 48 = 0. Suppose o + i = 3*m, 0 = -4*m + 2*m - 3*o + 9. Suppose -100 = -r - m*r. Is 9 a factor of r?
False
Let m be (-1217)/9 - (-8)/36. Let r = m + 207. Is r a multiple of 18?
True
Suppose -t = -5*r + 282, 0*r - 2*r - 5*t + 129 = 0. Suppose -181 - 197 = 7*z. Does 18 divide (-3)/(1 + r/z)?
True
Let j(n) = -2*n**3 - 5*n**2 + 3*n - 1. Let m be -1 - 3/(-1) - 7. Let y be j(m). Suppose y = 4*b - a, a - 2*a + 125 = 5*b. Is 13 a factor of b?
True
Let v(o) = -o**2 - o + 3. Let s be v(-3). Let k(q) = -26*q - 2. Is k(s) a multiple of 13?
False
Let l = 923 + -541. Suppose 0*t = 5*k - 4*t - l, -4*t + 358 = 5*k. Does 4 divide k?
False
Suppose 0 = -73*d + 75*d - 2100. Does 31 divide d?
False
Suppose 5*j + j = 204. Suppose 0 = -3*x + h - 0*h + 65, j = 2*x - 3*h. Is 8 a factor of x?
False
Let b(d) = d**2 - 7*d + 9. Let h = -47 + 34. Is 15 a factor of b(h)?
False
Suppose -2*i - 2*t = t - 3, 3*i - 9 = -3*t. Does 36 divide (6/(-8))/(i/(-576))?
True
Suppose 0 = 3*a - x + 5, a = -3*a - 2*x - 20. Let g be 3 - (-2 + (a - -6)). Is 10 a factor of (-2 - -2) + 60/g?
True
Let g = -113 - -167. Is 14 a factor of g?
False
Let y = -15 - -19. Suppose 0 = y*f - 41 - 19. Is 5 a factor of f?
True
Let d = -197 - -221. Is d a multiple of 10?
False
Let d = 577 + -137. Suppose -2*o + 5*b = -255, 0*b - d = -4*o - 4*b. Is o a multiple of 23?
True
Let d = -140 + 248. Suppose 3*j - d = j. Is j a multiple of 43?
False
Let g(o) be the second derivative of 0 + 2*o + 1/12*o**4 - 17/2*o**2 - 11/6*o**3. Does 21 divide g(15)?
False
Suppose -4*l = 3*w - 7136, 5*w = 9*l - 6*l + 11903. Does 34 divide w?
True
Suppose l + 40 = 6*l. Is 156/10 + l/20 a multiple of 16?
True
Let k(y) = 52*y - 29. Let d be k(5). Does 24 divide (7 - 5)*d/6?
False
Let d(g) = -g**3 + 18*g**2 + 18*g + 22. Let i be d(19). Is (2*i)/(18/180) a multiple of 12?
True
Let g = 281 + -166. Let n = -80 + g. Is 10 a factor of n?
False
Let t(d) be the first derivative of 2*d**5/15 + d**4/12 - d**3/6 + 3*d**2/2 + 7. Let b(i) be the second derivative of t(i). Does 9 divide b(1)?
True
Suppose 0 = u + 4*u + 30. Let n(h) = -5*h**3 + 9*h**2 - 21*h - 13. Let p(b) = -b**3 - b. Let i(m) = u*p(m) + n(m). Is 17 a factor of i(-10)?
False
Let v(y) = 2*y - 6 - y + 4*y - 1. Let b be v(7). Does 6 divide 651/b + 1/(-4)?
False
Suppose -34509 + 95465 = 28*y. Is y a multiple of 7?
True
Let i = -21 + 23. Suppose t + i*h = 66, -5*h = -3*t - 0*h + 187. Is t a multiple of 16?
True
Suppose 0 = 6*h - 4*h - 4. Suppose 0 = 4*g - h*c - 306, -28 + 3 = -5*c. Does 26 divide g?
False
Suppose -2*a + w + 121 = 9, -2*a - 3*w = -112. Is 6 a factor of (a/(-77))/(-4) + (-1712)/(-22)?
True
Is 7 a factor of 86 - 91 - ((-450)/2 - 2)?
False
Let n = -143 + 159. Is n a multiple of 2?
True
Let m(a) = a**3 + 10*a**2 + 3. Let v be m(-8). Let p = -56 + v. Is 15 a factor of p?
True
Let q(m) = -177*m - 4. Is q(-3) a multiple of 25?
False
Let m(h) = 54*h + 18. Let n be m(6). Let i = -198 + n. Is i a multiple of 18?
True
Suppose 0 = -3*a + 3*u + 83 + 16, 4*a - 135 = 5*u. Does 15 divide a?
True
Let i(t) = -16*t**3 - 2*t**2 + 47 - 46 + 41*t**3. Does 8 divide i(1)?
True
Suppose -3*w = -54*w + 57171. Does 19 divide w?
True
Does 5 divide (4 - -3)/(1/2)?
False
Let x(l) be the third derivative of l**7/5040 - l**6/360 + l**5/12 + 4*l**2. Let v(q) be the third derivative of x(q). Is 3 a factor of v(9)?
False
Let a(g) be the third derivative of g**4/24 + 2*g**3/3 - 2*g**2. Let x be a(-4). Suppose x = -2*q + 3*q - 4. Is q even?
True
Let s(x) = -150*x + 10. Let b be s(2). Let v = -201 - b. Is v a multiple of 15?
False
Is 12 a factor of (-20)/45*11259/(-18)?
False
Suppose -7*j = -36*j + 725. Is j a multiple of 2?
False
Suppose 12 = 6*a - 3*a. Suppose 4*l = -3*q + 416, -l - a*q = -5*q - 104. Is l a multiple of 18?
False
Suppose -j = -2*l - 0*j + 16, 3*j - 8 = -l. Does 32 divide 2/l - (0 - 1809/12)?
False
Let o(l) = 23*l - 64. Does 2 divide o(6)?
True
Suppose 2*a - 1 - 3 = 0. Let c(h) = 26*h**2 + h - 1. Let r be c(a). Suppose -r = -v - 4*v. Is v a multiple of 12?
False
Let s(x) be the third derivative of 23/60*x**5 + 1/6*x**3 - 9*x**2 + 0 + 0*x + 1/24*x**4. Is 13 a factor of s(-1)?
False
Suppose 0 = -u + 4*k + 186, 27*k = 3*u + 22*k - 565. Is 4 a factor of u?
False
Let p = 509 + -135. Does 50 divide p?
False
Let b(p) = 1. Let t(r) = 26*r + 10. Let d(g) = 2*g + 17. Let w be d(-8). Let a(f) = w*t(f) - 4*b(f). Does 28 divide a(3)?
True
Suppose -4*k = -k - 2*w + 8, 0 = 2*k - 3*w + 12. Let y(f) = -f**2 + 5*f. Let j be y(4). Suppose 4*s = -u - 4*u + 28, k = 4*u + j*s - 24. Is u a multiple of 3?
False
Let i(c) = c**3 + 8*c**2 + 9*c - 2. Let z be i(-7). Let s = 18 + z. Is 20 a factor of (68 - -3) + (s - 1)?
False
Let v(b) = 119*b - 17. Does 65 divide v(4)?
False
Let o(a) = -2*a**2 - 12*a + 11. Let u be o(-7). Let t(k) = k**3 + 3*k**2 - 3*k + 3. Is t(u) a multiple of 3?
True
Suppose -u - 4*x - 17 = 3, 3*x = 2*u - 15. Suppose -4*j - 13 = -z, u*z = 3*z - 2*j - 49. Is 3 a factor of z?
False
Let i be 12/4 - (2 - 39). Suppose 0*t - 4*t + 8 = 4*f, 0 = -5*t + 5*f + i. Is 3 a factor of t?
False
Let i = 4 + -23. Let o = 5 - i. Let m = -2 + o. Does 8 divide m?
False
Does 9 divide 30/(-35) - (-405)/7?
False
Let s be (-8*(-4 - -5))/(-2). Suppose -3*q - 2*z = 2*z + 19, -s*z = 5*q + 21. Let m(n) = -2*n. Is m(q) a multiple of 2?
True
Suppose -6 = -2*m + 10. Suppose -281 - 919 = m*i. Does 13 divide i*(-4 + (-18)/(-5))?
False
Let a(o) = -o**3 + 8*o**2 - o + 8. Let l be a(8). Suppose -u + 3 - 4 = l, -5*u + 520 = 5*n. Is 15 a factor of n?
True
Let x(d) = -14*d**2 + 4. Let z be x(3). Let m = -72 - z. Let c = m - 16. Is 18 a factor of c?
False
Let q(z) = 3*z - 9. Suppose -2*v - v + 3*y + 24 = 0, v - 10 = 2*y. Let i be 11 - 0 - v/2. Is 10 a factor of q(i)?
False
Let d be 1/9 - 8857/(-153). Let j = d + -30. Does 28 divide j?
True
Suppose -4*u = 3*n + 8, 4*n + 2*u = -0*u + 6. Is (-3)/n*84/(-9) a multiple of 5?
False
Let g be (30/(-9))/((-4)/(-18)). Let f = 2 + g. Let t(l) = l**2 + 9*l - 4. Does 18 divide t(f)?
False
Suppose -40 = -0*h - h. Suppose h = v + v. Is v a multiple of 4?
True
Let k = -1421 - -2105. Is k a multiple of 36?
True
Let q = 6 + -38. Let j = 67 + q. Is 9 a factor of j?
False
Let m = -1227 - -1733. Suppose -9*v + m = 2*v. Is v a multiple of 46?
True
Let r(a) be the second derivative of -a**5/10 + a**4/4 - a**3/6 - 6*a. Let u be r(2). Is 83 + -1 + 12/u a multiple of 16?
True
Let d(i) = -i**3 - 11*i**2 - 12*i - 23. Let z be d(-10). Let y = z - -5. Suppose 0 = -2*c - 2*w + 66, -y*w - 193 = -0*c - 5*c. Is c a multiple of 9?
False
Let q(n) = -16*n**2 + 3. Let g(c) = 49*c**2 - 7. Let o(f) = 5*g(f) + 14*q(f). Is o(-3) a multiple of 14?
True
Let l = 971 - 512. Let y = l + -228. Does 33 divide y?
True
Let s be 1/(-5) + (-546)/(-105). Let h = 74 + -12. Suppose -s*v - 7 + h = 0. Is 3 a factor of v?
False
Suppose 9*z = 6*z + 1275. Does 85 divide z?
True
Let w(u) = 6*u**2 + 2*u + 3. Let p be w(-1). Suppose -844 = -p*a + 178. Is 19 a factor of a?
False
Let s be -3*(-2)/12*-6. Let q(p) = -2*p**3 - 4*p**2 - 4*p - 4. Does 26 divide q(s)?
True
Suppose -245 = -f + 8. Suppose -4*g - z - f - 121 = 0, 2*z - 98 = g. Let m = g - -177. Is 22 a factor of m?
False
Suppose 581 = 3*l + 2*k, 0 = 3*k - 4 + 10. Does 12 divide l?
False
Let m = 83 - 163. Is -3*4/12*m a multiple of 10?
True
Let d = -1526 - -2555. Is 73 a factor of d?
False
Let g be -8 - (0 - 4) - 37. Let q = g + 53. Is q a multiple of 6?
True
Suppose -44 = 50*l - 52*l. Does 10 divide l + 1 + ((-9)/(-3))/3?
False
Suppose -1 = o - 3. Suppose -52 = o*i + 180. Let l = -51 - i. Is l a multiple of 16?
False
Suppose -b - 9 = 46. Let w be ((-3)/5)/(11/b). Suppose w*z = 39 + 51. Is 17 a factor of z?
False
Let y be 2*-1 + 5 + -9. Let m be (-18)/(-4)*y/(-9). Suppose -m = -3*r + 27. Is r a multiple of 3?
False
Let k = 13 - 15. Let j(p) = 10*p - 1. Let f(m) = 11*m - 1. Let z(u) = k*j(u) + 3*f(u). Is 12 a factor of z(1)?
True
Suppose 0 = -3*d + 6*d + 12. Let u be 55 + 4/(-8)*d. Let o = u - 13. Is 8 a factor of o?
False
Suppose 0*l - 6 = 3*l, 3*d + l - 4 = 0. Suppose 4*w - 12 = -2*q + 9*w, -d*w = 0. Is q a multiple of 3?
True
Let a be 20/5 + (46 - -1). Suppose -a = -m + 3*y, -4*y - 5 = -4*m + 207. Is m a multiple of 9?
True
Let z be (-2 - -2)/((-10)/5). Let f(t) = -t**2 + 3*t