r of l?
False
Let z = 4 + -3. Let i(y) = -116*y**2 - 2*y - 5. Let u(x) = 115*x**2 + 2*x + 7. Let j(n) = -4*i(n) - 3*u(n). Does 15 divide j(z)?
True
Let g = -655 - -659. Suppose b - 5*v - 514 = 0, 0*b - 2104 = -g*b - 4*v. Is b a multiple of 13?
False
Suppose 70*w = 75*w + 40. Let t(q) = -12*q. Does 8 divide t(w)?
True
Let j = 683 - -457. Does 60 divide j?
True
Is 84 a factor of (1764/20)/(28/1680)?
True
Suppose -4*a + 3*q - 2580 + 10467 = 0, -q - 3943 = -2*a. Does 9 divide a?
True
Suppose 3*o - 29 = -4*l, -4*l + 3 = -5*o - 2. Suppose -4*h + 2 = -0*b + l*b, -3*b - 5*h = -9. Does 4 divide (b/(-4) - 2)*198/(-27)?
False
Let w = 270 - 192. Let x = -137 + w. Let p = -31 - x. Is 11 a factor of p?
False
Suppose -37*q = -59*q + 1452. Suppose 4*y + 4*v = -v + 21, 9 = 2*y + v. Suppose -3*l = y*h - q, -l + 2 = -0. Is h a multiple of 4?
False
Let c(r) = r**3 - 28*r**2 + 77*r + 39. Let y be c(25). Suppose y*v + 20 = 85*v, -4*v = -5*t + 2660. Does 14 divide t?
False
Suppose -4*p = -20, -y - 8*p = -9*p - 2156. Is 223 a factor of y?
False
Let l(t) = -17*t - 94. Let v be (-18)/(-24)*-4 - 8/2. Does 5 divide l(v)?
True
Let q(j) = j**3 - 67*j**2 + 179*j + 1090. Is q(64) a multiple of 6?
True
Let k be (-15)/(-40) - 42105/(-168). Let p = 79 + -189. Let r = p + k. Is r a multiple of 8?
False
Suppose 0 = -15*h + 85977 - 15027. Is h a multiple of 69?
False
Let s(k) = -k**2 + 42*k - 113. Let n be s(39). Suppose -j + 5*f = -262, 116 = n*j - 5*f - 887. Does 22 divide j?
False
Let p = 3005 - 2851. Does 9 divide p?
False
Let n(s) = -s**3 - 2*s**2 + 2*s - 23. Let v be n(-5). Suppose 1008 = -18*u + v*u. Does 3 divide u?
True
Is 17 a factor of -1*(-510)/(-45)*-468?
True
Suppose -22*r + 11700 = -17*r. Suppose h - 5*h = 0, 5*j = -5*h + r. Is 4 a factor of j?
True
Suppose k - 20 = -k + 3*o, k - 24 = 5*o. Let w(i) = -2*i**3 + 9*i**2 + 4. Is w(k) a multiple of 15?
False
Let g be ((-17)/51)/((-2)/(-498)). Let a = 329 + g. Suppose -40 = -2*j + j + 4*o, 5*j + 3*o = a. Is j a multiple of 12?
True
Suppose 2*g + 5*q + 275 = 0, -q - 305 - 236 = 4*g. Let j = -15 - g. Is 3 a factor of j?
True
Let x = -29 - -33. Suppose 5*l - x*o = 11, 0*l + 4*o - 10 = -2*l. Suppose 3*h - 499 = -4*w + 2*h, l*w + 2*h - 368 = 0. Is 14 a factor of w?
True
Let h = 118 - 113. Suppose -h*d + 2*k - 360 = 0, 4*d + 249 = -4*k - 67. Is 19 a factor of d/(-4) + 7/14?
True
Let l(q) = -7*q - 14. Let z be l(-2). Suppose -y + 2*k - k + 505 = 0, -2*y + 4*k + 1014 = z. Is 29 a factor of y?
False
Let f(l) = l**2 + 4*l + 147. Let t(z) be the second derivative of z**5/20 - 5*z**4/6 + 5*z**3/3 - 9*z**2/2 - 23*z. Let s be t(9). Is f(s) a multiple of 29?
False
Let z = -4968 + 10699. Is z a multiple of 11?
True
Let q(f) = -f**3 - 6*f**2 + 6*f - 17. Let o be q(-6). Let u = -49 - o. Suppose 4*p - 192 = -u*r + 6*r, 3*p - 4*r - 144 = 0. Is 12 a factor of p?
True
Suppose -4*v = -0*m + 5*m - 7732, -6179 = -4*m - v. Let r = m - 771. Is r a multiple of 13?
False
Let o(w) = -w**3 + 128*w**2 + 1539*w - 35. Is o(-12) a multiple of 12?
False
Suppose -4*b - 12 + 0 = 0. Does 7 divide (-1*14/4 - b)*-248?
False
Suppose 0 = -w + 3*q + 5, 0 = -5*w - q - 38 - 1. Let s be ((6/7)/((-2)/w))/1. Suppose -199 = -3*h - 4*x, -3*h + 4*h - s*x = 88. Is 7 a factor of h?
False
Suppose -901 = -13*m + 1036. Let n = 148 + m. Suppose -3*c = -0*c - n. Is 11 a factor of c?
True
Suppose -5*j + 18*g = 17*g - 120249, -5*j = 3*g - 120253. Is 50 a factor of j?
True
Let m(n) = 4*n - 9. Let d be m(6). Let v = 109 - 103. Suppose v*f - d = 5*f. Is 3 a factor of f?
True
Suppose 37*y = 67888 - 9798. Is 37 a factor of y?
False
Let s(b) = -5*b + 11. Let p = 12 + -26. Let r be s(p). Suppose -3*a - 3*d + 306 = 0, 2*a - r = -d + 125. Is a a multiple of 52?
True
Let k = -112 + 116. Is 15 a factor of (-9890)/(-55) + k/22?
True
Suppose -d + 24 = d + 5*q, -5*d - 2*q = -60. Does 28 divide (64/d)/(18/189)?
True
Let b = -11 - -11. Let n be (b - 2/9) + 30006/162. Suppose -n = -3*h - f, -3*h + 2*f = -0*h - 197. Is 9 a factor of h?
True
Let o be 11/(-22) + (0 - (-57)/6). Let m(f) = f**3 + 0*f**3 + 5 - f**2 - 10*f - 6*f**2. Is 11 a factor of m(o)?
True
Let u(d) be the third derivative of d**6/120 + 3*d**5/5 - 41*d**4/24 + 18*d**3 - 7*d**2 - 2. Is u(-37) a multiple of 19?
False
Does 16 divide 1 + 28/(-26) - (-270792)/26?
False
Suppose -8*j + 99 = j. Is (-2488)/(-11) + 0 - 2/j a multiple of 7?
False
Suppose 3*f + 404250 = 33*f. Suppose f = 40*v + 9*v. Does 5 divide v?
True
Suppose 13508*b = 13502*b + 1008. Is b even?
True
Let y = 2365 + -1837. Is y a multiple of 24?
True
Let j(x) = 16*x**2 - 199*x + 7150. Does 123 divide j(41)?
False
Let v = -9103 - -9402. Is 6 a factor of v?
False
Let a(j) = 66*j**2 + 379*j - 22. Is 15 a factor of a(-11)?
True
Let m be (-4327)/(-3) + (-61)/183. Suppose 1049 + m = 47*p. Is 3 a factor of p?
False
Let l(d) = d**2 + 10*d + 7. Let g be l(-10). Suppose g*a = 21 + 21. Suppose 4*r = a*r - 152. Does 19 divide r?
True
Suppose 199*k = 377*k - 91136. Is 5 a factor of k?
False
Suppose 0 = -s - 13 - 12. Let c be (15/s)/((-2)/20). Does 18 divide (32 + 7)*8/c?
False
Let m(o) = -18*o**3 - 2. Suppose 8 = 35*v + 43. Is 2 a factor of m(v)?
True
Suppose 55*n - 315630 + 43664 = 17*n. Is 59 a factor of n?
False
Suppose b - 6*b = -4*y - 11, -1 = 2*y - b. Is 38 a factor of 1610/42 - y/3?
True
Let u be ((-18)/(-21))/((-63)/(-147)). Suppose -20 = 4*x, -u*x + 171 = 5*t - 1469. Does 66 divide t?
True
Let w(j) be the second derivative of j**4/12 + j**3 + 3*j**2/2 + j. Let n(q) = -2*q**3 - 28*q**2 + 3*q + 45. Let l be n(-14). Is w(l) a multiple of 10?
True
Let a(o) = o**3 + o**2 - o + 5. Let f be a(0). Suppose f*b = -4 + 74. Let v = 111 + b. Is v a multiple of 23?
False
Suppose -10*f + 21513 = -107227. Does 157 divide f?
True
Suppose -18*v = -15*v - 42. Suppose 0 = v*r - 3392 + 648. Is r a multiple of 14?
True
Suppose 0 = 5*q + d - 14, d + 5 = q - d. Suppose 0 = q*f - 9, -4*n + 16 = 4*f - 4. Suppose -12 - 2 = -p + 5*j, p - 23 = n*j. Is p a multiple of 3?
False
Suppose 2*r - 2 = 2*n, -r - 2 = 3. Let m(u) = -3*u**3 + 8*u + 2. Let z be m(n). Suppose 5*b - 58 = z. Is 44 a factor of b?
True
Let t = 5268 + -36. Is t even?
True
Suppose 30*d - 28*d - 18 = 0. Let c = d + -17. Let u(n) = -n**2 - 8*n + 11. Is u(c) a multiple of 3?
False
Let o(t) be the first derivative of -19*t**2/2 - 40*t + 100. Let k = -25 + 17. Does 14 divide o(k)?
True
Suppose -2328 = -79*b + 71*b. Let f = 7 + b. Does 14 divide f?
False
Let z(u) be the third derivative of 17/3*u**3 + 1/8*u**4 + 0 + 23*u**2 + 0*u. Is z(14) a multiple of 15?
False
Suppose 5*h - 25 = 0, 5*v - 690 = -7*h + 10*h. Let n = v + -29. Does 4 divide n?
True
Let o = -4107 + 7899. Does 24 divide o?
True
Let v(l) = 8*l - 91. Let y be v(11). Is 2 a factor of (y + 1 + -4)/(3/(-33))?
True
Let m = -74430 + 108531. Is m a multiple of 8?
False
Let v(j) be the third derivative of j**6/120 - j**5/3 + 5*j**4/24 + 5*j**3 - 27*j**2. Let f be v(20). Let x = f + -68. Is x a multiple of 18?
False
Is (-4580)/(-5)*((-999)/(-180) + 7/35) a multiple of 16?
False
Let q = -1829 - -3564. Is q a multiple of 67?
False
Let o(n) = -14*n**3 + 7*n**2 + 19*n + 15. Is 4 a factor of o(-4)?
False
Let y(d) = -28 - 6*d**2 + 3*d**2 + 24*d - 6*d + 2*d**2. Let k be y(16). Suppose -3*v + 4*w + 135 = 0, 0*v + 3*v - 159 = -k*w. Is 22 a factor of v?
False
Let l(z) = 27*z**2 - 44*z + 168. Is 49 a factor of l(12)?
True
Suppose 653 - 197 = 8*f. Suppose 2*s - 19 = f. Does 14 divide s?
False
Let j(f) = f**2 - 1. Let q be j(-1). Suppose -5*g - 73 + 93 = q. Let w(b) = 26*b + 4. Is w(g) a multiple of 18?
True
Let l = 1813 + 1157. Is l a multiple of 110?
True
Suppose -2*f + 0*f + 5*h - 28 = 0, -36 = 5*f - 4*h. Let s(o) be the first derivative of -11*o**2/2 + 15*o - 24. Is 23 a factor of s(f)?
False
Let o = 26903 + -20635. Does 90 divide o?
False
Let i be -3 + (3 - (-2 - 0)). Suppose i*n - 6 = 0, -3*g + 0*n + 234 = 2*n. Does 11 divide g?
False
Does 60 divide 2 + (-12 - (7 - 6327))?
False
Let u(c) be the second derivative of -c**4/12 - 7*c**3/6 - c**2 + 13*c. Let d be u(-7). Let a(q) = -24*q + 1. Is a(d) a multiple of 10?
False
Is -1 - 8 - (24 + 4416/(-8)) a multiple of 14?
False
Does 56 divide (62 - -2171)*(-66)/(-21)?
False
Let h = 9468 + -1164. Is h a multiple of 93?
False
Let y = -15 - -20. Suppose -y*s - 