n + 4*f = 68, 2*f = 4*n - b. Is n a multiple of 8?
False
Suppose 5*k + 95 = 5*t - 0, 4*k = -4*t + 60. Does 6 divide t?
False
Let t = 87 - 51. Does 36 divide t?
True
Let w = 114 - 49. Is 5 a factor of w?
True
Suppose -5*c - 1 = -11. Suppose 2*p = -c*q + 86, 0 = 2*q - p + 6*p - 83. Is q a multiple of 9?
False
Suppose 0 = -3*s + 354 + 78. Does 38 divide s?
False
Let u = 41 - 27. Is 12 a factor of u?
False
Suppose 31*o - 34*o = -408. Does 17 divide o?
True
Suppose -2*d = -t + 16, 2*t = 6*t + 4*d - 16. Is 3 a factor of t?
False
Let n(h) be the first derivative of 2*h**3/3 + 3*h**2/2 - 3*h + 4. Let v = 8 - 6. Is n(v) a multiple of 6?
False
Does 10 divide (-4)/(8/(-162)) - -2?
False
Suppose -n + 2*w + 8 = 0, 3 + 1 = 4*n - w. Suppose -3*i + 2*c + 8 = n, -i - 3 + 2 = 3*c. Suppose 0*u + i*u = 18. Is 9 a factor of u?
True
Suppose -1 = p - g - 9, -2*p - 14 = 4*g. Let r = 15 + -11. Suppose p*j + 2*w = 20, -3*w = -4*j + 2*w - r. Is j a multiple of 2?
True
Let k = 5 - 0. Is 2 a factor of k?
False
Is 14 a factor of (2/(-4))/((-1)/70)?
False
Is 25 a factor of (-4246)/(-33) - 1/(-3)?
False
Let o be (72/(-15))/((-4)/130). Suppose 3*u = 5*j - 145 - 21, -5*j = 2*u - o. Is j a multiple of 18?
False
Let l(n) = 6*n**2 + 23*n - 1. Is l(-6) a multiple of 11?
True
Is 59 - -1 - 8/2 a multiple of 28?
True
Let o(f) = 2*f**2 - 6*f. Let n = 3 - 3. Suppose l - 3 - 1 = n. Is 5 a factor of o(l)?
False
Does 9 divide -3 + 4 + 31 + 4?
True
Suppose i - 2*i = 95. Let o = i + 137. Is 14 a factor of o?
True
Let n be 22/4*(-2 - -6). Let i be (-4)/6*(-131 + 2). Suppose i = 3*y - n. Is y a multiple of 16?
False
Suppose -5*r + r - 8 = 0. Does 15 divide (-47)/((r - 1)/3)?
False
Let h(d) = 3*d**2 + 3*d. Let i = 6 + -10. Is 18 a factor of h(i)?
True
Let t be 1 + (-3 - -1) - 8. Is 6 a factor of (-2)/t + 156/27?
True
Does 9 divide 808/5 - (-10)/25?
True
Let d(i) be the first derivative of -i**3/3 - 11*i**2/2 - 5*i + 1. Is 3 a factor of d(-10)?
False
Suppose -l = -2*r - 7, -3*r + 5 = -6*r - 4*l. Let y(v) = v + 4. Let t be y(r). Is t/(-3)*102/(-2) a multiple of 7?
False
Suppose 0*d - b = d + 8, 5*d - b + 64 = 0. Is (-14 - d)*(-5)/2 even?
False
Let q = -4 - -23. Does 6 divide q?
False
Suppose -14 - 11 = -5*m. Let d = -3 + m. Is 3 a factor of ((-1)/d)/(2/(-44))?
False
Let g(u) = -7*u + 4. Let s be g(-5). Does 22 divide -1 + (s - 3) + -3?
False
Suppose 2*c - 2*n = -4, 2*c + 5 + 1 = 3*n. Suppose u + 1 = 0, c = -7*k + 3*k - u - 1. Suppose -4*l + 16 = k, 2*g - 3*g = 4*l - 44. Is 13 a factor of g?
False
Let r(x) = 3*x**2 + 3 + x - x**3 + 1 - 1. Let t be (1 - (-3)/6)*2. Is r(t) a multiple of 3?
True
Let l = 26 - -68. Is l a multiple of 26?
False
Let u be (-4)/18 + 38/9. Let n = 4 - -1. Suppose 3 + 1 = -u*w, n*m - 76 = w. Does 6 divide m?
False
Suppose -4*c + 2*h = -2*h - 148, -4*c = 3*h - 120. Is c a multiple of 31?
False
Let o(m) = m**2 + 5*m. Suppose 2*s - 3*s = 7. Is o(s) a multiple of 7?
True
Suppose -5*m + 5*i + 26 + 19 = 0, -m - 3 = 3*i. Is m a multiple of 6?
True
Let s = 145 - 25. Does 24 divide s?
True
Suppose 5*b - 47 = -5*g - 7, -5*b - 8 = -3*g. Does 3 divide g?
True
Let v(r) = 170*r**3 - r**2. Let n(g) = -g**3. Let w(u) = 6*n(u) + v(u). Let z be w(-1). Is 9 a factor of z/(-9) + (-1)/3?
True
Let t = -198 + 297. Is t a multiple of 21?
False
Let s(m) = -24*m + 6. Let v(x) = -4*x + 7 - 18*x - 3*x. Let q(h) = -6*s(h) + 5*v(h). Does 10 divide q(1)?
False
Suppose 3*r - 24 = -5*z, 2*r - 4*z = -2*r. Suppose -5*w - 56 = 5*b - 236, w = r. Is 10 a factor of b?
False
Let c(r) = r - 1. Let w be c(-7). Let x = w - -5. Does 17 divide 2 - (-20 + x/(-3))?
False
Let w(p) be the second derivative of -p**3/2 - 6*p**2 + 3*p. Does 7 divide w(-8)?
False
Let t(w) = 25*w**3 - 3*w**2 + 3*w. Is t(2) a multiple of 9?
False
Let b(r) = -25*r + 1. Let v = -4 + 2. Let k = 1 + v. Is 13 a factor of b(k)?
True
Let z = 41 - -20. Suppose -1 = 2*t - z. Is t a multiple of 15?
True
Let h = -23 - 0. Let k be 49*1 - 6/(-3). Let x = h + k. Is 14 a factor of x?
True
Suppose -6 = -5*a + 4. Suppose -c - 3 = -a. Is 4 + 1 + 0 + c a multiple of 4?
True
Suppose 78 = -0*r + 2*r. Let j = r - 8. Does 24 divide j?
False
Is (-18)/7*(-98)/3 a multiple of 28?
True
Suppose r + z = -3, -2*z - 3*z - 25 = 0. Suppose c - 1 = r. Is 2 a factor of c?
False
Let p(i) = -7*i**2 + 7*i - 10. Let f(o) = -20*o**2 + 20*o - 29. Let w(c) = -6*f(c) + 17*p(c). Is 12 a factor of w(5)?
True
Let l(w) = -w**3 + 4*w**2 + w - 5. Let p be l(4). Is 11 a factor of (p - 3) + 1 - -36?
True
Suppose -3 = -5*a + 7. Suppose -54 = -a*p + 18. Is 9 a factor of p?
True
Suppose -w - 2 + 1 = 0, 0 = 3*p - 5*w - 17. Let v(h) = -3 - 25*h - 2*h**2 + 22*h + 5*h**2. Is v(p) a multiple of 11?
True
Let c(r) = 20*r**2 + 2*r + 1. Let p be (-4)/6 + 33/9. Suppose p*o + 3*d - 10 = -1, 3*o = -2*d + 5. Is c(o) a multiple of 15?
False
Let x(d) = -d**3 + 4*d**2 + 7*d - 2. Let g = 0 - 1. Let l = g - -6. Is x(l) a multiple of 4?
True
Suppose 4*p = -5*h + 8, -2*p - 4 = -4*p - 5*h. Suppose -5*t = 5*u - 350, -p*u + u - 275 = -4*t. Suppose -t = -3*c - 6. Is c a multiple of 11?
False
Suppose c + 356 = 5*c. Does 21 divide c?
False
Suppose 2 - 50 = -4*o. Suppose o = 4*b + 4*l - 4, -7 = -3*b - 4*l. Does 9 divide b?
True
Suppose 0 = 3*a - 3*u - 21, 5*a + 0*u = -3*u + 11. Let x be (-114)/14 + (-2)/(-14). Does 11 divide ((1 - x) + 1)*a?
False
Let m(u) = u + 12. Suppose 65 = 3*k - 4*r, 0 = 2*k - 3*r - 39 - 6. Suppose -5*w - 47 = -h, 4*w + 4*h + 13 = -k. Is m(w) even?
False
Suppose -9*g - 2*g = -946. Does 13 divide g?
False
Let h(m) = -m**3 - 2*m**2 - m + 2. Let b be h(-2). Let y(x) = -x**3 + 4*x**2 + 3*x - 6. Let g be y(b). Is 10 a factor of g*(10/3 + 1)?
False
Let p = 100 + -46. Does 9 divide p?
True
Suppose 2*m - 3*o = -24, -3*o - 4 = 3*m + 2. Let h(g) = -8*g - 1. Is 12 a factor of h(m)?
False
Let k(b) = -3*b + 13. Does 8 divide k(-14)?
False
Let n(d) be the first derivative of d**4/2 - 7*d**3 - d**2 + d - 2. Let o(h) = -h**3 + 10*h**2 + h - 1. Let b(w) = 3*n(w) + 7*o(w). Is 2 a factor of b(7)?
False
Suppose 4*y - 58 = -5*w, 2*y - 12 = -w + y. Suppose -6 - w = 4*a. Does 10 divide a/(-10) + (-48)/(-5)?
True
Let w = 7 + -4. Suppose w*i + 5 = 119. Let o = i + -6. Is o a multiple of 16?
True
Let v be 1 + 6*(-3)/6. Let m be 2/(-4) + (-7)/v. Suppose -2*u = h - 29, -m*h + 3*u - 24 = -4*h. Is h a multiple of 11?
False
Suppose -38 = -5*s + 47. Let j = s - 10. Suppose -2*d - 90 = -j*d. Is d a multiple of 14?
False
Suppose 1 = u - 2*h - 5, -5*h = 5*u + 15. Let b = u - -23. Is b a multiple of 22?
False
Suppose 3 = b - 5*u, 0*u + 13 = -4*b - 5*u. Is -2 + (-48)/b + -1 a multiple of 11?
False
Let f(s) = 30*s. Is f(4) a multiple of 12?
True
Suppose -4 = -7*r + 3*r. Let c be r/(1 - 2)*-6. Let x(s) = -s**3 + 5*s**2 + 7*s - 1. Is x(c) a multiple of 2?
False
Suppose 0 = c + 2*c - 15, 4*q = -5*c + 37. Suppose 0 = -q*s + 234 - 27. Is 12 a factor of s?
False
Suppose 0 = -5*l + 144 + 26. Does 17 divide l?
True
Suppose 4*s + 0*s = -24. Let f(u) = 20*u**3 + 23*u**2 - 9*u - 5. Let n(t) = 7*t**3 + 8*t**2 - 3*t - 2. Let p(l) = s*f(l) + 17*n(l). Does 8 divide p(-4)?
True
Suppose 5*y = f + 115, -5*y - 2*f + 9 = -106. Let w = -26 + 10. Let p = y + w. Does 7 divide p?
True
Suppose 0 = 9*i + 619 - 1915. Is i a multiple of 15?
False
Suppose 3*a - 4*g = 132, a = -g + 3*g + 46. Is 24 a factor of a?
False
Is 42 a factor of -9 - -7 - (-47 + -1)?
False
Suppose 4*p - 52 = 2*p. Is p a multiple of 9?
False
Let q = 25 - 22. Suppose n - 32 = -q*n. Does 4 divide n?
True
Let i(q) = -q**2 - 5*q. Let a be i(5). Let m = -28 - a. Is 11 a factor of m?
True
Let m be (2/5)/(1/5). Suppose -f - 3*b = -4*b - 38, -m*f = 5*b - 41. Is f a multiple of 10?
False
Suppose -5*b = -2*b. Suppose b = -k - 5*q + 18 + 5, 5*q + 61 = 2*k. Is 7 a factor of k?
True
Let a = -8 + 12. Suppose -3*k + 143 = a*x + 34, 3*x + 5*k = 68. Is x a multiple of 21?
False
Let y(b) = 43*b**2 - b + 2. Does 22 divide y(-2)?
True
Let y = 8 - 9. Let z = -9 + 17. Is z*1 - (3 + y) a multiple of 6?
True
Suppose 0 = 4*b - 3*v + 20, -2*b + 2*v - 8 = -0*v. Let p be (9/12)/(2/b). Does 24 divide (p + -1 + -44)*-1?
True
Is ((-98)/(-10) + 1)/(6/40) a multiple of 12?
True
Let h = -4 + 8. Is 26 a factor of h/(0 - (-1)/13)?
True
Is 9*-3*(-12)/9 a multiple of 9?
True
Suppose -25 = -0*j - 4*j - b, -2*j + 13 = b. Let r = 