ose -225 = -30*b - a*b. Solve -b*z = m + 6 + 5, 21 = 3*m - 3*z for m.
4
Let l be -36 + 42 - (1 - 0/2). Solve p = -l*q + 12, 4*p - p - 3*q = -18 for p.
-3
Let l(s) = 17*s - 208. Let x be l(13). Suppose 0 = -5*n + 10, -f = 3*n - 13 - x. Solve 4*o = 3*w - 15, 2*o + f = 4*o + 4*w for o.
0
Let j = -681 + 684. Suppose -k = -h + 7, -j*h + 4*k + 14 + 12 = 0. Solve -2*w - h*y - 8 = 0, -2*y - 12 = 5*w - y for w.
-2
Let l = 20787 - 20783. Solve l*u - 5*s - 5 = 12, 0 = -4*s - 4 for u.
3
Let v(p) be the first derivative of 5*p**4/4 - p**2 + p - 51. Let k be v(1). Solve -4*w + 4*g = -8*w + 4, 0 = 4*w - k*g - 36 for w.
5
Let c = -804 - -820. Solve -2*p + 5*n = 20, -p + c = -2*p + 4*n for p.
0
Suppose 0 = 5*r + 4 + 36. Let z(l) = l + 12. Let m be z(r). Let s be (-7 + m + -4)*(-2)/7. Solve 4 = -3*y + 2*b, 5*b + 6 = 3*y - s for y.
-4
Let x be (-34 + 12)*(-2)/11. Solve -x*w + 2 = 10, w + 22 = -5*u for u.
-4
Let l = -19574 - -19579. Solve -19 = -2*x + l*g, -3*x + 3*g + 11 = -2*x for x.
2
Let i = 16 + -95. Let s = i - -112. Suppose -4*x + 108 = 4*b, 3*b - 4*b + s = -x. Solve 5*o = 3*g - 5*g + b, 3*o - 27 = -3*g for o.
4
Let w = -43 + 47. Suppose w = -21*j + 88. Solve 0 = 5*h - 3*h - u - 5, -3*h = j*u - 35 for h.
5
Suppose 637*g - 229*g - 2030 = 10. Solve -8*a - g*x + 36 = -10*a, -4*a + 18 = 5*x for a.
-3
Let v = 923 - 921. Solve -q + v + 0 = -4*z, -z = 0 for q.
2
Suppose 150*v - 494 = 616 + 390. Solve -4*d - h = 4, 8*h - 5 = 5*d + v*h for d.
-1
Let w(o) = -o. Let t be w(0). Let i(s) = 4*s + 55. Let j be i(t). Let r = j + -28. Solve v = 3 - 5, -5*d + v + r = 0 for d.
5
Suppose -4*d - 15 = d + 5*l, 2*l = -6. Let n = -70 - -73. Let v(p) = -60*p - 78. Let x be v(-2). Solve d = 5*g - 2*z + x - 15, n = 3*z for g.
-5
Let s = 631 + -579. Suppose -7*q - s = -115. Solve -q = 4*u - u, -u = -5*j - 12 for j.
-3
Suppose -4*p + x = 2, 2 = p + 2*x - 2. Solve 2*f + y + 14 = p, 0 = -f + 2*f + 5*y + 25 for f.
-5
Let b(u) = -132*u - 388. Let g be b(-3). Solve -4*h + g = -3*s, -5*h + s - 4*s + 10 = 0 for h.
2
Let q be 8 + -15 + (16 - 5). Suppose -10*s + 30 - 10 = 0. Solve -z = -3*y - s, -13 - 7 = -q*z for y.
1
Suppose -3*m + 9*c - 13*c = -43, -3*c + 16 = -m. Solve 0 = 4*d, -m*j - 3*d + 11 = 1 for j.
2
Let u(z) = -z**2 - 35*z - 300. Let m be u(-20). Solve l - 2*f + 3 = m, -3*l + 0*f = -5*f + 5 for l.
5
Let k(i) be the first derivative of -5*i + 8*i**2 + 1/4*i**4 + 27 + 3*i**3. Let m be k(-6). Solve 0 = -4*t - 4*y - 20, t - 3*y = -6*y - m for t.
-4
Let s(k) = 27*k - 112. Let h be (1/2)/(5/50). Let f be s(h). Solve -4*p - 3*d + f = 0, 2*p + 1 + 10 = 3*d for p.
2
Suppose -2*v = 3*p - 6, v = -4*p + 659 - 656. Solve -5*m - 33*u + 29*u = -15, 0 = v*m - 5*u + 28 for m.
-1
Let o = -146 + 151. Suppose 3*l = 4*s - 12, -5*s + 5*l - l = -16. Solve 0*t = -o*t + 5*x - 20, s = 3*t + x + 16 for t.
-5
Let u be 38/4 + (-15)/30. Let i be 28/126 - ((-80)/u)/5. Solve -4*y = 16, 2*y + 31 = 5*r - i*y for r.
3
Suppose 2*x + 2*x + 93 = j, 4*x + 2*j = -102. Suppose s + 4 = 0, m - s + 2*s = 22. Let q = x + m. Solve 0 = -2*d + 4*b + 24, -6*d + q*d - 2 = 2*b for d.
2
Suppose -33*i = 11*i - 704. Solve 0 = -5*f + 2*s - 0 + i, -1 = -5*f - 3*s for f.
2
Let h(y) = 13*y**3 + 3*y**2 - 3*y + 2. Let g be h(1). Suppose 0 = -30*z + 25*z + g. Solve -3*s = t - 1, 8*t - 3*t = z*s + 5 for t.
1
Suppose 3*b + b - 20 = 0. Suppose 0 = -122*r + 120*r + 2*x, -3*r + 2*x + 5 = 0. Solve m + 11 = 2*c - b*c, 9 = 3*m - r*c for m.
-2
Let q(n) = 2*n + 34. Let t be q(-15). Suppose 2*v - 4*v + 50 = t*p, 45 = 4*p + v. Solve -2*y - 25 = -3*b, -b - y = -2*b + p for b.
5
Suppose -z + 2 = -2*z, 3*z + 3 = -q. Let l = 1912 + -1911. Let w = 3 + -3. Solve q*y = -1 - 2, w = -c - 4*y + l for c.
5
Suppose -20*p + 92 + 128 = 0. Solve 2*l = -4, -u = 2*l - 3 + p for u.
-4
Let q = -293 - -305. Solve -q = -5*d - 4*m + 1, -8 = -4*m for d.
1
Let k(g) = g**3 - 8*g**2 + 10*g - 17. Let y be k(7). Let j = -28 + 30. Suppose 5 + 1 = 2*d, -2*h + j*d = -12. Solve -y*r - h = b, -3*r - 4*b - 27 = -4 for r.
-1
Let y = 55 + 126. Let i = -179 + y. Solve 17 = -x + 3*s, -12 - 4 = 3*x - i*s for x.
-2
Let b(u) = u**2 + 285*u + 2489. Let w be b(-9). Solve -3*k = -w*t - 20, 4*k - 2*t + 0*t = 22 for k.
5
Suppose 0 = 62*v + 2183 - 3175. Solve -y - 3*k + 301 - 284 = 0, 4*y - k = v for y.
5
Suppose 0 = 2*f - 2*d - 4, -41 = -3*f + 5*d - 35. Solve -3*q + 6 = f*s - 5*s, -4*q = -2*s for s.
-4
Let o = -3321 + 3323. Solve -3*s - 3*x = 3, s + 0*s + o*x = -2 for s.
0
Let m(l) = -l**3 - 6*l**2 - 6*l - 1. Let n be m(-5). Suppose 193*s - 44*s = -4*s + 1836. Solve -3*i + n - 11 = -4*b, -s = -4*i for b.
4
Let o(n) = n**2 - 20*n - 181. Let b be o(27). Suppose 3*j = -i + 62 + b, 102 = 4*j - 3*i. Solve 3*x - 21 = -2*h, 5*x - 13 = -4*h + j for h.
3
Suppose 2*i + 36 = 6*v, i + 43*v - 41*v = 17. Solve 0 = p + a, -14 = -p + i*a - 2 for p.
3
Suppose 0 = 49*j - 53*j - b + 17, j + 2*b = 13. Let v be 2/3 + 40/3. Solve -c - 2*l = 3*c + v, 14 = c - j*l for c.
-1
Suppose 0*q = -2*l + 2*q - 100, l + 45 = 2*q. Let s = l - -16. Let a = s - -51. Solve -2*f = -4*y - 0*y - a, 5*y = 2*f - 13 for y.
-1
Suppose 4*m + 16 = -4*c - 16, 0 = 2*c - m + 10. Let u be 5/5 + (c - -10). Solve 4*n - 37 = u*v, -2*v + 2*n + 3*n = 25 for v.
-5
Suppose -11 = -4*s - 7. Suppose -s = -9*u - 37. Let d be (4/u)/2*-4. Solve d*t - t + c + 3 = 0, t = -4*c - 12 for t.
0
Let t = 99 + -89. Let n = t + -5. Suppose -2*d = -3*w + 58, -6*w + 3*w - d + 43 = 0. Solve 3*l = -0*u - u - w, -36 = 4*l + n*u for l.
-4
Let w(j) = 32*j + 1. Let l be w(-2). Let m be -1 - (-9)/(l/(-28)). Solve -i + 3 = 2*y - 0*i, -3*i - m = 0 for y.
2
Let w(z) = -z**3 + 4*z**2 + 2*z - 6. Let k be w(4). Suppose -6 = -3*r - 49*p + 52*p, -p = -4*r + 14. Let u = 50 - 37. Solve -r*h + u = -k*h + v, -v = -3 for h.
5
Suppose -j = -0*j + 2*y + 21, -y + 57 = -4*j. Let z be j*(2 + (-65)/25). Suppose -z = -2*i + 7. Solve 5*m + 3*a + 0*a = -i, a = -2*m - 3 for m.
-1
Let l(a) = 9*a - 202. Let g be l(0). Let z = g + 217. Solve 0 = 2*h + 3*s - z + 2, 1 = s for h.
5
Let g be (1/20)/((-50)/(-400)) + 66/10. Solve 5*z + 22 = 4*o, -6*o - 4*z = -o - g for o.
3
Suppose 57 = 3*k - 4*q, -2*k + 1685*q = 1689*q + 42. Let i be (-1)/(-3)*(-6)/(-2). Solve -2*p - i = -5*n, 2*p - 15 = -5*n - k*p for n.
1
Suppose 182*v - 549 = -v. Solve -3*r + 3*f - 1 = 2, -v*r - 2*f + 22 = 0 for r.
4
Let w(l) be the first derivative of l**2/2 + 2*l - 4. Let p be w(-2). Solve f + 4*f + 11 = 3*m, p = 4*m - 8 for f.
-1
Let c(q) = -q - 2. Let r be c(18). Let s be 1 + 28/r + 44/10. Suppose 2*w = 5*i + 10, -3*w + 15 = -0*w - 3*i. Solve -s*m - 12 = 0, -h + w*m + 35 = -5*h for h.
-5
Let s(p) be the first derivative of -p**2 - 72*p - 8. Let w be s(0). Let c be w/(-14) + -1 + (-12)/(-14). Solve -11 + 3 = 4*d - 3*v, 0 = -2*d + c*v - 4 for d.
-2
Suppose -2*m = 5*m - 28. Solve 0 = -v + m*v - i + 1, -15 = -5*v + 5*i for v.
-2
Let g = 5 + -1. Suppose -a - 12 = -5*a. Suppose -2*i + 13*y - 14*y = -17, 56 = 5*i + 4*y. Solve 9*z - i*z = -a*o, 0 = 2*z - g*o for z.
0
Suppose -2*g + 5*g + 4*g = -12*g. Solve -2*o - h + 8 = -g*o, h = 4 for o.
2
Let k be -1 + (-4 - (-4 + 1))*7. Let f be 0 + -1 + (-1 - (k - -4)). Suppose -4*s + f*s = 0. Solve s = 2*x + d + 6 - 3, 4*x + 41 = 5*d for x.
-4
Let a(i) = 36*i - 466. Let x be a(13). Solve -5*c - 17 = -6*c - 5*u, -x*u + 10 = 2*c for c.
2
Suppose 0 = 89*s - 87*s + 2*q - 16, q = 5. Solve -1 = m, o - s*m = -0*m + 6 for o.
3
Suppose 40 = -13*s + 33*s. Let q be (4/5)/(16/40). Suppose -6*w + 11*w - 115 = 0. Solve -w = 2*i + 2*i + j, q*j + 16 = -s*i for i.
-5
Suppose 5*b + 10 = 5*k, 4*k - 5*b - 7 + 2 = 0. Let y(t) = -t**2 + 8*t - 14. Let f = 135 - 131. Let i be y(f). Solve -13 = k*o + 2*r, 3*o + i*r + 6 = -r for o.
-3
Suppose 11*l - 15*l - 5*r = -93, 0 = -2*l + 4*r + 40. Suppose -l*q + 14*q = -48. Solve 3*g = 3*x - 3, 3*x + 4*g - 4 = q for x.
2
Let y = 23023 + -23002. Solve -y*j + 4*n = -25*j - 4, 3*j - 4*n + 3 = 0 for j.
-1
Let u(p) = 5*p**2 - 42*p - 23. Let m be u(9). Solve 5*v = -15, -m*h = -19*v + 14*v + 5 for h.
-5
Let b = 414 + -393. Suppose -8*l = b*l - 87. Solve -5*g + l*n - 2*n + 16 = 0, g + n = 2 for g.
3
Suppose -v = -6*v + 15. Suppose -x + 2*g = -3*x + 36, 5*x = 2*g + 62. Suppose v*d + d - 35 = 5*u, d = 3*u + x. Solve -3 = -3*k + d*b, -4*b = 11 + 1 for k.
-4
Let w be (-3 + 1 + 0)/((-2)/20). Suppose x