v - 2*c, 4*c - 4 = -4*v - 32 for v.
-2
Suppose 0*i + 10 = -32*i + 138. Solve -i*y - 5*q + 32 = 0, -6*q = 5*y - q - 35 for y.
3
Let s(f) = -2*f**3 - 43*f**2 + 20*f - 36. Let j be s(-22). Solve -4*q + j = -24*k + 20*k, 0 = 4*q + 2*k - 26 for q.
5
Suppose 0 = 3*q - q - 10. Let n(p) = -5*p - 12. Let z be n(-3). Solve 3*o - z*v = 0, q*v = 5*o - 2*o for o.
0
Suppose -44 - 116 = -68*g + 316. Solve 22*c + 15 = 4*f + 25*c, 2*c + g = 3*f for f.
3
Let y(z) = z**2 + 58*z - 1463. Let x be y(-77). Solve -3*c + 5*j - 1 - 1 = x, -3*c + j + 2 = 0 for c.
1
Suppose 0 = 9*a - 542 - 2617. Let q = -349 + a. Solve -10 = q*o - 3*t - 0, -4*o - 4*t = 0 for o.
-2
Let r = 8460 + -8456. Solve -u + r*x = -17, 5*u - 3*x - 29 = 5 for u.
5
Let x(f) = -f + 22. Let l be x(18). Suppose -l*v = -4*z + 24, -5*v + 2*v - 28 = -5*z. Solve 5*h - b = 2*h - 15, -z*b - 5 = 5*h for h.
-4
Suppose 2*c + 0*c = 2. Let g be (-1)/(3/(-12)*2). Suppose -s + 7*f - 2*f = 5, g*s = 3*f + 4. Solve 2*q - w = -10, 3*q + s = -3*w - c for q.
-4
Let i be (-1*(-9)/(-15))/(1/(-5)). Suppose -i*t + y + 4*y = -94, 79 = 3*t - 2*y. Solve 5*c - t = -2*z, 2*z + 4*c = -3*z + 32 for z.
4
Suppose 648*n - 640*n - 56 = 0. Solve -v - 15 = -t - n, 2*t = 4*v + 24 for t.
4
Suppose 2*r - s - 25 = -15, -r = 3*s + 2. Solve 10*a = 11*a - 3*u - 8, 2*u = -r*a - 10 for a.
-1
Let q = 949 + -944. Let z(w) = w + 10. Let i be z(-8). Suppose -3*f + i*m = -83, -q*f - 2*m + 153 = 2*m. Solve -v - 10 = -4*x + 6, -3*x + 5*v = -f for x.
3
Suppose 7*b - 4*b = 4*a - 11, 5*b - 75 = -5*a. Solve 2*s + a*x - 5*x = 11, -4*s + 20 = 4*x for s.
4
Suppose 2*g - 18 = -2*n - 2*n, -g = 3*n - 12. Let t = 10487 - 10487. Solve -n*b + 2*z + 14 = t, z + 3*z = -16 for b.
2
Let i be 0*((-9)/(-12))/(9/(-6)). Suppose 4*u + b - 10 = i, 0 = u + b + 5 - 9. Solve z + u = g - 2*g, 3*g = 3*z - 18 for g.
-4
Suppose 3*h - h - 18 = 0. Let b(d) = 3*d**2 - 3*d + 2. Suppose -18*r + 30*r = 0. Let c be b(r). Solve -z + c = -3*w + h, -21 = -w + 5*z for w.
1
Let g(s) = 4*s**2 + 175*s + 131. Let y be g(-43). Solve -2*h + 3*t + 3 = 3*h, 0 = -2*h - y*t + 14 for h.
3
Suppose 2612 = 5*b + 2627, 2*h - 5*b = 59. Solve -2*g = -5*s + 2, 0 = 4*s - 5*s - 5*g + h for s.
2
Suppose 99*w - 87*w = 36. Suppose -2*x = -5*m + 13, 2*x - w*m + 6 = 3. Solve 2*h - x = -3*r - 0*h, r + h = 3 for r.
0
Let s be ((-27720)/(-22))/(-28)*(-4)/9. Solve 0 = 3*f - 2*z - 0 - 16, -5*f + 2*z + s = 0 for f.
2
Let j(k) = 37*k + 2629. Let t be j(-71). Solve t = -s - 2, -s = -5*a + 9 for a.
1
Suppose 5*a - 73 = 2*j, -7*a = -4*a + 3*j - 48. Solve -4*l = -5*v + a, -4*l + 12 = 4*v - 0 for v.
3
Suppose 7047*k + 408 = 7064*k. Solve y - 20 = -4*q, 0 = -y + k*q - 19*q - 16 for y.
4
Let c = -427 - -431. Suppose -4*j + 5*p + 9 = 0, 9*p - c*p = -4*j + 39. Solve d - 2 = -b, 2*b - d - 1 - j = 0 for b.
3
Suppose 4*v - 5*x = 120, v - 28 = -x - 7. Solve 4*o + 5*w + 5 = 0, 2 = -v*o + 21*o - 2*w for o.
0
Let x(m) = -5*m**2 + 24*m - 11. Let s be x(4). Solve -15 = 5*h + 4*d - 9*d, -4*h + s*d - 15 = 0 for h.
0
Let x be (18/12)/(9/(-372)). Let w = x + 69. Let f = -4 + w. Solve -2*r - 1 = f*q, 3 = -2*q - 3*q - 2*r for q.
-1
Suppose 0 = 5*g - 0*g + g. Suppose 3*m = -5*w + w + 2, g = 3*w - 3*m - 12. Solve 4*t = 4*r + 2*t - 16, w*t = 4 for r.
5
Suppose 0*i - 103 = -3*l - 2*i, 0 = -i - 4. Solve -5*h - l = -2*r, -5*r = -3*r + 3*h + 3 for r.
6
Let j be (-12195)/(-270) + 2 + -1 + 7/(-6). Solve 4*m - 2*i = -8, -4*m = 4*i - 13 + j for m.
-4
Let w be (-2)/((-36)/(-10) - 4). Let g(a) = 19 - w*a**2 + 7*a**2 - 3*a**2 + 14*a. Let b be g(15). Solve 2*f + v - b = 0, -v + 20 = f - 5*v for f.
4
Let a(m) = -m**2 + 2*m + 6. Let d be a(3). Solve 12 = d*q - 2*b, 6 = 4*q - b - 5 for q.
2
Let v = -24 - -22. Suppose 5*l + 16 = 3*y, 0*l + 4 = -3*y + l. Let q be (-1)/y*(v - (-9 + -2)). Solve -5*z = -q*r - 17, z - 2*r = 5 + 4 for z.
1
Suppose 3*g + 42 = t, -3*t = 44*g - 39*g - 28. Solve 2*k = -4*u - 2, 5*u - t*k + 2 = -24*k for u.
-1
Let y = -1 - -2. Let m be y/(-2) + (-220)/(-8). Let h = -20519 + 20522. Solve h*w = -2*f - 19, -3*f - 5*w = -w + m for f.
-5
Let c be (-20)/6*27/(-18). Suppose 87 = c*s + 4*h, -4*s + s + 51 = 2*h. Solve 3*g - p = 13, s = 5*g + 3*p + 2*p for g.
4
Suppose 0 = 5*s - 0*s - 875. Suppose -j + 5*j - s = -3*c, 5*c - 5*j = 350. Suppose -c = 4*g - 9*g. Solve -5*r + 25 = -5*z, 5*z + g = -12 for r.
0
Suppose 6*x - 11*x + 7 = -d, -3*x - d = -17. Solve -2*z = -2*n - 82 + 78, -x*z + 14 = n for n.
2
Suppose 4*t - 152 = -100. Suppose -t*f - 55 = -18*f. Solve -2*i + 5*i = 5*d - 17, 3*i - f = -2*d for d.
4
Let v(p) be the first derivative of 2*p**2 - 40*p + 4. Let q be v(15). Solve 3*k + 0*k - 3*y - 15 = 0, -4*y = -k + q for k.
0
Suppose -11712 + 2512 = -20*z. Let i = -457 + z. Solve -20 = -4*x, -w + i*w - 14 = -2*x for w.
2
Let a = -8 - -15. Suppose a*b - 3*b = -4. Let x be (7 - b) + (-21)/7. Solve 3*l - m - 2 = 2, x*m = -l - 20 for l.
0
Let s be (-66)/209*-38 - 7/1. Solve -64*u = -s*h - 65*u + 34, -5*h = 3*u - 42 for h.
6
Suppose -3*g = -4*g. Suppose 0*r = -3*r + 2*w + 26, -2 = -w. Let u(k) = -k + 15. Let m be u(r). Solve g = 2*a - 8*h + 3*h + 27, 25 = m*h for a.
-1
Let p = -368 - -471. Suppose 0 = -p*u + 99*u + 8. Solve 5*y = -3*v + 20, 4*y - v + u = y for y.
1
Suppose -7*j + 4*j = -4*j. Suppose -p - 1438 + 1441 = j. Solve -2*g - 2*b = 3*g - p, 0 = -b + 4 for g.
-1
Let v(a) = -a**2 + 106*a - 2485. Let y be v(35). Solve -2*d + 2*n + 2 = y, 4*d + 6*n = 3*n + 18 for d.
3
Let z(l) = l**3 + 8*l**2 - 3*l - 19. Let a = -4 - 4. Let u be z(a). Solve u*b = -15, -4*c - 7*b = -3*b for c.
3
Let i(y) = -4*y - 31. Suppose -149 = 6*w - 89. Let d be i(w). Solve 0 = f + 3*s + 9 + d, 14 = -3*f - s for f.
-3
Let r(i) = 98*i - 20. Let f be r(2). Suppose 5*w = 13*w - f. Solve 3*c = 2*z + 3*z + 35, 0 = -2*c + 3*z + w for c.
5
Suppose 156*r - 148*r - 16 = 0. Solve -11*n - r*u + 16 = -6*n, -3*u + 3 = -3*n for n.
2
Let n(t) = -3*t**3 - t + 25. Let h be n(0). Let y be ((-20)/h)/((-4)/50). Suppose 8*j = 10*j - y. Solve -5*i = j*b - 20, 2*b - 20 = -2*b for i.
-1
Suppose 33*m - 36*m + 15 = 0. Suppose 0 = -3*i + 5*y - 14, -i - 5*y + 27 = m. Solve 4*f + 3*k - 33 = -i*k, 5*k - 23 = f for f.
2
Let b(s) = 4*s**2 - s + 2. Let f be b(1). Suppose f = 7*c - 562. Let m = c - 80. Solve 5*j + 13 = 2*q, -j = -5*q + q - m for q.
-1
Let c be (375/60)/(5/20)*1. Solve -c = y + 4*g, y - 2*g + 4*g + 15 = 0 for y.
-5
Suppose 15 = 3*l + 3. Suppose -8*q = -l*r - 4*q + 20, 4*r + 3*q - 13 = 0. Suppose -v - 56 = -5*v. Solve 0*i - 16 = r*i, 4*i = -2*h - v for h.
1
Let a(y) be the second derivative of y**3/2 + 23*y**2 + 5*y. Let c be a(-11). Suppose o + c - 17 = 0. Solve 3*s = -5*f - o, -3*s + 4*f - 16 = s for s.
-3
Suppose -11*m + 1152 = -7*m. Suppose 50 = 3*r - 13. Let a be m/r + 2/7. Solve 5*f + 1 = -a, 5*b + 3 = -f for b.
0
Let v be (2/4)/(2/16). Suppose -1065 = -149*x + 2213. Solve -x = -v*t + l, -3 = -t + 2*l + 6 for t.
5
Let i(g) = 5*g**3 - 5*g**2 - 12*g - 4. Let d be i(4). Let x = 190 - d. Solve -x*k = -4, 3*k - 21 = -5*y - 0*k for y.
3
Let k = -1025 - -1029. Let v(n) = n**2 + 2*n - 8. Suppose 5*b = 3*b - 8. Let c be v(b). Solve c = -2*j - s - 0 - 2, -j - 10 = -k*s for j.
-2
Let i = 2427 - 2416. Solve -15*r - n + 17 = -i*r, -5*r + 31 = -2*n for r.
5
Let z = -10034 + 10036. Solve -2*q + z = -4*o, 15 = -36*q + 39*q for o.
2
Let g(h) = 3*h - 55. Let o be g(25). Let i be (-1)/((-2)/(o/2)). Solve 15 = -0*b + 4*b - k, -i*b + 18 = -k for b.
3
Let y(i) = -125*i + 14. Let t be y(2). Let k = t + 237. Solve -2*m - 7 = 2*o + o, 4*m - k = -3*o for m.
4
Let d(x) be the first derivative of -x**4/4 + 10*x**3/3 - 23*x**2/2 + 9*x - 27. Let m be d(6). Solve j - 3 = 2*j, -4*j = -3*o + m for o.
1
Suppose 3*r + n = 4*n + 72, 69 = 2*r + 5*n. Suppose 5*j = 4*g - 8, -2*g - 5*j = -7 - r. Suppose 16 = -g*m + 37. Solve -5*h + 10 = 3*d - 14, 4*d + m = 5*h for h.
3
Let g(i) = -i**2 + 129*i - 2167. Let v be g(109). Solve 59*p - 5*u = 56*p - v, 0 = -4*p + u + 11 for p.
4
Let x(p) = 23*p**2 - 290*p - 5. Let k be x(13). Solve 114*r - k*r + 4*n + 18 = 0, -5*r - 3*n = 10 for r.
1
Let h = -117 + 143. Suppose 2*t + c - h = 0, -9*c = -2*t - 5*c + 16. Solve -3*i - 2*o = 2 + 1, -3*i - t = -o for i.
-3
Suppose -q = -2 - 2. Suppose 4*u = 6*u - q. Suppose u*n - 5*n = -2*n. Solve -5*p - 5*s - 10 = n, 5*p - 5*s = -46 + 6 for p.
-5
Suppose 10*q 