4*j**2 + 3*j - 1. Let t be h(2). Let w = t + 15. Solve -w = -4*r + 4 for r.
2
Let w = 20 + -12. Suppose 0*p + 2*p + j - w = 0, 5*j = -2*p + 24. Suppose -2*z + 42 = 4*q, -5 = q + p*z - 20. Solve 0 = m + 2*m + q for m.
-3
Let w be 2 + 2/(-1) + 8. Suppose -w*u + 4*u = -20. Solve -5*o + u = -0 for o.
1
Let l = 32 + -30. Solve -3*t - 5 = l*t for t.
-1
Let r be (-2)/(-3) - (-7)/3. Suppose 8*z - k - 8 = 4*z, 2 = z - r*k. Solve z = -0*w + w for w.
2
Let l be 2 + (-4)/20*-5. Let f be (52/6)/((-4)/(-6)). Suppose 4*w + 3*k - f = 0, 5*k = -3*w + 10 + 8. Solve -7 = l*u - w for u.
-2
Let x be ((-3)/2)/((-1)/(-2)). Let q = -5 - x. Let y be 1 + -2 + 28 + q. Solve -c = 4*c - y for c.
5
Let h = 23 - 3. Let j = h - 17. Solve -7 = k - j for k.
-4
Let j(w) = -w**3 + 4*w**2 - 2*w + 4. Let x(z) be the second derivative of -z**3/6 - 2*z. Let m(l) = j(l) - 2*x(l). Let a be m(4). Solve 0 = -5*f + 21 + a for f.
5
Suppose -16 = u + 4*p, 2*u + 0*u + 4*p = -16. Let s = 1 + -1. Suppose u*a + a - 13 = s. Solve -3*y = -a - 2 for y.
5
Suppose c + 6 = 3*c. Let q = 8 - 5. Let f = q - c. Solve -h + f*h = -5 for h.
5
Let t(g) = -1 - 2*g - 2*g**2 + g**2 + 2*g**3 - 5*g**3 - g**2. Let m be t(-1). Solve 2*f + 0*f = -m for f.
-1
Suppose -t - 79 = -6*n + 2*n, 5*n - 96 = 4*t. Let b = 11 + -13. Let h = 0 - b. Solve -h*p - 2*p = -n for p.
5
Let j(u) = u**2 + 3*u - 10. Let k be j(-6). Suppose k*w = 12*w - 12. Solve -2 = w*f - 14 for f.
4
Let f = 11 - 9. Let m(g) be the first derivative of -g**4/4 + 5*g**3/3 - g**2/2 + 5*g + 1. Let b be m(5). Solve -f*x + b*x = -6 for x.
3
Let i be (-18)/27*18/(-4). Solve -4*c = -i*c - 2 for c.
2
Let q(i) = i + 3. Suppose -y - 3*d = -4*y, 0 = d. Let n be q(y). Suppose -n*w - w = 0. Solve 0 = -w*k - k + 2 for k.
2
Let n be (6 - -2)/2 - 4. Solve 2*o + o = n for o.
0
Suppose -2*q - q = -15. Suppose -q*o + 40 = -o. Let b be 2*9/30*o. Solve c + b = 3*c for c.
3
Suppose -5*g = -4*a - 29, -a - 1 = 2*g - 23. Suppose 0 = -2*d + 1 - g. Let h = 6 + d. Solve -3*n + 4 = -h*n for n.
4
Suppose -93 = -5*o - 18. Suppose -3*y - 3*t = y + o, -5*y - 3*t = 15. Solve y = 4*x - 3*x + 3 for x.
-3
Suppose -4*y = 7 - 15. Let o be (3/3 - y)*-2. Solve -o*a + 2 = -0 for a.
1
Let t = -1 - -2. Let u be 0/(0 - (0 + t)). Solve u*j = -j - 1 for j.
-1
Let c(g) = 3*g**2 - 7*g + 11. Let i(q) = -7*q**2 + 13*q - 21. Let m = 10 - 5. Let k(f) = m*c(f) + 2*i(f). Let u be k(9). Solve u + 3 = -4*z for z.
-4
Let t(a) = -17*a + 3. Let d be t(2). Let s = -20 - d. Solve -s = 5*k + 14 for k.
-5
Let h be (-1)/2 - 2/4. Let y be 2/((-6)/8 - h). Let f be (12/(-9))/((-6)/9). Solve -f*l + y = -0*l for l.
4
Let b = 7 + -3. Suppose -p + 4*p + 22 = b*c, -3*c + 16 = -2*p. Let q be 1 - (0 - (3 + p)). Solve r = -r - q for r.
-1
Let j be ((-6)/(-2))/(1/(-2) + 2). Solve j*g - 6*g = -8 for g.
2
Let n = -16 - -26. Suppose -4*w - n = -6*w. Solve w*a + 16 = a for a.
-4
Let p(t) = t**3 - 3*t**2 + 2*t - 2. Suppose -2*c = -3 - 3. Let a be p(c). Suppose 2*f - 17 = -4*m + f, 3*f = -4*m + 27. Solve -3*j + a*j = m for j.
3
Suppose 2*u - 14 = 4*v - 0*v, 2*u = -4*v - 2. Solve u*x = -8 - 1 for x.
-3
Let o = -12 + 20. Let k = o + -6. Solve 3*s - k*s = 0 for s.
0
Let v be 72/88 - (-4)/22. Let o be (7 + (-9)/3)/v. Solve -3*l + 4 = -o*l for l.
-4
Let b = 34 - 34. Suppose -3*z + 2*p = 9, -4*p = -2*p - 6. Let m be (z/(-3))/(6/54). Solve v = -b + m for v.
3
Let c = 3 + 2. Suppose c*l = 2*n + 3*n - 10, -4*n + 10 = -5*l. Let z(j) = 2*j - 1. Let y be z(2). Solve n = y*g + 9 for g.
-3
Suppose -4*n = 5*i - 22, i + 5*n = 6*i + 5. Let q(u) = -4*u**3 + 2*u**3 + u**3 + u**i. Let s be q(0). Solve b - 2*b = s for b.
0
Let h(g) be the second derivative of g**5/20 + g**4/4 - g**3/6 + g**2/2 - 2*g. Let l be h(-3). Let r = 15 - 8. Solve -l*j - 13 - r = 0 for j.
-5
Let y = 7 + -5. Suppose 5*o - 11*o = -30. Solve 3*i + o = y*i for i.
-5
Let s = -14 + 30. Solve 0*c - s = -4*c for c.
4
Let a(i) = -i + 6. Let m be a(6). Let d(y) be the third derivative of y**4/24 + 5*y**3/3 + 2*y**2. Let x be d(-7). Solve m = -f + 4*f - x for f.
1
Let x(l) = l**2 - 3*l + 2. Let g be x(3). Let k be 700/90 - (-2)/9. Solve k - g = 3*t for t.
2
Let v = 3 - -1. Solve -5 + 17 = -v*t for t.
-3
Suppose -5*j - o + 20 = 0, -4*o + 21 - 9 = 3*j. Solve -4*y + 6*y = j for y.
2
Let w(r) = r**3 + 5*r**2 - r - 3. Let v be w(-5). Let l(z) = -2*z**2 - 4*z + 6 + 4 - 5 + z**v. Let g be l(-4). Solve 7 = -3*x - g for x.
-4
Let f = 5 - 1. Suppose 4*z = 4*s - 20 + f, -5*s - 2*z - 1 = 0. Let c be s/(-2)*0/5. Solve c = 2*r + 2 - 0 for r.
-1
Suppose 0 = -0*b + b - 3. Solve b*t + 7 + 2 = 0 for t.
-3
Suppose 0 = -31*k + 28*k. Solve k + 2 = -2*y for y.
-1
Let x = -10 - -14. Suppose 0 = 4*j - b - 12, -x*b = -3*b. Solve -j*h = -h for h.
0
Suppose f = -j + 9, -4 = 4*j + 3*f - 7*f. Solve -j*a - 3 = -23 for a.
5
Let o be (-20)/(-25)*1*5. Suppose y = -2*b - 4, -6*y + o*y = -4*b. Let v be 0 + 1/b*-1. Solve v = -0*x + x for x.
1
Suppose 5*z = -0*z - 40. Let l(c) = -c - 3. Let m be l(z). Suppose -4*h - 5*i = -m, 0*h - 1 = -5*h - i. Solve 2*s + 0*s - 10 = h for s.
5
Suppose -d - k = -9, k + 3*k = -2*d + 12. Suppose o + 0*o = d. Suppose -5*p + 15 = -2*p. Solve 2*b - p*b = -o for b.
4
Let k = -10 - -16. Suppose 0 = -0*b + 4*b + 12. Let u = k + b. Solve -v + 10 = -u*v for v.
-5
Suppose -4*o + 12 = 0, -5*o - 35 = -4*z - 2. Solve 0 = -z*s + 16*s for s.
0
Suppose 0 = 5*q - 5*a - 15, -2*q + 11 = 2*a + 1. Suppose h - 3*z - 3 = -15, 2*z = 4*h + 8. Solve -n - q + h = 0 for n.
-4
Let m = -9 + 9. Solve -12 = -m*w + 3*w for w.
-4
Let q = 1 - 1. Let i be (2/7)/((-3)/(-21)). Suppose -2*h = n + i*n - 15, -4*n = 2*h - 18. Solve -h*m - 2 - 4 = q for m.
-2
Suppose 0 = -4*z - z + 25. Solve -3*m + 2*m = -z for m.
5
Let b = 1 - -2. Solve 0 = o + 2*o - b for o.
1
Suppose 2*y - 6 = 2*l + l, -l - 2 = -4*y. Let g(w) = 1. Let z(m) = m - 9. Let v(c) = -5*g(c) - z(c). Let h be v(y). Solve -h*k = k + 15 for k.
-3
Suppose 0 = q - 0*q - 3. Let u be (9/(-6))/(1/(-2)). Solve -q*w = -u + 18 for w.
-5
Suppose -9 = 3*y - 18. Solve -3*c - y = 12 for c.
-5
Let s(b) = -b**3 + 5*b**2 + 6*b + 5. Suppose 0 = 5*m - 15, 2*g + m - 15 = -0*m. Let y be s(g). Let o be -1*(0 + -2) + (47 - 49). Solve o*c - y = c for c.
-5
Suppose 5*m = -0*m + 5. Solve -2*k + m = 3 for k.
-1
Suppose 11 = 2*r + 5*l, 4*r + 3*l - l + 2 = 0. Let i be (4 + -4)/(4/r). Solve 2*q - 4*q - 8 = i for q.
-4
Suppose 2*r + 0*r = 2*s - 8, -16 = s - 5*r. Let j = -14 + 13. Let o be 3/6*(1 - j). Solve -2*f - s = o for f.
-5
Let w be (1 - -2)*(-4)/(-6). Let q = 4 + w. Solve -t + q = 2 for t.
4
Let r be (-45)/6*(-12)/(-5). Let a be 25/9 + (-4)/r. Suppose -2*d - a*h = -2*h - 8, -3*d = -3*h - 3. Solve 4*f - 15 + d = 0 for f.
3
Let l be -4*(27/(-6) - -4). Let o be (0 - (-3 + 3))/(-1). Solve 3*w - l*w + 1 = o for w.
-1
Let y be 200/(-14) + (-2)/(-7). Let q be 30/7 - (-4)/y. Solve -q*z + 9 = -7 for z.
4
Let l = 13 + -15. Let a be (l - -2) + (1 - -2). Solve x + 4 = -a*x for x.
-1
Let w(h) = 2*h**2 - 1. Let o = 5 + -7. Let s be w(o). Suppose -k = 3 - s. Solve a = k*a for a.
0
Let z be (-1 + -2)*2/3*-1. Let s = -8 + 11. Suppose -6 = -6*a + s*a. Solve 20 = -z*w - a*w for w.
-5
Let d = 4 - 6. Let u be 1*d + -1 + 3. Suppose -i + 4*l - 1 = 0, 2*i - 4*l = 5*i - 13. Solve -i*k + 9 = -u*k for k.
3
Suppose 5*z = 3*z. Solve -5*s - 20 = -z*s for s.
-4
Suppose 0 = -0*i + 5*i - 5. Let y be i - 3 - 2*-2. Solve -y = b + 3 for b.
-5
Suppose 5*y + 2*m - 16 = 0, -5*y - 4*m = -17 + 5. Suppose -4*q - 12 = 0, u = -u - 2*q - 6. Suppose 2*o + o = -y*f + 25, 4*o - 12 = u. Solve 3 = -f*i + 7 for i.
1
Suppose -3*l + m = -5*l - 2, 2 = -l - m. Solve 4*n = -l*n for n.
0
Let c = 28 - 28. Suppose 3*h - 5 = -2. Solve -3*r + 5 + h = c for r.
2
Suppose -10*h = -4*h. Solve h*c = 5*c - 10 for c.
2
Let a = 7 - 2. Suppose -x - r - 2 + 0 = 0, 2 = 5*x - r. Let q = -9 + 9. Solve x*v + a*v - 15 = q for v.
3
Let r be 3/6 - 3/6. Solve 4*q + 6 - 18 = r for q.
3
Let q(d) = 6*d - 3. Let x be q(-3). Let f = x - -46. Solve 2*y + f = 7*y for y.
5
Let h be (-20)/30 - (34/(-6) + 1). Solve h*m + 1 = 21 for m.
5
Suppose g = 1 + 1. Let z be ((-36)/(-63))/(g/7). Suppose 4*l + 5 = 5*s, s = z*l - 0*l + 1. Solve 2*h - h + 3 = l for h.
-3
Suppose 2 = 4*v - 5*v. Let k be v + (1 - -4)/1. Let y = k + 2. Solve 8 = y*d - d for d.
2
Let b(g) = 5*g**2 - 15*g. Let h be b(3