s + 33 = 4*c - 37. Does 10 divide c?
False
Suppose -4*z - 3*q + 4*q + 8 = 0, -2*q = 5*z - 10. Suppose -z*n - 68 = 2*n. Let y = 0 - n. Is 8 a factor of y?
False
Suppose 2 = m - 1. Suppose 6*w = 3*w + 3*h + 21, -m*w + 22 = -4*h. Suppose f = w*f - 75. Is f a multiple of 5?
True
Suppose 0 = -28*v + 13*v + 915. Is 30 a factor of v?
False
Suppose 2*g - 4*g = -8. Suppose 3*i = g - 10. Let t = 30 - i. Is 16 a factor of t?
True
Let v(n) = -n**3 + 5*n**2 + n - 3. Let s be v(5). Suppose p - 22 = s. Is 10 a factor of p?
False
Let m(n) = 3*n - 2. Is m(5) a multiple of 12?
False
Suppose 4*q - 20 = -4. Suppose -105 + 41 = -2*v + q*s, -2*v - 3*s + 64 = 0. Is 13 a factor of v?
False
Let n(u) = 3*u**2 - 5*u + 1. Let v be n(2). Let z be 3/((-1)/(4/(-3))). Suppose -v*f + 151 = 5*l, -z*l - 148 = -4*f - 0*l. Does 18 divide f?
False
Let f = 87 - 2. Is 18 a factor of f?
False
Let u(h) = -h**2 + 12 + 0 - 2 - 9*h + 0*h**2. Is u(-7) a multiple of 12?
True
Let m be 4/(-10) + 4085/25. Suppose -m = -4*x + 21. Does 14 divide x?
False
Let j(u) = -46*u**3 + u**2 + u. Is j(-1) a multiple of 12?
False
Let b(o) = -o**2 + 6*o + 7. Let r be b(7). Suppose 3*n = 5*y - 208, 92 = 2*y - r*n + n. Does 16 divide y?
False
Suppose 4*l - 30 = 54. Is l a multiple of 19?
False
Let p = 95 + -67. Does 14 divide p?
True
Let g be 2*2/((-4)/(-3)). Let r = g + -12. Let f(s) = s**3 + 9*s**2 - 2*s - 10. Does 4 divide f(r)?
True
Is 2 a factor of ((-1)/(-2) - 2)*-2?
False
Let z = -19 - -38. Suppose z = 4*a - 1. Does 3 divide a?
False
Let r be 9/3 + -3 + 40. Let o = -43 - -21. Let u = r + o. Is u a multiple of 15?
False
Let t = 13 + -9. Let p = -51 + 85. Let r = t + p. Is 13 a factor of r?
False
Let v be 1 + 4 - 6/2. Let r = 5 - v. Suppose -2*x + 5*x - 24 = r*o, -4*x + 5*o = -34. Is 6 a factor of x?
True
Let l be 8 + 1 + 0/(-2). Let z = l + 10. Is 19 a factor of z?
True
Let i(l) = -l - 3. Let z be i(-10). Is 12 a factor of (9 + z)*(-6)/(-4)?
True
Suppose 5*v - v + 2*h - 48 = 0, -30 = -v + 4*h. Suppose l - v = -0*l. Is 7 a factor of l?
True
Let m(r) = -3*r + 2. Does 10 divide m(-6)?
True
Let a be (-11)/13 + 18/(-117). Let p(m) = -19*m**3 + 2*m**2 + m. Is p(a) a multiple of 6?
False
Let r = 23 + 37. Is 20 a factor of r?
True
Let y(n) = n**2 - 3*n + 3. Let v be y(3). Suppose 2*p + 28 = -2*f + 5*f, -v*p = f - 24. Is f a multiple of 12?
True
Let c be ((-3)/1)/((-9)/(-81)). Does 12 divide 0 - (-3 + (c - 2))?
False
Let q = 64 - 46. Is q a multiple of 9?
True
Let t be 2/6 + (-14)/(-3). Let j be (12/10)/(6/140). Suppose -t*v = -4*v - j. Does 14 divide v?
True
Let k = 49 + -9. Is 9 a factor of k?
False
Let z = -9 - -17. Let l(w) = -1. Let g(n) = -n + 7. Let i(d) = g(d) - 4*l(d). Does 2 divide i(z)?
False
Suppose -8*t - 405 + 1621 = 0. Is 38 a factor of t?
True
Suppose 4*r - 590 = -3*w - 0*w, w + 5*r = 215. Is w a multiple of 10?
True
Is (-192)/(-14) - (-2)/7 a multiple of 7?
True
Let m = -32 + 46. Let q = m + -10. Is q a multiple of 2?
True
Let q = 18 - 13. Let l(d) = d**2 - d - 7. Let f be l(q). Is 13 a factor of ((1 - 2) + 2)*f?
True
Let g(y) be the first derivative of -y**2/2 - 94*y - 1. Let s be g(0). Does 9 divide (-10)/25 - s/10?
True
Suppose -1 = -3*z + 2. Let o = -11 + 8. Is 11 a factor of (o - 8)/(z/(-2))?
True
Let v(f) = f. Let w(i) = -5*i**2 + 4*i - 2. Let t(z) = 4*v(z) - w(z). Let d = -4 - -2. Is t(d) a multiple of 22?
True
Let o(n) be the second derivative of n**3/6 + 5*n**2/2 - 3*n. Suppose 5 = -0*m + m. Is 5 a factor of o(m)?
True
Let u = -46 + 67. Is 13 a factor of u?
False
Let k = -116 + 122. Does 3 divide k?
True
Suppose 20*h - 2898 = -h. Is h a multiple of 20?
False
Let r = -4 - -7. Suppose -i - 3*m = r + 7, -m - 5 = 0. Suppose -u + 4*x - 7 = -35, 0 = -4*u + i*x + 57. Does 3 divide u?
False
Let a = -7 + -3. Does 4 divide 5/(a/4) + 11?
False
Let z(p) = p + 23. Let w(i) = -11. Let r(j) = 7*w(j) + 3*z(j). Let k be r(6). Is 4 a factor of ((-32)/k)/(5/(-25))?
True
Let k(x) = x**2 - 8*x - 9. Let o be k(9). Suppose m - 5*p = 30, -p = -4*m - o*m + 120. Is 15 a factor of m?
True
Let c(h) = h**3 + 7*h**2 + 4*h + 2. Is 13 a factor of c(-3)?
True
Let j = 56 + -23. Is j a multiple of 12?
False
Is 11 a factor of 45 + (0 - 2) + 1?
True
Let z = -97 - -175. Is 26 a factor of z?
True
Suppose -5*k = -3*d + 5*d - 135, 3*d - 170 = -k. Does 39 divide d?
False
Suppose 36 = 3*j - 24. Is 8 a factor of j?
False
Let s = -3 - -11. Suppose s + 6 = 2*g. Is g a multiple of 4?
False
Let w(y) = -y**2 + 3*y + 2. Let u be w(3). Suppose 2*t = 3*k + 19, k - 13 = -2*t + u*k. Suppose t*s - 140 = -0*s. Is s a multiple of 14?
True
Let w = 18 + 26. Does 6 divide w?
False
Suppose 4*t - 4 = -p - 0*p, 3*t = -5*p + 20. Suppose 2*u - 14 = -t*u. Suppose -4*q - 84 = -u*q. Is q a multiple of 14?
True
Let q(k) = k**3 - 12*k**2 + 5. Let m(a) = a**2 - 3*a - 6. Let n be m(-3). Is 2 a factor of q(n)?
False
Let m be (-67)/(-2) - 1/2. Let s = 48 - m. Is s/2 - 4/8 a multiple of 7?
True
Suppose -f = 4*f - 255. Suppose z = 4*w - 27, 5*w = -z + 15 - f. Let r = 59 + z. Is 14 a factor of r?
True
Let n = 29 + 49. Is 26 a factor of n?
True
Is 276/(-8)*(0 - (-64)/(-6)) a multiple of 16?
True
Suppose 0 = 4*j - 3*n - 79, 4*j + 5*n = -j + 55. Let g = 36 - j. Is g a multiple of 17?
False
Does 12 divide 4/18 - 2128/(-63)?
False
Suppose -5*s + 563 = -3*n, 0 = 5*n - 8*n - 3. Is s a multiple of 14?
True
Suppose -2*l - 83 = -3*i, 0 = i + i - 2*l - 56. Does 9 divide i?
True
Is (-1 - -1) + (-152)/(-1) a multiple of 27?
False
Let c be (4/6)/((-10)/(-75)). Let v be 14/49 + c/7. Does 15 divide ((-30)/4)/(v/(-2))?
True
Let k = 4 + 0. Suppose 10 + 10 = k*f. Suppose -f*l - 2 = -17. Is 2 a factor of l?
False
Suppose 22 = 5*m - 8. Let x(o) = 3*o - 6*o + 7 - m + 2*o. Is 4 a factor of x(-3)?
True
Let i(s) = -8*s - 1. Let m be i(-2). Let v = m - -6. Let x = 29 - v. Is 8 a factor of x?
True
Suppose 0 = 4*s + s. Let t be 1 - (s - 6/(-3)). Is 11 a factor of 8/t*(2 + -5)?
False
Suppose -62 = 12*w - 866. Does 5 divide w?
False
Let n(m) = m**2 + 7*m - 11. Let w(t) = t**3 + 5*t**2 - 4*t + 4. Let u be w(-6). Let j be n(u). Let g(y) = -y**3 - y**2 - 2*y - 4. Is 20 a factor of g(j)?
True
Let w = 3 - 1. Suppose -2*i = 3*i + 3*p - 227, w*p - 44 = -i. Is i a multiple of 23?
True
Let y(p) = p**2 - 10*p - 9. Let a be y(11). Suppose 0 = 3*d - x - 121, 3*d - a*x + 70 = 5*d. Is d a multiple of 13?
True
Suppose -531 = -3*w - 27. Suppose 0 = -l - 3*l + w. Suppose 0*h + l = 2*h. Is 6 a factor of h?
False
Let j = 328 - 12. Suppose 5*c - 4*r = 408, -j - 29 = -4*c - 3*r. Is c a multiple of 22?
False
Suppose 32 - 84 = -r. Is 13 a factor of r?
True
Suppose -11 = -0*b + b - 3*h, -5*h + 5 = 5*b. Let k = b - -1. Does 5 divide (-2)/4*(-9 + k)?
True
Let h be 6*(-4)/18*3. Does 20 divide 238/4 - (-2)/h?
False
Let w(s) = -5 + 6*s - s**3 - 2*s + 5*s**2 + 0*s. Suppose -q = -3 - 1, -v = -q. Is 9 a factor of w(v)?
True
Let o = -6 - -6. Suppose -4*y + y - 4*g = -68, o = 3*g - 6. Suppose -3*i = 2*v - y, 5*i - 2*v = v + 27. Is i a multiple of 3?
True
Let w = 1 - -3. Suppose 5*v - 34 = w*x, 5*x = 3*v - 3 - 7. Let q = -3 + v. Is 7 a factor of q?
True
Let o be 11*(-2 - -6)/4. Let a(j) = j**3 - 12*j**2 + 12*j + 3. Is a(o) a multiple of 5?
False
Let l = 19 - 12. Suppose l = -3*i + 16. Is 2 a factor of i?
False
Suppose 4*w + 20 = -u, 5*u + 0 = -3*w + 2. Let z be (-4 - -13)*(-62)/w. Suppose -3*t - 36 + z = 0. Is 7 a factor of t?
False
Let m = 6 + -3. Suppose -4*r + v + 368 = -68, -m*r = -3*v - 336. Suppose 3*s + 15 - 96 = -b, b = 4*s - r. Is 12 a factor of s?
False
Suppose 0 = 2*w - 42 - 136. Let r = w + -61. Does 8 divide r?
False
Suppose 2 = -f - 1. Let t(g) = -g**3 - g**2 + 3*g - 4. Let h be t(f). Suppose 0 = h*b - 4*m - 14, -4*m - 3 = b - 25. Does 5 divide b?
False
Let u be 19/(-1) - (-1)/(-1). Does 10 divide (u/(-3))/((-5)/(-15))?
True
Let w(a) = -2*a**3 - 3*a**2 - 6*a. Let t be w(-4). Suppose -2*l = 2*l - t. Does 13 divide l?
True
Let j be (-3 + (2 - -19))*1. Let n be (2/(-4))/(5/60). Let s = j + n. Is s a multiple of 4?
True
Is (-1 - -2)/((-1 - 1)/(-88)) a multiple of 5?
False
Let l(v) = 7*v**2 - 1 - v**3 + 1 - v**2. Let m be l(6). Let s = m - -19. Does 7 divide s?
False
Suppose 4*r + 18 = 5*r. Is 2 a factor of r?
True
Let o(p) = p**3 - 12*p**2 + 16*p - 27. Is 9 a factor of o(11)?
False
Let x be (2*-83)/(-1 - 1). Le