 3. Let i be f(-3). Suppose x = 2*p + 4*b, -2*b - i = -4*p + 3*p. Is 19 a factor of p?
False
Let v(z) = z - 9. Let t be v(5). Let y be 3/t + 165/44. Suppose 0 = -4*g - 2*l + 204, -y*l - 79 - 15 = -2*g. Is g a multiple of 10?
True
Is 12 a factor of 264/704 - (-789)/8?
False
Let z(c) = 2*c**2 + 2*c + 1. Let l be z(4). Suppose -3*i = -2*i - l. Let w = i + 43. Is w a multiple of 28?
True
Let u be 2 - (-3)/(-2)*-2. Let g = u - 2. Suppose c = g*j - 177, -c - 183 = -3*j - 2*c. Is j a multiple of 12?
True
Let y(v) = -5*v**3 - 7*v**2 - 11*v + 1. Is y(-2) a multiple of 7?
True
Suppose 2*m + 0*u = 3*u - 102, 0 = -2*u - 4. Suppose 0 = 2*q - t + 6, 0*t + 12 = -5*q + t. Is 8 a factor of -1 + m/q - 2?
True
Let z(x) = 14*x**3 - 4*x**2 + x + 5. Let l be z(3). Suppose 5*s - 670 = l. Is 17 a factor of s?
True
Let c(p) = p**2 - 2*p - 6. Let l be c(4). Let z(f) = 2*f + 0 + 2*f**3 - 11 - 6*f + 8*f**l - f**3. Is z(-8) a multiple of 21?
True
Suppose -22*y + 26*y = 2388. Is 11 a factor of y?
False
Does 24 divide (64 - 24/(-8))*9?
False
Let q be (12 + 7)*(19 + 3/3). Let v = -217 + q. Is 17 a factor of v?
False
Suppose -184 - 372 = 4*p. Let k = p - -95. Is (-8)/k + 5404/44 a multiple of 27?
False
Suppose 54 = 2*d + d. Suppose 2*q - d = 18. Let w = q - -4. Is w a multiple of 11?
True
Suppose 1 = -f + c + 2, 5*c + 5 = 4*f. Suppose -4*n + 188 = -f*n. Is 19 a factor of n?
False
Is 4 a factor of (-157 - -62)*(0 + -7)?
False
Let j = -593 + 1118. Is 21 a factor of j?
True
Suppose 3*k - 1171 = -4*t, 0 = 2*t - 7*t - 5*k + 1460. Let a(g) = -g + 10. Let o be a(6). Suppose 5*q + 68 = n, -o*n + 0*q + t = 3*q. Does 15 divide n?
False
Suppose c - 160 - 90 = -3*w, -1170 = -5*c + 5*w. Is 69 a factor of c?
False
Suppose h + 7 = -6*h. Does 5 divide (-8 - -4)*2/h?
False
Let r(q) = -4*q - 5. Let a be r(-2). Is 4 a factor of 12/a - 40/(-5)?
True
Let g(n) = n**2 - 2*n - 3. Does 27 divide g(-8)?
False
Let l(d) = -d**2 + 9*d - 7. Let v be l(5). Let r(c) = -3*c + 1. Let h be r(-1). Let u = v - h. Is 3 a factor of u?
True
Suppose 0 = 4*n - 43 - 57. Suppose 0*y - w = -4*y + 113, -y = 3*w - n. Is y a multiple of 7?
True
Suppose -3 + 5 = x. Is (-176)/12*(x - 8) a multiple of 22?
True
Let h = -164 + 167. Suppose 0 = h*v + 3*a - 774, v - 105 - 149 = -3*a. Is v a multiple of 13?
True
Let a(r) = 2*r**3 - 39*r**2 + 48*r - 32. Is 4 a factor of a(19)?
False
Is 272320/608 - (-2)/19 a multiple of 28?
True
Let q = 19 - 15. Does 31 divide (14/q)/((-7)/(-168))?
False
Suppose -117*t = -121*t - 40. Let y = 30 + 0. Let l = t + y. Does 6 divide l?
False
Is 4 a factor of 2/6 - (6468/9)/(-4)?
True
Suppose 2*x + k - 15 = -2*x, 21 = 2*x + 5*k. Suppose -4*u + 3*q + 1485 = 6*q, x*q - 9 = 0. Is 41 a factor of u?
True
Let g(n) = 2*n**2 + 24. Suppose 3*t - y + 4 = 0, 3*t + 1 = -2*y + 9. Does 8 divide g(t)?
True
Does 15 divide 9*(8/12 + (-8771)/(-21))?
True
Let h(d) = 2*d**3 - 3*d**2. Let v be h(2). Suppose 0 = 5*o, -24 = 2*x - v*x + o. Does 3 divide x?
True
Let j(a) be the first derivative of a**5/60 + a**4/3 - 13*a**3/6 + 2*a**2 - 2. Let s(d) be the second derivative of j(d). Is 12 a factor of s(-11)?
False
Suppose h + 70 + 46 = -3*a, -a - 257 = 2*h. Let c(v) = v**2 + v + 184. Let y be c(0). Let l = y + h. Is l a multiple of 24?
False
Suppose 1882 + 956 = 6*n. Does 43 divide n?
True
Suppose 3*w - 3 - 7 = x, -5*w = 4*x - 28. Let s(k) = 8*k + 3*k**x + 12 + 3 - 5. Does 13 divide s(-4)?
True
Is 58 a factor of 58*-51*7/(-21)?
True
Let n = 3181 - 1585. Is n a multiple of 19?
True
Suppose -4*c - 74 + 13 = 5*o, 0 = -c + 2*o - 12. Is 7 a factor of 44/77 - 1098/c?
False
Suppose -210*u + 1150 = -205*u. Does 23 divide u?
True
Suppose 4*c - c = 15. Does 24 divide (1224/(-45))/((-2)/c)?
False
Let r(y) be the third derivative of 2*y**5/15 + y**4/12 - y**3/6 - 7*y**2. Let g be r(1). Suppose -b = -4, 3*q - 4*b = -g*b + 140. Is q a multiple of 12?
False
Suppose -6*w = 677 - 4073. Is 5 a factor of w?
False
Suppose -4*i + 3*b = -687, 4*b - 108 = -i + 59. Let r = i - 121. Is 25 a factor of r?
True
Let j(s) = 4*s**2 + 2*s - 4. Is 3 a factor of j(3)?
False
Suppose 9 = 4*n + 1. Suppose 0 = 4*j + 2*a - 46, -n*a - 2*a = -4. Is 11 a factor of j?
True
Let o = -9 + -6. Suppose -3 - 2 = l. Is 11 a factor of (42/l)/(3/o)?
False
Suppose -4*q = -8*q + 184. Suppose -q = -4*g + s, -2*g - 2*s + 17 = -1. Is 3 a factor of g?
False
Suppose 13*h - 1050 + 153 = 0. Suppose 3*j = 2*x + 8*j - h, 0 = 2*x + 2*j - 66. Does 8 divide x?
True
Suppose 24 = q - 19. Suppose 6*v = 7*v - q. Does 5 divide v?
False
Is (5533/33)/((-3)/(-18)) a multiple of 11?
False
Suppose 0 = -3*b + 2*b + 5*v - 13, 43 = 4*b - v. Suppose b*w = 13*w - 50. Does 20 divide w?
False
Suppose -4*b - 2*w + 33 = -33, 0 = 5*b + 2*w - 84. Suppose 4*g = -4*s - 32, -4*g = -3*s + 2*s - b. Is 6 a factor of 24/(-60) - 184/s?
True
Let j = 92 + -45. Suppose -o = 4*w - 137, -5*o + 5*w = -j - 588. Is o a multiple of 17?
False
Let b(y) = -1 - 9 - 4 + 3 + 4*y. Let c be b(8). Does 7 divide c*1/((-3)/(-4))?
True
Let x(p) = 29*p**2 - 3*p - 14. Is 84 a factor of x(-7)?
True
Suppose 0 = 2*m + 3 + 1, -5*m = -3*p - 62. Is 2/(-16) - 555/p a multiple of 5?
False
Let x(v) = 3603*v - 32. Let l be x(-6). Is l/(-225) - (-3)/(27/(-2)) a multiple of 16?
True
Does 6 divide (120/(-9))/(-2) + (-6)/(-18)?
False
Let x(u) = 5*u**2 + 32*u - 259. Does 88 divide x(16)?
False
Let z = -44 + 10. Let j = z + 254. Is j a multiple of 22?
True
Let f(k) = k**3 + 9*k**2 - k + 9. Let i be f(-9). Suppose -o - o - i = -2*j, -o + 21 = 2*j. Suppose p = 3*x - j, 4*p + 7 - 3 = 3*x. Is x even?
True
Suppose d + 3 = 8. Suppose 257 = 3*o + d*w, 3*w - 3 + 0 = 0. Is 14 a factor of o?
True
Let o = 456 + -390. Is 33 a factor of o?
True
Let q(o) = -o**3 + 9*o**2 - 9*o - 16. Let p be q(8). Does 5 divide 54/p*(-32)/6?
False
Let o = -11 - -16. Suppose o*y = -0*y - 2*g, -y + 4*g = -22. Suppose -2*p = -2*c - 88, -3*c = p + y*c - 56. Does 14 divide p?
False
Suppose -2 = x - 11. Suppose d - 15 - 1 = 0. Let y = d - x. Is 2 a factor of y?
False
Let i be (-6)/4*(-36)/27. Suppose -10 = i*k + 5*u, 4*k - 2*u - 18 = 10. Let t = k - -14. Does 19 divide t?
True
Suppose -6 = -4*m + 2. Suppose m*f + 22 - 70 = 0. Is 14 a factor of f?
False
Suppose z - 228 = 3*d, d = z - 0*d - 228. Suppose -3*t + z = -5*v, -2*t + 226 - 74 = -v. Does 19 divide t?
True
Suppose 0 = -i - a + 5*a + 4, 2*i = 3*a + 8. Suppose -260 = -5*m + i*p, -m + 5*p + 11 = -20. Is m a multiple of 5?
False
Suppose 31*h = 27*h + 12. Suppose -95 = -4*g + z, 3*g + h*z = 5*g - 35. Does 9 divide g?
False
Let k(r) = 3*r**2 + 5*r + 2. Let j = -33 + 31. Let d be k(j). Suppose -4*v - 278 = -5*m, -3*m - d*v = 2*m - 302. Is 11 a factor of m?
False
Suppose -3*f + 2*f + 5*s = -244, -242 = -f + 4*s. Suppose 0 = -4*o + 20, -o = -5*a + 2*o + 670. Let t = f - a. Is t a multiple of 36?
False
Let m(q) be the third derivative of q**8/10080 - q**7/5040 - q**6/144 - q**5/15 + 9*q**2. Let x(r) be the third derivative of m(r). Is x(-7) a multiple of 27?
False
Let w = -409 - -583. Is w a multiple of 29?
True
Let w be 76/20 - (-2)/10 - 4. Is 4 a factor of ((2/(-3) - w) + 1)*60?
True
Is 38396/12 + -3*16/(-36) a multiple of 17?
False
Suppose 5*l = 3*w + 81, -5*w + 4*l - 178 = -43. Let m = w - -63. Is 6 a factor of m?
True
Does 16 divide (-11 - ((-42)/7 - 0)) + 55?
False
Let x = 13 + -19. Does 14 divide 9/x*(-368)/12?
False
Let z(v) = 389*v - 45. Is 17 a factor of z(3)?
True
Suppose 0 = 2*c - 4*i - 504, 12*i + 246 = c + 8*i. Is c a multiple of 24?
False
Suppose -5*b + 2*p + 230 = 0, b = -0*b - 5*p + 46. Let d = b + -20. Is (-4)/d + (-632)/(-52) a multiple of 4?
True
Suppose 0*s + 3*g + 3 = -4*s, -5*g = -s + 5. Let h be -4 - (-22 + 0 + s). Suppose 3*v - h = 12. Does 10 divide v?
True
Suppose -r + 2997 = 8*r. Does 37 divide r?
True
Let f = -849 - -894. Is f a multiple of 15?
True
Suppose -3*z = -g + 3*g - 32, -50 = -4*g + z. Is g a multiple of 4?
False
Suppose -27*o + 32*o = 30. Does 10 divide o/(-45) - 1808/(-60)?
True
Let p(w) be the first derivative of -3*w**2/2 + 3*w - 5. Let v be p(-7). Suppose 0 = -2*j + j + v. Is 23 a factor of j?
False
Suppose 0 = 63*t - 13711 - 22010. Is t a multiple of 27?
True
Let r = 106 - 110. Let o(z) be the third derivative of z**6/120 + z**5/10 - z**4/3 - 2*z**3/3 + z**2. Is o(r) a multiple of 15?
True
Let h = 3983 