+ 16. Suppose f + i*h = -0*h + 18, -5*f + 21 = -3*h. Is 17 a factor of (-3)/(-2) + 177/f?
False
Suppose 6 = 2*r - 4. Suppose 9 = 5*u + r*g - 2*g, u + 2*g = -1. Suppose 4*a = u*m - 44, 0 = 2*m + a - 10 - 12. Does 12 divide m?
True
Let p(n) be the second derivative of n**4/4 - 4*n**3/3 + 2*n**2 - 3*n. Does 12 divide p(5)?
False
Is 4 + (4 + 11)/3 a multiple of 9?
True
Suppose 3*g + 423 = 3*x, -5*x = 2*g - 5*g - 701. Is x a multiple of 9?
False
Let m = 48 + 3. Does 27 divide m?
False
Let y = -11 + 21. Suppose -3*t = -d - 29, 3*t - 4*d = 5*t - y. Does 4 divide t?
False
Let s be (-2)/(-3) - (-424)/3. Suppose 4*d + s = 426. Does 19 divide d?
False
Suppose -m = -b - 18, -3*b + 48 = -7*b - 2*m. Is 14 a factor of (b/(-4))/(5/20)?
True
Does 5 divide 1/(-6) - (-93)/18?
True
Let j(r) = r**3 - 16*r**2 - 17*r + 14. Does 3 divide j(17)?
False
Suppose z + 3*s = 4*s + 50, 96 = 2*z + 2*s. Does 17 divide z?
False
Let w be (-2)/4*(-3 - -1). Let m be (-4)/(0 + w/5). Let d = m - -37. Does 13 divide d?
False
Let s = 76 - 49. Is s a multiple of 5?
False
Let m(w) = -8*w - 10. Let f be m(-10). Suppose 6*y - f = y. Is y a multiple of 5?
False
Let w(x) = 20*x - 29. Does 10 divide w(7)?
False
Suppose 5*h - 136 = h. Is 10 a factor of h?
False
Let m(w) = -w**2 - 10*w - 2. Let s be ((-44)/6)/((-6)/9). Suppose 3*v + 37 = -4*o, 3*v - s = 2*o + 2*v. Is 9 a factor of m(o)?
False
Let c(n) = -7*n**2 + n + 1. Let d be c(-2). Suppose 3*l - 97 - 23 = 0. Let m = l + d. Does 11 divide m?
True
Let o(h) = 23*h**2 + 3*h + 1. Does 7 divide o(-1)?
True
Let j(u) = -u**3 + 7*u**2 + 5*u - 1. Let d be j(6). Let o = d - 46. Is o a multiple of 18?
False
Let w(r) = -7*r - 1. Let x be w(1). Let g = 22 + -4. Let j = g + x. Is j a multiple of 5?
True
Let m = -70 - -122. Does 10 divide (143/m)/((-1)/(-4))?
False
Suppose 0 = -5*h + 3*h + 6. Let w = -3 + h. Suppose -3*c - 23 + 59 = w. Is 6 a factor of c?
True
Is (-7)/21*-3 - -19*2 a multiple of 12?
False
Let k(r) be the third derivative of -r**5/60 + 7*r**4/24 + 5*r**3/3 - 2*r**2. Let o be k(8). Suppose 2*q = 18 + o. Is 10 a factor of q?
True
Let g = -81 + 225. Is 12 a factor of g?
True
Suppose 79 = 3*t - 116. Let z be 0 - (-24 + 4/(-2)). Let c = t - z. Is 13 a factor of c?
True
Suppose 3 + 1 = 2*x. Suppose 0*c + x*y = -4*c + 66, 2*y + 96 = 5*c. Is c a multiple of 18?
True
Let y(n) = n**2 + 44. Suppose -3 = 5*l + 2. Let o = l + 1. Is 15 a factor of y(o)?
False
Suppose -6 = -d + 31. Is d a multiple of 8?
False
Suppose -2*m - 4*z + 2 = -2, 4*m + 4*z - 28 = 0. Does 6 divide m?
True
Let p = -8 - -11. Suppose -4*g + 96 = x + p*x, 3*g + 8 = x. Does 8 divide x?
False
Does 14 divide ((-21)/(-4))/((-9)/(-24))?
True
Let n(d) = 10*d**2 + 2. Let m be (-1)/(1/(-1))*3. Let k be n(m). Suppose -2*l + 218 = 5*i, 3*l = -2*i + l + k. Is 16 a factor of i?
False
Let s(h) = -h**2 - 16*h - 9. Suppose 0 = 3*c + 17 + 22. Is s(c) a multiple of 15?
True
Suppose u - 6 = -0*u. Is 3 a factor of u?
True
Let d(a) be the first derivative of a**3 - 5*a**2/2 + 16. Suppose -4*k - 1 = -21. Is d(k) a multiple of 17?
False
Suppose 0 - 3 = -3*s. Let u be 1 + -8 + (s - 0). Let w = 11 + u. Does 4 divide w?
False
Suppose -4*o + 4*d = -356, -2*d - 2 = -d. Is 29 a factor of o?
True
Let k(f) = -3*f + 1. Let n be k(-3). Let x = -6 + n. Suppose -193 = -5*r - x*p, 4*p + 103 = 3*r - 0*p. Does 13 divide r?
False
Let v = 52 - -20. Does 18 divide v?
True
Let h = 263 + -155. Is h a multiple of 27?
True
Let s(l) = -3*l. Let n be s(-1). Suppose z - r = -3*z + 88, -4*z + 80 = -n*r. Does 23 divide z?
True
Let d(o) = -18*o + 54. Is d(-4) a multiple of 18?
True
Let l be 10/15 - 127/(-3). Suppose -2*y - 2*o + 3 = -15, -5*y - 3*o + l = 0. Let b = 13 - y. Is b even?
False
Suppose -23 + 3 = -4*b. Let i(x) = -2*x - 6. Let n(f) = -f - 5. Let t(h) = b*n(h) - 4*i(h). Is t(2) a multiple of 2?
False
Let l = 0 - -56. Let j be (-2032)/72 - 4/(-18). Let y = j + l. Is y a multiple of 15?
False
Suppose 2 = 4*d - 2*w, 10 + 5 = 3*d + 3*w. Suppose 0*s - 4*u + 4 = -d*s, 0 = 3*s - 2*u - 2. Suppose -2*b - 2*g - s = -12, 4*b + 5*g - 21 = 0. Is b even?
True
Let j(z) = z**3 + 2*z**2 - 2*z + 1. Let l be j(1). Suppose l*p = 3 + 13. Is p a multiple of 4?
True
Suppose a - 4*q - 6 = 0, 3*a - 5*q - 19 = -1. Let n(h) = 5*h + 3. Is 12 a factor of n(a)?
False
Let f = -199 - -299. Does 20 divide f?
True
Let i(d) = d + 16. Is i(-5) a multiple of 3?
False
Suppose 5*k - 2*k = 12. Suppose 0 = -3*d - d + k. Is (-1*1)/(d/(-11)) a multiple of 11?
True
Let i = 25 + -14. Suppose -2 + i = 3*x. Suppose 3 + 21 = x*z. Is z a multiple of 8?
True
Suppose 11*x = 12*x - 55. Suppose -4*z + 9*z = x. Does 11 divide z?
True
Let f(v) = v**2 + 2*v + 5. Let u be f(-5). Suppose -z = 3*z - u. Suppose -7 = -z*p + 13. Is p a multiple of 4?
True
Let d(c) = c**3 + 2*c**2 + 3*c + 3. Let o be d(-2). Let z(j) = 3*j**2 + 3*j. Does 11 divide z(o)?
False
Let z(s) = -5*s**3 - 2*s**2 + 2*s - 1. Let v be z(2). Let o be (-10)/v + (-155)/9. Is (o + -5)/(-1 + -1) a multiple of 11?
True
Suppose 5*v + 2*b = 178, -6*b = -b + 5. Does 4 divide v?
True
Let i be 654/9 - 2/(-6). Let b = 342 + -221. Let k = b - i. Is k a multiple of 18?
False
Suppose 21*l - 140 = 11*l. Is l even?
True
Let n = -10 - -12. Suppose 4*m - 216 = -5*g + 89, 0 = 3*m - 2*g - 223. Suppose n*c - m = -c. Is c a multiple of 9?
False
Suppose 7*l + y = 3*l + 264, 2*l - 132 = -2*y. Is 15 a factor of l?
False
Let q = -14771 + 9451. Let o be q/(-104) - (-2)/(-13). Suppose -5*p - f + 273 = 0, 6*f - 5*f + o = p. Is p a multiple of 27?
True
Suppose -t - 16 = -2*t. Suppose -2*a = 3*q + t, 2*q - a + 3 = 4. Does 18 divide (-1)/q + (-71)/(-2)?
True
Suppose -4*h + 6*h - 138 = 0. Does 13 divide h?
False
Suppose -3*t - 44 = -7*t. Is 6 a factor of t?
False
Suppose -5*w + g + 14 = 0, w - 5*w - 5*g = -17. Suppose -w*b - b = -8. Suppose 112 = b*c + 2*c. Is c a multiple of 14?
True
Suppose 5*f = -171 + 531. Is f a multiple of 16?
False
Let s = 122 + -66. Does 14 divide s?
True
Suppose 0 = -3*d + x + 6, 0*d + 2*x = -2*d + 4. Suppose -l + n + 52 = 0, -n - d*n = 3*l - 180. Does 19 divide l?
False
Is (2/4)/((-4)/(-104)) a multiple of 13?
True
Suppose 445 = 6*g + 85. Is g a multiple of 12?
True
Suppose -2*h = 78 + 22. Let a be (2 - -18)*(-7)/(-2). Let o = h + a. Does 10 divide o?
True
Let d(p) = -26*p + 1. Let q be d(-1). Let g = q - 6. Does 21 divide g?
True
Let y(h) = -h**3 + 8*h**2 - 8*h + 7. Let q be y(6). Suppose -3*j = -3*m - 138, -j + 5 = -3*m - q. Does 17 divide j?
True
Suppose 4*a - 1219 = -5*s, 3*a = a + 4*s + 590. Suppose -5*x - 26 = -a. Suppose -x = -3*p - 10. Is p a multiple of 9?
False
Let i(b) = 1 - 2 + 4 + 3*b. Let t be i(3). Suppose u + 4 = t. Does 8 divide u?
True
Suppose -2*m + 233 = 2*h - m, 230 = 2*h - 2*m. Is h a multiple of 29?
True
Let t be (3 - 5)/(0 + -1). Suppose 5*v + t = 27. Let n = -1 + v. Is n a multiple of 4?
True
Let j(c) be the second derivative of c**4/12 - 5*c**3/6 - 13*c**2/2 - c. Let i be (-54)/(-4)*38/57. Is j(i) a multiple of 12?
False
Let c = 91 + 35. Does 14 divide c?
True
Let y(r) = -r**2 + 9*r. Suppose -27 = -5*c + u, c = -0*c + u + 3. Suppose 4*q - c = 22. Is y(q) a multiple of 7?
True
Suppose 5*r + 4*n = -12, 0 = -r + 2*n - 3*n - 3. Suppose r = -0*i + 2*i. Suppose p - 11 - 25 = i. Is p a multiple of 18?
True
Let l be (12/8)/(2/(-20)). Let s = l + 9. Does 12 divide ((-27)/(-6))/(s/(-32))?
True
Suppose -2*p - 1 = -13. Does 3 divide p?
True
Suppose 0*q = -2*q - 12. Let c be (0 + 7)/(2/10). Let w = q + c. Does 18 divide w?
False
Let n = 92 + -22. Suppose n = -4*i + 5*i. Does 14 divide i?
True
Suppose 0*q - 16 = -4*q. Suppose 5*w + q - 164 = 0. Is w a multiple of 11?
False
Is (3/(-1))/(-3 - (-56)/20) a multiple of 6?
False
Suppose q - 4*a - 8 = -q, 5*q = 2*a + 12. Suppose 111 = -q*v + 3*o, -2*v - 5*o - 167 = 2*v. Is 11 a factor of ((-6)/(-8))/((-2)/v)?
False
Suppose 5*a = -6*u + 2*u + 23, 5*a - 21 = -3*u. Suppose u*g - 16 = 3*z, 3*z + g = z + 1. Let w(h) = -2*h**3 + 3*h**2 + h - 2. Is w(z) a multiple of 12?
True
Is 15 a factor of (39 - -2) + 2 + 2?
True
Let x(p) = 4*p + 3. Let h be x(-3). Let z(q) = q + 13. Is z(h) a multiple of 3?
False
Suppose -2*c - c + 123 = 0. Does 15 divide c?
False
Suppose -2*r + 4*j + 24 = 0, -3*j + j - 24 = -4*r. Suppose 2*d + 2*u = -5 + 1, 4*d + r = -3*u. Suppose 3*b - d*b = 13.