 Does 11 divide h?
True
Suppose -2*y - 35 = -319. Does 23 divide y?
False
Suppose -2 = -3*s + 4, -5*x + 173 = -s. Is x a multiple of 5?
True
Suppose 4*q - 29 = -v - 0*v, 5*q = 4*v + 31. Let x(b) = b + q - 2*b**2 + b**2 - 4. Is x(0) a multiple of 3?
True
Let b(m) = -m**2 - 8*m - 7. Let f be b(-7). Suppose f = -0*a + 4*a - 52. Is 11 a factor of a?
False
Let k(f) = f**2 - f + 24. Let i be k(0). Suppose -i - 4 = -o. Is o a multiple of 18?
False
Let n(b) = -b**3 - 11*b**2 + 12*b + 1. Is 17 a factor of n(-13)?
False
Suppose 957 = 15*y - 2013. Does 33 divide y?
True
Let k(a) = 10 + 2 - 2*a**2 + 3*a**2 - a - 2*a**2. Does 12 divide k(0)?
True
Let j(m) = -23*m - 4. Let f be j(4). Let d = f + 159. Is 18 a factor of d?
False
Suppose 3*u = -5 - 61. Let q = -12 - u. Is ((-70)/25)/((-2)/q) a multiple of 6?
False
Suppose 5*z = -21 + 96. Suppose -4*h = h - z. Suppose 2*m = t + 11, 0 = h*m + 2*t - 6 - 28. Does 8 divide m?
True
Let d(b) = -40*b + 7. Let s(a) = 81*a - 13. Let w(l) = 11*d(l) + 6*s(l). Is w(1) a multiple of 15?
True
Let z be -3 + 0 + 1*3. Suppose z = 5*o - o - 68. Does 16 divide o?
False
Suppose 0*d - 2*d + 4 = 0, -4*g + 3*d = -10. Suppose 4*f + 60 = g*j - 2*j, f = j - 25. Is j a multiple of 7?
False
Is 44 - 1 - (1 - 4) a multiple of 11?
False
Let v(a) be the third derivative of -a**5/60 + 5*a**4/12 - a**2. Does 4 divide v(8)?
True
Suppose 339 = 3*q - 0*q. Is 22 a factor of q?
False
Let t(r) = -r**3 + 5*r**2 - 2. Let k be t(5). Let x = k + 7. Is x even?
False
Let q = 36 + 9. Is 13 a factor of q?
False
Let d = 35 - 79. Let z(n) = n**3 - 13*n**2 + 17*n - 7. Let y be z(11). Let b = d - y. Does 9 divide b?
True
Let s(d) = -d**3 + 8*d**2 - 4*d - 8. Does 25 divide s(6)?
False
Suppose -2*d + 5*o - 2*o = -8, -2*d + o + 8 = 0. Let y = d + -8. Is 9 a factor of (18/5)/(y/(-10))?
True
Suppose b + 2*b - i = 82, -4*i + 8 = 0. Is b a multiple of 7?
True
Let o be (-1 - -2 - 0)*3. Let j be (4 + -1)/o*3. Suppose -61 + 9 = -2*q - 2*h, 50 = 2*q + j*h. Does 14 divide q?
True
Let s(l) = -l + 5. Let d be s(0). Suppose 2*w = d*w + 5*t - 71, 2*w = t + 30. Suppose -2*k - 150 = -5*c, 4*k - w = 3. Does 16 divide c?
True
Let u(z) = 3 - z**2 - 2*z + 0 + 12*z + 2*z. Is u(9) a multiple of 15?
True
Let r = 83 - 59. Is r a multiple of 12?
True
Suppose 9 = 2*h - 133. Let r = -41 + h. Suppose 3*o = 7 + 2, -l = 3*o - r. Is l a multiple of 9?
False
Suppose -4*o + 211 + 85 = 0. Suppose 3*i = -2*b + o, 5*b - 3*i = 68 + 159. Does 20 divide b?
False
Let v be 4 + 2 + -3 - 21. Let g = -12 - v. Suppose 4*n - 2*n - d = 24, 0 = -n + 5*d - g. Does 4 divide n?
False
Suppose 2*p - 271 = -0*p + 5*d, 4*p + 2*d = 482. Let w = p + -84. Does 10 divide (-6)/39 - (-1020)/w?
False
Suppose 0 = -b + 41 - 7. Is 17 a factor of b?
True
Let h be 8/(-6) - 48/18. Does 3 divide h*((-8)/2 - -1)?
True
Let c(n) = -n**3 + 10*n**2 - 6*n - 8. Is 20 a factor of c(6)?
True
Let z(m) = -6*m - 2. Let b be z(-2). Suppose -b = -5*n + 15. Is n a multiple of 2?
False
Suppose 4*l + 6 = 30. Suppose -l*g + 215 = -g. Is 11 a factor of g?
False
Let z = -225 - -326. Does 15 divide z?
False
Let a(i) = 4*i + 3. Is 6 a factor of a(2)?
False
Let c(o) = 2*o**2 - 6*o - 6. Is 13 a factor of c(5)?
False
Let q(t) be the second derivative of -t**5/20 - t**4/4 + t**3/3 - 3*t**2/2 + 3*t. Is q(-4) a multiple of 2?
False
Suppose 0 = 4*q - 5*h - 703, h + 2*h = 15. Is q a multiple of 13?
True
Let u = 19 - 5. Suppose -k + 3*v = -0*k - u, 0 = -k + 2*v + 9. Is 1/1 - k*7 a multiple of 5?
False
Is 21 - (-9)/6*2 a multiple of 12?
True
Let s(w) = -4*w + 17. Does 7 divide s(-5)?
False
Let n = 89 - 49. Does 10 divide n?
True
Suppose -3 = -x - 4. Let z(d) = 18*d**2 - d. Does 9 divide z(x)?
False
Let i(m) = -1 + 21*m + 5*m + 8*m. Is i(1) a multiple of 12?
False
Let p = 111 - 79. Is p a multiple of 8?
True
Let s(k) = k + 2. Let q be s(4). Suppose -2*l - 4*v - 48 = -q*l, v = 4. Is l a multiple of 4?
True
Let s(m) be the third derivative of -m**6/120 - m**5/20 - m**4/8 - m**3/6 - 4*m**2. Is s(-4) a multiple of 16?
False
Let h(q) = -7*q**2 + 2*q**3 - q**3 + 6*q + 5 + 14*q**2. Is h(-6) a multiple of 5?
True
Let q be 3 - (-3 + 6) - 1. Is 5 a factor of 1/((-56)/60 - q)?
True
Suppose -13*r + 294 - 60 = 0. Does 4 divide r?
False
Let p = 2 - 5. Let v be (p - 0)/3 - -6. Suppose 3*u - 34 = -v*x, 0 = x + 1. Is u a multiple of 13?
True
Suppose 2*y + 8 = d + 89, 0 = -d + 3. Suppose j + j - y = 0. Is j a multiple of 8?
False
Let z be ((-15)/6)/(2/(-20)). Let r = z - 15. Does 6 divide r?
False
Suppose 5*n + n = 120. Is n a multiple of 2?
True
Suppose 6*j - 5*j = 68. Does 14 divide j?
False
Let s(r) = 4*r**2 + 5*r - 1. Let k be s(4). Let f = k - 30. Is 23 a factor of f?
False
Suppose 2*j + 4*x - 20 = -2*j, j + 5*x = 13. Suppose j*w + 4*y - 51 = 0, -w + y - 5*y + 25 = 0. Let s = w + 9. Is 16 a factor of s?
False
Does 9 divide -1*3/((-9)/111)?
False
Is 6 a factor of (-3)/(-1)*187/33?
False
Let w(q) = -q**3 - 4*q**2 + 4*q - 6. Suppose -4*l + 13 - 37 = 0. Is 14 a factor of w(l)?
True
Suppose 4*h = -b + 24, -42 = -2*b - h - 15. Is 4 a factor of b?
True
Suppose 0 = 15*j - 1082 - 2758. Is j a multiple of 32?
True
Suppose 2*l = 6*l + z - 208, -2*l + 5*z = -104. Suppose l = 3*p - p. Is 13 a factor of p?
True
Let b be (-8)/(0 - (-2)/31). Let u = -60 - b. Is u a multiple of 23?
False
Suppose 5*d = -2*r + 208, 3*r = 2*r + 4*d + 104. Does 16 divide r?
False
Is 10 a factor of ((-16)/(-20))/(1/15)?
False
Suppose 0 = -2*q + 5 + 3. Let b be (-48)/(10/5)*5/(-2). Suppose 0 = -q*n + 24 + b. Does 8 divide n?
False
Suppose 2 - 4 = -m. Suppose -3*s + o + 11 = m*o, 0 = 5*s + 4*o - 23. Does 14 divide -1*(-3 + -41 + s)?
False
Let g(i) = -i**3 - i - 7. Let k be g(0). Let m = 15 + k. Is m a multiple of 4?
True
Let x(p) = -p**3 - 9*p**2 - 5*p + 12. Does 9 divide x(-9)?
False
Suppose 12 + 4 = 4*m. Let w be 22/m + 1/2. Let k(i) = -i**3 + 7*i**2 - 6. Is k(w) a multiple of 22?
False
Let b be (18/5)/(9/60). Does 10 divide (198/b)/((-3)/(-8))?
False
Suppose 5*g = h - 0*h + 40, 5*g = -h + 50. Does 9 divide g?
True
Let t(v) = v**3 - 21*v**2 + 23*v + 23. Let m be t(20). Suppose -20 = -5*h - 5*k, -5*k = h - 7 - 1. Suppose i - 2*o = 19 + 4, o - m = -h*i. Is 9 a factor of i?
True
Suppose 0 = 2*i + m - 9, m = -4*i + i + 16. Suppose -60 = 4*j - i*j. Does 7 divide j?
False
Is 6 a factor of (-1)/(-2)*(-3 - (-1026)/6)?
True
Let r = 4 - 4. Suppose -2*h - b + 13 = r, 0 = -0*h - 3*h - 3*b + 27. Suppose -h*z = -4*d - 156, 5*z - d - 69 = 106. Is 13 a factor of z?
False
Suppose l - 6 = -1. Suppose 4*y - v = 221, l*v - 6 = -31. Does 16 divide y?
False
Suppose 3*m + 1 = -5. Let x be 4/(-5)*m*15. Let s = x + -9. Is s a multiple of 15?
True
Let s(o) = o**3 + 7*o**2 - 9*o - 3. Is 29 a factor of s(-6)?
True
Let j = -1 - -6. Suppose 0 = 5*d + 3*g - 87, 19 = -4*d + j*d - g. Is 7 a factor of d?
False
Suppose 0 = 2*f + h - 124, -3*h + 27 = 2*f - 93. Is 21 a factor of f?
True
Let b(s) = -s - 4. Let v be b(-4). Suppose v*k = 3*k - 144. Is k a multiple of 18?
False
Let g(r) = -1 + 9*r - 4 + 5*r - 1. Let a be g(7). Suppose -2*u + 0*u = -a. Is 23 a factor of u?
True
Suppose 0 = f - 4 - 4. Does 8 divide f?
True
Let r(m) = -56*m - 34. Is r(-8) a multiple of 36?
False
Let n = -5 - -25. Is 6 a factor of n?
False
Let g(t) = 3*t**2 - 2*t - 4. Does 4 divide g(4)?
True
Let r(x) = -x**2 - 5*x - 2. Let l be r(-3). Suppose -2*p + l = -8. Is 3/(-1)*-1*p a multiple of 9?
True
Let m be (-2328)/(-36)*6/(-2). Let g = 314 + m. Is g a multiple of 30?
True
Suppose -125 = -2*w - 3*w. Is w a multiple of 8?
False
Let z be (-4)/(0 + 1/(-28)). Suppose -3*i + z = -i. Is (3/(-6))/((-2)/i) a multiple of 7?
True
Is (59/2)/((-6)/(-12)) a multiple of 28?
False
Suppose 4 = w + g, -7*w + 3*w = -5*g - 7. Is 3 a factor of w?
True
Let l(b) = b**3 + 7*b**2 - 10*b - 11. Let k be l(-8). Suppose 0 = -2*w - 2*d + 62, 3*w - 3*d = k*w - 63. Is w a multiple of 15?
True
Suppose 0 = 4*h - 8 - 24. Does 2 divide h?
True
Suppose 2 = -3*g - 7. Let f be (2/(-6))/((-1)/3). Does 20 divide (2 - f)/(g/(-111))?
False
Suppose -5*o + 0*o = 40. Let q = o + 6. Let m = 4 - q. Is m even?
True
Suppose 290 = b + 4*b. Is b a multiple of 12?
False
Let l(x) = 2*x**2. Let y be l(-6). Suppose y = t + 2*t. Is t a multiple of 12?
True
Suppose -a - 8 = -j + 2, 2*a = -3*j + 20. Suppose 5*o - 12 = j. Suppose -o