 q = -58 - -62. Solve -5*n + q = -11 for n.
3
Suppose -3*c + 5*n + 55 = 0, 4*c - 2*n - n - 66 = 0. Let g(d) = -d + 6. Let y be g(3). Solve -y*r - 2*r = -c for r.
3
Let v(f) = f + 3. Let x be v(-3). Suppose 6 = -x*n + 2*n. Solve 12 = 5*g - n for g.
3
Suppose -12 = -4*c - 2*o, -2*c + c - 2*o = 0. Suppose 2*u = 6*u - c. Solve u - 2 = -n for n.
1
Let k(w) = -w**3 + 17*w**2 - 17*w + 18. Let d be k(16). Solve -d*m - 2 = -m for m.
-2
Suppose -148 + 23 = -5*h. Let t = h + -24. Solve 2*g + t = 3 for g.
1
Let r(j) = -j**3 - 14*j**2 - j - 12. Let q be r(-14). Solve 15 = -h - q*h for h.
-5
Let l(z) = z**2 + 2*z - 3. Let f be l(-3). Suppose f = -2*g + 10 + 2. Solve h + 10 = g*h for h.
2
Let u(l) = l**2 - 3*l + 1. Let j be u(4). Solve -j*v + 5 = -5 for v.
2
Let a(h) = h**2 + 6*h + 12. Let q be a(-5). Solve -q + 3 = 2*m for m.
-2
Let b(t) = -t**3 + t + 3. Let x be b(0). Let j = x - 5. Let k be 4/j - (4 - 8). Solve m - 5 = -k for m.
3
Let w be (0 + -5)*(9 - 6). Let z = -10 - w. Suppose 26 = 4*f - 6. Solve 0 = z*b + f + 7 for b.
-3
Suppose -2*v - 2*s = -8, -v - 4*s + 10 = 2*v. Suppose -w + v = 2*w. Solve -4*i - 10 = -w*i for i.
-5
Let v = -22 - -39. Let c be ((-4)/3)/((-1)/3). Let g(r) = r**3 - 3*r**2 - 3*r - 1. Let p be g(c). Solve 5 = -p*f + v for f.
4
Let v be 55/11 - (2 - 1). Suppose -3*f - 2*f + 10 = 0. Let i be (0 - 0)/f + 0. Solve 2*a - v*a = i for a.
0
Suppose 4 = 4*t - 4. Suppose t*c = 3*c - 3. Solve 5*o - c = -28 for o.
-5
Suppose -14*f + f + 39 = 0. Solve 7*n = f*n for n.
0
Suppose 4*o = 2*p + 8, 0*o - 3*o = -3. Let q = -2 + 2. Let i = q - p. Solve -10 = -i*b - 0*b for b.
5
Suppose 2*z + 2*g = z, 5*z + 3*g = -35. Let q = z + 10. Solve -k + 5 + q = 0 for k.
5
Let x be (1 - 1)*7/(-14). Suppose -2*b + 8 = -x. Suppose 9*u - b*u - 90 = 0. Solve u = -4*q - 2 for q.
-5
Let s(g) = -g**3 - 4*g**2 + 5*g + 1. Suppose -n + 2 = 7. Let x be s(n). Let p be 1/(-4) - x/(-4). Solve p = -l - l + 10 for l.
5
Let h = -72 + 80. Solve -y + 3 = h for y.
-5
Let n(u) = -u - 7. Let r be n(-6). Let w = 2 + r. Solve 2*g - 3*g + w = 0 for g.
1
Let u(c) be the first derivative of c**3/3 - 3*c + 2. Let h be u(-3). Solve h*o = o + 10 for o.
2
Let n be 2 - (-1 - (2 + -5)). Suppose n = h + 2*h. Suppose h*w + 4 = w. Solve -i - w = -3*i for i.
2
Suppose -2*i + 2 = 0, i = b - 2*i + 3. Suppose 4*u - 14 + 2 = b. Solve -25 = -2*s - u*s for s.
5
Suppose -2*d - 3*d = -80. Suppose 5*o - o = d. Solve s = o*s for s.
0
Let h(f) = -8*f - 2. Let i be h(-1). Let s = i + 7. Solve -s = 5*y + 2 for y.
-3
Suppose v - 14 + 2 = 0. Let r = 22 - v. Solve 0 = 3*i + r + 2 for i.
-4
Let v = 48 - 46. Solve -6*d + 7*d = -v for d.
-2
Let u = 13 + -8. Let p = 7 - u. Let w(x) = 2*x - 9. Let f be w(6). Solve p*v - f = -v for v.
1
Let j = -2 - -5. Let z(g) = -g**3 + 8*g**2 + 2*g - 12. Let n be z(8). Suppose -3*c = -5*o + 10, n*o - 3*c = -7*c + 8. Solve j*b + 1 = -o for b.
-1
Let p be (-8)/(0 + (3 - 2)). Let d = -8 - p. Solve -2*l + 4 + 2 = d for l.
3
Let o(i) = -i**2 - 6*i + 3. Let y be o(-6). Solve -3*r = -0*r - y for r.
1
Let w be ((-6)/4)/(3/(-10)). Suppose y = w*r + 3, -2*r = 4*y + r + 11. Let d be (-1 + 3)/(y + 3). Solve 0 = d*z + 3 + 3 for z.
-3
Suppose -2*d = -7*d. Solve -3*m + 4 + 5 = d for m.
3
Let t = 10 - 8. Suppose 0 = 4*u - 6*u + t. Solve -2*y + u = -3*y for y.
-1
Suppose -a + 6*v - v = 11, -4*a + 4*v + 4 = 0. Suppose a*x = 2*x. Solve 2*f + 3*f - 10 = x for f.
2
Suppose 4*g = -0*g. Suppose 5*t - 4*d - 54 = g, -3*t = d - 16 - 13. Solve 3*h + 5 + t = 0 for h.
-5
Let v(f) = -f**3 + 13*f**2 - 12*f. Let p be v(12). Solve -l = -p*l for l.
0
Let d(i) = -2 + 0*i + 3 - 4*i + i**2 + 5. Suppose -3*h - h + 16 = 0. Let g be d(h). Solve -2*r + 20 = -g*r for r.
-5
Suppose -13*q - 10 = -18*q. Solve 3*w = q*w - 3 for w.
-3
Let j(b) = 2*b**2 + b + 1. Let u be j(-1). Let x be u/1 - (2 - 4). Solve 4 = x*v - 0 for v.
1
Let h be (-3)/(-15) + (-1)/5. Let q be (20/25)/(1/5). Solve h*l + q*l + 4 = 0 for l.
-1
Let l be -1 + (-3)/6*-26. Let i be -5 + l - (4 + -1). Solve i = 3*f + 1 for f.
1
Let x be 8/36 + (-170)/(-45). Solve -x*p = -3 + 7 for p.
-1
Suppose 7 = 2*d + 4*s - 5*s, 5*d - 22 = s. Suppose -r - d*p = -4*p - 6, -5*r + p = -18. Suppose 35 = 4*g - a - r*a, 4*a + 32 = 4*g. Solve j = g*j for j.
0
Let b be (-2)/(-9) + (-86)/(-18). Solve 0 = 2*o + 3 - b for o.
1
Let w(i) = 2*i**3 - 4*i**2 - 2*i + 3. Let r be w(3). Solve -t = 2*t - r for t.
5
Let q be 16/3 - (-4 - (-30)/9). Solve q*a - 16 = 2*a for a.
4
Let a(x) = x**2 - 2*x - 3. Let f be a(3). Let w be 5 + (1 - (f - -1)). Let o be (-62)/(-4) - 27/18. Solve -w*q + 6 = -o for q.
4
Suppose 36 = -2*d + 5*d. Let m = -12 + d. Solve -4*g + 3*g = m for g.
0
Let s(x) = -x + 17. Let u be s(12). Let p be (1 - -5)*u/(-3). Let c(t) = t + 10. Let l be c(p). Solve -2 = -2*z - l*z for z.
1
Suppose -38*y + 37*y = -3. Solve 0 = -y*r - 2*r for r.
0
Suppose -3*z - 2*d = -5*z - 10, -3*z - 15 = -4*d. Let x = z + 5. Solve x = 5*o - 2*o for o.
0
Let z(v) = -v**3 - 10*v**2 + 10. Let b be z(-10). Solve b - 4 = 2*i for i.
3
Let p be (-8)/6*(-18)/4. Let h(w) = -w - 7. Let t be h(-5). Let s be p/(3 - t/(-2)). Solve -5 - 1 = s*o for o.
-2
Suppose -3*s - 2*r = -26 + 9, 3 = 3*r. Solve 0*a + a = s for a.
5
Let s be 2 + -2*(-1 + 2). Let b be 60/8*2/3. Suppose s = j + 4*j - b. Solve 5*i + j + 4 = 0 for i.
-1
Suppose 3*m = -5 + 2, -4*s + 10 = 2*m. Let r(l) = -l**3 - 6*l**2 + 7*l + 6. Let w be r(-7). Let u = 8 - w. Solve u*j - 1 = -s for j.
-1
Suppose 0 = 8*d - 4*d. Let x(c) = 2*c + 1. Let v be x(1). Let i be 0 - (-1)/(1/5). Solve -i*w + v*w - 6 = d for w.
-3
Suppose -4*g - 16 = -9*g + 2*m, -3*m = -2*g + 2. Suppose 0 = -5*p - 3*z - 7, -3*p - 2*z - g = p. Solve p = -5*r - 14 for r.
-3
Let k = 36 - 6. Let j(u) = -u + 17. Let z be j(7). Suppose 0*w + 2*w - z = 0. Solve -k = -5*t - w for t.
5
Let a = -8 - -9. Solve 5 = -i + a for i.
-4
Let b = 20 + -19. Suppose 4*g - 5 = 3*r, 3*g = -4*r + 8*g - 6. Let a = r + b. Solve -1 - 3 = a*l for l.
-2
Suppose 29 - 92 = -3*y. Solve 0 = -4*a - 9 + y for a.
3
Let c = -15 - -18. Solve w + c = 4*w for w.
1
Suppose -10 = -11*i + 6*i. Solve -u = i*u for u.
0
Let v(d) = -d**3 + 5*d**2 + 5*d + 8. Let j be (0 - 3 - -11) + -2. Let z be v(j). Solve -z = m - 0*m for m.
-2
Let g be (5/(-4))/((-1)/4). Let h be (0 - -2)*(g + -3). Suppose -19 = -h*d - 7. Solve -6 = d*p - p for p.
-3
Let n = -2 + 0. Let t = n + 4. Solve t*l = 3*l + 4 for l.
-4
Let q = 21 - 11. Solve p = -p - q for p.
-5
Suppose 5*v - 3 = 4*v. Solve -2*h - v = 5 for h.
-4
Suppose 0 = -3*b + 2*y + 10, 11 = 3*b - 4*y + 3*y. Suppose 0 = -5*c + 3*c + b. Let i be (1 + 2 + 5)/2. Solve -c - i = 3*w for w.
-2
Suppose f - 96 = -3*f. Let i(q) = -q + 7. Let p be i(8). Let m be (p/(-2))/(2/f). Solve 0 = m*g - 3*g + 9 for g.
-3
Suppose 4*g + 3*k = -8 - 7, 4*k + 20 = -5*g. Let j = 8 - g. Solve 0 - j = -2*h for h.
4
Let y(i) = i**2 - 1. Suppose -4*g + 2*g = 2. Let j be y(g). Suppose 0 = -j*h + 4*h. Solve 4*x - 3 + 15 = h for x.
-3
Let g be 0/4 - (-8 + 1). Let p(q) = -q**3 + 5*q**2 + 6. Let s(z) = z**3 - 1. Let c(r) = p(r) + 2*s(r). Let y be c(-5). Solve 9 + g = -y*h for h.
-4
Suppose c - 2*c - 8 = 0. Let g be ((-2)/(-4))/((-2)/c). Solve g + 2 = a for a.
4
Suppose -2*t + 7*t + 25 = -3*x, 20 = 3*x - 4*t. Solve -f - 2 + 1 = x for f.
-1
Let f(g) = g**3 - 11*g**2 + 10*g + 3. Suppose -s = -2*s + 10. Let b be f(s). Solve b*r - 16 = -r for r.
4
Let g = 9 + -7. Solve 4*a = 18 + g for a.
5
Let v be -5 + 2 + 6 + -3. Solve v*s = 2*s + 10 for s.
-5
Let h be 4/(-12) - (-20)/(-12) - -14. Solve -x - 3*x + h = 0 for x.
3
Suppose 5*f + 0*f = 25. Suppose -f*g + 2*z - 12 = -z, 3*z = 12. Solve 0 = -2*r - g - 10 for r.
-5
Let l = 5 + -3. Let u be 2*1/l*-7. Let x(i) = i**2 + 5*i + 6. Let q be x(u). Solve -q = -y + 5*y for y.
-5
Let k = -50 - -50. Solve k = 5*b + 12 - 2 for b.
-2
Suppose -6*f + 8*f = 0. Solve 4*q = -f*q + 8 for q.
2
Suppose 12 + 16 = 3*c - 4*j, 8 = 4*j. Solve 0*i - c = -3*i for i.
4
Let h be 15/(-2) + (-3)/6. Let g = h + 15. Suppose 4*i + 2 = 5*i. Solve i*x = 5 - g for x.
-1
Let g be 13/(-2) + (-3)/(-2). Let w(d) = d**3 + 6*d**2 + 4*d - 2. Let v be w(g). Suppose -4 = a - 3*s + 5, 0 = 3*a + v*s - 9. Solve -3*r + 6 = -a for r.
2
Let k = 0 + 2. Suppose k*d - 18 = -0*d. Let c be (6/d)/(4/18). Solve c*g + 12 + 3 = 0 for g.
-5
Suppose 4*f + 0*c = -c + 