)/q)?
True
Let a be (-5 - -8)/((-3)/(-4)). Suppose -122 = -a*q - t - 38, q + t - 24 = 0. Is 10 a factor of q?
True
Suppose 4*t = -r + 6*r + 221, -4*t + r = -217. Is 6 a factor of t?
True
Let h = 24 + 5. Let v(x) = -x + 9. Let a be v(0). Let j = a + h. Is j a multiple of 13?
False
Does 27 divide (-55)/10 + 5 + 150/4?
False
Let v be 0 + 0/2 - -4. Is 15 a factor of (v/(-6))/(2/(-102))?
False
Let p = 42 + -9. Is p a multiple of 10?
False
Let m(j) = -j**3 + 6*j**2 + 2*j + 7. Is 11 a factor of m(5)?
False
Suppose 0*m + 10 = 2*z - 2*m, 5*z + 5*m - 25 = 0. Let y be ((-7)/(-2))/(((-3)/(-42))/1). Suppose z*f + y = 124. Is f a multiple of 15?
True
Let p = -708 - -1016. Is p a multiple of 34?
False
Let z(t) = -t**3 + 2*t - 1. Let r be z(1). Suppose k = -r*k. Does 8 divide (-7)/(3/(-12) - k)?
False
Suppose -5*u + 20 = -4*k, -4*u - 3*k = -2*k - 16. Is 2 a factor of (u - -1) + (-8)/(-4)?
False
Let l(b) = 6*b. Suppose 3*s + 15 = 8*s. Is l(s) a multiple of 9?
True
Let t = 65 + -36. Let d = t - -12. Does 16 divide d?
False
Suppose -9*j - 55 = -14*j. Suppose -15 = -5*q + 3*i, -2*q + q + 5*i - 19 = 0. Let v = j - q. Does 4 divide v?
False
Let g(k) = -4*k + 3. Let c be g(-9). Let i = c + -19. Is i a multiple of 10?
True
Is 8 a factor of 86/6 + 14/21?
False
Let w = -13 + 19. Let q = -5 + w. Is 7 a factor of 48*(-2)/((-4)/q)?
False
Let c(y) = -3*y - 9. Does 9 divide c(-12)?
True
Let r(i) = -i**2 + 5*i + 1. Let g be r(4). Suppose x + 3*q - 3 = -0*x, g*x - 26 = -4*q. Is 4 a factor of x?
False
Suppose 12 = -3*r + 6*r. Suppose r*x - 144 = 4. Suppose -2 = 2*g - 5*t - 17, 0 = 4*g - 3*t - x. Does 10 divide g?
True
Let y = 29 + -15. Is y a multiple of 4?
False
Let u = -39 + 63. Suppose -4*j + u = -j. Is j a multiple of 4?
True
Suppose 0 = 2*h - 5*w - 778, 6*w = 3*h + w - 1167. Is h a multiple of 22?
False
Suppose 0 = 6*z - 65 - 553. Does 7 divide z?
False
Suppose 2*u - 36 = 2*q, q = -5*u - q + 69. Suppose -l + 2 = 5*j, 5*l - u - 49 = 2*j. Is l a multiple of 4?
True
Suppose 2*h - 1 = 1. Let l be 41 - (-3)/h - -3. Suppose 0 = -3*y - 11 + l. Is y a multiple of 12?
True
Let j = 20 - -40. Is j a multiple of 20?
True
Suppose -i - 175 = -6*i. Suppose -5*a + i = 5*u, -u - 17 = -3*a - 0*a. Does 6 divide a?
True
Suppose -2*u - 4 = -20. Let s(r) = -r**3 - 7*r**2 - 6*r + 3. Let m be s(-6). Is 4 a factor of (1 - -2)*u/m?
True
Let k be -10*(-2)/4 + -3. Is k + -4 + (37 - 1) a multiple of 22?
False
Suppose 2*v = 2*r + 6, 2*r + 5 = v - 0*v. Let k(x) = x + 1 - 2 + 0*x**3 + 47*x**3. Does 18 divide k(v)?
False
Suppose q - 138 = -2*v, -4*q = 3*v - 0*q - 207. Let u(r) = r**2 + 14*r - 15. Let d be u(-11). Let c = v + d. Is c a multiple of 12?
False
Let z(v) = v**2 + 2*v - 4. Let o be z(-4). Suppose 117 = o*k + 5. Let p = k + -14. Does 14 divide p?
True
Suppose 5*f = 3*x - 35, 4*x - 12 - 26 = -2*f. Does 10 divide x?
True
Suppose 0 = -0*s - s + 28. Let w = s + -8. Does 20 divide w?
True
Is 16 a factor of 3 + 1/(-1) + 190?
True
Let a be -5 + 3 - 7*-1. Suppose -a*q - 2 + 52 = 0. Does 5 divide q?
True
Suppose -2*p = -4*p. Let i = p - -4. Is i even?
True
Let r be (-6)/15*(0 - -10). Is 4/2 - (r + -27) a multiple of 17?
False
Suppose -2*x - 3*i + 82 = 0, -7*x = -2*x - 2*i - 186. Is x a multiple of 4?
False
Let l(n) = -1 + 4 + 7*n + n**2 + 0. Let v be l(-7). Suppose v*p + a = 10, 6*a = -3*p + 2*a + 13. Is p a multiple of 2?
False
Suppose -13 = -2*i - 3*a, -i + 4*a - 9 = 1. Suppose -i*z + 17 = -z. Is 17 a factor of z?
True
Suppose 0 = 5*k + 2*r - 1354, 2*r = k - r - 281. Is 34 a factor of k?
True
Let r(g) = -g**3 + g**2 - 2*g - 2. Let d be r(-4). Suppose -2*f + d - 10 = 0. Suppose 28 = 2*t - 5*b, -4*t - f = 5*b - 124. Does 11 divide t?
False
Let o = 9 + -6. Suppose -4 = o*r - r. Does 5 divide (12/(-9))/(r/15)?
True
Suppose 3 - 8 = 5*z, -5*w = z - 29. Let c(y) = -5*y + 4. Let o(g) = -4*g + 4. Let b(s) = w*c(s) - 5*o(s). Does 13 divide b(-3)?
False
Suppose -15 = -4*i + 57. Is 12 a factor of 6/i + 137/3?
False
Suppose 3*l + 8 = -7, -5*l = -r + 146. Suppose 0 = -y + 5*b + 19, -3*y - 24 = 5*b - r. Let m = -16 + y. Is m a multiple of 13?
True
Let o = 1 - -1. Suppose -2*v - 21 = 5*v. Is 4 a factor of 2 - (v + o)*4?
False
Let a be (0/2)/1*-1. Suppose -12 = -a*z + 4*z. Does 14 divide ((-126)/15)/(z/10)?
True
Let o be 26/(4 - (-6)/(-2)). Let r = -22 + o. Does 3 divide r?
False
Suppose 0 = -2*o + 677 + 3. Is o a multiple of 20?
True
Suppose 0 = -3*x + 5*x + 22. Let g = 19 + x. Suppose 4*m - 52 = g. Is 12 a factor of m?
False
Let p(j) = j**3 + 6*j**2 - 6*j + 13. Is p(-7) a multiple of 6?
True
Suppose -a - 6 + 4 = 0. Does 9 divide ((-6)/15)/(a/130)?
False
Let n = 6 + 6. Is n a multiple of 12?
True
Let m = 24 - 18. Suppose -4*x - 44 = -m*x. Is 5 a factor of x?
False
Let u = -3 - -3. Suppose u*c + 3*c - 200 = 4*o, 2*o = c - 70. Suppose t + 4*t - c = 0. Is t a multiple of 6?
True
Let u(b) = 2*b - 8. Let t be u(5). Does 6 divide t*16/2 + 3?
False
Suppose -13*i + 8*i = -80. Is 4 a factor of i?
True
Let u(h) = 2*h - 12. Let o be u(6). Suppose o = 2*w - f - 16, 3*w - 2*f - 40 = -2*w. Is 8 a factor of w?
True
Let t be ((-6)/(-10))/((-5)/(-6425)). Does 19 divide t/21 - (-6)/21?
False
Let v = 5 + 6. Is 2 a factor of v?
False
Suppose 2*i + i = -z + 109, 0 = 4*z - 3*i - 496. Suppose 0*x - x = -148. Suppose 0*r - v + z = 4*r, 0 = 5*r - 2*v - x. Is 15 a factor of r?
True
Let w(d) = -d**2 - 6*d - 4. Let m be w(-6). Is 8 a factor of (2 + 13 + m)/1?
False
Let h(c) = c. Let i be h(2). Suppose i*a = 4, -4*l - 14 = -6*l - a. Is 6 a factor of l?
True
Suppose -t + 5 = 19. Does 17 divide (-11)/(-77) + (-236)/t?
True
Let u(n) = n**3 + 2*n**2 - 2*n + 1. Let v be u(-3). Let g be (3 - -1) + v + 5. Suppose -3*d + g*d - 212 = 0. Does 14 divide d?
False
Let i be ((-4 - -2) + -11)/(-1). Let b = 25 - i. Is 20/3 + 4/b a multiple of 4?
False
Suppose -5*y + 9 = -2*g - 2*g, 41 = 4*g + 5*y. Suppose 0 = -2*w + g*w - 8. Suppose w*d + 60 = -0*f + 4*f, 3*d - 69 = -3*f. Is 19 a factor of f?
True
Let c be 0/5 - 48/2. Does 23 divide (-1)/(-2)*-2 - c?
True
Suppose 0*c = 2*c - 4. Let d be -2 + (4 - (c - 0)). Suppose -4*n - 4*r + 96 = d, -5*n - r = -2*r - 102. Does 11 divide n?
False
Let n(h) = -12*h - 7. Is 12 a factor of n(-2)?
False
Let x(b) = -6*b - 12. Is 18 a factor of x(-11)?
True
Suppose -11*x - 3*x = -770. Does 11 divide x?
True
Let x = -2 - -2. Suppose x = 2*o + o - 15. Does 5 divide o?
True
Let v(g) be the first derivative of g**6/360 - g**5/60 - 5*g**4/24 + 2*g**3/3 - 2. Let u(y) be the third derivative of v(y). Is u(-4) a multiple of 11?
False
Is 10 a factor of (-482)/(-8) + 5/(-20)?
True
Is 6 a factor of 12*4*(-12)/(-16)?
True
Let b(c) = 0 + 2 - 3*c**3 - 2*c**3 + 2*c. Suppose -x + 3*x + 4 = 0. Is 19 a factor of b(x)?
True
Let o(r) = 3*r**3 + 3*r**2 + 3*r + 3. Let u be o(-3). Let c be (4/(-10))/((-2)/(-170)). Let s = c - u. Does 13 divide s?
True
Suppose -3*v + 15 = 5*a, -3 = v - 2*a + 3. Suppose -u = -4*o + 48, 5*u + 6 + v = 2*o. Is 13 a factor of o?
True
Let m = 19 - -2. Does 21 divide m?
True
Suppose -5*l = -4*l + 1, 2*l - 22 = -4*z. Let j = z + 42. Is j a multiple of 24?
True
Let p = -2 - -78. Suppose -44 = -3*s + p. Is s a multiple of 11?
False
Does 39 divide 520/(-6)*12/(-8)?
False
Suppose 1430 = 11*x - 0*x. Does 65 divide x?
True
Suppose 2*z + 3*u = 159, -2*u - 196 = -3*z + 2*u. Is 12 a factor of z?
True
Suppose 3*t - 167 = -j, -3*j + 118 = 2*t - j. Does 3 divide t?
True
Suppose -2*i - h + 106 = 0, 41 = i + 2*h - 12. Is i a multiple of 13?
False
Let q(n) = 1. Let h(o) = -o**2 - 6*o + 1. Let l(c) = h(c) - 3*q(c). Let v be l(-6). Is 18 a factor of v/(-2*1/40)?
False
Let q = -3 + 7. Let i(w) = 2*w - 6. Let y be i(q). Is (-1 - y)*10/(-6) a multiple of 5?
True
Let w be (-4)/14 - (-44)/7. Is 11 a factor of ((-34)/w)/(1/(-3))?
False
Let u = -9 + 46. Is 13 a factor of u?
False
Suppose -5*c = -82 - 8. Is c a multiple of 18?
True
Let t(l) = l**3 + 12*l**2 + 6*l + 15. Is t(-11) a multiple of 11?
False
Suppose -w + 2*l + 130 = 3*w, 2*w + l = 67. Is w a multiple of 2?
False
Let x(o) = -o**3 - 6*o**2 + 6*o - 3. Let t be x(-7). Is 17 - t/((-4)/(-3)) a multiple of 14?
True
Suppose -4*q - 30 = -2*m, -4*m + 5*q = -28 - 20. Suppose -304 = 3*d - m*d. Suppose 28 = 4*c - d. Is 13 a factor of c?
True
Let r = 8 - 4. Let c(y) = -2 - 15*y + r - 2. Does 12 divide c(-