e 0 = -5*j + l*j - 4 for j.
2
Let c be 2*((-2 - -5) + -2). Suppose f = c*f + 18. Let s = -18 - f. Solve 0 = -s*h + 5*h - 20 for h.
4
Let a(c) = 2*c**2 + 9*c. Let q be a(-5). Suppose 5*b - 45 + 10 = 0. Suppose -4*i + 19 - b = 0. Solve 6 = -i*w + q*w for w.
3
Suppose -17*m + 19*m = 16. Suppose n = m*n - 196. Solve -5*g = -n + 3 for g.
5
Let n be (-27)/(-21) - (-1 - (-18)/14). Let a(v) = 2*v - 2. Let d be a(n). Solve 0 = -d*k - 3*k + 9 for k.
3
Let d = 23 - 11. Let b be 0/d*2/4. Suppose t - 2*r + 1 = 3, b = t - 5*r - 2. Solve a = t + 2 for a.
4
Suppose 7*z - 4 - 150 = 0. Suppose -5*b + z = -18. Solve -b*x - 4 = -4*x for x.
-1
Suppose -5*a + 35 = 3*f, 4*a - 3*f - 56 = -1. Solve a = -7*q + 3 for q.
-1
Let l = -2 + 3. Let y be l/(((-8)/(-4))/(-24)). Let v be y/10*30/(-18). Solve v*q = -0*q for q.
0
Let m = 6 + -2. Suppose m*y - y = 15. Solve 3*w - y*w = 0 for w.
0
Let l(z) be the third derivative of -z**5/60 - z**4/8 - z**3/3 + 4*z**2. Let v be l(-1). Let g = 2 - v. Solve 0 = -g*d + 2 + 8 for d.
5
Let i be (-64)/(-320)*(3 - -2). Let v = 1 + 0. Solve -i - v = -d for d.
2
Suppose -613 = -99*t - 19. Solve 107*u - 104*u - t = 0 for u.
2
Let b be 2/(-4)*(-2 + -2). Suppose -5*j + b*t = -3*t - 35, -3*j - 2*t = -11. Suppose j*z - 10 + 0 = 0. Solve -4*p + 10 + z = 0 for p.
3
Let f = -561 + 561. Solve 3*m + 5 - 11 = f for m.
2
Let o(a) = -3*a - 15. Let j be o(-6). Suppose 2*h = -j*h + 35. Let v be 3 + (2 - 5) + h. Solve -9 = -4*i + v*i for i.
-3
Let n(p) = -7*p**3 - 3*p**2 - 2*p + 2. Let s be n(-2). Let y = -48 + s. Solve -y = -2*j + 6 for j.
4
Let v = 6 + 8. Suppose 5*m = -j + 2*m + 14, -3*m = 3*j - 30. Let g be 8 + (-7)/(v/j). Solve g*n = -15 - 5 for n.
-5
Let f(p) = -6*p - 46. Let t be f(-8). Solve t*w = -6 + 4 for w.
-1
Suppose -7*d = -8*d + 2. Let v be ((-8)/(-32))/(d/24). Suppose 0*l - 5*l - 3*t = -12, -5*l + 3*t - 12 = 0. Solve l = v*g + g - 20 for g.
5
Let k be 1/2*0/8. Solve k = 32*d - 31*d for d.
0
Let b be (-1 - 14 - -11)*(0 - 10). Solve 23*v + b = 31*v for v.
5
Let i(w) = -w**2 - 10*w - 16. Let y be i(-3). Let j = -3 + 3. Let b(o) = -o**3 + 6*o**2 + 8*o + 3. Let r be b(7). Solve -y*f + r*f = j for f.
0
Let b(t) be the third derivative of -t**6/120 - t**5/30 + t**4/12 + t**3/3 - 2*t**2. Let r be b(-3). Suppose 17 - r = 2*p. Solve d - 3*d = p for d.
-3
Let r = 26 - 21. Let h be 26/(-1)*((-10)/4)/r. Solve -3*o - 4 = -h for o.
3
Suppose -7 = -17*o + 10. Suppose -3*y = -14 + 5. Suppose -y*i + 8 = -i. Solve -5*q - o = i for q.
-1
Let n(l) = 4. Let q(f) = -f + 3. Let v(z) = 2*n(z) - 4*q(z). Let b be v(3). Suppose 0 = -0*g + 4*g - b. Solve 0 = -g*a + 4*a + 2 for a.
-1
Let w(j) = j**3 + 6*j**2 + 4*j - 5. Let o be w(-5). Suppose 6*a + o*a = 0. Suppose 5*u - u = a. Solve -3*m = -u*m for m.
0
Let u be ((-14)/(-21))/(1/(-69)). Let c be (-3)/(-9) - u/6. Suppose 7 = -h - 3*s - s, 2*h = 3*s + c. Solve -3*g + 5 = -h for g.
2
Let t be ((-336)/(-154))/(12/66). Solve -7*z = -13*z - t for z.
-2
Let t(a) = 2*a**2 + 13*a + 24. Let j be t(-9). Solve 3*y - j = -20*y for y.
3
Let c(j) = 3*j. Let s be c(1). Suppose 0 = -g + 5, -g + 5 + 3 = s*i. Let p(w) = w**3 + 10*w**2 + 3. Let z be p(-10). Solve -z*o = -14 - i for o.
5
Let k(m) = -m**3 + 52*m**2 - 2*m + 107. Let j be k(52). Solve j*x = x for x.
0
Suppose -2 = f + 2*z, 5 = f + 5*z + 16. Suppose -4*q - 16 = -4*k + 32, f*k = -3*q + 34. Solve 2*x - k = 4*x for x.
-5
Let a = 50 - 35. Let f be 42/a + (-8)/10. Suppose -5*g = -12 + f. Solve -b + g = b for b.
1
Suppose 0 = f + 2*f. Suppose -14*h + 17*h - 9 = 0. Suppose -3*o = -2*p - 6, -6*o + 2*o - h*p + 25 = 0. Solve f*d - o = d for d.
-4
Suppose -408 = -3*a - 393. Solve a*n - 9*n = 0 for n.
0
Let v(k) = 2*k**2 - 11*k - 2. Let u = 58 - 52. Let x be v(u). Solve -5*p = -p - x for p.
1
Let p = 3725 + -3721. Let a be (3/9)/((-2)/(-24)). Suppose a*d = 20, 3*y - 7 - 12 = -2*d. Solve y*t = t + p for t.
2
Let s(f) = 3*f**2 + 2*f - 1. Let z = -10 - -11. Let k be s(z). Solve -20 = k*r - 0*r for r.
-5
Let d(n) = n**3 + 7*n**2 + 7*n + 3. Let q be d(-6). Let r be (-5 - -2 - -11) + q. Suppose r*t - t - 20 = 0. Solve c + 12 = t*c for c.
3
Let k be (2 - 9/6)/(15/930). Let n = k + -23. Solve -q = -3*q - n for q.
-4
Let t(n) = -5*n**2 + 4*n - 7. Let o be t(3). Let k = o - -44. Solve 16 = k*z + 4 for z.
3
Let d(x) = x**2 - 30*x - 125. Let s be d(-4). Solve s*r + 19 = -3 for r.
-2
Let h(n) = -n**3 - 2*n**2 - n + 1. Let d be (-4)/10 + (-16)/10. Let j be h(d). Solve u = j*u for u.
0
Let t(p) = -2*p + 10. Let o(w) = w**2 - 16*w - 32. Let i be o(18). Let v be t(i). Solve v*f = 3*f for f.
0
Let t(z) be the second derivative of z**4/12 + z**3 + 2*z**2 + z. Let a = -18 + 12. Let k be t(a). Solve -5*i = 21 + k for i.
-5
Let s(l) be the third derivative of l**4/24 + l**3/3 - 4*l**2. Let v be s(3). Let c(b) = 5*b**2. Let o be c(1). Solve v = o*j - 0 for j.
1
Suppose w - 5*y - 4 = 0, 3*y = 3*w - 2*w - 4. Suppose t + 2 = w. Solve 0 = t*d - 6*d - 20 for d.
-5
Let v be 2/(-8)*(0 - 8). Suppose -2 = -v*j + j. Suppose -2*n = j*n. Solve n = -3*s + s for s.
0
Suppose 80 = 16*r - 112. Solve -q - 3*q = r for q.
-3
Suppose 4*a - 2*g - 21 = -3*g, 0 = -2*a + 3*g + 21. Let w(z) = -z**2 + 6*z. Let t be w(a). Solve 3*v + t = -3 for v.
-1
Let a be (1/1)/(1/2). Let c be (-14)/(-6) + (-4)/(-6). Solve c*w - 10 = -a*w for w.
2
Let k(b) = -2*b - 54. Let a be k(-27). Solve -17*g + 6*g = a for g.
0
Let v(o) be the first derivative of 3*o**2 - 12*o + 26. Let z be v(2). Solve 0 = -u - z + 4 for u.
4
Suppose -30 = -3*k - 26*w + 21*w, -3*w + 29 = 4*k. Solve k*r - 7 = 18 for r.
5
Suppose -3*i + 8*i = 4*k + 10, -i = 5*k - 2. Suppose 3*o + o = 32. Let u = -6 + o. Solve -4*s + u*s + 6 = k for s.
3
Let g be (-11 - -10)/((-2)/(-8)). Let m(z) = 3*z + 18. Let y be m(g). Solve i - 3 = -y for i.
-3
Suppose 4*r = -0*r + 28. Suppose 4*l = l + r*l. Solve h + 2 + l = 0 for h.
-2
Let l = 418 - 418. Suppose 0 = -4*x - p - 3*p + 20, -3*p + 1 = -4*x. Let y(a) = -a**3 + 2. Let c be y(0). Solve l = -x*m - c*m - 16 for m.
-4
Suppose -n = -7 + 4. Suppose -18 = -4*m - 0*m - 2*y, 35 = 5*m + 5*y. Let a = 7 - m. Solve -a*i = -n*i for i.
0
Let b be 76/10 + (48/10)/(-8). Solve -3 + b = 2*m for m.
2
Let o = 51 + -46. Let u = 54 + -32. Solve -u = -o*f + 3 for f.
5
Let m be (0 - 0)*(3 + -2). Let z(l) = l + 72. Let f be z(-70). Solve m = -5*g + f*g for g.
0
Suppose 2*j - 3*j - 13 = -5*f, 2*j = -2*f + 10. Solve 0*l + 2*l + j = 0 for l.
-1
Suppose 0 = 19*d - 14*d - 240. Let a = d + -46. Solve -a*x - 15 = x for x.
-5
Suppose 0*y - 2*y + 3*n + 22 = 0, -3*n = -4*y + 32. Let g = -10 - -14. Suppose -v + 7 = -3*r, -10*r = 3*v - 12*r - 42. Solve g = y*p - v for p.
4
Let k be (-278)/(-8) + 42/168. Solve -37 - k = -24*r for r.
3
Let k(f) = -f**3 + 2*f**2 - 2*f + 1. Let c be k(1). Solve r - 3 + 8 = c for r.
-5
Suppose 2*v + 60 = -3*v. Let r = 14 + v. Solve -r*g + 0*g = 0 for g.
0
Let p be (2 + -1)*-1 + 1. Let h(l) = -l - 8. Let a be h(-10). Suppose -2*m - a*m + 16 = p. Solve -m*o + 6 = 2 for o.
1
Let q(r) = -r + 10. Let z(p) = -p**3 + 15*p**2 + p - 15. Let f be z(15). Let a be q(f). Solve -4*o = -6 - a for o.
4
Suppose 11*w = 108 + 57. Solve w = -8*v + 3*v for v.
-3
Suppose 4*x + 6 = 18. Let b be x/(-2)*1*-2. Solve 0 = -3*h - 3 - b for h.
-2
Let s(w) = -3*w - 2. Let f(u) = -2*u - 2. Let x(q) = 6*f(q) - 5*s(q). Let b be x(4). Let r = 6 + -2. Solve -r*j - j = -b for j.
2
Suppose -5*s + 5*p + 10 = 0, 2*p = 5*s + 3*p + 2. Let k = -9 + 19. Suppose 2*t - k = -s*t. Solve -7 = -t*j + 3 for j.
2
Let m be 24 - -5 - (-8)/(-2). Let p = 27 - m. Solve p*b = -b for b.
0
Let t = 315 - 283. Solve 0 = -t*v + 34*v + 8 for v.
-4
Let u be (-364)/208 + 23/4. Suppose 6 = p + 3. Solve u*j - 5 = p*j for j.
5
Let h(i) = -i**2 + 4*i + 2. Let l be h(5). Let z be (l/1)/((-2)/2). Let j be 3/((-6)/(-2)) - -5. Solve -6 = z*o + j for o.
-4
Let i = 134 + -126. Suppose -i = 4*h, h - 6 = a - 5*a. Solve 11 = a*w + 1 for w.
5
Let n(r) = -r**3 + 4*r**2 - 2*r + 4. Let q be n(3). Suppose -2*f - 2*s + 12 = 0, 3*f = -s + 6 + 10. Let a = f + 15. Solve -q*o = -2*o + a for o.
-4
Let z be (-18 + 15)*(-38)/6. Suppose z = 8*o - 13. Solve o*b - 11 - 5 = 0 for b.
4
Let t(x) = -x**3 + 6*x**2 - 7*x + 15. Let z be t(5). Solve z*r + 8 = 28 for r.
4
Let h = -466 - -476. Solve -h*p - 4 = -14*p for p.
1
Let b(c) = -15*c**3 - c**2 - 