Suppose 4*w = -2*b - 36, -5*b - 46 = 2*w + 4. Let l be q(b). Suppose -i + l = 3*i. Is 16 a factor of i?
False
Suppose -u - 141 = d, u + 147 = 4*d - 19. Let t be (-4)/(3 + u/48). Suppose 4*j - 5*z - 47 = 49, t = 4*j - 2*z. Is 12 a factor of j?
True
Let h be (2/6)/(2/30). Suppose 0*v = -v. Suppose -4 = -x + 4*g, v*x - 43 = -h*x - 3*g. Is 4 a factor of x?
True
Let o = -4 - -8. Suppose u + o*l = 12, -89 + 14 = -3*u + l. Is 12 a factor of u?
True
Let s(k) = -k**2 + 11*k - 4. Let t = -3 + 10. Suppose 4*u - 3*l = 26, t*u - 3*u - 14 = -3*l. Is 13 a factor of s(u)?
True
Suppose -14 + 2 = 2*x. Let s = 2 + x. Let f = s - -9. Does 3 divide f?
False
Let i = 3 - 4. Is 4 a factor of -8*(3*i - -2)?
True
Let h(r) = -5*r**3 - 3*r**2 + 10*r + 2. Let z(y) = y**3 + y**2 - y. Let d(i) = -h(i) - 6*z(i). Is 2 a factor of d(-2)?
True
Suppose 2*p - 20 = -0*p - b, 3*p - 2*b - 30 = 0. Let q = p + -14. Let i(z) = -5*z. Is i(q) a multiple of 10?
True
Let u = -91 + 151. Let i = -39 + u. Is i a multiple of 7?
True
Let n(b) = 21*b - 6. Let h(w) = -3 + 1 - 2*w + 13*w - 1. Let y(s) = -9*h(s) + 5*n(s). Is y(6) a multiple of 18?
False
Suppose -3*m - 3*c + 9 = 0, c - 4*c + 17 = 5*m. Suppose -4*g - 2*j + 118 = 0, 0*g - 3*g + m*j = -116. Does 16 divide g?
True
Suppose r = -1 + 5. Suppose r*y + y - 85 = 0. Suppose m - 3*q - y = 0, 2*m + 2*q - 82 = -24. Is 13 a factor of m?
True
Suppose -3*m - 2*d = 2*d - 7, -d = 3*m - 13. Suppose 0 = t - m - 0. Suppose 5*r + 10 = 0, t*l + r - 38 = 5*r. Is l a multiple of 6?
True
Let n = 70 + -43. Suppose -n = -3*s + 48. Is s a multiple of 12?
False
Let z(d) = -d - 1. Let i be z(-7). Suppose -i*a + 15 = -a. Suppose -a*u + 23 = -2*n, 4*u + 0*n = -n + 16. Is 3 a factor of u?
False
Let x = 5 - 0. Suppose 5*l - k + 40 = 0, 2*k + 2*k = x*l + 40. Is 116/6*(-12)/l a multiple of 8?
False
Let g be 4 - (2 - (1 - 0)). Suppose k - g*k = -28. Is k a multiple of 3?
False
Let y(k) be the second derivative of -k**4/12 + 7*k**3/6 - 3*k**2/2 + k. Suppose -2*j - j + 18 = 0. Does 2 divide y(j)?
False
Let v(q) = 4*q**3. Let n = 1 - 0. Let o = n + 0. Is v(o) a multiple of 3?
False
Let l = 7 + -5. Suppose -l*q = 2*q - 28. Does 3 divide q?
False
Suppose -8*p + 25 = 3*b - 3*p, 3*b + 4*p - 20 = 0. Suppose -z - 4*z + 350 = b. Suppose 8*h - z = 3*h. Is h a multiple of 10?
False
Suppose -u + 2*u = -4*n - 15, -3*u + 35 = -4*n. Let r = u - 4. Suppose a = r, -3*a = -4*x + 2*a + 55. Is x a multiple of 12?
False
Let a(g) = -4*g - 1. Let r be a(2). Let l be 1*(r/3 + 8). Suppose b + 120 = l*b. Does 15 divide b?
True
Is (-3 + -4)/(4/(-20)) a multiple of 14?
False
Let z = -52 - -82. Is z a multiple of 10?
True
Let h be 6/(-4)*4/(-6). Let a(r) = -r**3 - 4*r**2 + 4*r - 8. Let z be a(-5). Is 3 a factor of h/z + (-13)/(-3)?
False
Suppose -k = 4*r - 225, r + r = -2*k + 432. Is k a multiple of 9?
False
Suppose 4*y - 72 = 3*z, -21 = -3*y - 2*z + 16. Let v = 6 + y. Does 7 divide v?
True
Suppose 3*y - 142 = 5*b - 0*b, 3*y = b + 158. Does 18 divide y?
True
Suppose z = -5*m + 218 - 87, -m = 1. Does 24 divide z?
False
Suppose 0 = -2*y + 4*r - 12, -4*y = 3*r - 27 - 4. Suppose -177 = -y*p + j + 23, -p - j + 45 = 0. Is 11 a factor of p?
False
Suppose 0*d = 5*d - g + 11, -3*d = 5*g + 29. Let k be 1/(d/(-15) - 0). Suppose 3*p - 2*l = 42, l = k*p - 0*l - 77. Is p a multiple of 6?
False
Suppose -13 = -2*z + 3*n, 4*z - 5*n - 20 = 1. Let m be (7 - (z + 3))*-1. Let o = m + 32. Is o a multiple of 14?
False
Let m(v) = -v**3 - 5*v**2 - 11*v + 2. Is 15 a factor of m(-7)?
False
Let w = 0 - -8. Suppose -s = 3*s - 80. Suppose -w = 2*z - s. Is 4 a factor of z?
False
Suppose -16 = -g + 5*g, -4*g = -q + 89. Does 45 divide q?
False
Let h = 13 + -4. Is h a multiple of 2?
False
Let l = 13 - 8. Let m = l - -3. Does 8 divide m?
True
Is 12 a factor of ((-16)/(-20))/(-2)*-90?
True
Suppose -4*n + 26 = 3*k, 2*k - 4*n = 3*k - 22. Let y be (-2 + k)*(-3 - -2). Suppose y*u = -3*u + 72. Is 12 a factor of u?
True
Let c(p) = 2*p**2 - 2. Is 24 a factor of c(5)?
True
Let l(s) = 10*s**2 + 14*s + 3. Let a(d) = 5*d**2 + 7*d + 1. Let t(r) = 5*a(r) - 3*l(r). Let u(b) be the first derivative of t(b). Is u(-6) a multiple of 15?
False
Suppose -5 = -0*y - y. Suppose -y*t = -f - 3, -t = 2*f + t + 18. Let b(m) = -3*m. Does 24 divide b(f)?
True
Let p(i) = i**2 + 19*i - 7. Let a(b) = 2*b**2 + 37*b - 13. Let k(m) = -3*a(m) + 5*p(m). Is k(-14) a multiple of 18?
False
Let a = -3 - -3. Suppose 2*j + a = 14. Is j even?
False
Suppose 5*n - 28 - 52 = 0. Let o be (-1)/(n/15 + -1). Is ((-4)/10)/(1/o) a multiple of 5?
False
Let z = -23 - -26. Let s be 1/(1 + 4/(-5)). Suppose g - 3*b = -2*b + 17, -s*g = z*b - 77. Does 16 divide g?
True
Does 32 divide 30/10 + -1 + 92?
False
Let d = 158 - 108. Is d a multiple of 17?
False
Let f(u) = u**3 + 4*u**2 - 8*u - 6. Let n be f(-5). Let a = -6 + n. Suppose -2*z + 5*x = 3*z - 155, -5*z - a*x = -163. Is 16 a factor of z?
True
Suppose 3*r = -0*g - 2*g + 37, 0 = r - 2*g - 7. Let y(a) = -a**3 - 5*a**2 + 7*a + 1. Let s be y(-7). Suppose -6*z = -r*z + s. Is z a multiple of 4?
False
Let u = 83 + -13. Does 16 divide u?
False
Let d(n) be the third derivative of -n**6/120 - n**5/20 + n**4/8 + 2*n**3/3 + 3*n**2. Let g be (-8)/(-10)*(-10)/2. Is d(g) a multiple of 4?
True
Let a be ((-6)/9)/(-1)*3. Suppose -3*l + g = -117, -3*l + 102 = a*g + 2*g. Is l a multiple of 22?
False
Suppose 2*o + f + 4 = -4, 2*o = -3*f. Let k = -1 - o. Suppose 4*u = -k + 25. Does 3 divide u?
False
Suppose 369 = 3*m + 3*p - p, 5*m = -3*p + 616. Suppose 3*y - 37 - m = 0. Is 18 a factor of y?
True
Is 37 a factor of (888/9)/4*6?
True
Let i(l) = -l**3 + 6*l**2 - 3*l - 2. Suppose -3*r + 3*z = 4*z - 23, -3*r - 3*z = -33. Let g be i(r). Let j = g - -56. Is 18 a factor of j?
True
Let j = 7 + 35. Does 14 divide j?
True
Let b = 26 - 18. Suppose 2*h - i = -0*h + 9, -b = -h - 3*i. Suppose h*g - 4*g + 5*o = 53, -4*o - 26 = -g. Is 19 a factor of g?
True
Suppose -t = -4*g + 19, 0 = g - 2*t - 0*t - 10. Suppose -8 = -4*b, h + g*b - 13 = 49. Is h a multiple of 27?
True
Suppose -m + 18 = -6. Suppose 5*g + m - 94 = 0. Is g a multiple of 14?
True
Let d(v) = 24*v. Is 7 a factor of d(1)?
False
Let t(y) = -3*y + 3. Let q be t(3). Let m be 1*(-20)/q*-3. Let o = m - -18. Is 5 a factor of o?
False
Suppose -3*l + 6 = -2*i, 0 = 2*l + 3*i - 10 - 7. Suppose -l*s + 110 = s. Does 22 divide s?
True
Suppose -m = 3*m + 12. Let j = m - -13. Is 10 a factor of j?
True
Does 4 divide -1 + 4 + (1 - -1)?
False
Is 8 a factor of (1 - 0 - (-3)/(-1)) + 34?
True
Let v(u) = 2*u**2 - 3*u. Suppose -k = -5*k + 3*a - 26, 0 = -2*k + 5*a - 20. Is v(k) a multiple of 25?
False
Suppose 0 = 5*b + 4*f - 0*f - 1230, -978 = -4*b - 2*f. Is b a multiple of 12?
False
Let c(o) = 2*o**2 - 11*o - 7. Let f be (-125)/(-15) - (-2)/(-6). Is 11 a factor of c(f)?
True
Suppose -5*i - 5*c = 10, -5*i = -c - 5 - 9. Suppose -126 = -i*j + 5*m - 34, -5*m = -10. Is 18 a factor of j?
False
Let d be (-146)/(-10) + 4/10. Let u = -48 + d. Is u/(-3) + (2 - 0) a multiple of 6?
False
Suppose 5*t + j = 5, -1 = 4*t + 2*j - 11. Suppose t = 5*w - 224 + 74. Is 10 a factor of w?
True
Let c be 0 + -18 + 2 + 4. Is 16 a factor of (-543)/(-6) - 6/c?
False
Is 15 a factor of ((-180)/(-3 - -1))/1?
True
Let p = 8 - 5. Let c = -3 + p. Suppose 5*z - 4*q - 13 = 155, c = 5*z + q - 183. Does 16 divide z?
False
Suppose -l = 5*y - 1 + 17, -4*l = -2*y - 2. Let o be l*1*-9*2. Is (-4)/(-18) - (-50)/o even?
False
Let q = 7 - 15. Let v = q + 14. Does 6 divide v?
True
Let d = 5 + 1. Let k = d - -4. Does 5 divide k?
True
Is 5/((-20)/(-212)) + 1*2 a multiple of 5?
True
Let o be 3/(-9) - 814/6. Let v = o + 278. Suppose -v = -3*r - 58. Is 8 a factor of r?
False
Suppose 14 = -3*g + 4*g. Is g a multiple of 14?
True
Suppose -3*f = 2*y - 0 + 5, 5*y = -5*f. Suppose -y*u - 2 = -27. Is u a multiple of 3?
False
Let m(x) = 2*x**2. Let u be m(-1). Suppose -3*s + 165 = u*s. Does 11 divide s?
True
Let g(y) = -7*y + 13. Does 19 divide g(-11)?
False
Is 12 a factor of (9/4)/((-10)/(-160))?
True
Is 40 - (-2 - 0 - -2) a multiple of 10?
True
Let s = 43 + -26. Is s a multiple of 8?
False
Suppose -4 = -2*a + a - 5*y, -5*a - y + 44 = 0. Does 3 divide a?
True
Suppose 4*t - 175 = t + 5*q, -3*t + 183 = -3*q. Is t a multiple of 13?
True
Let f(q) = 6*q**2 + 10*q + 5. Suppose -5*k + 3*n = 22, 6*k + 22 