*s = 27 + q for a.
-4
Let h be 102/9 + 2/(-6). Solve -4*a = -5*g - 8, 4*a + 5 + h = -g for a.
-3
Let c be (4/(-5))/(5 - (-108)/(-20)). Let y be 1*(-5)/((-10)/c). Solve 5*a + 4*b - b - 11 = 0, 0 = 5*a - 2*b - y for a.
1
Let d be (-3)/(-2 + (-55)/(-35)). Let a be (-1)/d + (-4)/(-28). Solve a = -4*b + 2*o - 6, 6*b - b = 3*o - 7 for b.
-2
Suppose 0 = -47*x + 86 + 149. Solve -3*r + 4*d + 35 = 0, -6*r = -r + 4*d - x for r.
5
Let k(f) = f**3 + 4*f**2 - 4*f - 4. Let n be k(-4). Suppose n = s - 0. Solve 0 = b - 3*t - s - 6, 4*b + 5*t + 13 = 0 for b.
3
Let k = -1057 - -1058. Solve 2 + 1 = -2*w - n, w - k = -n for w.
-4
Let b be (0 - -2) + -6 + 8. Let p be ((-6)/b)/(15/(-40)). Let l = 9 + -8. Solve 3*x = -v - 0 + l, v + p*x = 1 for v.
1
Let u(r) = 20*r - 3. Let h be u(-2). Let m = 71 + h. Let d be (21/m)/((-1)/(-20)). Solve -l = -c + 7 - 0, -l = -5*c + d for c.
2
Let q(f) = -f**2 - 2*f + 5. Let a be q(-4). Let v = 2 - a. Solve -2*b + m = 3*b - 6, -10 = -5*b + v*m for b.
1
Let n(j) = -4*j**2 + 23*j + 8. Let p be n(6). Let v be (0/p)/(-4 + (5 - 3)). Solve -5*z = 2*s - 11 - v, -4*s + 3*z + 9 = 0 for s.
3
Let x(o) = -9*o - 20. Let u be x(-3). Suppose 8*h - 155 = 3*h - 5*i, 159 = 5*h + i. Suppose -u = 5*s - h. Solve -3*g = q + g + 17, -q - g - s = 0 for q.
-1
Let n(z) = z + 7. Let a(x) = -2*x + 15. Let q be a(5). Let s be n(q). Solve m - 6 = -l, s = 4*l + m - 9 for l.
5
Suppose 4*m + 5*u = -83, -2*m - 70 + 21 = -5*u. Let b = 17 + m. Let x be 6 + b - (2 - 3). Solve -v + 8 = 5*o, -5*v + 0 = x*o + 6 for o.
2
Let x(t) = t**2 - 30*t + 4. Let g be x(30). Suppose 8 = g*j - 8. Solve -3*z - n - 7 = 0, -n - 8 = j*z + n for z.
-3
Suppose 4*f - 20 = 0, -10 - 35 = -5*m - 2*f. Let j be (7/(m/4))/(-1). Let d be (0 + -10)*2/j. Solve 5*n + 6 = -w - 3*w, 28 = 4*n - d*w for n.
2
Let v(a) = a**3 - 18*a**2 + 16*a + 22. Let n = 0 + 17. Let b be v(n). Suppose 3 = -o + b. Solve i - 5*h - 1 + o = 0, 0 = 3*i + 5*h - 17 for i.
4
Let m be (-1)/9*-39 + 2/3. Solve m*b + 4*y + 9 = -1, 5*b = -5*y - 15 for b.
2
Let g(f) = f + 8. Let r be g(-7). Suppose i - r - 1 = 0, -4*i = 3*o - 17. Solve -4*p + o = c, c - 3 = -3*p - 1 for c.
-1
Let y = -393 - -393. Solve y = -4*k - 5*i - 10, -3*k + i + 2 = 2*k for k.
0
Suppose -3*b = 4*f - 56, 2*b + 5*f - 8 = 34. Let p = 4 - b. Let i = p - -14. Solve 3*d = -y - 1, -7*d + i*d + y + 1 = 0 for d.
0
Suppose 102 = -4*y + 5*l, 5 + 5 = 5*l. Let q = y + 20. Let p = -1 - q. Solve 0 = 3*h + d + 16, -3*h - p*d - 8 = 9 for h.
-5
Suppose -4*s + 10 = 4*k - 14, 0 = 2*k + 4*s - 16. Solve -5 = 2*z + k*f - f, 3*z + 2*f = -5 for z.
-1
Suppose -4*z - 5 = 5*v, -7*v = z - 6*v + 1. Solve -5*s - 2*n - 33 = z, n - 1 + 5 = 0 for s.
-5
Suppose f + 48 = 3*f. Let o be (5 - 5) + 20*2. Suppose -2*t + 25 = 2*t + r, -3*t + o = 5*r. Solve -t*p = -2*q - 12, 0*q - f = -4*q - 2*p for q.
4
Let n be (-92)/(-28) - (-7)/((-49)/2). Solve -n*p + 3*w = -15, -2*p - 2 = 3*w + 3 for p.
2
Let s = -164 + 173. Solve s = z - g, 0 = 3*z - 5*g + g - 31 for z.
5
Let i(d) = 4*d**2 + 9*d**3 + 0*d**2 - 7*d**2 - 7*d**3. Let s be i(2). Solve 15 = -s*a + 3*q, 4*q + 7 = -4*a - 1 for a.
-3
Let k be 2/10 + 161/(-5). Let r be (-3)/(33/(-398)) - (-4)/(-22). Let p = r + k. Solve -z + 8 = h - 0*h, 0 = -2*h + z + p for h.
4
Suppose 0 = 101*r - 98*r - 12. Solve -5*y = -2*m + 17, 4*m - r*y + 7 = 23 for m.
1
Let t be (0 - (1 - 1)) + 4. Suppose -5*f + 1 = -y, -t*f - 5*y = -0*y + 5. Let h be (8 - (0 - -8))*(0 + 1). Solve 4*w + 14 = 5*m, 4*m - 8 + h = f for w.
-1
Let b(p) = -p**2 - 23*p + 16. Let i be b(-23). Solve j = -0*j, 4*d + 4*j = -i for d.
-4
Let v be (-2)/(-8) - 15/(-4). Let j = -123 - -123. Solve j = 5*b - v*m, 3*m - 3 = -b - 22 for b.
-4
Let a = 283 - 279. Solve -1 = -w + t - 2*t, t = -2*w + a for w.
3
Let y be (1/((-6)/(-10)))/(53/159). Let t(z) = -7*z + 38. Let i be t(y). Solve i*h - 5*a + 5 = 0, -h + 21 = -4*h - 3*a for h.
-5
Let d be 4/(-1) + 408/24. Solve 0 = u - 5*v + d, 5*u + 4*v - 10 = 12 for u.
2
Suppose -3*l = -3*g - 3, 5*g = -l + 11 + 2. Solve 3 = -v, -2*d - d + l*v = 0 for d.
-3
Let b(y) = -y**3 + 8*y**2 - 4*y. Let j be b(3). Let z be -4 - (4 - (-4 + j)). Suppose 18*r = z*r - 9. Solve r*o + 2*o = -10, -22 = -4*d + o for d.
5
Let f = 14 + 14. Suppose -3*i = 3*y - 24, 5*y - f = i - 6. Suppose 17 = 2*g - r - 10, 0 = 3*g - 3*r - 48. Solve t - g = -4*o, -y*o + 0*t - 5*t + 25 = 0 for o.
2
Let h(u) = -2*u**3 + 43*u**2 + 27*u - 103. Let r be h(22). Solve w = -c + 5*c + r, 5*w - 19 = 4*c for w.
3
Suppose -19*p + 21*p = 12. Let v be p/15 - -2*46/20. Solve 3*c + 3*h - 27 = 0, c = -v*h + 2*h + 17 for c.
5
Suppose -5*z = 8*w - 9*w + 28, -4*z - 5 = 5*w. Solve -3*u + w*g = -3, 5*g - 1 = -4*u + 6*g for u.
0
Let d = 10 + -10. Suppose -79 = -5*v + 4*c, 3*v = -d*v + 4*c + 49. Suppose -3*q = -2*q. Solve 2*z = q, 2*z - v = 5*y + 7*z for y.
-3
Let g be ((-14)/63)/((-2)/162). Solve -2*c + g = -5*b, -b + 14 = 2*c - 5*b for c.
-1
Suppose -i = 4*a + 3*i - 116, -146 = -5*a - 4*i. Suppose 4*k - 14 = a. Suppose 3*r = -6, -r = l + 2 - 4. Solve -l*t = -t - h + k, 3*h + 17 = -t for t.
-5
Let x(d) = d**3 - 2*d**2 + d - 3. Let b be x(3). Suppose 2*v - 17 = 5. Solve 0 = -4*i - 4*f + b + v, -20 = -2*i - 4*f for i.
0
Suppose 0 = -2*d + c - 1, -4*d + 2*c = -c + 5. Suppose h - 13 = 5*x + d, -h + x = -6. Solve 3*i + h = -i + n, -4*i = 2*n + 4 for i.
-1
Let c be -2 - -4 - (-1 + 0). Let w = 160 + -93. Suppose -w*v + 132 = -63*v. Solve -2*t + v = 5*u, c*t - 27 = -u - 2*u for u.
5
Let j = 0 - -2. Suppose -j*v = l - 9, 0 = v - 5*v + 8. Suppose 6 = -4*m + l*m. Solve -5*z + x + 9 = -m, 0 = x for z.
3
Let x(q) = 3*q - 63. Let y be x(21). Solve 5*g = -2*r - 13, y = -r + 4*r + 12 for g.
-1
Let l(o) = o**3 - 9*o**2 + 9*o - 6. Let b be l(8). Let f be (b - -1) + 0 - -1. Let k = -51 - -54. Solve f*m + k = -4*i - 25, 0 = -3*m + 5*i + 11 for m.
-3
Let z be -1*(32 + -4)/(-4) - (4 + 0). Let m be (-1 + 4)/(-2 - -3). Solve -z*p + 7 = -8*p - 3*d, 0 = m*d - 3 for p.
-2
Let d(z) = z**3 + 2*z**2 - 1. Let y be d(-1). Let w = -16 - -16. Suppose m + 0*m - 3 = w. Solve 2 = -3*r + r, m*u - 4*r - 10 = y for u.
2
Let r = 20 + -24. Let l be 4*1 + r + 8 + 2. Solve -2*y - 3*c = -7*y + 25, 4*c = -5*y - l for y.
2
Suppose -3*v - 2*v - 4*h + 34 = 0, -4*v + 4*h + 20 = 0. Solve 8 = 3*c - 5*t - v, 3*c + 2*t + 14 = 0 for c.
-2
Let k = 2245 + -2213. Solve -17 = d - 4*n, 5*d - k = d - 4*n for d.
3
Let n(l) be the first derivative of -1/4*l**4 - 11/3*l**3 + 9*l - 10 - 5*l**2. Let f be n(-10). Solve -5*j - 2*u + 6*u = -17, 0 = 3*j - 2*u - f for j.
1
Let w(f) = 2*f**2 - 8*f + 9. Let z be w(3). Suppose 9 = 3*t, -t + 27 = z*o + 9. Solve 5*v - d = -o*d - 1, -v - 9 = 3*d for v.
3
Let s be 35/(-6) - (-9)/(-54). Let h be -2 + 2 + (s - -8). Suppose 2*a - a = 3*v + 18, -h*a = -v - 11. Solve 3*n = a*o - 2*n + 13, -15 = -3*n for o.
4
Suppose 9*p = -24 + 6. Let u be (-10 - -2)*p/4. Solve -u*m = -3*m - 4, -2*m - 7 = 5*f for f.
-3
Let h(g) = g**2 + 10*g + 5. Let c be h(-10). Solve 4*m - c*m = 5*s - 21, -4*m - 2*s = 6 for m.
-4
Suppose 3*y + 2*y - 10 = 0. Let k(w) = w - 2. Let b be k(y). Suppose -3*c + 16 = c + 4*n, 5*n = b. Solve -2*i + c = -4*v - 0*i, 2*i = 0 for v.
-1
Let b be 187/9 + (-50)/(-225). Solve -5*c = -4*l - b, -c + 1 = -0 for l.
-4
Let b = 441 - 438. Solve 3*t - l - 9 - b = 0, -2*l = -t - 1 for t.
5
Suppose -121*x - 12 = -127*x. Solve -3*s = -1 - x, -s - 3 = 2*k for k.
-2
Suppose 250*o - 249*o - 2 = 0. Solve 0 = 5*v - 3*p + 25, 5*p - 2 = o*v + 8 for v.
-5
Suppose -76 = -28*w + 64. Solve w*p = -3*o + 1 + 3, -4*o = -p + 10 for p.
2
Let q(w) = -3*w**2 + 138*w + 145. Let s be q(47). Solve 6*a - 4*a = -s*f - 8, -5*a = 0 for f.
-2
Let m(i) = 2*i + 4*i - 8*i + 14. Let w be m(7). Solve -16 = -3*v + 4*j + 11, w = j + 3 for v.
5
Let u(k) = k**3 + 22*k**2 + 10*k - 226. Let d be u(-21). Solve 0 = -d*p + p - y - 6, y - 4 = p for p.
-2
Let b = -566 - -568. Solve -4*h + 4*q - q = -29, 3*h - 9 = -b*q for h.
5
Suppose -6*k = -103 + 19. Suppose -k*l + 9 = -11*l. Solve -5*u = 5*f, u - 2 = l*f + 6 for f.
-2
Suppose 42*m + 9 = 45*m. Solve 0 = 4*t + 2*o - 6, -m = -0*t - t + o for t.
2
Suppose -y + 11 = 7. Let q = y + -2. Suppose 8 = q*p + 2*p. Solve 3*f + 2*f - 5*z = 20, 2*z - p = 0 for f.
5
Let q(b) = -8*b. Let i be q(-2). Let j = -1095 - -1100. Solve 5*y + c = -i, 5*y - 1 + 11 = j*c for y.
-3
Let y = -5 + 