23 = -3*x for x.
-1
Let o(w) = 10*w + 72. Let u be o(-7). Suppose u*h + 60 = 7*h. Solve n + 4*g = h + 5, -10 = n - 5*g for n.
5
Suppose -7*h - 3*i + 5 = -2*h, h - i = 9. Suppose 3*t - 2*o - 59 = -20, -2*t - h*o = -10. Solve -2*d + f = -t, -5*d + 26 = -4*f + 2*f for d.
4
Suppose l = -3*l. Let v(z) = 50*z - 505. Let c(o) = 7*o - 72. Let r(a) = 20*c(a) - 3*v(a). Let g be r(7). Solve l = -n + 3, i + 0*n - g = -3*n for i.
-4
Let j be -3 + 2 + -3 + 1 + 16. Let c be 111/39 - (-2)/j. Suppose -4*b - 2*v + 2 = 0, -4*v - 5 = c*b + 6. Solve -b = 5*i - 2*y - 34, 0 = 4*i - 4*y - 32 for i.
5
Let a(y) = -36*y - 180. Let z be a(16). Let p be z/(-399) + 4/38. Solve -p*i - 3 = -c, 6 = -4*i - 2 for c.
-1
Let k(n) = 101*n + 116. Let j be k(-5). Let b = j - -389. Solve -2*p - s - 12 = b, p - s = -0*s for p.
-4
Let t(m) be the second derivative of m**4/12 + 11*m**3/3 - 25*m**2 - 4*m. Let f be t(-24). Let l = f - -4. Solve -4*q + 8 = -3*g, -3*q = -4*q + l*g + 2 for q.
2
Let f(l) = -2*l**3 - 3*l**2 - 3*l - 7. Let v be f(-3). Suppose -v = -7*c + 20. Solve -3*o - 5*m = -10*m + c, m - 4 = -2*o for o.
1
Suppose 163*t = 48*t. Let x(w) = 8*w - 1. Let y(g) = g. Let q(m) = x(m) - 3*y(m). Let b be q(1). Solve p - 4 = -t*p, 0 = b*f + p for f.
-1
Let k(o) be the first derivative of o**4/4 - o**3/3 - 4*o**2 + 16*o + 103. Let w be k(2). Solve 16 = -w*q + 5*p, -q - 2*p - 20 = 4*q for q.
-4
Suppose -4*g + 92 - 2 = 5*o, g + 4*o = 39. Solve -5*a - z + g = 0, 4*a + 5*z - 8 - 4 = 0 for a.
3
Let a(g) = g**3 - 79*g**2 + 73*g + 394. Let m be a(78). Solve -4*n - 2*p = 0, 0 = 2*n - 4*n - 3*p - m for n.
1
Let m be ((-2)/8)/(52/(-624)) + -1 + -2. Solve -28*k + 33*k - 3*x + 32 = 0, -4*k + 4*x - 24 = m for k.
-7
Let o(h) = -14*h**2 + 28*h**2 + 443*h - 466*h - h**3. Let y be o(12). Solve -4*x = -q - 14, 18 = 5*x + 5*q - y for x.
4
Suppose 3*n + 10 = 5*n. Let i be 256*1/(-3)*(-33)/(-22). Let c = 133 + i. Solve -5*p = v + 5, 0 = 6*v - n*v + 3*p + c for v.
-5
Let a be (20/6)/((-104)/(-468)). Suppose -4*t = -2*u - 6, 4*u - 27 = -a*t + 10*t. Solve 0 = 4*c + 4*z + 40, -t*z - 31 = 5*c + 9 for c.
-5
Let l = -4 + 8. Let g = l + 0. Let j(c) = -2*c**2 + 95*c - 222. Let t be j(45). Solve -u - 2*p + g*p - 8 = 0, 0 = t*u - 4*p + 20 for u.
-4
Suppose 0 = -2*s + 2*d + 10, 43*d = -5*s + 38*d + 35. Let x = 232 - 229. Solve 0 = s*t - t - 5*b - 15, 4*b - 2 = -x*t for t.
2
Suppose 0 = l - 2*x - 76, 4*l + 2*x = -0*x + 294. Let q = l - 71. Suppose -4*m - 4 = 3*k - 5*k, -q*m + 5*k = 10. Solve c = -3*a - m*a + 17, c = 3*a - 13 for a.
5
Suppose -5*s + 4*s + 3 = 0. Let k = 221 + -383. Let d = -157 - k. Solve -h = -d*w - 13, -4*h + s*w + 15 = -h for h.
3
Suppose 0 = -6*v + 124 - 544. Let t = 90 + v. Suppose 4*m = t - 8. Solve -2*b = 5*j - 25, -m*j + 9 = 2*b - 6 for j.
5
Let p(k) = 3*k - 28. Let d be p(9). Let s(b) = 15*b + 17. Let m be s(d). Solve 6*z + 1 = -3*y + m*z, 8 = -2*z for y.
5
Let c(z) = -2*z + 51. Let p(o) = o**2 - 5*o - 12. Let x be p(-4). Let h be c(x). Solve h = -3*f + a - 10, -4*f + 4*a = 20 for f.
-4
Let p(j) = j**2 - 3*j - 7. Suppose 0 = -2*z - 0 + 4. Suppose 3*m + 5*a = 15, -m - 2*m + z*a + 15 = 0. Let o be p(m). Solve 12 = 4*x, 0 = o*q + x + 2*x for q.
-3
Suppose 0 = -4*n + h + 13, -196 = 2*h - 202. Solve -n*d = 5*c - 45, -13*c + 16*c = -4*d + 35 for c.
5
Let b be -18*125/20*(-28)/10. Let h = b + -313. Solve -z = 3*q - h*q, -2*q + 6 = -4*z for z.
-1
Suppose 23 = -c - 5*n + 55, 2*c + 6 = 4*n. Let q be ((-3)/21)/(2/4) - (-30)/7. Solve -q*m - c = -5*u, 10 + 0 = -4*m + 2*u for m.
-3
Let t = 35002 - 34965. Solve -q - t*x + 32*x = -19, -3*x = -12 for q.
-1
Let i(n) = -n**2 - 18*n - 69. Let u be i(-11). Suppose -10*k + u = -12. Solve 4*l = -0*p - k*p - 4, 0 = -5*l for p.
-2
Let o(h) = -10*h + 50. Let g be o(5). Solve 0 = -a + 3*z - 8, 4*z - 11 = -g*a + a for a.
1
Let j(r) = -4*r**3 + 9*r**2 - 1. Let t be j(1). Solve 5*d + 11 = t*z - 22, 2*z = 7*d + 39 for z.
2
Suppose -9*t + 2 = -10*t. Let p be (3 - -1)/(-2) - t. Suppose -3*l + 4*l - 3 = p. Solve 3*b + 27 + 3 = -3*u, -3*b + l*u = 0 for b.
-5
Suppose 3 = -x + 6. Suppose x = 13*c - 12*c. Suppose -c*l + 5 = -2*l. Solve 5*h + 5*o = l, h + 0 + 2 = -4*o for h.
2
Suppose f - 783 = -5*r + r, 2*r - 405 = -5*f. Let c = -191 + r. Solve 0 = -5*b + 4*m - 2, 9*b - c*b + 3*m - 19 = 0 for b.
2
Suppose 557*a = -1165*a + 10656 + 11730. Let x(z) = z**3 + 6*z**2 + z + 8. Let p be x(-6). Let w be -2 + 3 - p/2. Solve -v + 2 = -4*j, 3*j + w = -5*v - a for j.
-1
Suppose 0*g - 10 = -2*g. Suppose u = -3*j - j + 5, g = -5*j - 5*u. Let z = -1432 - -1434. Solve -7 = -j*b - 3*k, 0 = -3*k - 1 - z for b.
5
Suppose -5*x + b + 13 = -3*x, -11 = x + 3*b. Let p(w) = 5*w - 20. Let l be p(x). Solve -5*r = -10, -4*r + 11 = -3*k - l*r for k.
-1
Suppose 0 = 5*m - 234 + 224. Solve -2*d + 3 = 5*j - 10, 5*d - 1 = -m*j for j.
3
Suppose 2*t + 2*t + 4*k = 16, 5*t - 18 = -3*k. Let u = -1 - -5. Solve -d + t*d + 19 = 3*w, u*d + 8 = 0 for w.
5
Suppose 14*m = 5*m + 18. Solve 0 = -m*x - i + 52 - 45, 4*x - 11 = i for x.
3
Let w be (180/(-27))/((-1)/(9/2)). Let a = 34 - w. Let s(t) = -t**2 + 2*t + 13. Let k be s(a). Solve -3*p - 5*q - 13 = 7, -4*p = k*q + 25 for p.
-5
Let g = 124 + -213. Let b = g - -32. Let c = b - -59. Solve 4*x + 4 = -2*h, -c*x = 4 - 2 for h.
0
Let r be (1/(-17))/(188/(-6392)). Solve -5*h + 82 = r*t + 109, 5*t = h for h.
-5
Suppose 0 = 22*q - 10 - 12. Let a be q/4 - 11/44. Solve 0 = -2*w - 5*z - 14, -2*z + a*z = 5*w + 14 for w.
-2
Let d be (216/(-81))/((-4)/(-6))*(-6)/6. Solve -4*o + 20 = -4*b, o = d*o + 4*b + 13 for o.
1
Let f(b) = -b + 10*b + 5623 - 5621. Let z be (2 - (3 - -1))/(-1). Let k be f(z). Solve 0 = 4*q - k, n + n + q - 5 = 0 for n.
0
Suppose y - 4*a - 165 = 0, -2*y = a + 59 - 344. Let t = y - 143. Let m be (-3 + 12/8)*-6. Solve 5*p = -t*b - m, b = 2*p + p + 12 for b.
3
Let i be (-22)/(-3) - 1/3. Let f be ((-81)/18 - -4)*38/(-1). Suppose 602 + f = 23*z. Solve -13 = -3*b - 5*g, i*b + z = 4*b + 3*g for b.
-4
Let v be (((-3)/1)/3)/(11/(-341)). Suppose 0 = -29*r + v*r. Solve 2*i + 28 = -i - 4*p, -3*i - 2*p - 20 = r for i.
-4
Suppose 1066 = -42*h + 29*h. Let s(a) = 8*a**2 + 6*a - 5. Let w be s(3). Let l = w + h. Solve -3*o - 3 = -2*j + j, -j = 5*o - l for j.
3
Let b(q) = 19*q - 95. Let x be b(5). Let y(h) = h**3 + 10*h + 3. Let j be y(x). Solve -4*t + j*o = -23, 2 + 13 = -3*o for t.
2
Let n(p) = 15*p - 1630. Let a be n(109). Solve 0 = 5*t + 4*f + f + 15, -a*t - 2*f = 0 for t.
2
Suppose 0 = -4*d + h + 3, -5*d + 3*h = -2 - 7. Solve -4*b = -5*b + 2*m + 11, -4*b + 5*m + 35 = d for b.
5
Let o(h) be the first derivative of -h**2/2 - 5*h - 3. Let b be o(-7). Suppose -36*u + 186 = -5*u. Solve u*l - b*l + 3*n = 6, -5*l + 5*n = 10 for l.
0
Let d(u) = -562*u + 3377. Let g be d(6). Solve -g*c - 2*n = -35, 4*c - 2*n = -11 + 21 for c.
5
Let c(f) = -f**2 + 14*f + 12. Let z be c(15). Let y be (4/10)/(z/(-210)). Let m = y + -16. Solve -2*u = -6*u - 16, -2*a - m = 2*u for a.
-2
Suppose -41*b + 46*b = 5. Let h be (-4)/(b/1) - 8/(-1). Solve v = 2, -h*p - 4*v - 4 = -0*p for p.
-3
Let r be 175/(-15)*(-39)/91. Suppose -4*d + 24 = -5*s + 6, -d + 3 = -2*s. Suppose r = -h + d. Solve h*m - 5*i + 15 = 0, -3*m - i + 3 = -8*m for m.
0
Suppose -369 + 74 = g. Let o = 299 + g. Solve 4*i = -5*v - 0*i + 33, -3 = v - o*i for v.
5
Suppose 2*a = z - 18 - 255, -z - 1 = 0. Let c = 217 + a. Let d = c - 80. Solve d = -4*u - 2*v, -4*u = 4*v + v + 6 for u.
1
Let x be -1*(3/(-9))/((-3)/45). Let w be (-1)/(-5 - ((-4)/(-8) + x)). Solve -5*u - 10 - 19 = 4*g, w*u = -3*g - 13 for g.
-1
Suppose -2*r + 4 = -2*x, 5*r - x = 6 + 8. Suppose b + 8*b - 1926 = 0. Let t = b - 202. Solve 7 + 4 = -5*m - 2*o, -r*m + 5*o = -t for m.
-1
Let d = 7 - -2. Suppose 35*k = -84 + 224. Solve 5*w - d = -4*q, -k*w + 5 = 5*q - 4*q for w.
1
Let i be (-4)/(-14) + (-108)/(-14). Suppose -26*p + 4*o + 98 = -24*p, 4*o - 12 = 0. Suppose -i*n = 3*n - p. Solve -2*v = h - n, 0 = -v + 5*h + 1 - 4 for v.
2
Let u(q) = q**2 - 5*q - 2. Let a(r) = -46 - 3*r + 22 + 4*r**2 + 20. Let j be a(2). Let g be u(j). Solve g*y = -5*h + 36, 9*y - 24 = -2*h + 5*y for h.
4
Let k(h) = -12*h**3 + h**2 + 2*h. Let r be (-45)/50 - 3/(2 - -28). Let q be k(r). Solve 0 = 5*t, q = 5*j + 3*t + 26 for j.
-3
Suppose -2*n = 24*h - 19*h - 24, -3*n - 4*h = -22. Suppose m + 19 = 5*m + q, 0 = -5*q + 15. So