-5 + 0 = -g. Let m(k) = k**3 - 3*k**2 - 2*k + 1. Let t be m(g). Suppose 3*h - 19 = t. Solve -h = -6*j + j for j.
4
Suppose 1 = y - 8. Solve y = 2*b + b for b.
3
Let h = 8 + -3. Let w = 7 - 5. Solve -3*v + h = w*v for v.
1
Suppose -3*y + 0*y + 15 = 0. Suppose 5*r - y*i - 10 = 0, r - 2*i + 4 = i. Solve -r*a = -0*a + 20 for a.
-4
Let u = 27 + -16. Suppose 2*g - u - 8 = 3*r, -5*r = 3*g + 19. Solve -4*x + g*x = -8 for x.
4
Let t(a) = a**3 - 7*a**2 + 8*a. Let b be t(6). Let i(f) = -f**3 - 3*f - 8. Let y be i(-3). Suppose 2*n - y - b = 0. Solve 3*l + l + n = 0 for l.
-5
Let o(z) = -z**3 + 9*z**2 - 6*z - 10. Let j be o(8). Let u be (-1 - j/(-4))*2. Suppose 0 = 2*m - 1 - u. Solve 4 = b - m for b.
5
Let m be 2 + -7 - (-1 + 3). Let s be (-3)/(m/4 + 1). Solve 7 = s*p + 3 for p.
1
Suppose 4*h = -h + 2*y + 13, 4*h - 4*y = 8. Suppose -3*g + 36 = -0*g - 4*s, 5*g + 3*s = 31. Solve h*x - g = x for x.
4
Let h be ((-3)/(-6))/((-1)/38). Let i = 34 + h. Suppose 4*t + t = i. Solve t*o = o for o.
0
Let m = -19 - -24. Solve m*b = b for b.
0
Let k = -57 - -62. Solve -2 = -k*o + 8 for o.
2
Suppose 6*f = 2*f + 8. Suppose -2*b + 9*b = 0. Solve -f*v + 5*v + 6 = b for v.
-2
Let q = -4 - -4. Suppose -10 = -q*f - f. Solve -u = -6*u + f for u.
2
Let i = 0 - -3. Let x = 12 + -17. Let s = -4 - x. Solve -s = 2*d - i for d.
1
Suppose 1 = -5*g + 5*z + 16, 2 = 2*z. Suppose 5*r - 2*b = 30, r - 4 - 2 = -3*b. Suppose -h = -g*h + r. Solve 3*k + 8 = h for k.
-2
Suppose -2*q - 2*q = -12. Let y = q - -2. Solve -y = -0*o + o for o.
-5
Let u be 24/4 + (-20)/4. Let x = 2 + -5. Let w(g) = -g - 3. Let z be w(x). Solve c + z*c + u = 0 for c.
-1
Let u(g) be the first derivative of -g**2/2 - 5*g + 1. Suppose o + j + 4*j - 3 = 0, 34 = -4*o + 3*j. Let m be u(o). Solve m*n + n = -15 for n.
-5
Let a(p) = -4*p + 2 + 3*p + 0 - 3 + 7*p**2. Let w be a(-1). Solve 0 = 3*b - w*b + 4 for b.
1
Suppose -5*s + 0*s - 15 = -d, -5*d - 2*s = 6. Let n(u) = u**3 - 2*u - 1. Let b be 16/7 - 2/7. Let p be n(b). Solve d = 3*y - 0 - p for y.
1
Let z be (-15)/20 + (-23)/(-4). Suppose -5*p + 34 = 5*h - 36, 0 = z*h - 3*p - 78. Suppose q - 4*q = -12. Solve -q*r = h + 5 for r.
-5
Suppose -4*m - 12 = -8*m - 2*o, 3*m - 4*o + 13 = 0. Let a(k) = k + 15. Let l be a(-12). Solve 0 = 2*n - l - m for n.
2
Let d(v) = 5*v - 2. Let f be d(-2). Suppose 2*i + 4*y = 8*y, 0 = i - y + 3. Let p = i - f. Solve -4*q = 6 + p for q.
-3
Suppose -2*t = -w - 4*w + 32, -60 = -5*w - 5*t. Solve 24 = 4*r + w for r.
4
Suppose -m = -1 - 0. Let c = m - -2. Solve -4*p + 11 = c for p.
2
Suppose 6 = -u - 0*u. Let i be (u/(-7))/((-18)/(-84)). Solve -3 = -i*z + z for z.
1
Let d be (6/(-4) - 1/(-2))*-8. Solve d*v = 13*v - 10 for v.
2
Suppose 0 = 4*x + 5*j + 3, -42 = -5*x + 3*j - 18. Let w(d) = d**3 + 18*d**2. Let a be w(-18). Suppose a = -x*i - i. Solve i = -2*h - 3*h for h.
0
Let v(d) = d**2 - 2*d - 3. Let i be v(5). Let j = 17 - i. Solve -j*q = -0*q for q.
0
Let s(y) = y**2 - 6*y - 4. Let d be s(7). Let n = -10 + 4. Let l = n + 10. Solve -23 + d = -l*f for f.
5
Suppose -m = -3*m - 3*w + 14, -5*m + 3*w + 14 = 0. Let f be (-3 + 2)*-11 + -2. Let d = f - m. Solve 11 = d*a + 1 for a.
2
Let j(i) = -i**2 + 23*i - 14. Let a be j(22). Solve 2*m + 2*m = -a for m.
-2
Let h be -1 - 0 - (-5 + 7). Let i = -1 - h. Solve l + i = -0*l for l.
-2
Suppose 0 = 6*d - 5*d. Solve -i = -5 - d for i.
5
Suppose 2*g - 11 = -3*q, 16 = 4*g + 5*q - 5. Solve 0*k + 4*k = -g for k.
-1
Let t(z) = -11 + 0*z - z + 18. Let x be t(7). Solve 3*l + 3 + 6 = x for l.
-3
Let k = 189 - 89. Let l be (2/4)/(10/k). Solve -l*n + 5 = 15 for n.
-2
Let r(a) = 5*a**2 - 4*a + 1. Let c be r(1). Solve -10 = -c*m - 0*m for m.
5
Suppose 5*g = 5*o - 15, g - 4 = 4*o - 13. Suppose -3*v - 17 = -h, -5*h - o*v + 49 = 15. Solve h = 5*s - 2 for s.
2
Let g(d) = -7*d + 8*d**2 + d**2 + 1 - d**3 + 10 - 2*d. Let f be g(8). Suppose -2*q + 3*j = 3, -f*j = -2*j - 1. Solve 2*v + 0*v + 10 = q for v.
-5
Let i = 21 + -7. Let k = -14 + i. Solve -2 = b - k for b.
-2
Suppose -5*f = 10, -4*z - 11 + 1 = f. Let s(j) = j - 1. Let c(k) = -6*k + 4. Let l(y) = c(y) + 5*s(y). Let b be l(z). Solve -h - b + 0 = 0 for h.
-1
Let v = 23 + -18. Solve -v*d = -19 - 1 for d.
4
Let n be (-32)/(-20)*(-20)/(-8). Solve n*s - 3 = 9 for s.
3
Let i(m) = -m**2 + 12*m + 9. Let b = 18 + -5. Let o be i(b). Let f = o - -4. Solve f*r + 20 = 5*r for r.
4
Let v be 2 - (-4 - -4)/1. Solve 0 = -v*i + i - 4 for i.
-4
Suppose -16*x - 8 = -17*x. Solve -3*r - x = r for r.
-2
Let d = -10 - -9. Let g be -1*((2 - 3) + d). Solve 3*i = -1 - g for i.
-1
Suppose -2*h = -9 + 1. Suppose -r = -5 + h. Solve 2 = -3*z - r for z.
-1
Let o(i) = i**3 - 6*i**2 + 5*i + 2. Let x be o(5). Let l = -11 + 21. Solve 4*n = x - l for n.
-2
Let s be -1 - -4 - (-2)/1. Suppose 3*t = s + 4. Solve -t*z = -4 - 5 for z.
3
Let q(c) = c**2 + 11*c + 14. Suppose 2*j = 5*j + 30. Let b be q(j). Solve g = 3*g + b for g.
-2
Suppose -4*s + 15 = 5*p, 21 = -3*s + 7*s - p. Solve s = -4*f - 3 for f.
-2
Suppose 0 = -2*l + 1 + 29. Solve -l = -c - 2*c for c.
5
Suppose 29 = 3*s - 1. Suppose 3*m + 4 = s. Suppose -m*x - v + 0 = -4, -3*v = -x + 16. Solve -11 = -x*r + 9 for r.
5
Let i be 7/2 - (-3)/6. Solve 4 = -4*j - i for j.
-2
Let p be (5 + -1 + 2)/2. Let z = -4 - -2. Let f(b) = b**2 - 2. Let t be f(z). Solve -10 = t*m + p*m for m.
-2
Let d = -8 - -15. Suppose -3*m + d + 16 = 5*q, 5*q = -4*m + 24. Solve -q*a = 2 - 10 for a.
2
Let r(b) be the first derivative of b**2/2 - 2*b + 1. Let q be 3 - (-2)/(5 + -3). Let h be r(q). Solve -6 = -4*n + h for n.
2
Suppose a - 3*t = 2*t + 14, -3*a = 5*t - 2. Suppose 2*i - 7*i + 15 = 0. Suppose -i - 33 = -3*d. Solve 0 = -0*w - a*w + d for w.
3
Let f be -2*-2*(-45)/(-12). Let k = -14 + f. Solve u - k + 0 = 0 for u.
1
Let b = 2 - -19. Suppose -b + 3 = p - 4*t, t - 7 = -p. Suppose 0 = 3*c - f - 38 - 7, 2*c - 30 = -2*f. Solve -p*g + c = g for g.
5
Let b(z) = 2*z - 8. Let m be b(6). Suppose m = 2*l - 2. Solve -l*c = -2*c for c.
0
Let o be 12/(-8)*3/((-36)/16). Solve 5*x = o*x - 15 for x.
-5
Suppose 5*r = -3*v + 9, 5*r - 2*v - 25 = 3*v. Suppose 12 = 3*x - r. Solve x*a = a + 16 for a.
4
Let p(m) = m**3 + 15*m**2 + 2*m + 36. Let f be p(-15). Solve 2 - f = w for w.
-4
Suppose 0 = n + 3*f - 2, -5*n - 2*f = -5*f - 10. Solve 4*k + 2 = -n for k.
-1
Suppose 5 = -n + 8. Suppose n*w + 2*w = 2*b - 5, 0 = b + w - 6. Solve u + 4 = b*u for u.
1
Let a be 0/((-2 - -1)*-1). Solve a = 4*y + 17 + 3 for y.
-5
Suppose 5*c - 4*v = -0*v + 23, 4 = -2*v. Suppose -4*s + 17 = 5*m, -c*m - 2 + 17 = 4*s. Solve 0*x + s = x for x.
3
Let z(a) = -a**3 - 7*a**2 - 9*a - 8. Let t be z(-6). Let u = -5 + t. Solve -u*g - 3 = 2 for g.
-1
Suppose 0 = -2*x - x, -15 = -5*w - 2*x. Let m(i) = i**2 + 3*i - 1. Let f be m(-4). Let r = 0 + f. Solve -w*a = 3 + r for a.
-2
Suppose 15 + 3 = 3*m. Suppose -3*y - 19 = -m*y - j, 2*y + 5*j = 17. Let r be (-20)/(-6) + (-2)/y. Solve -r*p = -0*p - 3 for p.
1
Let i be (13 + -14)/(2/(-10)). Solve 0 = -p - 4 + i for p.
1
Suppose 2*m = 2*y - 3 - 1, -5*y = -4*m - 8. Suppose 0 = -c + 2 - y. Let k = 117 - 115. Solve 2 = -c*s - k for s.
-2
Let y = 0 - -1. Let g be (0 - 0 - -3)*y. Let v = -22 + 22. Solve u + v*u = g for u.
3
Let t = 3 - 3. Suppose -3*w + 15 = -t*w. Suppose -3*a - w = -14. Solve 2*k - 5 = a for k.
4
Let i(s) = -s**2 + 8*s - 1. Let o be i(7). Suppose o*v - 2*v + 4 = 0, -v = c - 2. Solve -12 = -c*a - 3 for a.
3
Suppose 4*u - 4*a = 0, 0*u + 4*a = -3*u. Solve u = -0*i - 3*i + 12 for i.
4
Let k = 11 + -6. Let v be 2/(-9) + (-47)/(-9). Suppose -v*f = -4*o + 8, -f + 0 = -k*o + 10. Solve 2*j = -f*j for j.
0
Let b(a) = -2*a**2 + 25*a - 8. Let s be b(11). Solve s = -6*q + q for q.
-5
Let k = -5 + 14. Suppose 0*n - 2*n = -l - 4, 0 = -3*l + n + 8. Solve 0 = -l*u + u + k for u.
3
Let n be (-12)/(-24) - (-14)/4. Solve -g + 12 = -n*g for g.
-4
Let z be (-2)/1 + (0 - 1). Let b be (-4)/(-6) - z/9. Let a = 1 - b. Solve 2*k = -a - 6 for k.
-3
Let z = 30 - 17. Suppose -z = f + 4*r, -f + 32 = 3*f - 5*r. Let n(s) = 12*s. Let q be n(1). Solve 0*h + f*h = q for h.
4
Let r be 3/12 + (-17)/4. Let q be ((-6)/r)/(3/8). Solve 0*s = -2*s + q for s.
2
Let l be (11 + 1)*(1 - 1/3). Solve -3*z = z - l for z.
2
Let x = -104 + 106. Solve s + x = 2*s for s.
2
Let z(f) = -f**3 + 7*f**2 - 7*f + 8. Let y(w) = w**3 - 5*w**2 + 2*w - 4. Let g 