 = -g**3 - g + 14. Is b(w) a multiple of 4?
False
Suppose -3*p = 5*q + 39, -15 = 13*q - 8*q - 5*p. Let w(v) be the second derivative of v**4/12 + 2*v**3/3 + 6*v**2 + 2*v. Is w(q) a multiple of 8?
True
Let o be -1 - ((-16)/(-4) + -3). Let z be (3 + o - -3) + 5. Let r = 13 - z. Is r a multiple of 4?
True
Suppose -3*a + 4*o = 5*o - 17, -4*a = -3*o - 14. Suppose -a*f = 14 - 889. Does 32 divide f?
False
Is 668/((2/7)/((-17)/(-119))) a multiple of 14?
False
Suppose 20*i = 4153 + 7747. Is 7 a factor of i?
True
Suppose 14 = 2*b + 4*i - i, 2*b - 4*i = 0. Let g = -8 + b. Is 10 a factor of 58/(-2)*(3 + g)?
False
Let m(d) = -2*d - 1. Let b be m(-2). Suppose -f - 4*j = -53, -f - 3*f - b*j + 238 = 0. Suppose -3*x = 2*g - f, 0*g + 2*g - 4*x = 26. Is 6 a factor of g?
False
Let z(a) = -a**2 - 10*a + 115. Let o be z(8). Suppose -h - 3*v = -53, -7*h + v = -3*h - 186. Let u = o + h. Does 18 divide u?
True
Suppose -t = -0*t - g - 4, 0 = 2*g + 2. Suppose t*s - 2*s = 8. Suppose -s*n + 2*n = -216. Is 9 a factor of n?
True
Let v(s) = s**2 - 5*s + 5. Let m be v(5). Suppose -3*k + 6*k - 72 = -4*b, m*b - 35 = -k. Is 6/(-2) + k + -5 a multiple of 4?
True
Let y = -315 - -530. Suppose -3*r = 4*j - 7*j + 15, r = 2*j - 11. Suppose -y = l - j*l. Is l a multiple of 15?
False
Suppose q = 7 - 2. Suppose 3*j - 10 = -5*g, -g = q*j - 16 + 36. Does 35 divide (-5)/(-2)*(37 + g)?
True
Is (-9 - (-282)/30) + 5456/10 a multiple of 16?
False
Suppose p = 2, -4*p = 3*i - i - 208. Is i a multiple of 20?
True
Let g(v) = v**2 + v + 1. Let a(i) = i**3 - 10*i**2 - i + 10. Let b(y) = a(y) + 5*g(y). Does 3 divide b(4)?
True
Suppose 0*i - 5*i = -10. Suppose 0 = -i*b + 3*j - 5, 2*j + 3*j - 19 = -2*b. Suppose 2*y - 104 = -b*y. Is 13 a factor of y?
True
Suppose 5*x - 741 = -96. Does 4 divide x?
False
Suppose -2*y + 7*y = 60. Let d = y - 4. Is d a multiple of 3?
False
Is (-111 - -360) + 21/(3/1) a multiple of 16?
True
Let z = -2510 + 2960. Is 15 a factor of z?
True
Let d(i) = i**2 - 25*i - 13. Is d(-27) a multiple of 46?
False
Let v(p) = 117*p + 1. Let a be v(2). Let f = 146 - a. Is f/(-2) + (-6)/12 a multiple of 12?
False
Let m(r) = -118*r - 4. Let w be m(-1). Suppose 22*q - w = 19*q. Is 13 a factor of q?
False
Let w(b) = 18*b + 34. Does 40 divide w(7)?
True
Suppose -3*r - 7 + 52 = 0. Suppose -m - 657 = -2*f, 2*m - 5*m + r = 0. Is f a multiple of 15?
False
Suppose -r + 4*w - 3 = 0, 0 = 6*w - 5*w. Does 21 divide (1 - -120) + (-15)/r?
True
Suppose 44 = -s + 2*y, -40*y + 68 = -s - 44*y. Let w be ((-48)/9)/(4/(-78)). Let v = w + s. Does 13 divide v?
True
Let b = -6 - -5. Let f = 24 + -8. Let h = f - b. Does 17 divide h?
True
Suppose 0 = b, -5*q + 2*b - 6*b = 25. Let c(s) be the second derivative of -s**5/20 - s**4/4 + 5*s**3/6 + 22*s. Is 20 a factor of c(q)?
False
Let l = 144 + -94. Is l a multiple of 3?
False
Let o = 239 - 206. Is 3 a factor of o?
True
Suppose 96 + 144 = 2*s. Is s a multiple of 24?
True
Let o(f) be the third derivative of -f**6/120 - 17*f**5/60 + 3*f**3/2 + 40*f**2. Let k(z) = z**3 - 9*z**2 + 7*z - 9. Let m be k(8). Is o(m) a multiple of 3?
True
Suppose 5*y + 6 = -s, -3*s + 5*y + 18 = -s. Suppose 0*a + s*a = 0. Suppose a = 3*b - 11 - 79. Is b a multiple of 30?
True
Let t be 4/2 - ((5 - 1) + -2). Suppose -4*m + 5*l + 485 = t, m + l - 122 = 3*l. Does 12 divide m?
True
Is 5 a factor of (5 - 446/(-10)) + 6/15?
True
Suppose 0 = -2*s - 2*s. Suppose s = -2*i - p + 2*p - 18, 2*p = -i - 14. Does 4 divide i/(-55) - (-152)/11?
False
Let s be 2 + -8 + (-5)/(-5). Does 24 divide 49 - (-4)/(s/(-5))?
False
Let b(j) = -j**3 - 6*j**2 + 8*j + 9. Let d be b(-7). Suppose -2*z = d*z - 24. Suppose -140 = t - z*t. Is t a multiple of 12?
False
Suppose -2*r - 230 = -p, 3*p - 2*r - 354 = 324. Is 25 a factor of p?
False
Let x = 24 + 66. Let l = 510 + -222. Suppose -g = w + 4*g - x, 0 = 4*w - 4*g - l. Does 24 divide w?
False
Let o = 21 - 16. Does 4 divide o/2*414/45?
False
Let w(x) = 6*x - 5*x**2 - 3 + 22*x**2 - 1 - 7*x. Is w(-2) a multiple of 11?
True
Suppose u + 270 = 6*u. Suppose -3*h - 34 = -5*r - 2*h, 3*h + 24 = 2*r. Suppose -p = -u - r. Does 10 divide p?
True
Suppose -5*r = 2*p - 13, -4*p - 4*r + 21 = 1. Suppose 0 = p*z + 33 + 27. Let g = 21 - z. Is g a multiple of 18?
True
Let k(r) = r**2 - 15*r + 16. Let l be k(14). Let n(v) = 2*v**3 - 2*v**2 - v. Let x be n(l). Does 11 divide x/(-6*4/(-176))?
True
Suppose -4620 = -27*j + 131703. Is j a multiple of 27?
True
Suppose r - 60 = 2. Suppose -y - 1 = 0, 0*y - 2*y = -c + r. Does 22 divide c?
False
Let p be -4*(-5)/(-15)*6/(-4). Suppose -75 - 62 = -2*m - 3*w, 0 = -2*w - p. Is m a multiple of 10?
True
Suppose 13 = 3*w + z - 0*z, 5*w - 5*z = 15. Suppose w*l + 33 = 5*l. Is 13 a factor of l?
False
Suppose -2*m - 7 + 19 = 0. Suppose -m*g + 884 - 194 = 0. Is 6 a factor of g?
False
Suppose -3*a + 13*a = 50. Suppose 1 = n - a*d + d, 5*d = 5*n - 20. Is 5 a factor of n?
True
Let b(r) = r**2 - 11*r + 15. Let d be b(9). Let i = 2 + -1. Is 15 a factor of i*d*30/(-2)?
True
Suppose -11*a + 3872 = 1067. Does 14 divide a?
False
Suppose 0 = 2*d + l - 71, -2*l + 7*l - 15 = 0. Let t = -9 + d. Does 9 divide t?
False
Let r(w) = 7*w**2 + w + 1. Let l be r(-1). Suppose -2*h = -67 + l. Is (-1)/5 + 216/h even?
False
Is (-196)/21*(-63)/28 a multiple of 3?
True
Let f = -253 + 255. Let x be 19 + (-2 - (0 + -1)). Suppose -f*h + x = -32. Is h a multiple of 9?
False
Let q = 26 + -22. Suppose 272 = q*a - 3*c, -3*a - 3*c + 123 = -81. Is a a multiple of 17?
True
Let t(n) = -n**3 - 11*n**2 + 16*n + 41. Let j be t(-12). Does 7 divide 1*2/j + 1235/35?
True
Let k(g) be the first derivative of -g**5/20 + 2*g**4/3 - 7*g**3/6 + 4*g**2 + 2*g + 3. Let l(h) be the first derivative of k(h). Is l(7) a multiple of 2?
True
Let c(l) = -4*l + 42. Suppose 4 = i - 2*i, -4*i = -u + 23. Is 4 a factor of c(u)?
False
Is (-10)/90*3 + (-2836)/(-12) a multiple of 7?
False
Suppose 4*q - 8 = 5*v, -3*q - 4 = -5*v - 5. Suppose q*s = 209 - 41. Is 4 a factor of s?
True
Let q(t) = 12*t**2 + t + 8. Let o be q(5). Suppose o = 4*g - 87. Is g a multiple of 10?
True
Let i(x) = x**2 + 28*x + 545. Is 10 a factor of i(-43)?
True
Let z(c) = 3*c**2 - 8*c - 2. Let d(n) = n**2 - n - 1. Let w(i) = -4*d(i) + z(i). Let k be w(-4). Suppose 4*r - 48 = -k*r. Is 7 a factor of r?
False
Suppose 5*k + 2 - 27 = 0. Suppose -u = -k*u - 16. Is 3 a factor of ((-10)/u)/((-4)/(-8))?
False
Let s(r) = 7*r**2 - 26*r + 26. Does 6 divide s(12)?
False
Suppose -4*k = 4*a - 36, -2*k + 23 = -a + 4*a. Suppose 4*h - 235 = d, -a*h + 129 + 196 = 5*d. Suppose 5*v = 9*v - h. Does 15 divide v?
True
Let n(y) = -15*y**3 + 6*y - 3. Let q(h) = h - 1. Let a(t) = n(t) - 4*q(t). Let i be a(-1). Let j(u) = -u**3 + 14*u**2 + 3*u - 16. Is j(i) a multiple of 21?
False
Suppose -4*h = 2*u - 16, -h + 10 - 3 = u. Let m(v) = 4*v**2 + v - 1. Is 16 a factor of m(u)?
False
Suppose 2*r + 2*r - 316 = 0. Suppose -12*w = -13*w + r. Is 6 a factor of w?
False
Let b = -1531 - -1556. Does 25 divide b?
True
Let t be 5 + (((-9)/3)/(-3) - 0). Suppose m - 9 = -2*m. Suppose 0 = m*c - t, -c = -q + 25 + 4. Is 15 a factor of q?
False
Let m(v) = -v - 5. Suppose -5*o + 88 = -2*l, -l = 4*o + 2*l - 52. Suppose 2*p = -3*n - 34, 0 = -n - 3*n - o. Is 6 a factor of m(p)?
True
Let k = -42 + 24. Is 7 a factor of (-1 - k/22) + 1716/121?
True
Is 3 a factor of 516 + 6 + -1 + 1 + -3?
True
Let l(x) = 127*x**2 - 6*x + 8. Is l(2) a multiple of 24?
True
Let x(w) = w**2 + 1. Let m be x(0). Suppose -6*y = 37 - m. Let s = y + 66. Is s a multiple of 15?
True
Let j = 7 + -7. Suppose j = -2*o - 2*i + 248, -2*o + 128 = -o + 5*i. Let v = 205 - o. Is v a multiple of 24?
False
Does 15 divide 6 + -1419*(-10)/15?
False
Let p be (-1)/(-2)*(-4)/(-1). Let y = p - 2. Suppose y = -4*v + 8 + 120. Is v a multiple of 8?
True
Let d = -62 - -64. Is 26 + d + -2 + 3 a multiple of 8?
False
Suppose -4*c - z + 320 = 0, 4*c - 3*z - 104 = 200. Suppose -4*p = c + 1. Let n = p + 61. Is n a multiple of 13?
False
Suppose 16*h - 28024 = -15*h. Is 14 a factor of h?
False
Let d = 283 - 115. Is (0 - 1)/((-4)/d) a multiple of 19?
False
Suppose 2*i - 387 = -i + 3*q, 0 = -2*q + 10. Does 28 divide i?
False
Suppose 7*m + 432 = 1972. Is m a multiple of 10?
True
Let p(h) = -3*h + 29. Let w be p(11). Is 11 a factor of 2/w - (-93)/2?
False
Let v = 111 + -262. Let y = v 