s - h for s.
2
Suppose 20*g = 70 + 10. Solve -g*t = 10 - 18 for t.
2
Let m(u) = -u - 2. Let w be m(-6). Suppose 4*f - 7 = -2*z - 15, 2*z + w = -2*f. Suppose -s - 2*a = 5, -4*s + 4*a + 0*a + 28 = z. Solve -s*x + x = 8 for x.
-4
Suppose 0 = 3*x - 4*p + 8, 4*x - 5*x + 2*p = 4. Suppose y + x = 3*z - 1, y = 2*z. Let u be 5/2*(-8)/(-10). Solve -y*b - u*b = -16 for b.
4
Suppose -t + 3*t + 2 = 4*n, -2*t + 5 = 3*n. Let m(q) = 7*q - 2. Let u be m(n). Solve -u*j + 5 = -5 for j.
2
Suppose 0 = -3*m + m + 34. Let c(l) = 2*l**2 + l - 4. Let h be c(-2). Suppose -h*w + m = -w. Solve -4*o - w = 3 for o.
-5
Let b(t) = t + 17. Let m be b(-14). Suppose -2*f + 29 = 2*v + m, -17 = -2*f - 5*v. Solve -f = 6*i - 2*i for i.
-4
Let p = 15 - 11. Suppose p*a - 2 = 3*a. Solve -5 = -a*w + 3 for w.
4
Let q(y) = -4*y**3 - 5*y + 2. Let z be q(3). Let b = z + 128. Solve -5*m - b + 2 = 0 for m.
-1
Let a be -1*0/(-2 - 3). Suppose a = -s - s + 6. Suppose -s*d + 3 = n + 14, -3*d = -2*n + 14. Solve -r = n + 3 for r.
-4
Let k be (8/(-3))/((-156)/234). Solve 6 = -k*l - 6 for l.
-3
Let s be 5/(-45) + (-900)/(-81). Solve s*j = 12*j + 2 for j.
-2
Let s(b) = b**3 - 3*b**2 + b - 16. Let r be s(4). Solve -w = r*w for w.
0
Let n = 51 - 80. Let w = -25 - n. Solve -w*j = -3*j for j.
0
Suppose -4*f = -5*f. Suppose -5*j = -u - 24, 5*j = 4*u + 40 - 4. Solve f = j*o - 13 + 1 for o.
3
Let o be -3 + 2 + (10 - 7). Let r be (-4 - -2)/((-1)/1). Solve r = v - o*v for v.
-2
Let r be (-1 - 0)*(27 + -31). Solve -8*s = -r*s for s.
0
Let j be 8*(270/48 + -5). Suppose -h + 3*w + 0 = 6, 0 = 2*h + 5*w - 10. Solve -j*t = -h*t for t.
0
Suppose -x = 2*x. Suppose x*a + 10 = 2*a. Suppose -4*d = 4*f - 8, 2*f - a*d = -2*d + 9. Solve -1 = f*m - 4*m for m.
1
Let z(h) = 5*h + 193. Let b be z(-37). Solve -b*i = -13*i for i.
0
Suppose 4*c - 4*q + 12 - 28 = 0, -4*q + 24 = 4*c. Solve 13 - 3 = c*d for d.
2
Let b = 14 - -1. Suppose g = -q - q + b, -4*g + 15 = -q. Let d = 15 + -3. Solve q*j + 37 = d for j.
-5
Suppose -29 = -11*d - 40. Suppose 3*j + 9 = -q - 1, 4*j = q - 18. Let m be 156/8 - d/q. Solve -c - 3*c = m for c.
-5
Suppose -z + 20 = -11*z. Let p be 2 + 5/(-10)*0/z. Solve -3*g = p*g for g.
0
Suppose 2*l = 8*l - 12. Solve -2*w + l*w = 3*w for w.
0
Suppose -4*k = -9 - 7. Let p be 146/18 - (-9)/(-81). Solve k*d - 4 = -p for d.
-1
Let d = -111 - -117. Let h(w) = w + 9. Let t be h(-9). Solve t = -4*s + d*s - 10 for s.
5
Let l = -2135 + 2145. Solve l*g + 3 - 3 = 0 for g.
0
Let z(p) = -2*p + 3*p - 28 + 29. Let l be z(6). Solve l = 5*i - 13 for i.
4
Suppose r = -9 + 20. Suppose -f = 2*g - r, 0*f - 3*f + 33 = 2*g. Let w(k) = -k**3 + 12*k**2 - 10*k - 10. Let j be w(f). Solve -j = -3*x + 2 for x.
1
Let g(w) = -w**3 - 2*w**2 + 2*w. Let n be g(-3). Let l be (108/(-81))/(1 + (-19)/15). Solve 22 + n = -l*i for i.
-5
Let f(y) = -y**2 + 13*y - 7. Let k be f(12). Suppose k*l - 23 = -4*z, -z + 0*z + 4*l + 11 = 0. Let d be (-43)/(-9) + (-2)/(-9). Solve -z + 27 = -d*m for m.
-4
Let k(u) = 2*u**3 - 6*u**2 - 3*u - 16. Let v be k(4). Solve -10*h + 6 = -v*h for h.
1
Let r be ((-18)/7)/(36/(-84)). Solve 37 - 13 = -r*b for b.
-4
Let l be (4/6)/((-4)/(-24)). Suppose -3*q + 2*p = -p, l*q - 6 = 2*p. Let f = 6 - q. Solve f*z + 10 - 25 = 0 for z.
5
Suppose 23 = -4*h + 59. Solve 4*p = h*p + 5 for p.
-1
Let u be (-1 - -3) + 0 - -2. Suppose u*i + 0*i - 9 = x, -i = x - 6. Solve -w = i*w - 20 for w.
5
Suppose -5*u = 1 + 14, 3*a = -2*u. Suppose 2*j + 3 - 7 = 2*l, 5*j = l + a. Solve -2*q + 3*q - 5 = j for q.
5
Suppose -370 + 372 = n. Solve n*z + 5 = -5 for z.
-5
Let f be (2 - 48/40)*5. Solve -f*z + 8*z = -4 for z.
-1
Let t = 28 + -15. Suppose i = -2*n + 2*i + t, -3*n + 5*i = -2. Let d be 68/11 + (48/(-44))/6. Solve d*z = 3*z - n for z.
-3
Let p(z) = z**3 - 2*z**2 - 2*z. Let u be p(3). Suppose r = -u*r + 156. Let b be ((-52)/r)/((-4)/6). Solve 0*x + b = -x for x.
-2
Suppose 75 = 5*r - 15. Solve 4*m + r = 10*m for m.
3
Suppose -5*x + 20 = 0, -4*x + 26 = -g - 9. Suppose 2*u + 25 + 9 = 0. Let m = u - g. Solve 2*h = -m*h + 4 for h.
1
Let c(r) = -r**2 + 9*r + 11. Let b be c(9). Let t = b - 11. Suppose -5*m + 3*l = -25, -3*m + 6*l - l + 15 = t. Solve -19 - 6 = m*g for g.
-5
Suppose 0 = -g + 10 - 0. Let k be g*(-3)/12*-6. Let y be (-4)/6 + 10/k. Solve 2*o + 2*o + 8 = y for o.
-2
Let f be (0/2)/(-6 + 5). Suppose 4*j - 8 + 8 = f. Solve j*x + 10 = -2*x for x.
-5
Let c = -8 - -11. Suppose 45 = 2*s + c*s. Solve 4*p - p = s for p.
3
Suppose -5 = -13*h + 12*h. Suppose 4*j = -o + 4, -5*j + h*o - 31 = -11. Solve j = -c + 6*c for c.
0
Let t(k) = -26*k**3 - k**2 + 1. Let x be t(-1). Suppose 0 = -2*j - 0*j. Suppose -6 + j = -l. Solve -5*s - x + l = 0 for s.
-4
Suppose -17*l = -12*l - 60. Suppose -30 = l*i - 486. Solve 13 = 5*q + i for q.
-5
Suppose -s + 2*r = 36, -5*s + 2*r + 132 = -10*s. Let x = s + 31. Suppose -2*v + 65 = x*v. Solve -2 = -3*f + v for f.
5
Suppose 27*p = 28*p + 13. Let m = p + 15. Solve -x + m - 6 = 0 for x.
-4
Suppose -2*j = -10, -3*p = -0*j - 2*j - 17. Suppose 0 = z + 4*m + 46, -7*m + 134 = -5*z - 3*m. Let b be (1 + 11/(-2))*40/z. Solve -b*l + 3*l = -p for l.
3
Let i(u) = 3*u**3 + 3*u**2 - 3*u + 3. Let n(z) = 4*z**3 + 5*z**2 - 5*z + 5. Let m(o) = -7*i(o) + 5*n(o). Let r be m(3). Solve 5*v - r = -16 for v.
-3
Suppose 0 = -8*n + 2*n - 3*n. Solve n = 11*g + 3*g + 42 for g.
-3
Let r(v) = -2 + 0 + 3 + 3 - v**3 + 2*v**2. Let x be r(0). Solve -k + x*k = 12 for k.
4
Let g(m) = m**2 - 18*m + 5. Let y be g(17). Let p be -1 + y + (3 - 0). Let d be 8/p*25/(-2). Solve d = -5*x - 15 for x.
-5
Let b = 3 - 0. Let z = 55 + -33. Suppose b*d - z = -7. Solve d = 2*v - 5 for v.
5
Let v = 29 - 29. Solve 3*c + 6 + 6 = v for c.
-4
Let c be ((30/2)/5)/((-3)/(-38)). Solve -34*v + c*v = 12 for v.
3
Suppose 0 = -2*y - r + 11, -2*y = -0*r - 2*r - 8. Let h be (-2)/y - (-56)/(-10). Let d be (-18)/24*16/h. Solve 0 = -t - d*t for t.
0
Let d = 181 + -178. Solve -8*q + d = -5*q for q.
1
Let t(l) = -l**2 + 8*l + 18. Let n be t(10). Let c be (1 + n)/((-1)/2). Solve c*x + 1 + 1 = 0 for x.
-1
Let r be (-8)/20 - (-66)/15. Suppose -3*t - 6 = -6*t. Suppose 0 = 2*s + 17 - 21. Solve -r = -t*q + s for q.
3
Suppose -7 = 3*y + 5*u - 2, 5*y + 2*u + 2 = 0. Solve -x + y - 2 = 0 for x.
-2
Suppose 7*c - 28 = -0*c. Suppose h - 5*k = 17, k = -4*h - 3*k - c. Solve x = 2 + h for x.
4
Let x(b) = -b**2 + 3*b + 3. Let s be x(3). Let j be (14 - -1 - s) + 1. Let n = 17 - j. Solve -12 = n*y - 0 for y.
-3
Let r be -1*(-26 - 18/(-3)). Solve 5 = 5*q - r for q.
5
Suppose -4*p + 3 = -3*s, -2*s - 3 + 1 = -5*p. Suppose -3*r - 3*i + 14 = 2, r - 4*i + 16 = p. Solve 3*v + r = 6 for v.
2
Let i(x) = -x**2 + 19*x + 184. Let g be i(26). Suppose 0 = 4*z - z. Let r = 8 - 6. Solve r*t + g + 6 = z for t.
-4
Let a = 5 - -20. Let y be (-34)/(-10) - 10/a. Suppose 0 = v - y*v. Solve -3*c + c - 10 = v for c.
-5
Let t = -13 + 18. Suppose -t*a + a = -24. Suppose -20*d = -17*d - a. Solve -d = c - 7 for c.
5
Suppose -4*h - 6 - 4 = 3*q, 16 = -2*q - 5*h. Suppose -q*s + 5*s = 0. Solve s = -5*d - 2 - 3 for d.
-1
Suppose 2*a + 4*s - 4 - 8 = 0, 36 = 5*a + 4*s. Let h(v) = 21*v - 4*v**2 - 11*v - 6 + v**3 - 8*v**2 + 3*v**2. Let j be h(a). Solve j = -2*r - 3*r for r.
-2
Let t be (-2 - 0/1)*1. Let n(f) = -3*f - 1. Let v be n(t). Let r(m) = 95*m + 385. Let i be r(-4). Solve -i*y + v = -5 for y.
2
Let t(i) be the first derivative of -i**2/2 - 16*i - 10. Let a be t(0). Let c be 1/(-2) - 8/a. Solve f - 5*f = c for f.
0
Let a(t) = -4*t - 5. Let p(w) = -4*w - 5. Let s(z) = 3*a(z) - 4*p(z). Let r be s(-3). Let h(q) = -q - 3. Let i be h(r). Solve 1 - i = f for f.
-3
Let f(l) = -6*l - 56. Let y be f(-10). Suppose -3*b + 4*b - 1 = 0. Solve u = -b - y for u.
-5
Let i = 821 + -819. Solve 6*v + 20 = i*v for v.
-5
Let q(k) = k**3 - 5*k**2 + k - 37. Let b be q(6). Solve b*o = 16 + 9 for o.
5
Let u be (0 - 4 - 1) + 5. Solve u = -0*p + 3*p - 15 for p.
5
Let i(f) = 59*f + 760. Let z be i(-12). Solve z*l = 56*l + 4 for l.
-1
Suppose 34*q = 30*q + 100. Let b(n) = -n**2 + 9*n. Let z be b(7). Let k = z + -10. Solve k*v + 5 = q for v.
5
Let z(u) = 4*u - 9. Let w be z(4). Suppose 3*x + 2*l = w*l - 10, 0 = -3*x + l - 2. Let y = -42 + 45. Solve -y*t + 15 = -x*t for t.
5
Let p(m) = -m**3 + 8*m**2 + 8*m - 3. Let n be p(9). Let z be (-34)/(-6) - n/(-18). Suppose -21 = -5*s - y, 5*