o(l) = 2*l**2 - 3*l - 2. Let b be o(-2). Suppose 18 = c - b. Suppose 8 = -2*q, -5*q + c = -0*g + 5*g. Is 4 a factor of g?
False
Suppose -41 - 23 = -4*n - 4*d, n - 12 = -2*d. Is n a multiple of 3?
False
Suppose -3*d + 2*s + 6 = 0, 0 + 3 = 3*d - 3*s. Suppose -d*i - 1 + 9 = 0. Suppose -104 = -4*t - 0*f - i*f, -5*f - 26 = -t. Is t a multiple of 13?
True
Suppose 24 = 6*s - 3*s. Let q = s + 11. Is q a multiple of 10?
False
Suppose 45 = 3*o + 3*a, -4*a - 105 = -5*o - 3*a. Is 10 a factor of o?
True
Let q = 11 + -7. Let k(s) = s**2 - 2*s. Does 4 divide k(q)?
True
Is 8 a factor of (9150/25)/(1 + 1)?
False
Suppose 230 = 3*b + 41. Is b a multiple of 21?
True
Let b = -17 + 55. Is 7 a factor of b?
False
Let n(x) = 23*x**2 - 2*x - 2. Let q be n(2). Let f be 1*q/(-2*1). Let c = 67 + f. Does 10 divide c?
False
Let a(r) = r**3 + 11*r**2 - 5*r - 8. Is 9 a factor of a(-11)?
False
Let t be (9/(-2))/((-24)/(-64)). Let w(f) = -f**2 - 12*f + 14. Does 14 divide w(t)?
True
Let x = 3 + 0. Suppose 2*m = x*i + 58, 2*i + i - 6 = 0. Is m a multiple of 16?
True
Let h = 4 + -6. Does 6 divide (10 - 1) + 4 + h?
False
Suppose 3*u = -3*u + 90. Is 15 a factor of u?
True
Suppose -2*k + 4 = -6. Is 3 a factor of k?
False
Suppose 0 = -3*c - o + 22, 0 = -c - 0*o - 2*o + 9. Let b(s) = -s**3 + 6*s**2 + 10*s - 5. Is b(c) a multiple of 8?
True
Suppose -m + 6 = -v + 42, -4*m + 21 = v. Is 5 a factor of v?
False
Let v = -46 - -74. Suppose 0*i - v = -4*i. Is 6 a factor of i?
False
Let j = 9 - 15. Let o = -1 - j. Does 5 divide o?
True
Let c(y) be the first derivative of y**3 - 3*y**2/2 - 4*y - 1. Let m be (9/12)/((-1)/4). Does 12 divide c(m)?
False
Let u(b) = 13*b**2 - 23*b + 3. Let i(a) = -3*a**2 + 6*a - 1. Let n(f) = 9*i(f) + 2*u(f). Let r(v) = -v**3 - 4*v**2 + 3. Let g be r(-4). Does 4 divide n(g)?
True
Let r(k) be the first derivative of k**4/4 + 8*k**3/3 - 2*k + 8. Does 31 divide r(-4)?
True
Suppose 6*z + 1 = 7. Does 12 divide (z - -3 - 2) + 19?
False
Suppose 2*q + 4*l - 280 = -0*q, 3*l - 142 = -q. Does 50 divide q?
False
Let y(c) be the first derivative of c**4/6 - c**2/2 - 2*c + 2. Let w(k) be the first derivative of y(k). Is w(2) a multiple of 2?
False
Let y(v) = -v**3 + v**2 + 3*v - 2. Let l be y(2). Suppose i = -5*r + 146, -i = 3*r - l*r - 86. Is r a multiple of 15?
True
Let k(i) = 15*i - 15. Is k(6) a multiple of 15?
True
Suppose 4*c = -0*c, 5*x - 2*c = 0. Let z = x + 1. Does 9 divide (17 - (-1 - z)) + -2?
False
Suppose 4*x - 40 = 3*x. Is x a multiple of 8?
True
Let p = 202 + -118. Does 6 divide p?
True
Suppose -g - 2*a + 9 = -5, -a + 21 = 4*g. Is 28/8 + 2/g even?
True
Let y(z) be the first derivative of 3*z**2 - 2*z + 1. Does 4 divide y(1)?
True
Let g = 5 + -15. Let l be g/15 + 8/3. Suppose 0 = l*q + 2*q - 24. Does 6 divide q?
True
Suppose 5 = d - 4*d + 5*y, -y - 11 = -3*d. Let o = d + -2. Is 1/(o/69) + 2 a multiple of 10?
False
Let i(u) = 4. Let j(m) = -m + 13. Let x(z) = 7*i(z) - 2*j(z). Let f be x(4). Is (35/f)/(2/4) a multiple of 7?
True
Let d(y) = y**2 + 5*y + 8. Suppose 4 = 2*n, -3*b - 4*n - n = 8. Does 7 divide d(b)?
True
Suppose -5 = 5*s, -r - 2*s + 16 = 3*s. Let o = r - -13. Is o a multiple of 9?
False
Suppose 0 = 4*w - 3*w - 11. Let u = -7 + w. Let y(a) = 3*a - 4. Is 3 a factor of y(u)?
False
Is 10 a factor of (10/(-6) - 1)*360/(-48)?
True
Let j be 853/9 + 4/18. Let c be 4/14 - j/(-35). Let u(s) = s**3 - 3*s - 3. Is u(c) a multiple of 11?
False
Is 6 a factor of 3/15 + 89/5?
True
Let k(j) = j + 1. Let c be k(-4). Let d = 19 - c. Is d a multiple of 11?
True
Let c = 9 + -2. Suppose -114 = -c*q + 4*q. Does 15 divide q?
False
Suppose 0 = -w + 6*w - 30. Is 7 a factor of (3 + (-2)/(-6))*w?
False
Suppose -2*n = -n + 158. Is 12 a factor of (n/(-3))/((-4)/(-6))?
False
Let t(v) = -v - 9. Let k(f) = -f - 9. Let i(q) = -7*k(q) + 6*t(q). Let b be i(-7). Let g = 23 - b. Is 11 a factor of g?
False
Let m(b) = -b**3 - 6*b**2 - 2*b + 4. Does 5 divide m(-7)?
False
Let h be (-2)/(-7) + 52/14. Suppose 2*v = -h + 2. Let y = v + 9. Is y a multiple of 4?
True
Suppose 6*v - 4*v - 46 = 0. Let g = v + -12. Is 11 a factor of g?
True
Suppose -4*o - 113 + 338 = t, o + 5*t - 61 = 0. Is 7 a factor of o?
True
Let b = -3 + 3. Let r(t) = 13 - 3*t - t**2 + 5*t - 3*t. Is r(b) a multiple of 13?
True
Suppose -3*l + 8 = -7*l. Let a = 3 + l. Is a + 2*-1 + 13 a multiple of 12?
True
Let r(i) = i - 3. Let w be r(6). Suppose -4 = a - 2*a. Suppose -5*y - c + 12 = -a, w*y = -3*c. Is 2 a factor of y?
True
Does 21 divide (1 + 10)/(2/8)?
False
Let v be (18/(-4))/(15/20). Let i = 1 - 2. Is 7 a factor of (12/i)/(v/4)?
False
Suppose 5*t = 25, 0 = 4*p + 2*t - 58 + 8. Let q be (-1)/(-3) - p/(-6). Suppose q*h - h = 19. Does 13 divide h?
False
Does 14 divide 6/5*280/6?
True
Let r be (5/(-1))/(4/(-12)). Let f(y) = -y**2 - 2*y - 3. Let m be f(-2). Is 3 a factor of (0 + -1)/(m/r)?
False
Let p = -8 - -6. Let a = p + 4. Is a even?
True
Let u(l) = l**3 - 11*l**2 + 7*l - 24. Does 31 divide u(12)?
False
Let d = -6 - -14. Let f be d*-9*3/(-6). Is 6 a factor of (f/(-10))/((-10)/25)?
False
Let w(l) be the first derivative of l**3/3 - 11*l**2/2 + 4*l + 5. Is w(13) a multiple of 8?
False
Let f(x) = -x**3 - 10*x**2 - 8*x + 13. Let m be 1/(-4) - (-105)/(-12). Let t be f(m). Suppose h + 18 = t*h. Is 4 a factor of h?
False
Let h be (2 - 2)/(-3 + 5). Suppose 2*p - 3*p + 24 = h. Is p a multiple of 7?
False
Let v(r) = r**2 - 2*r - 5. Let g be v(5). Is -2 + 3*g - 1 a multiple of 9?
True
Let v = -287 + 467. Is v a multiple of 30?
True
Suppose -17 = -4*d - d - 3*r, 3*d - 5*r - 17 = 0. Let l(f) = 3*f**3 - 2 - f**2 + 5 - d*f**3 + 6*f - 1. Is 12 a factor of l(-4)?
False
Suppose 741 = 7*r - 64. Let i = -6 + 35. Suppose -r = -4*c + i. Does 18 divide c?
True
Let l be (-1)/(-1 - 2/(-4)). Does 5 divide (-1 + l)/(1/7)?
False
Let l be (-1)/(-2)*1*4. Suppose -l*c = -40 - 0. Does 6 divide c?
False
Let b(r) = r**2 - 4*r + 13. Is b(4) a multiple of 13?
True
Suppose -a - 4*p + 91 = p, 4*p - 12 = 0. Is 12 a factor of a?
False
Let n = -110 + 178. Suppose 0 = 4*r + 8 - n. Does 15 divide r?
True
Let m = -40 + 29. Suppose 0 = 4*v + 5*k - 109, 4*v - 3*k + 2*k - 79 = 0. Let b = v - m. Does 16 divide b?
True
Let i(n) = -5*n**2 + 19*n - 6. Let f(q) = 4*q**2 - 18*q + 6. Let o(h) = 6*f(h) + 5*i(h). Is 17 a factor of o(-9)?
False
Suppose -155 = -4*b - 3*j, -5*j - 47 + 2 = -2*b. Let p = 112 + -63. Suppose -b = -4*a + p. Does 15 divide a?
False
Is (4/6)/(22/363) a multiple of 7?
False
Suppose 0*j - 9 = 3*j. Let o = 6 + j. Is o a multiple of 2?
False
Let o be (1 - 2)/((-2)/22). Let a(x) = -2*x - 16 - 3*x - 3*x + o. Is a(-4) a multiple of 17?
False
Let u be 4/(-3) + 4/(-6). Let y = -1 - u. Does 8 divide y + 0 - (-7 - 0)?
True
Let w(i) = 7*i - 2. Let n be w(2). Suppose -n = 3*r, 4*z = -0*r + r + 48. Is 5 a factor of z?
False
Is 24 a factor of ((-1 + 0)*-1)/(13/312)?
True
Let q(u) = -2*u - 7. Let z be q(-6). Suppose -o + z*b + 16 = 0, 2*o - 6*b - 27 = -b. Does 4 divide o?
False
Does 28 divide 1/6 - 3075/(-18)?
False
Suppose -4 = -5*z + z + 2*s, 0 = z + 5*s + 21. Let h be z + 6 + -1 + 0. Let j = 14 - h. Does 9 divide j?
False
Let r(w) = w**2 - 9*w - 10. Suppose -3*t - 22 = -5*t. Is 7 a factor of r(t)?
False
Let t(s) = -2*s - 5. Let z be t(-4). Let r be (z - -3) + 0/1. Suppose -12 = 3*i, 58 = 3*x - 4*i + r*i. Does 11 divide x?
True
Let b be -2 + (-42)/(-1 + -1). Let t = b + -12. Is t even?
False
Let v be 1/(2 - (-50)/(-26)). Let t = 21 - v. Let x(m) = 2*m - 5. Does 10 divide x(t)?
False
Let a(o) = o**2 + 5*o + 9. Is a(-8) a multiple of 8?
False
Let v(w) be the second derivative of 0 + 11/12*w**4 + 0*w**2 - 2*w + 0*w**3. Is 11 a factor of v(1)?
True
Let h(c) = 2*c**2 + 4*c + 3. Let y be h(-2). Suppose -y*b + 36 = -g + 5*g, -3*b - 2*g + 36 = 0. Does 12 divide b?
True
Suppose h - 2 = 4. Suppose 4*s - h*s = -80. Does 17 divide s?
False
Is 26 a factor of (-195)/(-2)*(-72)/(-54)?
True
Let s(v) = -v**2 + 4*v + 2. Let a be s(4). Suppose -a*t = t. Suppose t*i = i - 42. Is i a multiple of 21?
True
Let u = 3 + 1. Suppose 0*g + 3*g + 9 = 4*s, u*s - 5*g = 7. Suppose -2*i = -b - 17, i - s*b = -1 + 2. Is i a multiple of 8?
False
Let j(u) = 2*u - 1. Let s be j(1). Suppose 112 = 2*t + 2*i, 2*t + 2*t - 4*i = 216. Is 11 a factor of t/20*(3 + s)?
True
Let v(u) = 2*u**2 - 4*u - 2. Is 19 a factor of v(5