4*a + 2*r + g for a.
3
Suppose -16 = -5*j - 1. Let l(x) = x**3 - x**2 + 1. Let y be l(0). Suppose -j*q + y = -14. Solve i - 2*i = q*z - 10, -2*z = -3*i - 21 for z.
3
Let z be (2/8)/(15/20)*15. Solve -5*f - 32 = 4*w, 0*f + 35 = -z*f - 5*w for f.
-4
Suppose 5*u - 16 = 3*u - 4*t, u + 5*t - 17 = 0. Suppose -u*p + 18 = p. Solve 34 = 5*y + 3*f, -p*f + f = -4*y + 5 for y.
5
Let g be 0 + (-4)/(-3)*3. Solve h - 5*y = -22, -g*y + 22 = 4*h - 2*y for h.
3
Let p(v) = v**3 - 5*v**2 - 5*v - 14. Let n be p(6). Let k be n/(-6) - 8/(-12). Solve 5*o = -4*r + 7, -5*r - 7*o + 10 = -k*o for r.
3
Let k(h) = h**3 + 4*h**2 + 2. Let g(b) = -b**3 - 5*b**2 - 2*b + 4. Let c be g(-4). Let z be k(c). Let w = 13 - 4. Solve z = q, -6*q = -i - q - w for i.
1
Let d(c) be the first derivative of 3*c**2 - c + 1. Let k be d(1). Solve g - 8 = -2*f, 0 = k*f + 2*g - 18 - 3 for f.
5
Suppose 2*x + 0*h - 12 = 4*h, 0 = 5*x - 2*h - 14. Suppose -3*a + 65 = x*a. Solve 3*o - 25 = -5*y, -4*y = 2*o - a - 5 for o.
5
Suppose -2*t - a = -8, -8 + 0 = -2*t - 2*a. Solve 5*x - 5 = 3*r - 1, 4*r - 2*x = t for r.
2
Let f be 1/(-2) + (-3)/(-6). Suppose f*x - x + 5 = 0. Solve 0 = -5*n - x, -p - 2*n = -2 - 1 for p.
5
Let k = -6 + 9. Suppose -4*g - 3*l = -23, -3*l + 0*l = 2*g - 19. Solve -2*q + 5*q - 18 = -k*i, 3*q = g*i - 2 for q.
2
Suppose -3*b = -b. Solve -2*l - 5*f = 4 - 2, -4*f - 8 = b for l.
4
Let f = 4 - 1. Let u = 0 + f. Let n(d) = d**3 - 5*d**2 + 5. Let g be n(5). Solve 3 = 2*y + 11, g*o + 3*y = u for o.
3
Let i(j) = 3*j + 2. Let h be i(1). Solve s - h = o + 3*s, -6 = 3*s for o.
-1
Suppose 2*c + w = -w, 2*c = -5*w - 15. Solve -4 = c*x - 4*t - 3, -9 = x - 3*t for x.
3
Suppose -14*c = -86 - 26. Solve -3*t + 20 = -2*a, -t + c = t for a.
-4
Suppose 4*m = -5*t - 90, -4*t = -t + 3*m + 57. Let k(u) = -9*u + 3. Let j be k(4). Let f = t - j. Solve -2*x = 4*i - 3 + f, 0 = -2*x for i.
-4
Let u(b) = 4*b**2 - b + 1. Let a be u(2). Suppose -5*j = -5*y - a, j = -3*j - 2*y + 12. Solve 2*g + 3 + 9 = 3*r, 0 = j*r - 5*g - 12 for r.
4
Let i(d) = 5*d**2 - d. Let v be i(-1). Let k be ((-12)/(-15))/((-3)/(-15)). Solve k*p = v*p + 2*g, -5*p - 4*g + 2 = 0 for p.
2
Let i(r) = -r**3 + 10*r**2 + 23*r + 17. Let a be i(12). Solve -25 = a*g + 2*m + 3*m, 4*m = -4 for g.
-4
Suppose n = 4*n - 183. Let p = 33 - n. Let k be 4/14 - 132/p. Solve 3*y + d + 0*d - 5 = 0, 6 = -4*y + k*d for y.
1
Suppose 5*a - 13 = 12. Let h(s) = 11*s - a*s + s**2 + 8 - 1. Let p be h(-5). Solve m + 10 = -f - p*f, 2*f - 15 = -5*m for f.
-5
Suppose -105 - 16 = -5*x + a, 5*x = -5*a + 115. Let g be 4/(-10) + (-48)/5. Let j = x + g. Solve 4*i - d - 11 = i, 4*i = 2*d + j for i.
4
Suppose 8 = -4*t + 20. Solve b = -t*b + 3*d - 16, 0 = b + d - 3 for b.
-1
Let s(v) = v**3 + 8*v**2 - 2*v - 10. Let l be s(-8). Suppose -5*w + 31 = 3*b, 9*b = 4*b + 2*w. Solve -b*u + 10 = -c, -2*c + u + 13 = -l*c for c.
-4
Suppose 7*w = 3*w + 16. Suppose m - u - 8 = 3*u, w*u - 40 = -m. Suppose m = 2*v - 30. Solve -6 = -z - r, 2*z = 2*r - 7*r + v for z.
1
Let z(x) = 4*x**2 - x + 1. Let a be z(1). Let w be ((-32)/(-12))/((-2)/(-9)). Solve -2*j - 2*j - 41 = 5*g, 2*j - a*g = w for j.
-4
Let q be (3 - 3) + 1*14. Let k(y) = -y**3 + 14*y**2 + y - 11. Let u be k(14). Solve 3*w = -4*a, 2*w + 3 = u*a - q for a.
3
Suppose -2 = -6*m + 22. Let l be ((-224)/21)/(m/(-6)). Solve -2*y = 4*p - 0*p - l, -5*p = -25 for y.
-2
Suppose 4*t - 2*o - 18 = -0*t, 4*t + 2*o = 6. Solve 0*a = -5*a - h - 21, -t*a = -h + 19 for a.
-5
Suppose -5*q = x - 112, 0*q - 72 = -3*q - 3*x. Solve 2*z + 4*w = -0 - 2, 5*w = 4*z - q for z.
3
Let z = 0 + 12. Suppose -z*s = -8*s - 12. Solve 0 = -p + i + s*i - 1, -p + 2*i - 3 = 0 for p.
-5
Suppose -13 = -4*l - 1. Solve -2*f - 5 = 4*d - 3*d, -l*d = 3*f for f.
-5
Let h = -18 + 22. Solve 0 = -4*k - h*d - 22 - 2, 3*k - 2 = d for k.
-1
Let z = 9 + -5. Suppose z*r = 2*r. Suppose -d = -r - 2. Solve l + 30 = d*j - 3*l, 4*l + 5 = -3*j for j.
5
Let n(z) = -2*z + 5*z + 1 - z**2 + 2*z. Let u be n(5). Suppose 2 = 2*c - 8. Solve -y + 3 = -4*t - u, -c*y = -3*t - 20 for t.
0
Let r = -2 + 4. Let l be -10 + r + -4 - -2. Let w = l + 19. Solve -17 = 3*v - i, 4*v = 4*i - w*i - 10 for v.
-5
Suppose -3*w + 7 + 5 = 0. Suppose -f = -w*f. Solve 3*i + 3*d - 18 = f, 0*i + 3*d = -i + 14 for i.
2
Let p be (-12)/(-2) + 1 + -2. Suppose -z = 1, -3 - 6 = -4*w + p*z. Let r be ((-48)/(-30))/(w/10). Solve -4*u - 2*d = 0, 5*d = 3*u - 5*u - r for u.
2
Suppose -2*w = -5*w - 24. Let q be w/(-20) - (-8)/5. Solve 2*o + 6 = q*y - 0*y, -4*y + 2*o = -12 for y.
3
Let o be 1/3 - (-10)/6. Let l(s) = -s - 17. Let b be l(-22). Solve b*m = o*q + 2*m - 4, 0 = -3*q + m + 13 for q.
5
Let x(h) = -h**3 + 10*h**2 - h + 13. Let f be x(10). Suppose 0 = -3*k - 3, k + 1 = y + f*k. Solve y*v = -4*z - 31, 0*z - 45 = 5*v + 5*z for v.
-5
Let o(t) = -t**3 + 3*t**2 - 3 + t - 2*t + 2*t**3. Let y be o(-3). Solve y = -5*i + 3*c - 34, -c = -3*i + 8*i + 22 for i.
-5
Suppose 5*h + 20 = -2*x + 51, -5*x = -2*h + 24. Solve -3*c - h = 2*m, -5*c - 11 = m + 2*m for m.
-2
Let o(c) be the first derivative of c**2 - 4*c - 3. Let i be o(3). Solve -3*j = -i*j + 3*x - 7, -j + 11 = 5*x for j.
1
Suppose -3 = 4*t - 15. Solve -t*l = 3*x - 9, 12 - 3 = 3*l + 2*x for l.
3
Let n be 3 - (-4 + 5 - 1) - 1. Solve -6 = -6*a + 3*a, 0 = -n*q - 3*a for q.
-3
Suppose -2*r = 2*s - 14, -4*s + 0*r - r = -16. Let z(n) = -2*n + 8. Let j be z(s). Solve -5*q - 2*l = -10, 2*q = -q + j*l - 10 for q.
0
Let z = -134 + 138. Solve -z*c + s = 15, -4*c + 4 = 3*s + 7 for c.
-3
Let o be (-34)/(-51)*((-27)/(-6) - 0). Solve 3*d = -3*c - o, 2*c - 3*d + 0 = 3 for c.
0
Let p(o) = -4*o + 6. Let r(b) = -b + 2. Let m(a) = -3*p(a) + 8*r(a). Let z be m(1). Solve 10 = -z*i + 4*k, -6*i = -5*i + 2*k - 3 for i.
-1
Let o(z) = z**2 + 4*z + 2. Let u be o(-4). Solve r = -4*w + 5, -u*r - 6 + 4 = -4*w for r.
1
Let w(t) = 9*t - 1. Let q be w(1). Let y be (q/10)/(2/10). Suppose -5*v - 4*v = -81. Solve -r = -y*b + 22 - 3, -3*b - r + v = 0 for b.
4
Let a = 5 - 0. Suppose 5*x - a = o, -3*o - 2 = 5*x - 27. Solve 5*n + x*y = 1, 4*n = y - 3*y for n.
1
Suppose -5*v = -3*y - 311, 4*v - 2*y - 72 - 176 = 0. Suppose 4*d = 4*x - 56, x - 5*x = d - v. Solve x = 4*w + 4*s - 9, -s + 2 = 0 for w.
4
Let u = 20 + 0. Suppose -u + 5 = -5*t. Solve w + 4*y = 6*y - 10, t*w + 4*y = 0 for w.
-4
Let d = -17 - -17. Solve 0 = -2*p - 3*z - 25, d = -p + 4*z + 15 for p.
-5
Let i be (-88)/140*-10 + 4/(-14). Suppose 0 = -0*p + 3*p - 9. Solve -4*t = 5*d - 20, i*d - 12 = p*d + 5*t for d.
4
Suppose -13*q = -16*q. Solve q = j + 5*p + 11, p = 3*j + 2*p + 5 for j.
-1
Let b = -2 + 10. Solve -w - 1 = 2*k - 4, -2*k - 2*w = -b for k.
-1
Suppose 3*l = -4*z + 8, -5*z + 10 = l - 0*l. Let u be 2 + z + (-4)/(-2). Suppose -2 = -s + 5*w, -s = 4*w - 4 + 2. Solve -s*n - 5*o = 15, -n - o = -3 + u for n.
0
Let r = -33 + 37. Solve 5*o - r + 23 = 3*h, 0 = 4*o - h + 18 for o.
-5
Suppose -12*y + 45 = -3. Solve -5*h = 2*l + 9, y*h - l + 1 = h for h.
-1
Let h be 2 - (0 + -2) - -1. Let u be 4/12 - h/(-3). Solve 5*w - 30 = 4*b - b, -u*b = 3*w + 1 for w.
3
Suppose -4*i + 60 = -0*i. Let q(l) = l - 11. Let a be q(i). Solve a*k + 20 = 0, 3 = 4*d - k + 2*k for d.
2
Let x = -7 + 10. Let m be x*-1 - (-7 + 0). Solve -4*a = -m*n + 9 - 1, a + 10 = -3*n for a.
-4
Suppose 0*u = -2*u + 4. Let c = -25 - -40. Suppose 0*b + 3*b - c = 0. Solve -5*w = 5*o + 35, -4*o = -3*w - u - b for o.
-2
Let a be (-24)/(-9)*(-9)/(-2). Let x = 4 - a. Let m = -3 - x. Solve 5*t + 6 = 2*p - 2, 9 = -2*t - m*p for t.
-2
Let r be (-20)/(-50) + (-76)/(-10). Suppose -2*n - 5*t + 25 = -0, -n = 3*t - 13. Solve -2*b - b - r = -4*s, -2*s = -n for b.
4
Suppose -3*l = -5*l - 16. Let r be 3*(-1 + l/(-6)). Let g(s) = s - 5. Let q be g(8). Solve -5*f + q*i = 0, 4*f + r = 4*i - 7 for f.
3
Suppose 0 = -3*z + 4*z + 40. Let w be z/6 + 8/12. Let g(r) = r**2 + 7*r + 8. Let f be g(w). Solve 3*x = 3, 0 = f*l + 2*x + 6 + 2 for l.
-5
Suppose 0 = -3*a + p + 1, 2*a + p - 5*p + 16 = 0. Solve 5*r + i + 18 = 0, 0 = -i - a - 1 for r.
-3
Let z be (-70)/(-6) + 2/6. Let s be ((-6)/(-9))/(2/z). Solve -s*g + 3*k = -0*g + 15, 4*k - 7 = g for g.
-3
Let f = 16 + -22. Let p be 5*3/45*-6. Let g = p - f. Solve -6 = u + g*s, -5 = 3*s + 1 for u.
2
Suppose 3*l = n + 3, 2 = -4*l + 5*n + 17. Solve l*p + 4*p - 5 = -5*d, 50 = -5*p + 5*d for p.
-5
Let d be (-1)/(-2) 