-r*x + x for x.
0
Let a = -60 - -63. Solve -a*x = x - 12 for x.
3
Suppose r = -0*r - 1. Let x(o) = -9*o - 1. Let h be x(r). Solve h = -2*v - 2*v for v.
-2
Let c(r) = r**2 + 2*r + 1. Let v be c(-3). Let w be (-2)/v - (-35)/10. Solve 2*s = s - w for s.
-3
Suppose 0*x - 2*x + 20 = 0. Let h = 85 - 40. Let y be x/h + 4/(-18). Solve y = -l + 3*l - 2 for l.
1
Suppose 14 = 5*s - r, -s + 0 = 3*r + 10. Solve 2*d + 4 = -s*d for d.
-1
Suppose -3*k = 2*k - 20. Suppose -v + 3 - 68 = 5*p, -k*p - 12 = 0. Let b be ((-16)/20)/(2/v). Solve 2*i - b = 6*i for i.
-5
Let n(l) = -l - 3. Let r be n(-6). Let g(z) = 4*z - 4 - r*z - 3*z. Let v be g(-5). Solve -v = 3*a - a for a.
-3
Suppose 2*r + 0*r = 24. Let u be r*((-4)/(-6))/2. Solve -g + u - 2 = 0 for g.
2
Suppose -2*c + c = -2*h + 1, -4*c + 26 = 2*h. Let p = 3 + -15. Let o = 28 + p. Solve -o = -w - h*w for w.
4
Suppose 0 = -3*p + 4*i + 34, -10 - 47 = -4*p + 3*i. Suppose r + 4*j - 24 = 0, 2*r - 2*j + p = 4*r. Solve -r = 4*b - 3*b for b.
-4
Let n = 7 - 3. Let f be (-34)/(-8) - 1/n. Suppose 15 = -5*w + 10*w. Solve 0 = w*p - f + 1 for p.
1
Suppose 0 = -11*n - 3 + 36. Solve m = -n*m - 12 for m.
-3
Suppose 0*m + 2 = 2*m. Let x be -2*m - (-2 + 0). Solve 10 + x = 2*k for k.
5
Let v(d) = -3*d**2 - 4*d. Let z(g) = 4*g**2 + 4*g - 1. Let y(w) = 3*v(w) + 2*z(w). Let t be y(-3). Suppose i - 3 = -t. Solve k = -i*k for k.
0
Suppose 2*d = -4*s - 2, 4*d - 5*d - 7 = -4*s. Let a be d + 5 - (3 + -4). Solve a*q = q + 8 for q.
4
Suppose -g - p - 2 = -4, -4*g - 2*p = -10. Solve 8*r - g*r = 0 for r.
0
Let r = 9 + -4. Suppose 0 = -r*o - 5 + 20, 0 = 3*z - 3*o - 114. Suppose m = -v - 3*m + z, 4*m = 2*v - 34. Solve 0*s - v = 5*s for s.
-5
Suppose -18 = -3*j - 3. Suppose -k - 2*w = -3*k + 10, 3*w = j*k - 23. Solve 20 = -0*z + k*z for z.
5
Suppose 3*p + 4*q = 3*q + 30, 0 = 2*p - 2*q - 12. Let b be 4 - 3*3/p. Solve -2*s = -b*s + 2 for s.
2
Suppose 2 - 10 = -4*m. Let u(p) be the first derivative of p**4/4 - p**3 + p**2 + p + 1. Let x be u(m). Solve -c + x = -3 for c.
4
Let w(b) = b**3 + 3*b**2. Let z be w(-3). Suppose z*c = c - 5. Solve -2*y + 3 = -c*y for y.
-1
Let g = -5 - -10. Suppose -4*i + g*k - 17 = -0*i, 2*k - 10 = 0. Suppose i*q = q + 2. Solve 1 = -p - q for p.
-3
Let r be 24/4 + (2 - 4). Let z = r + -4. Solve -3*x = -z*x - 3 for x.
1
Let i = -12 - -14. Solve -5 + 1 = i*f for f.
-2
Suppose 5*m - 12 = 2*m. Suppose -4*f + 2*f = 10, -m*k - 2*f = -22. Solve -5*o = -k - 2 for o.
2
Suppose -3*t + 4 + 14 = 0. Solve 0*v = 3*v + t for v.
-2
Let f be -2*16/4 + 4 - -10. Solve f*z - 8 = 2*z for z.
2
Let k = -8 - -14. Let n = k - 1. Suppose 2*h - l = 9, -4*l = -n*h - l + 22. Solve h*m - 9 = 1 for m.
2
Let p be (-2)/(5/(50/(-4))). Suppose 0 = -3*c + p + 4. Suppose c*x = -0*x + 12. Solve x*n + 2 = -18 for n.
-5
Let j = 11 - 9. Let c(s) = s**3 + 5*s**2 - s. Let n be c(-4). Solve j*d = -3*d - n for d.
-4
Let t = -24 + 16. Let i = 16 + t. Let h = i - 5. Solve 0 = s + h*s + 4 for s.
-1
Let z(n) = -5*n + 3. Let o be z(0). Solve 0 = o*i + 2*i + 15 for i.
-3
Let u(y) be the second derivative of -y**4/12 - 3*y**2 - 3*y. Let c be u(0). Let m be (10/6)/((-2)/c). Solve m = 4*i + 13 for i.
-2
Let k be (-1 + 12/9)*6. Let z be (2 + -1)/1*-2. Let b be (z + 0 - 13)*-1. Solve -k*a - b = a for a.
-5
Let i = 11 + -7. Let n = i + -2. Solve 6*u = n*u + 8 for u.
2
Let m be 4/(-3)*(3 - -3). Let t(u) = 2*u + 11. Let b be t(m). Let p = 5 + b. Solve p = 3*f + 1 - 13 for f.
4
Suppose 0*d - 4*d = -200. Suppose 5*g + d - 150 = 0. Suppose 0*j + j = s, 5*j + 5*s = g. Solve 1 + j = -b for b.
-3
Suppose 0 = 4*w - 0*w - 12, w + 2 = b. Suppose -2 = -g + b. Let c = -8 + 27. Solve -g = -3*r - c for r.
-4
Suppose 0 = 5*o - 5*i, 3*i = 10*o - 11*o. Solve -2*k + o = -4 for k.
2
Let v = -6 - -3. Let r be (-1 - v)*(0 - -1). Suppose 4*u = -u + 10. Solve -r*w + w = -u for w.
2
Let z(y) = -y**2 + 6*y - 7. Let d be z(3). Suppose 4*m = 16, -c + 5 + 18 = 5*m. Suppose -c*k = d*k - 25. Solve -k*t = -2*t - 15 for t.
5
Suppose 2*n - 12 = -4*a, 2*n - 3 = -a - 0. Let z(g) = g**2 - 7*g + 5. Let h be z(7). Solve n = -5*i - 30 + h for i.
-5
Suppose -3*n + 4*s + 46 = 3*s, n - 3*s = 18. Solve n = i + 4*i for i.
3
Let z = -3 - -4. Let x(a) be the first derivative of a**3 + a - 2. Let u be x(z). Solve 2 + 6 = u*t for t.
2
Suppose -5*s + 4 = -3*s. Suppose -3*p = -6*p - s*w - 8, -p - 5*w - 20 = 0. Solve 8 + p = -2*u for u.
-4
Suppose -4*s + 26 = 6. Solve -s*w - 4 = -29 for w.
5
Suppose w = -0*w - 5*h + 23, 3*h - 9 = w. Suppose n = 5*n + 3*z, 0 = w*z. Solve -y - 4*y = n for y.
0
Let h = -41 - -70. Suppose h = i - 4*n, -3*i = -n - 50 + 18. Solve 2*z - 5*z + i = 0 for z.
3
Let i = 3 - 1. Solve i*o = -2*o - 20 for o.
-5
Suppose 0 = 17*l - 14*l - b - 25, -5*l - 2*b = -27. Solve 8*g - l*g - 1 = 0 for g.
1
Suppose -h + 3*h - 9 = o, 3*o + 19 = 2*h. Solve w + 3 = -h*w for w.
-1
Suppose 2*j - 25 = -1. Suppose 5*g = -4*o - 5 + 1, 0 = -5*o - 2*g + j. Suppose w + o*w = 15. Solve -w*s = 2*s for s.
0
Suppose 8 = 2*z - 0*z. Let c(x) = x**2 + x. Let s(j) = 3*j**2 + 2*j + 4. Let a(w) = 5*c(w) - s(w). Let u be a(-4). Solve z = -4*y - u for y.
-5
Let o = -11 - -19. Suppose -o = -2*s + s. Solve 17 + s = -5*n for n.
-5
Suppose 41 = 3*c - 5*b - 39, -100 = -3*c - 5*b. Solve c = -4*h + 10 for h.
-5
Let v(q) = -2*q**2 + 6*q - 2. Let h be v(4). Let x = h + 11. Solve b = -0*b - x for b.
-1
Let h = -7 - -12. Let w = 9 - h. Solve 0*p + w*p = -8 for p.
-2
Let z = -55 - -60. Solve 0 = d - z for d.
5
Let o be ((-4)/5)/(5/(-25)). Let d(f) = f**3 - 6*f**2 - 5*f - 9. Let u be d(7). Suppose u*j = r - 4*r + 28, 0 = -3*j - o*r + 19. Solve -j*t + 1 = -4 for t.
1
Suppose -5*b = 3*o - 3, -3*o + 3*b + 3 = 4*b. Let a = o - -3. Solve a*s = s + 6 for s.
2
Suppose 0 = -2*f - k - 5, f + 3 = -2*k + k. Let m = 100 - 45. Let s be f/11 + 1715/m. Solve 4*q + s = 11 for q.
-5
Suppose -57 = 3*x - 339. Suppose 1 = 5*y - x. Suppose 0 = -4*a + 3*s + 23, 2*a - 4*a + y = -3*s. Solve a*g = -3*g for g.
0
Suppose -3*y + 13 = -29. Solve y = 5*c + 4 for c.
2
Suppose 0 = -3*c - 2*c. Suppose c*l + 4*m - 33 = -5*l, 5*m - 20 = -2*l. Solve -l*n = -0*n + 10 for n.
-2
Let x(h) = h + 6. Let l be x(-5). Let r be 0 + (l - (2 + -4)). Solve 0 = r*b + 2 + 7 for b.
-3
Let p be 2/(-4) + 10/4. Suppose 2*c = -2*q + 2 + 6, 18 = 5*c + 3*q. Suppose -7*n = -c*n - 60. Solve -p*v + n = v for v.
5
Suppose 7*t + 23 = o + 2*t, 3*o - 17 = 2*t. Let b = -4 - -7. Let a be 1/b - o/9. Solve a*d - 3*d = 0 for d.
0
Suppose 5 = 5*c, -3*l + 0*l - 4*c + 19 = 0. Solve -3*j - l + 17 = 0 for j.
4
Let m = -15 - -20. Solve -3*f - 1 - m = 0 for f.
-2
Let o(v) = -v + 1. Let u be o(0). Let n be 2/6 + (-8)/24. Suppose 4*s = h + 3, 0*h - 5*h - 15 = 5*s. Solve n*x - x + u = s for x.
1
Suppose -3*z - 4*b = -28, -5*z + 3*b = 5*b - 28. Solve 0 = -z*p + 6 + 2 for p.
2
Let u = -12 - -3. Let c = u - -11. Let q(n) = 2*n**2 - 5*n + 3. Let d be q(3). Solve -4 = -c*x + d for x.
5
Suppose -f - n = -2*n - 13, 3*n - 9 = -3*f. Solve m - f = 5*m for m.
-2
Let b = 38 + -32. Solve -o + b*o + 5 = 0 for o.
-1
Let m(q) = 3*q + 5. Let n(f) = -7*f - 11. Let u(a) = -9*m(a) - 4*n(a). Suppose 2*v - 8 - 2 = 0. Let c be u(v). Solve -4 = c*r - 0 for r.
-1
Suppose n + n = 0. Solve n*a - 5 = -a for a.
5
Let p(d) = 2*d + 14. Let h be p(-6). Solve 0 = -y + h*y - 1 for y.
1
Let w(p) = p**3 + 7*p**2 + 7*p - 1. Let o be w(-5). Suppose 5*a = 2*b - o, 5*b + 2*a - 35 = -3*a. Suppose 4*n - 8 = -0. Solve -15 = n*v - b*v for v.
3
Let t(o) be the third derivative of -o**5/60 - 5*o**4/12 - 2*o**3 + 2*o**2. Let v be t(-8). Solve s = v*s for s.
0
Let j = 10 + -18. Let l(m) = m + 8. Let z be l(j). Suppose -3 = -2*f + a - 2*a, 5*f - a - 11 = z. Solve -3*y - 5 = f*y for y.
-1
Let g be (1 + -1 - 0) + 1. Let r = 1 + g. Solve -r*u = 2*u + 8 for u.
-2
Suppose -4*z - 5*z = -198. Solve -3*s + 7 = z for s.
-5
Suppose -3*h - 1 = 3*u + 8, 4 = -u. Suppose -4 - h = 5*x. Let q = x - -1. Solve q = -5*c + c for c.
0
Let n = 27 - 13. Let b be (-3 + 2)/((-1)/n). Suppose 2 = -4*o + b. Solve 0 = o*h - 2 - 7 for h.
3
Let a = 9 - 4. Suppose 289 = a*q + 69. Suppose q = 3*v - 16. Solve -2*i = 3*i - v for i.
4
Let x = -2 + 7. Suppose 4*n - 37 = x*v, -40 + 16 = -3*n + 3*v. Suppose -n*z + 24 = z. Solve -4*l = -z - 14 for l.
5
Let x(w) = -2*w - 1. Let h(t) = -2*t - 1. Let c(p) = 4*h(p) - 5*x(p). 