ppose u = 5*f - 5*w - 410, f - 3*w - 77 - 7 = 0. Does 20 divide f?
False
Let d(n) = -16*n - 3. Let h(t) = -36*t - 12. Let c(j) = j + 1. Let x(y) = 5*c(y) + h(y). Let g(b) = 10*d(b) - 4*x(b). Is 24 a factor of g(-2)?
False
Let q(h) = 2*h**2 - 7*h + 3. Let m be q(5). Suppose -3*p - 5*l + m + 4 = 0, -p + 30 = -4*l. Is 4 a factor of p?
False
Suppose -2*x = -31*x + 16588. Is 11 a factor of x?
True
Let p be 438/27 + 2/(-9). Let b = p - 11. Suppose -j - 218 = -5*j - b*s, -2*s = j - 53. Does 19 divide j?
True
Let w = -3781 + 6045. Is w a multiple of 96?
False
Suppose 5*d - 16 = -7*u + 3*u, 2*u + 14 = 3*d. Let j be 18/d*(-13 - -15). Is 19 a factor of j - 7 - (-28 - -1)?
False
Let s = -40 - -22. Let f = 1345 + -508. Is f/s*2/(-3) a multiple of 10?
False
Suppose 0 = 3*h - 5*w - 338, 5*h - 981 + 397 = -2*w. Is 16 a factor of 9251/h - 2/(-8)?
True
Let v(q) be the second derivative of -q**6/120 - q**5/15 + q**4/12 - q**3/3 + q**2 + 3*q. Let a(h) be the first derivative of v(h). Is a(-5) a multiple of 5?
False
Let q(v) = v**2 - 2*v - 7. Let h be q(5). Suppose h - 5 = -j. Let m(g) = -g**3 - 2*g**2 - 1. Does 4 divide m(j)?
True
Let f(b) = b**3 - 3*b**2. Let q be f(5). Let s = -87 + q. Is -1 - (4/(-2) + s) a multiple of 19?
True
Let b(o) = 20*o - 144. Is 32 a factor of b(20)?
True
Is (-314)/(-6) - (-7)/(126/12) a multiple of 5?
False
Suppose -16*k = 5*k - 1239. Does 6 divide k?
False
Let s(l) = -9*l + 184. Is s(-13) a multiple of 54?
False
Suppose 3*x = -4*z + 14, z - 2*x + 4*x - 1 = 0. Suppose 4*w - 2 = z*w, 4*w = -4*q + 12. Suppose 0*j + 4*j = -2*s + 376, -q*j + 2*s + 470 = 0. Does 21 divide j?
False
Let j be (1/5)/((-12)/(-300)). Suppose -3*l = -j*w - 35, 3*l + 2*w - 3*w - 31 = 0. Is l a multiple of 3?
False
Is 65 a factor of (63/(-12))/(1 + 2088/(-2080))?
True
Let c = 15 - 11. Let t be (-1)/(c/3)*16. Let z = t - -14. Is z a multiple of 2?
True
Let m(o) = o**3 - 2*o**2 - 20*o - 2. Does 50 divide m(9)?
False
Suppose -5*o - 392 = -12*o. Is o a multiple of 35?
False
Let x(n) = -n - 13. Let u be x(-17). Suppose -u*o + 292 = -4*h, -4 = 2*h - 2. Does 9 divide o?
True
Suppose 0 = -5*s + 160 + 200. Suppose -3*z - 725 = -8*z. Let t = z - s. Is t a multiple of 24?
False
Let x = 675 + -1663. Is 24 a factor of -7 - x/8 - (-2)/4?
False
Let y(m) be the second derivative of m**4/3 + 2*m**3/3 - m**2 - 13*m. Does 26 divide y(4)?
True
Suppose -4*c + 2*j + 316 = 0, 8*j = -2*c + 4*j + 148. Is 18 a factor of c?
False
Suppose -4*y - t + 3 = 0, -3*y + 0*t - 5*t - 2 = 0. Let q = 2 + y. Suppose -28 = -q*n - 4*i, -3*i + 54 = 3*n + 2*n. Is n a multiple of 12?
True
Let v = -81 + 86. Let l(j) = 6*j**2 - 13*j + 5. Is l(v) a multiple of 21?
False
Let i(v) = -v**3 + 14*v**2 + 8*v + 47. Is i(13) a multiple of 15?
False
Suppose -8*h - 3 = -9*h. Let c(j) = h*j + j - 2*j - 1 - j. Is c(5) even?
True
Let g(u) = u**3 - 3*u**2 + 4*u - 4. Let w be g(3). Is 31 a factor of 182*(12/w - 1)?
False
Let p = -4 - -6. Suppose -250 = -3*b - p*r, 4*r + 111 = 2*b - 77. Let c = b + 22. Is 36 a factor of c?
True
Let n(y) = -4*y**3 - 3*y - 5. Is n(-5) a multiple of 51?
True
Let o(s) = 54*s**2 + 42*s + 263. Is 23 a factor of o(-6)?
True
Suppose -98*h = -96*h - 242. Is h a multiple of 11?
True
Let w(r) = 97*r - 100. Is w(10) a multiple of 10?
True
Let m(t) = -t**3 - 6*t**2 - 3*t + 13. Let d be m(-5). Suppose -d*i + 42 = -156. Is i a multiple of 6?
True
Suppose h = 3*w + 207, 0 = -8*h + 3*h + 3*w + 999. Is h even?
True
Let h = 11 - 17. Is 14 a factor of 105/h*(-12)/5?
True
Let l(d) = d**2 + 9*d + 6. Let c be l(-9). Let t be c/(-21) - (-46)/14. Suppose t*h - 34 = h. Does 7 divide h?
False
Let k(j) = -j**3 - 5*j**2 + 6*j + 3. Let b be k(-6). Suppose -4*f - c + 168 = -2*f, -254 = -b*f - 2*c. Is f a multiple of 17?
False
Let a(j) be the third derivative of j**6/120 + j**5/60 - 58*j**3/3 - 4*j**2. Let w be a(0). Is 7 a factor of 3/(-2)*w/6?
False
Let p be (7 + -4 - 7)*134/(-8). Suppose -4*l + 117 = -2*z - p, -l = 3*z - 60. Is l a multiple of 12?
True
Suppose a = 5*l - 3, 5*l - l = -4*a + 12. Let c be (1/l)/(5/10). Suppose 3*n = 3*i + 72, 0 = 3*n - c*n + 5*i. Does 10 divide n?
True
Let g be 1/((-38)/8 + 5). Is -2 + 89 + 1 + g a multiple of 10?
False
Suppose 0 = q + 4*q + 65. Let m = -13 - q. Suppose m = -2*s - 5*h + 41, -s - 2*h + 13 = 3*h. Does 6 divide s?
False
Does 30 divide (-1 + 2272)/(7 - 0 - 6)?
False
Suppose -3*u = -2*d - 788, 9*u - 4*d - 1312 = 4*u. Suppose 3*z - 61 = -i, -2*z + u = 4*i + 50. Is i a multiple of 13?
True
Let n = 87 - 80. Let f(o) = 3*o**2 - 18*o - 10. Is f(n) a multiple of 4?
False
Suppose 4*a + 690 = 10*a. Does 5 divide a?
True
Let a be 2/(-6) - (-312)/18. Let b = -15 + a. Suppose 0*i - 2*i = -5*q + 33, -q = -5*i - b. Is 7 a factor of q?
True
Does 20 divide (-3)/6*3408/(-2)?
False
Suppose 9 = 3*m - 5*x, -2*m - 4*x = -7*m + 28. Suppose -b = m*b - 2565. Is b a multiple of 15?
True
Let d(i) be the first derivative of -i**2/2 + 12*i + 9. Let w be d(8). Let c(v) = v**2 + 2*v - 2. Does 11 divide c(w)?
True
Let h = 58 + 8. Let z(g) = g**3 + 7*g**2 + 2*g + 5. Let x be z(-5). Let a = h - x. Is a a multiple of 15?
False
Let p be (-24)/(-15) - 3/(-30)*4. Is p + (-381)/(-9) - 4/12 a multiple of 34?
False
Suppose -4*j - h + 41 = 0, 1 = 4*h - 19. Does 31 divide 1401/j + ((-3)/(-9) - 1)?
True
Let x = -557 + 722. Is x a multiple of 9?
False
Let c be 688/240 - (-4)/30. Suppose -3*v = c*b - 132, -v - 9 - 39 = -b. Is 27 a factor of b?
False
Let v be -5 + 246 + -4 - -3. Suppose -15*b + v = -240. Is 16 a factor of b?
True
Let v(i) = i - 17. Let h(x) = 3*x - 50. Let t(q) = -6*h(q) + 17*v(q). Is 5 a factor of t(4)?
False
Suppose 2*i - i + 1 = 0, -63 = -y + 5*i. Does 29 divide y?
True
Suppose 24*h - 21384 = 13*h. Does 18 divide h?
True
Let w(y) = 23*y**3 + y**2 - y. Let x = -63 + 64. Does 17 divide w(x)?
False
Suppose 2*u + n = -n + 2, -5*n - 15 = 0. Let i be u/(-6)*(2 - 44). Does 5 divide 7/i - 78/(-8)?
True
Let o be (-1 - -1) + -2 + -12. Let k = 7 + o. Let r(i) = i**2 + 4*i - 4. Is 13 a factor of r(k)?
False
Let t(x) = -3*x**2 - 33*x - 2. Let l be t(-11). Does 9 divide l/(12/(-906)) + 2?
True
Let m be (-2)/(-2) - (-6 - 2). Is 17 a factor of 14/(-8)*(-180)/m?
False
Suppose j = 3*j - 86. Suppose -k = 3*w + 170 - j, 4*w + 191 = 3*k. Does 6 divide 5/((-10)/w) + 2?
True
Let h = 67 + -65. Suppose -5*x - 3*z + 602 = -9, -4*x + h*z = -502. Is x a multiple of 37?
False
Let f be (-724)/32 - -2 - 9/24. Suppose 2*r = 6*r - 24. Is 2 a factor of (36/(-21))/(r/f)?
True
Let n(o) = o + 10. Let m be n(-6). Suppose -m*v + 325 = v. Suppose v = 17*l - 12*l. Does 11 divide l?
False
Let u(j) = 115*j**2 - 5*j + 9. Does 17 divide u(2)?
True
Let o = 68 - 37. Suppose o = -k + 85. Is k a multiple of 6?
True
Let n = 11 - 9. Let g = 7 - n. Suppose -u + g*i = 3*u - 123, -5*i - 42 = -u. Is u a multiple of 10?
False
Let m(a) = 72*a - 420. Does 12 divide m(44)?
True
Let m = -83 - -125. Suppose -23 = 4*f - 7, 2*w + 3*f = m. Is 9 a factor of w?
True
Suppose 80 - 624 = -2*f. Suppose 5*y = 388 + f. Does 22 divide y?
True
Suppose w = 3*s + 35, -2*s = 3*w - 2*w - 40. Is 19 a factor of w?
True
Suppose 0 = -5*p + 197 + 828. Let l = p - 93. Is l a multiple of 14?
True
Let k = 21 - 12. Suppose -z = k*z - 430. Does 4 divide z?
False
Suppose -184 = -2*s + 260. Is s a multiple of 11?
False
Suppose -6*a + 50 = -4. Let i = a + 5. Is 2 a factor of i?
True
Let b(q) = 0 + 3 - q - 7. Let z = -9 - 1. Does 2 divide b(z)?
True
Let u(l) = l**2 - 9*l + 22. Let f be (-10)/(-65) - 180/(-13). Is u(f) a multiple of 23?
True
Is 143/(-26)*2 + 5081 a multiple of 13?
True
Suppose -11*y = -6912 + 1291. Is y a multiple of 10?
False
Let d(h) = -h**3 - h**2. Let m(l) = -11*l**3 - l**2 + l. Let s(p) = -2*d(p) + m(p). Is s(-1) a multiple of 2?
False
Suppose -25*m + 7714 = -18*m. Is m a multiple of 94?
False
Let r = -112 - -290. Is r a multiple of 25?
False
Suppose -m = -3*f + 6, 4*f + m - 5*m = 0. Let d(v) = -5*v + 2*v - 5*v**2 + 2 + v**f + 0*v**2 - v. Is d(7) a multiple of 20?
False
Suppose 13*k - 2*k - 3960 = 0. Is k a multiple of 30?
True
Let u = 902 + -492. Is 9 a factor of u?
False
Suppose -71 = s + 9. Let h = 146 + s. Does 10 divide h?
False
Suppose 2*y - 5 - 1 = 0. Suppose y*g = -2*a - a + 609, -5*a + 4*g = -1060. Is 26 a factor of a?
True
Let h(u) = 163*u**2 - 1. Let s be h(1