*p - 20 = g for p.
-4
Let q be (-4 - 0)/(2 - 3). Let b(c) = 7*c - 27. Let u be b(5). Solve 0 = q*y + u for y.
-2
Let c(k) = k**2 - 5*k - 6. Let w be c(6). Suppose w = 4*l + 3*d - 23, -3*l - 6 = -5*d - 16. Solve -4*s = -l*s for s.
0
Suppose -5*s + 15 = -0. Suppose 8 = 2*u + s*m - 6, u = -5*m. Let y(i) = i - 3. Let p be y(6). Solve -5*w + p*w - u = 0 for w.
-5
Let p = 20 + -17. Let y = -3 + 5. Suppose y*c = 23 - 3. Solve p*t + c = 4 for t.
-2
Suppose -5*k = -5*s + 55, 4*k + 27 = -2*s + 1. Let f = k + 12. Solve 1 - f = -h for h.
3
Let o be (5/10)/(2*(-1)/(-40)). Solve -2*j + o = 4 for j.
3
Let z = -186 - -196. Solve -7*o + 2*o = -z for o.
2
Let h(t) = -t**3 + 2*t**2 + 16*t - 3. Let s be h(5). Solve -s*x = x for x.
0
Let w(v) = -v**2. Let b be w(-2). Let i = b + 10. Solve c = 3*c - i for c.
3
Suppose 0 = 5*a + 5*s - 15, -5*a + 0*a = -2*s - 36. Solve 0 = -2*g + a*g for g.
0
Let s = -6 + 10. Let b(h) = -h**3 + 8*h**2 - 6*h + 3. Let z be b(7). Let j = -6 - -8. Solve z = s*r - j for r.
3
Let m(f) = -f - 1. Let s be m(-10). Let p = 13 - s. Suppose -z = -p*z. Solve -5*r + 10*r + 10 = z for r.
-2
Let u = 21 + -20. Solve 0 = -m - 1 - u for m.
-2
Suppose -16 = -4*z - 0*z. Let s = -18 - -31. Let y = s - z. Solve -2*o + y = 3 for o.
3
Let x(g) = 105*g. Let w be x(1). Suppose -5*v - 5*l + w = 0, 4*v - 68 = -3*l + 15. Solve -3*c - v = 2*c for c.
-4
Let r = 8 - 6. Suppose -r*n = -0*b - 5*b + 22, 3*n = -2*b + 24. Solve -b = -4*i + 6 for i.
3
Let n be 5/2 + (-3)/(-6). Suppose -1 + n = -v, 5*t + 4*v - 17 = 0. Solve t*l - 29 = -4 for l.
5
Let s = 10 + -7. Suppose 2*j - 15 = -z, 0 = 2*z + 2*z + 3*j - 85. Solve -s*b = 2*b + z for b.
-5
Let l = -74 + 94. Solve -6*v + 11*v = l for v.
4
Suppose 4*l - 41 = -p, 2*l + 7 + 4 = p. Solve -p + 1 = 5*j for j.
-4
Let s(w) = -2*w + 16. Suppose -3*f = -a - 7 + 27, -3*a - 2*f = -16. Let g be s(a). Solve h + 4*h + 15 = g for h.
-3
Suppose 10 + 0 = 5*x. Solve 2*u = -x*u for u.
0
Suppose -10 = -m + f - 3*f, 3*m + 2*f = 10. Suppose -r - 12 = -3*p, -2*r - 2*p + 25 - 9 = 0. Solve -3*o + 6 + r = m for o.
3
Suppose -4*l - 4*y - 3 - 25 = 0, l + 5*y - 5 = 0. Let n be l/(-3)*6/(-5). Let s be ((-4)/2)/(n/10). Solve 0*c = 5*c - s for c.
1
Suppose -8 = 4*d, 2*d + 16 = 2*w + 4. Solve 0 = -w*a + 8 + 4 for a.
3
Let a(h) = 2*h**2 + h + 2. Let w be a(-4). Solve w - 10 = -5*j for j.
-4
Suppose 0*x = -3*j + 4*x + 65, 4*x = 5*j - 95. Let u(h) = -h**3 + 3*h**2 + 2. Let o be u(3). Solve 0 = 3*q + o*q - j for q.
3
Suppose -2*k + 4*g - 8 = 0, -4*k + g = -k + 32. Let n be (9/k)/(1/(-4)). Suppose -5*w + 2*w = 5*d - 13, 4*d + w - 9 = 0. Solve 0 = -m - n - d for m.
-5
Let r be 3 + -1 + -2 + (-4)/(-2). Solve -5*j + 7 - r = 0 for j.
1
Let i(n) = n + 1. Let w be i(4). Suppose w + 3 = 4*o, 5*u - 2*o = 6. Solve 0*f = -u*f for f.
0
Suppose -z = -y - 13, -z + 37 = 3*z - y. Let q = 20 + -28. Let n = q + 10. Solve n*b + 2*b = -z for b.
-2
Let k(z) = -z**3 + z**2 - z. Let j be k(0). Suppose -5*p + 3*p = j. Suppose -2 + 26 = 4*o + 4*g, -4*o = g - 30. Solve -4*i + o = -p*i for i.
2
Let i(a) be the second derivative of 0 + 2*a + 0*a**2 - 1/6*a**3. Let r be i(-1). Solve s + r = -0 for s.
-1
Let i(w) = -w**2 - 2*w + 1. Let g be i(-2). Suppose 29 = 5*v - g. Solve 4*r - 2 = -v for r.
-1
Suppose z + 0*z + 2*f - 6 = 0, -15 = -2*z - f. Let g = 5 - -2. Solve g + z = -5*v for v.
-3
Let x be 1 - (-1)/(-1)*-1. Let n = 1 - 1. Let i be n*(-1)/4*-2. Solve i*r = x*r - 2 for r.
1
Let j(n) = -6*n**3 - 2*n**2 - n. Let h be j(-1). Let q = h + 2. Solve 15 = -2*c + q*c for c.
3
Suppose 4*h - 28 = -3*a, h + 0*h = 2*a - 15. Solve -y - y = -a for y.
4
Let k(f) = -3*f + 3. Let h be k(2). Let o be (1/2)/(h/(-24)). Let v = 11 + -5. Solve o + v = 5*i for i.
2
Let x = 8 - 4. Suppose 0 = -5*w - 4*h - 58, -x*w + 5*w + h = -12. Let t be w/(-4)*(-24)/(-15). Solve t = -2*z + z for z.
-4
Suppose 0*h = h + 6. Let y be (-32)/h*(-3)/(-2). Solve -t - t - y = 0 for t.
-4
Suppose -4*m - 1 = 2*c - 19, 3*m + c - 14 = 0. Solve m*s = s for s.
0
Suppose 3*i - 38 = i. Suppose 6 = 2*m - 2*n, -3*m + 6*n - n = -i. Let l be (-1 + m)*2*-1. Solve 10 = -l*z + z for z.
-2
Suppose 3*h = -2*h + 25. Suppose -4*j = -19 - 1. Suppose -x = -3*y - 5*x + 4, 5*x - h = j*y. Solve y*v - 15 = 5*v for v.
-3
Let a(y) = y**3 - 6*y**2 + 7*y - 7. Let q be a(5). Let p be 0 - (6/q + -2). Suppose p = 2*x - 3 - 15. Solve 0 = -4*f - x - 3 for f.
-3
Suppose 2*s - 13 + 1 = 2*a, a = 3*s - 14. Solve -2*j - s = -3*j for j.
4
Let s = -5 + 9. Suppose 0 = -4*q + 5*q + s*z - 3, -2*z + 6 = 2*q. Solve -q*b = -7 + 1 for b.
2
Let r(l) = -3*l**3 + l**2 + 2*l + 1. Suppose c + 3*c = -8. Let z be r(c). Let w = 5 + 0. Solve w*p + 0*p = z for p.
5
Let x be (0/2)/(-2 - -3). Solve x*i = -i - 3 for i.
-3
Let g be 6/4 - (-6)/4. Suppose -p + 8 = g*p. Suppose -p*o + 4 = -0*o. Solve z + z = -o for z.
-1
Let t(g) = -g**3 + 2*g**2 + 6. Let n be t(0). Solve -2*v - 8 = -n*v for v.
2
Let f = 22 - 14. Solve -3*q + f*q + 20 = 0 for q.
-4
Let n be 1/2*(2 + -18). Let v be 2/n + (-390)/(-24). Let j be ((-1)/2)/((-1)/v). Solve -x + 5*x = j for x.
2
Let b(i) = i**2 + 3*i - 2. Let y be b(-4). Suppose n - y*n = 0. Solve n*m = -3*m + 9 for m.
3
Let i = -24 - -21. Let v be 1/i - (-20)/6. Solve -9 = -6*g + v*g for g.
3
Suppose 2*q - 7 - 55 = 3*r, -4*q - 16 = r. Let j be (-6)/15 - 48/r. Suppose 0 = w + 5*x - 2, -w - 3*w - 5*x + 8 = 0. Solve 4 = j*u + w*u for u.
1
Let u(q) be the first derivative of -2*q**2 - 6*q + 4. Let n be u(-4). Let j = -4 + 6. Solve j*c + n = -0 for c.
-5
Let s = -20 + 20. Solve -l = -s*l for l.
0
Suppose 0 = -n + 5. Let u = n - -15. Solve -q + u = 4*q for q.
4
Let i = -24 - -29. Solve -3*z - i - 1 = 0 for z.
-2
Suppose 3*i + 8*o - 29 = 7*o, -i - 12 = -4*o. Let s be (-129)/(-27) + 4/18. Solve i = 3*f - s*f for f.
-4
Let p(l) = 8*l - 2. Let c(t) = -3*t + 1. Let q(f) = -11*c(f) - 4*p(f). Let s be q(3). Let n be (12/(-8))/(-1*(-2)/(-4)). Solve s*a - n*a = 3 for a.
-1
Suppose -t = -6*t + 10. Suppose -t*k + 10 = 3*k. Let z be (-6 - -6)*k/(-4). Solve z*r - 4 = -4*r for r.
1
Suppose -17*m + 15*m + 8 = 0. Suppose 4*x = 16 - m. Solve 0 = -3*i - 0*i - x for i.
-1
Let c = 22 + -20. Solve 0 = -b - c*b for b.
0
Let g(l) = 4*l**3 + l**2 - l. Let d be g(1). Let u = -1 + 3. Suppose -u*n + 4*n = 0. Solve -12 = -n*f + d*f for f.
-3
Let y be (57/6)/(2/4). Let p be ((y + 0)/1)/1. Solve -5*o - 1 = p for o.
-4
Suppose -11 - 9 = -10*t. Solve -b - t = 1 for b.
-3
Let p be 0 + -2 + (-3 - -19). Solve -2*w - p = -4 for w.
-5
Let b(s) = 6 + 3*s - s - 3*s. Let h be b(6). Let x be (4/6)/(1/6). Solve -5*y + 4*y - x = h for y.
-4
Let l(z) = 2*z + 28. Suppose 2*t - 2*x - 6 = 3*t, 0 = 2*t - x + 27. Let q be l(t). Suppose 4*u = 11 - 3. Solve u*m - 4 = q*m for m.
-2
Let k = -7 - -7. Suppose 5*d = -k*d + 10. Let n be -2 + 3 + 4/2. Solve -d*b + 5 = n*b for b.
1
Let y(p) = p + 13. Let d(x) = -2*x - 10. Let r be d(-7). Suppose -g + f = 13, -5*g + 18 - 81 = -r*f. Let n be y(g). Solve -3 = 5*i + n for i.
-1
Let r(u) = -u**3 + 2*u**2 + 5*u - 2. Let w be r(3). Let p = -8 + 14. Suppose -w*v - 2 = -p. Solve -4*h = v - 17 for h.
4
Let i(t) = -t**3 - t**2 + t + 5. Let g be i(0). Let q = g - 3. Solve -n + 0 = -q for n.
2
Suppose -3*m - 3 = 0, 2*m + 2*m + 29 = 5*q. Suppose 0 = q*p + 4*o - 45, -3*p - 3*o + 17 = -13. Suppose -4*i = -i. Solve -r = p - i for r.
-5
Suppose -3*t = t - 4*r, -5*t - r + 24 = 0. Suppose i - m - 3 = 3*i, 0 = -3*i - 4*m - 12. Solve 2*z + t - 12 = i for z.
4
Let y = -14 + 16. Suppose 3*z + 3 = 3*w - 0, 4*w - 10 = -y*z. Solve 3*a = z - 4 for a.
-1
Let t(c) = c + 2. Let h = 5 + -7. Let b be t(h). Solve b = -5*x + 2 + 18 for x.
4
Suppose 2*z - 10 + 6 = 0. Suppose -8 = z*b - 4*y, 3*b - 2*y + 0*y = -4. Solve 3*i + b = 12 for i.
4
Suppose -7*n = -2*n - 45. Suppose -21 = -3*b + n. Solve -3*l = 2*l + b for l.
-2
Suppose -4*m = 3*b, 4*b + 3*m = 6*b - 17. Let w(v) = -v**2 - 8*v - 1. Let a be w(-7). Suppose -20 = -2*q - 4*n, a*n = -2*q + n + 22. Solve b*f = f + q for f.
2
Suppose 2*t = 6*t + 2*l - 32, 3*t = 3*l + 6. Suppose 3*w - 11 = -4*r, -r - t = -0*w - w. Solve 5*z = -25 + w for z.
-4
Let k = 19 - 17. Solve 0*q - k*q - 4 = 0 for q.
-2
Let j(b) = 4*b**2 - b. Let f be (-24)/(-14) - 2/(-7). Let k = 1 - f. Let v be j(k). Solve -2*i = -i - v for i.
5
Suppose -12 = -4*t, 0 = -2*v - 0*v + 3*t - 3. Solve v = 3