4/o?
False
Suppose -c - 2 + 5 = 0. Suppose -i = 3*l - 49, -3*l + 47 = c*i - 4*i. Is l a multiple of 16?
True
Let o(n) = 2 - 6 - n + 2*n + n**2 + 1. Suppose -r - 12 = 3*z, 0 = -5*z + 2*z + 2*r - 21. Does 8 divide o(z)?
False
Let q be 0 + 6 + -1 - 3. Suppose -45 = -p - q*p. Is p a multiple of 7?
False
Suppose -6*z + z = 35. Let v(g) = -g**3 - 7*g**2 - 5*g + 5. Is v(z) a multiple of 8?
True
Does 29 divide (-1 + 0)*58*-2?
True
Suppose 6*d + 4*x = 2*d + 152, -4*x = -d + 13. Is d a multiple of 9?
False
Suppose 0*u = -u + 16. Let z = 50 - u. Is 17 a factor of z?
True
Let a be (2/5)/(1/(-15)). Suppose -3*d + 205 = 2*m, 0*m + 2*d = -4*m + 414. Is 13 a factor of a/(-4)*m/12?
True
Let f be ((-6)/(-4))/(1/6). Let u(s) = 4*s**2 + 3*s**2 + f*s + 13 - 6*s**2. Does 23 divide u(-10)?
True
Suppose -2*i + 5*a = -68, 2*i + 18 = a + 86. Is i a multiple of 17?
True
Suppose -3*f - f = 2*h - 28, -3*h = 5*f - 33. Is 3 a factor of f?
True
Let p(k) = 2*k**3 - 3*k**2 - 4*k. Does 6 divide p(3)?
False
Let g(s) = -s**3 - 9*s**2 + 14*s + 9. Let l be g(-10). Let x be (-3)/((-3)/10)*5. Let o = x + l. Is 19 a factor of o?
True
Let d(f) = -1. Let i(l) = -16*l - 1. Let n(t) = 2*d(t) - i(t). Is n(1) a multiple of 13?
False
Suppose 5*v + 0*v = 420. Does 14 divide v?
True
Suppose b + 4*b = 0. Suppose -4*k - 18 - 22 = b. Let y = k - -34. Does 12 divide y?
True
Suppose -2*k = k. Suppose 0 = -k*u - 2*u + 8. Suppose -3*z = c - 4*z - 10, -40 = -4*c - u*z. Does 6 divide c?
False
Let a be ((-80)/25)/(2/(-10)). Suppose -a = -2*b - 2. Is b a multiple of 7?
True
Suppose -4*k = -8*k. Suppose k = -t + 3 - 4, 4*u + t = 151. Is u a multiple of 21?
False
Let y = -31 - -18. Let w = -2 - y. Does 11 divide w?
True
Let p = -4 - 1. Let y = p + 9. Suppose y*k = 5*n + 35, -k + 7 = -2*n - n. Does 10 divide k?
True
Let q(k) = -k**2 - 2*k - 5. Let h(p) = 2*p**2 + 3*p + 6. Let m(r) = 3*h(r) + 4*q(r). Is m(2) a multiple of 8?
True
Let g = 2 - -1. Suppose g*v = 4*y - 14, 4*y = 4*v + 30 - 10. Let w = v - -12. Is w a multiple of 5?
False
Suppose 0 = -s + 4*w + 6, w - 22 = -2*s - w. Is 10 a factor of s?
True
Suppose w - 7 = -1. Suppose -20 = 5*h, 4*h + 40 = 3*i - w. Is i a multiple of 10?
True
Suppose 0 = 2*s - 126 - 32. Suppose 0 = 4*c - 4*x + 29 - 237, 3*x - s = -2*c. Is c a multiple of 18?
False
Suppose 0 = -5*q + 5*y + 130, -3*q + 86 - 7 = -4*y. Is q a multiple of 17?
False
Let t = 14 - 26. Let q = t - -30. Is q a multiple of 10?
False
Suppose 5*q + s - 124 = -s, 0 = 3*q + s - 75. Let w = q - 14. Does 5 divide w?
False
Suppose -2*m = -2*q - 10, 2 + 3 = -2*m - 3*q. Is 8 a factor of 70/6 - m/(-6)?
False
Let l = 73 + -60. Let v be (-1)/(-4) - (-26)/(-8). Let m = v + l. Is m a multiple of 7?
False
Let p = -22 - -50. Is 7 a factor of p?
True
Suppose 0 = -4*n - 0*n + 16. Let c be n*3/(-9)*-3. Suppose -c*o + 51 = 11. Does 6 divide o?
False
Let z = -10 - -14. Let i = 7 - z. Is 5 a factor of 8 + i*2/3?
True
Let i be (12/(-20))/((-1)/10). Suppose i*b - 72 = 3*b. Is b a multiple of 12?
True
Let w(u) = u**3 + 5*u**2 - 4*u - 3. Is w(-5) a multiple of 3?
False
Suppose 3 + 61 = s. Is s a multiple of 16?
True
Let j(c) = 0*c - c**3 - 1 - 9*c**2 + 3*c + 3*c. Is 11 a factor of j(-10)?
False
Let p = 4 - -36. Suppose -w = x - 27, 3*w = -2*x + p + 39. Is 25 a factor of w?
True
Suppose 2*r = -3*r. Let o = 77 - 43. Suppose p + r - o = 0. Is p a multiple of 12?
False
Let v(g) = g**3 - g + 5. Let i be v(0). Suppose 0 = 3*k + 2 - i. Suppose 2*b - k - 9 = 0. Is 3 a factor of b?
False
Suppose 0 = -3*a - 5*m + 470, -4*m = -a - 3*a + 584. Does 15 divide a?
True
Let k(t) = -t + 6. Suppose 4*f - 14 + 38 = 0. Does 11 divide k(f)?
False
Suppose 3*b - 136 - 242 = 0. Suppose 2*k - 4*h - b = 0, h - 94 + 283 = 3*k. Does 24 divide k?
False
Let c(z) = -8*z + z**2 + 3 + 1 + 3 + 2. Let p be c(6). Is 1*9/p + 25 a multiple of 11?
True
Let p(q) = -5*q + 35. Let c(z) = -z + 7. Let y(l) = -11*c(l) + 2*p(l). Let s be y(11). Is 6 a factor of 23/s - 6/(-24)?
True
Suppose 3*d + 15 = 3*j, 0 = 2*d - 5*j - 5 + 18. Does 9 divide 6/d + 135/6?
False
Let n(w) = -54*w - 1. Suppose -4*f + f = 3. Is n(f) a multiple of 19?
False
Let x(w) = w**2 - 5*w - 14. Is x(9) a multiple of 5?
False
Let o(v) = -2*v**2 - 5*v - 3. Let t be o(-4). Is (-4)/(-10) + (-294)/t a multiple of 10?
True
Let k(d) = -4*d - 4. Suppose -y + 2*y = 0. Let v(o) = o - 4. Let u be v(y). Is k(u) a multiple of 6?
True
Let t(u) = -2*u - 4. Let w be t(5). Let x = w + -4. Let q = -4 - x. Is 5 a factor of q?
False
Suppose 24 + 69 = p. Is 16 a factor of p?
False
Suppose -2*z - 3*z = -30. Let u be (-4)/12 - (-32)/z. Suppose 0 = -2*g - 4*k, u*g - k - 65 = 2*k. Is g a multiple of 3?
False
Suppose -17 = -2*p + 3*q, -29 = -4*p - p + 3*q. Suppose -j = -0*j - 5, -4*s + p*j + 16 = 0. Let l = s + 10. Does 8 divide l?
False
Let y be 4/(-2) + -4 + 6. Suppose 3*z - p - 87 = -y*p, 0 = -z - 4*p + 16. Is z a multiple of 14?
True
Let t(a) = a - 5. Let f be t(6). Suppose -3*p + 5*o = -4*p - f, -3*p + 4*o + 35 = 0. Is 7 a factor of p?
False
Let p = 144 - 9. Suppose d = -2*d + p. Does 15 divide d?
True
Let t(a) = -2*a**3 - 2*a. Does 20 divide t(-2)?
True
Does 34 divide 8/48 + 1846/12?
False
Suppose 10 = 3*c + 3*m - 5, 4*c - 3*m + 15 = 0. Suppose 0 = -w + 4, c*f + 2*f - 52 = -2*w. Is f a multiple of 11?
True
Suppose 0 = -2*p + 5 + 7. Suppose -r + 2*r + l = p, r - 6 = 4*l. Is 53/3 - (-2)/r a multiple of 14?
False
Suppose 24*w = 21*w + 216. Does 26 divide w?
False
Suppose 12 - 35 = -n - 2*q, n + 4*q = 19. Is 2 a factor of n?
False
Suppose -3*s + 5*p = -16, 4 = -3*s + 4*s - 2*p. Suppose w = -2*w + s. Suppose 0*r = 2*r + d - 34, w*d = 16. Does 11 divide r?
False
Let n(s) = s - 7. Let z be n(5). Does 13 divide 30 + -5 + 4 + z?
False
Let c be 44/(-3) + 18/27. Let b = c - -25. Is 6 a factor of b?
False
Let h be 13 - 4/(-1 + -1). Let s = h - 10. Suppose 4*i = 3*f - 45, s*f - 4*f + i = 8. Is f a multiple of 6?
False
Let o(j) = -4*j**3 - 3*j**2 - j - 6. Let t(a) = -a**3 + a**2. Let c(f) = o(f) - 3*t(f). Let y be c(-6). Does 13 divide 66*(y - (-2)/4)?
False
Let f(d) = 25*d - 6. Does 24 divide f(4)?
False
Suppose 3*b + 0*b - y - 461 = 0, -y - 309 = -2*b. Does 38 divide b?
True
Suppose 6*p - 4*p - 700 = -4*m, -5*m = 3*p - 876. Does 6 divide m?
True
Suppose 292 = 5*u + 47. Is 8 a factor of u?
False
Let u(m) = -m**2 + 5*m + 5. Let g be u(6). Let i = g - -9. Does 5 divide i?
False
Let j(r) = -r**3 - 9*r**2 - 11*r - 7. Is j(-8) a multiple of 13?
False
Let b = 158 + -93. Is 13 a factor of b?
True
Let u = 218 + 57. Suppose -2*h = -7*h + u. Does 27 divide h?
False
Let b(o) = -o**3 + 12*o**2 - 3*o + 14. Let h(w) = -w**3 + 13*w**2 - 3*w + 15. Let r(x) = 6*b(x) - 5*h(x). Is 17 a factor of r(6)?
False
Suppose 5*h = 29 - 4. Let m = 1 + h. Does 6 divide (8/m)/(10/90)?
True
Suppose -6*s + 3*s = 0. Suppose 4*t - 3 = 5. Suppose s*g = -t*g + 30. Does 5 divide g?
True
Suppose 2*w = 3*w. Suppose -i - 4*v - 22 = 0, 4*i = -w*i - v - 28. Does 9 divide i/4 + 312/16?
True
Is 78 + -7 + (1 - -3) a multiple of 15?
True
Suppose -y + 4*y = -2*s + 182, s = 1. Is 0 + 1/(2/y) a multiple of 11?
False
Let d be 4/(12/(-843))*2. Let v be d/(-5) - 10/25. Suppose -3*o = o - v. Does 14 divide o?
True
Suppose 4*k - 10 = 10. Is k a multiple of 3?
False
Let k be 6*(1 - 57/(-9)). Suppose -4*p - 12 + k = 0. Is 4 a factor of p?
True
Let a be (16/(-4))/(2/4). Suppose -2 + 5 = -o. Let j = o - a. Does 2 divide j?
False
Is 8 a factor of (-162)/(-4)*8/6?
False
Let a = 9 - 9. Suppose 4*g + y - 11 = a, 3*g + 2*y - 6 = -y. Is 3 a factor of g?
True
Suppose 0 = 2*l - 22 - 2. Let k = 21 - l. Is k a multiple of 3?
True
Let i be (-111*2)/(-2)*1. Suppose 5*d - i = 39. Is d a multiple of 22?
False
Suppose 0 = 3*m - 3*s - 6, 2*m + 4*s = -0*m + 10. Suppose -l = -5*l. Suppose 2*o + 9 = 4*p - m*p, 2*o = l. Is 9 a factor of p?
True
Suppose 4*l = -a + 21, 0 = -2*a + 3*a - 1. Is ((-84)/20)/((-1)/l) a multiple of 21?
True
Suppose 5 + 10 = 3*c. Suppose 76 - c = t. Does 23 divide t?
False
Is ((-66)/(-4))/(39/208) a multiple of 10?
False
Suppose 5*t = -0*t + 70. Let l = -8 + t. Is 6 a factor of (-32)/6*l/(-2)?
False
Suppose 27 + 3 = 5*x. Is -1 + x/3 + 8 a multiple of 9?
True
Let v be (5/15)/((-1)/(-15)). Is 4 a factor of (v + (3 - 4))*4?
True
Let h(g) = -g. Let y be h(-5). Suppose -5 = -y*r, 4*x + 0*x + r = 