 of g(1)?
True
Suppose -5*w = 111 + 214. Let z = -70 + 173. Let s = w + z. Is 14 a factor of s?
False
Let r be (-1 - 0/3) + 43. Suppose -y - 104 = -3*v + v, v - r = 3*y. Suppose -2*w - 2 + v = 0. Is w a multiple of 13?
True
Let b = 11 - 8. Is 15 a factor of 1/b + (-268)/(-6)?
True
Is 21 a factor of 63 - 0*(-2)/(-4)?
True
Suppose h - 4*k = 14, -3*h + 8 = -2*h - 2*k. Suppose l + s + s = 23, -5*l + 123 = h*s. Is 12 a factor of l?
False
Suppose -4*y = -y + 5*m + 7, 2*m + 40 = 5*y. Is y a multiple of 2?
True
Let q = -13 - -13. Suppose q = 2*g - 13 + 1. Is g a multiple of 6?
True
Let k = -25 + 30. Suppose -k = -c + 46. Does 17 divide c?
True
Is 17 a factor of (-4 - -6)/(-2) + 75?
False
Suppose -3*b - 33 = -x, 5*b + 77 - 24 = x. Let t(s) = -2*s - 10. Is t(b) a multiple of 5?
True
Let k(w) = -w**3 + 5*w + 5 - 4 + 4 - 4*w**2. Let c be k(-5). Suppose -c*t = -t - 40. Does 10 divide t?
True
Let w(v) = -v. Let m be w(8). Let j = 18 - m. Does 10 divide j?
False
Let n = 198 + -139. Is n a multiple of 4?
False
Let t be 61 - -1 - (-9 + 7). Suppose 3*z = 2*z + 5. Suppose -z*f + t = -6. Is f a multiple of 14?
True
Let y = 4 + 0. Suppose y*p - 2*p = 4. Is ((-14)/8)/(p/(-48)) a multiple of 14?
True
Suppose 3*n = 4*n - 32. Is n a multiple of 8?
True
Is 75/(-2 - 3)*(-27)/15 a multiple of 9?
True
Suppose 3*s = -3*q, -35 + 14 = -5*q + 2*s. Suppose 3*k - 3*r = -3, -k + r = -2*r + q. Let m = 7 + k. Is m a multiple of 7?
True
Let t = 10 - 6. Suppose -5 - t = -y. Is y a multiple of 9?
True
Let r = 15 - -16. Suppose 0 = 2*j + r - 81. Does 11 divide j?
False
Let r(y) = -y**3 + 4*y**2 - 8*y + 3. Let i(b) = 2*b**3 - 7*b**2 + 16*b - 6. Let j(d) = -2*i(d) - 5*r(d). Let l be j(5). Let v = l + 6. Does 10 divide v?
False
Is 12 a factor of -1 - (2 - 3) - -23?
False
Suppose -75 = -3*w - 0*w. Suppose -10 + 215 = 5*p. Let u = p - w. Is 16 a factor of u?
True
Let y(j) = 2*j**3 + 3*j**2 + 5*j - 31. Is 11 a factor of y(4)?
True
Suppose -3*c = -4*z - 22, -c - 20 = 4*z - 6. Let x(o) be the first derivative of 2*o**3/3 + 3*o**2/2 + 2*o - 1. Is 11 a factor of x(z)?
True
Let a = 53 + -41. Is 3 a factor of a?
True
Suppose -3*i = -3*g, -2*i + 5*g - 3 = -0*g. Suppose -5*x + 10 = 0, -5*b + 2*x + 3*x - 100 = 0. Does 5 divide i + 0 + b/(-2)?
True
Suppose 58 = 2*b - 2. Does 6 divide b?
True
Let x(a) = -a**3 + 5*a**2 - 4*a + 3. Let v be x(4). Is (v/(-2))/((-3)/132) a multiple of 20?
False
Let m(z) = -2*z - 1. Let n be m(-1). Let t(u) = 6*u**2. Let a be t(n). Is a/(-15) + 364/10 a multiple of 18?
True
Let k = 7 + -5. Suppose 4*q = k*q + 146. Suppose -4*b + 3*b = -q. Does 25 divide b?
False
Suppose -3*m + 2*m + 53 = 0. Suppose 2*w = -3*y + 83, 2*w + 0*y - m = 3*y. Does 17 divide w?
True
Suppose -76 = l - 3*l. Is 10 a factor of l?
False
Suppose 3*p + 95 = 5*y - 160, -172 = -4*y - 4*p. Suppose -3*r + 6 = -y. Suppose 36 = 2*u - r. Is u a multiple of 18?
False
Let j(i) = -7*i + 23*i + 10*i. Is 15 a factor of j(2)?
False
Let w(q) = -2*q + 1 - 5*q + 12 + q**2. Is 13 a factor of w(7)?
True
Let p = -4 - -3. Let b = 5 + p. Is b a multiple of 2?
True
Let o = 12 + -6. Suppose -2*x - 216 = -o*x. Is x a multiple of 27?
True
Let y(o) = -o - 7*o**2 - 3*o**2 + 22 + 9*o**2. Is 13 a factor of y(0)?
False
Let c be 7 + (-1*3 - -1). Suppose -c*g + 18 = 3*r, 0*g - 4*g = -4*r - 8. Suppose -2*p + 26 = -l - g*l, 0 = -4*p - l + 16. Is p a multiple of 4?
False
Suppose -4*s = -f, 5*f = -6*s + 2*s + 96. Suppose -4*d + w + f = 0, -4*d + 5*w = 3*w - 12. Is 5 a factor of d?
True
Is 26 a factor of 727/7 - (-5)/35?
True
Let i = 2 - -2. Suppose -2*n = -i*b + 90, 7*b - 2*b = -5*n + 105. Suppose -o + b = -5*k, 0 = 4*o - 3*o + k - 16. Does 8 divide o?
False
Let w = -3 - -8. Suppose -2*o - 64 = a - 5*a, 169 = -w*o + a. Let u = 48 + o. Is u a multiple of 14?
True
Suppose -4*g + 1 = -k, -g + 3*k = -0*k - 3. Let l(s) = -4*s - 32. Let w(m) = -3*m - 33. Let h(i) = 2*l(i) - 3*w(i). Is h(g) a multiple of 16?
False
Suppose -70 = -3*j - 2*j. Is j a multiple of 14?
True
Let g be 10/4 + (-1)/(-2). Suppose -q + z = g*q - 284, -z = 4*q - 284. Suppose 5*k - 120 = 2*u, -3*k + q = -2*u + u. Does 16 divide k?
False
Let y(z) = -z**2 - 1 + 1 - z**3. Let x be y(-2). Does 3 divide 25/x + (-1)/4?
True
Suppose -2*j + 0 + 22 = 4*d, 0 = -5*j - 3*d + 27. Suppose j*i = 8*i - 275. Let k = i + 1. Does 19 divide k?
False
Let l(f) = f**2 + 7*f + 6. Let g be l(-6). Let i(v) = -v**3 + 5*v**2 - 2*v - 5. Let j be i(4). Suppose g = -j*k - k + 80. Does 9 divide k?
False
Let l = 77 - -4. Does 10 divide l?
False
Let u(g) = 2*g**2 + 3*g + 3. Let d be u(4). Suppose -3*o + d = -16. Is 6 a factor of o?
False
Let d be (28/(-6) + -1)*-3. Suppose 0*p = -p + d. Suppose 0 = -5*a + p + 13. Does 6 divide a?
True
Let r(x) = 1 - 3*x + 4*x + 2 - x**2. Let t be r(-6). Let y = t + 65. Does 13 divide y?
True
Suppose 4*n + w = 57, 5*n + 0*w - 3*w - 50 = 0. Let q = n - 6. Is q a multiple of 4?
False
Suppose -2 - 12 = 2*d. Let m(l) = -5*l**2 - 8*l + 2. Let y(s) = s**2 + 1. Let p(j) = m(j) + 4*y(j). Does 13 divide p(d)?
True
Let l(j) = -j**3 - 9*j**2 - 9*j + 8. Suppose 4*a + s + s = -10, -s - 3 = a. Let w be (2 - a)*4/(-2). Does 8 divide l(w)?
True
Let p = -14 + 47. Does 2 divide p?
False
Suppose g - 2*g + 75 = -4*j, -375 = -5*g - 2*j. Suppose 9*d - l - g = 4*d, -2*l - 70 = -5*d. Suppose -d = -4*v + 20. Does 9 divide v?
True
Let s(a) = 6*a - 10. Is s(8) a multiple of 38?
True
Let i(n) = -10*n**3 + 11*n**2 - 17*n + 28. Let r be 8/6*9/6. Let a(y) = 3*y**3 - 4*y**2 + 6*y - 9. Let v(m) = r*i(m) + 7*a(m). Is 4 a factor of v(5)?
True
Does 9 divide 2 + (-1 + (-22)/(-3))*15?
False
Suppose 2*y - y = -h, h - 12 = 2*y. Suppose -2*j - 4*l + 158 = 0, -j + l + 3*l + 55 = 0. Suppose h*s - 2*t = 126, 89 = 5*s - 2*t - j. Is 17 a factor of s?
True
Let i(l) = -l**3 - 7*l**2 - 7*l - 4. Let c be i(-6). Suppose c*r - 4 = 0, -6*r + 238 = 3*v - r. Does 19 divide v?
True
Let h = 9 - 6. Let d be (0 + -5)*24/(-15). Suppose -38 + d = -3*a + h*l, -4*a - 5*l + 13 = 0. Is 7 a factor of a?
True
Suppose 7*b - 2*b - 190 = 0. Is b a multiple of 9?
False
Is 1*3 - 5/(10/(-264)) a multiple of 45?
True
Let l be (-48)/27 + (-2)/9. Does 7 divide l/2 + 27 + 1?
False
Suppose -2*t = 5*c - 33, 3*c - 54 = 4*t - 7*t. Does 6 divide t?
False
Let v(c) = c**3 + 16*c**2 - 4*c + 20. Let n(p) = p**2 + 1. Let k(z) = -6*n(z) + v(z). Is k(-10) a multiple of 20?
False
Let g(j) = j**3 + 12*j**2 + 10*j - 13. Let l be g(-11). Let x = 4 + l. Is x even?
True
Is 12 a factor of (4 + (-40)/12)*54?
True
Let d be -1 - ((0 - 1) + 0). Let v = d + 2. Suppose 3*t = 2*q + 2, 2*t - 7*t = -4*q - v. Is 2 a factor of t?
True
Let w = 312 + -215. Is 48 a factor of w?
False
Suppose 2*r - r + 3*j = 4, -3*r = -2*j - 56. Is (3*10)/(12/r) a multiple of 20?
True
Let q(y) = -y**3 + 7*y**2 + 9. Let g be q(7). Let s(n) = -n**2 + 11*n - 8. Does 10 divide s(g)?
True
Let o = -254 + 168. Let b = o - -126. Does 28 divide b?
False
Let h be 10/(-30)*(-9 + 0). Suppose -h*o + 194 = 38. Is 13 a factor of o?
True
Suppose -3*a - 5*k = 43, -5*a + 0*k - 35 = k. Let i = a + 8. Does 11 divide 41/i - 1/2?
False
Let k(u) = -7*u**3 - 2*u - 1. Let n be k(-1). Suppose -2*v + n = -14. Suppose 4*z - 17 = v. Is 7 a factor of z?
True
Let w = -1 + 3. Let h(s) = -s**2 - 2*s - 9. Let j(m) = m**2 + m + 4. Let q(l) = 2*h(l) + 5*j(l). Does 8 divide q(w)?
True
Suppose 4*t - 622 + 174 = 0. Is t a multiple of 14?
True
Let b(h) = -14*h**3 + h. Let c be b(1). Let n = c + 35. Is n a multiple of 14?
False
Let z = 39 + -15. Let c = 8 + z. Is 12 a factor of c?
False
Let k(y) = -y**3 - y**2 + 2*y + 1. Let f be k(-2). Let w be f/3 - 4/(-6). Is -2 - w/(-1) - -41 a multiple of 20?
True
Let t(f) = f**3 - f**2. Let v(h) = 7*h**3 - 6*h**2 + 3*h + 3. Let l(g) = 6*t(g) - v(g). Is 10 a factor of l(-3)?
False
Let g(i) = -i. Let c(d) = d**2 - 5*d - 8. Let r be c(6). Let p be g(r). Suppose -p*k = -k - 8. Is k a multiple of 8?
True
Let x(d) = -27*d**3 + 1. Suppose 0 = -2*i - 4*h - 22, 6*h + 15 = 3*h. Is 14 a factor of x(i)?
True
Let q(v) be the third derivative of v**4/3 - 2*v**3 - 4*v**2. Does 21 divide q(6)?
False
Suppose 123 = 4*x + 15. Let w = x - 11. Does 8 divide w?
True
Let l = -40 - -175. Is l a multiple of 15?
True
Let m be (-16)/24*18/(-4). Suppose -26 - 130 = -m*w. Is 26 a factor of w?
True
Let h(o) be the second derivativ