 s. Let p(k) = k**2 + k - 2. Let o(f) = 6*p(f) - y(f). Is o(12) a multiple of 24?
True
Let y(s) be the third derivative of s**5/60 + 5*s**4/24 - 3*s**3/2 + 4*s**2. Let j(n) = 3*n + 7. Let d be j(-5). Is 5 a factor of y(d)?
True
Let f = 9767 - -903. Does 110 divide f?
True
Suppose n + 94195 = 4*g + 24127, -5*n = -g + 17536. Is g a multiple of 58?
True
Suppose -61988 = -4*c + 3*q, 176*c - 178*c = q - 31004. Is 62 a factor of c?
True
Suppose -5*o + 95 + 1 = -3*b, b + 5*o = -12. Let c = -60 + 111. Let u = b + c. Is u a multiple of 7?
False
Let h = 479 + -490. Let a(y) = y**3 + 12*y**2 + 7*y - 24. Is 2 a factor of a(h)?
True
Let f(x) = -5*x**3 - 12*x**2 + 8*x + 5. Let g(q) = q**2 - 13*q + 25. Let p be g(10). Does 12 divide f(p)?
False
Suppose -5*a + 3240 = 4*a. Suppose a = -24*f + 21*f. Let c = f + 203. Does 20 divide c?
False
Suppose 11*j - 6*j = 0. Suppose -2*g + 2*h + 766 = 0, j = 4*h - 7*h - 9. Suppose 6*a - 1238 + g = 0. Is 18 a factor of a?
False
Suppose -41*u + 276816 + 118014 = 0. Is 30 a factor of u?
True
Let v(g) = -593*g + 8. Let h be v(-1). Suppose -7*s + 274 = -h. Is s a multiple of 9?
False
Let o(m) = -5*m + 1. Let r be o(20). Is 11 a factor of r/(-6)*(-100)/(-15)?
True
Suppose -33*b + 34 = -32. Suppose 0 = -2*y - 4*u + 1180, -15*u = -13*u - b. Is 14 a factor of y?
True
Suppose -6198 = -3*d - 4*z, -9843 - 522 = -5*d + 5*z. Is 15 a factor of d?
True
Suppose -3*s + 2 = -7. Suppose s*d - 524 = 7*d. Is 18 a factor of (5/15*-3)/(1/d)?
False
Suppose -10*j - 9 - 1 = 0. Is (0/j + 11/(-3))*-93 a multiple of 31?
True
Let s(n) = 3*n**2 - 9*n + 102. Does 4 divide s(-19)?
True
Let w(i) = 11*i**2 - 20*i - 53. Suppose -2*u = 5*v - 4, 0 = -v + 4. Is w(u) a multiple of 45?
False
Is ((-22068)/135*18)/(2 + 23/(-10)) a multiple of 75?
False
Suppose 0 = -242*w + 272848 + 358288. Does 11 divide w?
False
Let v(r) = -r**3 + 10*r**2 - 14*r - 14. Suppose 2*z + 0*z - 106 = 0. Let f = z - 46. Is v(f) a multiple of 5?
True
Suppose -3*z + 4*s = -364, 9*z - 4*z - 4*s - 620 = 0. Suppose -4*w + 17 = j, 3*j - 121 = 4*w - 38. Let h = j + z. Is h a multiple of 17?
True
Let l = 30 - -6. Let y = l - 35. Is 18 a factor of ((-6)/y - 1)*18/(-7)?
True
Let u(a) = a**2 + 4*a + 2. Let o be u(-5). Suppose 4*v - j + 0*j = 15, -3*j + o = v. Suppose v*y - 412 = 4*i, 2*i - 288 = -3*y - 2*i. Does 20 divide y?
True
Let l be (2/(-7) - (-123)/(-84))*-12. Let n = -18 + l. Suppose -4*w - 2*f = -120 - 196, n*f = 5*w - 373. Is 9 a factor of w?
False
Let a = 4367 + -2777. Is a a multiple of 106?
True
Suppose 0 = 33*d - 32*d - 156. Let a = d - 117. Does 13 divide a?
True
Let t = -137 + 258. Let h be ((-2)/(-3))/((-22)/(-165)). Suppose t = -h*u + 541. Is 42 a factor of u?
True
Let m = -16 + 23. Suppose -w = -2*z + 6, 3*w - 42 = -2*z - 28. Suppose z*d - m*d = -57. Is d a multiple of 14?
False
Suppose -33*x + 427375 = 32*x. Is x a multiple of 11?
False
Is (2 + 9)*(-18)/((-306)/20519) a multiple of 11?
True
Suppose 0 = -2*v + 7*t - 3*t - 92, 5*v - 2*t = -222. Let s = v + 43. Does 15 divide ((-15)/9)/(s/18)?
True
Suppose 125328 = -g - 21*g + 368054. Does 58 divide g?
False
Suppose 57699 + 38468 = 20*s + 13287. Is 28 a factor of s?
True
Suppose -24861 + 90965 + 82296 = 16*s. Does 7 divide s?
True
Suppose 38*y - 34*y - 161100 = 0. Let u be y/63 - 4/14. Suppose 5*k = -4*k + u. Does 17 divide k?
False
Let i(x) = 2*x - 34. Let k be i(21). Let g be (8/12)/(k/7284). Suppose -16 = -4*w, -5*r - 2*w - w = -g. Is r a multiple of 17?
True
Let b be 0/(-4*1/(-4)). Suppose -23*d + 9*d + 1260 = b. Let t = d + -78. Is t a multiple of 6?
True
Suppose 0*h = -2*h + 5*n + 5, h = -4*n + 22. Suppose -h*i + 0 = 10. Is (15 - 76)*(i + 0) a multiple of 3?
False
Is 10 a factor of (19/((-513)/(-396)))/(((-4)/(-402))/2)?
False
Let x = -600 + 322. Let z = 673 + x. Is z a multiple of 8?
False
Is 12344/13 + (-138)/(-299) a multiple of 19?
True
Does 39 divide -3 + 13 - 1 - -1629?
True
Let y = 74 + -2. Suppose -a - 2*x + y = -3*a, 2*x = -a - 48. Let u = a - -54. Is u a multiple of 14?
True
Suppose 5*m = y - 32, 5*m = 3*y + 10*m - 76. Is 9 a factor of y?
True
Is 9 a factor of 14817 - ((-258)/(-30) - 8)*5?
True
Let z(k) = k**3 - 34*k**2 - 101*k + 10. Let l be z(37). Let g = l - -49. Is g a multiple of 9?
False
Suppose -2 = j + 4*b, 0 = -j + 2*b + 9 + 7. Suppose 0 = -j*f + 9*f + 63. Is f a multiple of 9?
True
Let k(q) = -q**2 - 1. Let x(h) = 2*h**2 - 11*h + 6. Let y(i) = k(i) + x(i). Let v be y(10). Does 16 divide 17/v + 18/45 - -99?
True
Let g = 76 + -76. Suppose g*d = d - 5*v - 151, 4*v + 320 = 2*d. Is d a multiple of 12?
False
Let q(p) be the third derivative of 101*p**4/8 - 2*p**3 + 29*p**2. Does 10 divide q(1)?
False
Does 22 divide (-3 + (-1938)/14)/(21/(-1862))?
True
Let l be 44/99*(-18)/(-4). Suppose 7 + 10 = 3*n + l*h, 4*n - 41 = h. Suppose 3*d - 4*q = 672, -4*d + q - 1097 = -n*d. Is 46 a factor of d?
False
Let n(h) be the second derivative of -h**5/20 + 2*h**4 - 21*h**3/2 - 3*h**2 - 129*h - 2. Does 14 divide n(5)?
True
Let z(u) be the second derivative of 121*u**7/2520 - u**6/360 + 13*u**4/12 + 3*u. Let m(w) be the third derivative of z(w). Does 17 divide m(1)?
True
Let d(k) = 3*k**2 - 23*k + 73. Let c(a) = 4*a**2 - 22*a + 71. Let z(l) = 6*c(l) - 5*d(l). Is z(4) a multiple of 17?
False
Is 9 a factor of (9/2 - 4)/(4/(1122*24))?
True
Is ((0 + -1)*3)/((207/54672)/(-23)) a multiple of 13?
False
Let n(b) be the second derivative of b**4/12 + 13*b**3/6 + 31*b**2/2 - 7*b. Let i be n(-14). Let k = i + -14. Is 6 a factor of k?
False
Suppose -30*a + 4143 + 113607 = 0. Is 25 a factor of a?
True
Let d = 19 - 15. Suppose -5*b + 3 = -k + 14, d*k - 119 = 5*b. Is 90/k*76/5 a multiple of 19?
True
Suppose -2*n - 4*f - 31 = 5, 0 = 2*n + f + 27. Is (5 - 2)/n*-132 a multiple of 2?
False
Let p(n) = n**2 - 21*n + 15. Let q(y) = -3*y**2 + 64*y - 45. Let o(a) = 7*p(a) + 2*q(a). Is o(20) a multiple of 13?
False
Let c = 688 + 655. Is c a multiple of 17?
True
Suppose -2 + 17 = -4*c + b, 0 = 4*c + 4*b. Let d be c - (-2 + 4 - 3)*7. Is (273/12)/(d/16) a multiple of 13?
True
Let m(x) = -7*x - 29. Let i(h) = -4*h - 14. Let g(n) = -11*i(n) + 6*m(n). Let t be g(10). Does 9 divide 80*(4/8 - t)?
False
Let j(u) = -u**3 - 10*u**2 - 10*u - 7. Let b(r) = 20*r - 93. Let n be b(4). Does 44 divide j(n)?
False
Let o = -19 + 12. Let j be 2/(-4)*(-5 - o)*-1. Is j/(-3) + 3408/18 + 2 a multiple of 50?
False
Let s(z) = -7*z**3 + 10*z**2 + 13*z - 13. Let j(b) = 8*b**3 - 9*b**2 - 12*b + 12. Let c(u) = -6*j(u) - 7*s(u). Is c(18) a multiple of 32?
False
Let s(h) be the third derivative of -1/3*h**4 - 13*h**2 + 0*h + 0 + 2*h**3. Does 7 divide s(-4)?
False
Suppose -4*t + 5 = -7*t + 5*v, 5*t - 2*v = 17. Suppose 3*j - t*y = 802, 0 = -j + y - 0*y + 266. Is 9 a factor of j?
False
Suppose -5911 - 4970 = -5*b - 96. Is 29 a factor of b?
False
Suppose 28*l = 30 - 114. Is 6/36*l - 2484/(-8) a multiple of 31?
True
Let y = 17491 - 11852. Is 5 a factor of y?
False
Let q = -273 - -278. Is -24*10/25*q*-3 a multiple of 5?
False
Suppose -5*p = -4*b - 2895, -2*b - 580 = -p - b. Suppose 2*d + 43 = p. Is 38 a factor of d?
True
Let h(k) = -k**3 + 17*k**2 + 730*k - 32. Does 10 divide h(33)?
False
Let y = 3890 + -2700. Is y a multiple of 119?
True
Is (746 - -4) + 8 + (-4 - -4) a multiple of 2?
True
Suppose -61*u + 1384524 + 1912953 = 0. Is 111 a factor of u?
True
Let s be 12727/117 + 4/18. Let y = s + -110. Let x(v) = 144*v**2. Does 18 divide x(y)?
True
Let t(a) = -a**3 - 8*a**2 + 18*a + 12. Let o be t(-10). Suppose 2*d + 5*y + 38 - 15 = 0, -5*d = 4*y + o. Let s(b) = 12*b**2 - b - 16. Is s(d) a multiple of 18?
True
Let y = -2761 + 2844. Suppose -5*p + 482 = -3*w, 7*p = 3*p + 3*w + 385. Suppose 0 = -n + y + p. Is n a multiple of 12?
True
Let m(i) = 24*i**2 - 237*i - 927. Does 81 divide m(-4)?
True
Let h(v) = -658*v - 1301. Is 9 a factor of h(-5)?
True
Let o = -20 - -23. Let w(p) = -p**2 + 4*p. Let i be w(o). Suppose 0 = -4*d - 3*q + 111, i*d = 5*q - 10*q + 97. Does 12 divide d?
True
Suppose 0 = 3*j - 5*w - 22, 3*j + 2*w = 5*j - 12. Is (j/(-4))/1 + 239 a multiple of 14?
True
Let o be 1506/4 + (-6)/(-4). Suppose -49 + o = r + 4*g, -5*g - 987 = -3*r. Is r a multiple of 47?
True
Let h(m) = -20*m + 26. Let a be h(-5). Suppose -83*n = -81*n - a. Is n a multiple of 63?
True
Suppose 3*b + 6 = 6*b + 2*c, 4*c