05 = 4*x. Let j = -29 - 12. Let u = x + j. Is u a multiple of 21?
False
Let j(p) be the first derivative of 7*p**3/3 + 5*p**2/2 + 5*p - 2. Is j(-2) a multiple of 2?
False
Suppose 0 = -z + 3*w + 2*w + 406, -2*z + w = -830. Is 4 a factor of z?
True
Suppose 2*u = -0*u - 54. Let o be (-219)/(-27) - (-3)/u. Suppose -5*z = 3*l - o*l - 180, -5*z = -3*l - 174. Is 14 a factor of z?
False
Let i = -39 + 44. Suppose -2*n + 55 + 14 = 3*x, -25 = i*x. Is 6 a factor of n?
True
Suppose 2*i - 78 + 232 = 2*d, -2*i = 2*d - 170. Let f = 256 - d. Does 29 divide f?
False
Let r(m) = m**2 - 17*m + 525. Is r(0) a multiple of 25?
True
Let r = 4254 - 1770. Does 18 divide r?
True
Let w = 1164 + -264. Suppose -w = -0*r - 4*r. Is 45 a factor of r?
True
Let v(w) = 4*w**2 + 24*w - 35. Is 17 a factor of v(11)?
False
Let x(z) = 4*z**2 + 12*z - 1. Let k(o) = 9*o**2 + 24*o - 1. Let a(w) = -3*k(w) + 7*x(w). Let i be a(-7). Let c = -9 - i. Is c a multiple of 10?
True
Let u = 108 + -117. Is ((1 - 1) + 1)*(39 + u) a multiple of 3?
True
Suppose -164*a = -165*a + 6. Suppose 2*h - 16 = -a. Is h a multiple of 5?
True
Let m be (-3)/((-60)/(-32))*-5. Let h = 1 - -4. Suppose -i + h = -m. Is 8 a factor of i?
False
Let h(p) = p**2 - 6. Let s be h(3). Suppose s = -4*m + 111. Let n = m + -13. Is n a multiple of 7?
True
Let z = -10 + 15. Suppose -3*x + 3*o = -69, 20 = -z*x + 4*o + 138. Is 13 a factor of x?
True
Let v(n) = 5*n**2 - 9*n + 12. Does 14 divide v(4)?
True
Is 9 a factor of (-4206)/8*216/(-81)?
False
Let g(q) = -2*q**3 + 13*q**2 - 5*q**2 + 5*q**2 + 3*q**3 + 2 + 12*q. Let f be g(-12). Suppose f*y = 45 + 35. Does 20 divide y?
True
Does 46 divide (4 - 522/63)*-322?
True
Suppose 319 = 11*l - 561. Is l a multiple of 3?
False
Let x(u) = -2*u - 9. Let y = 1 + -7. Let i be x(y). Suppose -4*t = w, 2*t + i*t = 3*w - 17. Is w a multiple of 4?
True
Suppose -n + 3*c - 16 = 0, -40 = 3*n + 3*c - 4*c. Let r = 18 + n. Suppose -r*u - 5*m + 123 + 162 = 0, 0 = -3*m - 6. Does 22 divide u?
False
Suppose -161 = -8*l + 6*l + 5*b, -48 = -l - 4*b. Is 3 a factor of l?
False
Let b(o) be the first derivative of 23*o**2/2 - 38*o + 6. Does 20 divide b(6)?
True
Let r = -57 + 57. Suppose -u + 4*u - 216 = r. Is 18 a factor of u?
True
Let w(f) = 11*f**3 + 1. Let x be w(2). Suppose n - 304 + x = -5*l, -3*l = 2*n - 136. Is l a multiple of 6?
True
Let r be ((-16)/(-56))/((-1)/(-14)). Suppose r*d = u - 4, 2*d + 44 = -2*u + 6*u. Is u a multiple of 12?
True
Let l(g) be the second derivative of g**6/180 - g**5/12 + 5*g**4/8 + 5*g**3/6 - g. Let h(f) be the second derivative of l(f). Does 9 divide h(6)?
True
Is 63 a factor of 6/33 + 8158/22?
False
Does 29 divide (-4178)/(-16) + (-7 - (-275)/40)?
True
Suppose 12 = 5*k - 13. Suppose -625 = -5*f + 5*r, -2*r + 0*r = -k*f + 610. Let z = f - 70. Does 13 divide z?
False
Suppose 0 = y - 3 + 10. Let q(o) = o**3 + 10*o**2 + 12*o - 4. Is q(y) a multiple of 12?
False
Let v(f) = 8*f + 8. Let c = 9 + -15. Let z be v(c). Let n = z - -60. Does 10 divide n?
True
Suppose 0 = 4*f - 3*d + 7, -5*d + 20 = 3*f - 11. Suppose 0 = k - f + 6. Let r(i) = -27*i - 5. Does 22 divide r(k)?
False
Suppose 0 = -36*c + 44*c - 1568. Does 28 divide c?
True
Let h(s) = 5*s + 4. Let i(n) = 2*n + 1. Let x(t) = -6*h(t) + 21*i(t). Suppose -32 = -5*y + 4*v + 13, -3*y + 4*v + 35 = 0. Is 19 a factor of x(y)?
True
Let p = -108 + 63. Let s = 171 + p. Is s a multiple of 21?
True
Let d be ((-76)/(-95))/((-4)/(-10)). Suppose 0 = -w - 5, -d*c + 0*c + 3*w + 135 = 0. Is c a multiple of 20?
True
Let v be 0/((3 - 2)/1). Suppose -35*c = -39*c + 12. Suppose v = -3*b - t + 155 - 15, c*b = t + 148. Does 16 divide b?
True
Let w(d) = d**3 - 2*d**2 + 2*d - 1. Let h be w(1). Suppose -3*s + 165 = -4*a - 320, h = -s - 5*a + 130. Does 23 divide s?
False
Suppose 28 = 2*x + 3*n - 37, 4*n + 89 = 3*x. Let z = x + -165. Let c = -50 - z. Does 21 divide c?
True
Suppose 5*u + 193 = -1907. Let v = -215 - u. Suppose -n - 2*n - 5*a + 151 = 0, -5*n + a = -v. Does 14 divide n?
True
Let w = 163 + 9. Is w a multiple of 43?
True
Let n = -15 + 20. Suppose -n*w + 364 = 49. Suppose -4*y = 3*k - 32, 9*y - 4*y - w = 2*k. Is 4 a factor of y?
False
Is 467 + (5/10)/((-4)/(-24)) a multiple of 9?
False
Let q(d) be the first derivative of -3*d**2 + 2*d + 6. Is q(-3) a multiple of 10?
True
Let d = -32 + 2. Let t(y) = 2*y**2 - 8*y - 8. Let o be t(-8). Is 9 a factor of o/10 - (-12)/d?
True
Let t(f) = -9*f + 36. Does 11 divide t(-6)?
False
Suppose 0 = 11*t - 7*t + 3*y - 5262, t = -2*y + 1313. Is 14 a factor of t?
False
Let d(x) = 2*x**2 + 8 - 3 - 5*x - x**2 + 5. Let g = -16 + 11. Does 12 divide d(g)?
True
Is 4 a factor of (28/3)/(1/9)?
True
Suppose q = -2*q - 3. Suppose g + m = 46, -g - m - 179 = -5*g. Let u = q + g. Does 14 divide u?
False
Suppose c + 0*c + 5*c = 0. Suppose -2*f + f - 4*a + 131 = c, -4*f + 589 = 3*a. Is 27 a factor of f?
False
Let z(f) = -f + 1. Let l(g) = 4*g + 13. Let w(x) = 3*l(x) - 6*z(x). Is 41 a factor of w(5)?
True
Let o = 817 - 585. Is 12 a factor of o?
False
Let f be (0 - -9)/(3/2). Let u = f - -12. Does 14 divide u?
False
Let o(j) = -j**3 - 7*j**2 - 1. Let d be o(-7). Let q be (-24)/(0 + -2 - d). Let v = 41 - q. Does 16 divide v?
False
Let r(y) = -2*y**3 - 23*y**2 + 20*y + 110. Is 4 a factor of r(-12)?
False
Let a(c) = 45*c + 20. Is 20 a factor of a(8)?
True
Suppose -8 + 3 = c, 2*s + 3*c = 379. Is 4 a factor of s?
False
Let y = 33 + -36. Let p = y + 26. Does 6 divide p?
False
Suppose 0 = -10*n - 51 + 1. Let f(w) = w. Let c(l) = l + 7. Let u(b) = -c(b) - 4*f(b). Does 18 divide u(n)?
True
Let l(t) = 34*t**2 - 2*t + 6. Let w be l(2). Suppose -w = -4*b - 10. Is b a multiple of 13?
False
Suppose -4*l = -4*y + 456, 4*y + 7*l - 416 = 3*l. Suppose -u + 111 = -y. Let v = u - 148. Is v a multiple of 24?
True
Let b(y) = 8*y - 25. Let k(t) = 4*t - 34. Let l be k(10). Is b(l) a multiple of 4?
False
Suppose 6*i = 4*i + 20. Let c(n) = -n**3 + 9*n**2 + 9*n + 10. Let h be c(i). Let k(a) = -a + 21. Is 14 a factor of k(h)?
False
Suppose 4*q - 8 = -0*q - 3*b, 5*b = 0. Suppose -y = -q*y + 33. Let l = 16 + y. Is l a multiple of 25?
False
Suppose 324*u - 315*u - 38466 = 0. Is u a multiple of 16?
False
Let d be -3 + 13 + (0 - 5). Suppose -2*l + 114 = 4*q, 261 = d*l + q + 3*q. Is 6 a factor of l?
False
Let h = -8 + 7. Is 26 a factor of 81 + 3 + h - 1?
False
Let y = -4 - 41. Let g = 171 + y. Is 14 a factor of g?
True
Let c = 0 - -5. Suppose 3*d + c*x - 22 = 0, 4*d - 72 = 2*x + 2*x. Does 8 divide d?
False
Suppose 3 + 0 = 3*h + 5*y, -3*h - 2*y = -3. Is -2 + h + (12/3 - -41) a multiple of 11?
True
Let o = -76 - -442. Does 60 divide o?
False
Suppose 5*t - 2*t = -2*r + 11, r - 7 = -t. Let i(f) = f + 2. Let w be i(0). Suppose -n + 5*h = -0*n - 5, 2*n - r = w*h. Is n a multiple of 3?
False
Suppose s = 2*s - 3. Suppose 8*g + s = 5*g. Let l(d) = -6*d**3 + d**2 + 3*d + 2. Is l(g) a multiple of 3?
True
Let m be 3/2 + 162/12. Suppose -q + 3 - 4 = -y, -y = -5*q + m. Does 17 divide 33*y*6/15?
False
Let t(l) = -5*l**3 + l + 1. Let j be t(-1). Suppose -1 = -5*d + 19. Suppose -d*w - 50 = -j*w. Is 14 a factor of w?
False
Suppose 2*p = -10, -3*g + 17 = -4*p - 15. Suppose -5*d + 4*a + 39 = 0, a + 1 = -d + g*a. Is d a multiple of 11?
True
Suppose -18174 = 30*i - 32*i. Is 38 a factor of i/65 - (-4)/(-5)?
False
Suppose -j - 238 = -2*z, j + 2*j = 3*z - 354. Is 7 a factor of (6 + z/(-25))/(2/35)?
True
Suppose -2*h + 4*z = -3*h + 411, -5*h - 5*z = -1995. Suppose 10*d = 235 + h. Does 4 divide d?
False
Suppose 2*z = 2*d + 24, -z + 0*d + 21 = -4*d. Suppose 0 = z*j - 1033 - 101. Is j a multiple of 21?
True
Suppose 0 = -2*j + 6, 3*w - 4*j = -2*w + 7208. Is 19 a factor of w?
True
Let f(h) = 4*h**3 - 11*h**2 + 20*h - 36. Let z(n) = 5*n**3 - 10*n**2 + 21*n - 35. Let x(i) = -6*f(i) + 5*z(i). Does 5 divide x(-17)?
False
Let k be 32 - (-3 + 0/(-3)). Let q = -16 + k. Let y = 35 - q. Does 14 divide y?
False
Is 88 a factor of (55*(-40)/(-250))/((-1)/(-120))?
True
Suppose 0 = -2*g - 2*b + 16, 3*g - b = 6*g - 16. Suppose -g*p = 2*u - 204 - 104, 3*p - 805 = -5*u. Is u a multiple of 35?
False
Let l(d) = -d**3 - 12*d**2 - d + 10. Let f(g) = -g**2 + 8*g - 7. Let p be f(7). Let b be -9 - (p - (-6 - -3)). Is l(b) a multiple of 11?
True
Let c = 102 - 110. Let i = 44 - c. Is 15 a factor of i?
False
Let u = -968 + 3077.