ide -8*(9/6)/(-3)?
True
Let l(o) = -o + 3. Let h be l(3). Suppose h*u - 6 = -2*u. Suppose -u*z = 5*f - 150, -4*f = -4*z + 57 + 175. Is 19 a factor of z?
False
Suppose -6 = -b - 5*h, -4*b + 7*b = -3*h + 6. Let d = 54 + b. Does 11 divide d?
True
Suppose 1474 = 7*g + 109. Is 13 a factor of g?
True
Let g(q) = -q**3 + q**2 + 2. Is 19 a factor of g(-3)?
True
Let o = -68 + 110. Does 14 divide o?
True
Let i(y) = y**2 + 5*y - 11. Is 13 a factor of i(-10)?
True
Let f be 3 + -1 + 4 + 38. Suppose -u = -5*u + f. Does 3 divide u?
False
Let d(t) = 4*t + 4. Is 26 a factor of d(12)?
True
Suppose o = 5*l - 52, -5*l - 2*o + 42 = 2*o. Suppose -10 = -5*p + l. Does 2 divide p?
True
Let d(a) = -a**3 - 3*a**2 + 9*a + 8. Let y be d(-5). Let z = -3 + y. Is 2 a factor of z?
True
Is 17 a factor of (-3)/(-9) + (-2344)/(-24)?
False
Suppose 5*q - 8 = 22. Let v be (q/(-15))/((-2)/(-40)). Is v/1*(-8 - -5) a multiple of 12?
True
Let k(g) = 49*g + 5. Is k(1) a multiple of 12?
False
Suppose o = -5*v + 252, -7*v - 4*o + 243 = -2*v. Is 17 a factor of v?
True
Is 2346/45 + (-4)/30 a multiple of 20?
False
Suppose 5*h = -20, t + 0*t - 2*h = 15. Let i = t - -65. Is i a multiple of 12?
True
Let d = -2 + 3. Does 5 divide (-1)/(2 + d)*-18?
False
Suppose 3*p + 5 = 4*p + d, -3*d + 9 = p. Does 19 divide 19/p*(-3 - -9)?
True
Let o(k) = -81*k**3 - k**2. Let y be o(-1). Suppose 7*n - 2*n = y. Is 4 a factor of n?
True
Suppose -9*t + 3*t = -12. Suppose 8 = t*n - 38. Does 4 divide n?
False
Suppose -6*l + 8*l = 8. Suppose z + 4*s = 39 + 15, 3*z - l*s = 146. Is 25 a factor of z?
True
Suppose -7*v = -2*v - 350. Does 14 divide v?
True
Let x = 269 + -110. Is x a multiple of 15?
False
Let z(l) = l**3 + l**2 + 37. Suppose -5*f = -3*k - 10, -k + f = 5*f - 8. Let o be z(k). Is -1 - -2*o/2 a multiple of 19?
False
Suppose b - 3 = -2*j, -j - 6 - 10 = -3*b. Suppose -b*g + 67 = 3*h, -4*h = -2*g - 52 - 46. Is h a multiple of 24?
True
Suppose 0 = -3*t + 4*l + 12, t = -4*t - 4*l - 12. Suppose -3*w + 50 = 5*z - 52, -2*z + 2*w + 44 = t. Let v = z - 1. Is 10 a factor of v?
True
Suppose -9*l - 360 = -14*l. Does 13 divide l?
False
Let f(j) = 171*j - 4. Is f(1) a multiple of 28?
False
Let w = 59 + -38. Does 7 divide w?
True
Suppose 7*b = 3*b + 88. Let n(d) = -d**2 + 3*d - 4. Let h be n(4). Let c = h + b. Is 10 a factor of c?
False
Let d(u) = 2*u - 2. Let i be d(3). Suppose 20 = -3*k - 5*r + 76, r = i*k - 113. Let c = -17 + k. Is c a multiple of 10?
True
Let d(z) = 2*z**2 - 7*z + 5. Does 17 divide d(-6)?
True
Let h = -19 + 68. Is 12 a factor of h?
False
Let n(k) = -k - 1. Let j be n(-4). Suppose -j*x = -5*g + 91, 4*g = -6*x + x + 95. Is 15 a factor of g?
False
Does 17 divide 3 - -38*12/8?
False
Let b be 1/((-2)/3 - -1). Suppose 0 = -5*c + 5*w + 25, 4*w + b = -2*c - 11. Let j = c + 10. Does 11 divide j?
True
Let f be ((-45)/(-4))/((-3)/(-36)). Suppose 2*y - 38 - 53 = i, -i = -3*y + f. Is 22 a factor of y?
True
Suppose j = -2*j + 108. Does 15 divide 8/j + 268/9?
True
Does 12 divide 1165/15 + 8/6?
False
Let v(k) be the second derivative of k**4/12 + k**3/2 - k**2 - k. Does 13 divide v(6)?
True
Suppose -281 = -2*q - 11. Suppose -8*n + q = -3*n. Is n a multiple of 14?
False
Let k = 2 - 1. Does 19 divide k/(1 - 102/104)?
False
Let f = 14 + 11. Suppose -2*s + f = 9. Let q = 17 - s. Is 6 a factor of q?
False
Suppose 4*q + 10 = 2*j - 20, -5*q - 25 = 0. Suppose 0 = -3*x - 3*f + 54, -f = j*x - 3*f - 90. Does 9 divide x?
True
Suppose 21*k = 20*k + 19. Suppose 0 = 5*d - 34 - 16. Let r = k - d. Is r a multiple of 6?
False
Suppose 0 = -4*d - d + 20. Is (d/(-6))/(3/(-216)) a multiple of 12?
True
Suppose -164 = -3*i + t, 4*i - 130 = 5*t + 107. Is 5 a factor of i?
False
Suppose 7*o - 876 = -239. Is o a multiple of 7?
True
Suppose -10*i = -5*i - 300. Is 15 a factor of i?
True
Let m(d) = -d**3 + 11*d**2 + d + 10. Let a(u) = u**2 + 5*u + 5. Suppose 0*f = -3*f + 4*j - 2, -2 = -3*f + 5*j. Let i be a(f). Does 21 divide m(i)?
True
Suppose -4*n + f + 102 = -f, 147 = 5*n + 4*f. Is 4 a factor of n?
False
Let w = 44 - 58. Suppose 96 + 134 = 5*l. Let a = w + l. Does 20 divide a?
False
Suppose 2*c = 7*c - 25. Let f(z) = z**3 - 5*z**2 + z. Is f(c) a multiple of 3?
False
Suppose 10*p - 8*p - 66 = 0. Is 11 a factor of p?
True
Suppose o = -c + 121, -5*c + 2*o - 3*o = -613. Let h = c + -83. Is h a multiple of 20?
True
Let t = 38 - -3. Let v = -17 + t. Suppose 24 = 3*i - v. Is i a multiple of 8?
True
Suppose 4*f + 4 = -0*f. Let i be (10 - 10) + (-3 - f). Let c = i - -41. Does 13 divide c?
True
Let l(r) = 30*r**2 - r - 1. Is l(1) a multiple of 4?
True
Let a(y) = -y + 8. Let g be a(6). Suppose g + 2 = -4*u. Is 6 a factor of (0 - u)/(2/12)?
True
Suppose -2*o = -w - 12, -5*w + 26 - 66 = -5*o. Let p = o + 18. Is p a multiple of 22?
True
Let s(i) be the third derivative of -i**4/24 + 4*i**3/3 - i**2. Does 6 divide s(0)?
False
Let a(v) = 11*v + 3. Let l be a(2). Suppose -5*z + 2*m + 39 + l = 0, -4*z - 5*m = -38. Does 4 divide z?
True
Suppose -k = -2*l + 2 - 49, -k = l - 56. Does 13 divide k?
False
Let i(o) = -o**2 + 5*o - 3. Let l(d) = -d**2 - 1. Let k(a) = -i(a) - l(a). Let s = -5 - -8. Is k(s) a multiple of 7?
True
Suppose -3*w = 5*b - 210, -5*b - 153 = -3*w + 27. Is w a multiple of 13?
True
Let j = -9 - -13. Suppose -j*x + 7 = -13. Is 5 a factor of x?
True
Let w = 10 + -6. Suppose -143 = -4*v + 3*c, w*v - 97 = -c + 26. Does 16 divide 1/2*4 + v?
False
Let m(c) = -c**2 - 10*c + 8. Let o be m(-9). Is 17 a factor of (1*2)/(o/187)?
False
Let j = -140 + 200. Suppose h = 195 - j. Suppose 5*x = 8*p - 3*p - h, -p + 4*x + 36 = 0. Does 12 divide p?
True
Let t(m) = 2*m - 4. Let v be -2*1/(-2) + 5. Suppose y = 2*y - v. Is 8 a factor of t(y)?
True
Let v(j) = -3*j - 30. Does 5 divide v(-15)?
True
Let q be -1 + 2/((-2)/(-61)). Let k = -9 - -11. Suppose 4*y - q = f, -3*f = y - k*f - 10. Is 14 a factor of y?
True
Let x be (-1 - 4/(-3))*18. Suppose -o - 360 = -x*o. Suppose -5*r + o = -r. Is 5 a factor of r?
False
Let o(a) = a + 36. Let d be 0/(-2*(-1)/2). Is o(d) a multiple of 11?
False
Suppose -2*b = b - 69. Let z = b - 10. Is z a multiple of 9?
False
Let w = -86 - -146. Is 15 a factor of w?
True
Let x(i) = 2*i - 3*i**3 - 1 + 2*i**3 + 3 + 4*i**2. Let q be (-2)/(-9) - (-50)/18. Does 17 divide x(q)?
True
Let m(v) be the third derivative of 7*v**4/12 - v**3/2 + 4*v**2. Is m(3) a multiple of 13?
True
Let w = -4 + -47. Let r = 75 + w. Does 12 divide r?
True
Suppose 2*j - 3 = j. Suppose -2*i + 145 = j*i. Is i a multiple of 8?
False
Let d be 160/7 - 4/(-28). Suppose 8 = -3*b + d. Is 5 a factor of b?
True
Let j(p) = p + 11. Let r be j(-9). Suppose -r*n + h - 14 = -3*h, 0 = 5*n - 3*h + 7. Does 8 divide -55*n*(-4)/10?
False
Suppose -l + 535 = 5*v - 6*l, -15 = -5*l. Is 11 a factor of v?
True
Suppose 9*x - 60 = 4*x. Is (-16)/x*5*-3 a multiple of 8?
False
Let i be (36/(-8) - -3)*-2. Suppose -23 = -4*m - i. Is 3 a factor of m?
False
Suppose 3*r + 6 = 12. Is r even?
True
Suppose 6 = -3*j, -s + 6*s + 88 = -4*j. Let l = 71 + s. Suppose -4*h = 3*x - l, 2*x = h + 3*x - 13. Is 12 a factor of h?
False
Suppose -5*c + j = 4, -4*c + 12 = 2*j + 4. Let r be c/((3 - 1) + -1). Is 18 a factor of 38 + (r - (2 + 0))?
True
Let w(a) = a**2 + 5*a - 6. Let r be w(-6). Let d(o) = -o**3 + o**2 - o + 5. Let q be d(r). Suppose -4*z - z - 80 = -q*x, 0 = -4*x - z + 54. Is 6 a factor of x?
False
Does 13 divide (1 + -6 - -7)*1*52?
True
Let j = -2 + 0. Let p be (-2 - (j + 0))/1. Suppose -2*z + 4 + p = 0. Is z even?
True
Suppose -9*g + 7*g + 42 = 0. Does 4 divide g?
False
Suppose 3*b + 40 = 5*n - 2*b, 0 = -5*n + 2*b + 28. Suppose 0 = -n*w + w - 6. Is (2/(-1))/(w/16) a multiple of 16?
True
Suppose -112*i - 26 = -114*i. Is 3 a factor of i?
False
Let l = 43 - 13. Does 5 divide l?
True
Is 194/7 - (-4)/14 a multiple of 16?
False
Suppose 0 = -k - 4*q - 12, 3*k - 5*q = 6*k + 22. Let x = 5 + k. Let d = x - -13. Is 14 a factor of d?
True
Suppose 2*a + 0*a = 36. Suppose -f = -3*q - 21, 2*q = -q. Let z = f + a. Is z a multiple of 13?
True
Is 4 + -3 + 118 + 1 a multiple of 15?
True
Let j be 15*-3*3/(-27). Let o(d) = -j*d - d**2 + 2*d**2 + 6*d. Is o(-4) a multiple of 12?
True
Suppose 5*r - 10 = 280. Is 16 a factor of r?
False
Let j = -6 - -8. Suppose 3*t - 4*r = 97, 0*t - 3*t + j*r = -107. Is t a multiple of 10?
False
Suppose -8 +