lve l = 2*v + 1 - 3 for v.
1
Let c(f) = f**2 + 5*f. Suppose -j + 10 = -3*j. Let b be c(j). Let v be (6 - 3) + 0 + b. Solve -7 = -2*y - v for y.
2
Suppose 4*b = 4 + 20. Suppose 24 = 2*a - 4*r, 9*a - 92 = 4*a + 2*r. Suppose 2*u = -5*i + a, -2*i + 5*u - 33 = -b*i. Solve 6 + i = -4*v for v.
-2
Suppose -136 = -7*j + 67. Solve -1 - j = -6*l for l.
5
Let u(b) be the first derivative of b**5/60 - b**4/6 + 2*b**3/3 + 5. Let q(c) be the third derivative of u(c). Let s be q(11). Solve 3*l - 3 = -s for l.
-5
Suppose 0 = -3*w + 2*l + 24, 2*w + 2*w = -5*l + 32. Suppose 4*d + 5 = 3*j + 15, -2*d = -w. Solve j*k + 0 - 2 = 0 for k.
1
Let s(f) = -f**3 - 8*f**2 - 5*f + 17. Let h be s(-8). Suppose -6*c + h = -33. Solve 4*w - w = -c for w.
-5
Let o be (-6)/39 - (-4105)/65. Suppose 8 = 65*z - o*z. Solve z*j = 6*j - 8 for j.
4
Let t(j) = -7*j + 276. Let u be t(39). Solve 0 = 2*o + u*o + 5 for o.
-1
Let j be 28/(-56) + (-22)/(-4)*1. Solve -3*p - 7 = j for p.
-4
Let u be (-165)/35 + 5 + 24/14. Let i be 3/((-62)/(-28) - u). Solve i - 34 = 4*g for g.
-5
Suppose 0 = 2*c + 5*j + 2, 3*c - j = 5*c - 6. Let m be 2/(-3) - ((-6 - -6) + (-6)/9). Solve -c = -b - m*b for b.
4
Suppose -23*m + 9*m = 42. Let u be 5 + (-84)/16 - m/12. Solve 2*o - 8 + 0 = u for o.
4
Let d(j) = -j**3 - 6*j**2 - 11*j - 9. Let z be d(-4). Suppose -5*a = -0 - 5. Suppose -r - 2*k - 1 + 7 = 0, -k + a = 0. Solve 0 = -z*u - r + 1 for u.
-1
Let q(t) be the second derivative of t**5/20 - 3*t**4/4 - 11*t**3/6 + 6*t**2 - t. Let z be q(10). Solve -2*l + 12 = z*l for l.
3
Let n = 166 - 163. Solve -2*a = -n*a for a.
0
Let c(s) = -s - 3. Let j be 2/((-2)/(-5)*-1). Let h be c(j). Solve 4*i - 6 = h for i.
2
Let m be (-4 - (0 + -2))*-2. Let y be 2 - (m + 3 + -9). Solve -y*q = -3 - 5 for q.
2
Let k = 5 - 3. Let m = 1306 - 1305. Solve j - m = -k for j.
-1
Let u = -103 + 124. Solve u*r + 4 = 22*r for r.
4
Suppose 26 = -5*w - 9. Let d(p) = 2*p**2 + 12*p - 6. Let v be d(w). Let f be 3/(-9) + 22/3. Solve f + v = -5*n for n.
-3
Let v = 70 + -115. Let s be (-6)/(-10) - v/(-75). Solve s = -0*m + 5*m - 20 for m.
4
Let l be (-2)/(0 - 7/28). Solve l*f = 5*f + 6 for f.
2
Let w = 0 + 0. Suppose 39 = -0*m + 3*m. Suppose -10*j = -m*j + 24. Solve w = j*i - 3*i for i.
0
Suppose 2*u - 23 + 93 = -2*r, 2*u + 5*r = -64. Let l = u + 37. Solve 2*p - 7*p + 10 = l for p.
2
Suppose -10*x = -7*x - 5*h - 15, -h - 3 = -3*x. Solve -5*r + x = 15 for r.
-3
Let s(j) = -j**3 - 7*j**2 - 7*j - 7. Let m be s(-6). Let h be (-1 - m - 1)*0. Solve h*l - 6 = 2*l for l.
-3
Let n(c) = -c**2 - 8*c - 9. Let q(a) = -2*a**2 - 16*a - 19. Let h(x) = 13*n(x) - 6*q(x). Let v be h(-7). Solve -v*f = -f for f.
0
Let j(z) = z**3 - 7*z**2 + z - 7. Let k be j(7). Suppose -3*f + 4*f - 3 = k. Solve f*q = -q - 4 for q.
-1
Suppose 0 = -4*g + 2*u + 40, u + u + 30 = 3*g. Let c = 1 + -1. Let x be 2/2 + (c - -2). Solve x*q + 2*q - g = 0 for q.
2
Let a be (12/(-39))/((-1)/13). Solve -k - 12*k = -a*k for k.
0
Let i(s) = -s - 3. Let l be i(-7). Let y(o) = -o**3 + 6*o**2 - 4*o + 1. Let g be y(l). Let j = -17 + g. Solve -x - 4*x = j for x.
0
Let v = 3 + 20. Let a be (3 - (-26 - 0 - 1)) + -2. Let d = a - v. Solve 0 = t - d for t.
5
Let m = -1109 + 1115. Let t = 3 + -1. Solve -m*r + 16 = -t*r for r.
4
Let s(n) = 7*n**3 - 20*n**2 - 3. Let r be s(3). Solve -3 + 27 = r*m for m.
4
Let h(c) = c**3 + c - 5. Let y be h(0). Let l(q) = q**2 + 4*q + 6. Let j be l(y). Solve -5*u + j = -4 for u.
3
Let i be (-6)/18 - (-198)/27. Solve 0 = -i*l + 14*l for l.
0
Let i(f) = -f**3 - 3*f**2 + 10*f + 7. Let u be i(-5). Solve 0 = 6*p + 1 - u for p.
1
Suppose 0 = 64*v - 342 - 362. Solve 0 = 26*r - v*r for r.
0
Suppose 0 = -5*p + p + 8. Suppose 2*q - p*v = v - 6, -4*v = -2*q - 8. Solve q = -3*o - o - 12 for o.
-3
Let o = -97 - -112. Solve 3*f + 2*f = o for f.
3
Let l(p) = -p**2 + 8*p - 10. Let s be l(6). Suppose -s = -2*q + 2. Solve -q*z = -2 + 6 for z.
-2
Suppose 3*l - 194 = -5*v - l, 0 = -5*v + 3*l + 222. Let a = v - 38. Solve -d + 0*d = -a for d.
4
Let d = 2441 + -2422. Solve -7*x + d = 5 for x.
2
Suppose 2*n = 4*w - 54, -4*w + 3*n = -w - 42. Let c = w + -11. Suppose c*i = -s + 14, 30 = 7*i - 2*i + 5*s. Solve -u + 3*u = -i for u.
-4
Let v be 10/6 - 1/(-3). Let w be ((-12)/(-24))/(1/22). Let s = 13 - w. Solve 0 = -s*f - 6 + v for f.
-2
Suppose -55*n + 16 = 3*o - 51*n, 20 = o + 5*n. Solve -c - 1 = -o for c.
-1
Let x(b) = b**3 - 4*b - 9. Let h be x(3). Solve l + h = -l for l.
-3
Suppose -y = -71*d + 75*d - 1, -3*d + y = 1. Solve -8*n + 5 + 3 = d for n.
1
Let f be ((-30)/(-4))/((-54)/72). Let c be 12/9*15/f. Let s be (6 + -3)/((-3)/c). Solve -4*x = -s*x for x.
0
Suppose 0 = -9*f + 84 - 48. Solve -17 = f*c - 29 for c.
3
Let q(t) = t**2 - 10*t - 34. Let a be q(13). Let b(j) = -j**3 + 2*j + 1. Let w be b(-1). Solve x - a = -w for x.
5
Suppose -31*v + 27*v - b = -1, 0 = 3*b - 3. Solve -2*g + 12 - 4 = v for g.
4
Let f(p) = -42*p - 273. Let g(d) = -17*d - 109. Let c(l) = -5*f(l) + 12*g(l). Let j be c(-9). Solve 0 = x + j*x for x.
0
Let z be (-4)/(-1) + 2 + (-143 - -2). Let c = -135 - z. Solve 3*x - 15 = -c*x for x.
5
Let u = -50 - -82. Let f = -17 + u. Solve -4*n - f = -n for n.
-5
Let c(o) = 31*o + 96. Let r be c(-3). Solve -2*m = r*m + 25 for m.
-5
Let a(t) be the third derivative of -t**4/24 - 5*t**3/6 - 13*t**2. Let k be a(-5). Solve k*r = -2*r + 6 for r.
3
Let r be ((-2)/(-4 - -2))/1*9. Let j(v) = -6*v**3 + v**2 + v - 1. Let t be j(1). Let s = t + r. Solve s = z + 2 for z.
2
Let u(o) = 2*o - 26. Let f be u(11). Let c = -1 - f. Suppose -d - 6 + 0 = -c*p, 5*p - 10 = 3*d. Solve -r - 4 = -d for r.
-4
Let x(v) = v**2 + 4*v - 14. Let i be x(-7). Suppose 0 = 5*s - 2*o + 3*o - 9, -3*o = 5*s - i. Solve -5*l = -s*l + 6 for l.
-2
Suppose 4*k - 12 = 3*k. Suppose 4*w - 32 = 4*c, 4*c = -4*w - 0*c + 72. Let t = w + -13. Solve t*y + k = -3*y for y.
-4
Let k be -2*(-1 - -2) + 0. Let i = k + 2. Let v = -8246 + 8247. Solve i = -l - v + 3 for l.
2
Suppose -w + 0*w = 3*m - 6, -4*m + 10 = 2*w. Let l = -1 + m. Let s be (-2)/9 + (29/(-9))/(-1). Solve l = 4*i - i - s for i.
1
Let q = 6 + -3. Let x(g) = 28*g - 16*g - g**q - 14*g - 6 - 9*g**2. Let d be x(-9). Solve 0 = -2*t - d + 2 for t.
-5
Let p = -24 - -27. Let b be (p/(-6))/(5/(-50)). Solve -4*c + 3*c - b = 0 for c.
-5
Let r = -158 + 159. Solve -2*j = -j + r for j.
-1
Suppose q = 3*q + 24. Let n = 7 + q. Let s be 112/40 - 1/n. Solve s = -2*h + 11 for h.
4
Let s(b) = b**3 + b**2 - 13*b - 4. Let d be s(-4). Solve d = 9*k - 11*k - 2 for k.
-1
Suppose -7*b + 4*k + 14 = -4*b, k = 4*b - 23. Solve 2*d + d - b = 0 for d.
2
Let v(n) = n**2 - 46*n + 88. Let k be v(44). Solve k = 9*r + r + 50 for r.
-5
Suppose -4*g = 2*g - 78. Suppose 11*c - g*c = 0. Solve -2*w + w + 2 = c for w.
2
Suppose 1 = 4*t - 15. Let s be ((-9)/495*11)/(2/(-10)). Solve t = -b - s for b.
-5
Suppose 0*b - b = -3. Suppose -n = -2*n - b*i - 4, n + i = 0. Solve 0 = -2*x + 4 + n for x.
3
Suppose 16*w - 3*t = 19*w - 30, 3*w + t - 20 = 0. Solve -13*s - w*s = -18 for s.
1
Let v(j) = -2*j + 7. Let h(m) = 1. Let n(b) = 12*h(b) + 3*v(b). Let s be n(5). Solve 0 = y - s*y for y.
0
Suppose -3*o = 5*g - 232, 0*o + 3*o = -3*g + 138. Suppose -16 - 7 = -m - 5*f, -4*f = 3*m - g. Solve -2*k + m = 3 for k.
5
Let q(h) = -2*h**2 + h + 1. Let r be q(2). Let w be 34*1 + (-3 - r). Suppose -4*c + 76 = -o, 3*c + o - 100 = -w. Solve c = 4*a + 4 for a.
4
Let i = 1 - 1. Suppose 18*z = 15*z - 6. Let u be i/(z - (0 + -1)). Solve 0 = -f - 1 - u for f.
-1
Let f = 2460 + -2454. Solve f = -5*a + 21 for a.
3
Let v = 658 - 628. Solve 28*n - 2 = v*n for n.
-1
Let z = 53 - 51. Solve 7*h + z = 5*h for h.
-1
Suppose -2*p - 3 = -7. Suppose 4*h = -p*t + 6, -5*h - 2*t + 11 = -3*t. Solve -h = -2*f + 3*f for f.
-2
Let p be (0 + -8)*-1*1. Suppose -4*q + 8 = 4*y - 0, p = q + 4*y. Solve q = -2*t - 11 + 1 for t.
-5
Let w be (-15)/6*12/(-10). Suppose -8 = -f - w. Suppose -f*v + v = 0. Solve z = -v*z + 2 for z.
2
Let u be (-2)/(-3) + 14/6. Let q(j) = -j**3 - 11*j**2 - 3*j - 25. Let s = 1 + -12. Let y be q(s). Solve -u*x = -7 - y for x.
5
Suppose 3*z - 5*z = -24. Suppose 4*n - 4 = z. Solve -n*d - 2 = -2*d for d.
-1
Let i(r) = r**2 + 9*r - 11. Let h be i(-10). Let w = h + 3. Suppose 0 = -w*n - 6 + 16. Solve 5 = n*z - 0*z for z.
1
Let a(i) = -i**2 - 20*i + 47. Let u be a(-22). Sol