, 5*t + 4*f + 0 = 21 for t.
5
Suppose 4*m - 12 = 0, 78*z - 82*z + 3*m + 3 = 0. Solve -n - 9 = 2*x, z*x + 29 = -5*n - 2 for x.
-2
Suppose o - 2*o = -72. Suppose 0 = -2*y - 6*y + o. Solve -2*p + v + 4*v = y, 5*p + 4*v = -6 for p.
-2
Let g be (-8)/(-2) - -16*(-4)/16. Solve 0*o - 12 = 3*c - 3*o, -2*c - o - 2 = g for c.
-2
Let j(z) = -1. Let n(p) = 2*p + 2. Let i(s) = 2*j(s) + n(s). Let k be i(2). Suppose 0 = k*d - 46 + 18. Solve 3*h = -4*x + 9, -4*h = -d*h + 9 for x.
0
Suppose 0 = 267*z - 257*z - 40. Solve -2*w - 12 = 2*a + 2, 0 = -2*a + z*w + 10 for a.
-3
Let a be 1/((-15)/(-6)) - 532/(-70). Solve -a = -4*v - 4*m, -6*v - 4*m = -10*v - 16 for v.
-1
Let m = -28 - -58. Suppose 0 = 2*i + 5*u - 27, -2*i = 3*i + 5*u - m. Suppose -q = 60 - 72. Solve 4*z = -q, -z + i = -3*l + 10 for l.
2
Let j = -365 - -370. Solve 0 = -j*m + h - 2*h - 15, 5*h = -3*m - 31 for m.
-2
Suppose 5*x = -h + 3*h - 33, 5*x = -25. Let z(p) = -5 + 3 + 3 + 2 - p**2 + 10*p. Let v be z(10). Solve l = 0, -r = h*l + v - 0 for r.
-3
Let j = 30 - 27. Suppose -a + j = -0. Solve a*s + 2*o = 7*s - 6, 4*o = -2*s - 22 for s.
-1
Suppose -2*s + 5*u - 27 = -4*s, 0 = -s + u + 3. Suppose -11 = -2*t + 3*o, 4*o - s = -4*t + 6. Suppose -3 = 3*a - 15. Solve -a*p - 1 = -h, h + 2*p - 3 = t for h.
5
Suppose -a - 10 = 3*t, 7 = 3*a + 2*t + 9. Solve v + 2*d + 3 + a = 0, -2*v = -5*d + 1 for v.
-3
Let c(w) = -w**3 - 2*w**2 + w + 2. Let a be c(0). Suppose -y + 21 = -a*y. Let x = y - -24. Solve -x*f + 13 = -5*v + f, 18 = -3*v - f for v.
-5
Let f = -35 + 40. Suppose 2*p - 3*d = f*p - 21, -15 = -5*p + 5*d. Let j(g) = g. Let u be j(p). Solve -2*o - 4*w - 11 = o, 30 = u*o - 3*w for o.
3
Suppose 62 = 72*f - 298. Solve 4*s = f*n, 5*n - 12 = -32 for s.
-5
Suppose 126*o - 71*o - 330 = 0. Solve -10 = -4*a + 4*l + 2, -2*l + o = 2*a for a.
3
Let t = 35 - 62. Let x be t/(-12) + -2 + (-19)/(-4). Solve m + 4 = -m + c, -2*m = -x*c + 12 for m.
-1
Let s(r) = -r + 1. Let f be s(-3). Suppose 4*v = 2*t + 10 - 18, 4*t = 2*v + 40. Solve 2*o = -0*o - 4*k - 2, f*k = -t for o.
5
Let f(v) = v**2 + 33*v - 148. Let m be f(-37). Solve 5*r = -4*z - 2, -4*r = -z - m*z + 10 for r.
-2
Let j be 2 + (4 + -5)*1. Let f(o) = o + 4*o - o + 1. Let w be f(j). Solve 0 = 2*l + 4*h - 18, 2*l = 6*l + w*h - 21 for l.
-1
Suppose -5*c - 46 = -71. Suppose -c*f + 2*f - 2*j = -48, -3*f = -4*j - 30. Solve -f = 2*t - 2*x, t + 0*x + 19 = 4*x for t.
-3
Let q = 38 + -30. Suppose 0 = -5*x - 3 + 13. Suppose -5 = -x*s - 3*s - 5*b, s - 2*b = 7. Solve 3*m + 6 = s*z, -4*m - 4*z - q + 32 = 0 for m.
2
Let x be (-3 - -3)*44/792. Let m be (0 - 1)*(-1 + 1). Suppose m*q + 4 = 2*q. Solve x*a + 3*a = -3*n, 0 = 4*n + q*a for n.
0
Let v = -19 + 21. Suppose 0 = 2*h - n + 1, v*n - 12 = -3*h + 4. Let u be ((-12)/(-8))/(2/4). Solve 3*z + 11 = u*g - 1, 5*g - h*z = 11 for g.
1
Let t = 489 - 486. Solve 5*w = 3*b + 25, -4*w = -3*w + t*b - 5 for w.
5
Suppose -4*k - 4*b + 24 = 0, -2*k + 0 = -3*b - 2. Solve -3*r + 2*h = -6, -k = -r - 2*h - 10 for r.
0
Suppose 5*v = 5, d = 6*d + 4*v - 44. Suppose -3*c - 16 = -r, 3*r + r + 2*c = d. Solve -b + 4*t = -20, 0 = -b + r*b + 4*t + 20 for b.
0
Let j(k) be the third derivative of k**5/60 - k**4/24 + 14*k**2. Let h be j(3). Solve 2*q + h = 3*q - p, -p - 3 = 0 for q.
3
Let h be 8/28 + (-4)/14. Suppose 17*d + 8 = 13*d, a - 2*d = 21. Solve 2*w - 2*v + 2 = h, -5*w - v - a = -0*w for w.
-3
Let t be (-74)/(-185)*(0 + -4)*(-25)/10. Let v = -7 + 12. Solve -t*h + 2*y - 6 = y, -v*y + 10 = 0 for h.
-1
Let q = 9 - 4. Let x be (1/q*0)/(-2). Solve x = -w + 4*p - 9, 2*w - 4*p = 3 - 13 for w.
-1
Suppose -519*i + 529*i = 110. Solve u + i = -5*k, 17*k + 5 = 5*u + 12*k for u.
-1
Suppose 126*x = 119*x + 14. Solve 4*a + 3*t + 5 = 0, -x*a = -2*t - 5 - 3 for a.
1
Let q be (-105)/(-7) + (-2 - (2 - 0)). Suppose q = z - 4. Solve z = -0*d - d + 2*n, 2*d = -2*n for d.
-5
Let q(t) = t**2 - 6*t + 2. Let p be q(6). Let a = -3 - -15. Let k = a - 11. Solve -b - k + 5 = p*f, -2*f = -2*b - 16 for f.
4
Let p(s) = s. Let f be p(0). Let j be (f + -2)/(-2) - 9. Let u = j - -12. Solve 3*l + 0*r + 3*r + 12 = 0, -u*l - 3*r = 16 for l.
-4
Suppose 4*l + 7 = -3*w, -4*l + 5*l + 23 = -5*w. Suppose -i = -l*s + 7, 0 = -4*s - 5*i + 3 + 4. Solve y + 0*t + 2 = t, -t + 4 = -s*y for y.
-1
Suppose 0 = -3*t + 5*s + 29, t - 6*t + s = -19. Suppose 0 = 5*c - 2*z - 7, 0 = -2*z + 3 + 5. Solve -2*l - 4 = -3*g + 5, 0 = -t*g + c for l.
-3
Suppose -8*b + 2*b + 18 = 0. Let u = 34 + -23. Solve -7 - 9 = 2*d - b*r, 2*r + u = -3*d for d.
-5
Suppose 0 = -4*z - h + 21, 5*h - 8 = 5*z - 3. Solve z*b = -4*o - 16, -o = -6*o + 4*b + 7 for o.
-1
Let a be 5 + (-2)/(-2) - 2. Suppose -i + 5 = a*i. Suppose 0 = -4*x - 4*b + 36, -2*x - b = 3*x - 25. Solve 3*p + 3 = -x*s - i, 5*p + 2*s - 12 = 0 for p.
4
Let k(u) = u**3 + 12*u**2 + 4*u - 75. Let w be k(-11). Solve -31 = w*n - 5*i, 5*n - i + 20 = -0*n for n.
-3
Suppose 0 = -10*a + 774 - 724. Solve a*w = 5*u - 19 - 6, -5 = 4*u + w for u.
0
Let a(r) = -2*r - 31. Let m be a(-19). Suppose -3*q + m + 8 = 0. Solve -q*g - 3*c = 25, -g - 13 = -2*g + 3*c for g.
-2
Let d(x) = x**2 + 6*x - 5. Let k be d(-7). Suppose -7*n + k*n = 55. Let w = -8 - n. Solve -3*t = -2*q - 25, 0*t + w*q = -3*t for t.
5
Let h = -12 + 17. Solve -3*o = h + 1, 5*r - 3 = -o for r.
1
Let i(l) = 10*l + 293. Let t be i(-29). Solve 4*m - 2 = 5*n, -m + n - 5 = -t*n for m.
3
Let w = -65 + 70. Let a(i) = -i**3 - 5*i**2 + 7*i + 9. Let z be a(-6). Solve -z*n + 2 = -4*v - 5, 3*n = w*v + 8 for n.
1
Let x = -97 + 101. Solve 0*t = -4*t + 2*z - 8, x*t = -3*z - 18 for t.
-3
Let p be 3/(6/8) - -1. Let h = 175 + -317. Let i = 165 + h. Solve 5*v - 3*r = 12 + i, -2*v + p*r + 33 = 0 for v.
4
Let t = -13 - -1. Let p be t/(-3) + (0 - -3). Solve -4*m + 18 = -3*w - m, -m + p = -2*w for w.
-1
Let c be 18/(-8)*(-21)/((-441)/(-140)). Let y = 34 + -14. Solve -2*z + 0*z = -f - c, -5*f - y = z for f.
-5
Let r(u) = -u + 2. Let s be r(-3). Let l be ((-15)/(-25))/(1/s). Suppose l*n = 69 - 21. Solve -d = -4*c + 2 + 2, 5*c = -4*d - n for d.
-4
Let w(u) = -3*u + 28. Let n be w(9). Suppose 0*b - 3*b = -18. Solve c + b = 4*r, -5*c - 9 = n for r.
1
Suppose 14*i - 27 = 5*i. Solve -i*h = 3*f - 13 - 2, 4*h - 6 = 3*f for h.
3
Suppose -2*q - 16 = -a, -2*a + 23 - 6 = -q. Suppose 64 + a = -5*v. Let z be (4/v)/(5/(-70)). Solve -2*r = 3*h - 3, -r - 3*h = -z*h - 4 for r.
3
Let x be 4 + (2 - 5 - 1). Suppose 0*i + 12 = 4*i. Suppose x = -2*h + i*h - 11. Solve 0 = 2*l - 5*b - 23, 0*b + 2*b = -l - h for l.
-1
Suppose 4*q + 80 = 604. Let i = q - 122. Solve -3*h - 2*o + i = -4*o, 5*o + 16 = h for h.
1
Let v be (-77)/(-44) - ((-6)/(-2))/(-12). Solve -v*x = -5*o - 20, -4 = x - 6*x + o for x.
0
Suppose 5*o - 14 - 1 = 0. Suppose o*a = 23 - 17. Solve 0 = 5*f - a*s + 11, 0 = -0*f - f - 2*s + 5 for f.
-1
Let d = 40 - 41. Let p be 1 - 4 - (-1 + -21 - d). Solve -5*k + 4*g - 2*g = p, 2*k = 4*g - 4 for k.
-4
Let v = 68 - 104. Let z = 36 + v. Suppose 0 = 2*x - n - 8, 5*n - 2 = -4*x - z. Solve -3 = -s + 5*c, 2 - 3 = -s + x*c for s.
-2
Let o = -6 - -11. Let d = o + -14. Let n be (d/4)/(4/(-48)). Solve t + 2*t + 4*j + n = 0, 2*t + 16 = -2*j for t.
-5
Let j(p) = p + 8. Suppose -4*i - 12 = 12. Let g be j(i). Suppose -5 + 13 = g*q. Solve q*r + 3*m + 32 = -r, 2*r + m + 12 = 0 for r.
-4
Suppose -2*u - 2 + 12 = 0. Let t(y) = -3*y - 6. Let q be t(-3). Solve -i + q = -c, 7 = 2*i - 4*c - u for i.
0
Let c(b) be the first derivative of -b**3/3 - 9*b**2/2 - 3*b - 9. Let z be c(-8). Solve 3*x - 4*v + 12 = -z, -2*v + 13 = 3*x for x.
1
Let w be ((-368)/(-32))/((-2)/(-4)). Let q(h) = -w + h + 7 + 10. Let c be q(6). Solve -3*b = 5*y + 3 + 2, 5*y + 2*b = c for y.
2
Let t be (20/15)/(4/6). Suppose 9 = 5*g - t*g. Solve 12 = -c + g*q, 0*q - 3*q + 12 = 0 for c.
0
Let f be (-6 - (2 + -1)) + -20 + 43. Solve 4*s - 4*c = -f, 13 = 5*c - 7 for s.
0
Suppose -2*w - 3*b = -9, 2*b - 9 + 3 = 4*w. Solve 3*g = 3*x + 12, w*x - g + 14 = -3*x for x.
-5
Let p = -590 + 592. Solve -p*t + 29 = -5*k, 0*k = -3*t + k + 11 for t.
2
Suppose 0 = 13*c + c - 42. Let b(z) = -z - 3. Let u be b(7). Let v = 14 + u. Solve v*q + m = c*m + 12, -3*q - m + 14 = 0 for q.
4
Suppose -20*n = 11*n - 11*n. Solve -c - h + 0 + 1 = n, -9 = 3*c - h for c.
-2
Suppose -4*u + 28 = 4*w, u + 4*w - 26 = -2*u. Suppose -q - u = -0*q. Let d be 1 + q - (-9)/3. Solve -5*h