. Suppose b = -5*g + 2*b + 23, 4*g - b = x. Is g a multiple of 2?
True
Let q be 32/(-20)*(-15)/6. Suppose 4*i + 3*x - 165 = 0, -21 = -2*i + q*x + 89. Is i a multiple of 15?
True
Let n be 1 - (0 + 2) - -6. Suppose 5*h + 3*c = 12 + 25, -2*h + 14 = c. Is 2/h*n*4 a multiple of 6?
False
Let x(n) = n**3 + 13*n**2 + 3*n - 25. Is x(-12) a multiple of 14?
False
Suppose q = -q - 4*c - 4, 2*c + 2 = 3*q. Suppose q*h = 4*h. Is ((-12)/(-1))/(h + 1) a multiple of 12?
True
Let n(w) = 12*w + 36. Is n(5) a multiple of 7?
False
Let u(j) = -j**3 + 11*j**2 - 3*j - 5. Is 34 a factor of u(9)?
False
Suppose 2*x - 116 = -4*l, 0 = -3*x - 2*x + 3*l + 264. Does 6 divide x?
True
Let s = -25 - -37. Is s a multiple of 9?
False
Suppose 132 = 2*r + 100. Does 2 divide r?
True
Let o = 99 - 15. Does 28 divide o?
True
Let v(t) = 2*t**2 - 15*t - 1. Is 3 a factor of v(8)?
False
Does 17 divide (-239)/(-7) - 8/56?
True
Let u(l) = -3*l**3 - 3*l**2 + 2*l - 1. Let y(m) = -m - 7. Let n be y(-10). Suppose 3*h + 21 = -n*j, -3*h + 5*j + 3 + 8 = 0. Is 18 a factor of u(h)?
False
Is 29 a factor of (-4)/(-10) + 4504/40?
False
Suppose -5*a + 204 = -6. Is 21 a factor of a?
True
Let p(w) = -6*w - 4. Does 4 divide p(-4)?
True
Let k(q) be the first derivative of -q**4/4 + 2*q**3 - 3*q**2/2 - 4*q + 1. Let c be k(5). Is ((-16)/c)/(6/(-9)) a multiple of 3?
False
Let d = 16 - 19. Is 4 a factor of 1 + (2 - -20) + d?
True
Let i be (-1*2)/((-2)/17). Let x be i + 0 + (2 - 0). Does 11 divide x + (-2)/(-1) - -2?
False
Let w(f) be the second derivative of -f**4/12 + f**3/2 + 7*f**2/2 + 2*f. Let b be w(5). Does 18 divide (-79)/b + (-2)/(-3)?
False
Let l(u) = -2*u + 2. Let z be 4/10 + 164/(-10). Let w = z + 9. Does 10 divide l(w)?
False
Let w(c) = -c - 5. Let l be w(5). Let v = l - -7. Does 4 divide (-1)/(v/6)*5?
False
Let q(y) = 9*y**2 + 2*y. Let l = -5 + 3. Let i be q(l). Suppose -j + 2*j - i = 0. Does 16 divide j?
True
Suppose 0 = 4*b + 12, 5*z + b - 69 = -7. Is z a multiple of 12?
False
Let o = -3 + 5. Let w(y) be the second derivative of y**4/12 - y**3/3 + 3*y**2/2 - y. Is w(o) a multiple of 3?
True
Let j = -141 + 217. Does 14 divide j?
False
Let a(s) = 143*s + 4. Does 21 divide a(1)?
True
Suppose 0 = 3*d + d - 64. Is d a multiple of 5?
False
Let c(o) = o**2. Let r be c(2). Let s = 4 + r. Suppose -2*f + 9 = -5*b - 17, s = -2*b. Is 2 a factor of f?
False
Is 578/5 - (-20)/50 a multiple of 30?
False
Suppose 3*a + 3*u - 87 = 0, -3*a + 5*u + 115 = u. Is 33 a factor of a?
True
Let u = -5 + 2. Let f(g) = -11*g + 3. Is 12 a factor of f(u)?
True
Let c = 114 + -78. Is c a multiple of 9?
True
Let g(u) = 5*u**2 - 16*u. Let x(n) = -n**2. Let t(i) = -g(i) - 4*x(i). Is t(9) a multiple of 21?
True
Let o(p) = 62*p**3 + 2*p - 1. Is o(1) a multiple of 23?
False
Let j be (-70)/(-22) - (-8)/(-44). Suppose 2*d - 3*d = -l - 13, -5*l = -j*d + 49. Is 8 a factor of d?
True
Suppose -166 - 37 = -t. Does 40 divide t?
False
Let i(w) = 2*w**2 + 4*w - 1. Let d be i(-3). Suppose k - 82 = d*a, -206 = -k - 2*k + 5*a. Is k a multiple of 31?
True
Let j(u) be the second derivative of u**4/6 + 2*u**3/3 + u**2 + 11*u. Is 12 a factor of j(5)?
True
Let w be ((-4)/6*-3)/1. Suppose 3*k = -13 + 4. Is 5 a factor of (w/1 - k) + 0?
True
Let p = 149 - 63. Does 17 divide p?
False
Let n be 1/2 + 6/4. Suppose n*v - 57 = -1. Does 19 divide v?
False
Suppose 0 = -10*z - z + 913. Is 7 a factor of z?
False
Suppose -4*a - 2*c + 0*c + 72 = 0, 3*c - 13 = -a. Does 19 divide a?
True
Let w(o) = -4*o**3 - 14*o**2 - 14*o + 12. Let c(z) = z**3 + z**2 + z. Let i(u) = 5*c(u) + w(u). Does 12 divide i(10)?
False
Suppose -260 = -4*v - 4*t, 165 = 2*v + 3*t + 39. Let n = -17 + v. Does 14 divide n?
False
Does 6 divide 54 - ((-2)/6 + (-35)/(-15))?
False
Let y be (-22 + 2)*1*-2. Suppose y = 4*w - 3*w. Is 14 a factor of w?
False
Suppose 4*p = u + p - 10, u - 5*p = 14. Let s = -2 + u. Suppose -s*k + 4 = 0, j - 3*k - 42 = -3*j. Is 6 a factor of j?
True
Suppose -22 = -s + 20. Does 14 divide s?
True
Suppose -212 = -4*z + 2*f, 3*f + 2*f + 152 = 3*z. Is 3 - (-5)/(15/z) a multiple of 4?
False
Let o = 33 + -14. Does 5 divide o?
False
Suppose -1 = -o + 2. Let n = 10 + -4. Let c = n - o. Is 3 a factor of c?
True
Let q be (-5 - (3 + -5)) + 8. Let y = q - 9. Is 26 a factor of ((-52)/(-3))/(y/(-6))?
True
Let u(h) = h + 33. Let y(d) = -1. Let a(j) = u(j) - 3*y(j). Is 10 a factor of a(0)?
False
Suppose 2*c - k = -0*k + 16, -2*k + 18 = c. Suppose -4*a = a - c. Is a even?
True
Let o(g) = 3*g**2 + 8*g + 4. Let s be o(-7). Let p = -61 + s. Is 17 a factor of p?
True
Let j be 2/(-6)*-3 - -8. Let l be 1*(2 + -2)/2. Suppose l*x = 3*x - j. Is 3 a factor of x?
True
Suppose -o - 6 = -106. Does 8 divide 1/3 + o/6?
False
Let u(j) be the first derivative of j**4/4 - 2*j**3/3 - j**2 - j + 2. Let c be u(3). Suppose c*w = 13 + 3. Is w a multiple of 8?
True
Let a be -1 - (-3)/((-9)/(-30)). Suppose -2*m = -43 - a. Suppose -2*d + m = -0*d. Does 5 divide d?
False
Let p(v) = 3*v**2 - 6*v - 1. Is p(-7) a multiple of 47?
True
Let i(c) = c**3 - 7*c**2 - 1. Let v be i(7). Let d(r) = 24*r**2 + r + 1. Does 20 divide d(v)?
False
Let k(j) = 5*j + 5. Let d be k(6). Suppose -d = -3*p - 2*b + b, 0 = 3*b - 6. Is p a multiple of 9?
False
Let f(o) = -2*o**3 - o**2 + o - 1. Is 3 a factor of f(-2)?
True
Let z(f) = -f**3 - 4*f**2 - 2*f + 4. Let c = 8 + -12. Is z(c) a multiple of 4?
True
Let r(d) = -10*d. Is 5 a factor of r(-1)?
True
Let c = -6 - -10. Does 4 divide c?
True
Suppose 2*v + 3*v - 20 = -4*h, -2*h + 22 = 4*v. Let q(k) = 4*k - 2. Is q(v) a multiple of 10?
True
Suppose 0*k + 3*k + 57 = 0. Let s = -3 - k. Does 8 divide s?
True
Let r = -12 - -21. Is 15 a factor of (-266)/(-18) - (-2)/r?
True
Let s(p) be the first derivative of 2*p**3/3 + 7*p**2/2 + 2*p + 1. Let q be s(-5). Let l = q - -8. Is 9 a factor of l?
False
Let n(d) = 5*d**2 + 2*d. Let k be (-10)/3 - (-3)/9. Does 13 divide n(k)?
True
Suppose -3*w = -4*w + 140. Is w a multiple of 26?
False
Let n = 110 - -46. Does 26 divide n?
True
Let t(z) = -z**3 + z**2 - z + 4. Let h be t(0). Suppose 4*p - 3 = h*c - 59, -5*c + 38 = 3*p. Does 10 divide c?
True
Let m(y) = -2*y**2 + 33*y + 13. Let t be m(17). Suppose 0 = -2*i - 8 + 56. Is 3 a factor of 66/i - 1/t?
True
Let g be 0 - (7 + 3/(-3)). Let s = g - -9. Suppose -h - s = -0*h, 0 = -2*f - 4*h + 92. Is 18 a factor of f?
False
Let c(i) = i**2 + i + 2. Let p be c(0). Let r be p/5 + (-66)/(-10). Suppose 3*g - 5 = r. Is 3 a factor of g?
False
Let r(k) = 6*k**3 + 4*k**2 - 5*k + 3. Let p(d) = -5*d**3 - 3*d**2 + 5*d - 3. Let t(w) = -5*p(w) - 4*r(w). Let f be t(3). Let y = 1 + f. Is y a multiple of 3?
False
Is 24*(1/(-2) + 95/20) a multiple of 7?
False
Suppose -3*g - 1 = -94. Is g a multiple of 10?
False
Suppose -1 = -h + 1. Suppose 6*w - h*w + 4*j = 84, -2*w - 5*j + 48 = 0. Does 19 divide w?
True
Let l(f) = f**3 - 5*f**2 - 3*f - 4. Suppose 0 = -7*j + 2*j - b + 55, 3*b + 15 = 0. Let x be 32/6 - j/(-18). Is l(x) a multiple of 5?
False
Let u(n) = 7*n - 10. Let m be u(8). Suppose 4*k = m + 14. Does 13 divide k?
False
Let d(c) be the third derivative of c**5/12 - c**3/3 + 5*c**2. Is d(3) a multiple of 10?
False
Let s be ((-2)/2)/((-2)/196). Suppose 2*b + 2*j + 2*j - 176 = 0, -4*j + s = b. Suppose b = 3*q + 6. Is 12 a factor of q?
True
Suppose -2 = -0*v - v. Suppose -3*c + v*c + f = -20, -5*f - 40 = -2*c. Does 4 divide c?
True
Let s(a) = a**2 + a - 4. Let j be s(-3). Suppose -65 = -3*z - j*z. Is z a multiple of 13?
True
Let g = 215 + -147. Suppose -2*v = -4*l + g, 3*l = -l - 5*v + 54. Does 8 divide l?
True
Let l be (8/14)/((-2)/(-7)). Let g(z) = 3*z**3 - 2*z**2 + 2*z - 1. Is 19 a factor of g(l)?
True
Suppose -16*r = -13*r - 834. Does 9 divide r/10 - (-8)/(-10)?
True
Suppose -5*a - 2*x + 96 = -13, 2*a - 3*x = 36. Does 5 divide a?
False
Let n be (-96)/(-15) + (-2)/5. Suppose t = 0, -2*t = -3*r - n*t + 39. Is 9 a factor of r?
False
Let p(n) = 2*n + 50. Is 14 a factor of p(0)?
False
Suppose 2*v + 0 = p + 2, -10 = 5*p - 5*v. Is 11 a factor of (-2 - p - -11)*3?
True
Suppose 0 = -5*j + 31 + 9. Let x(a) = -a**2 + 9*a + 9. Is x(j) a multiple of 5?
False
Let m(n) be the second derivative of 2*n + 1/6*n**3 + 0 + 7*n**2. Is 4 a factor of m(-6)?
True
Let q(l) = -l**2 - 8*l + 1. Let r be q(-8). Let j be 32 - -2*r/(-2). Suppose 2*a = 4*a + 3*f - j, 2*f = 2*a 