or n.
-5
Suppose 0 = x + 1 - 3. Solve 2*h + x*h = -20 for h.
-5
Let t(b) = -2*b + 22. Let a be t(11). Solve d + 0*d + 3 = a for d.
-3
Suppose -2*a + h + 8 = 0, -3*a - 5*h - 10 = -h. Let m(f) = -2*f - 4 + 2*f**a - f**2 + 0. Let k be m(4). Solve 2*b - k = 2 for b.
3
Let l = -81 - -85. Let a be 2 - (-1)/1*1. Suppose 0 = 5*o - a*o - 6. Solve -x = -l*x + o for x.
1
Let s = 5 + -5. Solve 3*v - 15 = -s for v.
5
Suppose -11 = z - 4*y, -7 = -4*z - 5*y + 4*y. Suppose 5*v - v + 3 = s, 4*s - 12 = -3*v. Let n be (-2)/(s - z) - -4. Solve n*r - 5 + 2 = 0 for r.
1
Let x be (-5)/(-1) + 6/4*-2. Solve 0 = 4*o - x - 18 for o.
5
Let h(w) = -w - 3*w + 2*w. Let c be h(-2). Suppose j + 1 = r + c, 13 = 3*j - r. Solve 3*b + j = 11 for b.
2
Suppose -y + 4 - 2 = 0. Suppose -h = -y*h. Suppose 5*r - o - 14 = h, 5*r + 7*o = 2*o + 20. Solve r*i - 3 - 12 = 0 for i.
5
Let c be -1 - -2 - (-4 + -1). Let i = 2 - 0. Suppose m + i - 4 = 0. Solve 4*u + c = -m for u.
-2
Let k = 4 - 4. Suppose k*r = -5*r + 75. Let z be (-2 - 12/(-5))*r. Solve 0 = 3*m + z for m.
-2
Let q = 1 - -1. Let z = -2 + q. Suppose 15 = 2*r - 3*b, 0 = 6*r - r - 4*b - 20. Solve r = -2*p - z*p + 10 for p.
5
Let g(m) = m**2 - 9*m - 31. Let p be g(12). Solve 10*w - 10 = p*w for w.
2
Let j be (2/(-1))/((-8 - -4) + 2). Solve w + 2 = j for w.
-1
Suppose 5*u - 17 = 2*l, -3*l + u - 8 = -3*u. Suppose 0 = 2*v - 4 - l. Solve 3 - v = w for w.
-1
Let v be 14/1*(-3)/(-6). Suppose -3*s = 4*x - 12, -12 = -v*s + 4*s - 5*x. Let a = 27 + -22. Solve s*m - a = -m for m.
1
Suppose 3 = s - 0. Solve -5*h - s = -2*h for h.
-1
Let k = 64 - 44. Solve -5*h + 0*h = k for h.
-4
Let w(s) = -s + 1. Let y be w(5). Let l be (-6)/(-9) - y/(-6). Let v be (2 + l)*(-1 - -2). Solve -v*p - 6 = p for p.
-2
Let b = -11 - -3. Let s = b - -11. Solve 20 = 2*f + s*f for f.
4
Let c(h) = 2*h - 11. Let x be c(6). Solve -z - x = -2*z for z.
1
Suppose -6*t = -5*t - 8. Solve -t + 0 = 4*f for f.
-2
Let g be (-29)/2*-1*2. Suppose -g = -2*x + 11. Let p = -9 + 11. Solve -x = -p*k - 2*k for k.
5
Suppose 3*w + 7 - 31 = 0. Let h = w + -5. Solve -h = -j + 1 for j.
4
Let q(f) = -f - 6. Let z be q(-8). Solve z*g + g = 0 for g.
0
Let n = -11 - -35. Let s be n/56 + 92/14. Solve -s + 2 = -5*u for u.
1
Let g = 4 + -3. Suppose g = 2*r - 3. Solve r*w = -0*w + 2 for w.
1
Suppose -61 = 2*k + 3*g, 4*g + 10 = 2*g. Let v = 26 + k. Solve -v - 7 = 2*h for h.
-5
Suppose -2*n = 3*l + 8, -n - 4*n - 3*l = 2. Let d be (-8)/6*(-3)/n. Solve 0 = -d*g + 2 for g.
1
Let w(t) = -t**3 - 6*t**2 + 7*t - 6. Let j be w(-7). Let u be (0 - -2)/(j/(-15)). Solve 0 = 3*z - 11 + u for z.
2
Suppose -3*d = 2*i - 0*i - 24, d = 4*i + 8. Solve 2*h + 0 = -d for h.
-4
Let u = 18 + -15. Solve 2*b - u*b = 5 for b.
-5
Let n(z) = 3*z + 0 + 2 - 9 - 2. Let f be n(7). Let i be (2 - -7)*8/f. Solve v + 2*v = -i for v.
-2
Suppose 3*f + 16 - 4 = 0, 4*y + 3*f + 44 = 0. Let m = 24 + y. Solve 3*g + g - m = 0 for g.
4
Let q(u) = -u**3 + 5*u**2 + 7*u + 1. Let y be q(6). Suppose 0*z - 2 = 5*z - m, z + 3*m + 10 = 0. Let g be (6 - (1 - -1)) + z. Solve -y + 1 = -g*l for l.
2
Let c(o) = o - 3. Let u be c(6). Solve -2*k - 5 = u*k for k.
-1
Let w = 21 + -16. Suppose -5 - 20 = -w*a. Suppose 4*v + v + 5*x = 5, 0 = -2*v + 4*x + 8. Solve -3*q = -a*q - v for q.
-1
Let k(f) = -f - 7. Let o be k(-18). Solve 0 = -4*q + o + 5 for q.
4
Let l be (-2 - -2 - 0) + 1. Let b = 4 - l. Solve 0 = -5*z - b + 23 for z.
4
Let h = 0 + 4. Suppose -x = h*x - 80. Suppose x = q - 3*y, 3*q + q - 29 = 5*y. Solve -k = q - 3 for k.
2
Let p = -6 - -16. Solve 0 = -5*f - p for f.
-2
Let w be 5*((-8)/4 - -3). Solve 0 = -w*m + 11 - 1 for m.
2
Suppose -3*r - g - 26 = -3*g, 4*r + 12 = -3*g. Let m be ((-8)/r)/((-1)/(-15)). Solve 0*b + m = 4*b for b.
5
Let m be 3*((-22)/(-6) + -2). Suppose -59 = -4*y - g, m*y - 3*g = 4*y + 31. Suppose 45 = 5*b - 3*z - z, 0 = 2*b - 2*z - y. Solve 5*f - b = -3 for f.
2
Suppose m = -5*f - 5, 0*f - 20 = 2*f + 4*m. Let q(r) = -r**3 + 6*r**2 + 7*r - 6. Let p be q(7). Let w = -4 - p. Solve f - 2 = w*z for z.
-1
Suppose 5*r - 19 - 11 = 0. Suppose d - r = -3*d + 3*j, -2*j + 16 = 4*d. Solve 4*c + d = c for c.
-1
Suppose -5*a - 8 = 47. Let i = 17 + a. Solve -i*r = -2*r - 16 for r.
4
Let m(c) = 6*c**2 + 6*c + 8. Let s be m(-4). Suppose s = 4*p + p. Solve 0 = -2*u - 2*u - p for u.
-4
Suppose -3*f + 3 = 9. Let p(n) = -n**2 + 7*n + 2. Let u be p(8). Let l = f - u. Solve -j = j + l for j.
-2
Suppose -3*v - 6 = -4*v - 2*q, 3*v = q + 11. Let t be (-2)/(((-24)/9)/v). Solve -d = -t + 7 for d.
-4
Let l = 18 + -12. Solve 3*d + l = -6 for d.
-4
Let c = 8 + -5. Suppose 2*p + 3*f - c = -10, 4*f = -20. Solve 0 = -2*r + 6*r - p for r.
1
Let h be -2*((-1)/(-5))/(14/(-455)). Suppose 4*y - 25 = -5*i, -5*y + y = i + 11. Suppose i = 3*f, 0*f - 1 = 2*j - f. Solve 3*r = h - j for r.
4
Suppose w + 1 = 2. Let t = w - -1. Solve 0 = t*x - 5*x for x.
0
Let b = 1 + 0. Let y = b - -1. Suppose j = y*j - 20. Solve -2*s - j = 2*s for s.
-5
Let s be (3 - 1) + -3 + 7. Suppose -4*f = -6*f + s. Solve y = 4*y - f for y.
1
Let z = 93 - 92. Solve 14 = 3*i - z for i.
5
Suppose -w + 2*w = 0. Solve w*q = 4*q for q.
0
Suppose 0 = 3*o - 5*o - 0*o. Solve -2*s = 4 - o for s.
-2
Let t(s) = s + 10. Let a be t(-8). Solve 4*w - 2 = a for w.
1
Let w = -49 - -57. Solve p + 3*p + w = 0 for p.
-2
Suppose o - 14 = 3*c - c, -5*c = -4*o + 41. Let v = -35 + 35. Suppose v = -q - 0*q - n + 1, -o*n = 2*q. Solve 8 = 4*k - q*k for k.
4
Let l be (-1 + 0 - 3)*1. Let o be 47/9 - l/(-18). Suppose -r = -k + r + 10, r + o = -4*k. Solve k = 3*n - n + 6 for n.
-3
Let q(z) = -z - 4. Let c be q(-7). Solve -3*x + 6 = -c for x.
3
Suppose 2*l = t - 7, -5*l + 0*l + 2*t = 18. Let o be (6/(-4))/(3/l). Suppose 4*h = -o*b + 30, 2*h + 6*b = b + 35. Solve 15 = -h*p + 5 for p.
-2
Suppose 3*f - 2*a - 2*a - 20 = 0, 4*f = 5*a + 26. Suppose 4*y - 3 = -3*o, 6 = -y + 3. Suppose -16 = -2*v - 4*n, v + 8 = 2*v - o*n. Solve -f*i - 8 = -v*i for i.
2
Let y = 5 + -4. Let u(f) = -f**2 + 6*f - 2. Let z be u(4). Solve -i = -y + z for i.
-5
Suppose 0 = 2*r - 3*r - 1. Let a be 2 + -1 + r - -4. Solve 0 = -a*t - 21 + 1 for t.
-5
Let s(t) be the third derivative of -5/24*t**4 + 0*t + 0 - 2/3*t**3 - 1/60*t**5 + 2*t**2. Let q be s(-4). Solve q = 4*c + c + 25 for c.
-5
Let j(q) = -2*q - 15. Let o be j(-12). Solve o*n - 4*n = -5 for n.
-1
Let g be 1 - (2 - 1)*-1. Solve -3*i - g = 1 for i.
-1
Let p(s) = s + 9. Let i be p(-7). Suppose 0 = -3*t - 5*g + 20, 4*t - 5*g = -2 + 17. Solve t = -i*b - 5 for b.
-5
Let n(x) = -3*x - 13. Let m be n(-5). Solve m*p = p for p.
0
Suppose 0 = -2*s + 20. Let n = -5 + s. Solve n*k - 2*k = -15 for k.
-5
Let h(z) = 3*z**2 + 37*z + 14. Let c be h(-12). Solve -8 = -4*y + c*y for y.
4
Suppose -2*m + 23 = 5*w, 0*w + 11 = 3*w + 4*m. Solve q - w + 3 = 0 for q.
2
Let s = 5 - 14. Let n be 16/3 - (-3)/s. Let k be (1 - 30/(-12))*(-2)/(-7). Solve k = f + n for f.
-4
Suppose -15 + 3 = -4*f. Let q be 0/(3 - f/3). Solve q = -3*u - 2*u - 20 for u.
-4
Let s(h) = 2*h - 2. Let c be s(2). Let r = 3 - c. Solve -4 = -w + r for w.
5
Suppose -3*j = j - 16. Solve -m - 3 = -j for m.
1
Suppose s = -2*s + 9. Solve -2*m = -s*m + 2 for m.
2
Suppose 26*h = 10*h + 48. Solve -4*n - 1 - h = 0 for n.
-1
Let w(u) = -u - 1. Let v be w(-5). Suppose 0 = -v*c + c + 15. Solve c*b - 4 - 21 = 0 for b.
5
Let f be -1 - -1 - (6 - 8). Suppose -5*x = -5*a + f*a - 8, -a = x. Let n = a - -8. Solve -n*t = -3*t - 12 for t.
3
Let c(j) be the first derivative of -j**4/4 - 7*j**3/3 - 5*j**2/2 + 6*j + 5. Let t be c(-6). Solve -2*l + 3*l = t for l.
0
Suppose 6 = 3*p, 0 = 5*r + p + 3*p - 33. Suppose 3*n - r = -m - 3, 3*m = 4*n + 6. Suppose -4*c - h + 6*h = -7, 0 = -h + 1. Solve -c*o = -n*o - 15 for o.
5
Let p = 41 - 37. Solve p*i + 0 + 8 = 0 for i.
-2
Suppose 0 = u - 3*v + 4, -3*u + 2*v = -u. Solve 2 = -2*o - u for o.
-2
Suppose -7*v = -2*v - 50. Let b = -7 + v. Let n be b/12 + 198/8. Solve 3*c + n = -2*c for c.
-5
Let o(d) = 2*d + 4. Let h be o(0). Suppose j - 3 - 3 = 3*g, h*g = j - 7. Solve j*u + u = -16 for u.
-4
Suppose 0 = 2*x - 5 + 1. Let k be ((0/x)/2)/(-1). Solve 0 = -k*u - 2*u - 8 for u.
-4
Let a(k) = -k + 5. Let u be a(6). Let o be 0/2*u/2. Suppose -x + 2 = -1. Solve x*v - v = o for v.
0
Let u = 56 + -56. Solve 4*w - 23 + 7 = u for w.
4
Suppose 0 = 4*k - v - 38, -5*k + v = -3*v