, 0 = 5*i + 5*h - 9 - z. Solve 0*o = -o - i for o.
-4
Suppose -4*y + 3*u = -0*u - 5, -4*y + u = -15. Suppose -3*v = -r + 5, -5*v - 3*r = -2*r - y. Solve 3*h = -v*h - 6 for h.
-2
Let r be 38/8 - (-2)/8. Suppose 3*p - 7 = -j, -r*p + 5*j - j = -40. Solve 0 = -p*s - 5 - 3 for s.
-2
Suppose 8 = 3*m - 4. Let s(z) = -z**3 + 3*z**2 + 5*z - 2. Let i be s(m). Solve -20 = -i*h - 2*h for h.
5
Let u = 16 - 8. Let j = -3 + 3. Solve 0 = 4*h + u - j for h.
-2
Let q be ((-3)/(2 - -7))/((-2)/36). Solve -q*c + c = 10 for c.
-2
Suppose -t - 5*m + 25 = t, -5*t + 19 = -2*m. Suppose 5*g - t = 10. Solve -4 = g*p - 5*p for p.
2
Let l be ((-12)/2)/(-3) + -1. Solve -l = m - 2*m for m.
1
Suppose 3*a + 69 + 12 = 0. Let f be (-1)/(-5) + a/(-15). Solve 3 + f = d for d.
5
Let t = 18 - 10. Let y = t - 0. Solve 18 - y = 2*o for o.
5
Suppose -4 = -g - 2. Solve 0*i + 6 = -g*i for i.
-3
Let d = 101 - 91. Solve -7*c + d*c - 12 = 0 for c.
4
Let n(z) = 4*z**3 + z. Let w be n(1). Let d = -17 + 4. Let a = d + 15. Solve b = w - a for b.
3
Let b(h) = h**2 - 6*h - 5. Let j be b(7). Solve -5*l = 18 + j for l.
-4
Let i(o) be the first derivative of o**2/2 - 2*o - 3. Suppose -10 = -5*d + b - 6*b, 0 = -3*d - 4*b + 2. Let v be i(d). Solve s = -s + v for s.
2
Let r(p) = -p + 3. Let c be r(0). Suppose 0 = -a + c. Suppose 0*t + t = a. Solve 2 = -w - t for w.
-5
Let t(s) = -s + 2. Let l be t(2). Let g be (6 - l)*(-15)/(-9). Solve 2*z = -0*z - g for z.
-5
Suppose 0*d + 2*d - 1 = h, 3*h - 4*d = -13. Let m = 13 + h. Solve -11 = m*f - 1 for f.
-5
Let p(g) = g**3 + 3. Let n be p(0). Solve n*s = -9 - 6 for s.
-5
Let n = 13 - 6. Let i = n + -5. Solve i*x + 10 = -0 for x.
-5
Suppose -x + 26 = -5*n, 4*x + 4 = -5*n - 17. Let w = 2 - x. Solve -4*t = 3 + w for t.
-1
Suppose -2*k + 4 - 6 = 0. Let s be (4/(-10))/(k/35). Solve 4*d - 2 + s = 0 for d.
-3
Let o be 2/(-8) + 105/(-12). Let u = -14 - o. Let r be ((-1)/(-1))/(-1)*u. Solve -r*x = 17 + 3 for x.
-4
Suppose -10 = -r - 4*r. Let k(l) = l + 4*l - 13 - 18*l + l**r. Let g be k(14). Solve -3 = -o - g for o.
2
Let i(z) = z**3 - 4*z**2 - 3*z - 7. Let r be i(5). Suppose 3*y = 5*k - 65, 2*y = k - r - 3. Suppose -5*o + 28 - 8 = 0. Solve 4 = -o*t - k for t.
-5
Suppose 5*f + 5 = -n, -8*f + 4*f + 8 = 2*n. Solve -n = -3*c + c for c.
5
Suppose 4*g - 1 = 31. Let r(v) = 2*v + 9. Let o be r(g). Solve 9*q - o = 4*q for q.
5
Let i(z) = z + 1. Let s(k) = k**2 + 5*k - 6. Let u(a) = -2*i(a) - s(a). Let t = -6 - 1. Let x be u(t). Solve o + x = 3 for o.
-1
Suppose -7*v = 13 + 15. Let l be 4 - (v + 4 + 0). Solve -l*i - i = 25 for i.
-5
Suppose -3 - 3 = y. Let j be (-2)/(2*3/y). Solve -3*w = j + 7 for w.
-3
Let f = -20 - -30. Suppose 0 = -0*i - 5*i + f. Solve i*w - 1 = 7 for w.
4
Let p be (-96)/(-44) + 2/(-11). Solve -p*x + 0 = -2 for x.
1
Suppose -2*l = 4*c - 12, 0*l + l = -c + 5. Solve -l*u + 25 = u for u.
5
Let h = -27 - -40. Solve -2*k = -h + 3 for k.
5
Let y be -2 + 3*24/9. Let b(f) = f + 4. Let m be b(y). Solve 2*p - m = -0*p for p.
5
Let t(d) = -d + 7. Let a be t(5). Solve -4*i = -3*i - a for i.
2
Suppose -2*b = -4*b + 4. Solve 2 = -2*d - b for d.
-2
Suppose -2*x - 3*x = 0. Let d = x + 0. Solve -4*u + d*u = -20 for u.
5
Suppose 0 = m + 9 - 14. Solve -3*q = 4 + m for q.
-3
Let i be 2/4 + 18/4. Suppose 6 = -2*m + i*m. Let u(z) = -z + 8. Let w be u(8). Solve w = m*v + v - 9 for v.
3
Suppose 0 = -l - 0*l + 3. Suppose l*i + 2*y + 2 = -2*y, -4*i + 2*y = -12. Solve 0 = 5*r - 3*r - i for r.
1
Let s(r) = 3*r**2 + 2*r - 1. Let u be s(1). Let t(f) = 7 + 0*f + u*f**2 - 3*f**2 - 7*f. Let m be t(6). Solve -1 = i + m for i.
-2
Let z = 9 + -9. Solve z*x = 3*x for x.
0
Let g(h) = -h. Suppose -5*i = -4*i. Let w be g(i). Let n = 9 + -7. Solve 0*d + n*d = w for d.
0
Let g(c) = 7*c - 33. Let a be g(5). Solve -2*l + l = -a for l.
2
Let w = -110 - -115. Solve w*o = 8*o for o.
0
Suppose -2*m + 31 = 4*w + 7, -3*m + 3*w = -18. Let z = -5 + m. Suppose 0 = 2*h - z*h. Solve h = -0*q + 3*q for q.
0
Let x(u) = u**2 + 11*u + 15. Let n = 8 - 3. Suppose n*p + 62 = -4*c, c + 2*c = -9. Let z be x(p). Solve -z*a + 12 = -13 for a.
5
Let v be 2*(0 + 4 + -3). Suppose 3*r + v*h = -2*r - 7, 5*h = -r - 6. Let u be 0 - (-4 + r + 2). Solve u*l = -l for l.
0
Let y be (-8)/36 - (-58)/18. Let p = 3 - y. Solve p = o - 6*o for o.
0
Let s = 128 + -123. Let o be 9 - ((2 - 1) + 0). Solve o = s*c - c for c.
2
Suppose -19 = -6*t - 7. Solve 7*y = t*y - 25 for y.
-5
Suppose -v = 1, 2*g - g - 4*v = 4. Suppose 3*y - m - 9 = 0, -5*y + 3*m - 1 + 20 = g. Solve 4 = y*q - 4 for q.
4
Suppose -2*o + 5 = 1. Suppose 0 = 2*c - 3*h - 15, -5*c + 4*c + 3*h + 12 = 0. Solve -o*y = y - c for y.
1
Suppose 2*f + 2 - 6 = 0. Solve 3*k - f*k + 2 = 0 for k.
-2
Let c(w) = -w**3 + 3*w + 1. Suppose 5*t + 0*t = -10. Let b be c(t). Solve -2 = b*r - 4*r for r.
2
Let g be 3 + (20/4 - 3). Let n = -1 + 6. Solve 2*x + g = -n for x.
-5
Let y be -30*((-1)/(-2) - 0). Let v be y*((-3)/9 - 0). Solve 3*w - 2 + v = 0 for w.
-1
Suppose 5*t - 15 = -0*t. Solve -5 - 1 = t*i for i.
-2
Suppose -4*w = -2*w + 6. Let d(f) be the first derivative of -f**4/4 - 4*f**3/3 - 3*f**2/2 + 3*f + 1. Let p be d(w). Solve g = 4*g - p for g.
1
Let z be (-14)/(-2) - (1 - -2). Solve 5*r - 1 = z*r for r.
1
Suppose 4*r = -0*r. Solve 0 = -r*m - 2*m for m.
0
Suppose -3*j - 11 = -14. Let c(o) = 3*o**3 - 2*o**2 + 2*o - 1. Let y be c(j). Solve -y = g - 3*g for g.
1
Let y = -2 + -1. Let u = -5 - y. Let o = u - -5. Solve r - 8 = -o for r.
5
Suppose -6*r + 2*r = -20. Let p be (4/r)/(4/10). Solve -4 = 3*t + p for t.
-2
Let k(i) = -i**2 + 2*i - 1. Let u be k(1). Let g be 2/(-8) + 244/16. Suppose -g = -x - 4*x. Solve u = -c - x - 2 for c.
-5
Let t be 12/36 - (-1)/(-3). Solve m + 3*m + 4 = t for m.
-1
Let o(s) = 3*s + 4. Suppose 2*z + 4 + 0 = 0. Let b(m) = -m - 1. Let v(f) = z*b(f) - o(f). Let l be v(-2). Solve l = -0*q + 4*q + 12 for q.
-3
Let a = 11 + -7. Solve g + 1 = a for g.
3
Suppose c + 13 = 14. Solve -f = -c - 3 for f.
4
Suppose -4 = 4*m - 5*m + 2*t, 0 = -2*m + 3*t + 7. Let b be (0 - m)/2 + 16. Solve -2*y - 3*y + b = 0 for y.
3
Let a be ((-6)/(-4))/(1/2). Solve a*f + 0*f = 12 for f.
4
Let g(q) = -q**2 + 1. Let z(j) = 2*j**2 + 7*j - 9. Let n(a) = 3*g(a) + z(a). Let y be n(6). Suppose y*l - 3*l = -6. Solve -h + 0 = -l for h.
2
Suppose 0 = -3*h - h + 8. Suppose x + 10 = h*x. Solve -x = 2*c + 3*c for c.
-2
Suppose 5*m = 6*m. Solve z + z = m for z.
0
Suppose 0 = u + u + 24. Let o = 20 + u. Suppose -3*b - 2 = -o. Solve -3*c + 7 + b = 0 for c.
3
Suppose w = 2 + 2. Solve 3 = -w*y - 13 for y.
-4
Let n = 103 - 103. Solve n*q = -2*q - 2 for q.
-1
Suppose -u - 2 = 4*t, 2*t - 2 = -0. Let z(p) = p**3 + 6*p**2 - p + 2. Let v be z(u). Suppose 2*f = 6*f - v. Solve f*x = -2*x for x.
0
Let h be (-2 - 4)/(-1 + 2). Let q be 43/9 - h/27. Let v(x) = x**2 - 3*x - 1. Let o be v(q). Solve -2*b + 1 = o for b.
-4
Let c = 9 - 4. Suppose -3*y + 1 + c = 0. Solve 4*d + y = -2 for d.
-1
Let b be (-1 + 0)*(7 - 10). Solve b*c + 8 = -4 for c.
-4
Suppose -2*f + 1 + 5 = 0. Solve 8 = -f*h - h for h.
-2
Suppose -15 = -2*u + 3. Let n(l) = -7*l + 3. Let o(h) = -20*h + 10. Let x(c) = 17*n(c) - 6*o(c). Let q be x(u). Solve q*g = 4*g + 4 for g.
-1
Suppose 0 = -a - 1 + 6. Let t = 11 - a. Solve -t*d + d = -15 for d.
3
Let x(q) = q**2 - 5*q + 4. Let c = 2 - -2. Let w be x(c). Solve w*j = 2*j - 2 for j.
1
Suppose 5*b = 3*f + 47, 3*b + 2*f + 1 - 14 = 0. Let w be -1 + b + -2 + -1. Solve -i = 2*i + w for i.
-1
Let d(l) = l**3 + 3*l**3 - 3*l**3 + 9 - 10*l**2 + 11*l - 3*l. Let i be d(9). Suppose 5*j + 3*x - 35 = i, -6*j - 3*x + 23 = -4*j. Solve -j*o + 2 - 22 = 0 for o.
-5
Let j(k) = -k**2 + 6*k - 5. Let t be j(3). Solve -3*b = -t*b + 2 for b.
2
Let a(r) = r**2 - 9*r + 8. Suppose 2*o = 2 + 14. Let b be a(o). Suppose -y = -2*h + 2*y + 3, -1 = -h + 2*y. Solve b = -h*w - 7 - 5 for w.
-4
Let b(q) = -1 - q + 3*q - 7. Let a be b(6). Suppose 2*f = 3*i + i - a, -4*f = -5*i - 1. Solve 0 = -m - 0 + i for m.
3
Suppose -4*m - 3*s - 44 = s, -20 = 5*m - 2*s. Let u(d) = d**2 + 6*d + 2. Let i be u(m). Let o(l) = -l**2 + 5*l + 6. Let g be o(6). Solve g = 2*c + 10 - i for c.
-4
Let s(o) = o**2 - 3*o - 7. Let x = -6 - -10. Suppose 4*b - 6*z - 10 = -z, -2*z = -x. Let r be s(b). Solve -2*m - 3 = r for m.
-3
Let i = 44 + -42. Solve -3*m + i - 11 = 0 for m.
-3
Let y be 357/