. Let u = -3 - l. Suppose -h + u = -w + 17, -31 = -w + 5*h. Is w a multiple of 3?
True
Let m = 187 - 262. Does 21 divide (42/(-5))/(10/m)?
True
Let m = 1 - -2. Suppose -m*j = x - 21, 24 = x + 2*j - 0. Does 15 divide x?
True
Let h(u) = 3*u - 13. Does 4 divide h(9)?
False
Suppose 0 = -3*b + 6. Let z(m) be the second derivative of m**3/2 + m**2 - 3*m. Does 4 divide z(b)?
True
Suppose 0 = -4*f + 5*n + 89 + 104, -n - 173 = -4*f. Does 13 divide f?
False
Does 15 divide ((-16)/(-6))/(14/21) + 101?
True
Let z = 1 + 3. Suppose -z*g = -2*g + 12. Is 9 a factor of ((-72)/16)/(1/g)?
True
Let s be 1/(-3) + 2/6. Let t(o) = -o - o**3 + s*o - 4 + 4*o. Is t(-3) a multiple of 5?
False
Suppose -88 - 127 = -5*j. Let o = 77 - j. Let p = o + 0. Is p a multiple of 16?
False
Is (10/(-6))/(3/(-117)) a multiple of 5?
True
Suppose 9*y - 4*y - 7 = 2*k, -5*k = -y + 52. Does 17 divide (k/(-3))/(3/36)?
False
Is -1*4 - (4 - 131) a multiple of 6?
False
Suppose 3*i = q + 2*q, -i - 24 = 5*q. Is -3 + (-76)/(0 + q) a multiple of 4?
True
Let o(r) = r**3 - 9*r**2 - 12*r + 13. Let b be o(10). Is (-7 + 0)*66/b a multiple of 13?
False
Let b = 38 - 4. Suppose 0 = -4*z - b + 178. Suppose 2*p - p = z. Is 22 a factor of p?
False
Let z(m) be the third derivative of m**4/4 - m**3/3 + m**2. Let l be z(5). Suppose 0 = 4*u - t - 44, 0*t - 5*t - l = -4*u. Is 12 a factor of u?
True
Suppose -5*q = -7 + 27. Let v be (-4 - -2)/(-1) + q. Let a(b) = -2*b**3 + 3*b**2 + 3*b + 2. Is 12 a factor of a(v)?
True
Let u(s) = s**3 - 2*s**2 + s - 2. Let j be u(3). Suppose b + j - 180 = 0. Is b/4 - 1/2 a multiple of 22?
False
Suppose -57 = -4*r - 165. Let n = r - -51. Is 15 a factor of n?
False
Let j be 3199/11 + 20/110. Let w(q) = q**3 + q - 2. Let o be w(0). Is o/6 - j/(-9) a multiple of 16?
True
Let o(u) = u**3 - 21*u**2 - 11*u - 8. Does 16 divide o(22)?
False
Suppose 4*l + 8 = -4*o, -2*o + 2 = 2*o + 2*l. Let f = 59 - 12. Suppose -o*x + 1 + f = 0. Does 5 divide x?
False
Let i = -14 - -49. Does 18 divide i?
False
Let q = -4 + 3. Let o = -2 + q. Is 11 a factor of (-1 + 0)/(o/33)?
True
Let y = 17 - 0. Suppose -y = 4*b + 3. Is (b/(-4))/(2/32) a multiple of 17?
False
Let r be -1*(9 - (-2)/(-1)). Let o be (-120)/(-28) + 2/r. Does 14 divide o/(-10)*70/(-1)?
True
Let n = 22 + -7. Is 5 a factor of n?
True
Let a(p) = -3 - 2 + p - 6*p - 1. Is a(-7) a multiple of 10?
False
Let f(u) = -2*u**2 + 53*u - 14. Does 21 divide f(23)?
True
Does 19 divide ((-58)/3)/((-28)/210)?
False
Let s(b) = -b**3 + 6*b**2 - 4*b - 3. Let d be s(5). Suppose v = 2*c - 0*v + 12, d*c + 28 = 5*v. Is 3 a factor of (-3)/(-4)*-2*c?
True
Let y(o) = 6*o**2 + 16*o - 8. Is y(6) a multiple of 19?
True
Suppose 174 = 3*d + b, -2*d + 3*b + 127 = -0*d. Let m(g) = 4*g**2 - g - 1. Let c be m(-1). Suppose c*a + 3*i = 132, 2*a + i = 5 + d. Is a a multiple of 15?
True
Let f(p) = -p**2 - 7*p + 4. Let i be f(-7). Let h = i + -2. Does 12 divide 225/10 + 3/h?
True
Let q = 77 + -39. Does 19 divide q?
True
Suppose 285 + 516 = 9*s. Does 12 divide s?
False
Suppose -3*k - 6 = -h + 25, -3*h + 129 = 3*k. Is 8 a factor of h?
True
Suppose -z + 2*v = 4*v + 146, z - v + 161 = 0. Is 13 a factor of z/(-8)*(-4)/(-6)?
True
Let z(b) = b**3 - 6*b**2 - 13*b + 9. Is z(9) a multiple of 41?
False
Let x(p) = p**2 - 3*p + 2. Let b be x(3). Let k(r) = r**3. Is 4 a factor of k(b)?
True
Suppose -3*j = -0*y - 4*y - 24, y = 5*j - 23. Suppose j*x = 13 + 3. Does 3 divide x?
False
Let y = 116 - 54. Is 11 a factor of y?
False
Let c = 8 - 6. Suppose -4*x = p + 43 - 216, 82 = c*x - 4*p. Suppose 109 = 4*i - x. Is i a multiple of 13?
False
Suppose -g = -2*g + 75. Is 24 a factor of g?
False
Let x(z) = 6*z + 3. Let p be x(4). Suppose g = 3*t - p, 0 = -0*g + 5*g - 15. Does 5 divide t?
True
Let m(r) = 22*r + 1. Let y be m(3). Suppose 2*n - 61 = y. Is 11 a factor of n?
False
Suppose 0*s + 5*j - 19 = 2*s, -5*s - j = 7. Let r = s - -2. Suppose d - 5*i = 36, d - 4*d + i + 136 = r. Is 20 a factor of d?
False
Suppose 0 = 5*f + 8 + 7. Let q(j) = -6*j + 9. Let y be q(5). Is 36*(y/(-6) + f) a multiple of 9?
True
Suppose 2*h - 14 = -2*k + 2, -4*k + 7 = -h. Suppose r + 3*p = 11, -k*r = -3*p - 77 - 4. Is 23 a factor of r?
True
Let m(k) = 27 - k + 2*k**2 - 27 + 8*k**3. Let g be m(1). Let c = g - 5. Is c a multiple of 4?
True
Suppose -311*g = -310*g - 108. Is 27 a factor of g?
True
Suppose -4*z - r + 68 = -41, 3*z - 3*r = 78. Suppose -3 = -k + 1. Let h = k + z. Is 16 a factor of h?
False
Let p = 20 - 16. Is 4 a factor of p?
True
Let c(a) = a - 3. Let f be c(7). Suppose -5 = -b - 4*u, -f*b - 3*u = -2*b - 15. Is 9 a factor of b?
True
Let x be 3/12*4 - 4. Let d(n) = n**3 + 5*n**2 - 7*n. Let m be d(-6). Is 13 a factor of (x - -5) + m*5?
False
Suppose 7*s - 6*s - 96 = 0. Is s a multiple of 14?
False
Let y(h) = h**3 - 8*h**2 - 4*h - 11. Let x(r) = -r**2 - 6*r + 4. Let a be x(-5). Is y(a) a multiple of 12?
False
Let q = 5 - 5. Let l be q + 5 + (-1 - -1). Let h(x) = -x**3 + 4*x**2 + 5*x + 6. Does 3 divide h(l)?
True
Let y(i) = -i + 10. Is 4 a factor of y(2)?
True
Suppose -98 = 5*k - 8. Let r = k - -38. Does 14 divide r?
False
Let v be ((-4)/5)/((-4)/(-540)). Is 8 a factor of (v/10)/((-14)/35)?
False
Let r(q) = 5*q - 18. Let v(y) = 4*y - 17. Let l(o) = -5*r(o) + 6*v(o). Let h be l(-8). Does 2 divide (h + 2)/(8/(-12))?
False
Let d = 6 - 3. Suppose d*n = 2 - 5. Does 9 divide (1/3)/n*-51?
False
Let z = 168 + -13. Let q = z - 82. Let s = q + -44. Does 16 divide s?
False
Let w(s) be the first derivative of 2*s**3 + s**2 + s + 3. Let y be w(-1). Suppose -4*q + y*d = -21, 3*d + d - 21 = -q. Is q a multiple of 6?
False
Let r(x) = x**3 + 4*x**2 - 2*x + 2. Does 11 divide r(2)?
True
Let d = -8 + 11. Is 3 a factor of d?
True
Is 888/10 - (-32)/(-40) a multiple of 16?
False
Suppose 2*f - 6 = 16. Suppose 30 = 4*o - o. Let t = f + o. Is t a multiple of 16?
False
Suppose -3 = -j + 4*j, 5*j + 500 = 5*o. Does 11 divide o?
True
Suppose x - 8 = 2*x. Let r(t) = -t**3 - 7*t**2 + 9*t + 7. Let f be r(x). Is 3 a factor of 12/((-3)/2*f)?
False
Let o(m) = 3*m**3 - m**2 - m. Suppose p - 5 = -2*x, -4*x = x + p - 11. Is 9 a factor of o(x)?
True
Suppose y - 68 = 5*y + 5*o, -28 = 2*y + o. Let f = -1 - y. Is f a multiple of 11?
True
Does 35 divide (0 - -77) + (0 - -2)?
False
Suppose 12*q - 8*q = 124. Is q a multiple of 17?
False
Let l be (-6)/2 - 0/(-2). Let g(b) = -5*b + 2. Is 5 a factor of g(l)?
False
Let y = 83 - 41. Suppose -2*u - u = -y. Does 14 divide u?
True
Let h(m) = -m**2 - m + 1. Let s(q) = 12*q**2 + 9*q - 9. Let i(b) = 4*b**2 + b - 3. Let k be i(3). Let l(w) = k*h(w) + 4*s(w). Does 6 divide l(-1)?
True
Let l(c) = -c**2 - c - 3. Let x be l(-4). Let j = x + 35. Is j a multiple of 5?
True
Let p be ((-6)/2)/(-3)*-46. Does 23 divide 4/(-1 + (-50)/p)?
True
Let k(z) be the second derivative of 0*z**2 + 1/12*z**4 - 3*z + 1/6*z**3 + 0. Is 21 a factor of k(6)?
True
Let u(a) = 11*a + 6. Does 18 divide u(6)?
True
Let m(k) = 20*k**3 + 5*k - 1. Does 24 divide m(2)?
False
Suppose -f - 4*f + 5*h = -75, 66 = 4*f + 2*h. Does 11 divide f?
False
Let u(g) = g**3 - 7*g**2 - 8*g + 2. Let v be u(6). Let z = v + 38. Let d = -9 - z. Does 17 divide d?
False
Let x(i) be the third derivative of -1/4*i**4 + 0 - i**2 + 0*i - i**3. Is x(-6) a multiple of 11?
False
Let w be ((-3)/5)/((-5)/25). Suppose -m - 3*m = -20. Suppose w*g - 37 = g - 3*u, -65 = -3*g + m*u. Is 11 a factor of g?
False
Suppose 2*b = 32 + 12. Is b a multiple of 4?
False
Let x(m) be the second derivative of -m**5/20 + 3*m**4/4 - 2*m**3/3 + m**2 + 2*m. Let f be x(6). Is 3/2 - f/(-4) a multiple of 14?
False
Let i(y) = y + 22. Is i(-8) a multiple of 7?
True
Suppose 5*s + 171 = 5*d + 1431, 2*s = -3*d + 479. Does 21 divide s?
False
Let n(o) = 2*o**2 - 6*o + 2. Suppose 3*x = 69 - 18. Suppose 4*v = 6*v - 2, -3*g + x = 5*v. Does 5 divide n(g)?
True
Suppose -2*w = -5*w. Suppose 5*p + 5*h = 90, 0 = 5*p - w*p + 2*h - 90. Is p a multiple of 9?
True
Let i(p) = 3*p**3 - 6*p**2 - 2*p + 6. Does 17 divide i(5)?
True
Let s(l) = 4*l + 10. Is s(6) a multiple of 30?
False
Let n(b) = -3*b - 1 - 2*b**2 + 3*b**2 - b - 3. Let v be n(-8). Let z = -46 + v. Is 21 a factor of z?
False
Let i = -22 - -40. Suppose -3*q - 4*g = -160, 4*g - 30 = -q + i. Is q a multiple of 19?
False
Let o(u) = -5*u - 1. Let k be o(-3). Let p be 4/(-14) - (-3924)/k. 