*2 - x. Is 6 a factor of p(-8)?
True
Let s(c) = 86*c**2 - 4*c + 1. Is s(1) a multiple of 10?
False
Suppose 620 = 4*g + h, -2*g + 176 = -g - 5*h. Suppose -g = -2*t + 104. Is t a multiple of 15?
False
Let w be -3*2*(-38)/12. Suppose -22*o + w*o = -126. Is 19 a factor of o?
False
Let y = -11 + 11. Suppose -d = 2*s + 57, -4*s + 2*d - 109 - 1 = y. Let u = s + 86. Does 29 divide u?
True
Suppose -2*o + 0*o = 8. Let j = o + 4. Suppose -2*c + 140 = -j*c. Is c a multiple of 16?
False
Let l = -28 - -37. Let n(s) = s**2 - 7*s + 6. Is n(l) a multiple of 12?
True
Suppose 4*v - 13 = -3*n, v - 8 = 2*n + 2*n. Suppose 2*o = -v*x + 13 - 3, 5*x - 5 = 0. Suppose 4*h - 3*u + 44 = 208, 0 = -o*u. Is h a multiple of 14?
False
Let j = -25 + 12. Let x(z) = 2. Let f(n) = 4*n + 7. Let s(m) = -f(m) - 2*x(m). Is 8 a factor of s(j)?
False
Suppose 0 = -17*a + 18*a + 2. Does 25 divide (a - -5 - -24) + -2?
True
Let v = -175 - -635. Suppose 0 = 2*q + 2*q - v. Is q a multiple of 23?
True
Let i(n) = -8*n**2 - 2 + 97*n - 101*n - 2 + 21*n**2. Is i(-1) a multiple of 3?
False
Does 48 divide ((-9 - 0) + 8)*(-1628)/2?
False
Is (166/5)/(3/(45/3)) a multiple of 16?
False
Suppose n - 5*n - 56 = -5*g, 0 = 3*g + n - 37. Is g a multiple of 2?
True
Let v = -12 - -11. Let u(a) = -39*a**3 + 2*a + 1. Let j be u(v). Suppose 3*p - 13 = j. Is p a multiple of 14?
False
Suppose -5*b = 25, 0*b = -4*j + 4*b + 212. Is 6/(-8) + 1044/j a multiple of 6?
False
Suppose 4*k - 4*a + 7*a = 42, 3*k = -3*a + 33. Suppose 0 = s - 4*s + k. Does 14 divide 29 + (-12)/(-4) + s?
False
Let r = -11 + 181. Suppose 30 - 200 = -5*v - h, 5*v + 4*h - r = 0. Let n = -15 + v. Is 10 a factor of n?
False
Does 4 divide (3369 + -5)/(50/25)?
False
Let a be 1 + (-4)/(-4) - -147. Suppose -a = -w + 3*u, -w - 2*u = 2*u - 156. Suppose -4*v = 2*d - w, -3*v + 80 + 34 = -d. Is v a multiple of 7?
False
Let p(f) = f**3 + 7*f**2 - 10*f - 13. Let a be p(-8). Suppose 221 - 599 = -a*c. Is c a multiple of 14?
True
Let q(b) = -8*b + 2. Let k be 70/40*1*-4. Is 29 a factor of q(k)?
True
Let i(g) = -g**3 + 12*g**2 + 14*g + 8. Let x be i(13). Does 17 divide ((-354)/9)/((-7)/x)?
False
Let f(p) be the third derivative of -p**6/360 - 11*p**5/120 + p**4/24 + p**3/6 - 3*p**2. Let w(h) be the first derivative of f(h). Does 17 divide w(-7)?
False
Suppose -2*y + 52 = -0*y - 3*z, -97 = -3*y - 5*z. Suppose -5*m = 14 - y. Is 10 a factor of m*(104/12 - 2)?
True
Does 55 divide (643 - 4) + -4 + 4?
False
Suppose 3*g - 177 = -0*v - 4*v, -5*g - 121 = -2*v. Let b = v - 18. Is b a multiple of 4?
False
Let n(g) = 492*g**2 - g. Is n(1) a multiple of 19?
False
Let q(y) be the third derivative of y**6/120 + y**5/20 - y**3/2 - 43*y**2. Is q(2) a multiple of 10?
False
Let b be (3 - 3)/((-8)/(-3 + -1)). Let d(z) = 0*z**2 + z**2 + 16 + z**3 + 59 - z. Is d(b) a multiple of 22?
False
Let x(t) = -t**3 - 9*t**2 - 2*t + 1. Let w be x(-8). Let l = -26 - w. Suppose 85 = 2*a + l. Is a a multiple of 13?
False
Let s be ((-8)/(-12))/((-1)/(-321)). Let a = s + -103. Is 37 a factor of a?
True
Let c(u) = -4*u + 3. Let o be c(-8). Suppose 8 + 4 = -4*k. Let f = o - k. Is 19 a factor of f?
True
Let t = -21 + 29. Let f be 0/1 + (-49 - -22). Is 11 a factor of 534/t - f/(-36)?
True
Suppose -r + 390 - 219 = 0. Is r a multiple of 9?
True
Let m(s) = s - 4 - 2*s - 14*s**2 + s - s**3. Let h be m(-14). Is 5 a factor of h/5*(-50)/4?
True
Let y be 5 - 2 - (-5 - 1). Suppose 2*v + 3*n = -12, -5*n - 11 = -4*v + y. Suppose -3*j + 87 = -v*b + 5*b, -2*j = -b - 45. Does 12 divide j?
True
Let a(x) = 3*x**2 + 13*x - 1. Is 43 a factor of a(-15)?
False
Let b = 1174 + -982. Is 6 a factor of b?
True
Suppose 10 = 3*x - 4*g, -2*x = 3*x - 4*g - 22. Is x/(-14) + (-1032)/(-56) a multiple of 14?
False
Is 3079/7 + 12/84 a multiple of 44?
True
Let j(c) = 3*c**2 - 9*c + 3. Let p be 9/12*-2*-6. Let y be j(p). Suppose 39 = -3*m + y. Does 14 divide m?
True
Suppose 0 = -2*b - 0*b - 12. Let r(u) = 10*u**2 + 7*u + 38. Is 24 a factor of r(b)?
False
Let w(u) be the third derivative of -4/3*u**3 + 0 + 1/60*u**5 - 4*u**2 + 1/8*u**4 + 0*u. Is w(-8) a multiple of 16?
True
Let p(r) = r**3 + r + 118. Let w be p(0). Let x = -119 - -71. Let t = w + x. Is 27 a factor of t?
False
Let d(y) = 22*y**2 - 3*y + 3. Let u be -2 + 6 - (-1 - -3). Let h be d(u). Let p = 169 - h. Is p a multiple of 28?
True
Suppose 8*p = 3*p + 10. Suppose 2*g - 86 = p*n, 0 = -g - g - 2*n + 66. Does 38 divide g?
True
Let o(h) = 88*h**2 - 3*h + 3. Is 19 a factor of o(1)?
False
Suppose 6*s - 99 - 525 = 0. Does 4 divide s?
True
Let u be 6/(((-60)/16)/5). Let f = -6 - u. Is 0 + 2 + 44/f a multiple of 8?
True
Let k(d) = 504*d**2 - 35*d + 35. Does 24 divide k(1)?
True
Suppose 7*r - 2*r = 0. Suppose -5*s - 156 = -3*p, r = 2*s + 5*p + 3 + 47. Let l = -9 - s. Is 6 a factor of l?
False
Let a(f) = -f**3 + 10*f**2 - 9*f + 6. Let w(l) = -3*l - 3. Let b be w(-4). Let j be a(b). Let s = j + -3. Is 2 a factor of s?
False
Let o(f) = -89*f - 137. Is o(-8) a multiple of 18?
False
Let s(z) = -67*z - 21. Let b be s(-3). Suppose 5*d - b = d. Is 9 a factor of d?
True
Suppose 105*j + 15808 = 124*j. Does 26 divide j?
True
Suppose 0 = 2*r - 6, 0 = 2*n - 4*r - 15 - 47. Is 2 a factor of n?
False
Let n(k) = 100*k - 24 - 7*k + 27. Does 11 divide n(1)?
False
Suppose -5*c + 94 = -1. Let v = 21 - c. Suppose v*d - 5*r = 27, 115 = 3*d + 2*d - 3*r. Is d a multiple of 4?
False
Let c(o) = -5*o + 25. Let l be c(6). Let v = -2 - l. Let q = v + 105. Does 26 divide q?
False
Let l(p) = p - 11. Let b be l(-5). Let f = -14 - b. Suppose -7*w - 1 = -2*q - 4*w, -3*q + f*w = -14. Does 4 divide q?
True
Let i(d) = -2*d**3 - 9*d**2 - 7*d + 7. Suppose 3*t - 2*p + 0*p = -23, -2*t - 2*p = 2. Is 7 a factor of i(t)?
False
Let v be ((-8)/(0 + -2))/(-2). Let b be 16/(-12)*561/v. Suppose -y + 42 = 2*r - 30, 4*r + b = 5*y. Does 13 divide y?
False
Let f(c) be the third derivative of c**5/15 + c**4/6 + c**3/6 + 14*c**2. Is f(-2) a multiple of 3?
True
Suppose -22*d + 24*d - 456 = 0. Let z be -86*(-2 - 14/(-4)). Let c = d + z. Does 27 divide c?
False
Let k = -580 + 1250. Is 33 a factor of k?
False
Let f = -14 - -203. Is 6 a factor of (2 + -1)*2*f/14?
False
Suppose 3*i + x + x - 16 = 0, 0 = -5*i + 2*x. Suppose 3*y - 87 = i*y. Is y a multiple of 14?
False
Let a(b) = b - 22. Let t be a(7). Let x be (-2)/2 - t/15. Does 6 divide (x - 0) + -4 + 34?
True
Let i = 1736 + -1056. Is 68 a factor of i?
True
Suppose 4*g = 188 - 24. Does 38 divide g?
False
Let u(x) = -3*x - 3 - 13*x + 7*x. Let p(v) = v - 13. Let l be p(8). Is 21 a factor of u(l)?
True
Let h be ((-8)/7)/((-8)/28). Suppose h*f - 53 = w + 6, -70 = -5*f + 2*w. Is 7 a factor of f?
False
Let g(t) = -2*t**2 + 29*t - 12. Let s be g(14). Suppose 3*z = 6*z + 2*r - 75, 0 = 5*z - s*r - 141. Does 13 divide z?
False
Suppose -3 = -t, -3*t = -3*i + 57 + 7197. Is 10 a factor of i?
False
Let q = 70 - -107. Does 8 divide q?
False
Suppose 4*i + 3*x = 25, i = x + 2 - 1. Suppose -6*z - 6 = -i*z. Let u = z - -29. Is u a multiple of 13?
True
Suppose 28 = -2*q - 202. Let t = q + 171. Suppose -2*x - t = -6*x. Is x a multiple of 7?
True
Let p(h) be the second derivative of h**3/6 + 3*h**2/2 - 10*h. Does 5 divide p(2)?
True
Let a = 28 + -20. Suppose -5*k + 15 + 59 = -2*t, 4*t + 64 = 4*k. Let h = k - a. Is h a multiple of 2?
True
Suppose 10752 = 46*v - 34*v. Is 32 a factor of v?
True
Let w be 2/6 + (-66)/9. Let r(j) = j**2 + 7*j - 3. Let l be r(w). Is 12 a factor of 213/9 + l/(-9)?
True
Let s = -199 + 534. Is 28 a factor of s?
False
Let c(j) = -j**3 + 14*j**2 + 45*j + 26. Is 8 a factor of c(14)?
True
Suppose -3*f - 3*h + 501 + 348 = 0, 0 = 4*f + 5*h - 1135. Is f a multiple of 3?
False
Let o(p) be the second derivative of -1/20*p**5 - 13/6*p**3 - p**4 - 11/2*p**2 + 0 + 3*p. Is o(-11) a multiple of 11?
True
Let y(a) = -a**3 + 9*a**2 + 7*a + 16. Does 24 divide y(7)?
False
Let t(o) = 4*o**3 + 20*o**2 + 10*o - 2. Let y(n) = 3*n**3 + 19*n**2 + 9*n - 3. Let l(v) = -4*t(v) + 5*y(v). Let z = -42 + 57. Is 17 a factor of l(z)?
True
Suppose 9*s - 3374 - 595 = 0. Is s a multiple of 3?
True
Suppose 3*g - 7*g - 3*d + 22 = 0, -3*d = g - 10. Suppose 9*q + g = 10*q. Suppose -4*u - 3*y + 240 = -q*y, -5*u - 3*y + 283 = 0. Is 24 a factor of u?
False
Let n(t) = -t**2 + 42*t - 76. Is n(27) a multiple of 5?
False
Suppose -s = 5*g - 21