-71 - -119. Suppose q = 5*q - j. Is 2/q - (-130)/12 a multiple of 11?
True
Let k(b) = b**3 + 27*b**2 - 28*b + 36. Is k(-28) a multiple of 6?
True
Suppose -2573 = -17*u + 8698. Is 17 a factor of u?
True
Let l = 26 - 27. Does 17 divide (((-39)/(-9))/(-1))/(l/57)?
False
Let d(n) = n**3 - 2*n**2 + 2*n + 1961. Does 53 divide d(0)?
True
Is 4*1 - (-192 - (13 - 3)) a multiple of 4?
False
Suppose 1530 = 5*f - 5*q, 0 = -5*f - 2*q + 913 + 631. Suppose f = 6*w + w. Suppose 5*t - t + x = w, 5*t = -x + 55. Is 5 a factor of t?
False
Let i be (-891)/(-108)*(-6 - 2*-1). Does 11 divide 2/(12/(-14))*i?
True
Let f = -8 + 6. Let y be f/3*(-6 - -3). Is 17 a factor of (0 + y)/(-2)*-31?
False
Let x be (-3)/(3/(-60)*-1). Let g = x + 90. Is 6 a factor of g?
True
Let w(u) be the second derivative of 61*u**3/6 - 15*u**2/2 + 37*u. Is 21 a factor of w(3)?
True
Suppose -2*c - 7 + 24 = -s, 0 = -3*s - 15. Suppose -120 + 12 = -c*g. Is 6 a factor of g?
True
Suppose 317*q = 316*q + 4. Does 3 divide q?
False
Suppose 4*z - 35 = -3*n, -z - 5*n + 3*n = -10. Suppose h = z*h - 1680. Is 41 a factor of h?
False
Suppose -1807 = -9*v + 5888. Is v a multiple of 19?
True
Suppose -6*k = -5*k + 25. Is 2 - 6/2 - k a multiple of 11?
False
Let t(z) = -z**3 + 8*z**2 - 3*z - 8. Let r = 30 + -25. Suppose -5*f + l - 1 = -41, r*l = 3*f - 46. Is 4 a factor of t(f)?
True
Suppose -3*h + 71 + 4 = 3*l, 5*l + 109 = 4*h. Is 8 a factor of (-1131)/h*(-4)/3?
False
Is 105 a factor of (-2)/5 + (-88216)/(-40)?
True
Let h = -25 + 45. Suppose 0 = 4*q - 3*l + 5*l - 24, q - h = -4*l. Suppose -q*y = -8*y + 156. Does 13 divide y?
True
Suppose -5*y = -2 - 48. Let v be 5/90*6 - 1/3. Suppose v = -4*s + y + 18. Is 7 a factor of s?
True
Let r = 9 + 94. Suppose 8*h - 3*h - 179 = 2*i, -3*h + r = i. Does 5 divide h?
True
Let t(x) = 13*x**2 - 68*x + 8. Does 19 divide t(10)?
False
Let s = 0 + -10. Is s/(-35) + 1004/14 a multiple of 18?
True
Suppose 4*s - 4*b - 1876 = 0, -111 = -3*s + 4*b + 1299. Is 6 a factor of s?
False
Suppose -4*r + 27 = -r. Let s be (r/(-6))/((-6)/(-16)). Does 4 divide (2/s)/(3/(-66))?
False
Let m(c) = 14*c + 99. Is m(14) a multiple of 8?
False
Suppose 21*l = -7*l + 30240. Is l a multiple of 12?
True
Let h(s) = 47*s - 1000. Is 10 a factor of h(32)?
False
Suppose -v + 52 = 2*c, 0*c - 2*v - 104 = -4*c. Suppose 0 = -23*d + c*d + 177. Let p = -37 - d. Is 11 a factor of p?
True
Let w = 56 + 56. Is 28 a factor of w?
True
Suppose -2*i = -13 + 1. Let a = i + -7. Let s = 30 - a. Does 8 divide s?
False
Let w(s) = -s**3 + 8*s**2 - 10*s + 15. Let h be w(7). Does 13 divide (24/(-9))/(h/117)?
True
Let m = -55 + 475. Suppose 11*f = 4*f + m. Is f a multiple of 5?
True
Is 53*2 + (-28)/(-5 - 2) a multiple of 6?
False
Suppose 2*b = 4*u + 1014, 2549 = -9*b + 14*b + 4*u. Is 17 a factor of b?
False
Let i(d) = 68*d + 12. Is i(1) a multiple of 14?
False
Let f(j) be the first derivative of -7*j**2/2 - 28*j - 11. Is 9 a factor of f(-7)?
False
Suppose 3*w + 0 = -12, 3*w = -5*y + 18. Let a be (-6)/4*(-148)/y. Suppose -4*o + a + 199 = 0. Is 15 a factor of o?
False
Suppose -x + c = 4*c + 9, -2*c - 6 = 4*x. Let f = 4 + x. Is -4*((-7)/f + 1) a multiple of 3?
True
Let f(t) = t**3 - 9*t**2 - 9*t - 2. Let l be f(10). Suppose -l*a = -a - 133. Is 7 a factor of a?
False
Suppose -6 = 3*a, 0 = -3*g - 2*a + 5. Suppose 3*u = -7*r + g*r + 215, 0 = -5*u + 4*r + 337. Let q = u - 31. Is q a multiple of 15?
False
Does 15 divide 17/(102/(-24)) + 769?
True
Let d be -6*((-34)/(-3) - (-2 + 2)). Let g = 98 + d. Is 5 a factor of g?
True
Suppose 0 = -6*x + 12*x - 30. Suppose 6*s - x*s - 26 = 0. Is 6 a factor of s?
False
Suppose 35*p = 31*p - 48. Does 20 divide 2/(-4) - (-57)/p*-26?
False
Suppose 6*m - 51 - 9 = 0. Is 21/35 - (-214)/m a multiple of 11?
True
Is 25602/136*((-16)/(-3))/2 a multiple of 17?
False
Let h = -226 - -2885. Does 23 divide h?
False
Suppose -2*f = -5*b + f - 404, 152 = -2*b - 2*f. Let v = 139 + b. Is 23 a factor of v?
False
Suppose -6*w = -2*w + 108. Let q = 46 + w. Let d = -12 + q. Does 3 divide d?
False
Suppose 2*i - 3*l - 17 = 0, -2*i - 3*l = 2*i - 61. Suppose v + 0*v = i. Let m = v - -2. Is m a multiple of 4?
False
Suppose -5*c + 0*c = 20. Let w(v) = -4*v**3 - 4*v**2 - 17*v - 18. Let f(a) = 3*a**3 + 3*a**2 + 12*a + 12. Let g(p) = -7*f(p) - 5*w(p). Is 19 a factor of g(c)?
False
Let q(o) = 2*o**3 - 15*o**2 - 17*o + 18 - o**3 - 2*o**3. Let h be -1*(12 - (-5 + 3)). Does 7 divide q(h)?
False
Let a = 6 + -2. Suppose 354 = 3*m - c + a*c, 2*c + 4 = 0. Is m a multiple of 40?
True
Let b = -863 + 866. Is 2 a factor of b?
False
Let h be 6/(-4)*84/18. Let g be (-33)/6*(h - -3). Suppose 0 = -2*z + 14 + g. Is 13 a factor of z?
False
Let r = -446 + 638. Is r a multiple of 25?
False
Let t(h) = -h**2 + 2*h - 3. Let k be t(0). Does 26 divide ((-117)/(-5))/(k/(-10))?
True
Suppose -3*b + 3123 = 351. Is b a multiple of 42?
True
Is 6 a factor of 8/(((-3)/(-6))/((-36)/(-48)))?
True
Is 17 a factor of (1 - -1)*7/((-56)/(-204))?
True
Suppose 570 + 2982 = 6*i. Does 63 divide i?
False
Suppose 3*b - 92 - 124 = 5*l, -2*l - 274 = -4*b. Is 3 a factor of b?
False
Let b = 8 + 3. Suppose -3*h = -3*q + 133 + b, q = -h + 38. Does 29 divide q?
False
Let d be (-20)/8 + (-2)/(-4). Does 11 divide 1/(3/(-132)*d)?
True
Let y(d) = d**3 - 3*d**2 + 15*d - 29. Is y(8) a multiple of 11?
False
Let b(u) = 2*u - 9. Let w be b(5). Is 8 a factor of (w - 37)*(0 + -1)?
False
Let j(q) = -q + 6. Let g be j(2). Suppose -g*k = -169 - 27. Let d = k - 0. Does 10 divide d?
False
Suppose -3*j - 15 = 0, 5*w - 5*j - 920 = -0*w. Is 2 a factor of w?
False
Suppose -299 - 331 = -5*p - 5*k, 488 = 4*p - 4*k. Suppose s + 5*u = 78 - 5, -3*s + p = -4*u. Suppose 2*f = -f + s. Is 16 a factor of f?
True
Let y(v) = 3*v**2 + 10*v - 17. Suppose 3*m - 24 = 3*h, -3*m - 3*h - 1 = -7. Is 27 a factor of y(m)?
True
Does 15 divide ((-135)/2)/(((-57)/54)/19)?
True
Suppose 2*g = -5*b + 1546 - 519, -4*b = 2*g - 822. Suppose d - 645 = -3*h, h = 6*d - 3*d + b. Does 27 divide h?
False
Let v = 281 + -151. Is 19 a factor of v?
False
Let n be 89 - (7 - (-3 - -6)). Let k = 127 - n. Is k a multiple of 7?
True
Let k = -2734 - -7366. Is k a multiple of 24?
True
Suppose -4*w + 24 = -32. Suppose 0 = -f + 68 - w. Is 11 a factor of f?
False
Suppose 4*j + 6 - 18 = 0. Let n be ((-12)/(-10))/(j/(-15)). Does 12 divide 4*8 - (n + 9)?
False
Suppose -2*x + 1834 = -12*y + 11*y, 0 = -3*x - y + 2756. Does 17 divide x?
True
Let g = 10 + 21. Let p(l) = -g - 3*l + 16 + 21 + l. Is p(-6) a multiple of 6?
True
Suppose v + 4*v - 840 = 0. Is v a multiple of 7?
True
Let a(v) = -v - 13. Let m(i) = -3*i - 25. Let y = -14 - -9. Let l(p) = y*a(p) + 2*m(p). Is l(0) a multiple of 15?
True
Let y be ((-192)/15)/((-10)/25). Is 6 a factor of 1574/16 + (-12)/y?
False
Let y = 342 - 32. Does 25 divide y?
False
Suppose -4*n - 1075 = -5*x, 2*x + n - 432 = 3*n. Let s = x + 205. Suppose -16*q + 12*q + s = 0. Is 28 a factor of q?
False
Suppose -12 = 3*v - 7*v. Suppose -5*s = 7*h - v*h - 1064, 3*h - 793 = -5*s. Suppose 3*x - 5*y = h, 2*x = 3*x + 4*y - 79. Is x a multiple of 18?
False
Suppose -59*k = -57*k - 3598. Does 13 divide k?
False
Suppose 3*q + 20985 = 4*s, 15*s - 19*s - 5*q = -20961. Does 38 divide s?
True
Let w(q) = q**2 - 52*q - 43. Does 101 divide w(-32)?
False
Let j = 127 + -131. Let z(k) = -2*k**2 - k - 9. Let h(n) = -4*n**2 - 2*n - 18. Let y(d) = 3*h(d) - 7*z(d). Does 11 divide y(j)?
False
Let y(l) = -99*l**2 - 4*l + 4. Let r be y(-6). Does 14 divide r/(-85) + 2/5?
True
Let r = 811 + -289. Is r a multiple of 24?
False
Suppose 53*o - 116424 = 11*o. Does 18 divide o?
True
Let k be 14/42*(1 - 1). Suppose 0*z - 2*z + 3*x + 102 = k, -5*z + 232 = 4*x. Is 8 a factor of z?
True
Let d = -149 + 146. Is 6 a factor of (-89)/(-1) + d/(-5)*5?
False
Suppose 406 - 238 = 7*m. Is 8 a factor of m?
True
Let y = -730 + 981. Is y a multiple of 3?
False
Suppose -3*j + 109 = -2*l - 53, -2*j - 340 = 4*l. Let w = -27 - l. Does 5 divide w?
False
Let q(t) = -2*t - 3 + 6*t - 2*t. Let s be (-1 + 0)/(4/(-28)). Is 11 a factor of q(s)?
True
Let b = 6 - 5. Let w be b/(-4) + (-27)/(-12). Suppose -4*x = -w*x - 32. Is x a multiple of 8?
True
Let u(v) = -v**3 + 7*v**2 + 2*v - 14. Let w be u(7). Suppose 0 = 4*i - w*i, -5*c = 4*i - 1170. Does 13 divide c?
True
Let z be -3 + 7 + 0 + -213. Let y = z + 