ve n - 5 + l = 0 for n.
4
Let y = 20 - 21. Let t = y + 3. Solve t*i - 4*i = -10 for i.
5
Let b = -18 - -19. Solve -j - b = 1 for j.
-2
Suppose -6 = -5*u - 1. Solve -3 - u = -2*q for q.
2
Suppose 0 = 8*f - 5*f - 9. Solve 3*r + 0 = f for r.
1
Let a be 3 - (-3 + 7) - -4. Suppose a*l = 4*l - 2, 8 = -3*u + 4*l. Solve u = -2*o + 8 for o.
4
Suppose 5*p = 2 + 13. Suppose -2*a + 8 = -p*k - 3, -2*k - 2 = -4*a. Let j = a + 8. Solve -j*d = -4*d - 10 for d.
5
Suppose 3*a - 4*a + 3 = 0. Suppose -a*b = b - 8. Solve -v + b*v = 2 for v.
2
Suppose -4*p + 3*c - 6 + 21 = 0, -5*p - 5*c = 25. Solve 3*q + q + 12 = p for q.
-3
Let v = -5 - -9. Solve 0*d = -v*d + 4 for d.
1
Let h be 33/22 + (-6)/4. Solve h = -p - 0*p + 5 for p.
5
Let b(i) be the first derivative of i**3/3 + 2*i**2 + 3*i - 1. Let u = -36 - -33. Let q be b(u). Solve -v + 3 + q = 0 for v.
3
Suppose 0*y = -3*y + 96. Suppose -3*r - y = -5*r. Solve -r + 41 = -5*v for v.
-5
Suppose 0 = -3*y - 2*y + x + 12, -5*x = 5*y - 30. Suppose -18 = -q - y*n, q - 4*n + 12 = -n. Suppose -4*s = 1 - 13. Solve -s*f + 2*f = q for f.
-3
Suppose 2*j - 23 + 9 = -3*x, 0 = 5*x + 5*j - 30. Solve -x - 4 = -2*d for d.
3
Let x(s) = 2*s**2 + 4*s - 1. Let z be x(-3). Let u(l) = -l - 2*l + l**3 + 8*l - z*l**2 - 1. Let t be u(4). Solve 0 = -t*f + 7*f - 12 for f.
3
Let p(n) = -9*n - 4. Let z be p(-4). Let d = z - 23. Solve -d = -4*i + 7 for i.
4
Suppose -3*b + 91 - 61 = 0. Solve j = -4*j - b for j.
-2
Let n be (-5)/10*0/(-1). Solve n = 2*d + 2*d + 4 for d.
-1
Let k(a) = 3*a + 21. Let s be k(-7). Solve s = 4*m + m for m.
0
Let a be (-5)/(-15) + 8/3. Solve a*y = 2*y for y.
0
Let m be 0 + -1 - (5 - 7). Let u be 6/1 + (m - 4). Solve u = 2*d + 1 for d.
1
Suppose -2 = -2*q + 2. Suppose -c = -q*c. Solve -z + 5*z = c for z.
0
Suppose -6 = 6*d - 66. Let q = 2 + d. Solve -2*a = a - q for a.
4
Suppose -5*p - 3 = 5*a - 78, -5*a + 4*p = -120. Let h = -11 + 15. Suppose 3*r + 17 = h*g - 2*r, 5 = -5*r. Solve -j + a = g*j for j.
5
Let y(l) = l + 3. Let x be y(0). Suppose -7*n + 11 + x = 0. Solve -t = -0 + n for t.
-2
Let w be (-2)/(-3 - 17/(-5)). Let j = -5 - w. Solve j = -5*m + 6*m + 3 for m.
-3
Let d(w) = w**3 - 2*w**2 - 2*w - 1. Let m be d(3). Solve 0 = m*y - 5*y - 12 for y.
-4
Let j(r) = -3*r - 4. Let a be j(-3). Suppose o - 5*o = k - 5, 25 = a*k. Suppose -4*d + d = 0. Solve -n + d*n = o for n.
0
Let k = -95 - -149. Suppose k = 3*n - n. Solve 4*h = 7 - n for h.
-5
Suppose -3*r = h + 3*h - 21, -r + 3*h - 6 = 0. Suppose 0*p = -r*p + 9. Solve p*n = -0*n - 9 for n.
-3
Let s be 78/18 + 1/(-3). Suppose -s*q + 2 = -3*q. Solve 0 = -5*b - 13 - q for b.
-3
Let q(f) = f**3 - 8*f**2 + 10*f - 6. Let k be q(7). Solve 2*p + 3*p + k = 0 for p.
-3
Let p(j) = -3*j**2 - 8*j + 2. Let x(v) = -13*v**2 - 33*v + 7. Let c(w) = -9*p(w) + 2*x(w). Let s be c(-7). Solve 0 = -s*y - 6 for y.
-2
Let x be (-5 + 2)/3 - 8/(-2). Solve -4*i + x*i = -1 for i.
1
Let k = 2 - -5. Suppose 3*f - 22 = -f + 2*n, 2*n = f - k. Solve 0 = -f*c + c - 12 for c.
-3
Suppose -4*r + 2 = t, 3*t - 10 - 11 = 3*r. Let k = t - 1. Solve 0 = 3*q - k*q for q.
0
Suppose q + 3*u = -2*u + 25, 2*q + 15 = 3*u. Solve q = 2*w - 5 - 3 for w.
4
Suppose 4*p - 2*d = 20, 5*d - 4 = 3*d. Solve r + 5 = p*r for r.
1
Let f be (-1)/(-2) + (-6)/4. Let g = 6 + f. Solve -g*m + 2*m - 15 = 0 for m.
-5
Suppose 3 + 33 = 9*c. Suppose -5*f + 1 = -3*v - 4, -5*f = -20. Suppose -4*r + 3*x - 4*x - 2 = 0, 2*x = -v*r - 4. Solve -c*l + r*l = -12 for l.
3
Let i(k) be the first derivative of k**3/3 - 3*k**2 + 3*k - 1. Suppose 3*g = -n, -3*g + 4 = 2*n + g. Let x be i(n). Solve -3*m + 12 = x for m.
3
Let l(p) = 2*p**3 - 2*p**2 + 1. Let s be l(2). Solve -5*z - 24 = -s for z.
-3
Let x be (-38)/6 - (-4)/(-6). Let r(l) = -l**3 - 6*l**2 + 6*l + 8. Let g be r(x). Solve -w - 4*w = -g for w.
3
Let k(z) = z**2 - 3*z - 4. Let g be k(4). Solve o + g*o = 0 for o.
0
Suppose -11*u = -8*u - 3. Solve 2*j + 1 = -u for j.
-1
Let q(m) = m**3 + 7*m**2 - 4*m - 8. Let b be q(-7). Let v be (2/(-4) + 3)*2. Solve -v*k - b = 5 for k.
-5
Suppose -4*z + 5 = -z - 4*x, -3*x = 2*z - 9. Solve 7 = -t + z for t.
-4
Let u = 3 + -1. Suppose -2*n + 10 = u. Suppose 4 - 8 = -n*w, -46 = -4*p + 2*w. Solve -p = -4*s - 4 for s.
2
Suppose 5*i - 28 = -3. Suppose i*j - x + 42 = -38, -48 = 3*j + 2*x. Let o = -11 - j. Solve k + o = -4*k for k.
-1
Let c be (0/(-2))/(1 - -1). Let h be (0 - 0)/(4*(-2)/8). Solve 3*u + c*u + 6 = h for u.
-2
Let t = 9 - 5. Let q be (-9)/6*t/(-3). Solve q*m - 5 = -1 for m.
2
Let u = 10 - 7. Let i = u + 0. Solve 5 = -i*r - 1 for r.
-2
Let h be ((-2 - -1) + -2)/((-3)/2). Solve 0 = -h*a + 4 + 2 for a.
3
Let k = -55 + 57. Solve -5 = k*i + 3 for i.
-4
Suppose 0 = h - 2*k - 7, 26 = 3*h + 3*k - 4. Suppose 2*z = 3*y - h, -2 + 14 = -z + 3*y. Let j be (10/(-4))/(3/(-6)). Solve -z = -j*b + 4*b for b.
3
Let s = -62 - -68. Let m = 3 - 0. Solve m*g - s = g for g.
3
Suppose r + 2*x = -3 + 9, x = r. Suppose 0 = r*q - 1 - 7. Solve -q*j = 1 + 3 for j.
-1
Suppose n = -3*n - 5*c + 13, -2*c - 34 = -4*n. Solve 4*o = -9 - n for o.
-4
Let h be 5 + -4 + 2 + 0. Suppose 5*p - 15 = -8*o + h*o, -4*o + p + 17 = 0. Solve -l = 7 - o for l.
-3
Let i(h) = -2 + 3 - 3*h + 4*h. Let w be i(6). Solve 1 = -2*t + w for t.
3
Let o = -2 - -9. Suppose -12 = -3*p, -2*t - 3*p = p - 24. Solve 9 + o = -t*z for z.
-4
Let o(p) = p + 17. Let j be o(-8). Let u be j + (-2 - 1) + -2. Solve -h - u*h = -10 for h.
2
Let v(n) = -n**3 - 3*n**2 + 2*n - 1. Let j be v(-4). Let l = -19 + 34. Solve j*p - l = 2*p for p.
3
Let q = 44 + -26. Let i = q + -14. Solve -i*g = -20 - 0 for g.
5
Let h = -11 - -17. Solve h - 2 = -4*k for k.
-1
Let s(j) = 1 + 0 - 3 - j**3 + 0 + 4*j**2. Let w be s(2). Solve -w*q + 2*q = -8 for q.
2
Let x = 0 - 0. Suppose 5*t + x - 20 = 0. Solve -3*r - t = -2*r for r.
-4
Suppose -s - 4*p = 9 + 7, -20 = 3*s + 5*p. Suppose 4*t + 41 = 5*h - 0*t, -t - 29 = -5*h. Solve h*k + 2 + 3 = s for k.
-1
Let f = -6 - -8. Let v be ((0 - 4) + 1)/(-1). Solve v + 3 = f*x for x.
3
Suppose 0 = k - 3 - 1. Suppose 0 = v - k. Suppose -v*f + 20 = -3*f. Solve 0 = -4*n - f for n.
-5
Let q = -26 + 31. Solve 1 = -6*g - q for g.
-1
Suppose -3*p + 5*w = 0, 8*p + 3*w = 5*p. Suppose -t = -5*m + 15 - 0, -m - 5*t + 3 = p. Solve m*d = -2 - 1 for d.
-1
Suppose 18 = 5*y + 2*w, 4*y - 2*w + 6 - 24 = 0. Solve -2*j + y*j = -6 for j.
-3
Let z = -15 + 12. Let j = z - -7. Solve 0*w + 2*w = j for w.
2
Let o(r) = 26*r**3 - r. Let d be o(-1). Let p be (10/d)/(1/(-10)). Suppose n = p*n - 36. Solve -3*k - n = -0*k for k.
-4
Suppose 0 = 2*c + 3*v - 14, c + 4 = 5*v - v. Suppose -c*w = 2*o + 14, -4*w = o + 2*o + 11. Solve 0*m = o*m + 12 for m.
-4
Let l be (6 + -3 + -2)*-6. Let f(s) = s + 8. Let i be f(l). Solve 4*p + 6 = i*p for p.
-3
Let s = 0 + -3. Let w = s + 5. Solve 0 = h - w*h - 3 for h.
-3
Suppose 4 = -o - j, -20 = -4*o - o + 5*j. Solve o = -3*c - c - 16 for c.
-4
Suppose 3*a + 0*a - 3 = 0. Solve a - 9 = 4*s for s.
-2
Suppose 4*i - 104 = -4*i. Solve -12 = -5*d + i for d.
5
Let c = -41 - -51. Solve b + c = -b for b.
-5
Let d = -7 - -3. Let j be (-10 - -2)*2/d. Solve 5*t + j = -6 for t.
-2
Suppose 6 = -z + 5*n - 7, 3*z + 9 = 5*n. Suppose 3*v = w - 3 - 7, 5*v = -3*w + z. Solve w*s = s - 15 for s.
-5
Let g(a) = -3 - 3 + a + 3. Suppose -v - 11 = -3*r + 6, -4*r - 2*v = -6. Let d be g(r). Solve 5 = -2*b - d for b.
-3
Suppose -x - 1 - 2 = 4*t, -x + 2*t + 9 = 0. Suppose 5*d - x = 4*d. Let z be 1 + 1*(-1 + 0). Solve z = 2*v - d*v for v.
0
Suppose 4*u - 59 = -o, 0*o = 2*u + 3*o - 27. Suppose -5*q + u + 5 = 0. Solve 4*x - q = -0 for x.
1
Let p = 6 + -4. Suppose -p = -3*q + 2*q. Suppose 29 = 4*t + g, q*t + g - 11 = 4*g. Solve t = 3*j - 2 for j.
3
Suppose 5*q - 2*z = 18, z = -4*q - 3*z - 8. Let y be (-2)/(-4) + 3/q. Solve 0 = d - y*d for d.
0
Let t(d) = -d - 2. Let v be t(6). Let y = -5 - v. Solve -6*o + y*o - 9 = 0 for o.
-3
Suppose -2 = -3*s + 4. Let n(v) = -2 + 4*v - 3*v**s - 2*v**2 - 5*v**3 + 6*v**3 + v**2. Let u be n(3). Solve 3*i + 10 = u for i.
-3
Let f(x) = x**2 + 3*x - 1. Suppose -4*r - 17 + 1 = 0. Let y be f(r). Solve -3*c = 12 - y for c.
-3
Let z be (2 + -1 - 0)*1. Let y be z/1*(-2 + 10). Suppose 4 = 4*o - y. Solve 0*p - 6 = -o*p for p.
2
Suppose 4*h + 5*x + 4 = -4, -4*x = 0. Let y(n) be the second derivative of -2*n**3/3 - 3*n**2/2 - n. Let z be y(h). Solve 