96 = 5*p - 0*m + 4*m, m = 4*p - d. Is 16 a factor of p?
True
Is 8 a factor of (-1922)/(-4) - (-9 - (-95)/10)?
True
Suppose 4*r = -6 - 2. Is 2 a factor of (1 - (4 + r)) + 7?
True
Let a(l) = -36*l - 319. Does 13 divide a(-28)?
True
Let j(u) be the third derivative of u**7/2520 + u**6/72 - u**5/15 - u**4/4 - 4*u**2. Let i(f) be the second derivative of j(f). Is i(-11) even?
False
Let w = 8 - 11. Let o be w*(-1 - (-120)/(-9)). Let f = 19 + o. Is f a multiple of 13?
False
Is 2/((-8)/672*-8) a multiple of 7?
True
Let k = 10 + -12. Let j be 9/(-3) - (-9 - k). Suppose 0 = -j*v + 165 + 27. Does 8 divide v?
True
Let w = 997 - 577. Is 15 a factor of w?
True
Suppose -x + 473 = 2*k, 3*k - 707 = -x - 0*x. Is 2/3*k/12 a multiple of 3?
False
Let w(v) = -v**3 - 6*v**2 - 8*v - 8. Suppose 5*p + 6 = i - 13, 0 = 4*i + 3*p + 39. Does 8 divide w(i)?
True
Suppose 4*j - 150 = j. Suppose 3*i = -y + j, -4*i = 5*y - 3*y - 66. Suppose 0*g = -g + i. Is g a multiple of 4?
False
Suppose -p - 1263 = -2*a, 0 = 4*a - p + 850 - 3373. Is 9 a factor of a?
True
Suppose -3*u - 14 - 16 = -5*t, -2*u + 3*t - 20 = 0. Let w be 304/u - 8/(-20). Is 10 a factor of 20*3/(w/(-25))?
True
Let z(i) be the third derivative of -i**6/120 - i**5/12 - 11*i**4/24 - 11*i**3/6 + 13*i**2. Does 6 divide z(-5)?
False
Does 28 divide ((-5)/((-70)/(-273)))/((-5)/10)?
False
Suppose 0 = -2*o + 5*r + 87, -4*o - 2*r + 132 = 2*r. Suppose 35*y + 24 = o*y. Is 12 a factor of y?
True
Let f(h) = -43 + 74 - 8*h - 45. Is 13 a factor of f(-5)?
True
Is 27 a factor of 77744/215 + (-4)/(-10)?
False
Let h = 316 + -150. Does 20 divide h?
False
Let v = -29 + 21. Let n be 1*(0 - v/(-1)). Let i = n - -13. Is 4 a factor of i?
False
Suppose w + w + 4*s - 24 = 0, -4*w + 2*s = 2. Suppose -t = -w*p - 111, -3*t - 5*p + 630 = 2*t. Is 11 a factor of t?
True
Suppose 14*x - 2071 = 6161. Is x a multiple of 28?
True
Let c = -20 - -268. Suppose -2*f + c = -f. Suppose 4*g - f + 8 = 0. Is 25 a factor of g?
False
Suppose 10*v = -2*v + 2016. Does 24 divide v?
True
Suppose 2*w + 4*o = 5*o + 46, w = -2*o + 33. Let q(n) = n**3 - 4*n**2 - 9*n + 6. Let a be q(6). Suppose y - a = -z, -4*z + w = 2*y - 19. Is y a multiple of 23?
False
Let u(d) = -d**3 + 4*d**2 - 2*d + 5. Let n be u(3). Let v = n - 6. Is (-1875)/(-33) - v/(-11) a multiple of 19?
True
Let x = 20 - 12. Suppose 0*i - x = 2*i. Is 18 a factor of -24*((-76)/16 - i)?
True
Let j = 72 + 3. Does 28 divide j?
False
Suppose -8 = -4*f, a + 3*f - 71 = 57. Let p be 12/42 + a/14. Suppose 2*w - p = 29. Is 11 a factor of w?
False
Suppose -646*j + 621*j + 12250 = 0. Is j a multiple of 70?
True
Suppose 5*h - 3 = -4*u + 16, 5*u - 15 = -5*h. Suppose -h*j - 31 + 388 = 0. Is 42 a factor of j?
False
Let x(g) = -2*g + 7. Let u(d) = -d**2 + 1. Let k(t) = -u(t) - x(t). Let c be k(-4). Suppose c*o = o - 40. Does 10 divide o?
True
Suppose 24*t - 4429 - 3539 = 0. Does 12 divide t?
False
Suppose 0 = -3*m + 9 - 3. Suppose 4*s = 4*r - 15 - 21, 0 = -m*s + 8. Does 13 divide r?
True
Let o(h) = -30*h - 18. Let m(k) = 2*k - 10. Let i be m(2). Is o(i) a multiple of 9?
True
Suppose 2*c - 4*x = -12, 2*x = -2*c + 6*c - 6. Suppose -5*y + 4*d - 6 = 13, c*y - 4*d + 12 = 0. Let q(r) = -6*r - 20. Is q(y) a multiple of 11?
True
Suppose -7*q - w + 10001 = -5*q, -5*w + 5 = 0. Is 10 a factor of q?
True
Suppose -4*a + 321 = 5*b, -4*b - b + a + 326 = 0. Let u = b + -11. Is u a multiple of 11?
False
Suppose 0*d = -d + 2. Let b(f) = 2 + d*f - 5*f + f - 2*f. Does 7 divide b(-8)?
False
Suppose -6 = l - 9. Let r be 0/1 + 9/l. Suppose -r*v = v - 180. Does 15 divide v?
True
Suppose 3*m + 4 = -5. Let k(j) = -2*j**3 + 2*j**2 + 2*j - 3. Let o be k(m). Suppose -5*r - 8 + o = 0. Is 11 a factor of r?
True
Does 2 divide 9185/297 + (-12)/(-162)?
False
Suppose 35*f - 46*f = -9581. Is 13 a factor of f?
True
Let j = 176 - 74. Is 51 a factor of j?
True
Suppose 5*j - 5 = 0, -2*a + 0*a = -2*j - 6. Suppose -2*r + 10 = 2, -3*i + 35 = 5*r. Let u = i + a. Is u a multiple of 3?
True
Let d(z) be the first derivative of -1/2*z**2 - 6 + 2*z + 10/3*z**3. Is d(-2) a multiple of 20?
False
Suppose -8 = 3*i - 4*i. Let m(o) = -o**3 + 9*o**2 - 2*o - 8. Let c be m(i). Suppose c = 4*a + a. Is 4 a factor of a?
True
Let n = 200 + -118. Suppose -4*t - 3*s + 235 = -n, -2*t + 151 = -s. Is t a multiple of 27?
False
Let u = -1425 + 5149. Does 133 divide u?
True
Let q be 1 - (1 - 3) - (-1 - -4). Suppose q*o + 400 = 4*o. Is o a multiple of 25?
True
Suppose 157 + 23 = c. Suppose -5*f - 4*x = -0*x - 308, c = 3*f + 4*x. Is 16 a factor of f?
True
Suppose -7*w + 1530 - 270 = 0. Does 20 divide w?
True
Let o be 3*((-76)/18 + 4)*-39. Let b be 5*9 + -2 + 2. Let d = b - o. Is d a multiple of 19?
True
Let a be (3 - 422/8) + 7/(-28). Let h = 130 + a. Does 16 divide h?
True
Let s be 12638/3 - (-3)/(27/(-6)). Is 13 a factor of ((s/45)/(-6))/(6/(-40))?
True
Let u = 173 + -169. Is 4 a factor of 10/2 + 14 + u?
False
Suppose 5*w + 2 = -2*z, 0 = -0*z + 2*z - 5*w + 22. Let r(q) = -25*q + 18. Does 28 divide r(z)?
True
Let n(o) = 101*o**2 + 2*o + 26. Is n(-2) a multiple of 3?
True
Let p = 3932 + -2181. Does 56 divide p?
False
Suppose 7*x - 124 = 2*x - 4*y, -4*y + 96 = 4*x. Let h = 20 - x. Is 3 a factor of 7 + 0 - (6 + h)?
True
Let f = 10 + -10. Suppose f = n + 4*n. Suppose 5*m = -n*m + 165. Does 17 divide m?
False
Suppose -24*j + 32*j - 1048 = 0. Is 9 a factor of j?
False
Let q(b) = 337*b**2 - b. Is q(1) a multiple of 56?
True
Let r = -15 - 39. Let k be (140/(-3))/(-5)*-3. Let n = k - r. Is n a multiple of 8?
False
Let a = -456 + 624. Does 10 divide a?
False
Suppose 2646 = 11*w + 7937. Let l = w + 915. Is 15 a factor of l?
False
Suppose 0 = -71*g + 81*g - 620. Is 33 a factor of g?
False
Suppose -4*j + 5*c + 21 = -11, 0 = -4*j - 5*c - 8. Suppose 4*i + 70 - 282 = 4*m, 0 = -j*i - 3*m + 177. Is i a multiple of 17?
False
Suppose -4*x - 10 = -p - 2, -p = -x - 8. Let q = p - -18. Does 3 divide q?
False
Let a(p) = -8*p - 16. Let q(r) = r**3 - 3*r**2 - 5*r + 2. Let x be q(3). Is 11 a factor of a(x)?
True
Suppose -5*p + 22 - 2 = 0. Let u(m) be the first derivative of 4*m**3/3 - 7*m**2/2 + 5*m + 38. Is 15 a factor of u(p)?
False
Let k(i) be the second derivative of i**5/20 + 4*i**4/3 + 2*i**3 - 13*i**2/2 + i. Let h = 247 - 262. Is 8 a factor of k(h)?
True
Suppose -8*y + 7*y + 396 = 3*n, y = 2*n + 381. Is 9 a factor of y?
True
Let z = 176 - 261. Let b = -43 - z. Is 7 a factor of b?
True
Let o = 1606 + -1068. Is o a multiple of 26?
False
Suppose 7*a + 3962 - 854 = 0. Is (-4)/20 + (a/10)/(-2) a multiple of 8?
False
Suppose 0 = -856*l + 855*l + 714. Is 34 a factor of l?
True
Suppose -5*y = j - 218, 15*j - 19*j + 3*y + 826 = 0. Is 4 a factor of j?
True
Let i(k) = 5*k + 7. Let a(u) = 4*u + 6. Let s(c) = 4*a(c) - 3*i(c). Let t be s(0). Suppose 0 = 3*x + 5*w - t - 53, -4*x + 5*w = -63. Is x a multiple of 5?
False
Let g be (-2 - 2/(-4))*-2. Let z(c) = 9*c + 4. Let s be z(g). Suppose 0 = 5*a + s - 231. Does 10 divide a?
True
Let s(o) = -13*o - 5. Suppose 9*g = 5*g - 44. Let i be 4/22 - (-24)/g. Is 4 a factor of s(i)?
False
Let p(s) = -1626*s**3 + 3*s**2 - 5*s - 6. Is p(-1) a multiple of 22?
True
Let v be (6/12)/(2/252). Let r = 13 + v. Suppose -b = -3*b + r. Is 11 a factor of b?
False
Suppose 5*l + 85 = 2*m, -l + 225 = 14*m - 10*m. Does 3 divide m?
False
Suppose 5*v + 2*t + 3*t = 35, -4*v + 4*t + 4 = 0. Suppose -i = v*i + 5*p - 510, -413 = -4*i + p. Is i a multiple of 23?
False
Let q(s) = 6*s**2 + 9*s - 35. Does 16 divide q(5)?
True
Is 9 a factor of (3 - -3) + 88 + 7?
False
Suppose 0 = -3*j - 2*o - 22, j - 3*o = -3*j - 52. Let i(x) = x**3 + 9*x**2 - 10*x + 4. Let g be i(j). Is (140/25 - g)*55 a multiple of 44?
True
Suppose -5*x = 2*q + 62, 0*x + 3*x = 0. Let h = 137 + q. Suppose 0 = -j - j + h. Does 17 divide j?
False
Let f(r) = r + 4. Let h be f(8). Is (-4 - -7)*(-4)/h - -6 a multiple of 5?
True
Let l(a) = -a**3 + 2*a**2 + 6*a + 5. Let i be l(-2). Is 15 a factor of (84/(-54))/(-7) + 961/i?
False
Is 1/(-3)*(-1218)/29 a multiple of 2?
True
Let k = 33 + -30. Let i = 12 - k. Suppose 5*u = i*u - 360. Is 30 a factor of u?
True
Suppose 1903 = 20*z - 3737. Does 7 divide z?
False
Let l = -2045 + 2436. Is l a multiple of 17?
True
Is (-19504)/(-32) - (-15)/(-10) a multiple of 8?
True
Suppose -2*u = 3*u. Suppose -2*j + 5*n + 276 = u, 2