g - 0*z + z - 138, -r*g = 5*z - 96. Suppose 0*b - 2*b - 3*y = -21, -5*y + g = 2*b. Solve b - 4 = 2*h for h.
1
Let o(x) = -x**2 - 7*x + 10. Suppose -2*z - 7 = -z. Let h be o(z). Solve 3*j - h = 2 for j.
4
Let l(q) = -18*q**3 + q**2 + q. Let a be l(-1). Let k = -17 + a. Solve 0*o - o = -k for o.
1
Let h(o) = 2*o**2 - 6*o - 5. Let a be h(5). Suppose 0*j - a = -3*j. Let f be j + (-3)/3 + -1. Solve 0 = -k - f*k - 12 for k.
-3
Suppose 153 = -3*i + 165. Solve -6*y + i*y + 8 = 0 for y.
4
Suppose -3*z = -n - 19, -4*z = -0*z - 3*n - 32. Suppose -24 = -z*c - 4. Suppose 5*u = c*u - 2*w, 5*u + w - 36 = 0. Solve f + f - u = 0 for f.
4
Let k be 4 + 7/(35/(-10)). Solve k*l + 2 = -0 for l.
-1
Suppose 0 = 5*i - 16 - 14. Suppose -i = -3*o + o. Suppose 7 = o*l - 5. Solve 2 = 3*x - l*x for x.
-2
Suppose 2*j - 3*t = 17, j + j = -4*t - 4. Solve -5*k - j = -3*k for k.
-2
Let k = 3 - 14. Let x(y) = -y**3 - 12*y**2 - 12*y - 8. Let d be x(k). Solve -2*a + 5*a = d for a.
1
Suppose -14 = -4*l + 2*i, 5*l - 3*i - 17 - 3 = 0. Let z = 0 - -13. Solve 4*w - l = -z for w.
-3
Let o be 10/(-4*1/(-6)). Suppose o = 4*p + p. Suppose -p*q + 6 + 6 = 0. Solve 0 = 3*i + q - 1 for i.
-1
Let d(y) = -3*y - 5. Let v be (-1 - 5/(-3))*-6. Let q be d(v). Suppose 4*r = 16, 0*k - q = k - 4*r. Solve -l + k = -4*l for l.
-3
Suppose -3*d = -y - 17, y + y + 14 = 2*d. Solve -d*b + b - 16 = 0 for b.
-4
Suppose -12 - 8 = -5*q. Solve q*g = 8*g for g.
0
Suppose 4*z + 26 - 10 = 4*f, -5*z + f = 0. Suppose -5*k = -17 - 3. Let y be k*(3 + (z - 1)). Solve 2 - y = 2*j for j.
-5
Let j = 9 + -6. Suppose -6*l + 2*l - j = s, 5*l + 24 = s. Let m be (-1 + -1)*-3 + -2. Solve m*n - s = 3 for n.
3
Let x(d) = -d**2 + 3. Let p be x(0). Suppose 4*a + 9 = -3*z + 4*z, 4*z - 17 = -p*a. Let j = -6 - -9. Solve 0 = -8*h + j*h + z for h.
1
Suppose -4*z - 17 = 7. Let g be 1*-3*8/z. Solve 0 = g*f - 8 - 4 for f.
3
Let r = -10 + 17. Suppose -5*t + 2*c - 30 = -0*t, -4*t = -3*c + 31. Let q = r + t. Solve 3*v = q + 3 for v.
2
Let w be (-12)/8*4/3. Let s be (-17)/w + 6/(-4). Suppose 0 = -5*d - s + 32. Solve -d*t - 9 = -2*t for t.
-3
Suppose -28 = -4*y + 2*b - 2, -b + 15 = 5*y. Let j = 10 - 6. Solve -5*p = -y*p + j for p.
-4
Let d be (-22)/(-55) + (-4)/10. Let a be 2*1/1 - 0. Suppose -2*o - a*b - 10 = -7*b, 5*b = -2*o + 30. Solve 5*n + o = -d*n for n.
-1
Let v = 29 + -17. Solve -4*p + p = -v for p.
4
Let y = -62 + 64. Solve -g - y*g = 0 for g.
0
Suppose 2*o + 4*m = 4, -2*o - 2*o + 4*m - 52 = 0. Let a = -2 - o. Solve k = 3*k - a for k.
3
Suppose 4*t = -6 + 22. Solve 3*d = t*d + 5 for d.
-5
Let f(p) = p - 1. Let z be f(1). Suppose 16 = 4*t - 3*t + 4*r, -2*r + 8 = -t. Solve t = 5*j + 5 - z for j.
-1
Let v(l) = 8*l**3 - 6*l - 5. Let y(b) = -7*b**3 + 5*b + 4. Let s(r) = -4*v(r) - 5*y(r). Let u be s(1). Suppose -4 = -3*w + u. Solve -w - 2 = -k for k.
4
Suppose 0*s + 3*s = 15. Suppose -10 = -5*n - 5*o, -4*o = 3*n + 2*n - 12. Solve -n*c + 9*c = -s for c.
-1
Suppose a = -0*a. Suppose 3*c - 1 - 2 = a. Solve k = -4 - c for k.
-5
Suppose 6*o = 3*o + 6. Solve -o = g + 1 for g.
-3
Let b be (-27)/(-6)*(1 + 1). Let n(d) = d**3 - 9*d**2 + 2*d - 9. Let w be n(b). Let a be 3/w*-1*-9. Solve -4*i = -a*i + 2 for i.
-2
Let y = 2 - 2. Solve y = -0*k + 3*k for k.
0
Suppose 4*a - 52 + 8 = 0. Let y(c) = 7*c**3 - 17*c**2 + 4. Let h(i) = -i**3 + i**2 - 1. Let g(w) = -6*h(w) - y(w). Let k be g(a). Solve k*t - 3*t = 0 for t.
0
Suppose -4*x + 5 = -11. Suppose 3 = x*g - 9. Suppose 4*r = -8, 2*c + g*c = -2*r + 6. Solve -c = d - 7 for d.
5
Suppose 4*b + 5*x - 15 = 0, 0*b - b + 2*x - 6 = 0. Solve b = 2*c - 3*c for c.
0
Let b = -4 - 4. Let h be 10*(-4)/b*1. Solve h*g = 2*g for g.
0
Let r = -12 - -16. Suppose -4 - 4 = -r*k. Solve -2 = -k*l - 8 for l.
-3
Let k be 22/(-4) + (-1)/2. Let b be -4 - k/((-9)/(-3)). Let q(c) = -5*c - 1. Let p be q(b). Solve -4*w = -p*w - 25 for w.
-5
Let y = -11 + 15. Let n(g) = -g + 2. Let k(i) = i - 1. Let j(r) = -3*k(r) - 4*n(r). Let o be j(7). Solve o*c = -2*c - y for c.
-1
Suppose 0*w - 5 = -w. Suppose -10 = 5*s + 5*j, 0 = 3*s + 2*j + 4 + 2. Let m = s + w. Solve -m*c + 3 - 9 = 0 for c.
-2
Let f(g) = -g - 5. Let m be f(-6). Let s = 15 + -18. Let y = m - s. Solve 0*q = y*q for q.
0
Let p(o) = -o**3 - 3*o**2 + 5*o. Let a be p(-4). Let w be ((-2)/6)/(a/36). Suppose w*k = -0*k. Solve k = 3*u - 2 - 13 for u.
5
Suppose 0 = 3*f - 9 - 3. Suppose -5*k - 2*b = -54, f*k = b + 40 + 11. Solve i = -2*i - k for i.
-4
Suppose 5*o + 2 = -3*z, -5*z - 28 = -o - 6. Suppose o*u - 20 = 4*h, -8*h + 4*h = -4*u + 24. Solve 5*s = u*s + 15 for s.
5
Let a be (3/9)/((-2)/(-24)). Solve -2*h + 4*h = -a for h.
-2
Let m = 0 - -2. Suppose -o + m*o - 2 = 0. Suppose p = 3*a - 49, a = -o*a + 3*p + 57. Solve b = 6*b - a for b.
3
Let n(y) = -y**3 + 3*y**2 + 4*y + 3. Let i be n(-2). Let m be (18/i)/((-3)/(-15)). Solve -4 = -2*u + m for u.
5
Let j = -10 + 16. Let p be (-3)/(-6) + (-15)/j. Let c be -2 + (-2 - p) - -7. Solve 5 = -0*z + c*z for z.
1
Let k be (54/45)/((-2)/(-5)). Solve f + k = 5 for f.
2
Suppose -8*p + 6*p + 6 = 0. Solve p*v - 8 = v for v.
4
Suppose 2*f + 2*f = 0. Suppose f = -3*h - 2 - 10. Let t = -2 - h. Solve -t = -z + 3 for z.
5
Let x = 64 + -58. Let l = 7 + -11. Let s be (-1 + 2/4)*l. Solve 0 = s*b - x for b.
3
Let u(a) = 2*a + 12. Let b be u(-4). Solve -2*w = -b + 2 for w.
1
Suppose -2*y = y - 15. Suppose -3*h - h - 3*q + 22 = 0, 3*h - 22 = -y*q. Suppose 0 = -h*n - 20 + 60. Solve z = -z + n for z.
5
Suppose -9*k + 6*k = 0. Solve k = 5*o - 6 + 1 for o.
1
Let d = 56 + -56. Solve d = g + g - 4 for g.
2
Let q be ((-4)/(-6))/(6/(-18)). Let v be ((-15)/10)/(1/q). Solve 0 = v*k + 2*k + 5 for k.
-1
Suppose n + 3*i + 20 = 5*n, i + 12 = 4*n. Solve c = 3*c - n for c.
1
Let r = 15 + -6. Suppose 0 = 4*f - r - 3. Solve f*n - 4 = -n for n.
1
Suppose 0 = 4*f + 5*s - 27 - 29, s = 0. Suppose -6 - f = 2*i. Let b be i/4*16/(-20). Solve b*j = -0*j for j.
0
Let c be 2/4*((-3)/(-1) - -5). Solve -2*b + c = -0*b for b.
2
Let w(q) = -q**2. Let a be w(-1). Let u be (-6 - -7)/(a/2). Let l be (0/(-4 - -3))/u. Solve -2*n - 3*n + 25 = l for n.
5
Suppose 0 = 5*m - 4*m - 12. Suppose -8*j + 3*j - 4*p - m = 0, -2*p = -5*j + 6. Solve j = -0*n - 4*n - 4 for n.
-1
Let a = 8 - 3. Let q = a + -5. Suppose 0 = -2*g + 4*v, -4*g = -q*g - v - 14. Solve g*z + 27 = 7 for z.
-5
Let i(z) be the first derivative of z**3 - 3*z**2/2 + 4*z - 9. Let p be i(2). Solve 0 = 7*x - 2*x - p for x.
2
Let j(o) = 20*o**2 - 14*o + 11. Let g(w) = -7*w**2 + 5*w - 4. Let z(u) = 11*g(u) + 4*j(u). Let i be z(-1). Solve 3*h = i*h + 2 for h.
-2
Let l(y) = -2*y**2 - y + 1. Let w be l(1). Let b = 3 + w. Solve 2*p = -b + 3 for p.
1
Suppose -x - 24 = 3*x. Let p = -4 - x. Let z(q) = -q. Let a be z(-2). Solve -p*u - a*u - 12 = 0 for u.
-3
Suppose 0 = 2*n - 4*n + 40. Suppose -52 + n = -2*f. Solve -4*r - f = -0*r for r.
-4
Suppose 0 = -0*b - b. Solve b + 4 = -n for n.
-4
Let a = -82 - -86. Solve 10 = -s - a*s for s.
-2
Let z(m) = 3*m - 1. Let g be z(1). Let w be (0 + 0)*(3 - g). Let j(n) = -n - 3. Let p be j(-6). Solve -3 = -p*l - w for l.
1
Let g = -20 + 23. Solve -m - 4 = -g for m.
-1
Suppose 4*s = 3*u, -2*u + 20 = -2*s + 6*s. Suppose s*k - 15 = -3. Solve k*x = 3*x for x.
0
Suppose 2*j - 8 = 4*j. Let k = j - -4. Suppose 0 = -k*g + g - y + 3, 2*y - 20 = -5*g. Solve -s - 4 = -g*s for s.
4
Let t be 2/6 - 6/(-9). Solve -2*h - t = -h for h.
-1
Let u(n) = 13*n - 5. Let x(g) = -3*g + 1. Let l(a) = -2*u(a) - 9*x(a). Let c be l(3). Solve 0 = -9*h + c*h - 25 for h.
-5
Let n(t) = -t**2 - 4*t + 7. Let l be n(-5). Let f(y) = 2*y**l - 9*y - 6 + 0*y**2 - 2*y**2 + y**2. Let u be f(10). Solve -k + 5*k = u for k.
1
Let u be (-15)/1 + 2/2. Let h be (-4)/u + 99/21. Let v = 15 - 14. Solve h*n - v = -6 for n.
-1
Let u(z) = -z - 1. Let o be u(-4). Suppose 0 = r - o*x + 12, r + 0*r + 3*x - 6 = 0. Let d = r + 5. Solve -8 - d = 2*a for a.
-5
Suppose -16 = -d + 5*c + 4, 0 = -d + 2*c + 14. Let u = d + -7. Suppose 0 = -0*o + u*o - 9. Solve -7 = o*j - 16 for j.
3
Suppose 2*g = 4*g. Solve 2*z - 3*z + 3 = g for z.
3
Let s = -16 + 16. Solve -5*f - 15 + s = 0 for f.
-3
Let s(h) = 3*h**2 - 8*h - 6. Let n be s(5). Suppose 0 = n*i - 33*i. Solve 2*y - 4 - 2 = i for y.
3
Let p(s) = 4*s**2 - 1. Let u be p(1). Suppose 2*y + u*y - 3*n = 66, -5*n + 15 = 0. Solve y + 0 = -5*h for h.