j*p + 2 + 4 for p.
-3
Suppose -4*f = -g + 22, -5*g + 15 + 10 = -3*f. Let m be -1 + g*(1 + 4). Let j be 15/m + 1/3. Solve -c - 15 = j*c for c.
-5
Suppose -1 = 3*h + 14. Let a be (5/3)/(h/(-6)). Solve -a*i - 4 = -3*i for i.
4
Suppose -3*p + 4 = -8. Suppose 0 = 2*h - h + 4*t + p, -h + 5*t = -23. Solve h = -5*k + k for k.
-2
Suppose q - 1 = 0, -5*x + 5 = -3*x - 3*q. Solve -5 - 15 = x*i for i.
-5
Suppose 0 = 3*v - 9, u = -4*v + 5 + 16. Solve 0 = 4*s - u - 3 for s.
3
Suppose 2*i + 2*i = -2*d + 18, -2*i = -3*d + 11. Solve 1 = i*y - y for y.
1
Suppose 3*g - z = 0, 3*g = -3*z + z. Suppose 16 + 19 = 7*v. Solve 0 = v*d - g + 25 for d.
-5
Let c be ((-38)/(-76))/(5/4 - 1). Solve c = t - 2 for t.
4
Let w = 97 + -93. Solve n = w*n - 6 for n.
2
Let g(t) = t**2 + 7*t + 4. Suppose 0 = 2*n - n + 4. Let f be g(n). Let v = -6 - f. Solve -v*d + 3 = 5 for d.
-1
Let w be (-1)/(1*1/(-12)) - -2. Solve w*p = 18*p - 4 for p.
1
Let l(p) = 2*p - 1. Let y(s) = s - 1. Let w(v) = -5*l(v) + 8*y(v). Let c be w(-3). Solve c*q = 4*q - 3 for q.
3
Let a = -5 - -13. Let n = 10 - a. Let b = 1 + -1. Solve b = n*y - 5 - 1 for y.
3
Suppose -2*o + 9 - 1 = 0. Solve 0 = -3*y + 2 + o for y.
2
Let d = -1 + 13. Let o(r) = -r**2 + 7*r - 7. Let l be o(5). Suppose 2*s = l*s - 6. Solve -3*h + d = -s*h for h.
-4
Let w be 4 + -7 + 1*2. Let v = w - -4. Solve 2*p = 11 - v for p.
4
Let i = 2 + 2. Suppose 2*v - i*g = -v - 5, 5*g = -4*v - 17. Let u(h) = -h**3 - 2*h**2 + 3*h + 3. Let s be u(v). Solve -s*l = -5*l - 2 for l.
-1
Suppose 0 = -4*r + 3*u + 12, -3*r - 2*u + u + 9 = 0. Suppose 12 = 3*l, -2*l - 10 = n - 5*l. Suppose 5 = 5*s - 2*p - n, -3*s + 13 = p. Solve r*i - 6 = -s for i.
1
Suppose -q + 0 = 5. Let j = 5 + q. Suppose -d = -4*g + 37, j = 2*g + 4*d - 0 + 4. Solve -2*l + 0*l = g for l.
-4
Suppose -c + 6 = c. Solve c*y - 13 = 2 for y.
5
Let r(q) = q**3 - 2*q**2 + q + 3. Let j be r(3). Suppose 5*z = -0*z + j. Solve 2*h + z + 1 = 0 for h.
-2
Suppose 6*z - 5*r = 2*z, 0 = -3*z + 5*r. Solve 5*v - 3*v + 4 = z for v.
-2
Let s be (-5 + 4)/((-1)/(-15)). Let b = s - -20. Solve 8 = -b*g - 2 for g.
-2
Let p = 2 - 1. Let k be (0 + 1)*(p + 1). Solve 5 = k*z - z for z.
5
Let r be -1*0*(-2)/(-6). Let h be 42 + 0 - (r - 2). Suppose 5*j - 3*j - h = 0. Solve -7 = 3*v - j for v.
5
Let k = 4 - 4. Let m(d) = d**3 + 2*d**2 - 4*d. Let x be m(-3). Solve k*a - x = -a for a.
3
Let u be 6/8*(7 + -3). Suppose 2*l + 12 = g + u*g, 3*l + g - 3 = 0. Solve 0 = -l*c + c - 4 for c.
4
Suppose 3*l + 4 - 10 = 0. Solve -14 = -4*d - l for d.
3
Suppose -3*j - 10 = -8*j. Suppose -p = j*p - 9. Let r be (-2)/6 + 1/p. Solve r = -5*m + m for m.
0
Let k = 18 + -15. Solve -8 = k*j - j for j.
-4
Let x(r) = -r**3 + 16*r**2 + 16*r + 20. Let y be x(17). Solve y*m = m - 2 for m.
-1
Let n = -5 + 7. Suppose -7*g + 2*g = -300. Suppose -i + 4*v - v = -12, 5*i = 5*v + g. Solve -t - n*t - i = 0 for t.
-4
Let r be ((-8)/(-12))/((-4)/6). Let f = 1 + r. Solve 2*h + h + 15 = f for h.
-5
Let i(v) = -v**3 + 5*v**2 - 2*v - 5. Let j(a) = 2*a - 4. Let f be j(4). Let z be i(f). Solve z*h - 10 = h for h.
5
Let s(r) = 3*r**3 + 7*r**2 + 11*r + 6. Let t(b) = -5*b**3 - 14*b**2 - 21*b - 11. Let n(o) = 7*s(o) + 4*t(o). Let u be n(8). Solve x = u*x + 5 for x.
-1
Suppose 2*o + z = -4*z + 31, o - 23 = -5*z. Let y be o/(-36) + 48/(-27). Let c be y/3*(-7 + 1). Solve -c*m + 7 - 3 = 0 for m.
1
Let m(g) = -g**2 + 8*g - 7. Let w be m(6). Let j = -5 - -15. Suppose -2*c + j + 2 = 0. Solve c = 3*k - w*k for k.
-3
Let t = -28 + 29. Solve 0 = -y + 4 - t for y.
3
Let w = 18 + -14. Solve -6 = w*t - 22 for t.
4
Suppose 0 = 2*p - 1 + 5. Let x be (-4)/p + 5/1. Solve -4*d + x*d = 0 for d.
0
Suppose 0 = -0*t - 3*t - 12. Let z be 2/t + (-5)/(-2). Suppose z*k = 4*k. Solve k = 4*l - 21 + 1 for l.
5
Let u = -5 + 13. Let t = 12 - u. Solve -5 = -t*n - 13 for n.
-2
Let t(k) = k - 2 - 2*k + 16*k + 16*k. Let a be t(1). Let r(x) = -x**2 + 5*x - 1. Let j be r(2). Solve 4 = j*s + a for s.
-5
Suppose 19 = 5*i - 2*g, 3*i + g = -g + 21. Solve 0 = i*b - 3*b - 8 for b.
4
Let o(h) = h - 2. Let q be o(7). Suppose -4*c = -q*i - 16, 3*i + 2*c + 3 = 11. Solve i = -w + 2 + 1 for w.
3
Let a = -6 + 8. Suppose 0 = 2*q - d - 13, 2*q - 2*d - 28 = a*d. Solve w - q = 2*w for w.
-4
Let l(x) be the first derivative of -x**2 - 1. Suppose 5*o = 5, 2*k + 12 = 2*o - 0*o. Let g be l(k). Solve g*a + 5 = 5*a for a.
-1
Let q be -1 - (-6)/(-3) - 2. Let v(m) = m + 8. Let p be v(q). Solve -p*j = -j for j.
0
Let w = -5 + 8. Let k be 2 - (w + -1)/(-2). Solve 7 = 2*n - k for n.
5
Let n(k) = k**2 + 5*k + 3. Let a be n(-5). Suppose 8*g - a*g = 0. Solve -2 = -g*x - 2*x for x.
1
Suppose b - 5*r = 14, b - 7 - 1 = 2*r. Solve -b*o - 24 = -8 for o.
-4
Let i(r) = 4*r - 1. Suppose h + 5 = 6*h. Let s be i(h). Let k be 6/(-4)*(-20)/6. Solve -k*m - 18 = -s for m.
-3
Let f be (-8)/10 - ((-245)/25 - -2). Suppose 0 = -2*z - s + 4, -2*z + 6*z - 12 = -s. Solve z*t - f = -15 for t.
-2
Let m be (-26)/(-10) + 2/5. Solve 2 + 1 = -m*w for w.
-1
Suppose -13 = -5*u + 17. Let a = 31 - 28. Solve -t = -a*t - u for t.
-3
Let o(q) = q + 9. Let h be o(-7). Suppose -p = -1 + h. Let a = 8 + p. Solve -a = -2*x + 1 for x.
4
Suppose 0*v = -v + 10. Let s(f) = -f**2 + 9*f + 13. Let b be s(v). Solve b*a = -a for a.
0
Let d = 76 + -76. Solve d = -3*o - 4 + 19 for o.
5
Suppose -2*l + 130 = -0*l. Let q be l/7 + (-4)/14. Let g be ((-4)/6)/((-2)/q). Solve -5*d - g = 2 for d.
-1
Let x be 5*3*(7/(-7))/(-1). Solve -p - 4*p = -x for p.
3
Suppose 2*c + 6*c - 96 = 0. Solve -c = m - 5*m for m.
3
Suppose 0*y - 3 = -y. Let d(t) = -t + 4. Let r be d(0). Suppose 4*c - 4*v - 32 = 0, -r*c + 3*c = 3*v + 4. Solve c = y*x - 1 for x.
2
Suppose -5*v + 3 = -4*t + 1, -3*t = -2*v - 2. Suppose 0 = -v*n + 3*q + 32, 0*n + 2*q = n - 18. Solve -n - 5 = -3*l for l.
5
Let q be (-6)/((-1)/(2/3)). Solve -8 = -4*h + q for h.
3
Suppose -i - 1 + 22 = -4*c, 2*c = -10. Let f be -3*i - (-16)/2. Solve 3*y + 10 = f*y for y.
5
Let k = -19 + 11. Let l(u) be the third derivative of u**4/24 + 4*u**3/3 - u**2. Let g be l(k). Solve g = 2*p - p for p.
0
Let o be (-3)/(9/(-24)*-4). Let w be o*(60/(-8))/5. Solve h = -2*h - w for h.
-1
Let w = -4 + 10. Suppose 2*t = w*t. Let x(r) = -r**3 + r**2 + r + 2. Let q be x(t). Solve 0 = -q*y - 3 - 5 for y.
-4
Suppose 3*x - 11 - 10 = 0. Suppose 12*n - 20 = x*n. Solve t = n - 0 for t.
4
Let k(c) = -c**3 - c**2 - 3. Suppose -4*o = -o + 9. Let q be k(o). Suppose q = 3*r - 45. Solve 0*t - 4*t - r = 0 for t.
-5
Let l = -2 + 1. Let i = l - -1. Suppose 0 = -i*y + 4*y - 124. Solve 5*x = y - 6 for x.
5
Suppose 2*m - 10 = -3*m. Let u(v) = 3*v**2 + 2*v - 1. Let r be u(-2). Suppose -r = -2*d + 3. Solve m*g = -d - 5 for g.
-5
Let q(u) = -1. Let d(a) = -a - 2. Let n be d(2). Let o(c) = 3*c - 3. Let k(h) = n*q(h) + o(h). Let y be k(1). Solve -y*w - w = 25 for w.
-5
Let z(b) = -3*b**2 + 2*b - 1. Let h be z(3). Let l be 144/66 + 4/h. Solve -1 = 3*u + l for u.
-1
Let n(b) = b**2 - 19*b + 36. Let h be n(17). Solve -2*d - 16 = h*d for d.
-4
Suppose g + 3*t = 2, -2*t = -3*g + g + 12. Solve n + 0*n = -g for n.
-5
Let h = -6 + 8. Suppose 0*k = h*k - 20. Solve -k = -2*r - 3*r for r.
2
Suppose -w = 5*p + w - 14, 0 = -3*p - 4*w + 14. Let i be (-2)/(-6)*-1*-12. Suppose 0 = -i*x - 4*q + 32, -2*x = -x - 3*q + 12. Solve -u = -p - x for u.
5
Suppose 0 = -o + 3*d - 5*d - 5, 2*o + 5*d = -14. Solve -5*j + o = 8 for j.
-1
Let w(s) = -19*s**3 - 2*s**2 + 1. Let t be w(-1). Suppose 4*r - 2*g - t = 0, -2*r + g = -2*g - 11. Solve -3*n = 1 - r for n.
1
Let d(m) = -4*m - 3 - m + 15*m + m**2 + 16. Let h be d(-9). Solve h = 2*r - r for r.
4
Suppose 0 = -4*w + 2*b - 32, 4*b + 0*b = -5*w - 66. Let g = -7 - w. Suppose -8*s - 3*z = -g*s - 2, -1 = z. Solve 1 = l - s for l.
2
Suppose 4*f = 4*t + 1 - 21, -5*f = -4*t + 20. Suppose 2*n - 4*v - 4 = -0*v, 4*v = f. Solve n*l = 6*l - 8 for l.
2
Let v = 6 + -4. Let z = v - -13. Solve -4*s = -s + z for s.
-5
Let q be 32/14 + (-16)/56. Solve 5*s - q*s = -9 for s.
-3
Let t = 4 - 3. Let l(q) = -q**2 + q. Let u be l(t). Suppose -m + 8 = -u*m. Solve m + 1 = -3*s for s.
-3
Let v = -17 - -11. Let q = 10 + v. Solve 10 = q*x + x for x.
2
Let r = 45 + -43. Solve -r*z = -z for z.
0
Let k(s) = -s**3 + s**2 + 3*s - 2. Let r be (3/1)/3 - -1. Let t be k(r). Solve t = 4*a - 2*a + 2 for a.
-1
Let l be (8/(-6)