, x = 2*y - l for y.
0
Suppose -16 = -3*i + 2*p, 5*i - 22 + 4 = -p. Solve 3 = -i*w - o, 0*o + o + 3 = 5*w for w.
0
Let f(a) = -3*a + 5. Let b be f(-4). Let z(p) = p + 15. Let d be z(-8). Solve -3*x - 2*x + d = h, 5*h - x = -b for h.
-3
Let b = -37 + 42. Solve -y = -l - 4*l - 14, 3*y - 12 = b*l for y.
-1
Suppose 2*l + 4*c = 47 - 17, l + 10 = 3*c. Suppose 4*x + 2*a + 0 - 44 = 0, l*a = 4*x - 58. Solve 0 = 4*j + 3*v + 2*v - 6, x = 4*j + 2*v for j.
4
Let g = 29 - 21. Solve 5*p = 3*n + 41 - 12, -p - g = 4*n for p.
4
Let z(y) = -2*y + 3. Let d be z(0). Suppose 2*h - 4*q + 10 = -d*h, 20 = 5*h + 2*q. Solve 4*w = 2*j + 8, -5*j = w + h - 4 for j.
0
Let x be -4*(-1 - (-6)/4). Let l = 7 - x. Solve -3 = -5*r + 2*y, 6*r + 4*y - l = r for r.
1
Let x(l) = l**3 + l**2 - l - 2. Let p be x(0). Let h = 0 - p. Let m be (10/3)/(h/3). Solve s - 3*s + 5*a = 8, 4*a - m = 3*s for s.
1
Suppose w - 2 - 2 = -h, -2*h - 5*w + 8 = 0. Let c(d) = -d**2 - 26*d - 15. Let z be c(-25). Solve 1 - z = 2*f + 5*y, f = -h*y - 6 for f.
-2
Suppose 0 = 2*o - 3*o. Solve 3*n + 6*m - 2*m + 5 = o, -3*n + 3*m = -9 for n.
1
Let c(v) = 4*v**2 + 2*v - 1. Let p be c(1). Solve 0 = -p*k - 10, 2*k = 4*m - 2*k + 12 for m.
-5
Let z = -45 - -48. Solve 2*r + 0*g + 3*g + 5 = 0, 5*r + z*g - 1 = 0 for r.
2
Suppose 3*o - v = -0 + 5, 11 = o + 2*v. Let f = 29 - 14. Solve 2*h + 2*s = -2, -h + o*s = -0*h - f for h.
3
Suppose 5*y - y - 8 = 0. Solve 18 = -3*o - 3*z, 2*o = 4*o - y*z for o.
-3
Let r(h) = -h - 3. Let g be r(-8). Solve -4*v + 4*x + x + 40 = 0, -v + g*x = -25 for v.
5
Let r(m) = m**3 - 13*m**2 + 11*m + 16. Let d be r(12). Solve -p = f + p + d, -5*p = 15 for f.
2
Let v = 0 - -2. Let w be 3/v*(-100)/(-30). Solve w*k - 27 = -2*h - 0*k, 2*h + 2*k = 12 for h.
1
Let q be 3*(-2)/(-6) - 1. Solve q*m = z - 5*m, -1 = -m for z.
5
Let g(f) = -f**2 - 10*f + 11. Let t be g(-11). Suppose 5*n - n - 16 = t. Solve -4*r + 4 = -2*m, 0 = 4*r - n*m - 12 - 0 for r.
-1
Let p = 92 - 90. Solve 6 = -f - u + p*u, -8 = -4*u for f.
-4
Suppose 2*i + 6 = -i. Let l be (-848)/(-28) - 4/14. Let k be (-1)/((-63)/l - i). Solve 5*a = 2*q + k, 4*q - a - 16 = -0*a for q.
5
Suppose 3*l + 7 = 22. Solve -3*z - 1 = l*k, -7*k + 3*k + 10 = -3*z for k.
1
Let z = -124 + 124. Solve -c + 9 = o - 0*c, 4*o - 2*c - 12 = z for o.
5
Let v be (14/(-21))/((-2)/12). Suppose v*b - b = 9. Solve -x + b*d + 2 = x, -4*d = x - 1 for x.
1
Let s(a) = a**2 + 3*a - 5. Let t be s(-5). Suppose 3*u + 3*n - 9 = 0, 5*n + t = 5*u - 0*n. Solve 0 = -m - 5*w + 1 - 6, 20 = -4*m + u*w for m.
-5
Suppose 3*n - 4*v - 18 = 0, 0 = 2*n - 5*n + v + 27. Let a be (3/2)/(5/n). Solve -p + 1 = -s, a*s = -2*p - 3 - 15 for p.
-3
Let m be (-4)/(-10) + (-39)/(-15). Solve -1 + m = 2*f, 10 = -3*g + 4*f for g.
-2
Suppose -2*i = 5*c + 12, 16 = -i + 4*i - c. Solve 0*f + i*f = 3*w + 2, -12 = -f - 5*w for f.
2
Let k be ((-46)/4)/((-1)/2). Solve -m - 8 = -5*o, 4*o - 5*m - k = -4 for o.
1
Let m be -1*1/(2/(-4)). Let r be 6/(-9)*(-27)/6. Suppose -c + 3*c = -t, -t - m = r*c. Solve 3*i - t*q = 8*i + 35, 5*q + 40 = -5*i for i.
-3
Let s be 1/3 + 33/9. Suppose -5*o - s*d - 26 = 0, 3*d = -4 + 7. Let v be 6/(-9) - 34/o. Solve f = -5*n + 12, -v*f = 4*n - 0*f - 18 for n.
2
Let r = -10 + 12. Let t = r + 2. Suppose t*d - 20 = -4*b, 4 = -0*d + 2*d. Solve 2*p = -b*u - 0*u - 11, -4*p = 2*u + 2 for p.
2
Let n = -3 + 8. Solve 0 = -0*j + 2*j + 2, -25 = -5*z + n*j for z.
4
Suppose 0*a + 4 = 2*a. Suppose 0 = -7*x + a*x + 20. Suppose s + x = 3*s. Solve y = 0, -2*m - s - 8 = -y for m.
-5
Let l be (-1 - 3)/(3 - 2). Let f = -2 - l. Solve 0 = -4*b - 0*n + 3*n - 11, f*b + 8 = 2*n for b.
1
Let r = 1 + -7. Let a be (2 + (-10)/4)*r. Solve -3*u + 5 = -k - 4*k, 5*u = a*k - 13 for k.
-4
Let i be (-1)/5 - 5/(-25). Suppose i = 3*r - 19 + 4. Solve -2*o + 3 = 3*y, r*y - 2*o + 7 = -4 for y.
-1
Let x(f) = -f**2 + 2*f + 26. Let m be x(6). Solve 2*r - 4 = s, m*r + 14 = -5*s + 6 for s.
-2
Suppose 11 = 3*a + 4*u, 3*u - 4*u = -2*a - 11. Let c = 0 - a. Solve -g - 17 = -4*w, -w - 5*g = -c*g - 2 for w.
4
Suppose 25*o - 19*o = 12. Solve 0 = 3*u + 4*p + 10, 0*p + 2*p = -o for u.
-2
Let s(t) = 3*t + 1. Let j be s(1). Suppose 0 = j*c + f - 3 - 3, 2*c - 3*f - 10 = 0. Solve c*p + 8 + 1 = 5*k, -5*p = 4*k + 6 for k.
1
Let g be 120/9 - 2/(-3). Let s(n) = -n**3 + 14*n**2 + n - 11. Let m be s(g). Suppose -3*w + 9 = -0*w. Solve -3*j - y = -1 + w, -12 = 3*j + m*y for j.
1
Suppose -5*x = -4*z + 15, 0 = z + 3*x + 9. Solve f - 4*m - 14 = 0, z = 5*f - m - 0*m + 6 for f.
-2
Let a = 0 - -2. Suppose -5*m = -27 + a. Solve 3*c = -m*s - 5, -c - 8 = -3*s + 3 for s.
2
Let g = -17 - -28. Let s = g + -8. Suppose 0 = -0*m - s*m + 6. Solve -m*b + z - 3 + 5 = 0, -b - 2*z = -6 for b.
2
Let c(s) be the second derivative of s**4/12 - 7*s**3/6 - 7*s**2/2 - 4*s. Let d be c(9). Solve 0 = -l - 3*r - 2*r, 2*l - r - d = 0 for l.
5
Suppose -2*c = -5*z - 14, 4*c = -3*z + 1 + 1. Suppose 4*j - o = -99, -o - 4 + 3 = 0. Let q be 15/(-6)*20/j. Solve 0 = s + q*s + 5*r + c, -r = -s - 6 for s.
-4
Let k = 16 - 14. Solve 8*z = -3*m + 3*z - k, -m - 5*z + 6 = 0 for m.
-4
Let c = 5 - 5. Suppose 10 + 8 = m. Solve c = 5*l + 4*f - m, -2*f - 2*f = -8 for l.
2
Let f be 121/5 - 1/5. Let c be 2/6 - (-5)/(-15). Suppose -4*u - 4*g + g + f = c, -2*g = -4*u + 4. Solve 0 = 5*d - 2*d - 15, q = -u*d + 18 for q.
3
Suppose -8 + 0 = -2*r. Solve 0 = -4*z - r*w - 32, -17 + 5 = 3*z - w for z.
-5
Let y(x) = x**3 - 8*x**2 + x + 8. Let u be y(8). Let m(r) = 2*r + 9. Let t be m(-6). Let g be u/((t - -5)/2). Solve -3*q - w + g = -0*q, -q = -3*w - 2 for q.
5
Let h(q) = q**3 - 12*q**2 - 12*q - 7. Let w be h(13). Solve -3*o - 1 - w = -2*n, -5*n + 5*o + 10 = 0 for n.
-1
Let b be 8/(-72)*2 - (-74)/9. Solve n - 4 = j, -3*j + 2*n = 3*n + b for j.
-3
Let j(z) = z**2 - 4*z - 10. Let g be j(6). Solve -5*c + 0 - g = -4*h, 3*c = -2*h - 10 for c.
-2
Suppose 5 = -5*r + 15. Suppose 10 = -r*t, -3*v + 2*v = -4*t - 24. Solve 0 = v*u - 3*y - 17, -5*u - 5*y + 20 = -2*u for u.
5
Let n(t) = 6*t**2 + 2*t + 1. Let d be 3/2*(-10)/15. Let w be n(d). Let a be w/(5/(-2)) - -6. Solve -4*m = -2*i - 4, a*m + 2*i - 18 = -3*i for m.
2
Suppose -x + h = -15, 0 = -x - 4*x - 4*h + 48. Let i be (1/1)/((-4)/x). Let r be 2/i + 2/3. Solve r = -4*d - 2*q + 3 + 11, 0 = 3*d - q - 3 for d.
2
Let b = 6 + 0. Let j(o) = -o**3 + 7*o**2 - 5*o - 1. Let w be j(b). Solve -p - 6 = -3*p - 5*g, -w*p - 3*g - 4 = 0 for p.
-2
Let d = 72 - 70. Let c be ((-2)/(-3))/((-6)/(-9)). Solve 2 = -4*g + d*g + s, -s + c = -g for g.
-1
Let b be 4/(-6) - 4/(-6). Suppose b = 5*q - 2 - 8. Suppose -5*h - 2*y + 59 = 0, 0 = 3*h + q*h - 4*y - 47. Solve 4*d + h - 3 = -4*p, 10 = -3*p + d for p.
-3
Suppose 2 = 3*u - 16. Suppose 20 = -2*b + u*b. Solve f + 0 - 2 = t, -b*f + 6 = -3*t for t.
-2
Let o(n) = -n - 6. Let s be (80/(-50))/(2/10). Let m be o(s). Solve -l - 5*r = -30, -15 = -3*l + m*l - 2*r for l.
5
Suppose 3*a + s - 3 = 0, 0 = -0*a - 3*a - 2*s. Let r be (-1 - a) + 15/3. Solve 5*d + 3*p + 17 = -r, -d - 3*p - 11 = 0 for d.
-2
Suppose -6 = -3*b - 0*b. Suppose 0 = -k + 1 + b. Solve -4*h = -k*z + h - 31, 24 = -2*z + 4*h for z.
-2
Let o be (1 - -1)*4/8. Suppose h = -o + 2. Suppose h = -u + 6. Solve 3*x - u = 5*s + 2*x, 3*s = x - 5 for s.
0
Let v(f) = 2*f. Let m be v(1). Suppose -4*g - m = -18. Solve -2*u - 2 = -2*p, 5*p - g - 1 = u for u.
0
Suppose 5*f - 4*p - 48 = f, -2*f + 22 = -3*p. Solve 5*b - 11 = o - 0*b, 2*b = -2*o + f for o.
4
Let c be (-2 + -1 + 3)/(-2). Solve -4*f + 4*z + 12 = c, -5*f - 4*z - 20 = -2*z for f.
-2
Let p = 55 - 53. Solve -h + 5*i - 4 - 1 = 0, p*h = 4*i - 4 for h.
0
Suppose 5*f - 20 = 0, -2*r - 2*f + 25 = 7. Solve 5*x = -4*n + 30, x = -3*n + r*x + 7 for n.
5
Suppose -15 = 4*h + 17. Let v = -19 - h. Let c be 2/11 - 31/v. Solve -4*z = w - 19, -5*w - c = -2*w for z.
5
Suppose -k - 6*k = -14. Solve 2*s - k*d + 2 = 8, 5*s + 5*d + 25 = 0 for s.
-1
Let g = -2 + 4. Suppose 20 = g*c + 2*c. Suppose -19 = -v - 2*j, 0 = 5*v + 3*j - 83 - 5. Solve 4*b + c = 7*b + 4*q, 5*b - v = 2*q for b.
3
Suppose 5*l = 4*x + 25, 20 = 4*l + x + 4*x. Let p(w) = 2*w - 5. Let u be p(5). Suppose -f = -u*f. Solve -2*r + 0*c = -2*c, -2*r + l*c + 9 = f for r.
-3
Suppose -4*n - 3*y + 73 = 0, -4*y + 56 = 3*n - 4. Solve -5*d - 3*f - 40 = 2*f, -3*d - f = n for d.
-4
Let f(q) be the first derivative of -3*q**2/2 - 2*q - 1