 Solve z = -4*t - 6 for t.
-3
Let o(y) = y**3 + y**2 - 4*y - 2. Let h be o(-2). Solve -h*a - 8 + 0 = 0 for a.
-4
Suppose -7*h = -4*x - 2*h - 39, 3*h + 9 = -3*x. Let q be (-70)/x + 16/(-24). Solve 5*f = -6 + q for f.
1
Suppose 19*r + 140 = 23*r. Solve 7*k = -r - 0 for k.
-5
Let g be (5 - (-112)/(-21))*-69. Solve -g*s = -20*s - 9 for s.
3
Let l = -23 + 105. Let i = 84 - l. Solve 3*j - i = 5*j for j.
-1
Let f(x) be the first derivative of x**3/3 - 5*x**2 + 11*x - 3. Let k(p) = p**3 - 7*p**2 + 8*p - 3. Let i be k(6). Let g be f(i). Solve -g = -4*w - 18 for w.
-4
Let s = -79 - -78. Let q be (-3 - s*4)*4/2. Solve 5 = -q*z - 5 for z.
-5
Let q be ((-6)/1)/(-5 - -2). Suppose -q*k = -t - 8, -8 = -t - k - k. Suppose -7*v + 3*v = -8. Solve 0 = -t*u + u - v for u.
2
Let f be (-84)/(-15) - (-54)/(-90). Solve -4 = -f*t + 1 for t.
1
Let j be 2/(-9) + (-92)/(-9). Suppose -2*y - 5*x = 5, 28*y - 33*y + 4*x = -4. Let a = 6 - 1. Solve y*r + a*r = -j for r.
-2
Let r = 1 + -1. Let g(d) = 8*d**2 - 8*d - 16. Let k be g(2). Solve r = -5*z - k*z for z.
0
Let r = 4 - 2. Suppose r*i - 12 = -4*i. Solve i*t + 2 = -2 for t.
-2
Suppose -8*c + 35 = -13. Suppose -c*w = -4*w. Solve w*p = 3*p for p.
0
Suppose -2*u + 3 = -n, 3*n = -4*u + 11 - 0. Let d = -7 - -6. Let a = d - -3. Solve -a*z + n + 1 = 0 for z.
1
Let a be -20*1 - (2 + -4). Let l be 3/6 + (-10)/4 - -25. Let s = a + l. Solve s*q = q - 12 for q.
-3
Let u = -148 - -148. Solve u = -a + 8*a + 14 for a.
-2
Let s(q) = -q**2 - 11*q. Let i = 26 - 37. Let b be s(i). Solve -2*j - 4 + b = 0 for j.
-2
Suppose -3*u + 5*u = 4. Suppose -11*d + 959 = 126*d. Solve -d = -u*j + 3 for j.
5
Let k be -6*(0 + (-2)/4). Solve k = 2*x + 13 for x.
-5
Suppose -24*g - 31 = -151. Solve g*s = s - 20 for s.
-5
Let s = 2733 - 2718. Solve s*u = -2*u - 34 for u.
-2
Suppose -6 = -4*o + o. Let w(m) = -3*m + 3. Let s be w(o). Let k be s/(9/3)*0. Solve 5 = -k*g + g for g.
5
Suppose 4*i - 2*r - 42 = 0, -i = 3*i + 5*r - 7. Suppose 0 = 30*u - 26*u - i. Solve -u*k = k for k.
0
Suppose 5*h - 4*m = 288, -23*m - 135 = -2*h - 28*m. Solve -5*d - h = -70 for d.
2
Suppose -3*u = 3*m + u + 16, 4*u + 16 = -4*m. Let b(a) be the second derivative of 7*a**3/6 - 39*a**2/2 - 35*a. Let w be b(6). Solve m = 2*d + 13 - w for d.
-5
Let v be 0*(-2 + -6)/(-16). Solve -3*t = -v*t - 12 for t.
4
Suppose 18*o - 44 = -8. Let c be 28/12 - (-2)/3. Solve 5*x - o*x = c for x.
1
Let q(u) = 2*u - 7. Let n be q(6). Suppose f - 20 = -3*f + 4*m, 15 = -f + n*m. Solve -f = 3*h - h for h.
-5
Let k be ((-1)/1 - -1)/(-1). Let v be 10 + (-3 - -4 - 10). Solve k = 5*o - v + 21 for o.
-4
Suppose -4*m + 9 + 3 = 0. Let r be -13 + 1 + (m - 1). Let p = r + 12. Solve -7*z = -p*z + 10 for z.
-2
Let y be ((-1)/6)/(-1) - 1467/54. Let h = y + 27. Solve -5*x + 5 + h = 0 for x.
1
Let s(t) = 18*t - 33. Let w be s(2). Solve 0*y - w*y = -2*y for y.
0
Suppose 0 = n - 2*n + 3. Suppose l = n*b + 18, 0*b - 5*b - 25 = 0. Suppose -2*q = -3*q + l. Solve 6 = -q*s + 21 for s.
5
Let p(r) = r**2 + 26*r + 113. Let g be p(-22). Solve 19*c + g = 14*c for c.
-5
Let v(i) be the second derivative of -i**5/20 + i**3/3 + i**2/2 - i. Let z be v(-1). Let l(k) = 6*k + 73. Let p be l(-11). Solve z = 3*d - p - 2 for d.
3
Suppose 2*l + 0*l - 4*g = 146, 5*g + 286 = 4*l. Let b be 230/l + 1/(-3). Solve -2*r - 25 = b*r for r.
-5
Let k(j) = -j**3 + 16*j**2 - 13*j - 20. Let d be k(15). Let r be (-4 + 35/d)/(2/(-4)). Solve 3 = -4*z - r for z.
-1
Let n be 2/5 - (-4224)/440. Solve 51*m + n = 46*m for m.
-2
Suppose v + 2*v - 111 = 0. Let d = 15 - v. Let s be (-2)/(-11) - 40/d. Solve -y + s = -3*y for y.
-1
Suppose 2*p - 13 = -3*r, 2*r + 2*r - 25 = 5*p. Let f(h) = 10*h - 30. Let w be f(r). Solve 5*o + 5 = -w for o.
-5
Let m(h) be the second derivative of -h**4/12 + 5*h**3/3 + 3*h**2/2 + 4*h. Let c be m(10). Solve 5*j = c*j + 2 for j.
1
Suppose -344 = -22*l - 80. Solve 21 = -l*k + 5*k for k.
-3
Suppose -2*d + 2*q = -6*d, 3*q = -2*d. Let b be (-96)/(-52) + d + 6/39. Solve 0*u = 2*u + b for u.
-1
Let y(s) = -2*s**2 + 37 - 49 + 17*s - 2*s. Let v be y(6). Solve -p = -v + 3 for p.
3
Suppose 3*a + 5*q - 139 = -4, 2*q = 5*a - 194. Solve 0 = -a*z + 37*z for z.
0
Let o(m) = m**2 + m + 4. Let q be o(0). Let d(x) = -x**2 + 6*x - 8. Let u be d(q). Solve 3 = -s - u*s for s.
-3
Suppose -4 + 2 = -a. Let s = 29 + -25. Suppose o + 5*d - 3*d = -3, 0 = -s*o + 4*d + 24. Solve -7 = -o*m + a for m.
3
Let j be (-3 - (2 + -5)) + 0. Suppose -5*v + v - 8 = j. Let r be (-6 + v)/((-4)/10). Solve -3*n = n - r for n.
5
Let g(r) = r**2 - 5*r + 10. Let j(a) = -a**2 - 1. Suppose 3*p + 2 = p. Let v(x) = p*g(x) - 2*j(x). Let s be v(-7). Solve -3*l - s = -6*l for l.
2
Suppose -5*d + 19 = -b - 21, -d = -2*b + 1. Solve 3*y + d = -0*y for y.
-3
Let o = -429 - -439. Solve -2*a + o = 14 for a.
-2
Suppose -3*f - 22 = -2*v, -5*v + 0*f + 69 = -4*f. Let b(t) = t**2 - 15*t - 32. Let g be b(v). Let m be (-22)/(-8) + (-2)/(-8). Solve m*u = g*u for u.
0
Let d = 5 - -15. Solve -d = -5*p - 10 for p.
2
Let f = -288 + 291. Solve 5*m - f = 2*m for m.
1
Suppose 0 = -17*x + 18*x - 4. Suppose 0 = n + j - x*j + 13, 0 = 4*n + 5*j - 33. Solve 4*i = n*i - 8 for i.
-4
Let b be -63*15/(-9) - 0/1. Solve 5*d + b - 130 = 0 for d.
5
Let k(l) = -3*l + 0 - 1 + 3. Let o be 10/(-4) - 21/(-14). Let j be k(o). Solve -3*w + j = -4 for w.
3
Let n(l) = 4*l**2 - 2*l + 1. Let c be n(1). Suppose p = c*p. Solve t - 2*t + 5 = p for t.
5
Let v = 9 + -22. Let d(s) = s + 16. Let w be d(v). Suppose -3*g - 4*z + 6 = 0, w*g = -g - 4*z + 8. Solve l = -g*l + 6 for l.
2
Let s(c) = 3 - 5 - 4*c**2 + 5*c**2 + 1. Let n be s(-8). Let l be 14/n - (-4)/(-18). Solve -4*d + 4 = -l*d for d.
1
Let b(s) = s**2 + 4*s - 8. Let v be b(-6). Solve 0 = -j - v*j + 15 for j.
3
Let k be -3 + 4 + (-16)/4. Let f be 10/3 + k/9. Solve 1 = 2*n + f for n.
-1
Suppose 4*y + 2 = 18. Solve 0 - 20 = y*r for r.
-5
Let o(u) = -5*u + 98. Let b be o(19). Solve b*j - 25 = -2*j for j.
5
Let r = -611 + 631. Solve 5*d + 0 = -r for d.
-4
Suppose 0*i + 4*i - 8 = 3*x, x + 5*i = 29. Solve q = -x*q + 4*q for q.
0
Let i = -24 - -50. Suppose -3*d = -5*d - i. Let g be (-340)/d + (-10)/65. Solve 1 = -5*t + g for t.
5
Suppose -4 = 4*i, -3*i + 15 - 2 = 4*z. Let k be (-1)/z*(5 + -5). Solve -3*y + 7*y - 12 = k for y.
3
Let h be (-2 - -6)*(-13 + 14). Solve -1 + 17 = -h*b for b.
-4
Let f(j) = -j + 1. Let s be f(-2). Suppose -7*o = 5*k - s*o, k = -4*o. Solve -z = -k*z - 4 for z.
4
Let i be (-6)/4 - (-1419)/2. Let p be 4/(-14) - i/(-28). Solve -4*d - d = -p for d.
5
Let k be ((-240)/100)/(4/(-10)). Solve -2*v - k - 2 = 0 for v.
-4
Let u = 192 + -177. Solve j = -2*j - u for j.
-5
Let n be ((1 + 1)*16)/((-4)/(-6)). Let u be ((-4)/n*-4)/(2/12). Suppose -4*q + q - 2*k = -4, 0 = -2*k + 4. Solve q*t = -u*t + 6 for t.
3
Let p = 3 + 0. Suppose -5*q + 13 = p. Let o be q/(-7) + (-240)/(-56). Solve 11 = o*w - 9 for w.
5
Let r be -2 + (-4)/((-12)/27). Let w(g) = 3*g - 8. Let q be w(r). Suppose -4*y + 0*n + 4*n + 16 = 0, 0 = -3*y - 4*n + 12. Solve 3 = -y*x - q for x.
-4
Let k(v) = v**3 - 2*v**2 - 6*v - 6. Let z be k(-2). Let u(q) = q**3 + 11*q**2 + 12*q + 22. Let l be u(z). Solve 3*m - 8 + l = 0 for m.
2
Let a be (-1 + 26)*(-18)/45. Let v = a - -12. Suppose -z + v + 2 = 0. Solve -5*k - 14 = -z for k.
-2
Let j = -355 + 357. Solve -h + 2 = -j for h.
4
Suppose 2*l = -3*l + 2*z + 278, 2*z + 8 = 0. Suppose -52*t = -l*t + 4. Solve -2*m = -4*m - t for m.
-1
Let p = -2 - -10. Suppose -3554*f + 3565*f - 55 = 0. Solve -f*t + t = -p for t.
2
Let q = -103 + 105. Solve -12 = -j - q*j for j.
4
Suppose l + 3 = -2*l. Let y = -2 - -6. Let o = y + l. Solve z = o*z - 2 for z.
1
Suppose 23*q - 27*q = -16. Solve q*r = -2*r + 18 for r.
3
Let r = 22 - 7. Let m = 18 + -15. Suppose 0 = n + 2*s - 5, -m*n - 2*n + 11 = -4*s. Solve 0*f - r = -n*f for f.
5
Let s(a) = -a**2 - 4*a - 1. Let w be s(-2). Suppose 6*c = 3*c + 9. Let d be (-1)/7 + c/21. Solve 0 = -w*t - d - 3 for t.
-1
Let p(c) = 28 - 12*c - 13*c + 26*c - 5*c. Let n be p(6). Solve 3*b - 2 = n*b for b.
-2
Suppose 3*t - 4*t = -2*t. Suppose t = f + 3*c + 2*c - 20, -12 = -4*c. Solve -13 = -f*l + 12 for l.
5
Let a = 8 - 6. Suppose 0 = -a*l + 5*j + 8, 0 = -4*l - 4*j + 71 + 1. Let h = 19 - l. Solve h*o - 37 + 12 = 0 for o.
5
Let f = -1450 + 1483. Solve -3 = 12*g + f for g.
-3
Let w(u