8*t**2 + 7*t - 4. Let x(d) = d**3 + d**2 + 1. Let p(w) = o(w) - 2*x(w). Is p(b) a multiple of 15?
False
Let g = -90 - -8. Suppose 5*i - 1 = 9. Is 10 a factor of i/(-8) + g/(-8)?
True
Suppose 0 = -l - 3, -3*l = 4*d - 4*l - 31. Is 2 a factor of d?
False
Let g = -10 + 7. Does 15 divide 1/((-9)/96)*g?
False
Does 6 divide (12*(-2)/10)/(2/(-55))?
True
Suppose -k + 16 = -0*k. Suppose -5 - k = 3*y. Is 12 a factor of 332/14 - 2/y?
True
Let y be 10/(4/2) + -1. Suppose v - y = 20. Suppose -2*g = -4*g + v. Is 4 a factor of g?
True
Let m = -122 - -71. Suppose -2*w - 2*u = 2*w + 142, 0 = -2*w + 3*u - 59. Let q = w - m. Is 17 a factor of q?
True
Let i be -102*(2/4 - 0). Let z be i*(20/6)/(-2). Is 14 a factor of z*-2*1/(-5)?
False
Let g = 73 + -63. Is g a multiple of 2?
True
Let q = -89 + 178. Does 17 divide q?
False
Let j = -1 + 1. Suppose -q - 4*x + 54 = j, -38 - 40 = -2*q - 2*x. Does 17 divide q?
True
Suppose 0 = 5*v + m - 57, 3*m = 2*v - 15 - 1. Suppose -2*k + v = -31. Is 6 a factor of k?
False
Suppose -5*y + 32 = -58. Is y a multiple of 7?
False
Let p(x) = 4 + 2 - 6*x - 4*x**2 + x**3 - 1. Let u be p(5). Suppose j + 0*z + 2*z - 10 = u, -10 = 2*z. Is 18 a factor of j?
False
Suppose -x - 110 = 4*x. Let g = -10 - x. Does 3 divide g?
True
Let w = -16 - -96. Is 16 a factor of w?
True
Let u = -11 + 30. Is u a multiple of 7?
False
Suppose 15 = 5*w - 0*w. Suppose -5 - 73 = -w*q. Does 26 divide q?
True
Let t be 1*(-2 - (-3 - 1)). Let q(a) = -1 + 5 - a**t - 1 + 6*a - a**3. Does 10 divide q(-4)?
False
Let v(i) = i**3 + 7*i**2 + 4*i + 1. Let z be v(-8). Let x = z + 9. Does 15 divide 12/18 - x/6?
True
Suppose 2*o + 4*l = -0*l + 268, -271 = -2*o - 3*l. Suppose -7*q + o = -5*q. Suppose -s + 86 = 5*w - 20, -3*w = -s - q. Is 12 a factor of w?
False
Let i = -34 + 154. Is 12 a factor of i?
True
Suppose m + 35 = 8. Let l be 2/(2 + m/12). Let v(y) = y**3 + 9*y**2 + 4*y - 4. Is v(l) a multiple of 14?
True
Suppose -7*u + 47 + 37 = 0. Is 11 a factor of u?
False
Let z = 2 + 3. Suppose -51 = -z*l + 174. Is 15 a factor of l?
True
Let u(p) = -3*p - 3. Let a be u(-3). Let t be a/27 + 4/(-18). Suppose 2*g - 14 = -t*g. Is 3 a factor of g?
False
Let m(c) = -c**3 + 25*c**2 + c + 19. Is m(25) a multiple of 4?
True
Is 8 a factor of 8/(-6)*(-3 + -3)?
True
Let u(a) = a + 10. Let y be u(-6). Suppose -3*o - 12 = -2*s - 5*o, -2*o - 12 = -y*s. Suppose -s*z = -3*h - 12, -3*z + 2*z - 4*h = -3. Does 3 divide z?
True
Does 36 divide (2574/77)/(6/28)?
False
Suppose j - 880 = -4*j. Suppose 17*i + j = 21*i. Is i a multiple of 14?
False
Let r = -49 - -84. Is r a multiple of 9?
False
Let a = -48 - -73. Is 20 a factor of a?
False
Suppose 2*v - 24 = 36. Is v a multiple of 6?
True
Let d = 7 - -293. Is 12 a factor of d?
True
Let v(h) = 3*h. Let u = -3 - -4. Suppose 4*g + 4*j + u - 53 = 0, -j - 3 = -g. Does 16 divide v(g)?
False
Suppose 2*y - 5*c + c - 88 = 0, 0 = 4*c + 16. Is y a multiple of 12?
True
Suppose -5*k - 166 = 149. Let w = -21 - k. Is w a multiple of 14?
True
Suppose -4*j - 2*h - 5 = 3, 0 = -h. Let f = j - -4. Suppose -5 + 33 = f*n. Is n a multiple of 7?
True
Let m(x) = -5*x - 7. Let v(i) = i + 4. Let u = 22 - 31. Let h be v(u). Is m(h) a multiple of 9?
True
Let w = 229 - 125. Is 37 a factor of w?
False
Let i(q) = 0*q**2 + 1 - 4*q + 0 + 3*q**2 - 4. Suppose 13 = -4*v + c, -1 = -c + 4. Is 7 a factor of i(v)?
False
Let p = 42 + 2. Is p a multiple of 12?
False
Is 3 a factor of (-9)/(0 + -1) - -3?
True
Let y(a) = -7*a**2 + a - 10 + 3*a**2 + 5*a**2. Is 23 a factor of y(-8)?
True
Let c(d) = d**2 + 3*d + 3. Let k be c(-3). Suppose k = 3*w - 6. Let q(a) = 2*a**2 - 4*a + 1. Does 7 divide q(w)?
True
Let j(n) = 13*n**2 - 7*n - 14. Is 22 a factor of j(-5)?
False
Suppose 2*p - 12 = 16. Is 14 a factor of p?
True
Suppose -5 = 2*t - 4*r - 13, -3*r - 11 = -4*t. Suppose 5*l - 35 - 10 = t*u, -3*l + 3*u + 27 = 0. Is 9 a factor of l?
True
Let c(o) = 2*o**2 + 4*o - 17. Is 18 a factor of c(-9)?
False
Suppose -162 = -2*n - 5*x, 0*n + 4*x - 439 = -5*n. Suppose 3*i - 2*d = -97, 4*i - d + 6*d + n = 0. Let l = 44 + i. Is l a multiple of 13?
False
Let y(d) = -7*d**3 + 2*d**2 - 4*d + 3. Let j be y(2). Let h = -34 - j. Is 11 a factor of h?
False
Let s(p) = -p**3 + 5*p**2 - 2*p - 5. Let q = 0 + 4. Let o be s(q). Suppose 5*a + 0*a - 226 = -o*c, 4*a - 3*c - 170 = 0. Is a a multiple of 22?
True
Let d = 143 - 27. Is 10 a factor of d?
False
Let j = 730 - 327. Is j a multiple of 13?
True
Let o be ((-246)/22 - 1) + 34/187. Let n be (-1 - -1 - -3)/(-1). Let c = n - o. Does 4 divide c?
False
Let i(o) = -o**3 + 19*o**2 - 18*o - 10. Is 13 a factor of i(17)?
False
Let c be 2/8 - 379/(-4). Suppose x + c = 6*x. Is x a multiple of 6?
False
Suppose -3*t + 36 = -9. Is 8 a factor of t?
False
Suppose -q + 3*u + 38 = 0, 0*q = 5*q + u - 110. Is q a multiple of 23?
True
Suppose 4*a = a + 180. Let g be (a/25)/((-2)/(-40)). Let t = g + -28. Is t a multiple of 20?
True
Let j = 62 + -28. Suppose n = -3*h + 5, -3*h + 7*n = 2*n - 11. Let s = j - h. Is s a multiple of 16?
True
Suppose -16 = 2*c - 20. Is 50*c/6*3 a multiple of 15?
False
Let j(d) = -d**3 + 6*d**2 - 6. Let k be ((-3)/(-6))/((-2)/(-24)). Let c be j(k). Let p = c - -28. Is p a multiple of 10?
False
Let h = 11 + 7. Does 3 divide h?
True
Let n(q) = 5*q - q**3 - 4*q**2 + 4 - 6*q**2 - 4*q + 9*q. Let v be n(-11). Suppose -h + 2*h = v. Does 8 divide h?
False
Let a(i) = 2*i + 4. Does 12 divide a(10)?
True
Suppose -k = -6*k + 5. Let b(y) = y**2 - 2*y + 1. Let l be b(k). Suppose 2*o + 9 - 63 = l. Is 13 a factor of o?
False
Let u(p) = 44*p - 2. Does 30 divide u(2)?
False
Let m be 4/(3 + -1) + 1. Suppose 2*n - 180 = -m*n. Is n a multiple of 18?
True
Let p = -80 + 194. Is p a multiple of 19?
True
Suppose -14*q = -17*q + 6. Suppose -3*x = -4*r - 29, -4*x = r - 0*x + 12. Does 6 divide q/4*-3*r?
True
Let u(f) = 6*f. Suppose 2 + 0 = 2*w. Is 3 a factor of u(w)?
True
Let l(i) = 0*i - 3 + 3*i - 2*i + 6. Let r be l(-10). Let x(n) = -n + 8. Is 15 a factor of x(r)?
True
Suppose -2*r + 5*d + 21 = 0, -11 - 8 = -2*r + 3*d. Is r a multiple of 2?
True
Let b(m) = -m**2 + 9*m + 13. Let v(w) = w**2 - 3*w - 8. Let x be v(6). Let f be b(x). Suppose f*c + 50 = 5*c. Does 15 divide c?
False
Suppose -4*j = 2*j - 6. Let y(b) = 35*b**2 + b. Is 18 a factor of y(j)?
True
Let l(o) be the third derivative of o**6/120 + 3*o**5/20 + 7*o**4/24 + 5*o**3/6 - o**2. Let x be l(-7). Suppose k = -2*k + x. Is 10 a factor of k?
False
Let u be (0 + -15)*3/(-9). Let s(l) = l**3 - 6*l**2 + 6*l - 6. Let d be s(u). Is 176/5 - d/(-5) a multiple of 15?
False
Let y(x) = -14*x**3 + 2*x**2 - 1. Let g be y(-1). Suppose -3*n = -g, -l + 3 = -0*l - 4*n. Does 13 divide l?
False
Suppose z + 4*z - 150 = 0. Is 111*2*10/z a multiple of 23?
False
Let s(q) = -6*q + 6. Is 16 a factor of s(-7)?
True
Let u be (-24)/10 + 4/10. Let p = 1 + u. Does 5 divide 21*p*1/(-3)?
False
Let g = 14 + 17. Is 10 a factor of g?
False
Suppose 0 = -y - 3*y + 84. Let q = y - 7. Is 3 a factor of q?
False
Let r(q) = -q**3 - 7*q**2 - 14*q + 5. Does 13 divide r(-9)?
False
Suppose m - 4*q - 22 = -0*m, 2*q + 102 = 4*m. Suppose 0*x + 2*x - m = 0. Is 11 a factor of x?
False
Suppose 3*r = 3*g + 4*r - 48, 0 = -3*g + 5*r + 30. Is 15 a factor of g?
True
Suppose 10*u = 4*u - 228. Suppose -28 = 2*h + j - 3*j, j = 0. Let c = h - u. Is c a multiple of 12?
True
Suppose -5*c - b + 76 = 15, 0 = -2*c + b + 23. Let x be (-3)/(2*9/c). Is x/8 + (-74)/(-8) a multiple of 4?
False
Let h(a) = -1 - 7*a**2 - 2*a + 2*a**3 - 3 + a. Let i be h(5). Suppose j - 4*b - i = 0, -2*j + 56 = -j + b. Is 21 a factor of j?
False
Let v = -4 + 2. Let x be (-2)/(v*3/(-36)). Is (-141)/x + 3/(-4) a multiple of 7?
False
Let i be (1 - 0)*6/2. Suppose 0 = 5*t - i - 17. Is 2 a factor of t?
True
Let i = -276 - -548. Does 43 divide i?
False
Let z = 54 - 33. Suppose 12 + z = 3*s. Does 11 divide s?
True
Let p(a) = a**2 + 7*a. Let x be p(-5). Let y be 4/(-10) + (-44)/x. Suppose y*l - 10 - 14 = 0. Is l a multiple of 6?
True
Suppose -3*z + 41 = -5*q - 0*q, -5*z + 3*q + 63 = 0. Let v be -1*9*32/z. Is 11 a factor of (-1)/4 - 462/v?
False
Suppose -y - 15 = 2*y + 3*i, 15 = -3*i. Suppose -5*t - 5 = -5*v, 0*v + t = 4*v + 2. Does 13 divide 26 - 0/(y + v)?
True
Let f be (3/1)/(1/(-1)). Let d = f + 3. Suppose d = v - 20 - 24. Does 16 divide v?
False
Let a