lve -y = -5*g - 0 for g.
1
Suppose -2*v + 17 = 5*h - 0, 0 = -4*v - 5*h + 19. Suppose 5*x - 5 = -3*t - 0*t, 17 = 5*t + 4*x. Solve v = -t*j - 4 for j.
-1
Let k = -15 + 30. Let g be 69/k - 4/(-10). Let s = g + -2. Solve -5*i - s = 7 for i.
-2
Suppose -l + 0 = 1. Let d = 1 + l. Let h be 1/((-2)/8)*6/(-4). Solve d = h*c - c + 20 for c.
-4
Let o = -26 - -31. Solve -2*a = -o*a for a.
0
Let k = -11 + 12. Solve 4*t + k = 13 for t.
3
Let f(r) = r. Let l be f(6). Suppose 0 = -l*y + 8*y - 10. Solve 15 = 2*c - y*c for c.
-5
Let o be 1 + -19 + 2/(-2). Suppose u = -2*u + 6, 4*a = -u - 42. Let n = a - o. Solve -5*z + n = -7 for z.
3
Let d be ((-6)/9)/(2/6). Let m(k) = 2*k**2 + 4*k + 2. Let g be m(d). Solve y + y - g = 0 for y.
1
Let r = 12 + -9. Let g(l) = 7*l**3 + l**2 + l - 1. Let h be g(1). Let a = -6 + h. Solve 0 = r*y + a*y + 10 for y.
-2
Let x be (3 - -1)/(-1 - -3). Let h = x - 0. Solve -d = h + 2 for d.
-4
Let s = -46 - -48. Solve m - 5 = s*m for m.
-5
Let p be 125/20 + 1/(-4). Solve b - p = -b for b.
3
Let n(c) = -c**3 - c. Let r be n(1). Let i(u) = -6*u + 1. Let x be i(-1). Let d be 2/x + r/7. Solve d*l - l = -3 for l.
3
Suppose -6 = -3*j - 5*o, -j = -5*j + 5*o + 8. Suppose -2*q = j*q. Solve q = w - 2*w for w.
0
Suppose -35 = -l - 13. Suppose -s - 5*u = 1, 5*s - u = u + l. Solve -s*q = 4 + 12 for q.
-4
Let h = 55 - 45. Solve -3*o - 1 + h = 0 for o.
3
Suppose -16 = -2*i - 2*i. Suppose -2*z + k = 3, -3*z - 2*k + 6 = 2*z. Suppose 24 = 5*p - 2*p. Solve z = -i*s + 6*s - p for s.
4
Let u be (-1)/(4/(-20)) + 0. Solve u*m = 7 + 18 for m.
5
Suppose 0 = -l - 3*l + 20. Suppose m + 16 = l*m. Suppose 2*s - 7*s - m*p = 4, 5*p + 5 = -5*s. Solve -2*z + 2 - 12 = s for z.
-5
Suppose 5*j + m = -48, 2*m - 6*m + 28 = -2*j. Let b = 14 + j. Suppose -2*c + 18 = b*y, 4*y = -y - 4*c + 21. Solve 4*l - 7 - y = 0 for l.
3
Suppose c = 4*c - 5*j - 461, 3*c = 2*j + 476. Let m = c + -110. Suppose -4*o = -0*o - m. Solve -o - 7 = 4*i for i.
-5
Suppose -1 = 2*i + 5. Let n be i*1*6/(-9). Suppose -n - 3 = -l. Solve -4*v + 1 - l = 0 for v.
-1
Let y be 6/((6/(-3))/(-1)). Solve 0 = y*p + 1 + 2 for p.
-1
Let r = 8 + -6. Suppose -6 = -r*j + 2. Suppose 3*v + j*b = 0, -3*v + v - 3*b = 0. Solve i + i - 8 = v for i.
4
Let w = -16 + 25. Let i = w + -16. Let o = i - -7. Solve -5*z + 9 + 1 = o for z.
2
Let d be (-1)/(-3) - 5/15. Suppose c - 21 + 9 = d. Solve -3*f - c = f for f.
-3
Suppose -r = -5*z - 1, -17 = -2*r - 3*z + 11. Let w = -7 + r. Let t be -1*(-2*1 + 0). Solve -2*f + w*f + t = 0 for f.
-1
Let w(u) = u**2 + 13*u - 5. Let b(o) = -3*o**2 - 38*o + 14. Let t(p) = 3*b(p) + 8*w(p). Let k be t(-10). Solve -4 = -k*s + 6*s for s.
-1
Let a(s) = s**2 + 2*s + 1. Let y be a(2). Let w = 11 - y. Solve w = -0*k + k for k.
2
Suppose 0*d = -u + 5*d - 8, -2*u + 12 = 4*d. Solve f + u*f = 15 for f.
5
Let i = -24 + 27. Solve -i*u - 5 = 1 for u.
-2
Let k be (-39)/(-9) + 1/(-3). Suppose -6 = -q + 5*i, 7 - k = 4*q + i. Solve -q = 5*v + 4 for v.
-1
Suppose 2*t + 0*t - 2 = -s, -2*t + 2*s + 8 = 0. Suppose 2*q - 4*q = 0. Solve 2*x + t - 10 = q for x.
4
Suppose -2 = -0*p - p. Suppose y + 3 = p*y. Solve 2*l = y*l for l.
0
Let g(j) = -2*j + 11 - 2*j - j**3 + 13*j**2 - 9*j. Let a be g(12). Let c(r) = -5*r**3 + 2*r + 1. Let o be c(a). Solve -o*l = -3*l for l.
0
Suppose 4*s = -2*w + 412, -272 = -2*s + 4*w - 56. Let q be 14/63 + s/18. Solve q*t - t = 0 for t.
0
Let f(u) = -4*u**3 - u**2 - u. Let x be f(-1). Let l be 2 + (-5)/(10/x). Solve l = -4*j + 7*j for j.
0
Let p(l) = 2*l**2 - 12*l. Let v be p(6). Solve -4*o + 4 = -v for o.
1
Let y be (-4 + 1)*15/(-9). Suppose 0 = -3*b + 3*u + 105, -2*b = b + 3*u - 135. Suppose -b = 2*t - 7*t. Solve 3*g = t*g - y for g.
1
Let t(u) = -2*u**2 + 15*u - 7. Let d be t(7). Solve 3*j + 6 + 6 = d for j.
-4
Let f(o) = -o**2 - 6*o - 1. Let z be f(-3). Solve -3*m + z = m for m.
2
Let v be (-13 - 2)*2/6. Let q = v + 8. Solve -s + 8 = -q*s for s.
-4
Suppose 17 - 41 = -12*l. Solve -l*j + 2 = -4*j for j.
-1
Suppose 5*p - 25 = 0, 0*p - 2*p + 10 = -3*w. Let y be 0 + 3 + -9 - 3. Let t be (-54)/y + -1 + -1. Solve w = -2*u + u + t for u.
4
Let t be (1/(-4))/(13/(-156)). Solve -1 - t = -v for v.
4
Let p = 13 + 3. Let h be 6*(-2)/(1 - 7). Solve -p = 6*t - h*t for t.
-4
Let w be (171/2)/((-15)/(-40)). Let a be (-4)/18 + w/54. Solve 0 = -7*s + a*s + 6 for s.
2
Suppose 0 = -3*u - g + 7, -5*u = g - 14 + 3. Solve f + f = -u for f.
-1
Let g(s) = -s**2 + 9*s - 10. Let c be g(7). Let n(j) = j**2 + 6*j + 8. Let v(m) = -3*m**2 + 4*m - 2. Let u be v(2). Let o be n(u). Solve -c*l = -0*l - o for l.
2
Let x = 4 + -1. Solve 0 = -x*y - 10 - 2 for y.
-4
Let d be (4/(-16))/(2/(-32)). Solve -2 = d*u + 10 for u.
-3
Let u = -1 - -1. Let t be u + (0 - -1)*2. Solve -t*n - 9 = n for n.
-3
Let a = -34 - -44. Solve 7*h = 2*h + a for h.
2
Let t(h) = h + 3. Let g be t(-7). Let l(z) = -1 - 2 - z + 0*z. Let o be l(g). Solve -u - o = -5 for u.
4
Let d(n) = n**3 - 5*n**2 + 6*n. Suppose 0*l - 5*w + 12 = -2*l, 5*w = 3*l + 8. Let m be d(l). Let v = 35 + -15. Solve m*t - v = 3*t for t.
4
Let j(r) = r**3 + 5*r**2 + 3*r - 2. Suppose -4*t + 93 - 13 = 0. Suppose -t = -0*p + 5*p. Let f be j(p). Solve -3 + 1 = f*l for l.
-1
Let q(o) = -o**2 + 7*o - 3. Let v be q(3). Solve 4*k = -v - 3 for k.
-3
Let k = 0 - 0. Suppose 0 = -5*t - 0*u + 2*u - 40, -t - 2*u - 8 = 0. Let v be t/(-44) + (-31)/(-11). Solve k*z - 3*z - v = 0 for z.
-1
Let u(g) = -g**3 - 3*g**2 - 4*g. Let p be u(-2). Solve -1 = -p*o - 5 for o.
-1
Suppose 2*h - 31 + 11 = -4*y, -25 = -5*y. Let n be 62/(-8) + 1/(-4). Let p = n - -14. Solve 4*r - 6 - p = h for r.
3
Suppose 4*w - 16 = 2*c - 72, -4*w - 36 = -c. Suppose 5*p + 2*x + 5 - 19 = 0, -4*p + 31 = -5*x. Solve 0*n = -p*n + c for n.
5
Let h(t) = -t**2 + 8*t + 9. Let g be h(9). Let z be (g - -6)*2/6. Suppose 4*a = -0*s + z*s + 20, 0 = -a - 2*s. Solve -f + a = f for f.
2
Suppose 0 = 2*r - 11 + 53. Let j = r + 15. Let y be 5/((-1)/j*2). Solve -4*h + y = h for h.
3
Let j be 90/(-8) - 2/(-8). Let y = j - -18. Solve y = -5*s - 3 for s.
-2
Suppose -3*k - 3*b = -27, 5*b = 5*k + 11 - 46. Solve 4*n = k - 28 for n.
-5
Let a = 3 + -3. Suppose a = 5*j - 7 - 13. Solve -10 = j*k + 2 for k.
-3
Suppose 0 = -5*c + 3 + 2. Let v be 1 - c - (-5 - -5). Solve v = 4*a - 8 - 4 for a.
3
Suppose -10*v = -7*v - 12. Solve v = 3*u + 1 for u.
1
Let s = 13 + -11. Let r be ((-135)/(-18))/(1/s). Solve 4*b = -b - r for b.
-3
Let f be (2 + -1)*2 - -9. Suppose 0 = 4*r - 4*c - 20, r - 4*c = -0*r + f. Solve r*s = 7*s for s.
0
Let t = 2 + -1. Let c = t - -2. Solve f - 8 = -c*f for f.
2
Let t(x) be the first derivative of 2*x**3/3 - x**2 - x - 1. Let n be t(-1). Solve -n*u = 2*u for u.
0
Let q(r) be the first derivative of r**3/3 + 5*r**2/2 - 4*r - 2. Let x be q(-6). Let t(k) = k + 6. Let w be t(-6). Solve w = -3*g - 14 + x for g.
-4
Let r be 9 - -2*(-4)/8. Solve 4*g + 0 = r for g.
2
Let l = 20 + -14. Suppose l*f - 8 = 4*f. Let i be (1 - 3)/(4/(-30)). Solve -f*j = -j + i for j.
-5
Suppose 3*s - 2 = 2*s. Suppose s*b + 1 = y, -2*b + 3*y - 5 = 6. Solve -b*p = -7*p - 5 for p.
-1
Let u = 18 + -9. Let v be -1 + (-3)/(u/(-30)). Let d be ((-6)/v)/(2/(-24)). Solve 2*p = 4*p + d for p.
-4
Let q(w) = -w**3 + 19*w**2 + w - 11. Suppose -3*l - 13 = -j, -j - 4*l + 27 = -0*j. Let p be q(j). Solve 0 = -c - c - p for c.
-4
Let y(x) = -x**3 + 3*x**2 + 1. Let z be y(3). Let w be (5 - z) + -3 - -3. Let n(k) = k**2 + 4*k - 4. Let c be n(-5). Solve w = -b - c for b.
-5
Let l = -16 + 22. Suppose -5*y = -4 - l. Let a be (2 - 6/4)*12. Solve -y*r - 2 = a for r.
-4
Let k be 4*-3*(-2)/6. Suppose w - k*w = 0. Solve w = -4*c + 11 + 5 for c.
4
Suppose 18*x = 21*x. Solve 0 = -2*p - 4 - x for p.
-2
Let y be (-12)/(-9)*84/8. Let r = y + -6. Solve -5*d + r + 7 = 0 for d.
3
Suppose 0 = 5*d - 19 - 26. Solve -u + 4 - d = 0 for u.
-5
Let k = -28 - -34. Suppose 2*c + g - 13 = 0, 2*g + 46 = 5*c - 0*g. Let b be (-2)/(-2 + c/k). Solve b*w = -5 - 1 for w.
-2
Let q = -8 - -8. Let c be (-5 - -9) + q/(-1). Solve -j = -0*j - c for j.
4
Let k = 69 - 68. Solve -3 - k = s for s.
-4
Let b be 2/(-4)*-6*151. Let f = b + 107. Let n be f/25 - (-2)/(-5). Solve -n = -5*d - 2 for d.
4
Let t(x) = x**3 - x**2 + 1. Let f be t(1). Let q = f - -1. Solve q*l = -l + 9 for l.
3
Let q = -51 - -76. Suppose 0 = -4*i + l + q, 4*l + 15 = l. Solve i*d