of g(-4)?
False
Let k be (2/(-6))/((-3)/(-117)). Let c = k - -36. Suppose 0 = -3*o + c + 4. Is 3 a factor of o?
True
Let b be 4/(-18) - (-47)/9. Let z = 5 - b. Suppose c + 0*c + 2*p - 20 = z, c + p - 19 = 0. Is c a multiple of 7?
False
Let h(s) = -s**2 + 13*s - 14. Let p be h(10). Let u = p + -1. Is 15 a factor of u?
True
Suppose 2*w - 1534 = -2*v - 2*v, 4*w = -5*v + 1916. Does 32 divide v?
True
Let t(c) = -c**3 - 11*c**2 - 11*c - 6. Let h be t(-10). Let g = 378 + -222. Suppose j + 4*s + g = 6*j, -3*j - h*s = -68. Is 11 a factor of j?
False
Let l(s) = -5*s - 13. Let f(d) = 3*d + 7. Let b(z) = 5*f(z) + 2*l(z). Let k(t) = -t**2 + 8*t - 8. Let n be k(5). Does 22 divide b(n)?
True
Let a = -34 - -105. Does 17 divide a?
False
Suppose -3*c = 5*r + 166, 0*r + 48 = -c + 2*r. Let w be c/(-20) + (-2)/(-5). Suppose -w*p - p = -64. Is p a multiple of 12?
False
Suppose -60 = -2*g + 12. Does 18 divide g?
True
Suppose 10 = -6*r + 4*r. Let l = 7 + r. Suppose 2*z + l = 22. Does 10 divide z?
True
Suppose 28 = 2*p - 12. Is 5 a factor of p?
True
Let s(j) = j**3 + 5*j**2 + 2*j - 5. Let y be s(-5). Let x be (12/10)/((-6)/y). Let r = 7 + x. Is r a multiple of 10?
True
Suppose -2*r - 3*r = -65. Is r a multiple of 8?
False
Suppose 5*j = 9 + 11. Suppose 5*t + y = t + 346, -182 = -2*t + j*y. Is 19 a factor of t?
False
Let y = 23 + -12. Let m be (-2)/y - (-1597)/11. Is (0 - -1) + m/5 a multiple of 14?
False
Suppose 0 = 7*w + 2*w - 3186. Is 12 a factor of w?
False
Suppose -2*v + 129 = -41. Does 13 divide v/2 + (-2)/4?
False
Let u(x) = 15*x**2 + 2*x - 1. Is 17 a factor of u(2)?
False
Let k be (4/6 - 0)*6. Suppose -k*c - 27 = 137. Let i = -21 - c. Is 8 a factor of i?
False
Let v = -159 - -251. Suppose 0*o - 58 = -3*k + o, 0 = -4*k + 5*o + v. Is 7 a factor of k?
False
Let m be (-42)/(-8) + 2/(-8). Let b = m + -1. Let t = -2 + b. Does 2 divide t?
True
Is 8 a factor of 16 - (2 - 4/(-4))?
False
Let j(w) = 3*w**3 + w**2 - w + 2. Does 25 divide j(3)?
False
Suppose -4*x = -300 + 32. Is x a multiple of 17?
False
Let m(j) = j**2 - 5*j - 3. Let n be m(6). Let y be 13/(((-6)/(-4))/n). Suppose -14 = -5*v + y. Is 4 a factor of v?
True
Let m = -2 - -4. Suppose 6 = -m*w - 12. Let t = w - -33. Is 10 a factor of t?
False
Let i(l) = 23*l. Does 23 divide i(3)?
True
Let q = -119 - -71. Suppose 0 = -x, 2*r - 4*x - 42 = 104. Let k = q + r. Does 12 divide k?
False
Suppose -3*b = -0*b - 5*l - 214, -l - 308 = -4*b. Does 11 divide b?
False
Let d(p) = p**3 + 7*p**2 - 5*p - 8. Let s be d(-7). Let l be (-6)/s + 2/9. Suppose -4*f + 158 + 14 = l. Does 21 divide f?
False
Let a = 109 - 44. Suppose -q - a + 19 = -3*c, 5*q = -3*c + 40. Is c a multiple of 4?
False
Suppose 5*v - 165 = -s + 2*v, -4*s + 5*v + 694 = 0. Is s a multiple of 19?
True
Let i = 5 - 2. Let r = 4 + i. Suppose 3*b - 3*l = 3, r*b - 2*b - l = 17. Does 2 divide b?
True
Let v(i) = 17*i - 2. Let w(a) = -17*a + 2. Let g(f) = -2*v(f) - 3*w(f). Is g(2) a multiple of 16?
True
Let i(z) = 2*z**3 - 11*z**2 + 4*z + 2. Does 18 divide i(6)?
False
Suppose 2*d - 2 = f + 3*f, 0 = 3*f + d - 1. Suppose -47 = -p + 2*u + 3*u, f = -3*p + u + 99. Does 6 divide p?
False
Suppose -15 = 5*r + 5. Let i be 14/1*(r - -2). Let v = 41 + i. Does 13 divide v?
True
Let t = -796 - -1580. Suppose -309 + t = 5*s. Does 27 divide s?
False
Let j(z) = z**3 + 9*z**2 + 8*z + 15. Is 4 a factor of j(-8)?
False
Let o(a) = 2*a**2 + 1. Let x be o(-1). Suppose 0 = -4*i + 3*i + x. Suppose -5*j - 2*h + 130 = 2*h, -2*j - i*h = -52. Does 8 divide j?
False
Does 9 divide (-36)/10*(-320)/48?
False
Let r(s) = -8*s**3 + 2*s**2 + s. Let p be r(-1). Suppose 13*h = p*h + 176. Is h a multiple of 22?
True
Suppose 3*d + 5 + 22 = 0. Suppose -5*q = p - 4*p - 5, 4*q = -4*p + 4. Let g = p - d. Is g a multiple of 9?
True
Let x = 8 - 6. Suppose 3*t = -5*o - 34, -5*t - o - 10 = -x*o. Is 6 a factor of (1 - 2)/(t/36)?
True
Let h(q) = q**3 + 7*q**2 - 3*q - 3. Is h(-6) a multiple of 17?
True
Suppose 30 = 3*z + 12. Does 3 divide z?
True
Let j(f) = -2*f + 2. Let x be j(3). Let v = 20 - x. Does 8 divide v?
True
Suppose 0 = g - 3*m + 73, -g - g - 2*m = 122. Let h = -36 - g. Is 6 a factor of h?
False
Suppose 6*r + 105 = 11*r. Is r a multiple of 21?
True
Suppose -17 = -3*l + 49. Is l a multiple of 22?
True
Suppose -2*q + 0*q = -56. Let t = -12 + q. Is 16 a factor of t?
True
Let j(g) = -g + 2. Suppose -4*u - 2*y = -18, -u = -0*y - 5*y + 1. Suppose -3*t = -4*p - p - 11, 0 = p - u*t - 8. Is j(p) a multiple of 3?
True
Let r = 25 + -15. Suppose 0 = 6*u - u + r. Is 5 a factor of (-15)/u*4/6?
True
Let c(j) = 18*j - 8. Suppose -9 - 9 = 3*x. Let b be c(x). Let u = -70 - b. Is u a multiple of 17?
False
Let s be 0 + -1 + (6 - 3). Suppose 2*q = s*k + q + 6, 3*q = -k + 11. Does 11 divide 0 + 29 + 0 + k?
False
Let q = -8 + 11. Suppose 4*s + 4*t - q*t = 60, -2*s + 30 = -5*t. Is s a multiple of 10?
False
Let o = -1 + 1. Suppose o = -3*j + 3*l - 144, j - l + 3*l = -42. Is 19 a factor of 3*(-1)/(6/j)?
False
Let h = 11 + -23. Let g be 8/(-6) + (-4)/h. Is 14 a factor of (24/15)/(g/(-10))?
False
Let f(s) = -39*s - 7. Let t be f(-3). Let p = t + -53. Is p a multiple of 13?
False
Is (278/(-4))/(21/(-42)) a multiple of 23?
False
Let b(q) = -q + 7. Let k be b(5). Let p be (1 + -2)*(-5 + 0). Suppose -p*z = k*r - 73, -2*z + 0*z - 5*r + 25 = 0. Is z a multiple of 5?
True
Let i(l) = 20*l - 4. Is 6 a factor of i(2)?
True
Let b(x) = -2*x - 3. Let j(w) = 2*w + 3. Let a(p) = 4*b(p) + 3*j(p). Is 2 a factor of a(-6)?
False
Let g(h) = h**3 + 5*h**2 - 5*h - 7. Let c = 20 - 25. Is g(c) a multiple of 18?
True
Suppose w - 104 = -b + 5*b, 0 = 5*b + 20. Is 11 a factor of w?
True
Let d(t) = t**3 + 18*t**2 - 5*t. Does 11 divide d(-18)?
False
Suppose 5*r + 8 - 53 = -5*c, -5*r + 45 = 2*c. Is 3 a factor of r?
True
Is (-5)/(-1) + (-4 - -2) a multiple of 2?
False
Suppose 5*c - 25 = 0, 58 - 19 = 3*i - 3*c. Suppose p = 5*z + i, -p - 4*p + 134 = -3*z. Is 28 a factor of p?
True
Let h = -57 + 29. Let u = 47 + h. Is u a multiple of 11?
False
Does 5 divide (-5 - -11)*(-16)/(-6)?
False
Let k = 5 + -1. Let i = 32 + 46. Suppose o = k*o - i. Does 9 divide o?
False
Let b(a) = -a**2 + 13*a - 6. Does 7 divide b(8)?
False
Let r(q) = q - 12. Let o be r(17). Suppose 18 = 5*m + 3, -b + 2*m = -39. Suppose -o*p + b = -0*p. Does 9 divide p?
True
Let d = -6 + 18. Let m be (-39)/d*2*-2. Suppose -3*l + 40 = m. Does 7 divide l?
False
Suppose 4*b - 4*t + 2*t - 22 = 0, -3*b + 3*t + 12 = 0. Let x(a) = -a**3 + 6*a**2 + 9*a + 5. Is 7 a factor of x(b)?
False
Let x(d) be the second derivative of d**4/6 - 3*d**3/2 + 4*d**2 + 5*d. Is x(6) a multiple of 13?
True
Suppose 3*z - 34 - 21 = 5*d, -5*d + 105 = 5*z. Suppose 0 = c - 12 - z. Is 16 a factor of c?
True
Suppose -290 + 473 = 3*m. Is 2 a factor of m?
False
Let b = -7 + 11. Is ((-14)/b)/(4/(-56)) a multiple of 23?
False
Let a be 2/5 - 165/(-25). Suppose 2*x + 2*o - 76 = a*o, 5*x + 3*o - 159 = 0. Does 17 divide x?
False
Suppose -3*s + 0*s = 39. Let c = 46 + s. Is 13 a factor of c?
False
Let t be 4/(0 + (-2)/4). Does 7 divide 1 - 1 - 1 - t?
True
Suppose z + 109 = 3*h, -3*z = -2*h + 30 + 31. Let k = 68 - h. Does 10 divide k?
True
Let x(o) = -2*o + 49. Is x(-15) a multiple of 24?
False
Let h = -7 - 0. Let n(a) = a - 14. Let q(l) = 3*l - 41. Let o(u) = 17*n(u) - 6*q(u). Is 7 a factor of o(h)?
False
Let s(z) = -z**3 + 7*z**2 + 9*z + 2. Suppose 0 = 4*f + 4*m - 12, -4*f = m - 33 + 6. Is s(f) a multiple of 10?
True
Suppose 0*g - h - 4 = -g, -1 = -h. Suppose -2*z - 40 = -g*b, -11 = z + b + b. Let x = z - -39. Is 12 a factor of x?
True
Let x = -11 + 20. Is x a multiple of 2?
False
Suppose n - 22 = 4*z, -2*z - 15 = -n - 5*z. Is 8 a factor of n?
False
Suppose -4*k + 41 = -3. Is 11 a factor of k?
True
Suppose -20 = -4*m - 0*m. Let v(d) = -d**2 + 7*d - 5. Let w be v(m). Suppose 3*u = w*n - 9, -n - 2*n + 2*u + 5 = 0. Is 2 a factor of n?
False
Is 6 a factor of (-258)/(-8) + -3 + 11/4?
False
Does 32 divide (-2 - -3)*131 + -3?
True
Suppose -b + 6 = -0*h + h, 26 = 5*b + 4*h. Suppose -2 = 7*c - 3*c - b*i, 3*i - 9 = 3*c. Does 15 divide -1*-4*15/c?
True
Suppose i = 2*i - 21. Is i a multiple of 9?
False
Let m(c) = 6*c - 5. Let l be m(4). Let w = 40 - l. Is w a multiple of 11?
False
Let j(f) = f**3 - f**2 + f + 3. Let k be j(0). Suppose 0*b - a - 36 = -b, k*b - a - 108 = 0