e -h = -8 + z for h.
4
Let m(n) = -11*n + 24. Let j be m(2). Suppose -f - 13 = -3*y, -f = y - 4*f - 15. Solve j = -b + y for b.
1
Let h = 23 + 18. Suppose 2*o = 19 + h. Suppose -4*i = 5*c - o, 4*c - 3*i - 2 = -9. Solve -6 = 2*j - c for j.
-2
Let y = 15 - 12. Solve y*s = -s - 4 for s.
-1
Suppose -5*n - 3*i - 10 = 0, 3*n + 4*i + i = -22. Suppose -5*g + 16 = -2*m - 0*m, 0 = 3*m + 9. Let s be n + (-1)/2*g. Solve 2*f - f - 2 = s for f.
2
Let f(r) = -3*r**2 + 7*r - 2. Let z(i) = 2*i**2 - 4*i + 1. Let q(x) = 3*f(x) + 5*z(x). Let k be q(2). Solve 0 = -5*d - k + 30 for d.
5
Suppose -5*c + 31 = 1. Suppose 20 = -p + c*p. Suppose 0 = 4*o - 3*a - 20 - 3, 0 = -p*a - 20. Solve o*x = -1 - 5 for x.
-3
Let u(c) = -c + 3. Let z be u(0). Solve 4*x - z = 5*x for x.
-3
Let q be 141/(-21) + (-2)/7. Let p = 7 + q. Let c(t) = -t**3 - 3*t**2 + 1. Let h be c(-3). Solve -y = -p - h for y.
1
Let k(m) = 7*m**3 + m**2 - 14*m + 9. Let z(p) = p**3 - p**2 - p + 1. Let y(u) = k(u) - 6*z(u). Let c be y(-8). Suppose c*b + b = 12. Solve b*d + d = -4 for d.
-1
Let b be 2/(8/12)*(-2)/(-3). Solve c - 1 = b for c.
3
Suppose -2*b - 3*s + 8 = 0, 0*s + 6 = 2*b + 2*s. Solve t - b - 2 = 0 for t.
3
Suppose 4*d - 10 = -2. Let p be (-2)/4*(1 + -3). Solve -3*s = -d*s + p for s.
-1
Let c = -3 + 4. Let o be 3/(-6)*(c - 1). Solve 0 = 3*x - 3 - o for x.
1
Suppose -b + 5*j - 10 = 5, j + 1 = b. Suppose -b = u - 0. Let a = -1 - u. Solve -7 = -a*t - 3 for t.
1
Let p = 14 - 9. Suppose w + 0 = 4. Suppose -9 + 1 = -w*b. Solve b*f = p*f - 6 for f.
2
Let j be -4 + (6 - (3 - 4)). Solve y + 20 = -j*y for y.
-5
Let z(c) = -3*c + 11. Let j be z(5). Let i(w) = 2*w**2 + 9*w + 6. Let o be i(j). Solve -o*l + 4 = -3*l for l.
-4
Suppose 36 + 28 = 4*c. Suppose 0 = 4*w + c + 12. Let z(s) = s**3 + 8*s**2 + 6*s - 2. Let j be z(w). Solve j*f + 10 = -5 for f.
-3
Let m(h) = 2*h - 18. Let x be m(10). Solve -x*q - 3*q = -5 for q.
1
Let c(z) = -z**3 - z**2 + z + 3. Let p be ((-8)/20)/((-1)/10). Suppose 4*r + 3*w = p*w - 4, -w = -4. Let u be c(r). Solve 2*m = 5*m - u for m.
1
Let k = -12 - -16. Solve 0*d - d + k = 0 for d.
4
Suppose n - 18 = -n. Suppose -2*c + 4 = -4*i, 5*i = -4*c + n + 12. Let d = 3 + -3. Solve d = -k - 1 - i for k.
-2
Let w = -6 - -10. Suppose 7*s = w*s + 6. Solve s + 6 = 4*v for v.
2
Suppose k - 3 + 0 = 0. Let t be (1/k)/((-2)/(-18)). Solve t*y + y = 0 for y.
0
Let x be ((-45)/10)/((-2)/28). Suppose -4*n + x = -5*s, 3*n - s = 61 - 22. Solve -c = 2*c - n for c.
4
Suppose -10*d + 5*d = -40. Let n = d - -2. Let m be (-1)/1 + n/2. Solve -4*i - m = -20 for i.
4
Suppose 9*k = 7*k - 4. Let f(n) = n**3 + 2*n**2 - 3*n - 3. Let l be f(k). Let h be 1/(l/(-9))*-1. Solve j + h*j - 12 = 0 for j.
3
Suppose -3*x + 11 = -n, 2*x + 4*n = -3*x + 24. Solve 5*m + 11 + x = 0 for m.
-3
Suppose 76 = 4*t + 2*c + 2*c, -3*c - 27 = -3*t. Suppose -7 - t = -4*d + 5*q, 0 = q + 1. Suppose -3*r + 2 = -5*l - 3, d*l + r = 13. Solve -l*g - 9 = g for g.
-3
Let m = 3 - -2. Suppose -4*t + 7 = 5*h - 16, -50 = -5*h + m*t. Solve 0 = 3*d + 2 + h for d.
-3
Let g(q) = -q**3 + 9*q**2 - 7*q - 8. Let l be g(8). Let f be -2 + -1 + l + 7. Solve -m = -5*m - f for m.
-1
Suppose -5*g = -2*u - 2, 5*g - 1 = g + u. Suppose g = 3*f - 7*f. Solve -5*a + f*a - 20 = 0 for a.
-4
Suppose z + 35 = -5*b - 0*z, 3*z + 15 = 0. Let l be (3 - 2)/((-3)/b). Solve l*w = 5*w + 15 for w.
-5
Let w be ((-4)/12)/((-3)/45). Solve 0 = 7*s - w*s - 10 for s.
5
Let g be (-73)/6 + (-3)/(-18). Let m = -7 - g. Solve m*p + 1 = -19 for p.
-4
Suppose d + 48 = -3*d. Let f = 22 + d. Solve -f - 10 = -5*s for s.
4
Suppose q + q = 0. Let v be 2/4*(q - 0). Solve 4*c - 4 = -v for c.
1
Let r = 16 + -32. Let m = -8 - r. Solve -m - 8 = -4*q for q.
4
Let j(c) = c + 10. Let n be j(-7). Suppose 1 = -n*g - 20. Let u = g + 12. Solve -2*h = -u*h + 9 for h.
3
Let u(l) = l**3 - 4*l**2 - 4*l - 1. Let m be u(5). Let o be (m/6)/((-2)/(-15)). Solve 0*n - 20 = o*n for n.
-4
Suppose -23*k + 29*k = 0. Solve 4*m - 9 - 7 = k for m.
4
Let p(u) = -u**2 + 11*u - 19. Let n be p(8). Solve 0 = n*d - 0*d + 25 for d.
-5
Suppose 2*m - 24 = 6*m. Let y be 52/6 - 2/m. Let p be 5*1 - (-6 - -9). Solve -p*c - c + y = 0 for c.
3
Suppose 0 = 3*q - 4*y - y - 38, 2*y = 5*q - 38. Let c = -4 + q. Solve 0 = c*k + 2 + 6 for k.
-4
Let v = -11 + 17. Solve 12 = -2*q + v*q for q.
3
Suppose 0*j - 5*j = 20. Let m = j + 8. Solve 11 - 3 = m*i for i.
2
Let g be 2/(-8)*0/5. Solve -i - 3*i = g for i.
0
Suppose 4*m - 5*m = 3*u + 2, 5*u = 5*m - 30. Solve -m*p + 20 = 4 for p.
4
Suppose 4*z - 12 = 0, 6*c - 5*z + 7 = 2*c. Solve -4 = c*v - 12 for v.
4
Suppose -7 = j - 30. Suppose -4*z + 2*b + j = 7*b, 0 = -z - b + 5. Solve -z*t = t - 3 for t.
1
Suppose -8*m = -26 - 14. Suppose -1 = a - l, 5*a - 26 = -l - 1. Suppose 3 = 5*p - 27. Solve -m*t + p = -a for t.
2
Let a(h) = h**2 + h + 2. Let q be a(0). Suppose 1 = 2*j - 5. Suppose 4*d = -j*o + 18, -q*d + 5 + 1 = 0. Solve 0 = o*k + 2*k for k.
0
Let u(j) = j + 17. Let v be u(-6). Solve 2*y - 1 + v = 0 for y.
-5
Suppose -5*r - 3 + 0 = -h, 9 = -2*r + 3*h. Solve p + r*p = 5 for p.
5
Suppose v = 13 + 7. Solve 2*f + 2*f - v = 0 for f.
5
Let b be (-32)/(-40) - 48/(-15). Solve -12 = b*u - 4 for u.
-2
Let c = 4 - 1. Solve -c*k - 15 = -6*k for k.
5
Let k = -5 + -1. Let i(g) = -2*g - 6. Let b be i(k). Solve 3*r - b = -0 for r.
2
Let f(s) = 8 + 0*s**2 - 5*s**3 - 7 - s**2. Suppose 1 = -i - 0. Let j be f(i). Solve -j*b - 15 = -2*b for b.
-5
Let b = -78 + 141. Let s be (b/6)/(6/8). Solve -2 = 3*m - s for m.
4
Let g = -3 - -7. Suppose -3*u + c + 1 = 0, -3*c = g*u - 4 - 6. Solve 21 = 5*y + u for y.
4
Let o(x) = 5*x - 7*x**2 + 2 + 10*x**2 - 2*x. Let m be o(-1). Let w(r) = r + 5. Let k be w(-5). Solve -q - m = -k for q.
-2
Let h = -75 - -95. Solve 2*z + 2*z - h = 0 for z.
5
Let w be 6/(-15) - (-274)/10. Let u = w - 19. Suppose -u = 2*x - 4*x. Solve -s + x = 8 for s.
-4
Suppose 4 = j - 3*j. Let r(t) = -t - 1. Let c be r(j). Suppose 16 = 4*y + 4*z, 13 - c = 3*z. Solve y = -q + 6*q + 10 for q.
-2
Suppose -4*m - 16 + 52 = 0. Let h(k) = -k**3 + 8*k**2 + 10*k - 9. Let w be h(m). Let a = 3 + w. Solve a*c = c - 6 for c.
-3
Suppose 0 = -4*c - 2*p + 6, -12 = 3*p + p. Suppose 0*g - 5*g + 15 = 0. Suppose -5*t = 5*x - 35, -c*t - t - 28 = -g*x. Solve -m - x = m for m.
-4
Suppose 2*u = 3*u + 6. Let d = u + 0. Let q be (-16)/d - (-2)/(-3). Solve -q*j - 5 + 11 = 0 for j.
3
Suppose 4*t - 5 + 33 = -2*o, 28 = -4*o - t. Let x = o + 8. Solve x - 4 = -j for j.
2
Let z be ((-6)/(-9))/((-1)/(-9)). Let g = z + -3. Suppose -u - o = -0 + 2, -6 = -4*u + g*o. Solve u = a + 4*a + 20 for a.
-4
Suppose m + 3*n = -0*n - 2, -4*m + 8 = -4*n. Solve 0 = 2*s - 5 - m for s.
3
Let m be -4 - -2 - (0 + -2). Let d(x) = x + 20 + m*x - 4. Let b be d(-8). Solve l + l = -b for l.
-4
Let n(k) = 2*k**2 + 2*k. Let w be n(-2). Solve 0 = -g + 2*g - w for g.
4
Suppose -6 = -5*x + 2*x. Let y be -1*((-2 - -1) + -4). Suppose x*u + 3*u = y*f, -2*u = -f - 3. Solve 0 = 2*p + 1 - f for p.
1
Suppose 0 = -u - 4*k + 2, u - 2*k + 2 + 8 = 0. Let s be 2*(-62)/u*3. Suppose -3*f = -5*d - 82, -5*f + s = -2*f + 5*d. Solve -f = 4*r - 8 for r.
-4
Let c(l) be the first derivative of -l**2/2 - 3. Let m be c(-5). Solve 9 + 1 = m*q for q.
2
Let y(q) = 6*q + 2*q**2 + 2*q - q**2 - 9. Let p be (-13 - -1 - 0) + 3. Let h be y(p). Solve -c + h = -1 for c.
1
Let a = -12 + 17. Suppose -4*z - a*q + 1 = 8, 0 = -5*z + 3*q + 19. Solve 0 = y + z*y + 9 for y.
-3
Let n be (-8 - -2)/((-3)/(-2)). Let w = n + 9. Let d(r) = -r**2 + 5*r + 2. Let q be d(5). Solve q*k = w*k for k.
0
Let v(m) = m - 1. Let g be v(2). Let n be 0 + g + 0 - -1. Suppose 6*i = 3*i + 6. Solve n = i*w + 4 for w.
-1
Let k be 32/6 - (-4)/(-12). Suppose 0 = -k*z, z = -2*o + 2*z. Solve -2*q = -o*q + 8 for q.
-4
Let z = -2 + 6. Let d be 2/z*2*3. Let i = 13 - 11. Solve -i*k + d = k for k.
1
Let a be (36/(-15))/(-4)*5. Suppose 4*y - 2 = a*y. Solve -y*c = -0*c for c.
0
Suppose 3*r - 10 = -5*g - 1, -4*g - r = -10. Suppose s - g*s = 0. Solve -9 = -s*k - 3*k for k.
3
Suppose 2*z + 10 - 4 = 0. Let b(l) = l**3 + 2*l**2 - 3*l + 2. Let d be b(z). Solve 0 = -d*t + 5 + 1 for t.
3
Let k be (-8)/1*-1 + -4 + -4. Solve -6*u + 3*u + 6 = k for u.
2
Let o(u) = -8*u + 1. Let b be o(1). Let g = b + 7. Let y be (g - 0/3)/3. Solve -2*l + y = 4 for l.
-2
Let q(k) = k**3 + 6*k**2 + 4