for t.
-2
Let x = 24 - 16. Let v(w) = -4*w**2 + w**3 + w**2 - 5*w - 3*w**2 - 10. Let r be v(7). Solve 2*c - x = r*c for c.
-4
Let s = -20 + 4. Let r be (16/10)/(s/(-40)). Solve -14 - 2 = -r*k for k.
4
Suppose 4*b + 2*m - 8 = 3*b, -3*m + 12 = -5*b. Solve b = d - 3*d for d.
0
Let a(y) = y**2 - y + 2. Let w be a(-2). Suppose 0 = i + 2, -4*i + w*i = b - 12. Solve b*o = o for o.
0
Let c be 4/(-3)*6/(-4). Suppose -8*b = 20*b. Solve c*z - 4 + 2 = b for z.
1
Let r(h) = 1 + 0*h + 2*h - 4*h**2 + 7*h**2. Let u be r(-1). Solve 4*g - u*g = 0 for g.
0
Let l be 0/(-1 + -1)*1. Let u = l + 0. Solve 0 = -3*p - 3 - u for p.
-1
Let s be 5*(15/75 + 1 + 0). Solve s*q = 4*q + 4 for q.
2
Let s(r) = 2*r. Let w be s(1). Solve 5 + 3 = w*u for u.
4
Suppose 0 = 6*h - 4*h - 4. Solve -7 + 3 = -h*p for p.
2
Let s be -3 - (1/1 + -4). Suppose s = -7*n + 2*n + 10. Solve -n*f + 4*f = 0 for f.
0
Let s = -5 - -10. Solve s*y = -8 - 2 for y.
-2
Let o be ((-2)/(-2) + 1)*3. Suppose -11*a + 25 = -o*a. Solve -10 = -a*h - 30 for h.
-4
Let u be (-3 - 32/(-12))*-6. Solve q = u + 3 for q.
5
Let i(z) = z**3 + 4*z**2 + z - 2. Let w be i(-3). Suppose 8 = w*t - 12. Solve k = -0*k + t for k.
5
Let n(l) be the third derivative of l**4/24 - l**3/2 + 2*l**2. Suppose 4*d + 20 = 4*h, 2*h - 5*d = -2*d + 9. Let y be n(h). Solve 0 = 6*s - y*s - 12 for s.
4
Let l = -3 + 6. Suppose k - l*k + 24 = 0. Solve t - k = -2*t for t.
4
Suppose 2*m + m = 6. Suppose -z + 2*z - m = 0. Solve -z*f - 2 = -0*f for f.
-1
Suppose -5*q + 29 = -0*q + 3*k, -2 = k. Suppose q*o - 20 = 2*o - 2*i, 3*i = -3*o + 12. Solve -o*r + 6 = -r for r.
2
Let d(u) = u**2 + 4*u + 2. Let x be d(0). Solve 15 = x*i + 5 for i.
5
Suppose -p + 2*p - 4 = 0. Let m be 2/3 - p/6. Solve 5*w + 10 = -m for w.
-2
Suppose u = 2*z, -5*u - 21 = -8*u - z. Solve u = i - 3*i for i.
-3
Let h be 8 + (-2 + 1)/(3 - 2). Solve h*b = 5*b + 4 for b.
2
Let m = 15 - 9. Let o(k) = -k**2 + 7*k - 6. Let t be o(m). Solve 5*n + t*n = 0 for n.
0
Let q be (-4)/10 + (-34)/(-10). Suppose q*u = -2*u + 2*y + 13, -4*u - 2*y = -14. Suppose -3*v = -5*n - 9, u*n = 2*v + 8*n - 31. Solve 0 = j + j - v for j.
4
Let o be 16 + (-7)/((-35)/(-20)). Let d(k) = 5*k - 1. Let r be d(1). Solve -r + o = 2*y for y.
4
Let s = -93 - -97. Solve 0*z + 16 = s*z for z.
4
Let i(f) = f**3 + 5*f**2 + 3*f - 4. Let a be i(-3). Solve y - a*y = -20 for y.
5
Let g be (-60)/(-16) - (-3)/12. Suppose 0 = -3*q - q + g. Solve -q = 5*d - 4*d for d.
-1
Suppose -3 + 4 = 5*x - d, 5*x = 5*d + 5. Solve x*w = 2*w + 8 for w.
-4
Let d(c) be the third derivative of c**5/60 + c**4/4 - c**3/3 - 2*c**2. Let u be d(-7). Let i(n) = n - 1. Let y be i(4). Solve -u*s = -y - 7 for s.
2
Suppose 4*i + 18 = 2*i. Let d = 11 + i. Solve 0 = 3*n + d*n for n.
0
Let i = 4 + 0. Suppose -i = -7*l + 6*l. Solve 3 = -5*c + l*c for c.
-3
Suppose 4*w - 1 = 3*w, 5*q - w = 39. Let g = -18 - -26. Let z = g + -6. Solve -z*x + 6*x = -q for x.
-2
Suppose 3*x + 3*r = 4*x + 11, -4*x - 4*r + 36 = 0. Suppose 4*c + x = 20. Solve 0*u - c = -u for u.
4
Suppose b = -4 - 0. Let y be (-2)/b - (-21)/6. Let x be ((-6)/(-4))/(y/8). Solve -x*v = -5*v - 8 for v.
-4
Suppose -20 = 5*x - 5*q, -2*x - 1 = 4*q - 11. Let c = -7 - x. Let u = c + 9. Solve -b + u*b = -4 for b.
-2
Let a be (-8)/(-10) - 54/(-45). Solve 0 = -a*j + j for j.
0
Let s be 1/2*(0/(-3))/(-2). Solve -5 = -s*w + w for w.
-5
Let s be 30/(-12)*(-4 - (-1 + -1)). Solve -s = 2*a - 1 for a.
-2
Suppose 0 = 3*a + 4*a. Let u be (1 - (2 - a))*-8. Solve -4*i - 12 = u for i.
-5
Let a(i) = i**2 - 4*i + 3. Let u be a(0). Solve u = 3*s + 6 for s.
-1
Let w be (-7)/35 - 36/(-5). Solve -2*v + w*v = 0 for v.
0
Let a(g) = 11*g - 1. Let s be a(1). Let h be (15/s)/((-1)/(-2)). Suppose -h*c - 4*q + 34 = 0, 3*q - 43 = -3*c - 13. Solve -2*p - p = c for p.
-2
Suppose 3*o - 6 = -0. Solve 5 = o*b + 1 for b.
2
Let i = 5 + 22. Let y = 38 - i. Let r be (-18)/12 - y/(-2). Solve r*s + 5 = -7 for s.
-3
Let y(d) = d + 6. Let v be y(-3). Solve -v = -2*g + 3 for g.
3
Let f(b) = -2*b + 16. Let y(j) = j**3 - 3*j**2 + j + 4. Let t be y(3). Let a be f(t). Solve -o = a*o for o.
0
Suppose 12*u - 14*u = -18. Solve 0 = -3*b - 0 + u for b.
3
Let f = 3 + -1. Suppose -z = -f*z. Solve 0 = -u - z - 3 for u.
-3
Suppose -6*m = -4*m - 36. Let v be 330*(-2 - -1*1). Let g be (-4)/m - v/27. Solve t + g = 5*t for t.
3
Let n(a) = 12*a - 2. Let g be n(2). Let k = g + -10. Suppose k + 4 = 4*p. Solve -u + p + 0 = 0 for u.
4
Let p = 7 + -2. Suppose p*f - v + 1 - 12 = 0, 2*v = 4*f - 4. Solve 6*y = f*y - 6 for y.
-2
Suppose 3*t - 69 = 3*b, b - 101 = 6*b + 2*t. Let j = b + 30. Suppose 0 = 3*y - 4*y + j. Solve y*k - 15 = 4*k for k.
3
Let o(h) = h**3 + 5*h**2 - 2*h - 6. Let f be o(-5). Suppose f*r + r = 0. Solve -5*n + r*n = -10 for n.
2
Suppose 4*f = f. Let x(i) = i**2 + 2*i + 1. Suppose n + 5*m + 22 = -3*n, -3*n = -5*m - 1. Let z be x(n). Solve -z*t - 16 - 4 = f for t.
-5
Let d(x) = -x**3 + 3*x**2 + 5*x + 1. Let o be d(4). Suppose 2*u - 16 = -3*a, -3*u + o*a + 7 = 2. Let j = 2 - -1. Solve -2*q = -j*q - u for q.
-5
Let b(l) = l**3 + 7*l**2 + 6*l + 5. Let f be b(-6). Suppose -5*c + 5*t + 5 = 0, 0 = 2*c + f*t - 9. Solve -c*i = -i for i.
0
Suppose -3*h - 12 = -4*h. Let p = -5 + h. Suppose -6 = -y - 2*g, 0 = 3*g - 2 - p. Solve y*m - 5*m + 15 = 0 for m.
3
Suppose 10 = t + 8. Solve 2 + t = 2*g for g.
2
Let x be (-2)/(-7) - (-4)/(-14). Solve x*o = -5*o - 5 for o.
-1
Suppose -3 = -u + 2*p + 6, -3*u = -4*p - 19. Solve -2*i + i - u = 0 for i.
-1
Let d(x) = -6*x - 1. Let k be d(-1). Solve 2*z = 5 + k for z.
5
Suppose -4*h + 4 + 2 = -2*t, 0 = 4*t - h + 5. Let v be t + 0 + -3 + 6. Solve -x = -0*x + v for x.
-2
Let o(a) = -3*a - 1. Let h be o(-1). Let s(d) = -2*d - 31. Let q(n) = n + 15. Let p(c) = 5*q(c) + 2*s(c). Let g be p(-8). Solve -t + h*t + g = 0 for t.
-5
Suppose 0 = 4*x - 28 - 12. Suppose 2*n = x, -30 = -3*z - 2*z - 4*n. Solve z*f = 6*f for f.
0
Let r be (3/9)/((-2)/(-6)). Let c = r + 4. Suppose -2*w = -c*j + 55, -5*w - 26 = -3*j + 26. Solve 0 = -3*x + 3 + j for x.
4
Suppose 2*p = -2*s + 8, -3*s + 2*p + 6 = -1. Solve 0*i = 3*i - s for i.
1
Let r be (-6)/(27/(-6) - -3). Solve r*s = -0*s + 12 for s.
3
Suppose 139*y = 136*y. Solve -5*m + y*m = -20 for m.
4
Suppose -11*y + 25 + 30 = 0. Solve -7 = -y*n + 8 for n.
3
Let c be (1 - -4 - 2)*1. Let l(j) be the second derivative of j**5/20 + 3*j**4/4 + 4*j**3/3 + 3*j**2/2 + 3*j. Let u be l(-8). Solve 0 = u*r + c for r.
-1
Let t(h) = -4*h. Let a(u) = -11*u. Let v(x) = -3*a(x) + 8*t(x). Suppose 12 = 4*l - 2*f, 16 = 4*l - f + 6. Let r be v(l). Solve 0 = -r*p + 2 + 8 for p.
5
Let x(k) = 3 - k**2 - 6 + 6*k + 2. Let y be x(5). Solve 2*i = -0 - y for i.
-2
Suppose -3*r = 0, -5*r + 2 = 4*p - 10. Solve p*x = -5 - 4 for x.
-3
Suppose 10*v - 150 = 5*v. Suppose -2*j + v = -j. Solve -j = -4*u - 10 for u.
5
Suppose 2*a = a + 5. Let l be (-14)/(-3 + 3 - 2). Let z(r) = -3*r - 2. Let v be z(-2). Solve -v*u + l = -a for u.
3
Let w = -39 - -39. Solve w = 5*j - 8*j - 9 for j.
-3
Let y = -1 - -10. Let n = -8 + 8. Solve n = -5*i - y - 1 for i.
-2
Let t(n) = n**3 - 2*n**2 - 3*n - 1. Let b be t(3). Let q be (-2 + 1/b)/(-1). Suppose -q*r + 6 = h + h, 2*r = 4*h - 12. Solve -h = -m - 4 for m.
-1
Let t(f) = f + 17. Let s be t(-17). Solve s*u - 25 = -5*u for u.
5
Suppose 2*j + 20 = -2*h, -2*j - 50 = 5*h - 0*j. Let t = 12 + h. Solve -t*r = -4*r - 2 for r.
-1
Let r(v) = v**2 + v. Let n be r(2). Let j be 8/12 - 4/n. Suppose j*t = 3*t. Solve 0*h + 4*h - 8 = t for h.
2
Let t = -56 + 82. Let r = t + -14. Suppose -5 = -5*v + 5. Solve v*o = r - 2 for o.
5
Let h = -52 + 87. Let y = -24 + h. Solve -y = 5*l + 9 for l.
-4
Suppose -9 + 0 = 3*a, -4*f - 2*a + 6 = 0. Solve -f*p = -0*p + 6 for p.
-2
Let u(q) = 4*q - 27. Let x be u(8). Solve -x = 2*a - a for a.
-5
Let y be ((-376)/(-32) - 3) + (-1)/(-4). Suppose -5*s + 15 = -5*m, -2*m - 2*s + 8 = -6. Solve 0 = -m*l - 1 + y for l.
4
Let c = 7 - 8. Let b be c/(0 - 2/(-10)). Let g = -5 - b. Solve 0 = -j - 5 - g for j.
-5
Let m(l) = -l**2 - 7*l - 5. Let t(y) = y**2 - 8*y + 7. Let p be t(6). Let v be m(p). Suppose -w + v = c + 1, -5*c = 2*w - 5. Solve -7*n = -2*n + w for n.
-1
Let y be (-1 + 6)*(1 + (-9)/15). Solve -2*l = -4*l - y for l.
-1
Suppose -3*n = -39 - 9. Let z = -20 - -24. Solve 0 = -z*r - 0*r + n for r.
4
Let j(n) = n**2 - 8*n. 