 = f**3 - 2*f**2 - 3*f + 2. Let j be i(3). Suppose -34*w = -25*w. Suppose 2*p = 3*b - 0*b + 28, -j*p - b + 28 = w. Is p a multiple of 3?
False
Does 19 divide -717*11/(330/(-190))?
True
Let a(w) = -w**2 - 33*w - 132. Is a(-24) a multiple of 84?
True
Let t = 39 - 34. Is 4 a factor of (-3)/6*(-51 + t)?
False
Is 19 a factor of (10 - 0) + (585 - -92)?
False
Let m = 7 + 26. Let r = m - 18. Is r a multiple of 5?
True
Let q(g) = 69*g + 51. Is 29 a factor of q(5)?
False
Let j = 145 + -85. Let n = 71 - j. Is n a multiple of 11?
True
Let f(h) = 12*h - 7. Let v be f(6). Suppose -v = 5*r - 20. Does 7 divide (-6)/r + (-100)/(-12)?
False
Let r be (-4 - -4)*1/2. Suppose -100 = -r*c + 5*c. Let y = 38 + c. Does 4 divide y?
False
Suppose -2*f + 14 = 4. Suppose f = u - 0. Suppose 14 = 2*i + u*m - 100, -i + m = -64. Is 26 a factor of i?
False
Let k(a) = a**2 + 5. Let h be k(-2). Let b(s) = 2*s - 18. Let g be b(h). Suppose c - 13 = -n, g*n + 51 = 3*n - c. Is 8 a factor of n?
True
Let s(y) = -6*y - 3. Suppose q - 2 = -v - 3, 5*v = -2*q - 11. Suppose -q*f - 9 = 2*o - 3*f, 4*o - f = -15. Is s(o) a multiple of 11?
False
Suppose 6*h = -0*h + 2646. Suppose 4*d - d = h. Does 33 divide d?
False
Let p(t) = -t + 3. Let u be p(1). Suppose u*i = 5*k - 58, 0 = -5*i - k - k - 203. Is 12 a factor of (i/(-2))/((-6)/(-8))?
False
Let j(k) = k**2 - 3*k - 2. Does 6 divide j(-3)?
False
Suppose -8*n + 2173 - 173 = 0. Does 10 divide n?
True
Is 47 a factor of -2 + 1*202/1?
False
Let g(f) = -8*f - 8. Let x(h) = -h - 1. Let n(q) = -g(q) + 5*x(q). Let z be n(-4). Let p(c) = -4*c - 8. Does 7 divide p(z)?
True
Let s(x) = x**2 + 9*x + 10. Let b be s(-8). Suppose -q + 4*t + 158 = b*q, t = 3*q - 170. Is 13 a factor of q?
False
Suppose -2736 = z - 9*z. Is 57 a factor of z?
True
Let k(z) = 29*z + 141. Does 37 divide k(13)?
True
Let k(y) = -y**2 + 9*y - 2. Let z(i) = i - 7. Let s be z(15). Let r be k(s). Suppose r*w - 240 = -72. Is w a multiple of 9?
False
Let k(c) = -21*c**2 - 1. Let p be k(-1). Let u = p + 28. Is 4 a factor of u?
False
Suppose -766 = -n + 2*k, 54 = 4*n + 4*k - 2974. Does 10 divide n?
True
Let g(l) = -l**3 - 13*l**2 + 13*l - 46. Does 12 divide g(-17)?
False
Let g = 577 + -177. Suppose z + g = 9*z. Is 25 a factor of z?
True
Let x(p) = -42*p**2 - 4*p + 3. Let a(c) = 127*c**2 + 11*c - 8. Let g(s) = -3*a(s) - 8*x(s). Let n be g(1). Let q = -10 - n. Is 19 a factor of q?
False
Suppose 6 = -5*y - 5*i + 26, -5*i = 4*y - 16. Suppose q + y*n + 53 = 239, -5*n = 4*q - 777. Does 18 divide q?
True
Let i(v) = v**2 + 12*v + 16. Let c be i(-11). Suppose -c*g - z + 83 = 0, 0 = -3*z + 7*z + 8. Does 9 divide g?
False
Let l(n) = n**2 - 8*n + 12. Let w be l(6). Suppose -4*m + 0*m - 12 = w. Is 3 + m + 18 - -4 a multiple of 11?
True
Suppose -5*w = -v + 5*v - 1690, 4*v - 354 = -w. Is 12 a factor of w?
False
Suppose -27*j + 31*j = 984. Let a = j + -146. Is a a multiple of 20?
True
Suppose 0 = -4*m + 11 + 5. Suppose 4*z = -4*j + 56, j - 8*z - 24 = -m*z. Does 8 divide j?
True
Let f(w) = -w**3 - 13*w**2 - 13*w - 10. Let q be f(-12). Suppose 4*l = q*j - 4*j - 192, 0 = 3*l - 3*j + 153. Let a = l - -84. Is a a multiple of 24?
False
Let g(a) = 9*a**2 + 27*a - 1. Let s be g(-9). Suppose 4*x + 1060 = 4*m, 5*m = -3*x + 824 + s. Does 32 divide m?
False
Let r be -1 + -12*1/(-2). Let d(i) = 2*i + 23 + 0 + 2*i - r*i. Is 13 a factor of d(10)?
True
Let u(l) = 94*l - 1. Let z be u(1). Suppose 4*o - 119 = z. Suppose 5*y + x - 328 = 0, -2*y + 3*y - 4*x - o = 0. Does 13 divide y?
True
Suppose -6*m = -2*m + 8. Is 6 a factor of (-4 - -1) + m/(-2) + 32?
True
Suppose -h + 1 = 0, 2*g - 33 = g + 2*h. Does 20 divide (-398)/(-7) + 5/g?
False
Suppose 4*x - 20 = -4*b, -2*b + 7 = -6*b + 5*x. Suppose -5*a = 5*h - 90, 0 = 4*h + b*a - 114 + 34. Is h a multiple of 22?
True
Let t = -174 + 107. Let i = 79 + t. Does 4 divide i?
True
Suppose p - 5*h = 73, -11*p = -8*p + 5*h - 119. Let v = 85 - p. Is 3 a factor of v?
False
Suppose 2*t = 4*q - 1832, -19*t = -24*t + 10. Does 9 divide q?
True
Let d be -226 + 60/14 + 12/(-42). Let q = d + 387. Is q a multiple of 30?
False
Let h(d) = -d**2 + 11*d - 19. Let x be h(7). Does 4 divide -3 + (-1 + 3/x)*-36?
False
Is 7 a factor of (-3120)/45*(-42)/4?
True
Let a be ((-1)/4)/(12/(-96)). Suppose 7*c - 95 = a*c. Is 12 a factor of c?
False
Let j(l) = -l**3 + 12*l**2 - l + 22. Let o(h) = -5*h + 2. Let n be o(-1). Is j(n) a multiple of 11?
False
Let x be (-1 + 4*-6)/(-1). Let f = -18 + x. Let l = 11 + f. Is 9 a factor of l?
True
Suppose -8*z = -25 + 81. Is 10 a factor of 1725/(-15)*(z/5 + 1)?
False
Suppose p - 17 = -14. Suppose -137 = -p*m - 5. Is 22 a factor of m?
True
Let a(i) = 4*i**2 - 16*i - 1. Is a(5) a multiple of 2?
False
Let n(v) = 2 + 119*v**2 - 4*v**2 + 53*v**2 + v - 26*v**2. Is n(1) a multiple of 29?
True
Suppose 4*v - 109 = 35. Suppose 240 = -v*l + 44*l. Is 10 a factor of l?
True
Let n(f) = -4*f - 42. Suppose -2*i - 4*j = 44, -2*j = 2 - 0. Does 11 divide n(i)?
False
Suppose -k - 4*s + 6 = 0, -2*k + 2 = -3*s + 1. Let n = 3 - 4. Let i = k - n. Does 3 divide i?
True
Suppose l = 2*r - 3*l + 12, -2*r + 3*l = 7. Suppose 4*g - 3*w - 372 = 0, r*g = 2*g + 2*w + 184. Suppose 6*d - 168 - g = 0. Does 8 divide d?
False
Suppose 4*y + 8 = -2*n, 4*y + 1 = -n - 3. Does 4 divide (n + -20)*4/(-12)?
True
Suppose 0 = -3*r + 5*r - 6. Suppose -r*q + 24 = -3*a, -a + 2*a + 24 = 5*q. Suppose 0 = 2*p + 3*i - 0*i - 79, 2*p - 58 = q*i. Is p a multiple of 27?
False
Let q(o) be the third derivative of o**7/2520 + o**6/360 - o**5/20 + 5*o**4/24 - o**2. Let j(g) be the second derivative of q(g). Is 14 a factor of j(6)?
True
Is 16 a factor of (6/10)/(-1) + 81026/110?
True
Let y(j) be the third derivative of j**6/24 - j**5/15 + j**4/8 - j**3/3 - j**2. Is y(2) a multiple of 4?
True
Let a(r) = -12*r - 503. Does 23 divide a(-63)?
True
Let f = 1341 + -532. Is f a multiple of 27?
False
Let r(o) = 57*o**2 - 8*o + 54. Is r(6) a multiple of 49?
True
Suppose 2 = -q + 4*t, -q + 0 + 3 = t. Is (-8 + q)*4/(-1) a multiple of 13?
False
Let i(d) be the second derivative of d**6/144 - d**5/60 - 3*d**4/4 - 3*d. Let c(w) be the third derivative of i(w). Does 8 divide c(2)?
True
Is 18*3*(-26)/(-6) a multiple of 117?
True
Suppose 4*s + 3*i = 188, -141 = -2*s - s + 5*i. Suppose q - 217 = -5*k, -2*q = k - 3*q - s. Is 6 a factor of k?
False
Suppose p + 3*c + 413 = 2404, -3*p = -c - 6003. Is p a multiple of 60?
False
Does 26 divide (-27)/(-3) - (-2300 - -21)?
True
Suppose 0 = -4*v + 7 + 17. Suppose 2*n - 11 = -3*n + r, n + 3*r + 1 = 0. Suppose -x + 3*w - v*w + 44 = 0, w - 88 = -n*x. Does 11 divide x?
True
Suppose 5*l = s + l + 18, -2*s = l - 9. Suppose s*w - 5*u - 295 = 0, -3*w + 8*w = 3*u + 766. Does 31 divide w?
True
Let f(y) = -3*y + 42. Is f(6) a multiple of 6?
True
Suppose -7*p + 6*p + 534 = -r, 4*p = -4*r + 2136. Is 89 a factor of p?
True
Let f(i) = 3*i**2 - 7*i + 4. Let y be f(4). Suppose 3*u - y = u. Is (180 - -2)*6/u a multiple of 20?
False
Suppose 0 = 3*a - 0*a - 96. Let z(c) = -a*c**3 + 0*c**2 + 2*c**2 - 2 - 2 + 3. Is z(-1) a multiple of 12?
False
Let s(n) = n**2 + 5*n - 7. Let r be s(-6). Let u(j) = -77*j - 1. Does 38 divide u(r)?
True
Suppose -c + 5 = 3. Suppose 3*r + 54 = -5*g, 3*g + 15 = -c*r - 18. Is 178/6 + g/(-27) a multiple of 13?
False
Suppose -40*i - 17201 = -127121. Is i a multiple of 14?
False
Let y be (30 + -3)*(-1 - 4). Let m = y + 235. Is 7 a factor of m?
False
Suppose -3 = -r - 7. Let m be 3*(r/2 + 3). Suppose 43 = b + 5*z, 0 = 2*b - m*b + 3*z + 35. Is 19 a factor of b?
True
Let q(n) = -266*n**2 - 1 - 8*n - 2*n + 267*n**2. Is q(-5) a multiple of 37?
True
Let w be 4*(-5)/((-20)/38). Let o = w - 8. Is 5 a factor of o?
True
Is (18/(-6) - 1)*137*-1 a multiple of 43?
False
Suppose k + 18 = -2*j + 5*j, 18 = -2*k - 3*j. Let z = k - -9. Let u = 11 + z. Does 4 divide u?
True
Let x = 25 - 37. Let j = -9 - x. Suppose -3*s - j + 237 = 0. Is s a multiple of 26?
True
Suppose 15*y - 2663 - 4537 = 0. Is y a multiple of 20?
True
Suppose 0 = -y + 2*g + 4, 0 = 2*g + 2*g + 4. Suppose -4*q = y*q + 60. Let p(f) = -5*f + 4. Does 21 divide p(q)?
False
Let u = -2243 - -2334. Is u even?
False
Let l(b) be the second derivative of 7*b**5/120 - b**4/12 - 4*b**3/3 - 3*b. Let v(s) be the second derivative of l(s). Does 11 divide v(4)?
False
Let z(q) = -350*q**