se
Let b(f) = 74*f**2 - 335*f + 84. Is b(15) a multiple of 16?
False
Let d(a) = -a**3 + 13*a**2 + 22*a - 37. Is d(-10) a multiple of 10?
False
Let f = 87 - 91. Let l(y) be the second derivative of -4*y**3/3 - 8*y**2 + 2*y. Is 8 a factor of l(f)?
True
Suppose 0 = 62*s - 61*s - 8. Suppose -4*b = 5*t - 2*b - 38, 0 = 2*t - b - s. Is 2 a factor of t?
True
Let a(u) = u**2 + 3*u - 9. Let d(y) = 3*y - 26. Let m be d(9). Let n be (-3)/(m/(20/(-15))). Is a(n) a multiple of 10?
False
Let x be -1*(-20)/(-8)*-2. Suppose -3*t = -5*d - 4*t + 2767, -2764 = -x*d - 2*t. Suppose 204 = -5*z + d. Is 35 a factor of z?
True
Suppose -y + 3 = -3*j + 5, j = -3*y + 4. Is -21 + 26 - -710*j a multiple of 13?
True
Let a(c) = -c**2 + 4*c + 11. Suppose -5*r + 50 = 5*r. Let n be a(r). Suppose 275 = 5*g + n*g. Is g a multiple of 4?
False
Let m(w) = 5*w + 1. Suppose -2*d = 5*n - 4, 5*d - 9 = -n + 1. Let x be m(d). Let v = 83 - x. Is 9 a factor of v?
True
Let r(v) = 215*v**2 - v - 3. Suppose 2*h = -m - 7, -2*m - 99 = -5*h - 121. Does 11 divide r(m)?
False
Suppose -16*s = -18*s + 68. Let f = 4 - 0. Is 34 a factor of -1 + 3/12*f + s?
True
Suppose 149*g - 1486397 - 2059356 = 0. Is 87 a factor of g?
False
Suppose 5*q - 50 = -g, -4*g + g = 5*q - 60. Suppose -q*w + 845 = -451. Is 8 a factor of w?
True
Let u be 12 + 3 + (-24)/18*3. Suppose -5*a = -u*a + 2706. Is a a multiple of 46?
False
Let d = -1707 - -8350. Is d a multiple of 5?
False
Let f = 8141 + -4487. Is f a multiple of 87?
True
Let b(j) = j**2 - 7*j - 4. Let l be b(7). Let m(k) = -2*k**3 - 4*k**2 + 4*k - 3. Let f be m(l). Suppose -f = -2*h + 3. Is h a multiple of 13?
False
Let y be 1269/(-99) + (-2)/11 + 0. Let p = -22 + 75. Let d = y + p. Is 9 a factor of d?
False
Let d = -262 - -151. Let s = d + 172. Is 6 a factor of s?
False
Let t be (-49)/(-2) + 0 + (-6)/4. Suppose 2*y = -t + 73. Is y a multiple of 5?
True
Suppose 3*u - 309 = 258. Let w(i) = 6*i - 333. Let o be w(33). Let n = u + o. Is 31 a factor of n?
False
Suppose -91*f + 92*f + 2*u - 6022 = 0, 3*f - 18091 = -u. Is 116 a factor of f?
True
Let j(k) = -k - 1. Let w(u) = 9*u + 10. Let f(a) = 24*j(a) + 3*w(a). Let d be f(-2). Suppose 5*l + 685 = 5*m - 110, d = -5*m + 2*l + 795. Does 22 divide m?
False
Suppose 28*r + 7*r + 2421 = 21846. Is 15 a factor of r?
True
Suppose u = 2*v + 2*u - 628, 4*v = u + 1268. Let m = -225 + v. Suppose 4*w - m - 293 = 0. Does 48 divide w?
True
Let u = 90165 + -62697. Does 28 divide u?
True
Let f be ((-1)/3)/(32/47904). Let r = 639 + f. Does 20 divide r?
True
Let l(m) = 49*m + 10. Let t be l(0). Suppose q = -4*q + 4400. Suppose t*f + q = 20*f. Is f a multiple of 17?
False
Suppose 2*v - 3*x - 20824 = 2004, 0 = 2*v - 4*x - 22824. Is v a multiple of 12?
False
Let t = 3 - 20. Let x = 62 + t. Let v = 53 - x. Does 8 divide v?
True
Suppose w + 112 = -155. Let v = -123 - w. Is v a multiple of 12?
True
Suppose -4*g + 2*g = -3*k - 2, 5*g - 10 = 5*k. Suppose -3*z + 0*z + 795 = -5*h, -k*z + 2*h = -534. Suppose z = 6*q + 42. Does 11 divide q?
False
Let a(t) = 4*t**2 - t - 7. Let z be a(-3). Let h = -24 + z. Is (12/h)/((-2 + 1)/(-28)) a multiple of 7?
True
Let f(x) = x**3 + 11*x**2 - 9*x + 41. Let w be f(-12). Suppose -1033 = -w*r + 2*t + t, 2*r = -t + 422. Is 11 a factor of r?
True
Let r(p) = -p**3 - 11*p**2 - 3*p + 25. Let b be r(-9). Let i = b - -110. Suppose 4*h - 8*h + 60 = i. Does 8 divide h?
False
Let t(g) = -2*g + 10. Let x be t(-1). Let v(a) be the first derivative of a**4/4 - 4*a**3 + 4*a**2 - 15*a + 2. Is 9 a factor of v(x)?
True
Let v(y) be the third derivative of y**5/20 + 5*y**4/12 + 3*y**3 - 17*y**2. Let q be v(-13). Suppose q = 3*c - 211. Is c a multiple of 36?
False
Let s = -12 - -43. Let c = s - 83. Let h = c + 66. Is 5 a factor of h?
False
Let r(t) = t + 15. Suppose 0*n - 36 = 3*n. Let a be r(n). Suppose m + 141 = a*c, -m + 195 = 7*c - 3*c. Is c a multiple of 4?
True
Suppose -1 + 9 = 2*f, -3*c = -3*f - 30. Let r be (-12)/(-9) - 1 - (-22)/33. Is 4 a factor of r*c + (-4 - -2)?
True
Suppose -116620 = 55*x - 83*x. Is 12 a factor of x?
False
Suppose 3*z = h - 7585 - 10907, -5*h + 92460 = 4*z. Is h a multiple of 12?
True
Suppose -397017 = -81*y + 310032. Is y a multiple of 43?
True
Suppose -11*j = -7*j + 5*v - 4957, -5*j = -3*v - 6187. Does 24 divide j?
False
Let m(u) = -29*u - 262. Let f = 393 - 410. Does 21 divide m(f)?
True
Let g be (-847)/(-21) - ((-4)/3)/2. Let y = g - 16. Suppose -p + y = j - 8, j = -5*p + 53. Does 8 divide j?
False
Let o = 18 + -9. Suppose -6 = -5*b + o. Is 31 + b + (-1 - 1) a multiple of 16?
True
Let k(t) = -t - 4. Let s be k(-10). Suppose 5*i + 3*j = -s, -5*j + 9 = -6. Is i/(-1)*(-101)/(-3) a multiple of 20?
False
Suppose -x + a - 2 = 0, 2*x + 3*a = -5 + 6. Let u = x - 8. Let q = u + 30. Is 10 a factor of q?
False
Suppose 0 = 8*n - 7*n - 2*n. Suppose n = -43*o - 3740 + 17414. Is o a multiple of 92?
False
Let u(q) = q**3 + q**2 + 22*q - 150. Let t = -480 - -486. Is 78 a factor of u(t)?
True
Let s(a) be the second derivative of 33/20*a**5 + 0*a**4 + 13*a + 0 + 0*a**2 - 1/6*a**3. Is s(1) a multiple of 8?
True
Suppose 36*o = 35*o, 0 = -4*k + 2*o + 4796. Is 13 a factor of k?
False
Suppose 4*h + b - 50 = 114, 0 = 5*b - 20. Does 31 divide 3*(101 - h/5)?
True
Suppose -2*v = v - 54. Let m be (-3 - 6)/(v/(-84)). Let s = 68 - m. Does 11 divide s?
False
Let i be (25 - 37)*((-1)/2)/(-1). Does 50 divide ((-50)/i)/((-45)/(-6210))?
True
Let n(p) be the second derivative of p**4/12 - 5*p**3/3 - 7*p**2/2 - 3*p. Suppose 2*h = -21 + 43. Does 4 divide n(h)?
True
Let q be 15/3 - 6/((-30)/(-1115)). Let o = q + 225. Is o a multiple of 3?
False
Suppose w - 22 = -34. Let m(y) = 2*y**2 - 7*y + 4. Let j be m(-4). Is 16 a factor of (-2 - 7)/(w/j)?
True
Let y(w) be the first derivative of 13 - 3/2*w**2 + 8*w. Is 14 a factor of y(-2)?
True
Suppose -16*a + 32*a = 16224. Suppose 67*n = 69*n - a. Does 34 divide n?
False
Does 206 divide (25/(-2))/((-16)/45920*5)?
False
Let k(c) = 62*c**2 + 46*c - 54. Does 6 divide k(-6)?
True
Suppose -282*a = -280*a - 106. Let t = 17 + 20. Let r = a + t. Does 10 divide r?
True
Let o(s) = 5*s - 65. Let f be o(16). Is 18 a factor of 9/2*6/f*10?
True
Let v be 2 + -3*(-161)/21. Is (3 - -102)*20/v a multiple of 21?
True
Let g(z) = 10*z**3 - 28*z**2 - 3*z - 31. Is g(10) a multiple of 21?
False
Let j be (-9)/12*(-8)/2 - -215. Suppose 3*z = -4*m + 947, -3*z = 7*m - 8*m + j. Does 20 divide m?
False
Let f = -27979 - -43609. Is f a multiple of 17?
False
Let s be (-48)/56 - 3/(63/3). Let g be (486/(-10))/((-24)/20 - s). Suppose 14*x = 93 + g. Does 8 divide x?
True
Let z(s) = 43*s + 33. Let v be z(5). Suppose -5*k + v = -3*k. Suppose q = 5*x - 204, -3*x + 3*q - 2*q = -k. Does 20 divide x?
True
Suppose 2*j + 169 = 2*q - 211, -4*q = -j - 199. Is 51 a factor of (2 - 32)/(22/j)?
True
Let u(d) = d**3 - 10*d**2 + 4*d + 14. Let p be (-14)/6 + 2 - (-120)/9. Suppose p*f = 9*f + 40. Does 18 divide u(f)?
True
Suppose 7*h - 694 = -729. Is 9 a factor of (-1 - -1) + (668 - (h + -2))?
True
Let q(v) = 233*v + 244. Is 17 a factor of q(24)?
False
Is (2 + (-436604)/98)*(1 - 9/2) a multiple of 17?
False
Let n = 1004 - 2821. Let h = 2978 + n. Does 21 divide h?
False
Suppose u + 1777 = -r + 5327, -8*r + 28424 = 4*u. Does 13 divide r?
False
Let j be 4/3*((-723)/(-2))/1. Suppose -3*p + 0*p + 1416 = 3*m, m = 4*p + j. Suppose y - m = -2*y. Does 33 divide y?
False
Suppose 0 = -18*p + 23 + 13. Suppose -p*w = 5*q + 183 - 1056, -5*w = 4*q - 2208. Is w a multiple of 19?
False
Let f = 9 - 0. Suppose 0 = -r + j, -j - 10 = f*r - 12*r. Suppose -2*h - r*n - 25 = -3*h, -1 = n. Is h a multiple of 5?
True
Let h(u) = u**3 - 8*u**2 - 10*u + 20. Let p be h(9). Let o = p + -7. Suppose 2*g = -o, -4*f + 4*g = -2*f - 108. Does 10 divide f?
True
Suppose 0 = -1676*j + 1658*j + 97650. Does 35 divide j?
True
Let c(t) be the second derivative of -53*t**3/6 + 3*t**2 + 26*t. Let q be c(2). Let b = q + 136. Is 6 a factor of b?
True
Let f be (5/((-50)/(-2305)))/((-3)/(-18)). Suppose -2580 = f*o - 1387*o. Is o a multiple of 43?
True
Let a(z) = z**2 + 2*z - 26. Let l be a(-6). Does 2 divide 30/(-60) + (-25)/l?
True
Let o(w) = 2*w**2 + 116*w + 1538. Is 9 a factor of o(-61)?
False
Let a be ((-10)/(-20) + 903/(-4))*-4. Let s = 1982 - a. Is 47 a factor of s?
True
Let a = -7922 - -12481. Is 