se 4*l - 32 = 3*x, -1 = 3*x + 11. Let y(p) = p + 1. Let k be y(l). Solve -h - k + 3 = 0 for h.
-3
Let j = -4 + 11. Suppose -2*z - j = -11. Suppose z*y = 16 + 8. Solve -y = -3*g - g for g.
3
Let o = 10 - -6. Suppose j - 4*m = -1, 3*m - 7 = -j - m. Solve -j*w + o = w for w.
4
Let c = 10 + -5. Suppose 8 = y - m, 0*m - 16 = -y - 3*m. Solve c + y = -3*k for k.
-5
Let g(h) = 3*h - 15. Let x be g(10). Suppose -4*p = -5 - x. Solve -p*q + 6*q = 0 for q.
0
Suppose -3*s + 0*s + 234 = 0. Suppose s - 10 = 4*i - 4*m, -4*m = i - 17. Suppose 3*y = -2*r + 22, -3*y - 2*r + r + i = 0. Solve -15 = y*z + 1 for z.
-4
Let l be ((-4)/10)/(1/(-5)). Let z(x) = -3*x + 1. Let f be 3 + -3 - (1 + 0). Let g be z(f). Solve l*p = p + g for p.
4
Let r be 10*1 + 0*8/(-16). Solve -10 - r = 4*p for p.
-5
Suppose r + 5*v - 8 = 4, 8 = 3*r + v. Solve -r*g + g + 2 = 0 for g.
2
Let v be -3 + (12/4 - -1). Suppose 0 = -3*b + 5*b + 44. Let n be 1/((-2)/b + 0). Solve -5*x = v - n for x.
2
Let n(t) = t + 2. Let j be n(-2). Solve j = 3*m + 4 - 10 for m.
2
Suppose p + 4 = 5*p. Let s = 1 + p. Solve 0 = 2*q - s - 4 for q.
3
Suppose 4*x + u + 2 = 2*u, 4*u - 8 = -5*x. Let j = 2 + x. Solve j*s + s = -12 for s.
-4
Let j = 47 - 31. Let o = j + -11. Suppose o*t - 119 = -2*d, t + 2*d - 69 = -2*t. Solve -2*f - 3*f = t for f.
-5
Suppose 3*s = k - 2*s - 4, 4*k + 4*s - 16 = 0. Let h be -3*(11/(-3) + 3). Solve -h*j - 6 = -k*j for j.
3
Suppose -3 = -2*s - 3*f, 2*s - 1 = s - f. Suppose 6*z = z + 4*w + 37, 5*z + 3*w - 16 = s. Solve 3 = 2*o + z for o.
-1
Suppose 0 = -3*w + 5*d + 24, 5*w + 0*w = -d + 12. Solve w*z = z for z.
0
Let o be 12/(-10)*(-35)/14. Suppose o*w = -4*q + 27, -3*q + 0*w + 2*w = 1. Solve 2*f = q*f - 1 for f.
1
Suppose -5*r - 4*n + 28 = 0, 0*n - 6 = -4*r + 5*n. Suppose 4*p - g + r*g - 184 = 0, -5*p + 261 = -4*g. Suppose p = 4*v - 35. Solve -3*z = -v + 6 for z.
5
Suppose 4*r + l = 3*l + 12, 3*l = -3*r + 27. Solve -r = -u - 3 for u.
2
Suppose 13 = 4*s + 1. Suppose -2*u - 5 = -4*b + 9, 0 = b - u - 5. Solve 0 = b*t + s*t - 15 for t.
3
Suppose -10*r + 141 = -19. Solve -7*f + 3*f = r for f.
-4
Let f be 4 - -6 - (-1 - 3). Solve 3*w - 1 = f for w.
5
Let p(x) = -x**2 - 5*x + 17. Let r be p(-6). Solve 4 + r = 3*b for b.
5
Suppose 3*m = -5*v + 32, 2*v + 6 - 14 = 0. Suppose 0 = -m*k - 0*k + 20. Let r(x) = -3*x - 6. Let d be r(-8). Solve k*b = 2 + d for b.
4
Let p = 5 - 3. Solve p*t + 3 = 3*t for t.
3
Let y = 0 - -1. Let x be 1/y + (-2 - 6). Let v = 11 + x. Solve v*u - 1 + 13 = 0 for u.
-3
Let d = -6 - -7. Solve 0 = -2*f + 3 + d for f.
2
Let f = -7 - -12. Suppose -2*u + 2*r = 12, f*r = 4*u + 17 + 7. Let s = u + 10. Solve -3*p - 3 = -s*p for p.
3
Suppose 2*c = 11 - 115. Let p = -37 - c. Suppose -k + 1 = -4. Solve -k*l - 5 = -p for l.
2
Let f = -4 + 7. Suppose 26 = 5*c - f*v, 5*v - 2 = -4*c + c. Suppose q = c*q - 6. Solve 10 = -q*k - 0*k for k.
-5
Let v(k) = k - 3. Let u be v(3). Suppose 3*s - 12 = -s. Solve -s*w + u = 15 for w.
-5
Suppose -4*u + 2*b = -78, 24 + 17 = 2*u + b. Solve u = 5*i + 5 for i.
3
Let a = 6 + -2. Suppose 4*w = 0, q + 6 = 2*q + a*w. Suppose -2*k = k - q. Solve k = d - 1 for d.
3
Let b = 39 - 36. Solve -b*j - 16 = -7*j for j.
4
Let u = 23 - 21. Solve t + 3 + u = 0 for t.
-5
Let j(d) = -12*d. Let s be j(-1). Suppose 2*z - 6 = 5*t - 0*z, -3*t = 3*z - 9. Solve -4*v = -t*v + s for v.
-3
Suppose -5*d - 15 = 0, 0 = -5*i - 5*d - 48 - 12. Let c be i/54 + 25/6. Solve c*q = -3 + 11 for q.
2
Let i = 71 + -67. Suppose 0 = -2*r + 7*r. Solve 2*x = -r*x + i for x.
2
Let x(t) = -t**3 + 6. Let p be x(0). Suppose -i = -p*i + 20. Solve 2*w + 8 = i*w for w.
4
Let m be ((-12)/(-16)*4)/1. Solve -f - m = -2*f for f.
3
Let n = -14 + 23. Suppose 2*m = 2 - 0. Let s be (2 - -1)/3*2. Solve -s*p = m - n for p.
4
Suppose -27 = -8*o + 45. Solve 0*v + o = -3*v for v.
-3
Let j be (-3)/(-1) - (-1)/(6/12). Solve j*b = 3*b - 10 for b.
-5
Suppose 4 = 5*k + 79. Let t = -13 - k. Solve -2 - t = 4*c for c.
-1
Suppose 3*r + 10 = -11. Let n = r + 7. Solve -3*h - 5 - 10 = n for h.
-5
Suppose 2*c + 6 = -2*m, 3*m + 0*m - c + 13 = 0. Let h be 78/4 + (-2)/m. Suppose 3*s + 2*s = h. Solve 3*l - s - 5 = 0 for l.
3
Let k = -15 - -19. Suppose 2*n + 5*a = -7, 0*n - k*a = -2*n + 20. Solve j = -0*j - n for j.
-4
Suppose -w + 29 = 27*v - 30*v, 2*w - 48 = 4*v. Solve -w = 2*u - 16 for u.
1
Let s(n) = n**2 + 3*n - 1. Let l be s(-4). Let q(d) = -d. Let m be q(-2). Let c = 31 + -28. Solve -c*o + l = -m*o for o.
3
Suppose -8 = a - 3*z, -a - 2 = -0*a - z. Let r = 16 - a. Solve 2*w - r = -w for w.
5
Let m(n) = n**2 - 2*n - 2. Let r be m(4). Let f = 9 + r. Solve 3*g = -2*g - f for g.
-3
Let k(r) = -r - 3. Let t = -5 - 0. Let w be k(t). Let v be w*(-1)/2 - -8. Solve 3*y + 5 + v = 0 for y.
-4
Let z(u) = -u**3 - u**2 + u + 45. Suppose 0 = -6*s + s. Let l be z(s). Suppose -6*n + l = -n. Solve 2*g = 5*g + n for g.
-3
Let h be -2 - -1 - (-2)/2. Suppose h - 10 = -n. Solve n = -3*c - 2*c for c.
-2
Let c = -179 - -181. Solve -c*d = -4 - 4 for d.
4
Suppose -2*v = -3 - 5. Solve -v*o + 3*o = 0 for o.
0
Let g(s) = s**2 + s + 1. Let c(m) = -4*m - 2. Let z(x) = -c(x) + g(x). Let n = 8 - 13. Let d be z(n). Solve -2*h - 1 = -d*h for h.
1
Let g be -1 - (0 - -1 - -2). Let c be 1/(-4) - (-75)/12. Let l = g + c. Solve 3*v + 7 = -l for v.
-3
Let c be (-5)/2*52/(-10). Suppose 3*m - 2 = c. Suppose 3*r = -9, 6*r - r + 25 = m*q. Solve f - q*f = 5 for f.
-5
Let h be (23 - -2)*(-4)/(-10). Suppose -5*d + 2 = -2*u, 4*d - 4*u - 2 + h = 0. Solve -9 = -d*n - 1 for n.
4
Let y(z) = -z**2 - 5*z + 14. Let f be y(-7). Solve f = 3*j + 11 - 2 for j.
-3
Let v(y) be the first derivative of -y**4/24 - y**3/6 - y**2 - 3. Let t(x) be the second derivative of v(x). Let o be t(-5). Solve -o = -4*g - 24 for g.
-5
Let u(a) = 2*a**2 - 3*a + 1. Let s be u(3). Let m = -5 + s. Suppose 5*d + 2 = -5*b + 27, m = d + 5*b. Solve -d = 5*o - 0*o for o.
-1
Let s = -5 + 25. Solve 0 = 8*t - 3*t - s for t.
4
Suppose 0 = 3*b + z - 12, -2*z = b - 4. Suppose -2*d = 3*j - 0*d - 128, 3*d - 172 = -4*j. Suppose -v - 17 = -2*f, -6*f + f + 3*v = -j. Solve -f = 5*m + b for m.
-3
Suppose -5 = -5*n, 4*n = 5*k + 1 - 7. Solve 2 = -k*z - 0*z for z.
-1
Let o(r) = -8*r + 42. Let b be o(5). Solve b = t - 0 for t.
2
Let h be 11/((2/1)/(-2)). Let u = h - -36. Solve -2*f + u = 3*f for f.
5
Let y be 3*2*(-4)/(-12). Suppose -y*p = p. Solve -3*j + p = -3 for j.
1
Let c = -15 - -23. Solve 3*g = -c + 2 for g.
-2
Let r be 105/9 + 1/3. Solve -h - 2*h - r = 0 for h.
-4
Suppose 0 = 5*o + 3*j - 15, j - 2*j = 0. Let s(l) = -l + 2. Let v be s(0). Solve v = d + o for d.
-1
Let u be (-1)/(-1)*(-6 + 3). Let d = 2 - u. Let x = d - 3. Solve -6 = x*m + m for m.
-2
Suppose 3*q - 2 = 2*q. Let c be ((-30)/(-4))/3*q. Solve 4 + 6 = -c*x for x.
-2
Let d(u) = -2*u - 1. Let j be d(-3). Suppose j*x + 17 = 3*v + 3*x, -5*v + x + 26 = 0. Solve -v*m - 25 = -0*m for m.
-5
Let v(n) = n**2 + 2*n - 1. Let u be v(-3). Let g be u/5 - (-36)/10. Let y be (10/g + -1)*2. Solve -2*q = y*q + 20 for q.
-4
Suppose 0 = -5*u - 0*u + 4*h - 14, 0 = 2*u - 2*h + 6. Let b(a) = -3*a - 3. Let v be b(u). Solve v*l - 2*l - 5 = 0 for l.
5
Let q(j) = 0*j - j**3 - 1 + 10*j**2 - 8*j**2 + 4*j. Let s be q(3). Solve s*m - 25 = -3*m for m.
5
Let m(j) = -j - 7. Let y be m(-7). Let s(p) = -p**3 - p**2 - p - 1. Let u be s(-1). Let q = u + 0. Solve q*g - g = y for g.
0
Let q(h) = -h. Let u be q(-1). Let y = 7 + -4. Let x = y + u. Solve x = i + 2 for i.
2
Let m(u) = u**3 - 2*u**2 - 2*u - 5. Let p be m(4). Let k = p - 10. Suppose 5*g = k + 6. Solve y - g = 2*y for y.
-3
Let u = -11 - -15. Solve 15 = -q - u*q for q.
-3
Let o = 8 + -6. Let c be (30/3)/o + -2. Suppose c*j - 5 = 4. Solve -g - j*g = 20 for g.
-5
Suppose -r = -4*w + 12 + 23, -40 = 2*r - 2*w. Let x = r - -28. Let u = x + -9. Solve 5*t - 1 - u = 0 for t.
1
Let y(o) = 2*o + 8. Suppose q = -0*q + 6. Let v be y(q). Solve 0 = r + 4*r - v for r.
4
Let v(r) = r**2 - 3*r - 4. Suppose 0 = -2*a + 3 + 1. Suppose -a*x + 2 + 6 = 0. Let w be v(x). Solve w = k - 2*k for k.
0
Let m be -3*((-10)/6 + 1). Solve -m*p + 7*p = 20 for p.
4
Let n(y) = y**2 + 5*y + 6. Let h be n(-3). Suppose 2*f = 4*f + 3*p - 9, 5*f + p = 29. Suppose v + v - f = 0. Solve h*w + w - v = 0 for w.
3
Suppose 2*g + 2*g - 12 = 0. Suppose 3*a + g*c = 8*c + 9, 0 = a + c - 3. Solve -h + 4 =