 for n.
3
Suppose 0 = 7*y - 92 + 8. Solve 3*h - y = -3 for h.
3
Let k = 11 + -6. Suppose -2*v - 5*y + 10 = -k, 3*v - 3*y = -9. Solve -q + v*q + 1 = 0 for q.
1
Let j be 6 + ((4 + -3)/1 - 1). Solve 2*d + j = -4 for d.
-5
Let o(v) = v - 3. Let n be o(9). Suppose 2*b - n = b + 2*y, 0 = 3*y - 3. Solve -k + b = k for k.
4
Let v be 0 + -1 - (-3)/1. Suppose 0*y - v*y = -6. Let c be (-7)/(-3) + (-1)/3. Solve -c*f + 7 = y for f.
2
Suppose -5*n - 5*b + 7 = -2*b, 0 = n - b - 3. Solve 5*r = n*r - 12 for r.
-4
Let s(x) = 2*x**3 - 3*x**2 - x + 2. Let g be s(2). Let z = 1 - -3. Suppose z*c + 6 = v + 2*v, 5*c = -g*v + 39. Solve -v*u + u = -10 for u.
2
Suppose -3*c + 5 = -3*d - d, 0 = d - 2*c - 5. Let i = 8 + d. Suppose 4*v - 3 = i*r - 8*r, -2*v = -3*r + 15. Solve 2 = -r*h + 17 for h.
5
Let m(u) = u - 3. Suppose 0 = 5*s - 10, -4*w - 4*s = -16 - 24. Let i be m(w). Solve -3*p - i - 4 = 0 for p.
-3
Let i(g) = 2*g**2 + 2*g - 3. Let u be i(-3). Suppose 2*w - 4*w = 2*m - 46, 5*w - 31 = -m. Solve -u + m = 3*x for x.
4
Suppose -3 = -y, 2 = l - y - 0. Suppose -2*r - 4*q = -2*q - 12, -2*r - 16 = -l*q. Solve 3 = 3*g - r*g for g.
3
Let g(u) = -4*u**3 + u**2. Let o be g(-1). Suppose -2*x + o*k = 3*k - 2, 0 = -x + 3*k + 3. Solve x*r + 3*r = -6 for r.
-2
Let f = 29 - 21. Solve 0 = -4*p + f for p.
2
Let v(s) = s**2 + 2*s - 1. Suppose 2*i = -3 + 9. Suppose -2*p - 11 = -2*d + i*d, -4*p = 5*d + 31. Let j be v(d). Solve -4 = -j*m + 6 for m.
5
Suppose -l = -0*l - 0*l. Solve -c = -l - 1 for c.
1
Suppose 2*n + 3*j + 2*j - 15 = 0, 4*j = 5*n - 21. Let c(a) = -a**2 - 10*a - 10. Let z be c(-8). Suppose 0 = -3*l - z, n*u = 4*l + 2 + 6. Solve -1 = k - u for k.
-1
Let w be (-2 + 0)*(1 + 0). Let u be (-3)/((-1)/(w/(-3))). Solve 0*r + u = r for r.
2
Let v(y) = -3*y - 1. Let l be (-2)/3 - 98/(-21). Let d be ((-16)/(-24))/(l/(-6)). Let m be v(d). Solve 4*z = m*z + 2 for z.
1
Let g(s) = -s**2 + 15. Let z be g(0). Suppose -6*f + f + z = 0. Solve -f = -h + 1 for h.
4
Let y be (1 + -1)*-1 - -5. Solve y = -0*j - j for j.
-5
Let m = -46 + 50. Solve -m*q = 1 + 11 for q.
-3
Let z(c) = -5*c**3 + c**2 + c. Let v(j) = -j**3 - 11*j**2 - 2*j - 14. Let n be v(-11). Let i be (-3)/12 + (-6)/n. Let w be z(i). Solve -q + w*q = 0 for q.
0
Suppose 0 = -5*u - 0*d - 4*d - 50, -5*u = -5*d + 5. Let h be (u/12)/(1/(-6)). Solve 2*n = n + h for n.
3
Let s be 4*1*(-6)/(-3). Let f(y) = y**2 - 7*y - 8. Let o be f(s). Suppose -n = -0*n - 2. Solve o = 2*v + n*v for v.
0
Suppose y + 2 = -0*y. Let s be ((-4)/y)/(6/(-21)). Let q be (s + 1)/(-4 + 2). Solve -q*i + 4 = i for i.
1
Let m(q) = q**2 + 18*q - 14. Let f be m(-19). Solve 5 = -f*o - 10 for o.
-3
Let r be (-1)/5 + (-123)/(-15). Suppose 0 = 2*p - 0 - r. Solve -20 + 4 = p*g for g.
-4
Let g(o) = -o**3 + 8*o**2 - 7*o. Let k be g(7). Solve -2*x - 2 = -k*x for x.
-1
Let r(o) = -3*o - 2. Let m be r(-2). Let p = -3 - -3. Solve m*v + v = p for v.
0
Suppose -2 = -j - 4. Let g be 2 + 1*(0 + j). Suppose g + 10 = 2*y. Solve 0 - y = -i for i.
5
Let b = 32 - 14. Suppose -r + b = r. Suppose -w = -3*n + 2 - 7, 4*w - n - r = 0. Solve 0*s = -w*s for s.
0
Let q(b) = -15*b + 60. Let i be q(4). Solve i = -3*t + 6*t - 15 for t.
5
Let a(f) = -f**2 + 13*f - 3. Let r be a(9). Suppose 0 = 2*i - 6, 3*g - 2*i - r = -4*i. Solve g = -u - 2*u for u.
-3
Let k(m) = m**3 - 2*m**2 + 4*m - 3. Suppose 2*f + 0*f = 4. Suppose 0 = -d + f. Let j be k(d). Solve -4 = j*s - 19 for s.
3
Let m be (-40)/30*(-3)/2. Suppose -m*a = a. Solve 4 = -2*t - a for t.
-2
Let i(p) = 6*p**2 + p. Let o = -2 + 4. Suppose -3*d - d = -8, -3 = -q - o*d. Let s be i(q). Solve s = -4*h + 1 for h.
-1
Let f be (-8)/(-5) - 4/(-10). Suppose -v = -f*v. Let w be (v + -1)/((-2)/6). Solve -8 = 5*x - w*x for x.
-4
Let h = 122 - 118. Let c be 0 - (-2)/(0 + 1). Solve -h*b + c + 14 = 0 for b.
4
Let i = 25 - 15. Let y = -7 + i. Solve -y + 2 = -b for b.
1
Let y(i) = 3*i**2 + 2*i - 1. Let l be y(2). Let j(s) = -s**3 - s**2 + 4. Let f be -1*((-6)/(-2) + -3). Let o be j(f). Solve l = -o*z - 5 for z.
-5
Let o be (-13)/1 - (-4 - -7). Let c = o + 20. Solve c*y + 12 = y for y.
-4
Let h be (-5)/(2 - (-6)/(-2)). Let t be (-1)/((-4)/4)*h. Solve 0 = t*q + 10 - 0 for q.
-2
Let n be (6/8 - 0)*4. Solve n*j + 4 + 2 = 0 for j.
-2
Let h(m) = -m**2 + 9*m - 9. Let d = -12 + 31. Let s = d + -12. Let g be h(s). Solve -y + g - 2 = 0 for y.
3
Suppose -3*f - 1 = d - 0*f, 2*d - 8 = -f. Let c be (-5)/10*(-39 + -1). Solve -d*t + t = -c for t.
5
Suppose 7*k = 2*k + 20. Solve 0 = -k*h + h - 9 for h.
-3
Let v(s) = s - 8. Let y be v(12). Suppose 0 = -q - 4*b + 10, y*q - 9 = -4*b + 7. Solve -4 = -0*j + q*j for j.
-2
Let n be (24/1 - -2)/2. Let q(g) = -g - 5. Let l(o) = 2*o + 10. Let k(z) = 3*l(z) + 5*q(z). Let f be k(-2). Solve 4*s + n = -f for s.
-4
Let u be (-40)/14 + 2/(-14). Let w be (2/u)/((-2)/15). Solve 0 = -w*t - 20 + 5 for t.
-3
Let s = 99 - 85. Solve -3*w - 2 = -s for w.
4
Let g(l) = -2*l - 9. Let p be g(-6). Suppose 0 = 3*o + 5*q - 1, q + p = 2. Suppose 0 = t + 4*z + 16, -t - 7 = 3*z + 4. Solve 0 = t*i - 3*i - o for i.
2
Let g(y) = -y**3 - 2*y**2 - 2*y - 3. Let c be g(-2). Solve n - 4 - c = 0 for n.
5
Let u be (-66)/(-15) - (-6)/(-15). Let s = u - 2. Solve g + g = -s for g.
-1
Suppose -5*a = 2*a - 14. Solve a*k = 3 - 7 for k.
-2
Let f(j) = j**2 + 3*j - 1. Let c be f(-9). Let i = c + 13. Suppose -5*v + 3*q = -0*v - i, 2*q = -5*v + 81. Solve -v = 2*l + l for l.
-5
Let w = 44 + -40. Solve -q + 1 = w for q.
-3
Let x(j) = -2*j. Let v be x(1). Let k be v/(-7) - 64/28. Let f = 7 + k. Solve f*i + 3 = 2*i for i.
-1
Suppose 0 = -q + 2. Suppose -3*d + 1 + q = 0. Solve 1 = l - d for l.
2
Suppose -3*m - 5 = -8*m. Suppose 2 - 4 = -2*h. Let g be 2 + (h - m) + 0. Solve 0 = g*c + 1 - 3 for c.
1
Let f be (-13 + 1)*9/12. Let g = -2 - -11. Let y = g + f. Solve y*k = -2*k for k.
0
Let i(z) = -z**2 - 8*z + 4. Let n be i(-8). Solve 9*p - n*p - 5 = 0 for p.
1
Suppose -3*a - 38 = -8. Let f be 5 + 1 + 10/a. Suppose 0 = -f*l + 2 + 18. Solve -l + 24 = -4*t for t.
-5
Let z = 2 - 5. Let n = 3 + z. Solve -3*b - 12 = -n*b for b.
-4
Let o be (-4)/(-5)*-3*5. Let g be -1 - 1 - o/4. Solve 3 = -2*p - g for p.
-2
Suppose 0 = 5*u + 4*j - 2*j - 31, j = 3. Solve 0*p + 15 = u*p for p.
3
Let r = -11 + 11. Suppose 0 = -2*i - 17 + 57. Solve -6*j + 2*j + i = r for j.
5
Let p = 12 + -3. Suppose 4*a - p = 3. Solve 10 + 2 = -a*y for y.
-4
Suppose -8 = -4*j + 2*j. Let a be ((-14)/j)/(-7)*4. Solve n = 6 - a for n.
4
Let c = -2 - -8. Suppose -3*y + 9 = -c. Solve -y*p = 15 + 10 for p.
-5
Let g(t) = t. Let x(m) = 6*m. Let n(u) = 4*g(u) - x(u). Let d be 2 + -1 + -1 + -2. Let w be n(d). Solve -q = w*q - 15 for q.
3
Suppose 5 = 2*s - p, -26 = -7*s + 2*s - 2*p. Solve -y - s = -1 for y.
-3
Let v be (72/120)/((-1)/(-25)). Let q(z) be the first derivative of -z**2/2 - z + 1. Let r be q(-1). Solve r*c = -5*c - v for c.
-3
Suppose 0*c + 0*c = -2*c. Solve c = 5*n - n + 16 for n.
-4
Let z = -12 + 14. Let x be (-15)/(-10) + 5/z. Solve j = x*j for j.
0
Let p(v) = -3*v**3 + 5*v**2 + 7*v + 1. Let a(n) = 3*n**3 - 4*n**2 - 6*n - 1. Let q(i) = -7*a(i) - 6*p(i). Let y = 2 + -3. Let k be q(y). Solve h = k*h for h.
0
Suppose 5*t = t + 24. Solve t = 2*d - 4 for d.
5
Suppose 2*n + 4 = 4*n. Let g be 2 - (0/n + 0). Solve 8 = 2*b - g for b.
5
Let u be 3/(9/3) - -1. Suppose 0*t - 8 = u*t. Let z = 9 + t. Solve 3*s + 2*s = -z for s.
-1
Suppose -47 + 122 = 5*z. Let u = 37 - z. Suppose -a = j - 3, 5*j = -2*a + 1 + 2. Solve a*o + 2 = u for o.
5
Suppose -5*i + 2*p + 95 = -3*p, -5*i = 5*p - 115. Suppose i = -3*k + 2*h - 7*h, -h = -3*k - 3. Let q be (k/4)/((-3)/6). Solve x + q + 2 = 0 for x.
-3
Let t(s) = -s**2 - 18*s - 18. Let m be t(-16). Solve 4*y = 2 + m for y.
4
Let a(q) = -2*q + 34. Let i be a(16). Solve -i*p - 4 = -4*p for p.
2
Suppose 5*s - 18 = 2*s. Let h be 3 + 4 + -2 + 0. Suppose 4 = 5*m - 2*d - 4, -h*m = -3*d - 7. Solve s = -m*x - x for x.
-2
Suppose 0*h - h = 2*h. Solve -4*v - 9 - 11 = h for v.
-5
Let g = -11 - -19. Solve -j + g = -5*j for j.
-2
Let z(x) = x**3 - 7*x**2 + x - 5. Let g be z(7). Let t be 46/14 - 6/21. Suppose g*b + 3*j - 6 = 0, 0 = t*b - 4*j + 3*j + 2. Solve -2*k = -b*k + 8 for k.
-4
Let a be ((-1)/(-2))/((-1)/4). Let h(x) = -8*x + 2. Let y be h(a). Let o be (y/(-1))/(-3)*1. Solve o*r = r + 20 for r.
4
Suppose 4*x - 9 = -29. Let y