-3*u + 3 = -4*t, -3*t + 5*u + x + 2 = 0 for t.
-3
Let n(q) = -5*q + 4. Let p be n(0). Solve 12 = -2*d + 5*u, 3*d - 4*d = p*u - 20 for d.
4
Let l = 5 + -3. Solve 3*w = -5*t + 25, 0 = l*w + t - 5 for w.
0
Let h be 2/3*3/2. Let m(d) = 3*d**3 - 5*d**2 + d + 5. Let p be m(2). Solve -l = 3*c - 7, -2*c - p = 4*l + h for c.
4
Let g(a) be the third derivative of a**6/120 + a**5/12 + a**4/12 - a**3/2 - 2*a**2. Let q be g(-4). Solve -3 = -i - c, -3*i + 0*c + q = c for i.
1
Suppose -l + i - 10 = -3*l, l = 4*i - 13. Solve 0 = -2*d + l*j + 14, -3*d + 23 = -4*j - j for d.
1
Let v be 1/(-4) - 99/(-44). Suppose -10 = -h - 0*h - 2*i, -i = v*h - 8. Solve h*a - 1 - 1 = 4*b, -2*a + 8 = -b for b.
2
Suppose 11 = 34*w - 193. Suppose -9 = 2*m - 3. Let x be (-13)/m - 1/3. Solve 5*t = o - w, -t = -x*t - 3 for o.
1
Let l = -3 - -1. Let p = 2 + l. Suppose -3*s - 2 + 8 = 0. Solve g - z - s = p, -3*g = 2*g - 2*z - 16 for g.
4
Let o(n) = n**2 + 8*n - 6. Let l be o(-9). Let g be 9*(-1 - (-4)/l). Suppose v + g*c + 5 = 1, 16 = -4*c. Solve -5*w = -10, 3*w - v*w = -3*r - 10 for r.
0
Let u(t) = -t**2 + 5*t + 2. Let c be u(3). Let r = c + -2. Let f be r/((-7)/((-14)/4)). Solve f*z = -3*v + 9, 5*z - 3*v + 10 = 1 for z.
0
Suppose 0 = 4*q - 3*z + 16, 4*q - 6 = -4*z - 22. Let l be 2 - q/4 - 1. Solve 2*k = -l*c, -3*k = -k - 5*c + 14 for k.
-2
Let t(a) = a - 2. Let v be t(2). Solve v = -5*q + 4*l + 28, q + q = -4*l for q.
4
Let q = 53 - 37. Solve 4*k + q = -n + 2*n, 4 = n - k for n.
0
Let t(q) = q**2 - 22*q + 24. Let u be t(21). Solve u*r - 4*h = -8, -4*h + 36 = 4*r - 0*h for r.
4
Let m = 5 - -3. Let g = 7 + -7. Solve g = -3*v - f + 4 - 8, f - m = v for v.
-3
Let p(z) = z**2 + 3*z - 2. Suppose 2*v + 0 + 8 = 0. Let r be p(v). Suppose -c - 11 = -r*c. Solve -4*j - 6*l - 3 = -l, -4*j + 3*l - c = 0 for j.
-2
Suppose 5*k = -3*d - 19, -7 = -3*k - k + 5*d. Let l = 2 - 1. Let r be -1 + l + (-12)/k. Solve 4*o - 2*o + 6 = t, 5*t = 4*o + r for o.
-4
Let s(x) = 9*x - 5. Let b be s(1). Solve -3*j - b = 5*y - 5, 0 = -2*j - 2*y + 2 for j.
2
Let r be 2/(-1*2/(-3)). Let g be 19/r - 6/18. Solve -2*y + y = -4*k + 11, -g = -3*y - k for y.
1
Let i be 0*2/(-2)*1. Solve -3*o + 5*u + 10 = -i*u, -3*u - 6 = -2*o for o.
0
Suppose -x + 7 = -0*x - m, -2 = 2*x + 2*m. Solve -5*s + 2*o = -o, 0 = -4*s + 3*o + x for s.
-3
Let r = -16 + 28. Solve 2*j + 3*u = 15, j = -4*j + u + r for j.
3
Let y = -112 + 117. Solve -m + 4 = 2*r, -4*m + 20 - 7 = y*r for m.
2
Let h = 18 - 10. Solve 3*o = 2*w, 3*w - w + o + h = 0 for w.
-3
Let i = -37 + 60. Solve -7*z + 5*w = -3*z - i, -4*z + 11 = -w for z.
2
Suppose 0 = 11*l - 9*l - 16. Solve -3*z = 2*c - 2, -c - l = c - 2*z for c.
-2
Let d = -16 + 10. Let l(w) = -w**3 - 6*w**2 + 2. Let h be l(d). Let i = 66 - 44. Solve -5*t + i = r, -h*r - r + t = 14 for r.
-3
Let c(t) = -t**3 + t + 5. Let n be c(0). Suppose -3 - 17 = -n*s. Suppose j - 15 = -s*j. Solve 2*w - 2*z - 3 = j, -3 = -w - 4*z for w.
3
Suppose -23 - 27 = 2*q. Let h be (-1 + 7/5)*q. Let i be (-72)/h + (-1)/5. Solve 0 = s + 4*t - 9, s + t - i = -2*t for s.
1
Suppose -12 = -5*a + 2*a. Suppose -s + a*n = -4, 0 = 5*s - 0*s - 5*n - 5. Solve 5*p - 5*t + 5 = -s*t, -1 = p + 3*t for p.
-1
Suppose 2*u = -10, -4*x - 4*u = 12 - 0. Suppose -2*w + 18 + 2 = 0. Let r be ((-24)/20)/((-3)/w). Solve -r*g = -4, -f - 5*g + 6 = -x for f.
3
Let q be 2/4 - (-69)/6. Let r be 2/(-6) + 352/q. Suppose -3*t + 36 = -m + 9, -2*t = 3*m - r. Solve -2*i + 2*f + t = -4*i, -3*f = i + 9 for i.
-3
Let o be 3*3/(36/44). Solve -j = 5*b + o, 2*j = -2*b + 3 - 1 for b.
-3
Suppose 0 = 4*x - x. Let t be (-1 - (x + 0))*-8. Solve 0 = -o - 4, 2*d = 3*o + 8 + t for d.
2
Let q(d) = d**3 - 3*d**2 + d + 4. Let o be q(2). Solve 3*j + 1 = -y - 1, 0 = -o*j + y - 8 for j.
-2
Let u be ((-18)/8)/((-4)/16). Let d = 0 + u. Suppose -5*h = -16 - d. Solve -3*b + y = -7, 0 = h*b - 5*y + 2*y - 5 for b.
4
Let q = -4 + 8. Suppose 0 = -11*w + 6*w - 10. Let v = 3 - w. Solve -f - q*j = -5, -j + v*j = -4*f + 8 for f.
1
Let o(i) = -i**2 - 8*i + 4. Let z be o(-6). Suppose 5*w + z + 9 = 0. Let g be 2/10 + (-94)/w. Solve 3*d + x + 8 = 0, -3*d - g = 4*x - 5 for d.
-2
Let w be 38/10 + 5/25. Solve -w*c + 3*c - 10 = -5*v, 0 = 5*c + 3*v - 6 for c.
0
Suppose 4*a = 6 + 14. Suppose 0 = -5*v - 4*o + 36, -v + 0*o + 5*o = -13. Solve -j = -2*h + 5, -v = -a*h + j + 12 for h.
5
Let g = -5 - -10. Solve -3*s + 3*v = -10 - 5, 3*s - g*v - 17 = 0 for s.
4
Let a(c) = -3 + 2*c + c**3 - 4*c**2 + 0*c + 0*c**2. Let q be a(4). Solve r = -0*p - 2*p - 6, -5*p = q*r + 10 for p.
-4
Let j(f) = 24*f - 20. Let w(l) = -16*l + 13. Let q(p) = -5*j(p) - 8*w(p). Let x be q(3). Solve 5*b - 5 = 4*d, 3*d - x - 15 = -4*b for b.
5
Suppose 6*l = 5*a + l, 2*a - 3 = l. Solve -a*t - 2*u = 16 + 6, 0 = -4*t + 3*u - 1 for t.
-4
Let r be ((-4)/(-8))/(0 - (-3)/24). Solve 2*j + 14 = 4*a, 4*a = 3*a + 3*j - r for a.
5
Let o(w) = -w**3 - 5*w**2 + 3*w + 5. Let k be o(-5). Let t = -7 - k. Let s be (1/t)/(2/18). Solve d + s = 4*d - c, -d - 3*c = -11 for d.
2
Let u(s) = s**2 + 9*s + 16. Let y be u(-7). Solve -c - 8 = -y*j, j + 3*j - 20 = 4*c for c.
-2
Let c be 0/((6/(-4))/(9/(-6))). Solve c = -n - 4*a + 17, 4 = a - 0 for n.
1
Let a(d) = d**2 + 9*d - 5. Let q be a(-10). Suppose 0 = q*b - 6 - 4. Solve p = b*p - 2*w - 4, -4*w - 8 = 4*p for p.
0
Suppose 0 = -l + 2. Suppose -l*w = 3*q - 3, -w = 2*q - 7*q - 8. Solve f + w*g = 1 + 1, -5*g + 14 = -f for f.
-4
Suppose -3*r - 2*r = -5. Suppose -2*g = -r - 3, -3*c - 5*g = -22. Solve 9 = 5*m + d - 6, 40 = 5*m - c*d for m.
4
Suppose -2*s + 5*t + 2 = -s, 4*t = 4*s - 8. Suppose -16 = -0*f + s*f. Let l(p) = p + 12. Let z be l(f). Solve z*j = -5*b + 16, -b + 4*j - 3 = 13 for b.
0
Let n(a) = -5*a - a**2 - 9 - 7*a + 2*a. Let u be n(-9). Suppose -2*s = -2*v - 3*s + 7, 5*v + s - 13 = u. Solve 4*y + v*p = 22, 4*y + 4*p - 13 = 5*p for y.
4
Suppose -5*c = g + 2*g + 3, -3*g + 18 = -2*c. Solve 4*u = j - 16 - 3, u = g*j - 1 for u.
-5
Suppose 4*b = 5*b - 13. Solve -2*j + 3*z + 0*z - b = 0, z = -2*j - 1 for j.
-2
Let u be 0 - 0 - 5/(-1). Suppose u*w = -25 + 5. Let b = -2 - w. Solve 0 = 3*g + 2*g + 5*k + 35, -2*g + 2*k = b for g.
-4
Suppose 0 = -5*q + 13 + 2. Suppose 8 = 4*g + q*n, g = 4*n - 9 - 8. Let k be -3 + g*6/(-2). Solve -o = -3*c - k*c + 1, -4*o = -4*c - 12 for o.
5
Let m = 15 - 9. Suppose 4*l + 8 = m*l. Let g = -4 - -8. Solve -1 = g*r + 3*f, 0 = 5*r + l*f - 0*f for r.
-4
Let o be 3*3/27*1*9. Solve o*v = -k - 5 + 4, -5*v - 15 = -5*k for v.
-1
Let z(x) = -x**3 + 22*x**2 + 22*x + 23. Let n be z(23). Solve n = -f + 3*r + 3, -1 = -f + r + 2 for f.
3
Let g(t) = t**3 - 5*t**2 - t + 7. Let k be g(5). Solve -k*s - 8 - 2 = 0, -2*s = -5*j + 30 for j.
4
Let w be 5*1*(-4)/(-10). Let l be (-2)/(-7) - (-38)/14. Suppose 0 = k + l - 5. Solve -x + 20 = -4*o - 4*x, -w*o - k*x = 10 for o.
-5
Let s(y) = y**3 + 2*y**2 - 2*y - 2. Let m be s(-2). Suppose -m*j - j + 51 = 0. Solve 4*p - 4*r = 20, 0*p - 3*r - j = -4*p for p.
2
Suppose -2*f - 1 = -7. Let q = -3 + f. Let y = q + 4. Solve -6*z - 30 = -y*p - 4*z, -3*p - 5*z - 10 = 0 for p.
5
Suppose -3*f = -g + 7 + 4, 4*f - 4*g + 4 = 0. Let v = f + 7. Solve -3 = -3*c + 3*d, d = v*c - 4*c - 4 for c.
-1
Suppose -2*z + 8 = 2*z. Suppose 7 - 1 = z*y. Solve h + 15 = -y*x, -h = -2*h - 5*x - 25 for h.
0
Let a be (-5 - 133/(-35))*-5. Suppose -3*f = -3*n, -f - 9 = n - 5*n. Solve 3*o = 4*z, 2*z = n*o - a*o for o.
0
Suppose 5*x = -2*u + 13, -6*u + 5*u - x = -5. Solve -3*o + 0*r + r + u = 0, -4*o - 1 = 5*r for o.
1
Suppose 0 = -5*y + 10*y - 5. Solve -4*f + 5*m - 17 = 0, -2*f + 2*m - y = m for f.
2
Let r = 25 + -24. Solve -t = -v + r, -4*v - 19 = -7 for t.
-4
Suppose 3*x = -2*x + 5*g + 40, -12 = x + 4*g. Let w be 3 + 12/x + -2. Solve -b = -2*c + 6, -2*b - w*c + 1 + 3 = 0 for b.
-2
Let v(l) = 2*l + 6. Let w be v(-5). Let t = 2 - w. Suppose 3*z + 6 = -5*d, 2*z + z = -4*d - t. Solve g + 5*m + 10 = d, g + 4*g + 2*m = -4 for g.
0
Let x(u) = 2*u - 5. Let i(o) = 2*o**2 - 3*o + 3. Let b be i(2). Let t be x(b). Solve -4*g = 3*z - 3*g + 12, 21 = -2*z - t*g for z.
-3
Let j(k) = 11*k**2 + 2*k - 1. Let b be j(1). Suppose -5*o = 3*u - b, o + o - 2*u + 8 = 0. Let q be 2/1 + (0 - o). Solve q*y - 8 = 4*y + 2*z, -4*y - 1 = z for y.
1
Let q(u) = 2*u - 2. Let s be q(1). Solve -4*x - 4*z - 20 = -s*z, 0 = 3*x - z + 15 for x.
-5
Suppose -4*q = -0*q 