Let m = 18 - s. Suppose -3*b + m*f = 2*b - 44, -3*f + 36 = 2*b. Does 6 divide b?
True
Suppose -1917 = -4*k - 5*b, 7*k - 3*k - 1877 = 3*b. Is 24 a factor of k?
False
Let u = -16 - -20. Let w be -1*-14*u/8. Let l = 10 - w. Is l a multiple of 2?
False
Suppose g - 5 = -6*k + 4*k, -2 = -2*k + 2*g. Let x = k - -34. Is x a multiple of 9?
True
Let w be -13 - 9/((-9)/3). Let h(k) = k**3 + 14*k**2 + 24*k + 12. Is h(w) a multiple of 8?
False
Let m(p) = p**3 + 7*p**2 - 4*p - 4. Let b be m(-6). Suppose -2*n + b = 2*n. Does 7 divide n/((-5)/(60/(-8)))?
True
Let i(d) be the second derivative of -3*d**3 - 16*d**2 - 12*d. Does 13 divide i(-8)?
False
Let c = -74 - -129. Suppose 3*q - c = q + a, 2*q - 64 = 4*a. Is 25 a factor of q?
False
Let b be 1 + 2/(-6) - (-960)/45. Let r be (-1)/(2/4) + 6. Suppose 2*h = r*h - b. Is 4 a factor of h?
False
Let w(p) = p - 2. Let v be w(3). Let o(s) = 24*s**2 - s. Is o(v) a multiple of 23?
True
Let u(c) = -c**2 - 31*c - 53. Let a be u(-25). Let v = 25 + a. Is 24 a factor of v?
False
Let b(g) = -2*g + 218. Does 51 divide b(-45)?
False
Suppose -110 = -6*h - 2. Is 18 a factor of h?
True
Suppose 22 = 3*i - 392. Suppose -2*f = -5*m - f - i, -69 = 3*m + 4*f. Does 7 divide (m - 3)*4/(-6)?
False
Let b(l) = 5*l**3 + 2*l**2 - 4. Let r be b(-2). Is 18 a factor of 20 + ((-2)/6)/((-6)/r)?
True
Let f(b) = 2*b**3 - 97*b**2 + 62*b + 65. Does 67 divide f(48)?
True
Let s = -29 - -37. Suppose 3*q - s*q = -400. Is q a multiple of 20?
True
Let u(r) = r**3 + 16*r**2 + 9*r - 1. Is 9 a factor of u(-8)?
False
Suppose -4*t + 2*c = -3370, 3*c + c + 1700 = 2*t. Is t a multiple of 42?
True
Suppose -8*x + 5827 = 723. Is x a multiple of 16?
False
Does 70 divide (72/(-8))/(-2 - (-185)/95)?
False
Let o(f) = 3*f**2 - 33*f - 24. Does 76 divide o(-13)?
True
Suppose p + 5*t = -0*p + 152, -t = p - 144. Suppose 5*r - p = -27. Suppose 0 = -5*u + 52 + r. Does 5 divide u?
True
Let t(m) = 4*m**2 + 48*m + 57. Does 11 divide t(-14)?
False
Suppose 273 = q - 88*c + 93*c, 5*c = 15. Does 43 divide q?
True
Let y(s) = s**3 + 18*s**2 - 30*s - 37. Is y(-19) a multiple of 12?
False
Let u = -49 + 56. Suppose -8*y + 26 = -u*y. Is y a multiple of 13?
True
Suppose -b + 4 = 41. Let h = 113 + b. Is 9 a factor of h?
False
Let m(l) = -1. Let c(z) = z**3 + 2*z**2 - 1. Let x be c(-2). Let r(i) = 4*i - 2. Let s(n) = x*r(n) + 2*m(n). Is 24 a factor of s(-6)?
True
Suppose 6*u - 2241 = 495. Suppose 0 = -4*z - 0*z + d + 608, 2*d - u = -3*z. Is z a multiple of 8?
True
Let o be 1/(-5) - 62/(-10). Let t(z) = -2*z - 6. Let j(m) = -3*m - 7. Let r(v) = o*t(v) - 5*j(v). Is r(5) a multiple of 7?
True
Suppose 3*n - 8*n = 25. Suppose 3*d - 72 = -4*o, -d - 5*o = -0*d - 35. Is (-272)/n + (-8)/d a multiple of 15?
False
Suppose -25*y + 1686 = -6939. Is y a multiple of 44?
False
Let a = 1834 + -1284. Is a a multiple of 23?
False
Suppose -z - 16 = -3*j, 0*z - z + j - 10 = 0. Let c = z - 1. Does 7 divide (-195)/(-9) - c/(-12)?
True
Let i be 10/2 + -3 + 5. Is -3 - -38*i/2 a multiple of 26?
True
Let o = 51 - 48. Suppose -35 = -o*p + 406. Is 21 a factor of p?
True
Let a = 614 + 729. Suppose 10*h = -7*h + a. Does 30 divide h?
False
Let r(j) = -j**3 + 10*j**2 - 5*j - 1. Suppose -w + 5*v - 40 = 0, 0 = -5*w - v + 2*v - 104. Let b be (-166)/(-18) - w/(-90). Is r(b) a multiple of 23?
False
Suppose 6*i = 4*i + 2. Let s be (-2*i)/(28/(-42)). Suppose -s*v + 118 = -38. Is 26 a factor of v?
True
Let t be 1/(-2) - 435/10. Let f = t - -65. Does 21 divide f?
True
Let t = 1595 - 1183. Is 16 a factor of t?
False
Let p(q) = -4*q - 1. Let y = -10 + 9. Let s be p(y). Suppose -48 = -s*w + w. Does 12 divide w?
True
Suppose -3214 - 6544 = -7*n. Is 41 a factor of n?
True
Let x(f) = f**3 - 10*f**2 + 12*f + 6. Let q be x(9). Let z = 75 + q. Suppose 2*t - z = -0*t. Is 18 a factor of t?
True
Let a be -1 - (51/(-1))/3. Suppose 3*u = 35 + a. Does 17 divide u?
True
Let a = 66 + 44. Suppose 27*l - a = 22*l. Is l a multiple of 4?
False
Suppose -2*b = -4*b + 4*i + 604, 5*i = 2*b - 605. Suppose 5*o = b - 95. Does 7 divide o?
False
Suppose -4*z - 4*x + 68 = -0*x, x = z - 19. Is z a multiple of 8?
False
Suppose -26*u + 779 = -21*u + 4*t, 3*t = 5*u - 807. Is 157 a factor of u?
False
Suppose -z - 1 + 5 = 0. Suppose -5*b - 57 = -z*b. Let h = 106 + b. Does 25 divide h?
False
Let z(p) = -6 + 5 + 6*p**2 - 2 + p**3. Let f be z(-5). Let y = -17 + f. Does 2 divide y?
False
Let i(h) = -h - 3. Let d be i(-5). Let p(x) = -5*x - 10*x + 1 + x - d. Does 27 divide p(-8)?
False
Let q(z) = z**2 - 5*z + 9. Let v be q(6). Let i be 3/v - 24/(-5). Suppose -h = i*m - 34, 3*h - 4*m = 41 + 61. Is 10 a factor of h?
False
Let q(w) = -30*w + 33. Let t(y) = 15*y - 16. Let k(u) = 4*q(u) + 9*t(u). Is 3 a factor of k(3)?
True
Let h(p) = -5*p**2 + 5*p - 17. Let n(k) = k**2 + 1. Let v(l) = -h(l) - 6*n(l). Let m = 15 + -20. Does 5 divide v(m)?
False
Let v = -95 - -81. Does 15 divide (((-18)/5)/(-3))/(v/(-525))?
True
Suppose -2 = 3*q - 347. Is 13 a factor of (-2)/(-4)*(q - 5)?
False
Let p = -2044 - -6586. Is 123 a factor of p?
False
Let j(x) = -x**3 - 11*x**2 - 15*x - 21. Suppose -4*g - 10 = 34. Does 16 divide j(g)?
True
Let r = -20 - -18. Let t be (1205/20)/(r/8). Does 12 divide t/(-5) - 4/20?
True
Let j = 628 + -103. Is j a multiple of 3?
True
Suppose 15*k + 987 - 5547 = 0. Is k a multiple of 19?
True
Let p = -3 + 927. Is 33 a factor of p?
True
Suppose 2*z = z - 4*y + 10, 0 = -5*z + 5*y. Suppose -z*a - 2 = -u - 7, 2*a - 3*u = 15. Suppose 5*h = -2*r - 27 + 79, -3*h - 5*r + 35 = a. Does 10 divide h?
True
Suppose 0 = -2*i + 4 + 42. Let d = 15 - i. Is 1/(-4) - 594/d a multiple of 27?
False
Let w(s) = 6*s - 7. Suppose -k = 2*k - 6. Let m be w(k). Suppose m*r - 23 - 157 = 0. Does 9 divide r?
True
Let q(d) = d**3 + 24*d**2 - 32*d - 40. Is 9 a factor of q(-25)?
True
Suppose -5*d + 3 = 28, 2*d = h - 9. Is 8 a factor of (h - (-426)/4) + 87/(-58)?
True
Suppose 3*i - i + 154 = 0. Let l = i + 47. Let f = -13 - l. Is 8 a factor of f?
False
Let w be -129*-2*(-1)/6. Let i be 3/((-3)/w) - 2. Suppose 8 - i = -3*l. Does 11 divide l?
True
Let o = -33 - -39. Suppose -3*r + o = -3. Suppose -5*w + u = -261, 3*u = r*w + u - 158. Does 6 divide w?
False
Let r be ((-18)/(-12))/((-3)/8) + 2. Is 11 a factor of (-2898)/(-33) + r/(-11)?
True
Let u(n) = 3*n**3 + 33*n**2 + 5*n - 5. Does 20 divide u(-5)?
True
Suppose -4*p + 110 = p. Let d be (-6)/9 + p/6. Is 10 a factor of (-10)/d*15/(-5)?
True
Suppose 4*k = 5*x - 679, 2*k + 670 = 5*x + 7*k. Does 37 divide x?
False
Let z = -1440 + 3392. Is z a multiple of 27?
False
Let x be (-2)/6 - 209/(-33). Suppose -x = -0*a - 3*a. Is 1/(-1) + a - -26 a multiple of 6?
False
Let a = 225 - 91. Suppose -a = -2*y + 2*z, 0 = -2*y - 0*z + 4*z + 124. Is 6 a factor of y?
True
Is 41 a factor of (-369)/(-984) + (15741/8 - 0)?
True
Suppose -2*j - 3 = -5*w - 4, w = 5. Let i = j - 10. Let k(h) = -h**2 + 5*h - 2. Is 4 a factor of k(i)?
True
Let d(i) = -14*i**2 - 5*i**3 - 5*i**3 + 11*i**3 - 3*i - 47. Does 19 divide d(15)?
True
Let v(o) = o + 8 + 1 + 0 - 2 - 6*o. Suppose 2*t - 10 = 4*t. Is 8 a factor of v(t)?
True
Let w be -2 + (-4)/6*-3. Let c = -57 - -120. Suppose w*m + 3*m = c. Is 5 a factor of m?
False
Suppose 4*w + 49 = 4*n + 17, 4*n - w = 20. Suppose -x = n*x - 350. Is x a multiple of 10?
True
Let k be 141*(-2)/6*2. Let d = k - -106. Is d even?
True
Let l = 20 - 15. Suppose 16 - 306 = -l*v. Does 31 divide v?
False
Is 31 a factor of (2474 - (0 + 1)) + (62 - 66)?
False
Let g be -2 + (5 - 2) - 1. Suppose -3*u + 4*a - 14 = g, u - 5*a + 23 + 0 = 0. Does 6 divide ((-3)/u)/(6/(-56))?
False
Let w(d) = 9*d + 2*d - 7 - 4*d. Does 18 divide w(4)?
False
Let m be -4 - -5 - (-1 + -2). Suppose -5*f = -2*f - 3*w - 12, 21 = m*f - 3*w. Let n = f + 5. Is 7 a factor of n?
True
Is 8 a factor of (3 - -5)/(14/112)?
True
Suppose -872 = -4*n - 4*i, 4*n - 3*i - 890 = -i. Is n a multiple of 17?
True
Suppose -i = 2*v - 422, 4*v - 4*i = 6*v - 428. Is 21 a factor of v?
True
Suppose 3*w - 2*m + 0*m - 8 = 0, -m = 2*w - 10. Suppose w*p - 703 = 137. Suppose 2 = -4*v + p. Is v a multiple of 14?
False
Suppose -3*k + 5*y + 2563 = 0, 3*k + 5*y = -145 + 2658. Is k a multiple of 9?
True
Let n(x) = 16*x - 4*x + 17 + 9 - 11. Let o be n(-7). Let l = o + 105. Is 9 a factor of l?
True
Let t = 2806 - 2467. Is 10 a factor of t?
Fals