4, -54 = -2*a + 3*i. Let y = -29 + a. Does 24 divide (-2596)/(-18) - ((-100)/(-45) + y)?
True
Let j(w) = -5*w - 5. Let s(z) = -10*z - 11. Let m(u) = -13*j(u) + 6*s(u). Let d be m(-3). Let h = 25 + d. Is h a multiple of 9?
True
Suppose -o = o + 2*a - 24, o + 4*a = 18. Suppose -6*m + 7*m + d = o, 24 = 2*m + 3*d. Let q = 80 + m. Is 18 a factor of q?
False
Let d(t) = -4*t + 31. Let y be d(6). Suppose y*q - 1260 = -182. Is q a multiple of 14?
True
Is ((175/14)/(-25))/((-3)/17208) a multiple of 113?
False
Let q(l) = l + 6. Let g be q(0). Let p be g*(4 - 28/(-12)). Let u = p - -4. Is u a multiple of 7?
True
Let z be 4 + -12 - (0 + -2). Let n be (0 - (-3)/z)*0. Suppose g - 2*b - 95 = n, 3*b + 101 = g - 2*b. Does 13 divide g?
True
Suppose -13*a + 145173 = 12*a + 3923. Does 5 divide a?
True
Let h = -196 + 201. Suppose 9*t = 5*c + h*t - 3424, c - 2*t = 680. Is c a multiple of 43?
True
Let s be 14/49 + ((-6280)/14)/2. Let h = s + 27. Let t = h + 353. Is 21 a factor of t?
False
Let n be 3*(80/(-18) - 58/261). Let v be (104/(-6))/(4/(-6)). Let d = v - n. Is d a multiple of 6?
False
Let y be 2/3*(-264)/(-16). Suppose 32 = y*u + 98. Does 9 divide ((-21)/u + 4)*18?
True
Let q = 12369 + 5056. Is q a multiple of 13?
False
Let z(x) be the second derivative of -x**5/20 - 5*x**4/12 - 7*x**3/6 + 5*x - 18. Let a = 1 - 5. Is 6 a factor of z(a)?
True
Suppose 23*g - 17*g = -5*t - 2951, 5*g = 3*t - 2452. Let o(m) = m**3 - m**2 - m - 253. Let x be o(0). Let q = x - g. Is q a multiple of 14?
True
Suppose -10*n - n = 264. Let w be 220/n*-4 + 2/6. Let j = 119 - w. Is 31 a factor of j?
False
Let f be 32136/54 - 10/90. Let s = 1003 - f. Is s a multiple of 17?
True
Suppose -40309 - 33461 = -3*b - 3*g, -24592 = -b - 3*g. Does 67 divide b?
True
Suppose -43979 = -5*o + 3*z - 7931, -5*o - 5*z = -36040. Suppose -40*k + 13*k + o = 0. Is 21 a factor of k?
False
Let g(j) = -365*j**3 - j**2 + 24*j + 89. Does 31 divide g(-3)?
False
Suppose 42*u + 14497 = -12467. Let j = u - -876. Is j a multiple of 18?
True
Let j(y) = -17*y + 397. Is j(7) even?
True
Let u(b) = -1. Let p(r) = -18*r - 28. Let v(k) = p(k) - 12*u(k). Let i be (6/(-4))/((-201)/1072)*-1. Is 17 a factor of v(i)?
False
Suppose -l + 3261 = 44*v - 48*v, -5 = -v. Does 30 divide l?
False
Suppose -4*b + 5*d + 8663 = 0, 5*b - 4*d - 3995 = 6827. Is 22 a factor of b?
False
Let i be 0/((-5 - -6 - 5) + 2). Suppose -3*s + 5*w + 209 = i, 4*s + 2*w - 198 = 124. Does 3 divide s?
True
Let d(f) = f**3 + 85*f**2 + 333*f - 91. Is d(-80) a multiple of 4?
False
Let y = -6240 + 7692. Is y a multiple of 22?
True
Let b = 3859 + -1087. Is 22 a factor of b?
True
Let r(c) = 851*c**2 - 41*c + 79. Is r(2) a multiple of 16?
False
Suppose 74*l = 76*l - 1056. Suppose 0 = -2*i + g + l, g - 539 - 263 = -3*i. Is i a multiple of 9?
False
Suppose -5*o - 2*m + 14504 = -7090, -4332 = -o + 4*m. Is 20 a factor of o?
True
Let i be ((-1785)/(-70))/((-3)/(-14)). Suppose -i - 277 = -11*h. Is 10 a factor of h?
False
Let v = 9471 + 5913. Is v a multiple of 53?
False
Suppose -3*y - 80 = y. Let s = y - -22. Suppose -33 = -s*c + 75. Does 27 divide c?
True
Suppose z + d - 24 = 4*d, 4*z + 3*d = 81. Let f = -17 + z. Suppose -32 = -f*i + 16. Is i a multiple of 3?
True
Suppose 5*j - 2*j = 37*j - 1217982. Is 13 a factor of j?
False
Let u = 2673 - -11253. Is u a multiple of 3?
True
Let t = 162 - 71. Suppose -17 - t = -4*k. Suppose -k = -5*p + 233. Is 26 a factor of p?
True
Let r(d) = -1 - 4 - 3*d**2 - 10*d + d**2 + 5*d**2. Let z be 205/30 - (-4)/24. Is 24 a factor of r(z)?
True
Suppose 0 = -37*k + 5674 + 21262. Does 2 divide k?
True
Let l(g) = -25*g**3 + 4*g + 1. Let k be l(-3). Suppose 8*r + k = 4008. Is r a multiple of 11?
True
Suppose 5*n + 2*u = 23690, -353*n = -356*n - 2*u + 14218. Does 135 divide n?
False
Suppose -50079 - 69966 = -53*f. Is f a multiple of 5?
True
Let n(a) = a**2 + 18*a + 53. Let i be n(-15). Let s(o) = -3*o + 116. Is 4 a factor of s(i)?
True
Let f = -4621 + 10001. Is f a multiple of 20?
True
Let r = -539 + 3713. Is 41 a factor of r?
False
Suppose 0 = -16*c + 4086 + 1706. Let s(t) = t - 3. Let i be s(6). Suppose 3*h = -m + c, -i*h = h + 3*m - 491. Is 17 a factor of h?
True
Suppose 4*i = -13*y + 9*y + 2344, 0 = -5*i + 5. Let c = 969 - y. Is 22 a factor of c?
False
Let z(u) = u**2 + 5*u - 22. Let t be z(3). Suppose 0 = 2*m + t*m - 4*g - 460, 2*m + 4*g = 254. Does 12 divide m?
False
Suppose 0 = 396*h - 389*h. Suppose -10*q + 1735 - 185 = h. Is 13 a factor of q?
False
Suppose -14268 = -2*k + 4*o - 600, -o = 4*k - 27282. Is 9 a factor of k?
True
Let g = 17 + -17. Let w(o) be the third derivative of o**6/120 - o**5/60 + o**4/24 + 55*o**3/6 - 5*o**2. Is w(g) a multiple of 29?
False
Let r(p) = 4*p**3 + 10 - 3*p**3 + 80*p**2 + 2*p - 71*p**2. Is r(-7) a multiple of 47?
True
Suppose -d + 52 = -x - 58, 0 = -2*d + 5*x + 232. Suppose 2*f + 57 + 71 = 0. Let r = d + f. Is r a multiple of 11?
False
Let u(d) be the second derivative of -4*d**3/3 - 53*d**2/2 + 13*d. Let m be u(-12). Suppose -175 = -4*s - m. Is s a multiple of 2?
False
Let u(t) = 1358*t - 162. Is u(7) a multiple of 150?
False
Let m(f) = f**3 + 20*f**2 - 10*f + 40. Let p = -484 + 464. Does 21 divide m(p)?
False
Let n(x) = -5*x**3 - 23*x**2 - 94*x - 138. Does 54 divide n(-12)?
True
Let x be (18 + (-2)/1)/(-6 - -8). Suppose 0*f - x*f + 1632 = 0. Is 10 a factor of f?
False
Is (10/50*-1865)/((-2)/18) a multiple of 117?
False
Suppose 3*n + 5*s = 1272, -5*s - 50 = 5*n - 2150. Is n a multiple of 138?
True
Let h(j) = -j + 23. Let m be h(16). Suppose -3*o - 4*w = -3216, -2*o - 5*w + 2149 = -4*w. Suppose 341 - o = -m*x. Does 15 divide x?
True
Suppose 4*g - 2*i = 124, -4 = -5*i + 3*i. Suppose -19*y + 838 + 663 = 0. Let k = y + g. Does 15 divide k?
False
Suppose -5*z - 3*b = 0, 0 = -0*z + 2*z - 3*b. Suppose z = -4*j - 7*i + 2*i + 1080, -2*j - 4*i + 534 = 0. Does 20 divide j?
False
Suppose -4*o = -3*o + 1. Let i(b) = b**2 + b. Let p(z) = -10*z**3 - 3*z**2 - 8*z + 1. Let y(x) = o*p(x) - 4*i(x). Does 34 divide y(3)?
True
Let s(m) be the first derivative of -14*m**4 + m**3/3 + 2*m**2 + 4*m - 142. Is 19 a factor of s(-1)?
True
Suppose -16*r + 176*r - 7190080 = 0. Is 13 a factor of r?
False
Let l(q) = 5*q. Let i be l(11). Suppose -i*b - 70 = -57*b. Suppose 2*t = 237 - b. Is 32 a factor of t?
False
Let a be 202 - 5*8/5. Suppose -a = -2*t + 88. Is t a multiple of 47?
True
Suppose -30*z - 4*z = -918. Suppose -z*h + 3210 + 354 = 0. Is h a multiple of 51?
False
Let d = -268 - -220. Does 2 divide 4/d*-466 + (-5)/(-30)?
False
Let u = -131 + 145. Suppose -3270 = -u*y + 2078. Is 33 a factor of y?
False
Let u = -6 - -6. Suppose 20*b - 26*b + 462 = u. Suppose -5*g + 483 = -b. Is 20 a factor of g?
False
Is 13 a factor of (0 + -2)/(7*(-18)/158823)?
False
Suppose 0 = f - 2*f - 3*g + 7, g = 2*f + 7. Let h(n) = 12*n**2 - 6*n + 6. Let y(z) = -12*z**2 + 7*z - 7. Let d(m) = 6*h(m) + 5*y(m). Does 17 divide d(f)?
True
Let a be ((-36)/(-9) + 27)*99. Does 6 divide (a/9 - -10) + (6 - 1)?
False
Let c = -6 - -175. Let u = 586 - c. Is u a multiple of 6?
False
Suppose 3*l - 7686 = 7*l - 2*n, -2*l = -4*n + 3852. Does 8 divide (4/(-8))/(-4 - 7675/l)?
True
Let c(n) = -19*n**3. Let u be c(2). Let v = -222 - u. Let r = -26 - v. Is r a multiple of 9?
False
Let a be 2/(-11) - (-629)/11. Suppose -5*j + a - 7 = 0. Suppose 160 = 14*k - j*k. Does 8 divide k?
True
Let d be (7 + -12)/(45/18). Let m(h) = -h**2 - 3*h**3 + 2*h + 0*h - h**3. Is m(d) a multiple of 10?
False
Let t(p) = -576*p - 1104. Let b be t(6). Suppose -3*y - 248 = 4*z - 0*z, 0 = z - 4*y + 81. Does 29 divide -1 + (-11)/(-13) + b/z?
False
Let f = -75 - -107. Let u be 90/2 - (-32)/(-32). Let p = u - f. Does 12 divide p?
True
Suppose 22*c - 20*c = 10, -245 = -4*i + 3*c. Is i a multiple of 13?
True
Let l(k) = 3*k**2 - k - 1. Let d be l(2). Let a(n) = -n**2 - 7*n + 40. Let m be a(-11). Let u = d + m. Does 4 divide u?
False
Let i(o) = -8*o - 9. Let s be i(-3). Suppose s*p + 5 = 20. Is 38 + (5 - 0) + p a multiple of 22?
True
Let z be (10/3)/(26/39). Suppose -2*q - 4*m + 164 = 0, -z*m - 24 + 424 = 5*q. Let t = 60 + q. Is 46 a factor of t?
True
Is 7/(13*(-5)/(-94575)) a multiple of 4?
False
Suppose 0 = 3*n - 1105 - 239. Suppose -3*i + 5*i - 320 = 2*z, -3*i = 5*z - n. Is i a multiple of 25?
False
Suppose -3*q + 4*