se
Suppose 0 = 3*h + 9, y = -h + 4*h + 158. Suppose -c + y = 4*m, m - c = -3*c + 32. Suppose n + s - m = -s, -2*n + 72 = 5*s. Is 23 a factor of n?
True
Let n(o) be the second derivative of 6*o - 5*o**2 - 1/2*o**3 + 0 + 7/12*o**4. Does 22 divide n(4)?
False
Let w(n) = 24*n**3 + 3*n**2 + 5*n + 24. Let p be w(-3). Does 23 divide (10 + p)/((-6)/3)?
False
Suppose 0 = r - 5, 2*v - 5*v + r + 7 = 0. Suppose -2*s = 8, -4*s + 782 = v*d - 534. Is 37 a factor of d?
True
Let u(y) = 5*y**2 - 14*y + 37. Let n be u(6). Suppose -3*j + 8*k + n = 9*k, -5*j - 4*k + 217 = 0. Is j a multiple of 7?
False
Suppose -5*y = 3*v - 10426, 74*v - 75*v + 3498 = -4*y. Does 35 divide v?
False
Suppose -3*c - 4*s = -3363 - 12329, -c = -2*s - 5224. Is c even?
True
Let b be (-708)/(-30)*(14/(-2) + 2). Let a = b - -169. Does 51 divide a?
True
Let k be (104/(-48))/(-13)*6. Is k/((-4 - 2)/(-24)) - -599 a multiple of 93?
False
Suppose 3*x - 120 = -9*x. Suppose 3*d - 15 = -y, -2*d + x = 2*y - 3*y. Suppose 0 = 4*k - 316 - y. Does 9 divide k?
False
Suppose c + 36 = -29. Let q = -61 - c. Suppose f - 2*h = -f + 6, 8 = 2*f - q*h. Does 2 divide f?
True
Let x(q) = 2*q**3 - 5*q**2 + 4*q - 9. Suppose -3*o - 24 = -2*l, -3*l - l + 36 = -3*o. Suppose 9 = -l*w + 33. Does 8 divide x(w)?
False
Let b = 279 + 102. Suppose 0 = p + p - 338. Suppose 2*t = p + b. Does 32 divide t?
False
Suppose -l - 6496 = -9*l. Let h = l - 292. Does 40 divide h?
True
Let r(c) = 25*c**2 + 338*c - 23. Is r(5) a multiple of 20?
False
Let w = 220320 + -146470. Is w a multiple of 12?
False
Is ((-7)/84 - 50559/(-36)) + (-4)/(-6) a multiple of 70?
False
Suppose 52*s - 64*s + 60 = 0. Let w = s - -80. Does 5 divide w?
True
Let n(j) = -j**3 + 27*j**2 + 58*j + 16. Let b be n(28). Suppose -b = -8*f - 152. Does 11 divide f?
True
Let f be 9/(-6)*(6/(-9))/(-1). Let x be -21 - f - 8/12*-3. Is 58 a factor of (-2 + 385)*3/x*-6?
False
Let i = -14867 + 21521. Is i a multiple of 17?
False
Let s(p) = -p**2 - 14*p - 27. Let x be s(-11). Suppose 11*t = x*t - 10. Let z(n) = -64*n + 6. Is 14 a factor of z(t)?
False
Let t(o) = 2*o + 3. Let d be t(-3). Let u(j) be the second derivative of -3*j**3 - 9*j**2/2 - 64*j. Does 15 divide u(d)?
True
Suppose -2*c + 4*y = 20, 5*y - 9*y = 3*c - 20. Let a be -143 + 7 - (c + 0). Let g = -67 - a. Is g a multiple of 8?
False
Suppose -7*q - 62 = -6*q. Let y = 74 - q. Does 17 divide y?
True
Let m be (3 - -1) + -5 + (3 - 0). Suppose 3*l - 5*b = 286 + 603, m*l = 5*b + 601. Does 23 divide l?
False
Let v = 767 + -771. Let a(s) = -16*s**3 + 4*s**2 - 2*s - 4. Is 28 a factor of a(v)?
True
Suppose 5*p = 3*y + 9, 66*p - y - 4 = 64*p. Suppose 4*b - 4*a = 596, 4*b - p*a + 164 - 763 = 0. Is 19 a factor of b?
True
Suppose 2*t - 6*t = 5*u - 11871, t - 2974 = 5*u. Is 41 a factor of t?
False
Let p(x) = -x**3 + 35*x**2 + 69*x + 44. Suppose 18*i + 2*j = 15*i + 106, 2*i = -4*j + 68. Is p(i) a multiple of 22?
True
Let d = -3035 - -2990. Let j = 6 + 5. Let c = j - d. Is 6 a factor of c?
False
Let n(d) = 5*d**2 + 24*d + 211. Let s be n(-25). Suppose -s = 6*k - 25*k. Does 24 divide k?
True
Let g(o) = -44*o - 14. Let j = -620 - -316. Let a be 0 - 2/(-16) - (-1254)/j. Is 25 a factor of g(a)?
False
Let y(m) = 13496*m + 6704. Does 32 divide y(2)?
True
Let w(x) = 7187*x + 6625. Does 10 divide w(4)?
False
Let r(i) = -77*i - 1. Let c be r(-1). Suppose 2*n = 3*t + c, -3*n - 5*t + 7 = -107. Suppose 36*o + 480 = n*o. Is o a multiple of 46?
False
Suppose -8*z = -k - 538085, -57220 + 191725 = 2*z + 3*k. Does 15 divide z?
True
Suppose 3*b + 0*d = 4*d + 1878, 1899 = 3*b + 3*d. Does 7 divide b?
True
Is ((-319)/22)/(10/(-120)) a multiple of 7?
False
Let x(k) = -k - 9. Let o be x(-11). Suppose o*l - 11 = -1. Suppose 1657 = l*q + 337. Is 33 a factor of q?
True
Let t(q) = -33*q + 1165. Does 89 divide t(-24)?
False
Let x be (12/10)/(51/1105). Suppose 8*y - 6 - x = 0. Suppose y*k + 70 = 9*k. Is k a multiple of 4?
False
Is 0 - -1271 - (67/(-23) + (-66)/759) a multiple of 98?
True
Suppose o = -4*l + 19268, -5*o - 35186 = -l - 131568. Is 124 a factor of o?
False
Suppose f + 3*m = 18 - 32, -3*f - 2 = m. Does 4 divide -910*(-2)/12 - f/(-3)?
True
Let u(m) = -2*m**2 - 3*m + 380. Let a be u(13). Let x be ((-28)/6)/(4/(-6)). Does 8 divide (a - x)/8*-214?
False
Suppose 5*p = 2*g - 29, 10*p - 6*p - 12 = 0. Suppose -g*t = -828 - 250. Does 7 divide t?
True
Let w(g) = 6111*g**2 - 8*g + 9. Does 53 divide w(1)?
False
Let f be (-1)/(-2)*(1 + (-1 - 0)). Let y(g) = f*g + 2*g + 2 - 10. Is 8 a factor of y(24)?
True
Let n(m) = -4*m**3 + 3*m**2 + 4*m - 5. Let u(i) = -2*i**3 - 10*i**2 - 5*i - 15. Let b be u(-5). Suppose -9*l + b = 37. Does 43 divide n(l)?
False
Suppose 21*l - 72 = 12*l. Suppose 5*p - 701 = j, -281 = -l*p + 6*p + j. Is p a multiple of 5?
True
Let r = -15697 + 18522. Is r a multiple of 5?
True
Let h(b) = -b**3 + 5*b**2 + 15*b - 5. Let o be h(7). Suppose -s + 0 + 5 = o*i, -5*i + 16 = -s. Suppose -k + 28 = 2*c, -i*k - 5*c + 82 = -0*k. Does 6 divide k?
True
Suppose 39*c - 86*c = -80*c + 1905816. Is 41 a factor of c?
False
Suppose -290 = 3*v - s, 3*s + 200 = -2*v + 7*s. Let l = v - -146. Is l a multiple of 10?
True
Suppose 14*v = 36*v + 5456. Let c = 451 + v. Is c a multiple of 19?
False
Suppose 4*o + 21 = 2*t - t, 5*o + 20 = 0. Suppose -k - 3*n = 3*k + 15, -t*n - 25 = -3*k. Suppose -6*m + 49 + 59 = k. Is m a multiple of 3?
True
Let o be -5*(-6 + 30/6) - 2. Let h(j) = -3*j - 1. Let m be h(-1). Suppose o*p - 13 = m. Is p a multiple of 5?
True
Suppose -5*h = 5*h - 140. Let p = 62 - h. Is p a multiple of 24?
True
Let p(h) be the third derivative of -h**4/4 - 19*h**3/6 + 29*h**2. Let c be p(-7). Suppose -8*y + c = -33. Is 3 a factor of y?
False
Let r = -4901 - -4880. Suppose 2*y = 69 + 55. Let d = y + r. Is 28 a factor of d?
False
Let d be (-5156)/(-6) + 12/18. Suppose -4*h - d = 4*s, -4*h + 4*s - 5*s - 848 = 0. Let f = h - -299. Is f a multiple of 22?
True
Is 10 a factor of -1*(-2806 - -4) - 64/(-8)?
True
Let y = 95 - 93. Does 12 divide (-40)/((y/(-18))/((-12)/(-8)))?
True
Let v(u) = -u**2 + 1. Let h(s) = 23*s**2 + 2*s - 6. Let t(l) = -h(l) - 4*v(l). Let x be t(-3). Let r = 297 + x. Is r a multiple of 41?
False
Let d(c) = c**2 - 20*c + 466. Is d(-36) a multiple of 146?
True
Suppose 23370 = 4*i + 5*o, o = 5*i - 3672 - 25526. Does 146 divide i?
True
Let l be (5 - -42)/(3/21). Suppose 2*p = -5*g + 289, -4*p - 5*g + l = -254. Suppose -j - 3*n + 30 = 0, -2*j = 2*j + 3*n - p. Is j a multiple of 13?
True
Let y(b) = b**3 + 12*b**2 - 2*b - 29. Let f be y(-12). Is (254/f)/((-29)/290) a multiple of 7?
False
Let n = 60 + -39. Let s = -21 + n. Is 165/7 + s + (-6)/(-14) a multiple of 8?
True
Suppose 239399 + 1084487 = 326*a. Does 131 divide a?
True
Suppose 3*h - 3*s - 48 = 0, 0 = -h - 3*s + 17 + 15. Suppose -d + 4*o + 334 = 0, d + 23*o - 355 = h*o. Is 10 a factor of d?
False
Let k be (2/(-4))/((-1)/(-156)). Let v(x) = -6*x**3 + x**2 + 10*x - 12. Let u be v(2). Is (u - 0)/(13/k) a multiple of 18?
True
Suppose 181*s - 2140755 - 2407803 = -78*s. Is s a multiple of 205?
False
Does 12 divide 92 + 766 - (1 + -7)?
True
Let j(k) = k. Let l(f) = 5*f - 13. Let s(h) = 4*j(h) - l(h). Let q be s(8). Suppose 4*z = q*t + 197, 4*z + 6*t - 188 = 2*t. Is z a multiple of 12?
True
Suppose -h - 3*t + 126 = 0, h = 4*h + t - 346. Let b be (3/4)/((h/144)/19). Suppose 171 + b = 9*v. Is 3 a factor of v?
True
Suppose 0 = u - 3, 9*q - 6*q = -4*u + 51. Suppose -q*d + 14*d = y - 407, 4*d = -3*y + 1242. Is 15 a factor of y?
False
Let r(w) = 398*w - 268. Is 8 a factor of r(11)?
False
Suppose 16345 + 17 = 6*l. Does 4 divide l?
False
Suppose -25*a + 10*a + 55740 = 0. Is a a multiple of 94?
False
Let h(q) = -2*q**3 + 28*q**2 + 19*q + 13. Let j be ((-21)/6)/((-33)/(-12) - 3). Is h(j) a multiple of 31?
True
Suppose 628702 = 41*u - 8438. Does 6 divide u?
True
Let z(p) = p**3 - 68*p**2 - 17*p + 1219. Is z(68) a multiple of 9?
True
Let b(w) = -24*w**2 - 1662*w + 96. Does 24 divide b(-68)?
True
Suppose -3*k - r = -22, r + 4 = k + 3*r. Suppose 2*g + k*a - 6*a - 1124 = 0, 4*g - 2224 = 2*a. Is 6 a factor of g?
True
Let a = 3342 + 9054. Is a a multiple of 5?
False
Suppose 24 = 5*j - 3*t - 1, -15 = -3*j - 2*t. Suppose j = -4*v + 5*v. Suppose -3*c + 6 = 0, -2*y + v*c = y - 680. Does 23 divide y?
True
Suppose -32*a + 11*a = 6*a. Is