f c?
False
Let x(w) = -2*w - 1. Let i be x(4). Let l = i - -25. Suppose l = v + v. Is 4 a factor of v?
True
Suppose 3*d = 5*d - k - 10, 5*d - 2*k = 24. Suppose 2*w - 16 = -d*b, -2*b - w + 12 = w. Suppose -9 = -b*s + 2*p + 31, -5*p = -s + 4. Is 8 a factor of s?
True
Let w be 8*(-1 + (-1)/(-4)). Suppose 0 = 3*x + 3*n + 36, x + 0*x = -2*n - 8. Let u = w - x. Does 10 divide u?
True
Let j(q) = q**3 + 5*q**2 + 4*q + 5. Let u be j(-4). Suppose 0 = 3*i - 5*c - 31, -2*i + u*i - 55 = -c. Suppose -2*t + i = -3. Does 4 divide t?
False
Let g = -38 + 116. Does 26 divide g?
True
Let f(x) = x - 12. Does 2 divide f(14)?
True
Let l = -639 - -923. Suppose -4*r = 5*q - 65 - 157, l = 5*r + 3*q. Is 29 a factor of r?
True
Suppose 0*m + 1386 = 6*m. Is 33 a factor of m?
True
Let y be (14/8)/((-7)/(-336)). Suppose -4*w = -y - 20. Suppose -3*b - w = -4*b. Is 13 a factor of b?
True
Let p be 0 + -2 + (-12 - 0). Let f = -10 - p. Suppose 0 = 2*c - c - f. Is 2 a factor of c?
True
Suppose -l + 11 = -7. Is l a multiple of 5?
False
Suppose -l + 3*c + 26 + 7 = 0, l = 4*c + 34. Does 3 divide l?
True
Let q = 9 - 8. Let l be (q - -2) + 1*-39. Does 18 divide (-640)/l - (-4)/18?
True
Suppose 4*h = h + 18. Let r(l) = -1 - l**3 + 3*l**2 + 2*l**2 + h + l. Is r(4) a multiple of 13?
False
Suppose -n + 6*n = 0. Suppose -2*a - x + 10 = n, -4*x - x + 25 = 5*a. Suppose 5*p - 3*z - 75 = 0, -3*z - 50 = -a*p - 5*z. Is 12 a factor of p?
True
Let j = -120 - -243. Suppose -2*p + 4*n - j = -5*p, 33 = p + 4*n. Is p a multiple of 18?
False
Suppose c + 7 = 2*c. Is 7 a factor of c?
True
Let z be 3*(-2 - -1) + 54. Suppose 3*j = -4*x + z, j + 0*j - 1 = 0. Is 6 a factor of x?
True
Let p(f) = -f**2 - f + 30. Let l be ((-8)/12)/(4/(-18)). Suppose -l*j = j. Is p(j) a multiple of 15?
True
Suppose 2*z + 2*z + 4 = 0. Does 10 divide (z - -2)/(1/19)?
False
Let n(i) = -i**3 + 6*i**2 - 3*i - 2. Let u = 10 - 6. Is 6 a factor of n(u)?
True
Let b = -10 + 13. Suppose 4*d = p + 5*d - 24, b*d = -2*p + 52. Is 20 a factor of p?
True
Let m = -7 + 9. Suppose -5 = -m*s + 1. Is s*(14 - 3) + 1 a multiple of 17?
True
Let d(x) = x**2 - 7*x + 28. Is d(11) a multiple of 24?
True
Suppose -885 = 7*r - 10*r. Suppose -k = -2*x - 50, 5*x = -9*k + 4*k + r. Is 28 a factor of k?
True
Suppose 3*p + 7 + 8 = 0. Let t = p + 0. Let w = t + 12. Is 7 a factor of w?
True
Let m be 12/(-5)*(-10)/4. Suppose m*q = 2*q. Let d = 15 - q. Is d a multiple of 8?
False
Suppose 10 = 5*x - 5*v, 4*x = 2*v - 0 + 14. Let z(p) = -p. Let y(i) = 4*i - 4. Let a(h) = y(h) + 2*z(h). Does 6 divide a(x)?
True
Let r(g) = -12*g + 6. Is r(-2) a multiple of 10?
True
Let h(n) = 3 - 2 + 4 + n. Let c be h(-3). Suppose -c*a - b + 22 = 0, 3*a - 3*b = -5 + 20. Does 8 divide a?
False
Let n be (-2)/(-2) + (4 - 2). Suppose 0 = -y - 0*y + 13. Let u = n + y. Does 13 divide u?
False
Let b(v) = 2*v**2 - 4*v + 4. Is 10 a factor of b(3)?
True
Suppose -2*d + 5*d - 37 = -k, d + 109 = 4*k. Is k a multiple of 6?
False
Suppose -86 + 220 = 2*z. Let m = z - 45. Is m a multiple of 11?
True
Let s(g) = 17*g**3 + 4*g**2 - 4*g - 1. Is s(2) a multiple of 11?
True
Let g(r) be the third derivative of -r**5/60 + 7*r**4/12 + 3*r**3/2 - 7*r**2. Is 24 a factor of g(8)?
False
Let w(a) be the second derivative of a**5/20 + 7*a**4/12 + a**3/2 - 5*a**2 + 6*a. Is 4 a factor of w(-6)?
True
Suppose 5*m - 25 = -2*u, -4*u + 5*m = -3 - 32. Is u a multiple of 10?
True
Let o = 4 + -6. Is 3/6*o + 22 a multiple of 8?
False
Suppose -3*x - 35 = 2*x. Let v(g) = g**2 + 5*g + 1. Is v(x) a multiple of 6?
False
Let n(j) = j + 6. Let l be n(-7). Let t = 2 - l. Does 2 divide t?
False
Suppose 0 = 3*o - 2*o - 5. Suppose o*f + 42 = 7*f. Does 7 divide f?
True
Let a(f) = f + 1. Let v be a(5). Suppose 5*k - 24 = -3*x, v*k - 8 = -x + 7*k. Is x a multiple of 8?
True
Suppose 0 = -2*k + 24 + 20. Suppose 4*l = 22 + k. Does 8 divide l?
False
Suppose 5*z - 4*b + 14 = -b, 3*b - 12 = 3*z. Let f(p) = p + 1. Let m be f(z). Suppose 2*o - 32 = -m*o. Is o a multiple of 8?
True
Is (1 - 4 - -3) + 4 + 71 a multiple of 2?
False
Let f be (-30)/(-42) + 2/7. Is 8 a factor of (-1)/(3/(-27)) - f?
True
Suppose 3*a - 120 = 3*u, -a = -2*a - 5*u + 34. Is a a multiple of 13?
True
Suppose u = 4*u. Suppose -j + u*j = -12. Does 6 divide j?
True
Suppose -3*v = -32 - 4. Is 53/2 - (-6)/v a multiple of 27?
True
Let l(a) = -a**3 - 8*a**2 - 4*a + 4. Is 9 a factor of l(-8)?
True
Suppose y - 22 - 53 = 0. Does 25 divide y?
True
Let r(f) = 2*f**2 + 6*f + 14. Is 14 a factor of r(-10)?
True
Suppose p - 6*p + 20 = 0, -4*f - 96 = 2*p. Let l = f - -59. Does 12 divide l?
False
Suppose -4*p + 83 + 45 = 0. Let t = -14 + p. Is 6 a factor of t?
True
Suppose 4*i - 8*i = -56. Is i a multiple of 7?
True
Suppose -6 = 3*c - c, -s + 79 = -3*c. Is s a multiple of 7?
True
Suppose -3*o + 0*o = -2*y + 2, 14 = 3*y + o. Suppose -3*p - 2*u = -1 - 2, -y*p = -3*u - 21. Is p even?
False
Suppose 2*j - 18 = 4*l, 2*j + 4 = 14. Let v be 3/(0 - 3/l). Does 3 divide 16/v - (0 - -1)?
False
Does 18 divide 3*((-15)/(-3) + 25)?
True
Does 20 divide 4/(-1) - (-168 + 4)?
True
Suppose 4*z + r = -r + 584, r - 148 = -z. Suppose 2*n = -2*n + z. Does 12 divide n?
True
Let f = 3 + 0. Let s = f - 3. Suppose -o - 3*u + u + 13 = s, 3*u = 5*o. Is o even?
False
Suppose 4*f - 350 = -f. Let l = f - 42. Does 9 divide l?
False
Let a = 342 + -222. Is 24 a factor of a?
True
Suppose -2*l = -7*l, 3*q - 3*l = 150. Is 5 a factor of q?
True
Is 2 a factor of (-7 - -35)*(-6)/(-8)?
False
Suppose 4*r + 3*y = y + 28, -34 = -5*r - 3*y. Let t = r - 4. Is -1 - ((3 - t) + -27) a multiple of 9?
True
Suppose h = 2*h - 98. Does 14 divide h?
True
Let p(s) = s. Let o be p(6). Suppose -3*z + 2*r = -30, -z - r = -o*r + 3. Does 4 divide z?
True
Suppose 0 = -3*t - 3, t - 17 = -2*l. Is l even?
False
Suppose 3*v = 1 - 10. Let b be 2/(v - -1 - -4). Let y(d) = 7*d**3 - d**2 + d - 1. Is 2 a factor of y(b)?
True
Let m = 12 - 6. Suppose m*a - 120 = a. Is 9 a factor of a?
False
Let p(f) be the second derivative of f**7/2520 - f**6/90 + f**5/40 + f**4/4 - 3*f. Let k(o) be the third derivative of p(o). Is k(9) a multiple of 11?
False
Let v(h) = -2*h**2 + 49*h - 21. Does 9 divide v(21)?
True
Let k = -3 - -5. Suppose -2*n + k = -10. Does 4 divide n?
False
Suppose 0 = 3*z + z. Suppose 3*a + 3*j + 18 = z, 3*a + 2*j - 6*j = -25. Let u = -4 - a. Is 3 a factor of u?
True
Is (48 + 0)*-2*(-12)/18 a multiple of 16?
True
Let r = 442 - 147. Let i = -131 + r. Suppose -4*d = 2*t - 68, -5*t + i = 5*d - 16. Is 19 a factor of t?
True
Suppose -195 + 600 = -5*y. Let b = y - -123. Does 13 divide b?
False
Suppose -148*s + 56 = -147*s. Does 8 divide s?
True
Suppose 20 = 4*u - 0. Let i be -1 + (u - 0 - 0). Is 7 a factor of 159/15 + i/10?
False
Let c(d) = 21*d**2 + 2*d - 3. Let u be c(-3). Suppose -u = -n - 4*n. Is 12 a factor of n?
True
Let r(i) = -i**3 + 9*i**2 - 8*i + 5. Let k be r(8). Suppose 0*f - 3*f + 3*w = -9, f - k*w = 15. Suppose -4*g - g + 50 = f. Is g a multiple of 7?
False
Let a(h) = h**2 - 17*h + 18. Let k be a(8). Let d = k + 124. Is d a multiple of 14?
True
Let r(d) = d**2 + 5*d + 2. Let k(l) = -l**3 + 2*l**2 + l - 1. Let p be k(3). Let i be r(p). Is i/(-6)*(-9)/2 a multiple of 12?
True
Suppose 0 = -5*v - 25, h + 6*v + 10 = 3*v. Suppose h*p - 4*q = 188, p - q = 59 - 22. Is p a multiple of 20?
True
Let r(o) = o - 8. Let p be -2 + 10 + 1 + -1. Let l be r(p). Suppose i + 1 - 11 = l. Does 10 divide i?
True
Let c(n) = n**3 + 3*n**2 - n. Let h be c(-2). Let p be (h*(-3)/(-6))/1. Suppose -6*o + p*o = -84. Is o a multiple of 14?
True
Let p(z) = -2*z - 11*z**2 - z + z**3 + 13*z**2. Is 9 a factor of p(2)?
False
Let g(z) = 2*z - 4. Let v be g(8). Suppose c - v = -c. Is 13 a factor of (-4)/c - 164/(-12)?
True
Suppose -4*v + 2*k = -k - 248, -5*k = -4*v + 248. Suppose 0 = 5*c + 22 - v. Is c a multiple of 4?
True
Suppose 5*p + 430 = 4*r, 212 = 3*r - r - p. Is 35 a factor of r?
True
Let h be (5 - -2)/(-1)*1. Let o(y) = -6 - 6*y - 4*y - y - y**2. Does 17 divide o(h)?
False
Let o be (-3)/12 + (-191)/4. Let t = 68 + o. Suppose f - 3*f + 20 = c, 4*f - t = 0. Does 6 divide c?
False
Suppose -3*s + 19 = -5*q, 5*s + 2*q + 15 = -5. Does 9 divide -2 - (s - -2 - 37)?
False
Let v = -29 + 52. Suppose -3*b + 15 = 0, 2*p + 0*b + b - v = 0. Is 14 a factor of (3/1)/(p/66)?
False
Suppose -4*b + b = 0. 