ve -l = 5*z + 10 for z.
-4
Let d = -8 + 13. Suppose -9 - 15 = -d*q + 3*p, -3*q + 4*p = -21. Solve u = -q*u for u.
0
Let a(y) = 2*y**2 - 6*y - 28. Let g be a(7). Solve -5*o = 2*o - g for o.
4
Suppose 0 = -0*s - 2*s. Suppose 8*u = -4*h + 12*u + 116, 3*h - 4*u = 91. Solve s*f + 5*f = -h for f.
-5
Let z = -78 - -80. Solve -4*a = -6*a + z for a.
1
Let r be 0/(-2) - (0 - -1). Let y be 3 - 0 - 41/r. Let g = -26 + y. Solve 7 + g = -5*t for t.
-5
Let f(m) = 7*m**3 - 3*m**2 + 3*m - 1. Let j be f(1). Suppose o - j*o - 3*q + 15 = 0, 5*o + 5 = q. Solve -3*b - 1 + 4 = o for b.
1
Let h(l) = -27*l - 156. Let x be h(-6). Solve 2*q = x*q + 12 for q.
-3
Suppose 0 = -6*y + 10 + 20. Solve 2 = y*p - 18 for p.
4
Suppose -y + 2 = 0, -3*y + 3 = 2*l - 1. Let d(p) = -3*p**3 - p. Let c be d(l). Suppose c*g - 1 - 15 = 0. Solve -f = -3*f + g for f.
2
Let i be -3 - ((-1)/3 + (-34)/(-3)). Let g be 100/(-6) + 1/(-3). Let k = i - g. Solve -3 = k*m - 0 for m.
-1
Let m = 3 + 2. Let u(p) be the second derivative of p**3/6 + 11*p**2/2 + 3*p. Let w be u(m). Solve 3*z = -z - w for z.
-4
Suppose h = 2*n - 13, -n - 4*n = -5*h - 70. Let b be 4 - (h/(-35) + 16/28). Solve -i - b + 0 = 0 for i.
-3
Let z be (0 - 1)/((-1)/5). Let k(y) = y**2 - 4*y + z*y + 0*y + 2*y - 8. Let c be k(-5). Solve -c*h - h + 9 = 0 for h.
3
Let n(w) be the first derivative of w**2/2 + 4*w - 7. Let j be n(9). Suppose 0 = -3*r - 5*h - j, -3*h = -3*r + 27. Solve -16 = -r*b - 4 for b.
3
Suppose 0*z - z = q - 9, -5*z = -4*q - 18. Let g be (-2 - -4) + (4 - z). Suppose g = 5*r - 9*r. Solve -2*h - 4 = -r for h.
-2
Let q be (4/(-1))/4*11. Let v(t) = -3*t - 13. Let f be v(q). Suppose -4*r = 4*s - f, 5*r = -0*s + s - 29. Solve 5*y = 2*y + s for y.
3
Let b = -100 - -86. Let s be (-4)/10 - (-156)/(-10). Let d = b - s. Solve -12 = 2*n + d*n for n.
-3
Let o = 14 + -12. Suppose 0*x - c - 29 = -x, -52 = -o*x + 4*c. Suppose 4 = 3*v - x. Solve -4*n = -n - v for n.
4
Suppose 0 = 11*y + 3 - 14. Suppose 5*x = -0*x. Suppose x*b - 10 = -5*b. Solve -b*o + y = -3*o for o.
-1
Let q(x) = -2*x + 1. Let b be q(-1). Suppose 0*o + 2 = o. Let a(c) = 2*c**3 + 14*c**2 + 10*c + 3. Let s be a(-6). Solve b*f + s = -o*f for f.
-3
Suppose 28 = 6*w + 4. Solve w*n = -n - 20 for n.
-4
Suppose -5*y + 28 = -g, -y = -2*g - 6*y + 19. Let v be 0 - g - -11 - 2. Let f = v - 9. Solve 1 = f*l - 4*l for l.
-1
Let t be 0 + 7 + 1 - 50/25. Solve -3*q + t = -0 for q.
2
Suppose 2867*c - 2882*c + 30 = 0. Let n(k) = k**2 - 4. Let p be n(3). Solve c*j - p*j - 12 = 0 for j.
-4
Let m be (-3)/(-2) - (-645)/30. Let o = m + -22. Solve o = -w + 2 for w.
1
Suppose -26 = -4*h - 6. Solve 0 = -h*w + 3 - 8 for w.
-1
Let j(c) be the first derivative of c**2/2 + 14*c - 26. Let d be j(-8). Solve f - 1 = -d for f.
-5
Let y(h) = -h**2 + 6*h - 5. Let q be y(3). Suppose 4*o - 12 = o, 5*o - 20 = -a. Suppose a*g - 8 = -4*g. Solve g*n - q = 4 for n.
4
Suppose -25*c + 3*c + 90 = 8*c. Suppose -3*s + 9 = -0*s. Solve -12 = -c*j + s for j.
5
Let n = 34 + -23. Suppose 4*i - 90 = -2*m, -44 = -2*i - 3*m + n. Solve -4*f = -0*f + i for f.
-5
Let g(v) = v**2 + 10*v - 327. Let w be g(14). Solve -w*y + 9 = -6*y for y.
3
Let f be (-2)/8 + 154/8. Suppose 6*h - 67 + f = 0. Solve q = -q + h for q.
4
Let i be (128/(-40))/(6/(-15)). Solve -6*k = -10*k + i for k.
2
Let w(r) = r**2 + 7*r + 7. Let u be w(-5). Let a = u + 5. Solve 15 = -y - a*y for y.
-5
Let r be -2 - (4 - 0)/4. Let k be (-2 - 0)*-2*r. Let f be (-2 - k/8)*0. Solve 0 = 5*a - f*a for a.
0
Suppose 3*z = 356 + 121. Let n be 1/6 + (z/18 - 3). Solve -t - n = t for t.
-3
Suppose -j + 5 = 2*x, 3*j - 1 = -0*j + x. Solve 39*r = 40*r + j for r.
-1
Let q(j) = -37*j. Let s be q(-3). Let a be (-2)/7 - s/(-21). Solve 3*f + a = -7 for f.
-4
Suppose 0 = -24*a + 31*a - 14. Suppose 4*d + a*k + 17 = 43, 2*k = d + 6. Solve 0 = 3*h - d - 11 for h.
5
Let r(o) = o + 7. Let u be 33/12 - 1/(-4). Let q be r(u). Suppose -g = 3*s + g - q, 5*s - 3*g - 42 = 0. Solve 2*h = s*h + 20 for h.
-5
Let q(r) = -6*r**2 - 32*r + 2. Let v be q(-5). Suppose -o - 5*o + v = 0. Solve -o*f + 9 = 1 for f.
4
Let u(p) = 74*p + 373. Let b be u(-5). Solve m - b - 2 = 0 for m.
5
Let f be 2 - (24/16)/((-1)/26). Let u = f + -36. Solve -u*k = -k + 4 for k.
-1
Let z(h) = -14*h**2 - 99*h - 2. Let y be z(-7). Solve 0 = 11*f - 10*f + y for f.
-5
Let i(m) = 8*m - 8. Let w be i(2). Suppose 2*q + 3*l = l + w, -q + 3*l + 20 = 0. Solve j = 3*j - q for j.
4
Let x be (-1292)/(-171) - 4/(-9). Solve o = -o - x for o.
-4
Let i(c) = -c**2 + 4*c + 2. Let s be i(2). Let k be (-50)/s - 2/(-6). Let l(q) = q**3 + 9*q**2 + 8*q + 6. Let u be l(k). Solve -u = -5*w + 9 for w.
3
Suppose 18 = 4*f + 3*x, 2*x + 8 = 6*f - 2*f. Let k = -76 + 79. Solve -6*i = -f*i - k for i.
1
Suppose -22*y + 27*y = 90. Solve 5*x - y = -4*x for x.
2
Let i = 163 - 151. Solve 2*y + 10 = i for y.
1
Let s be (-1)/(-1 - -4) + (-19040)/(-420). Solve -s = -4*i - 25 for i.
5
Let j = 2682 + -2671. Solve -j = 3*p - 14 for p.
1
Suppose -2*z - 62*i + 27 = -61*i, -4*z + i + 57 = 0. Solve 26*t = z*t + 60 for t.
5
Let p(s) = -s**2 + 19*s - 40. Suppose 0*h = h + 2*c - 5, 0 = 4*h + 2*c - 50. Let n be p(h). Solve 3*v = -v + n for v.
5
Let v(t) = t**3 - 22*t**2 - 21*t - 21. Let r be v(23). Suppose 5*q = 3*a + 25, -2*a - 6*q + q + r = 0. Solve -2*b + 2 = -a*b for b.
1
Let r be ((-12)/(-24))/((-77)/78 - -1). Suppose 5*i + 69 = 4*s, 8*s - 4*s + i - r = 0. Solve 0 = -4*d + 5 + s for d.
4
Suppose -5*b + 5*d = -5, 0*b + 5*d - 25 = -b. Let l = 556 - 555. Solve 2*x - b = -l for x.
2
Suppose -10*j = 48*j - 522. Solve j*c = 6*c + 6 for c.
2
Suppose 0 = 52*s - 38*s - 154. Solve 8*l + 5*l = s*l for l.
0
Let z(b) = -5*b - 42. Let u be z(-7). Let o(d) = -2*d + 2. Let w be o(u). Solve 4*n + 0*n + w = 0 for n.
-4
Suppose -4*f + 48 = 2*f. Let b(y) = -y + 27. Let i be b(f). Let u(z) = z**3 - 20*z**2 + 19*z + 4. Let m be u(i). Solve m*q + 3 = -1 for q.
-1
Suppose 8*y - 3*y = 0. Let a be (-1 + -8 + 17/2)*-10. Solve y = 5*o + a - 0 for o.
-1
Suppose -626*u + 621*u = -140. Solve 0 = 10*x - u - 2 for x.
3
Suppose 0 = -5*o + b + 54, -o + 6*b - b = -6. Suppose 0 = -7*w + 15 + 6. Suppose -3*c - 2*h = -11, c - w*c - 5*h + o = 0. Solve -c*k + 2*k - 5 = 0 for k.
-5
Let p(u) = -u**3 - 10*u**2 + 3*u + 118. Let h be p(-9). Solve h*l - 10 = 20 for l.
3
Let k be 1*3/(-6) + 75/30. Solve 0 = i - k*i + 3 for i.
3
Suppose 5*o = -3*b + 20 + 3, 18 = 4*o + 2*b. Suppose 0 = -o*m + 3*m. Suppose m = 2*s - 9 - 1. Solve -9 + 4 = -s*q for q.
1
Let w(y) = -y**3 + 5*y**2 - 4*y + 7. Let z be w(5). Let u = 30 + z. Let m = u - 14. Solve m*j - 2 = -17 for j.
-5
Suppose g - 11*j + 4 = -13*j, -2*g + 5*j + 19 = 0. Suppose 2*t + 2 = 10. Solve -g*p - t = 6 for p.
-5
Suppose 7*x - 80 - 32 = 0. Solve -6*y - 4 + x = 0 for y.
2
Suppose 0 = 4*q + 57 + 7. Let o = q + 20. Solve -o*s - 12 = -0*s for s.
-3
Let z(o) = 2*o - 27. Let h be z(15). Let f be h*(-3)/(27/(-6)). Solve -1 - f = 3*v for v.
-1
Suppose 0 = -0*y + y - 3. Suppose 5*l = -y*g - 36, -5*g + 8 = 5*l + 38. Let x be (-9)/6*24/l. Solve x*s - 2*s - 4 = 0 for s.
2
Let w(s) = -s**3 - 5*s**2 + 6*s - 3. Let z be w(-6). Let l(r) = r**2 + 3*r + 2. Let m be l(z). Suppose 0*k = m*k. Solve -3*y + y + 4 = k for y.
2
Suppose 0*x - 2*x = -18. Let t be 6/2 + -3 + x. Solve -4*w + t = -w for w.
3
Suppose -12*j = -10*j + 2*g - 42, j = 5*g - 9. Solve -60 = j*k - k for k.
-4
Let j(q) = -q**3 + 6*q**2 - 9*q + 8. Let r be j(4). Suppose -2*g - 5*y + 4*y + 5 = 0, -r*g + 5*y + 45 = 0. Solve -2*h - 12 = -g*h for h.
4
Suppose -5*m - z + 4*z = -1, -5*m = -z - 7. Suppose -w + 5*q = m*q - 4, -4*q = 2*w + 2. Solve -2 = -y - w for y.
1
Let f(v) = v**3 - 8*v**2 - 6*v + 33. Let d be f(8). Let t = -53 - -34. Let g = d - t. Solve -3*x = -g*x - 4 for x.
-4
Suppose 2 + 8 = 5*b. Suppose 4*d = -4, m - b*d + d = 0. Let s be (0 - m)/(1/2). Solve g - 4 = -s for g.
2
Suppose 13*k - 11*k - 2*v = 84, -3*v = 5*k - 194. Solve -u + 35 = k for u.
-5
Let x(v) = -v**3 - 7*v**2 - 12*v - 4. Let g be x(-5). Solve h - g*h = 15 for h.
-3
Suppose -2*c + 5*i - 2*i + 5 = 0, c + 14 = -4*i. Let z be -3 + 3/c*-2. Solve z = -4*g - 2 + 10 for g.
2
Let a(p) = p + 15. Let u = 13 + -35. Let g = 7 + u. Let l be a(g). Solve l = -n - n for n.
0
Suppose v - 21 = -3*q - q, 3*q + 5*v = 37. Let z be (-4)/(-5)*10/4. Let j = 0 - 0. Solve -z*p + q*