. Solve -j + 6 = g for g.
4
Let c = -1 - -1. Suppose 2*q + q = c. Let b(r) = r - 2. Let w be b(5). Solve q = w*j + j + 16 for j.
-4
Let u(z) = -6*z**2 + 6*z. Let d(o) = o**2 - o - 1. Let s(b) = -5*d(b) - u(b). Suppose 0 = -4*x + 5*x. Let m be s(x). Solve -m*i = -i + 12 for i.
-3
Let i(b) = b**3 - 2*b**2 - b - 1. Let w be i(3). Solve w = 2*f + 3 for f.
1
Suppose -9*y = -5*y. Solve w + 3 + 0 = y for w.
-3
Let m be 1*(2 + -2) - (-7 - -3). Solve -7*o = -m*o for o.
0
Let f = 7 - 11. Let g(i) = -i**3 - 3*i**2 + 3*i - 2. Let u be g(f). Solve -u*m - 2 = -4*m for m.
1
Suppose 0 = f + f - p - 11, 0 = f + p - 4. Suppose 0 = f*q + 10 - 25. Solve q*r - 8 = 4 for r.
4
Let f = -23 + 23. Solve f*b = -3*b for b.
0
Let w be -11 - -15 - (-2)/(-1). Solve 3*p + w + 7 = 0 for p.
-3
Suppose 5*w - 2*w = 9. Suppose -3*y + 7 = j + w, -3*j + 5*y + 26 = 0. Solve 0 = -j*b + 4*b for b.
0
Let i be 0/(-2*(3 + -2)). Let r(y) = y + 16. Let s be r(i). Suppose 0 = c - 2*z - 10, 7*c - 4*c - 2*z - 14 = 0. Solve -6*f + s = -c*f for f.
4
Let m be (2 + (2 + -3)*3)*-3. Solve 0 = 3*c + m - 0 for c.
-1
Suppose 0 = 5*k - f + 5*f + 83, -2*k + 5*f = 20. Let j be (40/k)/((-2)/3). Solve l - j = -l for l.
2
Let r be ((-10)/8)/((-9)/36). Suppose 0 = r*l - 2*l. Solve -n + 2*n - 1 = l for n.
1
Let p = 30 - 29. Solve b + 0 = p for b.
1
Suppose -5*y = -4*a - 36 + 14, 3*y - 4*a = 10. Let r = 0 + y. Solve 20 = -u + r*u for u.
4
Let c = -13 + 18. Solve 0 = -3*v + 2*v - c for v.
-5
Let j be 4/(1*-4)*-3. Suppose 18 = l - 5*y, -2*y + 3 = j*l - 0. Solve l*w = -w for w.
0
Let h(u) = u**3 - 9*u**2 + u - 6. Let s be h(9). Let k = s + -3. Solve k = p + 2*p - 12 for p.
4
Suppose 0 = -2*j + 5*r + 28, 2*j = j + r + 11. Suppose -d = 2*k - j, -4*d = -2*k + k. Suppose -10 = -k*t + 2. Solve 0*q = t*q for q.
0
Let m(w) = w**3 - 7*w**2 - 3. Let y be m(7). Let t = 18 + y. Solve -5*i + t = -8*i for i.
-5
Suppose -4*l = 2*m - 4, -12 - 1 = -4*m - 3*l. Let w = 0 + m. Solve -w*k - k + 15 = 0 for k.
3
Suppose -2*w - 3*w = -2*c + 19, c - 17 = 4*w. Let z be c/(0 - 3/2). Let g be 1 + -1 + z - 0. Solve h = -g - 0 for h.
-2
Let u(a) = a**2 + 0*a - a**3 - a + 2 - 3*a**2. Let h be u(-2). Let r be (1 - h)/((-6)/40). Solve -2*f = -6*f + r for f.
5
Suppose i + 3*i = -24. Let c be (9/(-3) - i) + -2. Let z be (-23)/((-2)/1 + c). Solve z = 4*o + 3 for o.
5
Suppose 2*i - 7 = -2*v - 3*v, -5*v + 4*i + 31 = 0. Solve -v*h = -h - 8 for h.
4
Suppose 0 = -6*k + 3*k. Suppose k = 2*m + 10, m - 2*m = 4*o + 5. Suppose 0*f + 3*f = o. Solve f = x - 2 + 1 for x.
1
Let j(h) = -h**3 + 5*h**2 + 2*h + 1. Let i be j(5). Let r = i + -6. Let a be (1 - 22)*(-4)/12. Solve r*t - a = 3 for t.
2
Let o = -2 + -3. Let t(j) = -j**2 - 4*j + 5. Let n be t(o). Solve n = -4*i + 16 - 0 for i.
4
Suppose 29 = 3*h - 0*h + 4*m, 3*h - 5*m + 16 = 0. Solve h*b + 4 = -b for b.
-1
Suppose 0 = 2*o + 3 + 5, -o - 14 = -2*r. Solve -1 = r*m + 24 for m.
-5
Let k(y) = -y - 21. Let c be k(-24). Solve -2 + 17 = c*p for p.
5
Let a(q) = -q**3 - 8*q**2 - 8*q - 7. Let j be a(-7). Suppose w - 18 = -3*y, 2*w + j*y + 9 = 3*y. Solve -5*i - 28 + w = 0 for i.
-5
Suppose 2*s = -k + 3, -2*k = -4*s - 0*k + 10. Let q be 3 - s - (-1 + 0). Suppose -4*f = -c - 13, -4*f = -f + q*c - 7. Solve f*u = u for u.
0
Let v be (6/(-5))/((-9)/30). Let d(c) = c - 4. Let x be d(v). Suppose -3*t + t = x. Solve -o + 4*o = t for o.
0
Let u(b) = b**3 - b**2 + 1. Let n(d) = -3*d**3 + 4*d**2 - d - 1. Let h(l) = n(l) + 4*u(l). Let v be h(0). Let t = 6 - v. Solve -4*i - 2 = -t*i for i.
-2
Suppose j + 4*w - 8 - 8 = 0, -5*w = -5*j - 20. Solve 2*t - 5*t + 15 = j for t.
5
Suppose -2*p = -5*l - 18, -5*l - 38 = -3*p - 16. Solve -9 = -p*t - 25 for t.
-4
Let h = 20 + -20. Suppose -5*c = 20, 1 = -4*m + c - 3. Let v be ((2 - m) + 0)/1. Solve 0 = -h*t + v*t for t.
0
Let q = -28 + 60. Suppose -n = 3*n - q. Solve -4*h = -n*h for h.
0
Suppose -4*u + 5*m = -23, -4*u - 4*m - 1 = -m. Let r = 16 + -13. Solve 0 = -r*z + u*z for z.
0
Suppose -3*u - t + 11 = 0, -4*u + 18 = -0*u + 2*t. Let p(x) = -9*x**3 - x - 1. Let n be p(-1). Solve n = s + u*s for s.
3
Let w = -23 + 25. Solve 4*g = -w - 10 for g.
-3
Let q(m) = m**2 - 5*m + 4. Suppose -14 - 11 = -5*f. Let r be ((-16)/(-10))/(2/f). Let g be q(r). Solve 0 = -g*h + 2*h for h.
0
Let f be (0 + 2)*26/4. Suppose f = h - 6. Suppose 4*l - 7 = -r + 3*l, -h = 3*r - 5*l. Solve 0*u = -r*u + 10 for u.
5
Let w(j) = -j**3 + 3*j**2 + j - 1. Let m be w(3). Solve -4*z = 2 + m for z.
-1
Suppose -s - 2*c + 3*c + 5 = 0, -4*c = -8. Let u be 42/4 - 1/2. Let y = u - 7. Solve -y = -q - s for q.
-4
Let x = 37 - 31. Solve s = x*s for s.
0
Let u(k) = 4*k - 8. Let g be u(2). Solve 0*i - i = g for i.
0
Let f(x) = -x**3 - 6*x**2. Let g be f(-6). Suppose z - 4 + 0 = g. Suppose -z*d = 5*l - 25, 0 = -2*d + 3*l - 15 - 0. Solve d = t + 2*t - 12 for t.
4
Let p be ((-9)/(-84)*16)/((-4)/(-14)). Solve -k - p = k for k.
-3
Let p be (-1 + -1)*2/((-4)/3). Solve -x - p = 2*x for x.
-1
Let r(h) = -h - 1. Let o be (-8)/(-28) - (-37)/(-7). Let p be r(o). Suppose -4*j = -3*j + 2*y - 10, 8 = -j + p*y. Solve i = j*i for i.
0
Suppose 0 = -t + 4 + 2. Solve 3*w + t = w for w.
-3
Let k(z) = 2*z**2 + 5*z + 2. Let m be k(4). Let o = m - 38. Suppose 0 = 2*r - 3*r + 9. Solve -5*v + r = -o for v.
5
Suppose -3*a + 6*a - 9 = 0. Solve -4 = a*d - 16 for d.
4
Let s be (-135)/18*(-12)/5 - 3. Solve -10 = -5*o + s for o.
5
Suppose 3*s - x = 19 + 3, -5*x = 3*s + 2. Let c be 7 - s/(-4)*-2. Solve c*z - 3*z = 1 for z.
1
Let s = -5 - -1. Let c be (-1)/1 - 0 - s. Suppose -c*k + 0*k = -12. Solve -k*h + 3 = -9 for h.
3
Let l be 7 + 0 + -2 + 0. Suppose -4*n - l = -49. Solve 2*a - 1 + n = 0 for a.
-5
Let y(j) = -3*j - 17. Let o be y(-6). Let v(f) = f**2 + f. Let m be v(-2). Suppose 2*d - 4 = m. Solve o = 4*z - d for z.
1
Let w(y) = y**3 + 3*y**2 - 6*y - 6. Suppose 0*p + 24 = 4*p. Suppose 0 = 4*h + 8*t - 3*t + p, 4*t = -2*h. Let x be w(h). Solve k + x = -0*k for k.
-2
Let k = 5 + -1. Suppose -3*b + 5*f - k = 0, -4*b - f = -5*f. Solve -b*y + y = 3 for y.
-3
Let y = 14 + -3. Suppose -j + 4*h + y = 31, j = -5*h + 25. Solve o + 3 - 1 = j for o.
-2
Let a be (10/6)/(4/12). Suppose -a - 1 = d. Let g(o) = -2*o - 8. Let i be g(d). Solve -i*z - 9 = -29 for z.
5
Suppose 5*y - 5 = -0. Suppose 2*j = -4*v - 6, -3*v - 15 = 3*j + 3. Let s = -5 - j. Solve 0 = -p + s + y for p.
5
Suppose -4*n - 8 = -28. Let y = n + -1. Solve y = 3*j + 13 for j.
-3
Suppose 0 = 3*p + 5 - 11. Suppose 0 = -0*d + 4*d - 12. Suppose 19 = d*j - p*k, -2*j - j - k + 4 = 0. Solve -r + j*r = 6 for r.
3
Let m be (2 - 4) + -2 - 0. Let f = -3 - m. Solve f + 4 = n for n.
5
Let b(n) = n**3 + 5*n**2 + 5*n + 2. Let w be b(-3). Let r(d) = d + 1. Let y(u) = 4*u + 2. Let s(m) = -7*r(m) + 2*y(m). Let h be s(w). Solve -4 = -h*o + 2 for o.
3
Let t = -13 + 16. Solve 0 = -n + t for n.
3
Let w(p) = 3*p**2 - 4*p + 7. Let q(u) = u**2 - u + 2. Let s be (-2)/(-3)*(-105)/(-10). Let o(y) = s*q(y) - 2*w(y). Let f be o(-2). Solve f*g + 0 = 4 for g.
2
Let n be (-4 - -6)/1 - 0. Solve -2*j = -4*j + n for j.
1
Let x(j) = 2*j + 8. Let o be x(-4). Solve -2*d + o = -2 for d.
1
Let k(p) = -p - 4. Let v(t) = -1. Let i(m) = -k(m) - 4*v(m). Let s be i(-8). Solve 2*g = -s*g - 2 for g.
-1
Let x = 9 - 1. Solve -4*m - x = 12 for m.
-5
Let x be 40/(1 + 1) - 3. Let h = x - 14. Solve 8 = h*t - 1 for t.
3
Let k = -25 - -32. Solve 4*l - 27 = -k for l.
5
Let s(h) = -3*h - 44. Let t be s(-16). Solve -3*l + l - t = 0 for l.
-2
Let t(x) = -2*x**2 - 17*x + 7. Let n(o) = o**2 + 9*o - 4. Let g(j) = 5*n(j) + 3*t(j). Let p be g(-5). Solve 0 = -p*c + 2*c - 16 for c.
-4
Let f(x) = -x - 1. Let r be f(-5). Suppose h = r*h - 9. Solve 2*j - 5 = -h*j for j.
1
Suppose p = 4*p - 12. Suppose 61 = 4*n - r, 3*r + 36 = 2*n + 3. Solve p*b - n = -b for b.
3
Let k(h) = 7*h**2 - 1 + 2 + 1 - h**3 - 7*h. Let q be k(6). Let t = q - -4. Solve -5*u = -t*u + 10 for u.
-2
Let v(z) = -z**3 - 4*z**2 - z + 2. Let u be v(-4). Let d = u + 1. Solve 3*r + 12 = d*r for r.
3
Let m(d) = -2*d**3 - 2*d + 5. Let x be m(0). Solve -7*r + x = -2*r for r.
1
Let x(w) = -4*w - 4. Let l(y) = y**2 - 7*y - 2. Let d be l(7). Let u be x(d). Solve 0 = -2*v + u - 12 for v.
-4
Let q = 0 + 7. Let f be 5 - q/((-14)/4). Let a = f + 5. Solve 0 = -3*o + 3 + a for o.
5
Let y be (-163)/3 - 3/(-9). Let v = y - -75. Suppose -