*g. Is g a multiple of 18?
False
Let h(b) = -9*b - 9. Does 6 divide h(-3)?
True
Let p = 27 + -21. Is p even?
True
Let k(f) = -128*f**3 - f**2 - 1. Is 8 a factor of k(-1)?
False
Let j(t) be the third derivative of t**6/120 + 4*t**3 + 2*t**2. Suppose 6*b - b - 10 = -r, -5*r - 3*b + 6 = 0. Does 10 divide j(r)?
False
Suppose -3*a = -5*k - 4*a - 29, 15 = -3*k - 3*a. Does 7 divide k*-3*(-16)/(-12)?
False
Suppose -1 = 4*m + 19. Let p = m - -11. Is 6 a factor of p?
True
Let l(v) = v**3 - 4*v**2 - 10*v + 4. Is l(7) a multiple of 27?
True
Let n = 1 + 1. Suppose 5*p - o + n*o - 145 = 0, o = -p + 33. Does 9 divide p?
False
Suppose 3*q = 5*q - 226. Does 26 divide q?
False
Suppose -7*i = -2*i. Suppose 5*a = 5*t - i*t + 20, -t - 3*a + 12 = 0. Suppose -4*w - 4 + 16 = t. Does 2 divide w?
False
Suppose 6 = -h + 4. Does 16 divide 2*-3*2*h?
False
Suppose -k + 0 + 1 = 0. Let w(r) be the second derivative of 7*r**4/12 - 2*r. Does 5 divide w(k)?
False
Is (-129)/(-27) - (-3 - (-50)/18) a multiple of 2?
False
Let j be -3 + (-1 - 13*-2). Is (-3 - (-3 - -3)) + j a multiple of 13?
False
Let f = 66 - -40. Is 23 a factor of f?
False
Suppose 11 - 55 = -2*g. Is (-1)/2 - g/(-4) a multiple of 5?
True
Let y = 9 + -6. Suppose -3*p = -s + 3 + y, -32 = -4*s + 4*p. Is 4 a factor of s?
False
Suppose -7 = 4*w - 103. Is 6 a factor of w?
True
Suppose 2*q + m + 8 - 61 = 0, -25 = -5*m. Does 8 divide q?
True
Suppose -37 = -2*b - 15. Is 11 a factor of b?
True
Suppose -5*y = -2*u + 16, -4*u - 2*y + 12 = -7*y. Let o = 9 + u. Is o even?
False
Let p(f) = 31*f**2 + f. Let c be p(-1). Suppose 0 = -r + a + 22, 5*r + 4*a - c = 116. Does 13 divide r?
True
Let i be (2/(-4))/(2/32). Let q = i + 17. Suppose 26 = 4*b - 0*l - 2*l, -b + q = -3*l. Does 4 divide b?
False
Let q = 4 - 2. Let c = 8 - q. Is 2 a factor of c?
True
Let d(h) = -4*h**2 + 11*h - 9. Let k(u) = -3*u**2 + 10*u - 9. Let j(c) = 2*d(c) - 3*k(c). Let r be j(7). Suppose 0 = -w + r + 9. Is w a multiple of 9?
False
Suppose 5*o - 13 = -t + 1, -24 = -5*t - 2*o. Let u = -11 + 12. Suppose -t*y = a - 26, 0 = -2*a + 3 + u. Is y a multiple of 6?
True
Let w(m) = m**3 - 14*m**2 - 3*m + 13. Let p be w(14). Suppose 5*k - 228 = s, -k = -0*k + s - 48. Let f = k + p. Is 12 a factor of f?
False
Let u = -2 - 0. Is 8/(3/((-33)/u)) a multiple of 11?
True
Suppose 3*d - 2*d = 1. Let s be 1*(1 - d - -5). Suppose q + 20 = -3*q, 0 = -c + s*q + 62. Is 14 a factor of c?
False
Does 11 divide (-9)/(1*9/(-66))?
True
Let p be (4 - -1) + (-5 - -2). Suppose 6*o + 3*j - 112 = o, -48 = -2*o + p*j. Is 8 a factor of o?
False
Suppose 0 = -4*s + 5*c + 16, 0 = -s - 5*c + 3 + 1. Suppose q = -3*q + 4*m + 64, 5*q - s*m = 76. Is q a multiple of 4?
True
Does 2 divide ((-4)/10)/((-3)/15)?
True
Let r(m) = -m**3 - m**2 - m + 195. Does 39 divide r(0)?
True
Let n = -2 - 7. Let m = n - -45. Suppose 2*l - m = 52. Does 22 divide l?
True
Suppose 164 = 3*z + 5*a, 2*a - 179 = -3*z - 0*z. Is z a multiple of 7?
True
Let p(z) = 18*z + 1. Let w(a) = a**2 - 4*a - 6. Let b be w(6). Suppose b*h - 4 = 2*h. Is 7 a factor of p(h)?
False
Let b(m) = 2*m**2 - m - 1. Let h be b(-1). Suppose 0 = 3*c - 5*g + 21, c - 3*c - 2*g = -h. Is (-3)/c*64/6 a multiple of 8?
True
Suppose -80 = q - 5*q. Is q a multiple of 17?
False
Let t(g) = 4*g**2 - 1. Let j be t(1). Suppose j*z = 2*z + 12. Does 6 divide z?
True
Let w = 3 + 0. Let j = 10 + w. Is j a multiple of 8?
False
Suppose 4*u - 34 = 2*u. Let x = -11 + u. Does 2 divide x?
True
Suppose -4*c = 2*w - w - 3, 2*c = -w - 1. Suppose -c*g = -g - 7. Is 6 a factor of g?
False
Suppose 0 = -53*o + 55*o - 108. Does 9 divide o?
True
Suppose -i + 115 = 2*i - 4*v, 4*v - 8 = 0. Let b = 71 - i. Is b a multiple of 15?
True
Let r(o) = -o**3 - 12*o**2 + o + 16. Let l be r(-12). Suppose -l*y - 6 = -82. Is 13 a factor of y?
False
Suppose 27*h = 11*h + 448. Is h a multiple of 4?
True
Let p(d) = 221*d**2 - 1. Let g be p(1). Suppose 2*u - u + g = 0. Does 18 divide (-2)/6 + u/(-12)?
True
Does 19 divide -1 + 80 - 2/1*1?
False
Let j = 9 + -12. Let u = 12 + j. Is 4 a factor of u?
False
Suppose 2*y - 10 = -0*y - 5*g, -5*y = 2*g + 17. Let j = y + 8. Suppose -3*m + 1 = j*t - 5*m, -2*t + 2*m = 2. Does 3 divide t?
True
Let r = -2 + 0. Does 11 divide 11 - (0 - (-2 - r))?
True
Suppose 4*g = -y - 30, y = 5*g - 3*g - 36. Let j = -4 + y. Let k = j + 79. Does 17 divide k?
False
Let a(k) = 27*k - 6. Let s be a(6). Suppose 5*b - s - 54 = 0. Suppose 0 = -3*y - q + 58, b = 2*y - 2*q + q. Is 6 a factor of y?
False
Let d(t) = t - 2. Let n be d(2). Let a be (0 - (0 + n))/2. Is 2 a factor of 1/(1/(a - -4))?
True
Suppose 0 = 3*g - 8*g + 60. Suppose 2*c = 4*c - g. Does 6 divide (10 - -2)*3/c?
True
Suppose -5*q = -o + 3, 0*o + 5*o + 2*q = 15. Let n(x) = 5*x - 5 + o + x**2 + 6. Does 7 divide n(-7)?
False
Let v(t) = -t - 5*t**2 - 1 - 5*t**2 + 3*t**2 - t**3. Let n be v(-7). Let y(h) = h - 2. Is y(n) a multiple of 4?
True
Suppose -3*r + 4*r = 18. Does 9 divide r?
True
Let d be 6/2 + 0 + 2. Suppose -d*p + 5 = -20. Does 2 divide p?
False
Suppose m + l = 3, 2*m - 4*l - 42 = -3*m. Let f(h) = -h**3 + 6*h**2 - h + 7. Let w be f(m). Let b = 19 - w. Is 6 a factor of b?
True
Suppose 36 = 2*n - 0*n. Is n a multiple of 5?
False
Let m(j) = j**3 + 7*j**2 - 4*j - 3. Suppose 24 = -3*r - r. Let z be m(r). Does 7 divide (-1)/4 - z/(-4)?
True
Suppose u + 2*u - 720 = 0. Suppose 0*n + u = 4*n. Is 23 a factor of n?
False
Let m(l) = -2*l**2 + 8*l - 12. Let y be m(8). Does 19 divide (y/6)/((-2)/3)?
True
Let g(d) = -d**3 - 6*d**2 - 6*d. Is 18 a factor of g(-6)?
True
Let h = -20 + 13. Let b(t) = -t**2 - 8*t + 4. Is 5 a factor of b(h)?
False
Let t = -16 - -28. Suppose -5*x + 33 = 2*i, x + 4 + 3 = 3*i. Suppose 5*k - 45 = 5*o, x*o + t = o. Is k a multiple of 2?
True
Let l(m) = 3*m**3 + m**2 + 1. Let d be l(2). Suppose 8 = -4*t, -4*y + 87 = -t + d. Is 14 a factor of y?
True
Let x(z) = 13*z + 3. Let a = -11 + 16. Is x(a) a multiple of 18?
False
Suppose 64 = 2*v + 3*b - 6, -2*b + 4 = 0. Suppose 5*g - g - v = 0. Is 4 a factor of g?
True
Let h(p) = -50*p**3 + 2*p**2 + 2*p + 1. Let s be h(-1). Suppose 2*o = -2*d + 7*o + 96, s = d - 4*o. Is d a multiple of 13?
False
Let i = 21 - 5. Let v = 14 + -3. Let q = i - v. Is q a multiple of 3?
False
Is 26 a factor of 363/12 - 7/28?
False
Let u be (-19)/(-1) - (3 - 2). Suppose -2*r + 5*f = 8, f - u = -5*r + 4*f. Is 2 a factor of r?
True
Let q(v) be the third derivative of v**2 + 1/10*v**6 + 0*v + 0*v**5 - 1/6*v**3 + 0 + 1/24*v**4. Does 12 divide q(1)?
True
Suppose -m + 42 + 38 = 0. Is 20 a factor of m?
True
Let a(r) = 2*r - 4. Let z be a(4). Suppose z*n + 4*o - 30 = 78, -2*n - 5*o + 63 = 0. Does 11 divide n?
False
Is ((-172)/6)/(4/(-6)) a multiple of 17?
False
Suppose 2*q - 283 + 279 = 0. Is q a multiple of 2?
True
Suppose 0 = 5*l, 5*t - 4*l - 55 = -3*l. Let m(p) = p**3 - 12*p**2 + 15*p - 12. Does 15 divide m(t)?
False
Suppose 5*j = q - 70, -3*q - 76 = -4*q - j. Is 25 a factor of q?
True
Let g = 11 + -9. Let x(l) = l**3 + 3*l - 3. Is x(g) a multiple of 11?
True
Is 11 a factor of 7 - (-3)/(12/16)?
True
Let o(w) be the second derivative of w**3/6 + w**2 + w. Does 5 divide o(5)?
False
Let f = 6 + 6. Let b = f + -1. Is 11 a factor of b?
True
Suppose -284 = -5*v - 3*l, 2*v + 5*l - 142 + 36 = 0. Is v a multiple of 5?
False
Let o(u) = -11*u. Is 5 a factor of o(-3)?
False
Suppose -2*p - 2*h = -4*h - 24, -36 = -3*p - 4*h. Does 12 divide p?
True
Suppose -5*w + 183 = -w + 3*q, w + 4*q - 62 = 0. Does 21 divide w?
True
Let y(q) = -q**2 + 16*q + 7. Is 24 a factor of y(9)?
False
Let h(u) = 4*u - 30. Does 2 divide h(10)?
True
Is 7 a factor of (-12)/(-8)*(-164)/(-6)?
False
Let a be -8*(0 - -2) - -1. Let u = -2 + 1. Is ((-12)/(-10))/(u/a) a multiple of 9?
True
Let c = 43 + -11. Does 16 divide c?
True
Suppose 3*q = -91 + 247. Is 13 a factor of q?
True
Is 45 a factor of ((-93)/6)/(102/108 + -1)?
False
Suppose 1 = -3*a + 97. Does 16 divide a?
True
Let t be 6/(-10)*(2 + 3). Let p be -5*1 + t/1. Let b = p - -46. Does 11 divide b?
False
Suppose 0 = -c - 0*c + 3. Let i(l) = l**3 - 4*l**2 - 5*l - 4. Let a(x) = -x. Let g(r) = 4*a(r) - i(r). Does 8 divide g(c)?
True
Suppose -3*t = -5*m - 178, 0 = m - 0*m + 2. Is t a multiple of 14?
True
Suppose 3*i - 60 = 72. Is i a multiple of 11?
True
Suppose h - f + 1 = 6, -f + 25 = 4*h. Is h a multipl