ve 0*b = -r*b + 20 for b.
5
Let r(g) = g**2 + 4*g. Let v be r(-6). Suppose h = -3*h + 12, 4*h = -2*c + v. Solve c = 5*a - 23 + 3 for a.
4
Suppose 0 = 5*h + 4*l - 39 - 2, 3*h - 7 = 2*l. Let q be (-18)/(-4)*10/(-15)*-2. Let x be 2*(2 + -3)*-1. Solve -h*s + x*s = -q for s.
2
Let l be (0 + 0)/(1 + 1). Let a = 12 - 0. Suppose 6*u = -2 + 20. Solve u*j + j + a = l for j.
-3
Suppose -5*c = -3*u - 17, 3*c + 1 - 8 = u. Solve -c - 3 = -p for p.
4
Suppose 0*c + 2*c - 30 = -3*z, 2*z - 19 = -c. Let u be 0/(-1)*(-2)/(-2). Solve 2*i = -u*i - z for i.
-4
Suppose 12 = 5*q + 3*z, -3 = 3*z - 0*z. Let h = 3 - q. Suppose c - 1 = h, c = 5*w + 5*c - 39. Solve -4 = -3*d + w*d for d.
-1
Let h = 34 + -15. Suppose 2*u - c - 4*c - h = 0, 2*u - c = 7. Solve -2*i - u = -8 for i.
3
Suppose 5 - 3 = x. Solve -x*g = g - 9 for g.
3
Let u = -5 + 5. Suppose u = -t - t - 5*b + 7, -b = 1. Let o be (0 + 2/4)*t. Solve -4*z + 1 + o = 0 for z.
1
Let f(n) = -n**2 + 16*n + 23. Let w be f(17). Solve -j + w*j + 10 = 0 for j.
-2
Let b = -1 - -5. Let p be 26/8 - 1/b. Solve 0 = 2*k + 7 - p for k.
-2
Let b(g) = 6*g**2 + g + 2. Let o(p) = 13*p**2 + 3*p + 4. Let k(z) = 9*b(z) - 4*o(z). Let d be k(2). Let v = 4 + 0. Solve 0 = 2*u - d*u - v for u.
-2
Suppose 5*y - 12 = -2*i, 5*y - 5*i - 36 = y. Solve -y*a = -0*a for a.
0
Let o be -2 - ((-15)/(-5) - 5). Solve 7*f - 5*f + 10 = o for f.
-5
Let k be (-4)/7 + 5400/140. Solve 5*a - 13 + k = 0 for a.
-5
Suppose 0 = -d - d - 2. Let v = -1 + d. Let f = 5 + v. Solve f = -a + 2*a for a.
3
Let b(z) = 14*z**2 + 1. Let r be b(-1). Let o = 12 - 8. Let x(u) = -u**3 + 8*u**2 + 10*u - 9. Let s be x(9). Solve s = f + o*f - r for f.
3
Suppose 4*h + 2*m - 16 = -0*h, 5*h - 35 = 5*m. Suppose 0 = 2*k - 1 - h. Solve -i = k - 7 for i.
4
Let b be (-2*(-15)/(-6))/(-1). Let n = 9 - b. Solve n*t = -t + 5 for t.
1
Let y be 2 + 2 + -2 - -1. Suppose -y*c - 7*i = -3*i - 25, -5*c - 3*i = -60. Suppose c = -0*b + 3*b. Solve b = q + 3 for q.
2
Let p(r) = 2*r**2 + r - 9. Let u(w) = -w**2 - w + 5. Let s(z) = -2*p(z) - 5*u(z). Let o be s(-5). Suppose -o*q = -0*q - 21. Solve 4*x - 9 - q = 0 for x.
4
Suppose -d = 2*d - 2*h - 10, -2*h = 4*d - 4. Suppose -25 = -d*v + v. Let o = 57 + -57. Solve v = -o*t - 5*t for t.
-5
Let w = 11 - 7. Solve w*n + 5 = 3*n for n.
-5
Let v = -7 + 9. Suppose -3*b + 19 + v = 0. Solve b*p = 3*p - 16 for p.
-4
Let f(x) = -9*x - 4. Let o be f(-1). Solve 8 = -o*z + 3*z for z.
-4
Let k = 9 + -7. Solve -3 - 1 = -k*u for u.
2
Let g be (-15)/24*-6 + 2/8. Solve -v + g*v + 15 = 0 for v.
-5
Let k = -10 + 13. Solve -3*p + k = -6 for p.
3
Let v be (2/4)/((-1)/(-4)). Let a be v/(-7) - 150/(-35). Solve -2 = -a*n + 10 for n.
3
Let g be (-2 + -2 + 4)/(0 + 1). Solve 5*f + 21 + 4 = g for f.
-5
Suppose 4*t = -p + 11, 3*p - t - 3 = 2*t. Suppose p*v - 32 + 5 = 0. Solve 1 + v = 5*i for i.
2
Let v be -2*(0 - (1 + 0)). Let x(i) = 5*i - 2. Let b be x(v). Solve p + p + b = 0 for p.
-4
Let a = 46 - -28. Let y be 2*(-1 - 0) + a. Let d be y/33 + 2/(-11). Solve -d*c = c for c.
0
Suppose -11 = -5*q + 14. Solve -6 = q*b - 1 for b.
-1
Let q be 4/(-8)*1*-12. Suppose w + q = n, 0*n - 5*w - 16 = 2*n. Solve 0 = -i + n*i for i.
0
Let n(u) = u**3 - 10*u**2 + u - 7. Let g(s) = 11*s - 1. Let b be g(1). Let o be n(b). Let k = o + -1. Solve -k = 5*y - 17 for y.
3
Let d = -6 - -9. Solve 2*v + 2 = d*v for v.
2
Let a(n) = -n**2 - 7*n + 8. Let g be -2 + (6 - 2) + -10. Let t be a(g). Suppose t*o = -o. Solve o*z + 10 = -2*z for z.
-5
Let g(k) = -k**2 + 8*k - 7. Let n be g(7). Solve -4*x = -n - 8 for x.
2
Suppose -3*i - 3 = -18. Solve -c = -i*c for c.
0
Suppose 0 = 2*r - 0*r - 4. Suppose r*o = -3*o. Solve o*d = -d for d.
0
Let s(w) = -w**2 - 6*w - 1. Let t be s(-3). Let q be t + 1 - 2/2. Solve 3*a - a - q = 0 for a.
4
Let l(b) = 2*b**3 - 4*b**2 - 3*b. Let i(y) = -3*y**3 + 4*y**2 + 4*y. Let g(x) = 3*i(x) + 4*l(x). Let d be g(-4). Solve d = 2*r + 3 + 5 for r.
-4
Let l = 2 - 2. Solve l = -7*w + 2*w for w.
0
Let u(v) = -v**2 + 6*v - 7. Let x be u(6). Let n = -7 - x. Solve 5*t - 15 - 10 = n for t.
5
Let j(r) = -r**2 - 10*r - 12. Let z be j(-8). Suppose -q + z = q. Solve -q*h - 6 = -4*h for h.
3
Suppose -5*u + 6*u = 0. Suppose u = 4*n - 5*n. Solve g + 2*g = n for g.
0
Let n = 21 - 21. Solve 4*c + 12 = -n*c for c.
-3
Let j(l) be the first derivative of -l**3/3 + l**2/2 + 3*l - 2. Let a be j(0). Suppose -3*v - 2*i - a*i = -13, 3*v - 2*i = 20. Solve v - 16 = -5*u for u.
2
Suppose 0 = v + 3*b - 2 + 7, -13 = -3*v + 5*b. Let r(g) = -g - 3. Let p be r(0). Let z = p + 5. Solve 0 = l - v + z for l.
-1
Let l = -44 + 47. Solve -4*f + l*f = 4 for f.
-4
Suppose 2*v = -5*r + 4*v, 5*v = -4*r - 33. Let l be (-6)/(r - 1 - -1). Solve -a = -0*a + l for a.
-3
Let z(a) = -a**2 + 11. Let d be z(0). Let x = -6 + d. Solve 0 = -2*l + x*l - 3 for l.
1
Suppose g - 1 = 37. Suppose z = -3*k + 5*z + g, -24 = -3*k - 3*z. Solve -k = -4*x + 6 for x.
4
Let q(k) = k**2 - 3*k + 2. Let c be q(3). Let x(y) = 2*y - 17. Let o be x(5). Let f = o + 9. Solve -f = c*j + 6 for j.
-4
Let r be 3/2*(-60)/(-18). Suppose -2*l + 2 = 5*t, t - 3*l - 9 = r. Solve 0 = -0*s + t*s + 6 for s.
-3
Let x(r) = -5*r + 10. Let s be x(9). Let f = s - -60. Solve 0 = -5*d - f for d.
-5
Let h = -20 + 31. Solve -h = -5*s + 9 for s.
4
Let d be ((-2)/2)/(0 - 1). Solve -2 = p + d for p.
-3
Let t(b) = b**3 + 9*b**2 + b + 5. Let r be t(-9). Let m(p) = -p - 4. Let n be m(-3). Let o = n - r. Solve -j = -o*j for j.
0
Let l(k) = -k + 9. Let b be l(6). Let c(t) = -t + 9. Let p be c(4). Solve p*d = 2 + b for d.
1
Let h(l) = 2*l**2 - 11*l - 15. Let k be h(7). Suppose 5*t = -2*q + 15, 4*q - 4*t + 0 = 44. Let p = k + q. Solve -7*n + 3*n + p = 0 for n.
4
Let g(d) = -d + 8. Let b be 9*-1*2/(-3). Let q be g(b). Let a = 4 - q. Solve a = -n + 3*n for n.
1
Let u = -9 - -9. Let a = u + 6. Solve 0 = 4*v - 2*v + a for v.
-3
Let g(c) = -c**2 + 2*c + 26. Let r be g(0). Solve 5*w = 1 - r for w.
-5
Let b = 18 + -11. Solve -b*g = -3*g + 12 for g.
-3
Suppose -a - 4 = -24. Solve m + a = -3*m for m.
-5
Suppose 0 = -4*z + m - 0*m + 12, 2*z + 3*m - 6 = 0. Solve z = -2*l + l for l.
-3
Let h(z) be the third derivative of 2*z**2 - 1/60*z**5 + 0 + 1/4*z**4 + z**3 + 0*z. Let q be h(6). Solve 3*m = q + 3 for m.
3
Let f(n) = -n - 8. Let x be f(-11). Suppose -4*w + 2*w - 2*d = 8, 0 = -2*w - 3*d - 6. Let q be (7/14)/((-1)/w). Solve 4*r + x = q*r for r.
-3
Let u = 74 - 68. Solve 0 = -u*k + 18 for k.
3
Suppose -2*a - 3*b + 11 = -2, -5*b + 5 = -5*a. Solve 3*n = -a*n - 25 for n.
-5
Let w(u) = 2*u - 4. Let h be w(-3). Let z be (-2 + h)/(-2) - -1. Solve 2*g + z = -1 for g.
-4
Let j = 16 - 12. Solve j = 3*f + f for f.
1
Let v be 2/4*2 + 1. Suppose -5*n + 11 = -14, 18 = q - 2*n. Suppose b - 12 = 3*b - 4*o, 4*b - q = -5*o. Solve v*s - b - 2 = 0 for s.
2
Suppose 0 = -4*v + 3*s + 20, s - 3 = -4*v + 1. Solve -3*w + 1 = -v*w for w.
1
Let j be (15 + 0)*7/(-21). Let b = j - -7. Solve -3 - 1 = -b*w for w.
2
Suppose 6 = 7*l - 4*l. Solve -l*t - 8 = 2*t for t.
-2
Suppose -r = -4*b + 1, -2*b = -5*b + 5*r + 5. Solve -2*h - 2*h = b for h.
0
Let s(o) be the second derivative of o**3/6 - o**2/2 - 2*o. Let u be s(1). Solve 5*m + 3 + 2 = u for m.
-1
Suppose r + r = 0. Suppose -3*y + r*y + 24 = 0. Let h = 12 - y. Solve h*i + 0 - 16 = 0 for i.
4
Let j(t) = 2*t - 10. Let c be j(8). Let p be (-2)/6 + (-4)/c. Let w(o) = o + 1. Let d be w(p). Solve d = -3*g + g for g.
0
Let k(x) be the third derivative of -x**6/120 - 3*x**5/20 - x**4/2 - 2*x**3 - 2*x**2. Let s be k(-8). Solve s = -3*c - 2*c for c.
-4
Let c be -1*(3 - (6 - 0)). Let m(s) = s + 4. Let t be m(c). Let o = t - 4. Solve 0*g = -o*g for g.
0
Let y = -3 + 5. Let r be ((-8)/y)/((-2)/(-10)). Let s = 45 + r. Solve -4*d - d = s for d.
-5
Let r(h) = h**3 - 2*h**2 + h - 1. Let s be r(3). Let t = -8 + s. Let p(g) = -4*g - 13. Let x be p(-6). Solve t = 2*i + x for i.
-4
Let n be (-2)/(-7) - -2*1/(-7). Solve p + 3 = -n*p for p.
-3
Let o be 0 + ((-6)/3)/(-2). Solve -3 - o = -4*x for x.
1
Suppose -5*a - 7 = -2*p, -3*p - 4*a = 4 - 3. Suppose b - p = 3. Suppose -b*s + 4 = -3*s. Solve -s*y - 12 = 8 for y.
-5
Let v(o) = 0 - 2*o + 1 + o**2 + 0 + o**3 + o**2. Let c be v(3). Suppose -3*y = -0*y - 4*f - c, 4 = -f. Solve 3*s - y*s = -10 for s.
2
Suppose 3*z - 12 = 0, 2*z = -4*p + 2*p + 14. Suppose -5 = -2*f + m, 0*f + 