2. Suppose 0*z = -4*i + z + 57, h = -2*z + 6. Does 6 divide i?
False
Let b(k) = -1 + 3 + 8*k - 12*k - 1. Is b(-1) a multiple of 5?
True
Suppose -2*d + 16 = a - 7*d, -5*d = 10. Let q = a + -3. Is q a multiple of 3?
True
Is (-76)/(-8) - 1/(-2) a multiple of 4?
False
Suppose 4*a + 78 = a. Let o = 54 + a. Suppose 4*u = -5*i + o, -i + 10 = 2*i - u. Is i a multiple of 3?
False
Suppose 0*u - 12 = -3*u. Let t = u + 0. Does 3 divide t?
False
Let t(l) = -l + 1. Let r(k) = -10*k + 21. Let j(w) = -r(w) + 6*t(w). Does 5 divide j(6)?
False
Suppose -11*l + 448 = -7*l. Is l a multiple of 19?
False
Let q be 45*(-6)/(-9)*1. Suppose q = 5*p - 2*p. Does 3 divide p?
False
Let k(v) = -2*v + 9. Does 19 divide k(-5)?
True
Let r = 46 - 18. Is 20 a factor of r?
False
Let r be ((-8)/(-12))/((-2)/(-12)). Suppose 67 = 3*h + m - 2*m, 140 = 5*h + r*m. Is h a multiple of 12?
True
Let q(g) = -g**3 - g**2 - 2*g - 1. Let h be q(-1). Is 12 a factor of -1*h/1*-13?
False
Let j be 40/(-18) - (-12)/54. Let z be j/(4/(-2))*-10. Let a = -6 - z. Does 4 divide a?
True
Let q = 9 + -5. Let u = 1 - q. Is 14*u/(-6) - 1 a multiple of 6?
True
Let y(o) be the first derivative of o**4/4 + 4*o**3/3 + 3*o**2/2 + 3*o - 5. Is 2 a factor of y(-3)?
False
Suppose 0 = -4*z + 31 + 125. Is 9 a factor of z?
False
Let o be 0 + 118/(0 - 2). Let a = 39 + o. Does 2 divide (0 - 3)*a/15?
True
Let w = 47 - 32. Let p = -8 + w. Does 7 divide p?
True
Suppose -11*z = -10*z - 85. Does 11 divide z?
False
Let d(n) = -13*n + 6*n - 2 - 5*n. Does 17 divide d(-3)?
True
Let h = -8 - -30. Suppose 9*b - 20 = 4*b. Suppose -b*q + y + 34 + 20 = 0, -q + h = 4*y. Does 7 divide q?
True
Let g(i) = -i**2 + 9*i - 1. Suppose 0 = -5*q + d + 2*d - 80, 3*q - 5*d = -64. Let z = q - -19. Is g(z) a multiple of 11?
False
Suppose 0*y = 12*y - 1560. Does 8 divide y?
False
Suppose -3*j = -4*x + 7, 5*x - 2*x - 4*j = 14. Let m(v) = 1 + v + 2*v**2 + 0 - 3. Is m(x) a multiple of 4?
True
Suppose -5*w - 3 - 57 = 5*g, -2*g - w = 22. Let m be (-2)/g - 2168/(-10). Suppose 27 = -5*k + m. Is 15 a factor of k?
False
Let h = 17 - 16. Is (2/(-4))/(h/(-46)) a multiple of 6?
False
Let t(a) = a**3 - 6*a**2 + 6*a - 2. Let j be t(5). Suppose 0 = -4*v - 5*h + 138, 2*v - j*h + 0*h = 58. Does 8 divide v?
True
Let t = -13 - -18. Suppose -19 = t*n - 119. Let q = 43 - n. Is 14 a factor of q?
False
Suppose 3*x + 4*l - 14 - 99 = 0, -5*x + 4*l = -199. Is 19 a factor of x?
False
Suppose -3*p - 18 = -0*p. Let q(f) = f**3 + 6*f**2 - 5*f + 5. Does 13 divide q(p)?
False
Suppose 5*u = 2*u + 30. Let n be 152/10 - 2/u. Let a = -7 + n. Does 6 divide a?
False
Let q = -7 + 10. Suppose -q*a + 9 = 39. Does 8 divide (-14)/35 - 144/a?
False
Let z(v) = v**2 + v - 3. Let y be z(-5). Suppose 19 = 3*l - y. Is l a multiple of 3?
True
Suppose -59 = -4*l + 5*j, 2*l + 5*j - 28 = 9. Let d = l + 12. Is 8 a factor of d?
False
Suppose y - 33 = -g, 5*g + 0*y = -3*y + 161. Suppose -25 = -4*v + g. Is (v - (-1 + 1))*1 a multiple of 6?
False
Let o(w) = 2 + 4 - 1 - 3*w - 4. Is o(-4) a multiple of 5?
False
Let m(s) = s**3 + 2*s**2 + 3*s + 4. Let o be m(-3). Let c(l) = l**3 - 6*l**2 - 4*l + 3. Let w be c(7). Let t = w + o. Is 5 a factor of t?
True
Let h = 50 - 22. Is h a multiple of 14?
True
Let v = -122 + 87. Let c = -21 - v. Does 8 divide c?
False
Suppose -4 + 34 = 3*r. Suppose -r*q + 80 = -8*q. Is 20 a factor of q?
True
Let t = 76 - 48. Does 14 divide t?
True
Suppose -4*s - 6 = -2*k, 0 = -2*k + s + 4*s + 4. Suppose -4*u - 36 = -k*u. Is u a multiple of 12?
True
Suppose -2*t + w = 11, -2*t + 5*w = -0*t + 15. Suppose 3*b - 4*b - 75 = 0. Does 11 divide (t/15)/(1/b)?
False
Suppose -271 = -4*x + 449. Is x a multiple of 9?
True
Let p = 110 + -57. Let v = 98 - p. Is v a multiple of 19?
False
Let l(v) = 4*v**2 + 4*v. Let t be l(-5). Suppose -4*g + 176 = 5*k, -3*k + 4*g + t = -0*k. Does 16 divide k?
True
Let u(o) = o**2 - o. Let n(j) = -3*j**2 + 2*j + 1. Let r(i) = -4*n(i) - 11*u(i). Does 6 divide r(3)?
False
Suppose 8*n = 3*n + 110. Suppose -3*x + n = -x. Let g = 28 - x. Is g a multiple of 6?
False
Is 10 a factor of (-21 - -1)*5/(-2)?
True
Suppose 5*w + 7 = -b, -2*w - 24 + 8 = -4*b. Is 9 a factor of (-8 + -3)*6/w?
False
Let z = -33 - -69. Suppose -4*k + z = -4*c, c + 2*k + 3*k = -9. Let v = 15 + c. Does 6 divide v?
True
Let v = 8 + -6. Suppose -12 = -v*y + 24. Is 18 a factor of y?
True
Let k(h) = 5*h**2 - 9*h + 10. Let m(u) = 6*u**2 - 8*u + 9. Let l(d) = 5*k(d) - 4*m(d). Is 2 a factor of l(12)?
True
Let o be 1/3 - 208/(-6). Suppose 0 = h - o - 5. Does 14 divide h?
False
Suppose t = w - 150, -3*w + 0*t = -2*t - 451. Suppose 0 = -4*z + 1 + w. Is 19 a factor of z?
True
Suppose 2*v + 16 = 3*c, -2*c + 5*c + 19 = -5*v. Suppose 4*u = -4*n - 364, 2*n - c*u - u = -207. Is n/(-9) + (-2)/3 a multiple of 10?
True
Let a(q) be the first derivative of -13*q**2/2 - 1. Let r be a(-1). Suppose r = x + k, 5*k = -x + 8 + 13. Does 4 divide x?
False
Suppose 7 = 4*i - g - 4, 2*i + 4*g = 10. Suppose -i*f + 30 = b - 28, -f - 2*b = -21. Does 19 divide f?
True
Let i(c) = 9*c**3 - c**2 + c + 1. Let p be 3 + (-1)/1 + -4. Let d be i(p). Let g = d + 114. Is g a multiple of 13?
False
Is 9 a factor of (-52)/(0 + -2) + 3?
False
Let h be (-3 + 1)/((-10)/(-15)). Does 8 divide (-30)/h + 1 + -3?
True
Let b(n) be the first derivative of -n**2/2 - 4*n + 1. Is 3 a factor of b(-9)?
False
Let w = -16 + 90. Does 26 divide (w/4)/((-2)/(-4))?
False
Suppose -5*c + 13 = -6*w + 3*w, 2*w = 5*c - 17. Suppose -60 = -w*f + 44. Is 7 a factor of f?
False
Suppose 5*a + 6 = -3*k - 9, a = 5*k + 25. Let o be 5 + k - 2/(-1). Suppose -23 = -o*b - 3. Does 7 divide b?
False
Suppose -9 = 4*a - 45. Does 3 divide a?
True
Suppose 4*b + 675 = 9*b. Is 26 a factor of b?
False
Let i be 4/2 - 2/2. Let y be (-1 + 2)/(i/10). Let k(m) = -m**2 + 12*m - 1. Is k(y) a multiple of 5?
False
Let l = 96 - 40. Is 14 a factor of l?
True
Suppose 0 = -2*i + u - 8, -2*i + 2*u - 10 + 4 = 0. Let h(m) = -m**3 - 6*m**2 - 4*m - 7. Let f be h(i). Does 9 divide 3/f + 114/8?
False
Let q(i) be the second derivative of 3*i**3 - i**2 + 2*i. Does 17 divide q(2)?
True
Let a(j) = j**2 - 2*j + 2. Does 4 divide a(5)?
False
Is 17 a factor of (238/3)/(-7)*-3?
True
Let z(i) = 3*i - 4. Let u(d) = 2*d - 4. Let a(k) = 3*u(k) - 4*z(k). Let b be (-2 - 3) + (0 - -1). Is 14 a factor of a(b)?
True
Let r = 37 - 12. Suppose -l + 0*l = g - 5, -3*l - r = -5*g. Let f(c) = c**2 - c + 7. Is f(g) a multiple of 9?
True
Let l = -5 + 9. Suppose -6*s + 2*s - 5*z = -49, -15 = -s - l*z. Is 11 a factor of s?
True
Let y = -16 - -61. Does 14 divide 100*3*6/y?
False
Let r be (-4)/22 + (-46)/(-11). Suppose 0 = 2*m + h - 13 + 1, 4*h = -r*m + 20. Is 4 a factor of m?
False
Suppose -4*c + 5 + 3 = 0. Suppose 2*w - 12 = -c. Let z(u) = u**3 - 5*u**2 + 3*u + 5. Is z(w) a multiple of 10?
True
Let m(k) be the third derivative of k**5/60 - k**4/4 + k**3/3 + k**2. Is 9 a factor of m(7)?
True
Suppose 0*s - 5*s + 3060 = 0. Is 6/(-10) - s/(-20) a multiple of 15?
True
Suppose 0 = 3*x + 2*x - 30. Suppose x*n - 4*v = n + 46, 28 = 4*n - v. Is n even?
True
Let p = -1 + 6. Let w = -1 + p. Let h(x) = x**2 - 4*x + 6. Is 6 a factor of h(w)?
True
Is 25 a factor of 437 - (3 + -4 + -1 + -1)?
False
Let n(a) = a**3 - 5*a. Let t be n(4). Suppose 0*r = -r + t. Is r a multiple of 20?
False
Suppose p - 2*l = -0*p, 0 = -5*l + 10. Let k = p + -4. Suppose 9 = r - k. Is 9 a factor of r?
True
Let z be (2 + 5/(-2))*0. Let k = z - -5. Is k a multiple of 2?
False
Let t be (12 - 0)*7/14. Let x = t - -1. Is x a multiple of 2?
False
Suppose 46 = -4*a + 150. Does 13 divide a?
True
Suppose 6*i - 4*i = 8. Let p(g) = 4*g + i - 3*g + 3. Is p(5) a multiple of 6?
True
Suppose -5*j - 4*x + 204 + 198 = 0, 3*j - 2*x = 228. Is j a multiple of 26?
True
Let y be 5/((1 - 1) + 1). Suppose 3*v + 5*i - 11 = 0, 3*i + 12 = 5*v + y*i. Suppose -3*x + 143 = 2*m + v*m, -4*x = 3*m - 186. Is 14 a factor of x?
False
Suppose -3*s - 255 = -5*h, 6*h - 2*h - 197 = s. Is h a multiple of 5?
False
Let h(n) = n**3 - 3*n**2 - 3*n - 6. Suppose -4*v = -2*d + 6, -5*d + 3*v + 2*v = -20. Is h(d) a multiple of 14?
False
Let h be (-11 - -8)*4/6. Does 8 divide (h - -3)*5*3?
False
Let j(m) = -m + 17. Does 11 divide j(-5)?
True
Let h(j) = 24*j**3 + j**2 - 1. Suppose 5*x = 5*a - 15, 0*x - 2*x = 4. Is h(a) a multiple of 16?
Fals