4. Solve -o*t = -3 + h for t.
-3
Let v = 5 + -1. Suppose v*d - 5*d = -12. Let u be (6 - 5) + -1 - (-9 + 4). Solve u*b - 8 - d = 0 for b.
4
Let w(i) = -5*i + 1. Let x be w(-1). Suppose x = 3*a - 12. Let r = a + -3. Solve -5*p + r*p = 6 for p.
-3
Let f be 3*(0 - (-4)/6). Suppose -f*l = -0*l. Solve 0 = -4*k - l*k + 20 for k.
5
Let p(w) = w**2 + w. Let l be p(0). Let u = 82 - 80. Let b(i) = -4*i**3 + i. Let s be b(-1). Solve l = -u*n + n - s for n.
-3
Let k(z) = -12 + 4 + 3*z - z. Let t be k(6). Solve -w + 0*w = t for w.
-4
Let s(w) = w**2 - 7*w + 3. Let i be s(7). Solve 0*d + i*d = 3 for d.
1
Suppose 5*f - 1772 = -222. Let j be f/(-20) - (-1)/2. Let s be (4/(-6))/(5/j). Solve -s = -z + 3 for z.
5
Suppose 5*d - 10*d = -10. Solve d*o - 20 = -2*o for o.
5
Let v(a) = 1 + 3 + 2*a**2 - 3 + 1. Let b be v(3). Solve -7*g = -2*g - b for g.
4
Suppose -7*k = -16 + 2. Solve k + 10 = -4*n for n.
-3
Suppose -5*i = -2*r - 5, 0 = -5*i - 5*r - 3 + 43. Let x(g) = -4*g. Let q be x(-1). Solve i*a = -a - q for a.
-1
Let g = -7 - -10. Suppose -g*u = -4*d + 43, 5*d - 37 = d - 3*u. Solve -d = -5*s - 0*s for s.
2
Let h(i) = i**2 + 3*i - 10. Let t be h(-5). Solve j + 5 = -t for j.
-5
Let g = 44 + -40. Solve -o = -1 + g for o.
-3
Let p(w) = 3*w - 1. Let j be p(-3). Let i = j + 15. Solve 4*l = -l - i for l.
-1
Suppose 1 = 5*h + 6. Let g = h - -5. Solve p + g = -p for p.
-2
Suppose -6 - 14 = -4*c. Suppose 0*h = -c*h. Solve 1 = -h*g + g for g.
1
Let j = -56 + 59. Solve t + 1 + j = 0 for t.
-4
Suppose 10 = 5*s - 10. Solve 0 = j + j + s for j.
-2
Let u be (-12)/(-78) + 37/13. Suppose 0*y = -u*y. Suppose -5*c - 4*r + 22 = 0, -3 = 2*r - 3*r. Solve y = c*b - 6 + 4 for b.
1
Suppose 5*o - 51 - 74 = 0. Solve 10 = 5*r + o for r.
-3
Let c(j) = -j**3 + 17*j**2 + 25. Let z be c(17). Suppose 2*b = -b. Suppose b = -5*i + m + 4*m + 40, -2*i = m - z. Solve 4*g + 1 = -i for g.
-3
Let x be 10 + -2 + (5 - 2)/(-1). Solve s - x = 2*s for s.
-5
Let x = -4 - -4. Suppose 7*f - 5*f = x. Suppose 0*v - 3*v = 0. Solve v = -r - f - 2 for r.
-2
Suppose z + t = -t + 24, 5*t - 84 = -4*z. Let o(l) = l**3 - 7*l**2 - 7*l - 1. Let m be o(8). Solve -3*n - z = -m*n for n.
4
Let t be (-1)/(-4) + (-265)/20. Let c = t - -18. Solve 3*j + c = -4 for j.
-3
Suppose 0 = 3*i - 6*i. Let c be -10 + 6 - (-1 + -21). Solve 3*y - c + 6 = i for y.
4
Let k = -51 + 53. Solve -k - 4 = -3*w for w.
2
Let d be (144/54)/(4/6). Solve 0 = -w + 1 + d for w.
5
Let x(q) = q - 1. Let f be x(3). Suppose 0*m = -f*m + 12. Solve m = -4*b + b for b.
-2
Suppose 8 = 5*t - 7. Suppose -t*w - w + 80 = 0. Let j be w/(-6)*(-3)/2. Solve 0 = -j*r + 5 + 5 for r.
2
Let z = 5 + -5. Let w be 1 - -1*(z + 2). Let m be (-3)/1*w/(-3). Solve 2*a - m = 1 for a.
2
Let o(t) = -t**3 - 18*t**2 - 18*t - 13. Let u be o(-17). Solve -r + 10 = u*r for r.
2
Let i = -4 - -8. Suppose -i*t - k + 26 = k, -k = 3*t - 22. Solve -t = 5*n + 6 for n.
-3
Let l = -6 + 10. Suppose -4 = -4*m + l. Solve m*q - 6 + 2 = 0 for q.
2
Suppose 0 = -k + 5*s + 27, -4*s + 6 = 2*k + 22. Solve -k*l = l for l.
0
Let m be 0/(3 - (-3 - -4)). Solve i + 1 = -m for i.
-1
Let l(q) = q**2 - 5*q + 1. Suppose 3*u + 4*m = 11, -u = -m - 5 - 1. Let j be l(u). Solve g - 1 = j for g.
2
Let q(w) = -w**3 - 5*w**2 + 6. Suppose 0*c + 2*c + 19 = -3*f, -3*f - 5 = -5*c. Let n be q(f). Solve v + 2*v = n for v.
2
Let b(x) = x**2 + 4*x - 2. Let g be b(-5). Solve 2 = o + g for o.
-1
Let o(y) = -y**2 + 8*y - 6. Let a be o(6). Let r = 30 + -76. Let i = 71 + r. Solve u + i = a*u for u.
5
Suppose -3*u + 6*u = -4*y + 18, -2 = -2*y + 2*u. Suppose 4*a = 2*j - a - 9, 0 = -3*j - y*a + 3. Solve 0*x - x + j = 0 for x.
2
Let d be (-4)/(-10) - 48/(-30). Suppose -3*m + 1 = -4*m, 0 = -2*z + 3*m + 11. Solve -2*x = d*x + z for x.
-1
Suppose 5*s - 4*h = 23, -3*s = 2*h + 1 - 6. Suppose 2*t + 6*j = s*j + 29, 0 = 2*t - 5*j - 5. Solve 0 = -t*d + 5*d + 15 for d.
3
Let y be 27/3*1/3. Suppose -y*u = -4*u. Solve u = 3*c - 12 for c.
4
Let t(m) = m**3 + 10*m**2 - 13*m - 6. Let p be t(-11). Suppose -p = -6*w + 2*w. Solve -f - w*f = 20 for f.
-4
Let a(s) = -s**3 - 8*s**2 - 7*s + 2. Suppose -5 + 19 = -2*h. Let w be a(h). Solve 0 = -w*b + 4*b for b.
0
Let c(i) = i**2 + 10*i - 2. Let n(q) = q - 1. Let v(r) = -c(r) + 2*n(r). Let t be v(-8). Solve 0 = p - t*p + 1 for p.
-1
Let g = -14 - -16. Solve 0 = v + g for v.
-2
Let v(g) = g. Let f be v(1). Solve u = -f + 3 for u.
2
Suppose -3*v = -2*w + 1, -5*w + 7 = -18. Suppose 4*x - 5*x - v = 0. Let t = 3 + x. Solve -3*n + 4*n - 5 = t for n.
5
Let k = 5 + 13. Let y = -16 + k. Solve 5*q = y*q - 12 for q.
-4
Suppose 0 = 5*j - 3*a - 0*a - 15, 0 = -2*j + a + 5. Suppose -i + j*i = 0. Solve -3*t - t - 4 = i for t.
-1
Let u(z) = -z**3 + 10*z**2 - 10*z + 4. Let i be u(9). Let p(l) = -l**3 + 0*l**2 - 5*l**2 - l**2 + 6 - 4*l. Let g be p(i). Solve -6 + g = -j for j.
5
Let n(u) = -u**2 - 10*u - 5. Let s be n(-7). Solve -5*c = -4 - s for c.
4
Suppose 0 = -14*t + 7*t + 14. Solve t = -q - q for q.
-1
Let i(q) = -q**2 - 14*q + 1. Let p be i(-13). Solve 5*s - p = -4 for s.
2
Suppose -60 = 9*x - 19*x. Solve -14 - x = -4*k for k.
5
Let j(i) = 2*i**2 + i + 2. Let k be j(2). Solve -k = -s - 2*s for s.
4
Let v be (-2)/(-5) + 46/10. Suppose 3*c - 10 = 5, -5*g - v*c = -65. Suppose -2*u - 10 = -7*u. Solve -u*r + g = -0*r for r.
4
Let b = -7 - -7. Suppose b = 5*n - n - 80. Solve 0 = g + 4*g - n for g.
4
Let v = -8 - -8. Solve v = 4*w - 3*w + 4 for w.
-4
Suppose 0*g = -g. Let f(y) = -2*y + 24. Let p be f(9). Solve g = q - p*q + 25 for q.
5
Let b(w) = w**3 + 7*w**2 - 2*w - 10. Let y be b(-7). Suppose -4 - 8 = -y*t. Suppose 2*d = -t*c + 21, -2*c = 5*d - 5*c. Solve 0 = -i + d*i for i.
0
Let u be (4 - 1 - 5)/(-1). Solve -2*j + u = -j for j.
2
Let d = -4 + 6. Suppose q = -0*q + d. Solve q*y - 15 = 7*y for y.
-3
Let o be (-30)/(-135) - (-3)/(54/32). Solve o*q = -2*q + 16 for q.
4
Suppose 0 = 11*m - 16*m + 25. Solve m*y = 2*y - 9 for y.
-3
Let u be ((-5)/(-3))/(2/((-24)/(-10))). Solve -3*f - 3 = -u*f for f.
-3
Let n be (-23)/(-8) - 4/(-32). Solve -n*h = -5*h for h.
0
Let i be (-2)/(-8)*(8 - -4). Suppose d = i + 9. Solve -3*u - 3 = -d for u.
3
Let j be (-6)/(-21) + 2/(-7). Suppose 4*b - 9 = -1. Solve j = -b*l + 6*l + 8 for l.
-2
Suppose r - 110 = -9*r. Solve 3*h - r = -2 for h.
3
Let d = -238 + 345. Suppose -4*p + 16 = 0, -5*q = 3*p - p + d. Let x = q + 36. Solve -4*a - x = 3 for a.
-4
Let s = -5 + 10. Let i(m) = m**3 - 6*m**2 + 2. Let u be i(6). Suppose 0 = -3*c - 5*l - 4 - s, 4*l + 16 = u*c. Solve -16 = -c*z + 6*z for z.
-4
Let d(c) = 11*c**2 - 10*c - 41. Let q(g) = 4*g**2 - 3*g - 14. Let w(t) = 3*d(t) - 8*q(t). Let y be w(8). Let p = 9 - y. Solve 0*v = -p*v for v.
0
Suppose -2*l + 25 = 7. Let w = -20 + 13. Let c = w + l. Solve -c - 2 = 4*h for h.
-1
Suppose -4*c - 20 + 4 = 0. Let y be c/(-6)*(-15)/(-2). Suppose -37 = -5*w + 3. Solve y*h + w = -12 for h.
-4
Suppose 0 = 5*g + 14 - 49. Solve -3*i + g = 16 for i.
-3
Let d(w) = 7*w - 5. Let v(r) = -20*r + 14. Let b(z) = 17*d(z) + 6*v(z). Let m be b(-6). Suppose -6*k = -2*k + 5*h - 23, 1 = m*k - 3*h. Solve k*t = -t for t.
0
Suppose -5*d = -5 - 5. Solve 2*b = -d*b for b.
0
Let x be 493/15 - 16/(-120). Let s be -2*x/(-6) - 1. Solve 6*y + s = y for y.
-2
Let u = 18 - 13. Suppose -4*g = -25 + 9, -l - u*g = -24. Solve q = l*q for q.
0
Suppose 0 = -0*p + 5*p - 30. Let g be (3/p)/((-3)/(-24)). Solve -4*f - g + 8 = 0 for f.
1
Suppose 2*i = 14 - 2. Let j = -1 + i. Let s be 1*-11*(-3 + 2). Solve s*o - 6*o = j for o.
1
Let n(k) = k**3 - k**2 - 2. Let o be n(2). Suppose 3*m = -m. Suppose o*h = -m*h. Solve g + 2 + 3 = h for g.
-5
Suppose -2*v + 3*v - 5 = 0. Solve -3 = 4*d + v for d.
-2
Let n(z) = -z + 15. Let g(s) = s. Let a be g(11). Let y be n(a). Suppose -b + 45 = y*b. Solve 4 = -m + b for m.
5
Let k = 4 + -5. Let h = -3 - k. Let l = h - -6. Solve 0*s - l*s + 8 = 0 for s.
2
Let x(u) = 3*u**3 + 2*u - 2. Let k = -10 + 11. Let h be x(k). Suppose f = 5*f - 12. Solve -f*a = -0*a - h for a.
1
Let u(i) = -i**3 + 5*i**2 + 5*i. Let y be u(6). Let l = -9 - y. Let b be 7 - (-6)/l - 1. Solve b = 6*k - 2*k for k.
1
Suppose l - 4*l = -6. Suppose 5*m + j = -5, -l*m - 7*j - 20 = -3*j. Suppose m = -0*y + 3*y - 12. Solve y + 0 = -4*a for a.
-1
Let j be (-1 - (-3 - -1))/(1/3). Solve 0 = c - 0*c - j for c.
3
Suppose -s + 3*k = 24, 5