ve -i = -u*i + 5 for i.
-5
Let p be (2/9)/((-10)/15)*-39. Suppose p*j - 14 = 6*j. Solve -4*s = -j*s + 4 for s.
-2
Let z = -18 - -22. Suppose 0*n - 11 = -4*y + n, -3*y - z*n = -32. Suppose -3*p = -p - y. Solve 3 = -x - p*x for x.
-1
Suppose 4*m = -0*m + 8. Suppose m = 19*w - 18*w. Solve p + 0 = -w for p.
-2
Suppose -5*z - 5*a + 20 = -10*z, 5*z = -2*a + 8. Solve z = 5*j - 1 + 21 for j.
-4
Let a be 2/12 + (-29)/(-6). Suppose -2*w - 3*q = 4 + a, -2*q = -3*w + 6. Suppose -g = -0*g + 2*t - 2, 4*g + 5*t - 8 = 0. Solve w = g*v + v - 9 for v.
3
Let m(i) = 6*i**2 + 3*i - 3. Let c = -5 - -6. Let z be m(c). Solve 5*h = -26 + z for h.
-4
Suppose 0 = 5*x - 4*y - 46, -3*x + 2*x = 2*y + 2. Solve 8*t - x*t = 6 for t.
3
Let u = 439 - 435. Solve 0 = 6*s - u*s + 8 for s.
-4
Let j be 4/1 + 78/39. Solve -10 = 4*t + j for t.
-4
Suppose 0 = 4*w - 12, -5*n - 3*w + 8 = -26. Solve -4 = -n*f + f for f.
1
Let p be 6/((-4)/(3 - 5)). Suppose -m = 2*m - 9. Let x be -2*m/2*-1. Solve p*q - 9 = x for q.
4
Let i be ((-20)/16)/(-2 + (-156)/(-80)). Solve 0 = -30*k + i*k + 10 for k.
2
Let h be (-30)/(-9) + (-1)/3. Let j be 1/h - 88/(-33). Suppose -1 = b - j. Solve o = b*o for o.
0
Let d be (-7)/1*(-2 - -1). Solve -d*m = -m - 24 for m.
4
Suppose 5*j - 78 = -z, -j + z = 4*j - 82. Suppose -22*y = -j*y - 24. Solve -v - 20 = y*v for v.
-4
Let w(d) = -d**3 + d**2 - d. Let x(o) = 4*o**3 - 6*o**2 - 4. Let y(n) = -3*w(n) - x(n). Let h be y(4). Solve h = 5*k - 3*k + 2 for k.
-1
Suppose 0 = -2*y - 2*y - 3*m + 3, 3*y + 4 = 4*m. Solve y = -2*c + 22 - 16 for c.
3
Let v(q) = -q + 26. Let f be v(23). Let b(d) = -d**3 + 2*d**2 + 4*d. Let a be b(f). Solve 6 = -a*p - 0 for p.
-2
Suppose -3*l + 70 = 4*s - 54, -155 = -5*s - l. Suppose 0*j + 13 = 2*f - 3*j, -j = -4*f + s. Let y = -6 + f. Solve -y*g + 4 = -2 for g.
3
Suppose v = 3*l + l - 449, -4*l + 458 = 2*v. Suppose 0 = 6*s - 29 + l. Let t(g) = g**2 + 13*g - 9. Let m be t(s). Solve -m*h + 4 = -1 for h.
1
Suppose 87 - 87 = -62*z. Solve z = -15*n + 20 + 10 for n.
2
Let x(i) = -10*i - 2. Let m be x(-2). Let d = m + -6. Let r = d - 4. Solve -17 = -5*p + r for p.
5
Let d = -223 - -237. Solve -3*a - 1 = d for a.
-5
Let j(d) = -6*d**2 + 108*d - 72. Let u be j(17). Solve -51*p - u = -45*p for p.
-5
Suppose 3*y + 3*c - 27 = -0*y, -c + 27 = 4*y. Let a(w) be the first derivative of w**4/4 - 2*w**3 + 3*w**2/2 + 2*w - 1. Let k be a(y). Solve s + k = -3*s for s.
-5
Let d(b) = b**2 + 8*b + 7. Let q(i) = i**3 - 4*i**2 - 2*i + 4. Let g be q(2). Let r be d(g). Solve -32 = -5*u - r for u.
5
Let p(t) = -5*t. Let w be p(-1). Suppose -w*v + 4*v = -2. Let c(x) = -11*x + 58. Let z be c(5). Solve -o = -v*o + z for o.
3
Suppose 0 = -g + 3, u - g - 1 = g. Suppose 160 = y + u*y. Solve -5*l = -0*l - y for l.
4
Let s(b) = b**2 + 5*b + 3. Let u be s(-5). Suppose 0 = -2*o - 1 + 9. Suppose 0 = 5*a + k - 89, 56 = 8*a - 4*a - 3*k. Solve -o*x - a = u for x.
-5
Let k = 410 + -366. Solve 9*j + k = 20*j for j.
4
Let b(k) = -6*k + 15. Let p be b(2). Let r = -2 + 11. Solve 0 = -3*l - p - r for l.
-4
Suppose -5*z + 15 = 5*d, 0 = 2*z - 3*z - 4. Let n(w) = -w**2 - 27*w - 128. Let b be n(-20). Let a be b/(-21) + 144/d. Solve 7*y - 3*y = -a for y.
-5
Let u(m) be the third derivative of -5*m**4/24 + 37*m**3/6 - 27*m**2. Let d be u(7). Solve d*a - 14 = -4 for a.
5
Let a(j) = 11*j - 33. Let c be a(3). Suppose c = -2*g + 4, 3*i = -2*g + 5*g - 6. Solve -k - 3*k + 4 = i for k.
1
Let h(f) = -19*f - 427. Let n be h(-23). Solve n = -12*k + 22 for k.
1
Let p = -3 - 25. Let c be (-80)/p + (-1)/(-7). Let z be -4 - -1 - (3 - 6). Solve -c*u - 2*u = z for u.
0
Let l be ((-2)/2)/(2/(-58)). Let f = 39 - l. Solve 0*t + f = -5*t for t.
-2
Suppose -g + 48 = -2*h + 30, -5*g = h - 68. Solve 1 = 3*x - g for x.
5
Suppose -m - l = -4*m + 76, 5*m - 4*l = 115. Let r be m/(-18)*(-8)/6. Suppose 0 = r*p + 4*f, 2*p = -2*p - 5*f. Solve p = a + 1 + 4 for a.
-5
Let v = 23 - 18. Suppose 8*c - 156 = v*c. Let a = -36 + c. Solve 3*j + a = -j for j.
-4
Suppose 3*g - 2*i - 4 = 6, 3*i + 10 = 2*g. Suppose -2*n = g*j - j - 1, 3*n = -2*j - 1. Solve 5*d = n*d for d.
0
Suppose 1075 - 361 = -6*x. Let h = -117 - x. Solve 0*q - h*q + 4 = 0 for q.
2
Let v = 69 - 60. Solve 10*i - 7*i = v for i.
3
Let c(x) be the first derivative of -x**3/3 - 15*x**2/2 - 24*x - 27. Let s be c(-13). Solve s*d + 6 = -0 for d.
-3
Let l(g) = -g**2 - 8*g - 7. Let x be l(-3). Let c = x - -19. Let v = c + -24. Solve -2*z = -v*z for z.
0
Let x = 58 + -49. Solve x = -20*d - 11 for d.
-1
Let j(n) = 6*n**2 - n + 13. Let f(d) = -11*d**2 + 3*d - 25. Let p(l) = -4*f(l) - 7*j(l). Let y be p(2). Solve -4*w + 9 + y = 0 for w.
4
Suppose 148*w = 151*w. Solve -q + w*q = -5 for q.
5
Let f(h) = -h**3 + 9*h**2 - 7*h - 4. Let t(q) be the first derivative of -3*q**2/2 - q + 3. Let j be t(-3). Let m be f(j). Solve m*v = -0*v - 8 for v.
-2
Let p(b) = -4*b - 52. Let r be p(-33). Solve 98 = -6*l + r for l.
-3
Let l(f) = -f**3 + 2*f**2 + 8*f - 12. Let t be l(-3). Solve -12 = -w - t for w.
3
Let j be 12/48 + 19/4. Suppose 0*x + 21 = 4*x - 3*f, j*f - 35 = -5*x. Solve -4*m = -2*m + x for m.
-3
Let m(t) = t**3 - 18*t + 14. Let w be m(4). Solve -19 = -13*f - w for f.
1
Let n = -55 - -43. Let y(m) = 2*m**2 + 23*m - 10. Let g be y(n). Solve -6*z + g*z = -12 for z.
3
Suppose -4*h - 5*s = -64, -3*h - 5*s - 4 = -57. Solve -13 + h = -2*j for j.
1
Let b(m) = -m**3 + 3*m**2 + 1. Let r be b(3). Let w be r/(-3)*(6 + -8)*6. Solve w*t - 3 = 1 for t.
1
Let i be (2/(-10)*0)/2. Suppose i = 16*f - 17*f. Solve o = -1 - f for o.
-1
Suppose -n = 6*n - 616. Let c = 90 - n. Solve 0*a + c*a + 6 = 0 for a.
-3
Let q(c) = 3*c - 5. Let p(l) = 4*l - 9. Let g be p(3). Let y be q(g). Let a be 1*y*(-15)/(-20). Solve n = -a*n for n.
0
Suppose -5*p = -0*d - 3*d + 7, 0 = 3*d + 3*p - 15. Suppose -2*t = 3*t - 15. Let r(y) = 3*y**2 + 2*y + 1. Let l be r(-1). Solve 0 = l*g - t*g + d for g.
4
Let b be 1*-2 - (0 + 1). Let j be ((-1)/3)/(b/9). Let n(y) = 3*y**2 - 70*y - 70. Let u be n(-1). Solve u*v + j = -2 for v.
-1
Let d(x) = -x**3 - 3*x**2 + 5*x + 5. Suppose 3*c - 3*z - 36 = 0, 0*z + 8 = -4*z. Let t be 5/(c/(-12)) - -2. Let r be d(t). Solve 2 = 3*l - r for l.
1
Suppose 21 + 59 = 5*z + 2*q, -2*z = 4*q - 16. Solve 0 = 16*b - 22*b + z for b.
3
Let g(t) = -12*t + 1. Let b be g(-2). Let w(s) = s**3 - 24*s**2 - 26*s + 25. Let l be w(b). Solve l = -2*a - 13 + 7 for a.
-3
Let o(l) = -l**2 + 3*l - 2. Let g be o(2). Suppose 3*x - 5*x - b - 5 = g, 2 = -x - b. Let a(d) = -2*d - 6. Let c be a(x). Solve -2*i + 10 + 0 = c for i.
5
Suppose 10 = 32*v - 31*v. Suppose -v*x + 39 = -61. Solve -x = 3*m + 5 for m.
-5
Let x = -17 + -16. Let u be (-16)/56 - x/(-7). Let z be 1 + -1 + (u - -7). Solve -z*q = -4*q - 4 for q.
-2
Let b(a) = -2*a**2 + 18*a - 35. Let p be b(4). Solve p*n = n for n.
0
Let l(h) = 2*h**2 + 2. Let p be l(-4). Let w = 40 - p. Suppose 5*a = 19 - 4. Solve -w = -a*i - 0 for i.
2
Suppose 0 = s + 3, -2*q = -q + s. Suppose 2*h = -q*h + 15. Solve -2*x = -h*x - 1 for x.
-1
Suppose c - 2*r - 10 = 0, 5*c = r + 42 - 10. Let j = 2 + 0. Solve -w = j*w + c for w.
-2
Let t(v) be the second derivative of -v**3/6 + 7*v**2/2 - 4*v. Let x be t(4). Solve x*k - 4 = 4*k for k.
-4
Let w be (-4 - 0)*((-25)/(-2))/(-5). Let u be (-10)/(-4)*(-5 + w - 3). Solve -u*o = -5 - 0 for o.
1
Suppose -4*w - 9 + 149 = 0. Suppose 2*u - w + 31 = 0. Solve b + u = 1 for b.
-1
Suppose 3*n - 10 = 3*d - 40, 5*n = 10. Let o(a) = a**3 - 6*a**2 + 4*a + 8. Let x be o(5). Solve 0 = -0*j - x*j + d for j.
4
Let k(r) be the third derivative of -r**5/60 + r**4/8 + 5*r**3 + 4*r**2. Let x be k(7). Solve -x*b = 3*b - 20 for b.
4
Let i(c) = 5*c**2 - 1. Let w be i(-1). Let l(o) = o - 2. Let u be l(w). Suppose -j - u = -5. Solve 2*z - 1 = -j for z.
-1
Let y be (-5 - -10) + (-4)/2. Suppose 0 = y*j + 4*p - 65, 2*p = j - 6 + 1. Solve -j = -5*n - 0 for n.
3
Let m(f) = -f**2 - 15*f - 17. Let n be m(-14). Let p be 2 + (3/n - -3). Solve 3 = -p*k + k for k.
-1
Let v(b) = -b**2 - 8*b + 9. Let q(i) = -2*i**2 - 17*i + 19. Let z(g) = -2*q(g) + 5*v(g). Let s be z(-7). Suppose -3*c + 24 = -s. Solve 0 = -3*n + n - c for n.
-4
Let t(c) = 4*c. Suppose 2*b - 2 + 5 = n, 3*n = -5*b + 20. Let q be t(b). Solve 0 = q*o - o - 15 for o.
5
Suppose 2*m + 0 = -22. Let v = m + 14. Suppose -4*b = v*g - 43, g + 33 = 3*b +