11. Does 18 divide h?
True
Let x = -6 + 8. Suppose x*s + 3*s = 50. Does 5 divide s?
True
Suppose -2*p = -4 - 56. Is p a multiple of 9?
False
Let g(u) = 5*u**2 + 2*u - 1. Let v = -4 - -4. Let j be -1 + -2 + 4 - v. Does 3 divide g(j)?
True
Let i(s) = 2*s**3 + 2*s - 1. Let a be i(1). Suppose 33 = a*l - 6. Let w = -2 + l. Does 11 divide w?
True
Suppose -6 = 3*x - 4*d, -2 = -2*d + 4. Suppose -22 = -v - x. Does 10 divide v?
True
Let i = 5 - 0. Let l be 2 + (-1)/(2/(-2)). Suppose -5*f - i*x + 70 = 0, 2*x - 1 - l = 0. Is f a multiple of 6?
True
Suppose -32 = -5*q + 13. Is q a multiple of 2?
False
Let v be (-2)/2*-3 + 0. Suppose 3*l = -3*h + 87, 50 + 93 = 5*l + v*h. Let y = -17 + l. Is 5 a factor of y?
False
Suppose 2*p - 1 = -3. Does 9 divide p*9/3 + 27?
False
Let n(p) = -2*p**2 - p - 10. Let r be n(-5). Let y = r + 97. Is 18 a factor of y?
False
Let l(z) = z**2 + 5*z + 3. Let g be l(-4). Let p be 12/(3 - 0) + g. Let i = p - -1. Is i even?
True
Let n = 17 - 11. Let a(l) = -l - 2*l + n*l + l. Is a(4) a multiple of 10?
False
Suppose 8*u - 2*u = 540. Does 20 divide u?
False
Let q(m) be the third derivative of m**6/120 - m**5/12 - m**4/6 + 2*m**3/3 - 2*m**2. Let l be 4/18 - (-104)/18. Does 8 divide q(l)?
True
Let w = 28 - 13. Suppose 0 = -6*p + 4*p + 4. Let a = w - p. Is 5 a factor of a?
False
Suppose 0 = 77*y - 76*y - 56. Is 8 a factor of y?
True
Let t(b) be the first derivative of 3*b**2/2 + b - 5. Is t(3) a multiple of 4?
False
Suppose 3*l + 426 = 4*j, 2*j - l = 7*j - 523. Is j a multiple of 22?
False
Let g(m) = 4*m**2 + 3*m - 3. Let b(h) = h - 1. Let v be 8/3 - 1/(-3). Let c be b(v). Is 19 a factor of g(c)?
True
Let x be (-1)/(-2) - 36/(-8). Suppose -b = k - 47, -b - 2*k = x - 48. Does 9 divide b?
False
Let l(x) = 20*x**3 - 20*x**2 - 32*x - 22. Let i(s) = 8*s**3 - 8*s**2 - 13*s - 9. Let f(v) = 12*i(v) - 5*l(v). Is 17 a factor of f(-2)?
False
Let z be 2/(-7) - (-103)/(-7). Let p = -99 + 60. Let u = z - p. Is 12 a factor of u?
True
Let o be 12/(-16)*-76*1. Suppose o = 4*h - 7. Is h a multiple of 8?
True
Suppose 2*z + 3*b + 2 = 4, -2*z = 2*b. Let x be (z/4)/(1/(-4)). Is 7 a factor of 468/33 + x/(-11)?
True
Suppose 0 = 5*z + 20 - 925. Does 14 divide z?
False
Suppose 0 = -5*s - 59 - 56. Let f = s - -44. Let v = f - -1. Does 11 divide v?
True
Suppose 16 = 2*t + 2*t. Suppose t = 3*x - 2. Suppose m - 13 = -3*w - 4, -4*m - x*w + 76 = 0. Does 9 divide m?
False
Let p = 17 + 128. Let j = -15 + p. Suppose 3*s = -2*s + j. Does 13 divide s?
True
Does 12 divide 8/(-6)*(-19 - -10)?
True
Suppose 3*a = -a. Suppose a = 5*k - 2*l - 25, 0*k + 26 = 3*k + l. Is 3 a factor of k?
False
Suppose 4*m + 4 = -3*s - 56, -2*m - 18 = s. Suppose 2*z - 93 = -13. Let p = z + s. Is 7 a factor of p?
False
Let r(x) = 0*x + x - 5 + x. Is 7 a factor of r(6)?
True
Suppose 8*t = 9*t - 5, 0 = r - 5*t + 19. Is 5 a factor of r?
False
Let h be -1 + 1 + (9 - -26). Suppose 30 = -5*v - h. Let w = 43 - v. Is w a multiple of 20?
False
Let y be -11 + 1 + (3 - 4). Is 24/(-4 - y/2) a multiple of 8?
True
Is 13 a factor of (-1340)/(-25) + -2 + (-2)/(-5)?
True
Let l = 52 - 32. Is 20 a factor of l?
True
Let m be 14 + 0/2 - 2. Suppose 4*s + 0*s + m = 0. Let a = s - -15. Does 10 divide a?
False
Let d(a) = a**2 - 2*a - 1. Let v(c) = -c**2 + 7*c - 1. Let i be v(6). Let y be d(i). Suppose y = w - 2*f, -5*f + 22 = 2*w - 3*f. Is 9 a factor of w?
False
Let g(v) = -v**3 - 5*v**2 + v - 5. Does 7 divide g(-6)?
False
Suppose 3*j + 3*o - 3 = 0, -7*j + 3*j = -3*o + 24. Suppose 1 + 23 = 3*t. Is 2 + -1 + (t - j) a multiple of 7?
False
Let f be -11 - (0 + 1*-2). Let o = f + 15. Suppose -o = c - 26. Is c a multiple of 13?
False
Does 3 divide (-24)/32 - (-1)/(12/381)?
False
Is 5 a factor of (14/21)/(4/102)?
False
Suppose -5*b + 211 = -179. Is 13 a factor of b?
True
Let y be 10*5/((-75)/(-42)). Let c = y + 6. Is c a multiple of 10?
False
Let v = 7 + 3. Let m be 4 + -2 - (-44)/2. Let p = m - v. Is p a multiple of 8?
False
Suppose 4*c + 23 = 5*c. Does 23 divide c?
True
Suppose f + 15 = 83. Suppose -2*m - 45 = -2*h - m, -2*m - f = -3*h. Does 11 divide h?
True
Let l(i) = -i**2 - 11*i + 4. Let g = -13 - -3. Is l(g) a multiple of 7?
True
Let g = -18 - -28. Let w = -6 + g. Suppose -w = -v + 24. Is 9 a factor of v?
False
Let t be (-6 - (-2 - 1))*2. Let g(a) be the third derivative of -a**6/120 - a**5/15 + 5*a**4/24 + 3*a**2. Does 21 divide g(t)?
True
Let g = 3 - 1. Let i be (g*-2)/(4/(-30)). Let j = i - 14. Is 16 a factor of j?
True
Let q be ((-16)/(-20))/(2/80). Let n = -18 + q. Suppose 2*z + 0 = n. Is 3 a factor of z?
False
Suppose -3*t - 5*m + 11 = 0, 0*t + 3*m + 1 = 2*t. Does 8 divide t + (3 + -3 - -24)?
False
Suppose -b + f + 60 = 0, -3*b + 0*f - 5*f + 204 = 0. Let w = 17 - 12. Suppose -b = -w*l + 7. Does 7 divide l?
True
Does 12 divide (-2)/3*-12*(-57)/(-2)?
True
Let v be -7 - 3*3/(-3). Does 28 divide 0 - (-87 + (-1 - v))?
True
Let i be ((-12)/1)/((-9)/(-12)). Is (44/i)/((-1)/4) a multiple of 4?
False
Let h = 27 - 3. Let t be (-1 + 5)*(-54)/h. Let c = 16 + t. Does 3 divide c?
False
Let a(z) be the first derivative of -z**2/2 + 16*z - 59. Suppose -2*g = g. Does 13 divide a(g)?
False
Suppose 3*q - 150 = -3*o, -o + 2*q = -q - 42. Does 6 divide o?
True
Suppose -l + 0 + 35 = 0. Is 7 a factor of l?
True
Suppose j + j + 5*l = -20, 0 = -5*j + 5*l + 20. Suppose j = y + y - 12. Is y a multiple of 3?
True
Suppose 102 = -5*x + 292. Suppose 3*w = 2 + 4. Suppose -b + x = -5*u, 0*b + 2*u - 28 = -w*b. Does 18 divide b?
True
Let w be 2/10 - 8/(-10). Is 22 a factor of w + (4 - (-2 + -76))?
False
Let i be -4 + (0 - 48)/(-3). Suppose -2*g + g = -3. Suppose 39 = g*n + i. Is n a multiple of 8?
False
Suppose 9 + 24 = 3*l. Does 6 divide l?
False
Suppose -2*c = 7 - 3. Let v be ((-1)/1 + 7)*-3. Is 4 a factor of v/(-4) - c/(-4)?
True
Suppose 3*t - 40 = 2*t. Is 11 a factor of t?
False
Let x(f) = -21*f**3 + f + 1. Is x(-1) a multiple of 3?
True
Suppose 2*l - 24 = -2*d, -l - 2*d + 12 = 2*d. Suppose -2*b - 3*w + 28 = 0, 4*b - 5*w = -0*w + l. Is b a multiple of 5?
False
Suppose 2*t + 271 = -0*t - 3*d, 397 = -3*t + 5*d. Let f = t + 88. Let p = f + 68. Is p a multiple of 11?
True
Is -1 + -2 - (-567)/21 a multiple of 12?
True
Suppose 30 = -5*r - 5*u, -r - r + u - 27 = 0. Let j = r - -24. Is 11 a factor of j?
False
Suppose 4*o + 37 = -2*z + 333, -o = -4*z + 619. Does 14 divide z?
True
Let n be 324/10 - 6/15. Let f(w) = -w**3 + 11*w**2 - 10*w - 12. Let u be f(9). Let c = u - n. Is 14 a factor of c?
True
Suppose 0 = -18*y + 16*y. Suppose y = -5*p + 2*p + 48. Is p a multiple of 10?
False
Suppose 12*o - 324 = 8*o. Is o a multiple of 8?
False
Let w = 151 + -97. Is 12 a factor of w?
False
Suppose 9*h - 35 = 4*h. Let v = -5 + h. Suppose v*a = 7*a - 30. Is 3 a factor of a?
True
Let l(h) = h**3 + 6*h**2 + 2. Does 11 divide l(-5)?
False
Let v(z) = -z**3 + 7*z**2 + z - 4. Let s be v(7). Suppose -s*q = -2*q - 9. Suppose 0 = -n + 19 + q. Is n a multiple of 14?
True
Suppose -3 = -0*b - b. Suppose b*h + 129 = -5*i, -2*h + 6 = -5*i - 108. Let n = -13 - i. Is 11 a factor of n?
True
Let l be (-2)/((4/(-47))/(-2)). Let n = l + 95. Suppose -p = -4*p + n. Is p a multiple of 9?
False
Suppose 5*z - 12 = s, -3*z + 24 = z + 4*s. Suppose -5*b + b = f, -z*f = -b. Suppose 3*y - 26 = -2*u, 2*y - u - 15 = -f*y. Is 7 a factor of y?
False
Suppose 25 = -5*s + 5*l - 10, 0 = 4*s + 2*l - 2. Let i be -3*-56*s/6. Let b = -39 - i. Is 17 a factor of b?
True
Suppose 4*i = -2*r + 10, -i - i = -4. Is ((-1)/(r/18))/(-1) a multiple of 18?
True
Let u be (-4 - -3) + (-202)/(-2). Suppose 5*n - 6 = -4*t + 130, 5*n - 5*t - u = 0. Is n a multiple of 12?
True
Let u = 195 + -101. Is 31 a factor of u?
False
Let s(b) = -20*b**2 - 4 - 9*b**2 + 3 - 3*b. Let o be s(-2). Is (-1)/(1 + 114/o) a multiple of 15?
False
Let a = 2 - 2. Suppose 37*j - 8 = 35*j. Let m = j + a. Does 3 divide m?
False
Suppose 0 = 2*x + 2*x - 8. Suppose -4*w + 102 = -x*w. Is w a multiple of 17?
True
Let z(q) = 21*q - 29. Is z(6) a multiple of 33?
False
Suppose 5*a = -y + 144, 3*a = -y + a + 153. Is y a multiple of 20?
False
Suppose 3*z = -5*g + 20, 2*z + 4*g - 16 = 4*z. Suppose z = 2*h - 131 - 125. Suppose 0*m - h = -4*m. Is 12 a factor of m?
False
Let a(s) = -s**3 + 8*s**2 - 4*s - 6. Is a(7) a multiple of 5?
True
Suppose 254 = 22*r - 20*r. Is r a 