t g(h) = -2*h + 17. Let j be ((-14)/8)/((-4)/16). Does 2 divide g(j)?
False
Suppose 0 = -4*m + y - 13, 0*m = 2*m + 4*y + 20. Let j(h) = 2*h**2 + 4*h - 1. Let c be j(m). Does 14 divide c*2 + -5 + 3?
True
Suppose 0*z + 6 = 3*z. Is 8 a factor of (z - 6*-8) + -3?
False
Suppose 4 = 2*p + h, -4*h - 2 = -0*p - p. Suppose -y - 4 = p. Is 4/6 - 194/y a multiple of 13?
False
Let q(b) = b**2 - 4*b - 1. Let c be q(3). Let x be (c/8)/((-1)/12). Does 6 divide 32/x + 4/6?
True
Suppose -15*r + 12*r + 72 = 0. Does 8 divide r?
True
Let n(o) be the first derivative of -3*o**3 - o + 5*o**3 + 3*o**3 + 6*o**3 + 3. Is n(1) a multiple of 16?
True
Let s(i) = 2*i. Is s(3) a multiple of 2?
True
Let u = -6 - -24. Does 4 divide u?
False
Let i(m) = 7*m**2 + 7*m - 2. Does 16 divide i(-3)?
False
Let s = 5 - -8. Is s a multiple of 13?
True
Suppose -5*l - 4*r - r = 0, 0 = 3*r - 3. Is l - 2 - (-8 + 2) even?
False
Suppose 0 = -3*x + x - v + 225, 2*v = x - 100. Is 22 a factor of x?
True
Let w = 55 + -1. Does 6 divide w?
True
Suppose 4*t + 2 = 6. Suppose -4*u - t = 3. Let i(z) = -19*z**3 - z**2 + 1. Is 5 a factor of i(u)?
False
Suppose 4*d - r = 173, -3*d + 2*r - 5*r + 141 = 0. Is d a multiple of 13?
False
Suppose 0*y - y + 16 = -5*q, 5*q + 13 = -2*y. Suppose 4*i - 2*t = -y - 13, -2*i + 4*t - 4 = 0. Let f = i - -24. Is f a multiple of 10?
True
Suppose -k + 2*k - 2 = 0. Let v(r) = 7*r**2 - 3*r + 3. Is 12 a factor of v(k)?
False
Let h(t) = t**2 + 5*t - 8. Suppose -3*x + x = -12. Is 23 a factor of h(x)?
False
Suppose 2*j + 2*j = 188. Suppose 3*p - 1 = j. Is p a multiple of 6?
False
Let o be 2 + (-2 - -7 - 3). Suppose -4*q - 3*h + 57 = 0, -o*q - 4*h = -89 + 29. Is q a multiple of 6?
True
Let i(y) = y**2 + 3*y - 7. Let z be i(-5). Suppose z*j = j + 6. Suppose 7*f - 3*f + 54 = j*n, 0 = 4*n + 5*f - 72. Is 18 a factor of n?
True
Let l = 19 - 10. Suppose 0*v = v - l. Is 7 a factor of v?
False
Suppose -q = q - 158. Does 14 divide q?
False
Let x be (2/(-4))/(2/(-12)). Suppose 2*f - 196 = -f + 4*o, -x*f + 210 = 3*o. Suppose -3*y - 4*i = -f, -2*y + 4*i + 100 = 2*y. Is 12 a factor of y?
True
Suppose 5*z - 5*w = 900, -4*z + 811 - 84 = 3*w. Does 35 divide z?
False
Let n = -2 + 0. Let d = 13 + n. Is d a multiple of 5?
False
Let z(r) = r + 9. Let x be z(-9). Suppose -2*j + 5*j - 66 = x. Is j a multiple of 11?
True
Does 21 divide (280/3)/(-5)*-18?
True
Does 40 divide 2/8 - (-222)/(-24)*-19?
False
Suppose 951 + 149 = 4*k. Suppose -5*v + k = 35. Is v a multiple of 26?
False
Let l be -1*6*(-2 + 1). Suppose -o - l = -4*o. Is o even?
True
Let v be 3 - -20 - -1*1. Suppose i - 4*l = 5*i - 80, 2*l + v = 2*i. Does 16 divide i?
True
Does 20 divide 8 + -7 + -1 + 29?
False
Let y(j) = -j. Let f(i) = 7*i + 6. Let c(p) = -f(p) - 3*y(p). Let o be c(-4). Does 10 divide -15*(-1 + (-14)/o)?
False
Let c(h) be the first derivative of -h**4/4 - h**3/3 + h**2/2 + 7*h + 4. Does 7 divide c(0)?
True
Let i(u) = -u + 11. Let h(o) = -5. Let s(m) = -5*h(m) - 3*i(m). Is 6 a factor of s(9)?
False
Suppose j = -j - r + 3, 0 = 3*j - 3*r - 9. Suppose -4*f + 2*p = -152, -j*p - 2*p + 47 = f. Does 17 divide f?
False
Let u(h) = -h**2 + 8*h - 5. Let r be u(9). Let n = r - -21. Is n a multiple of 7?
True
Let f(u) = u**2 - 2*u + 10. Let s be f(9). Suppose -87 = -5*b + s. Does 7 divide b?
False
Let d(z) = z**3 + 2*z + 61. Is d(0) a multiple of 6?
False
Let q(o) = -22 - 2*o + 22. Is q(-5) a multiple of 10?
True
Let m = -615 + 897. Does 47 divide m?
True
Let c = 0 + 4. Let y be (-4)/2*(-3)/2. Suppose -g + 174 = c*g + y*j, -2*j = -2*g + 76. Does 18 divide g?
True
Let k = 2 - 5. Let u(x) = 8*x - 2. Let n be u(k). Does 13 divide (n/(-6))/((-2)/(-6))?
True
Let v(r) = -24*r - 1. Let m(j) = -49*j - 2. Let d(p) = -4*m(p) + 9*v(p). Does 19 divide d(-1)?
True
Suppose -17 = -c + 4*r, -2*c + 3*r + 15 + 9 = 0. Suppose -c = 2*z - 1. Is 288/21 - z/14 a multiple of 14?
True
Let d(h) = -h**3 + 5*h**2 + 5*h + 2. Let o be d(6). Let r(z) = z**3 + 4*z**2 + 4*z + 6. Let n be r(o). Let u = n - -35. Is u a multiple of 11?
False
Let o(d) = 4*d - 2. Let a be o(3). Let c be 5/(-2)*(-16)/a. Suppose c*s + 10 - 82 = 0. Is 10 a factor of s?
False
Let t(w) = -w**2 + 10*w - 4. Is t(9) a multiple of 5?
True
Suppose -2*j = -3*j + 56. Does 14 divide j?
True
Suppose -5*d + 85 = 2*n, -4*d + 3*d = 4*n - 179. Is n a multiple of 16?
False
Is 12 a factor of 15/20 + (-135)/(-12)?
True
Is (-6)/21 + (-310)/(-7) a multiple of 22?
True
Is (64 - (0 + -1)) + -2 a multiple of 15?
False
Suppose -2*d - 350 = -5*h + 3*d, 5*d = -2*h + 140. Is h a multiple of 26?
False
Let f = 4 + -4. Does 4 divide (-2)/(f - 1/2)?
True
Let a(q) = 5*q - 10. Is a(6) a multiple of 5?
True
Suppose -2*r + 22 = -3*m, 25 + 3 = 4*r + 2*m. Is 8 a factor of r?
True
Let c(p) = -5*p + 11 + 0 - p**3 + 5 + 4*p. Does 10 divide c(0)?
False
Suppose 0 = 7*l - 5*l + 3*d - 335, -5*d + 830 = 5*l. Is 24 a factor of l?
False
Let o = -31 + 51. Is 14 a factor of o?
False
Let p = 347 + -502. Let o = p - -219. Is 16 a factor of o?
True
Suppose -3*m - m = 0. Suppose m = 3*i - 127 - 17. Is 15 a factor of i?
False
Suppose 5*d - w - 3*w = 0, -d = 4*w - 24. Suppose -2*p - 3*l = -5, -5*l - 8 = d*p - 3*p. Is p a multiple of 7?
True
Is 21 a factor of (-3)/((-30)/212) + 2/(-10)?
True
Suppose p + 5*d - 2 = -9, -5*p = 4*d - 7. Suppose 0 = 5*o - 2*w + 3*w - 90, 0 = -3*o + w + 54. Suppose p*i = i + o. Is 9 a factor of i?
True
Let m(g) = -g**2 - 5*g - 4. Suppose -2*a + 5*v + 9 = -0*a, 5*v = 5*a. Let r be m(a). Suppose -r*z = 2*d - 44, 78 = 2*d + 2*d + 2*z. Does 10 divide d?
False
Let b = -5 + 10. Does 2 divide (b - -1)*(-2)/(-4)?
False
Let h(u) = -u**2 + 7*u + 3. Let q be h(6). Suppose -2*z + a = -q, -2*a = 6 + 4. Suppose 0 = -z*y + 3 + 27. Is y a multiple of 8?
False
Suppose 7*m = 2*m - 25. Let i = m + 10. Does 3 divide ((-4)/i)/(4/(-30))?
True
Suppose -5*f - 177 = -i, -2*f - 770 = 5*i - 10*i. Is 19 a factor of i?
True
Let w be 13 + (-1)/1 - 2. Let j be (-1 + 6/w)*-10. Suppose 0 = 3*q + j*l - 138, 2*q - 47 = -2*l + 43. Is 16 a factor of q?
False
Let r = 17 + -7. Suppose -2 = -3*o + r. Suppose -o*t + 78 = 3*b, -5*t + 84 = b - 4*b. Is 9 a factor of t?
True
Let m = 33 - 52. Let x = m - -31. Is x a multiple of 4?
True
Let s(w) = w**3 - 2*w**2 - 3*w - 1. Is s(4) a multiple of 19?
True
Suppose h = -4*i - 12, 2*h - 4*i = -5*i + 4. Does 3 divide h?
False
Suppose 0 = -4*n + 12, 4*j + 0*n = 3*n + 735. Is j a multiple of 31?
True
Suppose -205 = -6*n + 443. Does 6 divide n?
True
Let m(g) = 5*g**2 + 3*g + 10. Is 15 a factor of m(-5)?
True
Suppose 3*l - 9 = 0, 0 = -5*h + 4*l - 10 + 418. Is h a multiple of 7?
True
Is 7 a factor of (-1)/(-3 - (-1326)/444)?
False
Does 8 divide 1/((-3)/(-210) + 0)?
False
Let i(b) = b**2 - 4*b + 6. Is 11 a factor of i(6)?
False
Let d = 6 - 12. Let z be (d - -1)*(-48)/(-20). Is z/9*63/(-6) a multiple of 7?
True
Let l(r) = r**3 - 6*r**2 + 7*r - 6. Let j be l(4). Let p = 21 + j. Is p a multiple of 11?
True
Let f = -18 - -31. Is f a multiple of 7?
False
Let i = 15 - -57. Does 4 divide i?
True
Suppose -2*a - z - 4 = 0, -a + z - 2 = -0*z. Let x(r) = -22*r - 3. Does 13 divide x(a)?
False
Suppose h = 5*o - 6 + 35, -48 = -4*h + 3*o. Let s be 1*h*(-4)/(-12). Suppose 0 = 3*j - 4*j + s. Is 3 a factor of j?
True
Suppose 3*n - 10 = n. Suppose 3*w + n*i = -0*i + 10, 0 = 4*w + 4*i - 8. Suppose -p + 3*l + 33 + 3 = w, -24 = -p - l. Does 10 divide p?
False
Let j(n) = n**3 - n**2 - 7*n - 7. Is j(5) a multiple of 27?
False
Let j(a) = a. Let w be j(-8). Let n = 15 + w. Suppose n + 75 = 2*k. Does 16 divide k?
False
Let k = -14 + 19. Is 9 a factor of (-4)/(k + -4) - -13?
True
Suppose 3*g + 2*g = -175. Let j = g + 56. Does 6 divide j?
False
Let v(o) be the second derivative of -o**5/20 - 11*o**4/12 - 11*o**3/6 - 11*o**2/2 + 3*o. Let u be v(-10). Let l(t) = 9*t**2 - t - 1. Is 9 a factor of l(u)?
True
Let p(h) = 262*h**3 + 11*h**2 + 6*h - 5. Let t(z) = -87*z**3 - 4*z**2 - 2*z + 2. Let l(d) = -4*p(d) - 11*t(d). Let g be l(-2). Is 2/(-9) + g/45 a multiple of 7?
False
Suppose -a + 5*i + 8 = 0, -5*a - 4*i + 40 = -0*i. Is a a multiple of 3?
False
Suppose -x - 3 = 0, -2*x - 11 = -2*i - 5*x. Is 5 a factor of i?
True
Let i(h) = -h**3 + 27*h**2 + 32*h + 68. Does 15 divide i(28)?
True
Let n = 5 - 5. Let p = 4 + n. Does 4 divide p?
True
Suppose 700 = 5*n - 0*n. Does 12 di