- 2*f**2 - 4*f - 2. Is 23 a factor of u(-1)?
True
Let s be (-8)/(-24)*(0 + 9). Is -2 - (-3 - s)*8 a multiple of 23?
True
Suppose -14*x + 999 = -5*x. Does 25 divide x?
False
Suppose 4*n - 17 = o, -2*n + 30 = 3*n - 3*o. Suppose 2*m = -n*m + 10. Suppose m*i = 7*i - 150. Is i a multiple of 20?
False
Let t(f) = 6*f**2 - 7*f + 7. Is 25 a factor of t(4)?
True
Let v = 26 + 26. Suppose -4*d + v = 4*c + 4, 4*d - 48 = -c. Does 12 divide d?
True
Let i(z) = -z**3 + 7*z**2 + 8*z + 9. Is i(8) a multiple of 7?
False
Let q = -883 + 1263. Suppose 5*l + 6*p = 2*p + q, -3*l + 191 = -5*p. Is l a multiple of 18?
True
Let j be 9/1*9/3. Let g = -16 + j. Is g a multiple of 11?
True
Suppose 4*v - 6*k = -2*k + 24, -3*v + k = -22. Is (v - 7) + 2*1 even?
False
Let a be -1 + (0 - 1*-36). Let i = a - 2. Is i a multiple of 14?
False
Let p(m) = -m**3 + 2*m**2 + 3*m + 4. Suppose b + 5*v = -8, -2*b - 4*v - 1 = v. Suppose -2*j + z - 10 = -b*j, -4*j = 4*z + 8. Is p(j) a multiple of 4?
True
Let k = 7 + 7. Let d = -12 - -18. Let t = k - d. Is 8 a factor of t?
True
Let q = -467 - -697. Is 24 a factor of q?
False
Let m = 17 - 10. Let r = m + -3. Suppose 22 = 5*b + 2*w - 0*w, b = r*w + 22. Is 6 a factor of b?
True
Suppose 3*j = 2*j + 30. Is j a multiple of 15?
True
Suppose 2*f - 4*f + 18 = 0. Does 12 divide f/3*1*14?
False
Suppose 3 = i - 2. Let t(v) = -4*v**2 + 2*v + 7. Let w(n) = 9*n**2 - 4*n - 15. Let z(b) = -7*t(b) - 3*w(b). Does 11 divide z(i)?
True
Let o(f) = 2*f - 2. Let i = -2 - -11. Is o(i) a multiple of 11?
False
Is 3*((-112)/(-12))/2 a multiple of 3?
False
Let l be -1*2/(-4)*2. Let t(j) be the second derivative of 5*j**3/2 - j**2/2 + j. Does 10 divide t(l)?
False
Suppose 3*r - 5*d = 101 + 281, 0 = 2*r + 2*d - 228. Is 25 a factor of r?
False
Let v be 155/2*(-8)/(-10). Let n = 90 - v. Is n a multiple of 16?
False
Suppose 5*x = 8 + 2. Suppose 90 = 4*u + x. Is u a multiple of 9?
False
Let l = 0 + 215. Is 43 a factor of l?
True
Let c be ((-28)/10)/((-3)/30). Let x = c - 16. Does 6 divide x?
True
Let k be ((-8)/10)/1*-30. Suppose -8*h = -4*h - k. Is h a multiple of 6?
True
Suppose -2*k + 3 = -5. Is 4 a factor of k?
True
Let p = 39 - 7. Suppose 4*y + 3*m = -p, 5*y + 0*m + 13 = 3*m. Let c = 28 + y. Is 12 a factor of c?
False
Suppose -2*b + 15 = 5*c, -3*b = -4*c - 0*c + 12. Let t(g) = -g**3 - g**2 + g + 6. Let q be t(0). Let s = q - b. Is s a multiple of 6?
True
Suppose 0 = 5*m - m - 128. Suppose m = 2*s + 3*p, -2*p - 30 = -2*s + s. Suppose 0*a + 2*a = s. Is 11 a factor of a?
True
Is 11 a factor of ((-3)/(-2))/(16/352)?
True
Is 18/(-24) - 105/(-12) a multiple of 2?
True
Suppose 0 = -y + 2, 1 = 5*s - 2*s - 4*y. Suppose -v - 2*v - 5*b = -15, -v + s*b = -19. Is v a multiple of 7?
False
Suppose 0 = 4*l + 4*g - 268, 3*l = 2*g + g + 189. Is 12 a factor of l?
False
Let h be 2/5 + (-533)/(-5). Let q = -2 - -7. Suppose 0 = q*w - h - 133. Is w a multiple of 17?
False
Suppose 3*x = 4*z - 1155 + 402, 0 = 2*z + 4*x - 404. Does 16 divide z?
True
Suppose 4*t - 10 + 2 = 0. Suppose 0 = 3*f + 5*m + 16 - 0, -5*f - t*m = -5. Suppose -6*z + 15 = -f*z. Does 5 divide z?
True
Let j(l) = -l**2 + 10*l + 5. Let u = 10 + -7. Let z = u + 5. Is j(z) a multiple of 8?
False
Let q(m) = m**3 - 6*m**2 - 4*m + 3. Let c be q(7). Let w be 0*2/4 - -2. Suppose 4*l - c = i, -3*l + 11 = -i + w*i. Is l a multiple of 2?
False
Suppose 3*x - 186 = -0*x. Let n = -19 - -109. Let u = n - x. Is 14 a factor of u?
True
Suppose 2*f = 5*f. Let q(b) = -b + 3. Let k be q(-3). Let v = k - f. Is 4 a factor of v?
False
Let z(i) = i**2 - i. Let w be z(-4). Let o be w/6*6/5. Is 7 a factor of (2 - o)/(2/(-13))?
False
Let k = -49 + 159. Is k a multiple of 10?
True
Suppose 0 = -4*v, 5*b - 5*v - 260 = -4*v. Does 9 divide b/3 + 2/3?
True
Let q(c) = -c + 2. Let d(s) = s**2 + 7*s + 1. Let k be d(-7). Let b be -4 - (0 + k) - 1. Is q(b) a multiple of 5?
False
Suppose 0 = -3*p + 13 - 1. Suppose -11 = -p*m + 3*o, 3*m - 3 = -4*o - 1. Let l = 1 + m. Is 3 a factor of l?
True
Suppose 0 = -3*l - 12, -8*l + 3*l + 115 = t. Does 15 divide t?
True
Suppose -8*m + 171 + 53 = 0. Does 5 divide m?
False
Suppose 2 = 3*u - 5*v, 3*u = 5*u + 3*v - 14. Suppose 3*f = -2*l - 0*f + u, l = -f + 4. Does 3 divide l?
False
Suppose 0*z = -4*z + 40. Suppose -2*l - 3*v + 176 = -z, -3*l + 298 = -5*v. Suppose -4*n = 4*d - l, -3*d = -5*n + 107 + 53. Does 17 divide n?
False
Suppose -p + 8 = 4. Let j = 2 + p. Does 11 divide 136/j + (-4)/6?
True
Suppose 2*h - 317 = -3*r - 6, -4*r + 466 = 3*h. Let m = h + -88. Is 30 a factor of m?
False
Let g(f) = f**2 - f + 4. Let l be g(0). Let a(z) be the second derivative of -z**5/20 + 5*z**4/12 - z**3/6 - z. Is 6 a factor of a(l)?
True
Let g(t) = -t**2 - 11*t + 5. Let n(o) = -o + 1. Let i(w) = -g(w) + 5*n(w). Does 16 divide i(5)?
False
Let y = -33 + 61. Suppose 0 = 2*t + 2, -4*o - 1 = 5*t + y. Is (-3)/2*16/o a multiple of 3?
False
Let v(m) = 264*m + 5. Is 17 a factor of v(1)?
False
Let f = -5 - -10. Let w(x) = -x + 5. Let j be w(f). Does 8 divide -1*(j + 2 + -10)?
True
Let o(y) be the first derivative of -y**5/60 - 2*y**3/3 - 2. Let b(z) be the third derivative of o(z). Is 5 a factor of b(-3)?
False
Does 29 divide ((-36)/10)/(6/(-60))?
False
Suppose -2*h = -3*z + 72, 2*z + 5*h = 31 + 17. Does 8 divide z?
True
Suppose -t - 6 = -3*t. Suppose 75 = 3*h - t. Is h a multiple of 13?
True
Let i(j) = j**3 + 6*j**2 + 5*j + 5. Let n be i(-5). Is 18 a factor of ((-4)/4 - n)*-3?
True
Let g(h) = 7*h**2 - 5*h**2 - h - 5 - 2*h. Let d be g(4). Is 4 a factor of (10/d)/(2/24)?
True
Suppose 4*k + 0*k = 156. Suppose 29 = g - 3*c - c, -3*g = 4*c - k. Is g a multiple of 11?
False
Suppose u + 5 = -0*u, 0 = 5*x - 4*u - 60. Suppose f = 4*f - 24. Suppose m = f + x. Is m a multiple of 9?
False
Let h(b) = 4*b - 7. Is h(10) a multiple of 10?
False
Suppose 37 = 5*q + h, -6*q + h + 19 = -3*q. Suppose 0 = 4*l - 5*p + 1, 2*l - p + 6 = q*l. Let i = 22 - l. Does 7 divide i?
True
Let h(b) be the first derivative of -b**3/3 - 6*b**2 - 6*b + 1. Let u be h(-6). Suppose -48 = -3*t + u. Is t a multiple of 13?
True
Let q = -6 - -9. Let z(a) = -5*a**2 - 2 - a**q + 0 + 5 - 5*a. Does 14 divide z(-5)?
True
Let g be (-173)/(-1) + (-1 - 0). Suppose -3*c + k + 4*k + 129 = 0, 4*k = 4*c - g. Is c a multiple of 8?
False
Let w = -5 - -29. Suppose 2*m - w = m. Is m a multiple of 12?
True
Let z(l) = l**2 - 5*l - 4. Let q be z(6). Let f be (-3)/(9/(-12)) - q. Suppose -24 = -f*t + 12. Does 18 divide t?
True
Suppose 0 = 8*q - 5*q - 351. Is 12 a factor of q?
False
Let h(a) be the first derivative of -10*a - 13/2*a**2 - 1/3*a**3 - 3. Is h(-10) a multiple of 14?
False
Suppose -6*v + 8*v = 28. Is 6 a factor of v?
False
Let w(a) = 2*a**2 - 2*a + 4. Is w(-10) a multiple of 56?
True
Suppose 75 = q + 12. Is q a multiple of 9?
True
Let r = 10 + 5. Suppose -3*s + r = 3. Suppose -2*d = -2*m - 0*m + 36, 2*d + 76 = s*m. Is 14 a factor of m?
False
Suppose 5*u - 3*v = 11, -9 = v - 4*v. Suppose -3*b + 11 - 2 = z, -u*z - 3*b - 9 = 0. Is 7 a factor of (-146)/(-6) - (-2)/z?
False
Suppose -6 = h + 9. Let m = -10 - h. Is 2 a factor of m?
False
Let k(t) = t**2 - 3*t - 7. Suppose -2*q - 2*w + 22 = 0, 2 = 2*q - 2*w - 0. Is 9 a factor of k(q)?
False
Let x(i) = i**3 + 12*i**2 - 7*i - 22. Is x(-12) a multiple of 9?
False
Let v = -54 + 117. Suppose 117 + v = 4*m. Is m a multiple of 15?
True
Let a(s) = 4*s**2 - s. Let h be a(-2). Suppose -4*l + h = -6. Let c(q) = 4*q. Does 12 divide c(l)?
True
Suppose -3*f + 390 = 2*f. Let o = f + -51. Is o a multiple of 11?
False
Let v(k) = k**3 - 11*k + 8. Is v(5) a multiple of 26?
True
Let y = 0 + 0. Suppose -2*b + 99 = 3*k - y*b, -5*b - 15 = 0. Is 9 a factor of k?
False
Let d(l) = 4*l - 18. Let w(r) = 2*r + 0 + 19 - 7*r. Let f(g) = -6*d(g) - 5*w(g). Does 13 divide f(0)?
True
Let t be 5/(-2 + (-10)/(-4)). Suppose -5*n - 4*g + t = -3*g, -g = 3*n - 4. Is 3 a factor of (-8)/n*15/(-10)?
False
Suppose 3 = -2*a - 2*m - 7, 4*m + 8 = 0. Suppose -5*q + 21 = -p, -15 - 29 = 3*p + 4*q. Is 10 a factor of 8/a*60/p?
True
Let x(f) = 19*f - 3. Let i be x(-3). Is 14/(-2)*i/42 a multiple of 5?
True
Let p = 82 + -34. Is 16 a factor of p?
True
Suppose 2*a + 5 = -7. Let p be ((-14)/3)/(a/9). Suppose -p*k = -3*k - 88. Is k a multiple of 10?
False
Let v = 16 - 2. Does 14 divide v?
True
Let l(q) be the third derivative 