-1)?
False
Let f(c) = -c**2 + 5*c - 1. Let v be f(8). Let q = 5 - v. Is 10 a factor of q?
True
Suppose -5*q + 19 = -w, -2*q + 4*q - 40 = -5*w. Suppose w*i + 512 = 10*i. Is 16 a factor of i?
True
Let f = -29 - -35. Let k be (2/(-3))/(f/117). Let t = k - -69. Is 28 a factor of t?
True
Suppose -6*i - 5*i + 2420 = 0. Is i a multiple of 4?
True
Let o(p) = 120 + 26*p - 71 - 67. Is 16 a factor of o(5)?
True
Suppose -5*u - 1484 = -7*u - 4*q, -u - q = -742. Is 53 a factor of u?
True
Suppose -2*a - 2 = 0, 0 = 16*k - 11*k - 2*a - 982. Is k a multiple of 14?
True
Suppose -5 = 2*h - 7*h. Let p be h/(-3) - 21/(-9). Suppose 0 = -3*g + 12, -3*g = p*m - 6*g - 32. Is m a multiple of 6?
False
Let m(f) = 72*f**2 + 6*f + 5. Is m(-1) even?
False
Suppose 5*a - 3330 + 690 = 0. Is (a/(-20) + 5)*-5 a multiple of 35?
False
Suppose 23*l + 109 = 24*l. Suppose -3*m = -k + 39, 103 = 2*k - 2*m + m. Let b = l - k. Is 11 a factor of b?
True
Let b(p) = p**3 + p**2 + 36. Let q be b(0). Let i = 77 - q. Is i a multiple of 12?
False
Let p be 1/(-4) - (-398)/(-8). Let r be (-7 - (-45 - -4))/(-2). Let g = r - p. Is 11 a factor of g?
True
Let j(n) = 14 - 2*n**2 + 3*n**2 + 5*n**2 - 15*n - 2*n**2. Is j(8) a multiple of 5?
True
Is 128 - 0 - (-7)/(-14)*-6 a multiple of 38?
False
Does 16 divide ((-232)/(-406))/(1/2884)?
True
Let z(l) be the first derivative of -37*l**2/2 + 3. Let r be z(-1). Suppose 53 = 3*g - r. Does 30 divide g?
True
Let n = 446 - 112. Suppose 2*c - 102 = 2*r - n, 0 = -4*r - 2*c + 488. Suppose r + 160 = 4*i. Is 18 a factor of i?
False
Suppose 2*f + 2*y - 13 = -1, f + 9 = 4*y. Suppose f*z + 2*z + 75 = 0. Does 3 divide (z + -13)*2/(-4)?
False
Does 14 divide (-5850)/(-11) + (-303)/(-33) + -9?
True
Let f be (-1 - -3 - -2) + -2. Let r = f - -19. Suppose -r = -n + 39. Does 20 divide n?
True
Let s = 388 - 150. Is s a multiple of 14?
True
Let l be (-13)/(-5) - (-2)/5. Is 36 a factor of ((-115)/l - -3)*(-6)/4?
False
Let w(f) = 7 - 22 + 4*f - 10 - 16. Is w(14) a multiple of 2?
False
Let i(c) = c**2 + c + 2. Let l be i(-2). Suppose l*w + 5*r - 440 = 0, -4*r = -w + r + 135. Suppose 0 = 4*q + q - w. Does 23 divide q?
True
Let r(t) = t**3 - 19*t**2 - 11*t - 9. Let c be r(20). Suppose 1 = 4*n - c. Does 43 divide n?
True
Let o(j) = -21*j - 39. Let i(d) = 11*d + 20. Let s(g) = 11*i(g) + 6*o(g). Is 18 a factor of s(-11)?
False
Let a(u) = u**2 + 10*u + 3. Let o be a(-10). Suppose -o*r + 0*r = -111. Is 18 a factor of r?
False
Let h be 4 + -8*(-2 + 0). Is 10 a factor of (205/h - 0)*8?
False
Is 159400/250 - (-2 + (-16)/(-10)) a multiple of 10?
False
Suppose 0 = g + 11*r - 14*r - 28, -3*r - 12 = 0. Does 16 divide g?
True
Suppose 0 = -3*z - 3*k + 3, -4*k - 2 = 3*z - 4. Suppose 2*p - z = 8. Suppose l - p*u - 51 = 0, -3*l - 2*u + 6*u = -186. Is l a multiple of 22?
True
Let b = -868 - -884. Is 2 a factor of b?
True
Suppose -71*h = -81*h + 10070. Is 19 a factor of h?
True
Suppose -5*n + 3*j - 26 = 0, n - 8 = 4*j + j. Let x(p) = -2*p**2 - 55*p + 59*p + 11 + 3*p**2. Is 32 a factor of x(n)?
True
Suppose -5*v - 2*b + 23 + 3 = 0, 4*b = v + 8. Suppose -4*n + 4 = -v. Suppose 0*d + n*d - 164 = 0. Does 17 divide d?
False
Suppose -3*a + 8543 = 5*z - 5*a, -4*a = -z + 1705. Is 10 a factor of z?
False
Let s(j) be the first derivative of j**4/4 + 5*j**3 + 6*j**2 - 2*j - 14. Is 13 a factor of s(-14)?
True
Suppose -4*h = -8*h - 16, 9 = -q - 3*h. Suppose m + q*m + 6 = d, 0 = 5*m - 20. Is 10 a factor of d?
False
Suppose -609*r + 912 = -607*r. Is 24 a factor of r?
True
Let h(r) = r**2 + 2*r + 16. Let u be h(8). Let a = u - -228. Suppose -2*n = -5*n + a. Does 27 divide n?
True
Suppose 5 = -2*b + 23. Let t(s) = -s**2 + 16*s + 13. Does 27 divide t(b)?
False
Let h(q) = 4*q - 46. Let o be h(12). Suppose -k + 3*z + 217 = 31, 0 = -o*k - 5*z + 372. Does 31 divide k?
True
Suppose 15*b - 3*b - 60 = 0. Suppose 1043 = b*j - 182. Is 35 a factor of j?
True
Let f(g) = -9*g**2 + 2*g + 10. Let s(r) = -1. Let k(t) = -f(t) + 5*s(t). Is k(-5) a multiple of 14?
False
Let r = -44 - -131. Suppose 2*a = r + 45. Is a a multiple of 22?
True
Let r = -445 + 1005. Is 28 a factor of r?
True
Suppose 64 = 3*r - f, -2*r - 5*f + 24 = 4. Suppose 3*n + 42 = s + n, 4*n = -r. Is s a multiple of 13?
False
Is 15 a factor of -1 + -4 - -3 - (-35 + -1)?
False
Let p be 21/(-84) - (-258)/8. Let l = -22 + 28. Let c = l + p. Is 25 a factor of c?
False
Suppose 17 = 3*l - 67. Suppose 4*w + l - 380 = 0. Is w a multiple of 4?
True
Let u = 51 - 58. Let w(m) = -m**2 + 0*m**2 - 7 + 2*m**2 + 3*m. Is 10 a factor of w(u)?
False
Let k be 96*(-5)/(-1*10). Suppose -4*j + 2*u + k = 0, 0*j + 5*u + 50 = 5*j. Suppose -j = -20*w + 19*w. Is w a multiple of 4?
False
Let w(f) be the first derivative of -2*f**3/3 + 5*f + 5. Let i be w(0). Let t(n) = 2*n**2 - 5*n - 9. Does 12 divide t(i)?
False
Let s(o) = -44*o + 21. Is 11 a factor of s(-6)?
False
Let v(q) = -284*q - 808. Is 64 a factor of v(-5)?
False
Let v(i) = -i**3 + 8*i**2 - 9*i - 7. Let w be v(7). Let h = w - -47. Does 6 divide h?
False
Suppose -4*r = -0*r + 4*h - 212, 3*h - 43 = -r. Suppose r = 5*m - 92. Does 6 divide m?
True
Let a be -4 + -3 + 24/4. Does 28 divide a*106*1/(-2)?
False
Let m = -370 + 1040. Is 26 a factor of m?
False
Let o(j) = j**3 + 4*j**2 - 2*j - 12. Let q be o(-3). Suppose 0 = -3*t + 4*x + 381, q*t - 7*t + 508 = 5*x. Is t a multiple of 9?
False
Let r(w) = w**2 - w + 1. Let d(k) = 2*k**2 - 20*k + 53. Let a(m) = d(m) - 3*r(m). Does 9 divide a(-16)?
False
Let s(x) = -13*x**2 + 1. Let n = -9 - -8. Let w be s(n). Let y(c) = c**2 + 10*c - 9. Is y(w) a multiple of 5?
True
Let w(z) = 63*z**2 + 15*z - 63. Let r(i) = 9*i**2 + 2*i - 9. Let y(n) = -15*r(n) + 2*w(n). Let f(q) be the first derivative of y(q). Is f(-1) a multiple of 6?
True
Suppose 0 = -d + 5*p + 828, 2*d = 5*d + 5*p - 2424. Is 12 a factor of d?
False
Let t(w) = 20*w - 15*w + w**2 - 2*w**2 + 0 + 1. Let s be t(4). Suppose b - 4*j = -s, -j - 7 = -3*b + 33. Is 15 a factor of b?
True
Suppose 0 = f + 15*f - 3536. Is f a multiple of 4?
False
Let q = 238 - 371. Let a = q + 221. Is 22 a factor of a?
True
Let v = -671 + 1177. Is 30 a factor of v?
False
Let z(j) = 3*j**2 - 4*j. Let q = 12 - 8. Does 16 divide z(q)?
True
Does 14 divide ((-260)/(-25) + -11)*645*-1?
False
Suppose 11*g = 69*g - 91814. Is 26 a factor of g?
False
Suppose -q - 183 + 303 = 0. Does 24 divide q?
True
Suppose c - 125 = -4*m, 0*c + c - m = 115. Is 11 a factor of c?
False
Let l(g) = 9*g - 61. Is l(27) a multiple of 13?
True
Let t(b) be the first derivative of -2*b**2 - 12*b - 15. Suppose -2*i - 2*j - 18 = -2, 2*i = -3*j - 17. Is 12 a factor of t(i)?
False
Suppose 416 - 31 = 5*k. Is 8 a factor of k?
False
Let u(b) be the first derivative of b**4/6 - b**3/6 + 7*b**2 - 4*b + 4. Let v(c) be the first derivative of u(c). Is 23 a factor of v(-5)?
True
Suppose 5*t - 2*y - 18486 = 0, 3*t - 4*y + 6276 = 17376. Is t a multiple of 24?
True
Let x(u) = u**3 - 4*u**2 + 9*u - 16. Does 11 divide x(11)?
False
Suppose -608 = -t + 5*d, 3*t - 1738 = d + 156. Does 24 divide t?
False
Suppose -178 = -2*u + 912. Does 10 divide u?
False
Let a(b) = 15*b - 13. Suppose 2*p + 5*g - 21 = 0, -7*p = -2*p - 5*g. Is a(p) a multiple of 7?
False
Let o(z) = -z + 3. Let v(r) = r**2 + 3*r - 4. Let p be v(5). Suppose 0*u = -4*i - 3*u - 47, -2*i = 4*u + p. Is o(i) a multiple of 4?
False
Let n(b) = 9*b**2 - 8*b**2 + 2*b**3 - b**3 + 7. Let a be n(0). Suppose -a*j + j + 144 = 0. Does 12 divide j?
True
Let z = -1263 - -2399. Is 71 a factor of z?
True
Let f = 2341 - 1486. Is 42 a factor of f?
False
Let v = -372 - -741. Suppose 4*h - v = -0*c - 5*c, h = -5*c + 81. Is 12 a factor of h?
True
Suppose 2*s + 5 = -2*o + 11, 2*s = o. Suppose -4*l = o*d - 48, -4*l + 52 = -2*d + 3*d. Is 2 a factor of l?
True
Suppose 0*t + t = -3*g + 91, -4*t - 2*g + 334 = 0. Let i = 32 + -48. Let n = t + i. Does 29 divide n?
False
Let u be 38/(-14) - (-2)/(-7). Let l be (-117)/(-12) - u/12. Suppose -4*j = -62 - l. Is j a multiple of 5?
False
Let v(w) = -w - 1. Let p(o) = -o**3 + 4*o**2 + 19*o. Let c(r) = p(r) + 4*v(r). Does 14 divide c(6)?
True
Suppose 2*b = 5*v + 12, b = -4*v - 4*b - 3. Does 15 divide (v/(-8)*10)/((-2)/(-72))?
True
Suppose 12*f - 8*f - 16 = 0. Suppose 20 + 16 = f*b. Let w(l) = 10*l - 6. Does 28 divide w(b)?
True
Let r(z) = 48*z**2 - 7*z - 6. Let j