 -n + k for y.
4
Let c be -1 + -3 - (17 - 26). Solve 2*n - 13 + c = 0 for n.
4
Suppose -5*t = m - 62, -2*t - 16 = -3*t - 2*m. Let r(k) = k**3 - 3*k**2 - 2*k - 3. Let h be r(5). Solve -h = 5*c - t for c.
-5
Suppose 0 = i + 3*y, 0 = i - 2*i + 2*y. Solve -4*x = -12 - i for x.
3
Let g(p) = -p - 6. Let b(a) = a + 7. Let k(m) = 6*b(m) + 7*g(m). Let z be k(0). Solve z*s = 5*s for s.
0
Let u(p) = p**2 + 26*p + 5. Let n be u(-26). Let l be (-1)/(-4) + 14/8. Solve -m = -l + n for m.
-3
Suppose 0*c = 5*c - 10. Let r = 28 - 28. Solve r = o + c - 4 for o.
2
Let g(w) = 2*w - 6. Let u be g(4). Suppose 0 = 5*f - 4*r - u, -3*r + 2*r = -f. Solve -f*k - 1 - 3 = 0 for k.
-2
Let w = -12 - -16. Solve w = -i - 0*i for i.
-4
Suppose -i + 3 + 1 = 0. Solve 1 + i = -r for r.
-5
Suppose -3 = 4*g - 11. Suppose -q + 0*q = -g. Solve q*h + 10 = -3*h for h.
-2
Suppose 4 = 5*n - 5*g - 1, 0 = -4*g + 16. Solve n*a = a + 16 for a.
4
Let q be 8/(-20) - 17/(-5). Let w = q + -1. Solve -o = -w*o for o.
0
Let t(j) = -2*j**2 - j + 1. Let r be t(1). Let u be (2 + -4)/(r/8). Suppose u*l = 5*l. Solve -4*x - x = l for x.
0
Suppose 331*i - 326*i - 50 = 0. Suppose 3*q - 20 = -q. Solve -i = q*m + 10 for m.
-4
Let f(g) = 2*g - 5. Let u be f(5). Let i = u + -3. Solve 3*y = i*y for y.
0
Suppose 0 = h - 2, 2*h - 25 = -5*x - 3*h. Solve x*i - 8 = 5*i for i.
-4
Let b be (1 - 5/(-2))*-2. Let w = 19 + b. Solve 3*i + 3 = -w for i.
-5
Suppose 0*m = 3*m. Suppose -5*r - 2 = 2*x + 2, m = -5*x - 4*r + 7. Solve -2*y = -y + x for y.
-3
Let k = -1 + 1. Suppose -m = -k*m. Suppose m = -4*z + 27 - 7. Solve -z*s - 2 + 17 = 0 for s.
3
Let l be -5*((-16)/10 + 1). Solve 3*k - l = 4*k for k.
-3
Let x(t) = -3*t**3 - t. Let g be x(-1). Solve g*r + 20 = 8*r for r.
5
Suppose 4*l = 2*l + 10. Suppose 2*g - l*v + 1 = -17, -5*g + 5*v = 15. Suppose 2*c - 2 = -2*u + 2, 12 = 3*u - 3*c. Solve u*p = g - 13 for p.
-4
Suppose -17 = -5*o - 2*q, -4*q + 6*q = 2*o - 4. Let k(s) = 2*s - 2. Let z be k(5). Solve -o*l = -l + z for l.
-4
Let v = -80 - -83. Suppose 0 = p - 4*p - 2*o - 7, -2*p + 2*o = 8. Let s = 5 + p. Solve -v*d - s = -2*d for d.
-2
Let c(k) = k - 3. Suppose 7 + 8 = 3*j. Let g = 0 + j. Let a be c(g). Solve 0 = a*y - 4*y + 4 for y.
2
Let v(x) be the first derivative of -x**4/4 + 7*x**3/3 - 5*x**2/2 - 4*x + 1. Let m be v(6). Let c be (7/(-14))/(m/(-12)). Solve 0*o - c = o for o.
-3
Suppose 5*i = -0*i + 10. Suppose 5*a = i*a. Solve 0 = -a*h - 5*h for h.
0
Let r = -3 + 5. Suppose -d = -2 - r. Solve 7*c - 12 = d*c for c.
4
Let w(d) = d**3 + 5*d**2 + 3. Let r be w(-5). Suppose b - 2*b - 177 = -4*y, 4*y - 157 = -r*b. Let f be (-4)/(-6) + y/3. Solve -6*m + f = -3*m for m.
5
Let q be ((-16)/(-10))/((-1)/(-5)). Suppose -3*i = g - 5, 4*g + q + 2 = 3*i. Solve 4*z + 2 = -i for z.
-1
Let s = -5 + 8. Suppose r = 4 + s. Solve r*n = 4*n - 6 for n.
-2
Let p = -13 + 13. Solve -4*c = -p*c + 12 for c.
-3
Suppose -v = v - 3*f - 47, 0 = -v - f + 31. Suppose 4*g = -5*w + v, 3*g = 3 + 3. Solve 0*k + w*k = 8 for k.
2
Suppose m = 2 - 1. Suppose l = 4*b - 4*l + 5, 5*b - m = -l. Suppose b = -2*r - 3 + 1, -r = 3*j - 5. Solve -a - j = a for a.
-1
Let d be (0 + 1)*0/4. Suppose 2*l + l - 60 = d. Solve -l = -4*w - 0 for w.
5
Let w(n) = -n**2 - n + 4. Let i be w(0). Suppose 0 = 2*q - 2*f - 12, f = 3*q + 3*f - 23. Let t = q - i. Solve -6*r + 9 = -t*r for r.
3
Suppose -7*g + 4*g + 15 = 0. Solve -g*l + 2 = 7 for l.
-1
Let q = 0 + 0. Let d be 0*(q + 1)/2. Solve 3*s - 2*s + 1 = d for s.
-1
Let q(f) = 5*f**2 + 1. Let n be q(1). Let u(r) = -r**2 + 7*r - 2. Let d be u(n). Suppose 3*h + d*z - 19 = 0, h - 5*z = -16 - 3. Solve -3 + h = -2*a for a.
1
Suppose 0 = -0*s - 5*s. Solve -15 = -3*x - s for x.
5
Suppose h - 3 = -6. Let v be h/2*(-4)/6. Solve v = -m - 0*m for m.
-1
Let z(x) = x**2 + 10*x + 8. Let s be z(-8). Let o = -3 - s. Solve o*v - 3*v - 2 = 0 for v.
1
Suppose 9*t - 2*t = 119. Suppose 4*z + k + 0*k = t, 5*k = 5*z + 10. Solve -z = u + 2 for u.
-5
Let x(b) = -b**3 + 11*b**2 - 20*b + 20. Let q be x(9). Solve -q*y - 4 = -8 for y.
2
Let o = -4 + 8. Suppose 2*u - 7 = t, o*u - t = -0*t + 11. Solve -u*m + 10 = -0 for m.
5
Suppose 0 = -0*r - 3*r + 6. Solve r = -3*z + 5 for z.
1
Let p = -19 + 23. Solve 10 = -p*l - l for l.
-2
Let n(v) = -v**3 + 4*v**2 - 3*v + 3. Let a be n(2). Solve -6 = -a*d + 4 for d.
2
Let z be ((-3)/2)/(1/2). Let m = -1 - z. Solve -2*x = -3*x - m for x.
-2
Suppose 5 = -v - 0, -3*v = -3*m + 18. Solve g + m = -4 for g.
-5
Let q = -3 + -1. Let j(s) = s - 5 - 3*s**2 + 0*s + 4*s**2. Let y be j(q). Solve 0 = 2*v + 1 - y for v.
3
Let c be ((-7)/3 + 1)*3. Let z = 6 + c. Solve z*a + a - 12 = 0 for a.
4
Let q(t) = -t**3 - 8*t**2 + 14*t - 7. Let u be q(-10). Let c = u + -32. Solve 9 = 3*f + c for f.
-4
Let l be 4/(-6)*(-6)/4. Let o be (2*-1)/((-4)/(-6)). Let j = -3 - o. Solve j = s + 1 + l for s.
-2
Let c(h) = h - 2 + 2. Let z be c(3). Suppose z*s = s + 8. Solve s*w = 2*w - 2 for w.
-1
Let j = -25 - -29. Solve -4*y = j + 8 for y.
-3
Let t be (11 - (4 - 2)) + 0. Let f be 0/((4 - 2)*1). Solve 0 = -3*x - f*x - t for x.
-3
Let n(s) = s**2 - s - 5. Let y be n(0). Let o be (-8)/(3 + 0 + y). Solve 3*l - o = 2 for l.
2
Suppose 0 = -3*s + 2*s + 5. Let f = s - 2. Let k(g) = g**2 + 2*g + 1. Let z be k(-1). Solve z = -j - 2*j - f for j.
-1
Suppose 4*u = 3*u, 4*z - 20 = -2*u. Solve -z = 3*h - 17 for h.
4
Suppose -3*f - 2*o - 3*o - 35 = 0, 4*f + 24 = -o. Let m = -5 - f. Solve -4*z + 15 + 5 = m for z.
5
Let k be (-258)/(-33) - (-6)/33. Solve 0*y + 4*y = -k for y.
-2
Suppose z - 5*z - 4 = 0. Let h be 7/((-21)/18)*z. Suppose q - 3*q + h = 0. Solve d + q*d = -20 for d.
-5
Let n be 56/35*(-5)/(-2). Solve 0 = n*x - 9 - 3 for x.
3
Let j(q) = -4*q + 1. Let s be j(-2). Suppose s - 4 = d. Solve d*o - 3*o = 0 for o.
0
Let q be (4 - (-3 + 6))*3. Let k be 5 + (-1 - (4 - q)). Solve 8*x - k*x + 5 = 0 for x.
-1
Suppose p = 1 - 4. Let o(c) be the first derivative of -c**3/3 - 3*c**2 - 3*c - 2. Let t be o(p). Solve -2*i = -t*i - 8 for i.
-2
Let l(z) = -z + 9. Let k(f) = f**2 - 4*f + 2. Let x be k(5). Let p be l(x). Suppose p*v = 5*v. Solve v = -0*r - 4*r + 16 for r.
4
Let l(m) = 2*m + 1. Let g be l(0). Let k = -1 - 0. Let y = g + k. Solve -2*f + 0*f + 4 = y for f.
2
Suppose -b = b + 48. Let c be (b/14 - -2)*7. Let f be (8/c + -2)*10. Solve 7*m = 2*m + f for m.
4
Let x(z) = -4*z. Let q be x(0). Solve -2*i - 3*i + 10 = q for i.
2
Suppose 15 - 3 = -4*g. Let m = 4 + g. Let a = 1 + m. Solve -a*b = -3*b for b.
0
Let k be 10/4*(3 + -1). Let n(p) = 4*p**2 - 4*p - 7. Let t be n(k). Suppose -4*b + 102 = -2*d, -2*b - b + t = 2*d. Solve -2*j - b = -7*j for j.
5
Suppose 2*u = 11 - 3. Suppose -2*s + 4 = 0, -5*l + 38 = -0*s + 4*s. Solve 14 = -u*q - l for q.
-5
Let d(m) = m + 8. Let p be d(-5). Suppose -p*k + 5*u + 23 = u, 5*u = 5*k - 35. Solve k*h - 5 = 20 for h.
5
Let z = -132 - -145. Solve 7 + z = 4*p for p.
5
Let d be (-2)/(-5) - 152/(-20). Let n be 27/4 + (-3)/(-12). Solve -3*w + d + n = 0 for w.
5
Suppose 0 = -5*l - 5*t + 20, -3*l - 3*t = -7*t - 19. Suppose -12 = -4*p - h, 4*p = -h + 6*h - 12. Solve -l = -p*u - 13 for u.
-4
Let l(a) = 2*a. Let b be l(1). Solve 1 + 5 = b*g for g.
3
Suppose -2*o = -0*o - 14. Let b be o/(2/(-4)*2). Let y = b - -11. Solve y*c = 3*c for c.
0
Let u be (7/14)/((-2)/(-12)). Solve 0 = -2*h - h + u for h.
1
Suppose 20 = 3*f + 2*f. Solve 6 = f*c - 2 for c.
2
Let k = 31 + -29. Solve k*f = -15 + 5 for f.
-5
Let r be 0/(-2*(4 + -3)). Solve r = 2*m + 4 for m.
-2
Let d = 7 + 1. Suppose -4*o - 4*b + d = 0, 3*o + 4*b = 4 + 2. Solve -4 = -o*j - 2*j for j.
1
Let g be (0 - 5)*(-32)/20. Solve 0 = 3*x + g + 1 for x.
-3
Let l(s) = s + 7. Let k be l(5). Solve -3 - k = 5*m for m.
-3
Let t be (-4 - -4)/(4 + -1). Let r(h) = -h**3 - 2*h**2 - h. Let u be r(-2). Let c = u + 3. Solve 0 = -t*s + c*s + 10 for s.
-2
Let u(r) = r**2 + r + 3. Let s be u(0). Suppose -j - 123 = -4*j. Suppose -5*g + j - 1 = 0. Solve -t + s*t + g = 0 for t.
-4
Let r be 2*2/(-8)*-10. Suppose -r*s + 8 + 32 = 0. Solve 2*j = -2*j - s for j.
-2
Suppose 4*q = 2*d + 7 + 35, 5*q + 5*d - 90 = 0. Let w be 0 + (-2)/2 - -25. Suppose -2*g = -4*o - 0*g + w, 3*o - 23 = 4*g. Solve o*n = q - 3 for n.
2
Let t = 6 + -3. Let o be (0 - 0)/t - 0. Solve f - 2 - 1 = o for f.
3
Let p be 5*(7/5 - 1). Suppose -p*m + 16 - 2 = 0. Let h = m - 5. Solv