lse
Suppose -20*c = 49 - 9. Let r(g) = 162*g**2 - 4*g - 14. Is 55 a factor of r(c)?
False
Let g(j) be the third derivative of -j**6/120 + 7*j**5/30 + j**4/6 + 2*j**3/3 - 2*j**2 - 84. Is 4 a factor of g(14)?
True
Is 14 + (5 + 7038 - 0) a multiple of 129?
False
Is 27/(-15*(-13)/8840) a multiple of 9?
True
Suppose -8*y - 48 = -4*y. Let z be 1/((20/y)/(-5)). Let t(q) = q**2 + 6*q - 7. Does 4 divide t(z)?
True
Let f = -183 + 188. Is 25 a factor of ((-15)/6)/f*-150?
True
Suppose 3*r - 5*r - j + 16210 = 0, -5*j = -2*r + 16234. Does 39 divide r?
False
Suppose -j + 2*a = -2730, -5*j + 8*a - 5*a + 13671 = 0. Is j a multiple of 24?
True
Let k(c) = 9 + 2*c - 5 + 49. Let g be 10/(-140)*-16 - (-16)/(-14). Is k(g) a multiple of 7?
False
Suppose -13*q - 3207 = -425. Let t = q + 767. Does 9 divide t?
False
Let i(l) = -l**2 + 11*l - 21. Let q be i(7). Let j(r) be the third derivative of -r**6/120 + 2*r**5/15 - r**4/4 - 6*r**2. Is 7 a factor of j(q)?
True
Let t = -7279 - -4650. Let a = -1558 - t. Suppose -2*n - a = -9*n. Is n a multiple of 17?
True
Let s(f) = -9*f - 12*f - 259 + 4*f + 242. Is 6 a factor of s(-9)?
False
Let k(x) = 17*x**2 + 21*x - 39. Is 32 a factor of k(-8)?
False
Suppose 0 = -3*h + y - 1065, 11 = -2*y + 17. Let o = 94 - h. Is 16 a factor of o?
True
Suppose 0 = 24*j - 150554 + 60778 - 74576. Is j a multiple of 32?
True
Let s be (4 - 5 - 102/(-3)) + 1. Suppose -70 = s*l - 36*l. Let o = l - 21. Does 2 divide o?
True
Suppose -2*u + 2*y + 67768 = 8538, -148071 = -5*u + 3*y. Is 223 a factor of u?
False
Suppose 5*i - 11031 = 4*y, -6*i = -3*i - 4*y - 6617. Is i a multiple of 10?
False
Suppose 202*u = 166*u + 94248. Is 22 a factor of u?
True
Suppose 3*o + 5*d = -275, 2*o - 5*d = -71 - 79. Let c = o - -225. Suppose -2*w = -l - 3*l + 510, -l + c = -3*w. Is 17 a factor of l?
False
Let c(s) = -2*s**2 - 41*s - 38. Let n be c(-23). Let z = n - -255. Does 34 divide z?
True
Let f(v) = -177*v - 1053. Is 31 a factor of f(-18)?
False
Let b = 24482 - 1473. Is 19 a factor of b?
True
Suppose -v - h + 3 = 3*v, v + 9 = 3*h. Suppose 3*k = k + 5*s + 10, v = -2*s. Suppose 0 = -k*p + l + 152, 5*p - 87 - 71 = 4*l. Is 3 a factor of p?
True
Suppose 6 = -3*n - 0*n. Suppose 164*h - 1008 = 173*h. Is (6/7)/(n/h) a multiple of 12?
True
Let i(d) = -593*d + 97. Let p be i(-5). Suppose 0 = -22*n - 620 + p. Is 9 a factor of n?
False
Let a = -39 + 62. Suppose -3*o + 3 = 3*i, -3*i - 1 + 3 = 2*o. Let f = a + i. Does 23 divide f?
True
Let n(g) = -3*g**2 + 26*g + 22. Let k be n(25). Let d = k - -1746. Does 25 divide d?
False
Suppose 3*k - 2*b - 17 = 0, 5*b - 6*b - 4 = 0. Suppose -7*i - 16 = -k*i. Does 22 divide (-109 + -7)*5/i?
False
Let q = -72 - 182. Let n = 464 + q. Does 14 divide n?
True
Suppose -270 = -7*i + 290. Let z = i + -112. Is 9 a factor of z*(-2 + 1) - -1*4?
True
Suppose -16*l + 148006 = 8479 - 13209. Is l a multiple of 129?
True
Let o = -117 + 46. Let h = o - -371. Is h a multiple of 6?
True
Let u(a) be the first derivative of a**4/4 - 5*a**3 - 13*a**2/2 + 17*a - 88. Is u(16) a multiple of 13?
True
Let v = 29988 - 25193. Does 35 divide v?
True
Suppose 70 = 7*d - 2*d. Let r(i) = i**3 - 13*i**2 + 4*i - 12. Let k be r(d). Suppose 2*z - k = t, 3*z - 472 = -z - 2*t. Is z a multiple of 28?
False
Let t = -432 - -3385. Is 19 a factor of t?
False
Let y(g) = -g**3 + 21*g**2 - 32*g + 48. Let q be y(19). Suppose -5*b - 306 = 3*r, -b = 2*r - 0*b + 204. Let x = r + q. Does 4 divide x?
True
Let x(m) = -m**3 + 11*m**2 - 2*m - 23. Let f(u) = u**2 + 14*u - 169. Let p be f(8). Is x(p) a multiple of 22?
False
Suppose -361 = 26*x - 1687. Is 8 a factor of (x/2)/(6/12)?
False
Suppose 14119*f - 14086*f - 265221 = 0. Does 82 divide f?
False
Let d(s) = -38528*s**3 + s**2 + 10*s + 7. Does 69 divide d(-1)?
False
Let j(u) = 40 - 18 - 58*u + 47*u. Let v be j(3). Is (-1 - v)*(-74)/(-4) a multiple of 19?
False
Suppose -250*c = -305*c + 228800. Is 32 a factor of c?
True
Let y be (28971/2)/((-153)/(-204)). Does 17 divide -2 + -1 + y/29?
True
Let v(f) = -78*f + 5. Let b = -211 + 210. Is 16 a factor of v(b)?
False
Let g(l) = 4*l - 10. Let z be g(4). Suppose 5*x - 7 - 58 = 5*f, 8 = 2*f. Suppose x*w = z*w + 660. Does 5 divide w?
True
Let i = 125520 - 80608. Is i a multiple of 28?
True
Let j be ((-7)/(98/264))/(3/(-84)). Suppose 5*s - h + 1063 = 9*s, -4*h + j = 2*s. Does 19 divide s?
True
Let n = 9011 - 6192. Does 48 divide n?
False
Let a(k) = 973*k - 1407. Is 34 a factor of a(6)?
False
Let x(a) = 17*a**2 + 65*a + 588. Does 2 divide x(-10)?
True
Suppose -16*h = -18 - 14. Suppose 3*b + 4*r + 444 = 0, -h*b - 2*r - 602 = 2*b. Is (b/6)/(10/(-135)*3) a multiple of 16?
False
Let j(g) = -1301*g - 91. Is j(-14) a multiple of 44?
False
Let f(d) be the first derivative of -8*d + 7/3*d**3 + 14 + 0*d**2 - 1/4*d**4. Is 14 a factor of f(6)?
True
Let j be (-1 - (-1256)/(-18)) + (-4)/18. Let z = j - -149. Let r = -43 + z. Is r a multiple of 5?
True
Let c be (4/(-6))/((1 + 0)/(-93)). Let i = -58 + c. Let u(t) = 5*t + 36. Is u(i) a multiple of 7?
True
Suppose -3*x = -0*b + b + 76, 2*x + 53 = -3*b. Let v be 17/5 - 15/x. Suppose -3*f + 61 = 5*a - 0, -v*a + 62 = -2*f. Does 12 divide a?
False
Suppose -2*v - 6*t + 3*t = -3009, -5*v - t + 7503 = 0. Does 20 divide v?
True
Suppose 0 = -2*g - 2156 - 646. Let h = -815 - g. Is h a multiple of 25?
False
Let t = -414 + 412. Does 19 divide ((-52)/(-12) - t)/((-2)/(-6))?
True
Let x = -4958 + 10792. Does 12 divide x?
False
Suppose 2*d + p + 9 = 5*d, -10 = -d - 2*p. Suppose -y + 1518 = 3*x + d*y, -3*x = 2*y - 1509. Does 38 divide x?
False
Let g be (0/(-7))/4 + 7155. Suppose -w = -16*w + g. Is w a multiple of 53?
True
Let o = 2280 + -1990. Is o a multiple of 47?
False
Suppose 155*k = -125*k + 21410 - 5730. Does 7 divide k?
True
Let z be ((-2)/((-48)/296))/((-2)/(-78)). Let d = -233 + z. Does 8 divide d?
True
Let a(k) = -3*k**3 + 4*k**2 + 4*k - 3. Let p be a(-3). Suppose b - p = -13*c + 11*c, 2*b = 5*c + 177. Is 4 a factor of b?
True
Suppose 21*x - 21804 - 196596 = -19*x. Is 39 a factor of x?
True
Let x(b) = 46*b**2 + 2*b - 4. Let k be x(-4). Let z be 24/(-9) - (-11)/(330/140). Suppose z*r - 364 = -0*r - o, -k = -4*r - 3*o. Is r a multiple of 46?
True
Let w(s) = 79*s**2 - 12*s + 49. Is 41 a factor of w(-11)?
False
Let y = -106 - -104. Let o be 1 + (y + -6)/(-4)*1. Suppose 4*g + o*p - 655 = 4*p, -2*p = 5*g - 822. Is 35 a factor of g?
False
Let q(a) be the first derivative of -9*a**2/2 - 46*a - 149. Is q(-8) a multiple of 2?
True
Let w(t) = -t**3 - 9*t**2 + 20*t - 11. Let d be w(-10). Let c be (d/(-6))/((-3)/(-12)). Suppose -2*h - 10 = -c. Does 8 divide h?
True
Let o = -28 - -31. Let i(n) = -7 - n - o - 5 + n**2. Is i(7) a multiple of 4?
False
Let w be (-3)/(30/(-215))*(2 - 4). Let r = -33 - w. Let h(d) = d**2 - 8*d - 12. Does 4 divide h(r)?
True
Suppose -13*p + 69 = 30. Suppose p*x + 2539 = 5*y, 23*y + x + 507 = 24*y. Does 23 divide y?
False
Let b = 54 - 50. Suppose b*z - 9*z + 1000 = 0. Let v = -142 + z. Is v a multiple of 7?
False
Let y be 9/((-81)/(-6)) + 173/(-3). Is (-5)/3*(-5 + -1 + y) a multiple of 8?
False
Let w(u) = 8*u**2 - 28*u + 80. Suppose 34*f - 5*y + 19 = 37*f, -15 = -2*f - y. Is w(f) a multiple of 18?
False
Let f(z) = -3*z**3 - 107*z**2 - 47*z - 128. Is 19 a factor of f(-37)?
True
Let s(o) = 2*o**3 + 7*o + 3 + 43*o**2 - 52*o**2 - 3*o**3. Suppose 0 = 2*p + 3*p + 2*u + 56, -5*u = 3*p + 45. Does 11 divide s(p)?
True
Let n = -88 - -93. Suppose -n*g - 4*l + 68 + 267 = 0, 0 = 5*g - 4*l - 295. Does 2 divide g?
False
Suppose 5*z - 39 = 2*y + 113, -4*z + 148 = 5*y. Let s = z + -29. Does 10 divide (s - (-219)/(-3))*12/(-14)?
True
Let n(c) = -22*c + 5 + 12*c**2 + 16*c**2 - c**3 - 18*c**2. Let f be n(7). Does 23 divide (2090/33)/(f/6*-2)?
False
Suppose 28*j - 990572 - 224308 = 4*j. Is 177 a factor of j?
False
Suppose 3*q - 33 = 6*q. Let r = q - -12. Suppose z - r = -0*z - 5*k, 38 = 2*z - 2*k. Does 8 divide z?
True
Let r(c) = 14*c**2 + c**3 - 30 - 15*c**2 + 3*c + 30*c - 23*c**2. Let a(w) = w**3 - 25*w**2 + 46*w + 23. Let q be a(23). Is r(q) a multiple of 20?
True
Let d = 57 - 51. Let t be (3 + -13*15)/((-4)/d). Let s = t + -106. Is s a multiple of 26?
True
Suppose 5*d + 0*a - a = 24531, 4*d - 19625 = a. Suppose -5*t = -3*i + 918 - d, -1620 = -2*t - 5*i. Is t a multiple of 17?
False
Is 5 a fact