et u = 32 + 16. Let g = -39 + u. Solve 3*r + 0*r = g for r.
3
Let l = -23 - -26. Suppose 3*t = -6*k + 3*k + 12, 5*k = l*t + 52. Solve 3*p - p = -k for p.
-4
Suppose 0 = 4*z - 5*z. Suppose z = 2*x - 7 - 1. Solve -l - x*l + 20 = 0 for l.
4
Let d(x) = x**3 - x**2 - x - 5. Let i be d(0). Let n(v) = -v**3 - 5*v**2 - 3*v - 12. Let b be n(i). Solve -b*p - p = -20 for p.
5
Let t(x) = x + 61. Let p be t(-57). Solve -3*v - p = -7*v for v.
1
Let k be ((-6)/(-4))/((-5)/(-10)). Suppose 0 = k*g - 18 - 21. Suppose 3*r - g + 1 = 0. Solve 0 = -0*v - r*v + 12 for v.
3
Suppose 2*v - v + 3*y = 7, 0 = -4*v + 4*y + 12. Let u(i) = i - 5. Let h be u(v). Let x(l) = -21*l - 1. Let c be x(h). Solve -w = 3*w + c for w.
-5
Let y be (-3 + (-105)/30)*(-8)/26. Solve 8*w = 6*w - y for w.
-1
Let h(t) = t**3 - 3*t**2 + 7*t + 11. Let c be h(5). Let p = c - 94. Solve 3*f + p*f = 25 for f.
5
Let f(s) = s**3 + 17*s**2 - 34*s + 106. Let q be f(-19). Solve 0 = -14*g + 20*g - q for g.
5
Let f = -14 + 29. Suppose 5*i = -3*v + 33 - 8, 0 = -v - 3*i + f. Solve 0 = -v*k - k + 3 for k.
3
Let j(k) = 24*k - 94. Let c be j(4). Let x be (-2 - 1)/3 + 1. Solve x*m - 6 = -c*m for m.
3
Let k be (20/(-25))/(6/(-15)). Suppose -k*f + 10 + 7 = -g, -f = 2*g - 6. Let u = f - 0. Solve 3*z + u = 2 for z.
-2
Suppose 2*p + 4*t - t = 148, 10 = 5*t. Let u = 73 - p. Solve -2*y - 8 = -u for y.
-3
Let u(o) = 4*o - 1. Let s be u(-1). Let p(w) = w - 1. Let l(i) = i - 3. Let b(r) = 4*l(r) - 7*p(r). Let q be b(s). Solve -a = 4*a - q for a.
2
Let y = -84 + 162. Let h be y/52*(-4)/(-3). Solve -h*d = -4*d - 2 for d.
-1
Let m(j) = 2*j**2 + 11*j - 51. Let z be m(3). Solve z*v = 8*v - 16 for v.
2
Suppose -4*t - 2*u + 25 = 3*u, -u = -4*t + 19. Let n be 1*(-2)/(-2) - (3 - 2). Solve -v = -n*v - t for v.
5
Let h(u) be the second derivative of -1/2*u**2 - 8*u + 1/4*u**4 + 1/3*u**3 + 0 - 1/20*u**5. Let o be h(3). Solve 3*k + 6 = o*k for k.
3
Let s(o) be the first derivative of -3*o**2/2 + 20*o - 25. Let q be s(0). Solve -q = 3*u - 8*u for u.
4
Let r(b) = -4*b + 35. Let k be r(8). Suppose 4*u - 3*u + k*h + 10 = 0, -2*h = -2*u + 12. Solve u*l = 7 + 3 for l.
5
Let v = -5 - -19. Let z be v - -2*9/(-6). Let i be (z - -1)/((-9)/(-6)). Solve 0 = -i*c + 3*c - 25 for c.
-5
Let i(r) = 8*r + 46. Let g be i(-8). Let a = 30 + g. Solve 2*z - a + 4 = 0 for z.
4
Let l(a) = a**3 - 10*a**2 - 15*a + 52. Let q be l(11). Solve 0*f + q = 2*f for f.
4
Let y(f) = -f**3 + 7*f**2 + 7*f + 11. Let z be y(8). Suppose -4*v - 2*q = -30, -v - z*q + 8 = -7. Solve 0 = -3*d + v*d for d.
0
Let g = -4572 + 4575. Let r(w) = -w - 4. Let d be r(-6). Let i be -1*(0 - (d + -2)). Solve i*p + g = p for p.
3
Suppose -3*d - 4*i = -31, 2*d - 2*i + 1 - 3 = 0. Solve d*n - 11 - 4 = 0 for n.
3
Suppose -4*a + 4*j - 2*j = -246, 3*a - 183 = 3*j. Let q = 66 - a. Solve 0 = q*k - 12 for k.
3
Let y(o) = -2*o**3 - 4*o**2 - 4*o - 3. Let u be y(-2). Suppose -14*b + u*b = -54. Solve -b = i - 3*i for i.
3
Suppose 472 = -2*k + 480. Solve -k*j + 4 = 8 for j.
-1
Let i(y) be the second derivative of y**3/6 + y**2/2 - 3*y. Let n(f) = f**2 - f + 1. Let s be n(0). Let g be i(s). Solve -4*w - g = 2 for w.
-1
Let t = -7 + 7. Suppose -2*j - 5*r - 3 - 6 = t, 2*j - r = 9. Solve j*h = h - 6 for h.
-3
Suppose -3*t + 8 = -0*t - z, -5*z = -20. Suppose -5*v - 7*o + 3*o = 18, 15 = 5*o. Let w = v - -7. Solve k - w = -t for k.
-3
Let p(y) = -3*y**2 - 8*y - 13. Let u be p(-5). Let n be u/(-6) - (3 - 1). Suppose 0 = s - w - 8, 4*s + 6*w - 2*w + 8 = 0. Solve -s*r = -6*r + n for r.
2
Suppose 2*v = 4*v - g - 21, 0 = 3*v + 3*g - 9. Let q(l) = l + 1. Let u be q(-1). Suppose 15 = 5*t - u. Solve -o + v = t*o for o.
2
Suppose -2 = -0*a - a. Solve -8 = 2*k + a*k for k.
-2
Let n be 13 + -16 + 5 + 1. Solve 4*l + 1 = -n for l.
-1
Let l be (-3)/(-6)*0 + 3. Let v be 1*(-2)/(-6)*-3. Let d = l - v. Solve 0 = -q - d for q.
-4
Suppose 2*a - 2*z + 4 = 14, 5*z = -a - 13. Solve s + a*s = 0 for s.
0
Let w(j) = -j**3 - 33*j**2 - 142*j - 5. Let x be w(-5). Let m(i) = i**3 - 5*i**2 + 5*i + 2. Let g be m(4). Solve g*y - 7*y = x for y.
-5
Let a(p) = -2 - 7 + 12*p**2 + p**3 + 0 - 1 - 14*p. Let c be a(-13). Solve -8 = -c*j - 20 for j.
-4
Suppose -25 = 5*b, -i + 5*b = -4*i + 179. Solve 65*m + 12 = i*m for m.
4
Suppose 0 = -4*q + 4*a + 16, -3*q + 0*q + 11 = -4*a. Let l = 8 - q. Solve o - 4*o = l for o.
-1
Suppose 0 = 2*o - 6 - 2. Let p be 6*(2/o + 0). Solve -9 = p*l + 6 for l.
-5
Let r = 21 - 15. Let a be -1 + 9*r/9. Suppose -a*v - 1 = 2*q - 16, -v = -2*q - 3. Solve q = -2*m - 2*m + 4 for m.
1
Suppose -g - 2 = 6. Let w(v) = 2*v**3 - 14*v**2 - v + 9. Let b be w(7). Let d be 225/36 + b/g. Solve -3*s + 0 = d for s.
-2
Let h = -27 - -33. Let d(y) be the first derivative of -y**2 - 16*y - 8. Let m be d(-8). Solve -n - 2*n - h = m for n.
-2
Let r(w) = -w + 6. Suppose 5*t - d + 5 = 6*t, -3*d + 15 = 2*t. Suppose 3*s = -2*q + 2*s + 11, -4*q + 3*s - 3 = t. Let a be r(q). Solve l - a*l + 2 = 0 for l.
1
Suppose 0 = 8*d - 6*d - 6. Suppose g - 129 = -3*a, -2*a - d*a + 215 = -2*g. Suppose -4*u + 41 = -5*x, 0 = 5*u - 3*x + 8 - a. Solve 0 = u*p - 8 - 12 for p.
5
Suppose -65*n + 63*n + 20 = 3*k, 0 = 3*k - n - 35. Solve 0 = -2*h + k - 16 for h.
-3
Let t be -1 - 10/(-1) - (21 + -17). Suppose 0 = -l - t*l. Solve 2 = -l*q - 2*q for q.
-1
Let y(h) = 5*h - 12. Let j be y(3). Suppose -3*z + j = i, -3*z - 34 = -5*i + z. Solve -t + i*t = 20 for t.
4
Let b be ((-3)/(90/(-12)))/(2/260). Let o be b/(-65) + 38/10. Solve -o*f = 2*f for f.
0
Let l be 5/((-105)/18)*(-56)/16. Solve 0 = -8*q + 11 - l for q.
1
Let m(c) = 4*c**2 + c - 2. Suppose k = 2*k - 1. Let p be m(k). Solve p*i = -i - 12 for i.
-3
Let v(k) = 29*k + 118. Let o be v(-4). Solve o*h - 3 = 1 for h.
2
Let i(g) = -11*g - 43. Let s be i(6). Let b = 112 + s. Let j be (-1*4/(-1))/1. Solve j*v = -5 - b for v.
-2
Suppose -2*o - a + 1 - 5 = 0, -5*o - a - 4 = 0. Suppose v + 19 = -o. Let f = v - -20. Solve -3*y = f - 7 for y.
2
Let k be ((-56)/(-112))/((-2)/(-8)). Solve -11 = k*x - 3 for x.
-4
Let g be ((-222)/(-370))/((-1)/(-15)). Solve g*h + 4 = 13*h for h.
1
Suppose -241 + 235 = -f. Solve 9*i + f = 3*i for i.
-1
Let v be ((224/24)/4)/((-2)/(-12)). Let r = -14 + v. Solve 4*f - 4 + 0 = r for f.
1
Let y be ((-5)/15)/((-2)/30). Solve 4*u + 11 + y = 0 for u.
-4
Suppose 0 = -108*q + 134*q - 26. Solve -q = -8*s + 15 for s.
2
Let v = -3223 - -3226. Let n be ((-8)/(-10))/((-1)/(-5)). Solve -n = -v*r - r for r.
1
Suppose 0 = -w + 4*w - 15. Let z be w/((-15)/(-6)) + -2. Let q(v) = -16*v - 61. Let d be q(-4). Solve z = -d*m - 0*m + 6 for m.
2
Let o be ((-2)/(-6))/(6/36). Let p be (-24)/(-28)*((-75)/(-10) + -4). Solve p*i + 13 = -o for i.
-5
Let i(k) = -k**3 - 9*k**2 - 17*k + 6. Let r be i(-7). Solve -r*z + 25 = -22*z for z.
5
Let w = -15 + 23. Suppose -a + w = 2. Solve 4*u - u + a = 0 for u.
-2
Let b be 7/((-140)/(-15))*48. Suppose -4*d + 13*d = b. Solve n - d*n = 15 for n.
-5
Let n(h) = 3 - 4*h - h - 1 + 2*h**2. Suppose 104*l - 110*l = -18. Let q be n(l). Solve 0 = 4*f - q*f + 4 for f.
4
Let z = 7 + -4. Let m = 320 + -316. Solve -m*l = -z*l - 2 for l.
2
Let q(a) = -33*a**2 - 2*a - 1. Let f be q(-1). Let k = 40 + f. Solve r = 3*r + k for r.
-4
Suppose -4*y + 320 = 104. Let z = 58 - y. Solve -z = -a + 3*a for a.
-2
Let d(m) be the second derivative of -m**4/12 - 3*m**3/2 + 6*m**2 - 18*m. Let n be d(-10). Solve -n*j = 5 + 1 for j.
-3
Let l = -136 + 142. Solve -8*n - 4 = -l*n for n.
-2
Let j = -37 - -26. Let d = 12 + j. Let x(m) = 7*m**2 + m - 1. Let q be x(d). Solve -2*o = -q*o + 5 for o.
1
Suppose -10 = -i - 0*i - 5*d, 5*d - 10 = -2*i. Solve i = -g - 0*g for g.
0
Suppose 2*s = -5*a + 48, -a - 66 = -2*s - 3*s. Let r = -124 + 124. Solve r = 4*l + s + 2 for l.
-4
Suppose 20*s + 4 = 44. Suppose a = 3*a - 8. Suppose s*z + 1 = 3*w - 15, w + a*z = -18. Solve k - 2 = w for k.
4
Let v = -3 + 2. Let x = -1 + v. Let q be (1 - -4)*x/(-5). Solve 5*s - 12 = -q for s.
2
Let y be (-18)/4*580/(-174). Solve -y*v = 3*v + 72 for v.
-4
Let k = -444 + 464. Solve -5*t - k = -10*t for t.
4
Let l(x) = x**3 + 13*x**2 + 16*x - 6. Let v be l(-12). Let h = v + 57. Solve -h*s = s - 4 for s.
1
Let f(l) = 2*l**3 - 2*l**2 - l + 1. Let m(x) = 3*x**3 - 3*x**2 - x + 1. Let v(o) = 5*f(o) - 3*m(o). Let a be v(0). Solve a*u + u = -15 for u.
-5
Let b be 4*(105/(-12) 