 1879 = 4*y. Let d = l + -374. Solve -2*x - d*m - 13 = 0, -4*x = -2*m - 7 - 3 for x.
1
Let f = -1630 - -1819. Let n be 6*((-9)/6 + 2). Suppose -f = -6*i - n. Solve 5*t + i = 3*x + 11, 3*t = -x - 12 for x.
0
Let r(v) be the third derivative of v**4/24 + 17*v**3/6 - 53*v**2. Let y be r(-14). Solve -18 = 3*q - y*t, 5*t - 27 = 5*q + t for q.
-3
Let y = 96 + -127. Let z = 46 + y. Solve 3*l = 4*b + 6, -5*l + 2*l - z = 3*b for b.
-3
Let u = 5 + -2. Let p(y) = 3*y**2 - 12*y + 14. Let l be p(7). Let g = 80 - l. Solve c = g*s - 12, -2*c = -s + u*s - 16 for s.
5
Suppose -34 - 19 = -13*i - 14. Solve 0 = 5*f - 3*n + i + 25, -20 = 3*f - 5*n for f.
-5
Let s be (3/5*5)/(13/39). Solve -a + 3 = -2*v, -s*v + 14*v + 10 = 5*a for v.
-1
Suppose -4*b + 44 = -3*p, 0 = 3*b - 2*p + 19 - 51. Solve -5*s + 15 = -q, 3*q - 7 = b for s.
4
Let d(m) = -2*m**2 - 16*m - 12. Suppose 88 = 2*v + 46. Let z be (-1)/2*v/(-6)*-4. Let o be d(z). Solve 12 = 2*q - k, -o*k + 7 = 4*q - 1 for q.
4
Let b(v) = 134*v - 1069. Let h be b(8). Solve 4*c + 7 = -x + 2*x, h*c = 4*x - 2 for c.
-2
Suppose -14 = 493*w - 496*w - 5*u, -4*w = -u - 11. Solve 3*h - w*z - 34 = -2*h, -5*z = 3*h for h.
5
Suppose 0 = 11*l - 14*l + 2*b + 8, 10 = 2*l + b. Suppose 68*k - l = 67*k. Solve -k*v + 0*r - 2*r - 12 = 0, -v = -2*r + 3 for v.
-3
Let m = -781 + 839. Suppose 66*z = m*z + 40. Solve -4*n + 3*r + 5 = 0, -4*n + 0*n + 45 = z*r for n.
5
Let v be 11/528*40*18. Solve 0*h + r - 9 = -h, v = -h + 5*r for h.
5
Suppose -9*z + 176 = 7*z. Suppose -z*w + 47*w = 72. Solve w*x = -p + x - 4, x = -1 for p.
-3
Let q(f) = -f + 39. Let u(v) = -9*v + 46. Let k be u(3). Let r be q(k). Solve 2*s = -8, r = -x + 5*x - 2*s for x.
3
Suppose -3*a = -4*a + 4. Let c(n) = -n**2 + 6*n + 5. Let g be c(6). Let o = -2561 - -2568. Solve -7 = a*w + g*r, -4*r + o*r = -9 for w.
2
Let s be (-2)/(-12) - (-3)/(72/20). Let j(i) = 2*i**2 - 449*i + i**3 + 449*i - s. Let v be j(1). Solve 0*t - 2*d - 12 = 4*t, -v*t - 2 = 2*d for t.
-5
Let o(g) be the second derivative of 37*g**3/6 - 17*g**2 + 94*g + 1. Let r be o(1). Solve 0 = 2*q + r*s + 1, -q + 3 = -4*s - 2 for q.
1
Suppose 488 = -62*g + 1976. Let o be 250/9 + (-2)/(-9). Let v = o - g. Solve 9*h + 5*i + 30 = 4*h, -2*h - v*i = 16 for h.
-4
Suppose 2*i = -4*r - 2138, 5*i - 2137 = 4*r + 6*i. Let w = r - -564. Solve 0 = -2*x - 4*a + w, 3*a - 19 - 11 = -3*x for x.
5
Suppose 0 = 8*v - 399 + 79. Solve 4*y = 5*c + v, -c + 4*y - 16 = -2*c for c.
-4
Let p be 1/((-2)/(-14) + 0). Let y = 172 - 164. Suppose -11*k = -30 + y. Solve 5*b - 19 = -3*u, -3*b + p + 4 = k*u for u.
-2
Let i be (44 + -4)*5/40*6. Suppose 2*b + 30 - i = 0. Solve b = 3*y + 2*z + 6, -z = 3*y + 9 for y.
-4
Let k = 13 + -9. Suppose -x + 5 = 5*v, -x - k*v = 2*x - 15. Suppose x*b + 16 = 9*b. Solve -4*l = -5*o - 12, b*l + 5*o + 31 = 3 for l.
-2
Let u(m) = 17*m - 12. Let t be u(3). Let h = t + -37. Suppose h = 17*g - 16*g. Solve -2*d + 6 = g*l, 0*d - 2*l - 6 = -2*d for d.
3
Let g(v) = -3*v + 0*v + 7*v**2 + 24 + 6*v**2 + v**3 - 15*v**2 - 13. Let m be g(2). Solve -3*z - 3*n + 20 = -2*z, n = m for z.
5
Let k(b) = 7*b + 54. Let y be k(-8). Let o be (-2 - (-24)/18)/(y/6). Let h = -3 - -3. Solve -q - o*j = 0, 0*q - 4*q - 5*j - 3 = h for q.
-2
Suppose 992 = 70*l + 432. Solve 0 = -k - 2*m - l, -4*m + 6*m + 16 = -3*k for k.
-4
Suppose -14 = -w + 3*m, m - 405 + 399 = -5*w. Solve -12 = -3*z + w*z + 4*h, -4*z - 4*h - 32 = 0 for z.
-4
Let b be -538*(12/(-16) - (-9)/(-36)). Suppose -537*q + b*q - 3 = 0. Solve -5*k = q*g + 6, 4*g + 6*k + 8 = k for g.
-2
Let r = -18 - -30. Suppose 9*s - 13*s + r = 0. Solve 0 = 2*v - 2*y - 0*y + 4, -16 = s*v + 2*y for v.
-4
Let w(n) = -27*n - 454. Let b be w(-17). Solve 0 = -b*y - t + 10, -t - 9 = -2*y + 2 for y.
3
Let b = 26 - 8. Let i = b + 7. Suppose -i + 13 = -3*r. Solve -n = -2*p, r*p + 2*n = -13 - 3 for p.
-2
Let m be (-112)/36 - 2/(-18). Let k be ((-4)/25)/(m/(-15))*5. Let f be (7 - 1)*k/(-3). Solve -b + 0*b = 2*a - 12, 2*b = f for a.
4
Let j be 790/25 + 18/(-30). Solve 2*g + 6 = -2*z, -27*g = 2*z - j*g + 12 for z.
-4
Let z(t) = -3*t**3 - 2*t**2 + 7*t - 1. Let f(k) = -2*k - 23. Let s be f(-10). Let p be z(s). Let i = p - 38. Solve i*v = -c + 6, c - 3*v + 0*v = 0 for c.
3
Let f be (126/54)/(49/42). Solve -2 = i - 2*r, -f*i - r - 1 = -2*r for i.
0
Suppose -53*d = -8*d + 6*d. Suppose -3*b = 5*a - 10, 4*a - b - 20 = a. Solve 3*u + a*t = -d*u + 37, -4*u - 9 = -5*t for u.
4
Let u(b) = -2*b**3 - 6*b**2 + 7*b - 7. Let j be u(-6). Let q = j + -147. Solve 3*m - 5*p = q - 1, -1 = 3*m - p for m.
-2
Suppose 2 + 2 = 2*v. Suppose -v*h + 5*r + 2 = 1, 0 = -2*h + 2*r + 4. Suppose 5*m = 18 - h. Solve o = -a - m, -4*o - 2*a - a = 13 for o.
-4
Let s = 2684 + -2679. Solve 3*z + s*q + 3 + 6 = 0, 9 = -3*z - 4*q for z.
-3
Suppose -5*f + 33*c + 3 = 34*c, -3*c + 9 = 5*f. Let g = -44 + 62. Solve 3*m + 3*k = -f*m - g, -6 = 3*k for m.
-4
Let n = -61 + 67. Suppose 114 + 86 = 50*b. Solve 0 = -2*r + 3*m - n, -b*r + 3*m - 2*m = -8 for r.
3
Suppose -2*b + 6*b = 16. Suppose -5*k + 36 = -4*g, 2*g = -b*k + 7*g + 27. Let w be (2 - 0) + (9 - k). Solve 3*y = 4*z - y - 4, -w*y + 1 = -z for z.
2
Suppose -118 + 100 = 2*n + 3*p, n - p - 11 = 0. Solve 3*d + 43*s + 36 = 47*s, -3*d + 6 = n*s for d.
-4
Let r be (-22)/55*(-1 + -4). Solve u - 4 = -7*f + r*f, -2*f = u - 1 for f.
1
Let m = 324 + -341. Let t be 44/374 + (-32)/m. Solve -d = 3*r - 7, t*d - 2*r = r - 22 for d.
-5
Let w = 31235 - 31233. Solve -l - 6 = 0, 4*a + w = 4*l - 7*l for a.
4
Let f = -51 - -41. Let x(m) = -14*m - 140. Let n be x(f). Solve -y + 5*g - 14 = n, -2*g = y - 0*y - 7 for y.
1
Suppose -3*o = 7*z - 12*z - 26, 5*z = 5*o - 30. Suppose 3*t - 1 = o*x, 3*t - 3*x = 4*t - 15. Solve 0 = 3*g - i - 5, 4*i + 12 = t*g - 8 for g.
0
Let b be (-27)/18*(1 + (5 - 8)). Solve 0 = b*t + 18, 11*t = -2*l + 10*t for l.
3
Let n be (0/239)/((-12)/2). Solve -x + 5*r - 19 = n, 14 = -0*x - 2*x + 4*r for x.
1
Let g(a) = 115*a + 18175. Let p be g(-158). Solve 59*u - 60*u - 24 = -p*d, -3*u - 12 = -3*d for d.
5
Let s(z) = -2*z**3 + 13 + 16 - 3 + 2*z - 24*z**2. Let q be s(-12). Suppose -2*h = q*h + h. Solve h*d - 3*c = 2*d - 3, -5*d + 5*c - 30 = 0 for d.
-3
Suppose 6*v = 17*v - 88. Suppose -v*r = -3*r + 13*r. Solve -4*s = 5*d - r*d - 16, -s = -d - 4 for s.
4
Suppose 4*i + 48 = -0*i. Let b be (1 - 2)/((18/i)/3). Solve 0*w + b*w = 5*r - 15, 0 = -2*w - 10 for r.
1
Let k(c) = -c**2 + 15*c - 39. Let g be k(4). Let t be (100/40)/(((-75)/(-24))/g). Solve -3*y - 12 = -3*w, 16 = t*w - 5*y - 1 for w.
3
Let s = -1688 + 1714. Solve 7 = 25*f - s*f - r, r = -5*f - 23 for f.
-4
Suppose -8*f = -11*f - 3*n + 9, -4*n + 6 = 2*f. Suppose 3*l - 5*l = -f*u + 6, 2*u = 4. Solve -3*m + 3*v = -21, 4*m + l*v + 2*v + 2 = 0 for m.
2
Let i(u) = -u**2 + 4*u + 2. Let j(n) = n + 1. Let b be j(-5). Let g = 8 + b. Let c be i(g). Solve 0 = -5*y - 4*r + 13, 3*y + 0*r - 7 = -c*r for y.
1
Let m be (45/(-6) - -5) + (-387)/(-86). Let o = 13 - 1. Solve 0 = -a + m*a - 4*u - 9, 4*u + o = 0 for a.
-3
Suppose -6*v = 4*q - v - 15, 5*q = 4*v + 29. Suppose 102*k - 97*k - 200 = 0. Solve k = q*f - 5*s, 6*s - 3*s = -9 for f.
5
Let y(u) = 2*u**3 + 46*u**2 + 50*u + 156. Let t be y(-22). Solve 2*k + 4*n + 28 = 6*k, -3*k + t = -4*n for k.
4
Suppose 8 = 121*m - 117*m. Let v be 1/(-3)*-1*(26 - 20). Suppose -2*u = -3*u + 3. Solve -k + u*r - 1 = 0, m*r = -v*k + 9 - 3 for k.
2
Suppose 5*t + 14 - 16 = 4*h, 0 = 3*h + 2*t - 10. Solve 4*m = -f + 16, -f + 8 = h*m + 2*f for m.
4
Suppose -t - 4*o = -17, 134 - 151 = -4*t + o. Solve -t*y - w - 14 - 3 = 0, 2*w + 14 = -5*y for y.
-4
Let n = 288 + -506. Let v = 224 + n. Solve -t = 2, v*p - 2*p = 4*t + 12 for p.
1
Suppose -706 = -24*u + 2*u - 662. Suppose -3*p - 8 = -b, 3*b + 2*p = 6*p + 29. Let c be 1/5 + (-76)/(-20). Solve b = -h + c*n, 6*h - 2*n = u*h + 12 for h.
5
Let i = -24 - 37. Let v = i + 63. Solve 0 = v*c + 2*x + 2, 2*c - 5*x - 35 = -3*c for c.
3
Suppose 4*a - 11 = 2*a - 3*b, 3*a - 13 = -b. Solve 5*i + z = 14, a*i + 5*z = -2 + 30 for i.
2
Let c = -104 - -113. Suppose -c = 3*d, -4*g + 3*d + 179 = g. Solve g = -5*a - 3*j, 4*a = -0*a - 3*j - 29 for a.
-5
Let y be (40 + -2)*-1*(-315)/18. Let r = y + -660. Solve -2*q - r*n = -4, 4*n - 6 = 2 for q.
-3
Let s = 183 - 183. Suppose s = -5*y - 16*y + 84. Solve -5*d + y*f + 21 = 0, -3*d - 2*f = 2*f + 13 for d.
1