 Does 45 divide l?
True
Let i = -4934 + 5368. Is 16 a factor of i?
False
Let i = -253 - -255. Let w(g) = -16*g**2 + g - 1. Let t be w(3). Does 18 divide (t/(-3))/(i/(-6)*-1)?
False
Let l(o) = -46*o**2 + 3*o + 3. Let b be l(5). Let z = -419 - b. Is 24 a factor of z?
False
Suppose -2776 = -13*v + 5*v. Does 13 divide v?
False
Let v(d) = -d**3 + 7*d**2 - d + 1. Let j(k) = 2*k**2 - 9*k + 2. Let r be j(5). Let w be v(r). Does 3 divide (3*6)/(w/(-4))?
True
Let a = 127 - 134. Let s be 1/a + ((-160)/(-28))/5. Is s/(-5) + (-146)/(-5) a multiple of 6?
False
Let i = 62 - 59. Suppose 0 = 2*l - 3*j + 20 - 125, i = -j. Is l a multiple of 24?
True
Let s(z) = z**3 + z + 1. Let a be s(-1). Let v(j) = -1. Let h(i) = i**3 - i - 9. Let w(o) = a*h(o) - 6*v(o). Does 15 divide w(0)?
True
Let r be -2 - (294588/105 + 2/5). Let j = -1846 - r. Is j a multiple of 14?
False
Let i = -6739 - -14167. Does 25 divide i?
False
Let x = -10024 + 28381. Is 87 a factor of x?
True
Let h(n) = -12*n + 50. Let v be h(-18). Does 23 divide ((-8 - -50)/7)/(2/v)?
False
Does 55 divide 121*25*(12/4 - 2)?
True
Suppose 28 = -4*i, 92*b - 38618 = 87*b - i. Is b a multiple of 25?
True
Suppose 0 = q + m - 24831, -5*q - 4*m + 104099 = -20047. Does 126 divide q?
True
Suppose 35*i = i + 83000 + 89448. Is i a multiple of 39?
False
Let x be 30/(-70) - 2*(-61)/7. Suppose 4995 = x*h - 1652. Is 33 a factor of h?
False
Let i(q) = -q**3 - q**2 - 3*q - 81. Let a be i(0). Let v = a - -195. Is 6 a factor of v?
True
Suppose -575 = -3*w - 167. Let p = -113 + w. Suppose 5*v - 103 = -p. Is 16 a factor of v?
True
Is -19 + (-395743)/153*-9 a multiple of 20?
True
Let l = 1190 - 709. Suppose 5*u - l = -4*p, -5*p + p + 5*u + 471 = 0. Does 8 divide p?
False
Suppose -5*r - 34 = -4*u - 99, u = -2*r + 26. Suppose -r*d + 10*d = -768. Is d a multiple of 14?
False
Is (-4)/(-14) - 6485426/(-553) a multiple of 8?
True
Let r be (-45)/27 - ((-8)/(-6))/(-2). Is 3/r*(-9 + -127 - -1) a multiple of 45?
True
Let x be (-2)/66*6 - (-66422)/22. Let w = -2089 + x. Is w a multiple of 15?
True
Let y(c) be the first derivative of c**4/4 - 5*c**3/3 - 4*c - 6. Let g be y(5). Is 5 a factor of -5*((-8)/(-3))/(g/18)?
True
Let t be (-115753)/55 + 6/(-15). Let q = 3076 + t. Is 49 a factor of q?
False
Suppose 3*p - 2281 = m, 28*m - 31*m = -4*p + 3043. Is 5 a factor of p?
True
Is (-6966)/10*(-800)/48 a multiple of 11?
False
Let m(n) = -n**2 - 17*n - 1. Let j be m(-5). Suppose 0 = -2*b + 5*q + 43, -4*b + j + 97 = 4*q. Is 23 a factor of b?
False
Let g = 52 + 168. Suppose -4*m - g = -9*m. Is 9 a factor of m?
False
Suppose -8*a = -14 - 10. Suppose a*z = -4*w + 9, -2 - 1 = 2*w - z. Suppose w = 9*u + 145 - 2161. Is 11 a factor of u?
False
Suppose -2*a + 6*a + 338 = c, 2*c = -a - 89. Let z be (a - 8)/((-6)/(-8)). Let k = z - -187. Does 21 divide k?
True
Let o(p) be the first derivative of 11*p**4/12 + 2*p**3/3 - 2*p**2 + 3*p + 10. Let j(d) be the first derivative of o(d). Is j(2) a multiple of 8?
True
Suppose -34*y - 6*y + 105*y = 128960. Does 32 divide y?
True
Let q(s) = -5*s - 17 + 3*s - 9 + 0*s. Let z be q(-10). Does 15 divide (54/(-10))/((z - -4)/10)?
False
Let d = 300 + -298. Suppose -4*p = 2*w - 100, -w + d*p + 10 = -28. Is w a multiple of 7?
False
Suppose -6 = 9*b + 39. Let c(k) = 10*k + 54. Let y be c(b). Is 6 a factor of -75*(-1 - y/20)?
True
Let q(x) = 25*x**2 - x + 77. Is q(-12) a multiple of 17?
True
Let s = -380 + -500. Let z = -450 - s. Is 10 a factor of z?
True
Suppose 5*s = -n - 0*s - 22, 4*n - 2*s - 22 = 0. Let z be 1*n + 0 - 0/(-24). Suppose -3*v = z*a - 33, 0 = -3*v + 4*v + 5*a - 27. Does 4 divide v?
False
Is 23 a factor of (-69)/(-9*5/60)*(-1035)/(-12)?
True
Let f(v) be the second derivative of -v**5/20 + 5*v**4/6 + 4*v**3/3 - 17*v**2/2 + v - 2. Is 16 a factor of f(10)?
False
Let t = 151 - 219. Let w = t - -138. Does 26 divide w?
False
Suppose -2*b - j - 1001 = -5*b, -1667 = -5*b + 2*j. Suppose 7*z = 176 + b. Let y = z - -143. Does 18 divide y?
True
Suppose 3*k - 24*u - 63753 = -21*u, -k - u + 21255 = 0. Is k a multiple of 102?
False
Let c = -1376 - -1638. Is 62 a factor of c?
False
Let z(x) = 21235*x**2 - 6*x - 1. Is 8 a factor of z(-1)?
True
Let o(r) = 2*r - 16. Let d be o(9). Let v = 220 - 216. Suppose c = d*y - 203, 4*c - 310 = -v*y + y. Is 37 a factor of y?
False
Suppose 26976 = 3*a + 4*c - 5482, 0 = a + c - 10821. Does 53 divide a?
False
Suppose -2804 = -v - 2*v - 4*t, -5*t + 6534 = 7*v. Is v a multiple of 22?
False
Suppose -1078814 = -92*z - 226250. Does 13 divide z?
False
Let u(m) = -3*m + 124. Let o = -95 + 65. Is 28 a factor of u(o)?
False
Let t = -25 - -53. Let a = 32 - t. Is 29 a factor of 233/a - (-3)/(-12)?
True
Let l(i) = 5*i**3 - 21*i**2 - 6*i + 208. Is 19 a factor of l(11)?
True
Let g(v) be the third derivative of -17/24*v**4 - 5/3*v**3 + 0 + 0*v - 13*v**2. Is 7 a factor of g(-3)?
False
Let j(n) = 36*n**2 - 403*n + 140. Is 7 a factor of j(24)?
False
Let a = 3099 + 1047. Let p = -2786 + a. Does 10 divide p?
True
Let u(z) = z. Let f be u(4). Suppose -140 = -3*v - b, -13*b - 100 = -2*v - 12*b. Suppose 112 = f*d - v. Does 3 divide d?
False
Let a(o) = o + 1. Let q be a(2). Suppose 84 = 2*r - 5*v, -3*v = -q*r + 139 - 4. Is r a multiple of 2?
False
Let g(x) = 14*x**3 - 8*x**2 + 37*x - 131. Is g(9) a multiple of 80?
True
Let o be -1 - -8 - (-25 + 15). Suppose 484 = o*c - 366. Is c a multiple of 2?
True
Let n(h) = -h**3 + h**2 + 6*h - 7. Let w be n(2). Let z = -838 - -1411. Suppose 3*r - s - z = -r, 0 = s + w. Is r a multiple of 20?
False
Suppose 3*l + 0*n - 17 = -4*n, -3*l + 3*n + 3 = 0. Let c(k) be the third derivative of k**6/120 - k**5/30 - k**3/3 + 9*k**2 + 10. Is c(l) a multiple of 2?
False
Let v = 22391 + -7916. Is 12 a factor of v?
False
Let s(g) = 3*g**2 - 38*g + 66. Does 5 divide s(16)?
False
Let v(t) = 132*t + 42. Let u be v(14). Suppose 84*i = 105*i - u. Is i a multiple of 5?
True
Let g be (2/3)/(-2) + (-40908)/(-63). Let t = -402 + g. Is 13 a factor of t?
True
Is 58 a factor of (-2775)/(-18500) - 147317/(-20)?
True
Let p = -78 - -81. Suppose -p*w - 60 + 66 = 0. Suppose -5*o + w*v + v + 372 = 0, 2*o = 3*v + 147. Does 25 divide o?
True
Let m(l) = -l - 5. Let p be m(-7). Let g(b) = -b**3 - 13*b**2 - b - 11. Let k be g(-13). Suppose 3*s - s + 154 = p*z, 5*z = -k*s + 385. Is z a multiple of 11?
True
Suppose 4*p = u - 10535, -15*p + 11*p + 42180 = 4*u. Is 13 a factor of u?
True
Let u(n) = -n**3 - 4*n. Suppose -d + 4 = -5*d, 0 = 3*a - d + 8. Let b be u(a). Is 22 a factor of -7*6*(-143)/b?
True
Suppose 14333 = 8*u - 7483. Is 27 a factor of u?
True
Let g(s) = s - 1. Let w be g(15). Suppose 4*k + 0 = 8. Let y = k + w. Does 8 divide y?
True
Let k be 8/(-6) - 3/(27/(-3)). Is (-218)/(-2) + 6 + k a multiple of 38?
True
Suppose -86027 = -15*h + 60613. Is h a multiple of 105?
False
Let d(f) = -f**3 - 9*f**2 + 5*f + 42. Let t be d(-9). Is 1/t*1138*24/(-16) a multiple of 64?
False
Let r(k) = 3*k**3 - 18*k**2 - 480*k - 11. Does 11 divide r(26)?
False
Let x(m) = 6*m**3 + 30*m**2 + 49*m + 115. Let r(n) = 7*n**3 + 30*n**2 + 49*n + 114. Let p(w) = 5*r(w) - 6*x(w). Is 27 a factor of p(-30)?
True
Let s be ((-1025)/(-100))/(1/4). Suppose -5*n = -10, 5*j + s*n - 5258 = 37*n. Does 30 divide j?
True
Suppose 0 = -20*a - 4*g + 16412, -4*a - g + 1763 = -1519. Is 5 a factor of a?
False
Suppose 0 = 4*x - 11*x + 21. Suppose -x*s + 2 = -5*s. Does 20 divide -2 + -2 - (-147 - (s - 2))?
True
Let i(y) = -y**3 + 41*y**2 + 95*y - 8. Let m be 4/(-22) + 9975/231. Is i(m) a multiple of 9?
False
Let o(c) = c**3 - 38*c**2 - 39*c + 2. Does 46 divide o(40)?
False
Suppose -3*v - 4*x = -3 - 11, 4*x = v + 6. Let p be (-1 + 0)*118/(4/v). Does 27 divide (-15)/(-25)*p*-5?
False
Suppose 0*n + 3631 = 5*n + 4*h, 3*n + 4*h = 2185. Suppose -5*q + n = 4*u - 386, 4*u = -4*q + 1108. Suppose u + 1510 = 19*d. Does 27 divide d?
False
Let i(h) = -h**3 + 11*h**2 - 15*h + 10. Let z be i(9). Suppose -25*r - 3840 = -z*r. Does 5 divide r?
True
Suppose n - 5078 = -3*c, 217*n + 5074 = 3*c + 216*n. Does 18 divide c?
True
Suppose -2*r + 2*x = -1880, 11*x = 2*r + 8*x - 1883. Suppose 3*b + 2*s - 376 = b, -4*s = 5*b - r. Is 4 a factor of b?
False
Suppose 6*n = -5*n + 5753. Suppose 6*m = -n - 197. Is 7 a factor of (7/4)/((-6)/m)?
True
Let h(o) = -2*o - 36. Let q be h(-23). Suppose -1368 = q*