-59. Let m = b + 159. Suppose -m = -5*k - 7. Is k a multiple of 6?
False
Let c = 125 - 218. Let w = c - -221. Does 16 divide w?
True
Let j = -13 - -31. Suppose 4*m + 3*o - 21 = 0, 5*o + j = 2*m - 25. Does 3 divide m?
True
Let k = -35 + 51. Suppose 2*i + k = -2*i. Is (-3)/12 - 49/i a multiple of 12?
True
Let f(x) = -2*x**3 + 5*x + 5. Let y be f(-2). Let k(h) = 9*h - 33. Is k(y) a multiple of 15?
False
Let s(c) = -2*c**2 - 6*c + 2. Let w(x) = -4*x**2 - 12*x + 5. Let y(p) = 7*s(p) - 4*w(p). Let l be y(-5). Does 13 divide l - (2 - 2/2)?
True
Suppose 44*b - 40*b - 6081 = j, b - j = 1521. Does 76 divide b?
True
Suppose 0 = -l - 4*h + 552, 35*h - 15 = 32*h. Is 12 a factor of l?
False
Let i(x) = -5*x + 18. Let v be i(3). Suppose u = 4*r - 499, v*r + u + u = 388. Is 14 a factor of r?
True
Is 7 a factor of (-5733)/(-78)*(-2 - (-10)/3)?
True
Let v be ((-6)/4)/(14/(-28)). Suppose -5*b = 2*n - 507, 0*n - 2*b + 744 = v*n. Does 41 divide n?
True
Suppose 2*l + 5*j = 553, j - 281 = -2*l + 252. Does 22 divide l?
True
Suppose -2*m = -4*x - 0*x + 20, 3*m = 5*x - 26. Let s(l) = x*l**2 - 24*l**2 - 9*l + 13*l**2 + 8*l**2 + 10. Is 8 a factor of s(9)?
False
Let r = 57 + -48. Does 5 divide (5 - (-68)/(-12)) + 681/r?
True
Let o(g) = g**2 - 27*g - 56. Let m be o(29). Suppose -m*y = 3*c - 158, 4*c - 5*c + 76 = -4*y. Is c a multiple of 8?
True
Let d(w) = -w**3 - 5*w**2 - 6*w + 3. Suppose 0 = -a + 2*v + 7, 2 + 1 = 4*a - 3*v. Let g be d(a). Suppose 40 = g*f + f. Does 5 divide f?
True
Suppose u - 1910 = -5*h + 1018, 2*u = -4. Does 34 divide h?
False
Suppose -20 = -5*k, o + 0*k = 3*k - 12. Suppose -2*v + g + 1 = o, 17 = v + 2*g + 4. Is 18 a factor of (v + 1)*(-25)/(-4)?
False
Suppose -17*s + 14*s + 2*b + 286 = 0, -388 = -4*s - 4*b. Does 12 divide s?
True
Let m(k) = -140*k + 3. Let g = -156 - -154. Is m(g) a multiple of 49?
False
Suppose -57 = 3*i - 24. Does 6 divide 1 - i - (-2 - -3) - -1?
True
Let t = -23 - -25. Suppose 80 = 5*w - t*s - 105, 10 = 2*s. Does 5 divide w?
False
Let t(w) = 5 - 4 - 6*w - 3 + 0 + w**2. Let f be t(7). Suppose f*d - 305 - 15 = 0. Does 11 divide d?
False
Let a(q) = q**3 - 5*q**2 + 4*q + 1. Let j be a(2). Is 13 a factor of 468/(-24)*14/j?
True
Let m(v) = v**3 - 7*v**2 + 7*v - 3. Is 11 a factor of m(10)?
False
Suppose 0*d - 15 = -3*d. Suppose 0 = -d*v + 2*n - 219, -3*v - 5*n = -0*n + 150. Let l = v - -87. Does 21 divide l?
True
Suppose i = 5*l + 259, 2*i + 3*l - 208 - 245 = 0. Is i a multiple of 17?
False
Let y be (-2)/15 - (-37471)/795. Let g = 42 + -22. Suppose -d + g + y = 0. Is 15 a factor of d?
False
Is 24 a factor of -432*(34/255)/((-2)/20)?
True
Let u(g) = g**3 - 2*g**2 - 2*g + 3. Suppose 13 = 2*h - 2*c + c, 5*h - 15 = -c. Is 9 a factor of u(h)?
True
Suppose 4*x + q + 4*q - 6 = 0, 0 = 4*x + 4*q - 8. Suppose m + 4*p - 117 = 0, 4*m = -x*p - 200 + 668. Is 13 a factor of m?
True
Let i(d) = -d + 4. Let x(v) = -5. Let l(p) = 3*i(p) + 2*x(p). Let j be l(-4). Suppose -104 = -j*q + 10*q. Is 10 a factor of q?
False
Let f(n) be the third derivative of n**5/60 + 7*n**4/12 - 3*n**3/2 - 4*n**2. Suppose -3*j - 62 = -17. Does 3 divide f(j)?
True
Suppose -45*w = -47*w + 4. Suppose 0 = 2*a - 3*n - 47, 5*a - 95 + 5 = w*n. Is 2 a factor of a?
True
Suppose -6760 = 3*a - 5*a. Does 13 divide a?
True
Suppose -3 = m - 9. Suppose 0 = m*d - 49 - 95. Does 6 divide d?
True
Suppose -3*g = 4*r + 10, -g = -4*r + 5*r + 2. Let y = 69 - g. Suppose q + 16 - y = 0. Is 17 a factor of q?
True
Suppose -3*r - 3 = -3*m, r + 4*m - m = -13. Is 0 + -684*r*2/12 a multiple of 27?
False
Suppose 1 = -f + 4. Let y(v) = -v**3 + 2*v**2. Let x be y(2). Suppose -4*u - 33 = -5*w, -f = -w + 2*u - x. Is 3 a factor of w?
True
Suppose -3*y = 144 - 450. Does 17 divide y?
True
Let q = 227 - 158. Is 6 a factor of q?
False
Let l = 29 - -46. Let y = l + -68. Is y a multiple of 3?
False
Suppose 0 = 2*t + u - 1799, -11*t - 3*u = -9*t - 1789. Is 11 a factor of t?
True
Let w(q) = 27*q - 372. Is 9 a factor of w(34)?
False
Let j = 420 - 348. Is 12 a factor of j?
True
Let p be (-187)/(-55) - (-4)/(-10). Suppose 20 = -v + 4*g, 5*v = p*g - 4*g + 5. Suppose l = -3*l - 2*z + 56, v = 2*l - 4*z - 38. Does 4 divide l?
False
Suppose 0 = 6*a + 18 + 18. Let r = a + 10. Suppose -n - r = -0*n, 2*q - 2*n = 40. Is q a multiple of 16?
True
Suppose -4*i = -0*i + 2*m + 2, -5*i + 1 = -m. Let s be 42 + 0*(-5)/(-20). Suppose i*a - s = -a. Does 14 divide a?
True
Suppose -17*w = -1363 - 524. Is 6 a factor of w?
False
Let q = 895 - -230. Does 25 divide q?
True
Let m(i) = -i**2 - 7*i - 13. Let w(b) = 4*b**2 + 27*b + 52. Let f(k) = -9*m(k) - 2*w(k). Suppose 31 = -4*o - 5*l, -2*o - l = -4*o - 19. Is 13 a factor of f(o)?
True
Suppose 876 = 7*x - 125. Let f = 61 + x. Is 34 a factor of f?
True
Suppose b - 33 = -2*v, 5*b - 48 - 131 = -3*v. Let d = b - -33. Is 28 a factor of d?
False
Let a be 20/(-3)*(-12)/(-8). Is 425/(-34)*24/a a multiple of 10?
True
Suppose -3*m = n - 6 + 1, 0 = -5*m + 2*n + 23. Suppose -2*o + 17 = -m*o. Is 2/((-4)/(o + -3)) a multiple of 10?
True
Let a(x) = 5*x + 8. Let m be (40/(-60))/(4/(-30)). Is 11 a factor of a(m)?
True
Let j(k) = k**3 - 15*k**2 - k + 5. Let r be j(15). Is 16 a factor of 7/(-35) + (-322)/r?
True
Let p(r) = -253*r + 143. Is p(-3) a multiple of 13?
False
Is ((-15246)/6)/(-11) - 0 a multiple of 109?
False
Suppose t - 3*t = -4732. Is (-2)/7 - t/(-49) a multiple of 16?
True
Let p(y) = y**3 + 5*y**2 + 2*y + 6. Let t be p(-4). Suppose -23 = o + t. Let h = 108 + o. Is h a multiple of 14?
False
Let y(p) = p**2 + p + 8. Let r be y(8). Suppose 404 = 9*t + r. Does 12 divide t?
True
Suppose -s = -19 + 4. Suppose -s*x = -20*x + 115. Is x a multiple of 4?
False
Let v(u) = u**2 - 16*u + 18. Let y be v(15). Suppose 4*m - 73 = -5*h, -h + 0*h + 8 = y*m. Does 4 divide h?
False
Let n(f) = -f**3 + 5*f**2 - 2*f - 6. Let p be n(-5). Suppose 2*v = -v + 3*t + 375, 2*v - 3*t = p. Is 11 a factor of v?
True
Let n(d) = -404*d**3 + 2*d**2 - 2*d + 1. Let u be n(1). Let c = -227 - u. Is c a multiple of 13?
False
Let v(q) = -4*q**3 + 40*q**2 + 0 + 3*q**3 + 3 - 26*q**2 + 3*q. Does 10 divide v(14)?
False
Let r(t) = -3*t**3 + t - 4. Suppose 0*c + 3*s - 22 = -5*c, c + 6 = 2*s. Let o be r(c). Let w = 60 + o. Is 23 a factor of w?
False
Let a = 4 + 22. Let k be a/(((-14)/(-4))/7). Let t = k - 13. Is 11 a factor of t?
False
Suppose 0 = -2*y - 0*y + 180. Let x = y - 21. Is x a multiple of 14?
False
Suppose -5*x = -4*x + 5*a - 622, 4*x - 2488 = 4*a. Does 16 divide x?
False
Let i(v) = 13*v**3 - 7*v**2 - 15*v - 10. Is 21 a factor of i(5)?
True
Suppose 0 = -2*d - 84 - 50. Let i = d - -24. Let q = -24 - i. Is q a multiple of 19?
True
Suppose u = v + 149 + 126, -4*u + 1130 = 2*v. Is 10 a factor of u?
True
Suppose -4*o + 50 = 3*i - 4*i, 4*o - 40 = -4*i. Let g(d) = 11*d - 37. Does 17 divide g(o)?
False
Let j = -24 + 16. Let g = 75 - j. Is 12 a factor of g?
False
Let g = 70 + -65. Suppose -2*u + 185 = -g*y, 3*u + 2*y - 63 - 167 = 0. Does 16 divide u?
True
Let u = -28 + 25. Does 27 divide u + 276/3 + -1?
False
Let g be (-2)/10 - (-9)/45. Suppose -a + 4 = a, g = -y + 5*a + 2. Does 12 divide y?
True
Let t(z) = 3*z + 11*z**2 + 6 - 4 - z**3 - 1 + 10. Is 40 a factor of t(9)?
True
Suppose 0*b + 4 = 2*b. Suppose b*z = 4*s - 38, -3*z + z - 10 = 0. Suppose -s*u = a - 2*u - 31, 0 = -5*u - 5. Is a a multiple of 9?
True
Let w(z) = -7*z**2 + 4*z + 1. Let o(c) = -8*c**2 + 5*c. Let u(b) = 6*o(b) - 7*w(b). Does 28 divide u(5)?
True
Suppose t + 2*h = 175, -2*t - 3*h = 3*t - 882. Is t a multiple of 3?
True
Suppose -5467 = -21*m + 2114. Is 10 a factor of m?
False
Does 8 divide (24/16*-25)/(2/(-12))?
False
Suppose -3*x - k + 5657 = k, -16 = -4*k. Does 7 divide x?
True
Let t = -9 - -13. Suppose -2*s + 84 + 20 = t*x, 5*s = -x + 251. Does 19 divide s?
False
Let h be 24/14 + (-20)/(-70). Suppose 0 = 3*s + 2*m + 10, 2*m - 6 = h. Is 18 a factor of 1228/18 + s/27?
False
Let y(i) = -5 + 4*i - i - 4*i. Let f be ((-1 - 6) + -2)/1. Does 4 divide y(f)?
True
Suppose -6671 = -3*v - 2381. Is 22 a factor of v?
True
Let y be 2/(-6) + (-458)/(-6). Suppose -5*a - 5*x + 10 = 0, 2*a + 14 - 18 = -4*x. Suppose y + 24 = a*p. Does 25 divide p?
True
Suppose -m = -3*z + 2*m, 0 = -3*z - m + 8. Does 20 divide 70 - (14/z - 3)?
False
Let n(d) = 2*d**3 - 35*d**2 + 26*d + 18. Is n(18) a multiple of 9?
Tr