ide g(-6)?
False
Let k(c) = -5*c - 10. Is k(-6) a multiple of 7?
False
Suppose -5*o + 2*l + 176 = 0, 0 = -3*o + 2*l + 172 - 68. Is 12 a factor of o?
True
Let p(v) be the second derivative of 5*v**3/3 - 3*v**2/2 + 3*v. Is p(6) a multiple of 19?
True
Let m(r) = r + 11. Let u be m(-8). Let h = u - -11. Does 7 divide h?
True
Let h be (1*-1)/((-1)/16). Does 12 divide h/(-6)*(-30)/2?
False
Let f(m) = m**3 + 9*m**2 - 3*m. Is f(-7) a multiple of 17?
True
Suppose 0*o + 4*o + 20 = 0, 3*c - 22 = 5*o. Is 23 - -1*(c - -1) a multiple of 19?
False
Let u(y) = -y**3 + 22*y**2 - 38*y - 21. Is 3 a factor of u(20)?
False
Let u = 57 + -49. Is u a multiple of 3?
False
Suppose z - 44 = -4*u + u, -2*u + 28 = z. Does 6 divide u?
False
Suppose 0 = -0*v - 3*v + 54. Is v a multiple of 18?
True
Let o(m) = 11*m**2 - 5*m + 9. Let p(c) = -6*c**2 + 3*c - 5. Suppose -3*t - 5 - 7 = 0, -3*w - t = -5. Let h(d) = w*o(d) + 5*p(d). Is h(2) a multiple of 14?
True
Suppose 0 = -2*x + 2 + 2. Suppose 4*u - 5*v = -0*v + 73, -x*u - 3*v = -53. Is 22 a factor of u?
True
Suppose 373 = -5*r + 1053. Suppose -4*d + 8 = -r. Does 15 divide 2 + d/1 + -1?
False
Let r(w) be the second derivative of w**4/12 + 15*w**2/2 + 5*w. Is 12 a factor of r(0)?
False
Suppose -2*r + 6*r = y - 247, 482 = 2*y - 2*r. Does 62 divide y?
False
Let f = 19 - 9. Is 2 a factor of f?
True
Let s be (-3)/(-12) - (-17)/(-4). Let v be (-1)/3 - (-4)/12. Let l = v - s. Is l even?
True
Is (2/((-4)/6))/((-51)/119) even?
False
Suppose -g = 3*g - 156. Is 10 a factor of g?
False
Suppose 3*n = -4*w + 485, 12 = 2*w - 5*w. Does 9 divide n?
False
Suppose -3*h + 106 = -5*q - 56, 138 = 3*h + 3*q. Does 28 divide h?
False
Let b(i) = i**3 - 10*i**2 + 8*i + 12. Let w be b(9). Suppose -w*d - g = -27 - 1, -5*g + 30 = 4*d. Is 5 a factor of d?
True
Let d(j) be the second derivative of 1/3*j**3 + 1/12*j**4 + 2*j**2 + 2*j + 0. Does 19 divide d(-5)?
True
Let s be (-2)/1 - (-42 + 3). Let t = s - 21. Suppose -2*m + 25 = f, 2*m + 0*m = 2*f + t. Is m a multiple of 11?
True
Let y = -43 - -74. Is y a multiple of 18?
False
Suppose 0*z + 10 = -z + 4*o, 0 = o - 3. Suppose -2 - 2 = -z*m. Suppose m*p - 12 = 14. Is p a multiple of 8?
False
Let y = -65 - 46. Let r = y + 185. Let n = r - 44. Is 15 a factor of n?
True
Let b(s) = 3*s**2 - 3*s - 2. Let o be b(-1). Suppose -m = o*g - 12, 4 = 3*g + m - 4. Is 2 a factor of g?
True
Suppose -5*n + 0*x - 12 = 3*x, 0 = -x - 4. Suppose n*i - 2*i + 110 = 0. Suppose 3*m - i = -2*m. Is m a multiple of 7?
False
Let d(z) = -2*z**3 + 18*z**2 - 5*z - 14. Is 28 a factor of d(8)?
False
Is (-560)/(-15) - (-4)/6 a multiple of 3?
False
Suppose 0*x + 9*x = 891. Is x a multiple of 54?
False
Suppose 3*m - 4*m - 16 = 0. Let o = m - -36. Does 12 divide o?
False
Suppose -4*o + 28 = 5*w - 0*o, -14 = -2*w - 3*o. Let p = -2 + 2. Suppose y - w = -p*y. Is y even?
True
Let a(i) = -2*i**2 + 0*i**2 + 0*i**3 - i - 2 - i**3. Let f be a(-2). Suppose -3*b + 12 = f, 4*k - 55 = k - 4*b. Is k a multiple of 13?
True
Let m = -91 + 174. Is m a multiple of 6?
False
Let a be 0 - -1 - (-9)/(-9). Does 19 divide (a/(-2) - -1) + 56?
True
Suppose -10 = -g + 22. Is g a multiple of 22?
False
Let w = 0 - -6. Is 8 a factor of (-285)/(-9) + 2/w?
True
Suppose 6*l = 4*l - 12. Let b(r) = -2*r - 7. Does 3 divide b(l)?
False
Let n(f) = -12*f + 7. Let a(b) = -5*b**3 - b**2 + 1. Let r be a(1). Let u be n(r). Let z = 99 - u. Is 16 a factor of z?
True
Let y(p) = 2*p - 5*p + p + 3. Let q be y(5). Does 6 divide 1/(-1 - q/6)?
True
Suppose -13*x + 1699 + 537 = 0. Does 58 divide x?
False
Let j be (1 + 0)*(-1 - -6). Suppose 2*a + 31 = 4*g - 49, j*a - 9 = -g. Is 12 a factor of g?
False
Let x(z) = -z**2 + 6*z + 1. Let g(b) = b**2 + 3*b - 5. Let l be g(-5). Does 6 divide x(l)?
True
Suppose 0 = 3*i - 2*i - 26. Does 18 divide i?
False
Let y = 33 + -3. Let u be 3/2*2*1. Suppose -u*c + 8*c = y. Does 6 divide c?
True
Let i(l) = 4*l - 10. Is 3 a factor of i(7)?
True
Let v be (18/(-30))/((-2)/(-10)). Let f be (-1)/v - 17/(-3). Does 12 divide 201/f - (-1)/(-2)?
False
Let s = 480 + -192. Suppose s = 7*v - 3*v. Is 26 a factor of v?
False
Let a(j) be the first derivative of -119*j**2/2 + j - 2. Let f be a(-1). Suppose -4*h = -f + 16. Is 9 a factor of h?
False
Let f be -4*(-1 - 15/(-6)). Let d = f - -5. Is 7 a factor of (-45)/(-6) + d/2?
True
Let o(c) = 2*c**2 + 3. Let t be o(-4). Let k = t + -16. Does 5 divide k?
False
Let l = -5 + 6. Is 4/(-3 - l) - -30 a multiple of 6?
False
Let n = -245 + 358. Is n a multiple of 23?
False
Let p(k) = k**3 + 14*k**2 + 18*k - 24. Does 24 divide p(-12)?
True
Let h = -11 + 30. Does 5 divide h?
False
Suppose x - 7 = 5*a, -5*x - 2*a - 17 = -106. Let o = x - 6. Is o a multiple of 11?
True
Let m(y) = -3*y - 9. Let v(c) = 2*c + 5. Let i(u) = 3*m(u) + 5*v(u). Let z be i(6). Suppose -3*x - z*s - s = -43, -s - 49 = -3*x. Does 15 divide x?
False
Let b = -9 + 13. Suppose 12 = b*m - 2*m. Is 2 a factor of m?
True
Is 1686/15 + 21/35 a multiple of 32?
False
Let p = -14 + 16. Suppose 5*m = 5*h - 345, p*m = -2*h + 6*h - 282. Does 24 divide h?
True
Suppose 186 = 2*g + 3*h, -3*h - 272 = -3*g - 4*h. Is g a multiple of 30?
True
Suppose -5*y = 4*v + 10, 0*v = -v - 5. Is 7 a factor of (-14)/4*(-4 + y)?
True
Let k be (-2)/9 - (-130)/18. Let x = 2 - k. Is 18 a factor of (-5 - -1)/(x/80)?
False
Let o be 36 + (2 + -4)*-1. Let q = o + -26. Is 6 a factor of q?
True
Let f be (1 + -2)*67*-1. Let q be 2 - ((-3)/(-4))/(3/156). Let b = q + f. Does 15 divide b?
True
Let n = 9 + -14. Does 10 divide 2/n - (-228)/20?
False
Suppose -2*l + 3 - 1 = 0. Let h(m) = 2*m**2 + m - 1. Does 2 divide h(l)?
True
Let t(z) = 3*z - 12. Suppose -4*h + 34 = -6. Is t(h) a multiple of 18?
True
Let u = 2 - -4. Is 3 a factor of u?
True
Let l(a) = -35*a**3 + 5*a**2 + 8*a + 6. Is l(-2) a multiple of 21?
False
Suppose 5*z - 40 = -0. Let j = z + -3. Is 4 a factor of j?
False
Let i(j) = 11*j - 1. Is i(1) a multiple of 3?
False
Let l be (504/(-35))/(4/(-50)). Suppose 2*w - l = -2*w. Suppose w = 4*j - 5*p, 5*p - 45 = -4*j + 2*j. Does 5 divide j?
True
Suppose 7*m = 2*m + 55. Does 11 divide m?
True
Let j(h) = -h**3 - 17*h**2 - 18*h + 16. Is j(-16) a multiple of 10?
False
Let c(p) = 2*p**3 + 4. Is c(2) a multiple of 15?
False
Suppose 28 + 14 = -2*w. Let k = -77 + 49. Is (0 + 18)/(w/k) a multiple of 14?
False
Let q be 23/(-2) - (-5)/(-10). Let f = q + 84. Is 24 a factor of f?
True
Suppose 4*p - 17 - 15 = 0. Is p a multiple of 8?
True
Let a(r) = 4*r**2. Let q be a(-1). Suppose 0 = q*o - 91 - 25. Let z = o + -18. Is 11 a factor of z?
True
Suppose 0 = -3*f + 63 + 3. Is f a multiple of 11?
True
Let a(k) = k**3 + k**2 - 3*k + 210. Is 35 a factor of a(0)?
True
Let z(l) = -l**3 - 14*l**2 - 2*l - 9. Suppose -6 = c - 4*n, -3*c - 59 = 2*n - 13. Is 3 a factor of z(c)?
False
Let h be 2/(-3) - 104/(-39). Is 23 a factor of (-8 + 70)*1/h?
False
Let z = 34 + -94. Let q = 102 + z. Is q a multiple of 18?
False
Let i(o) = o**2 - 4. Let l be i(-4). Let h be (-2)/8 - (-63)/l. Suppose -h*p + 2*p = 2*n - 70, 4*p = n + 75. Is p a multiple of 10?
True
Let z(k) = k. Let x(o) = 5*o**3 + o**2 - 2*o + 2. Let a(u) = -x(u) - 4*z(u). Let h be a(-3). Suppose -2*d + h = 3*d. Is d a multiple of 13?
True
Suppose 2*a - 114 = -0*a. Is 9 a factor of a?
False
Suppose 1 = 2*n - 169. Is 13 a factor of n?
False
Let w(c) = -c**3 + 2*c - 1. Let x be w(1). Suppose -2*t + t + 39 = x. Suppose -b + 3 = -2*a, -3*b - 5*a + t = -14. Does 11 divide b?
True
Let b(m) = -5*m**2 - m + 9. Let w(n) = -4*n**2 + 8. Let q(i) = 5*b(i) - 6*w(i). Let r be q(-4). Let z(t) = 15*t**3 - 2*t + 1. Is z(r) a multiple of 7?
True
Suppose -116 = -11*i + 709. Is i a multiple of 6?
False
Suppose 3*x = 4*j - 31, -j = -6*j - 3*x + 5. Suppose 0 = -j*l - 3*u + 233 - 45, 66 = l - 4*u. Suppose -3*o + l = -o. Is 10 a factor of o?
False
Let o = 2 - 0. Suppose 0*n = o*n. Suppose 4*c - 2*c - 100 = n. Is c a multiple of 18?
False
Let t(c) = 2*c**2 - 62 + 62 + 9*c - 3*c**2. Is t(7) a multiple of 11?
False
Suppose -2*p = -2*o + 102, -p + 108 = 2*o - 6*p. Is 8 a factor of o?
False
Let j(z) = -6*z**2 + 12*z - 9. Let l(d) = d**2 - d + 1. Let k(r) = j(r) + 5*l(r). Suppose -3*q + 22 = 7. Is k(q) a multiple of 6?
True
Let t(u) = 2*u + 7. Let q(f) = -f - 1. Let a(g) = -4*q(g) - t(g). Is 13 a factor of a(8)?
True
Does 8 divide (1/