+ f, 5*f = -2*x - 0*f + 3 for x.
4
Let s(i) = -23*i**2 + i + 2. Let u be s(-1). Let r = u - -27. Let o(m) = -m**2 + 10*m - 22. Let a be o(5). Solve -1 = 5*g - 3*g - r*c, -5*c + a = -g for g.
2
Suppose 11 + 19 = 3*m. Solve -m = -2*b, 5*b - 1 = 4*w + 32 for w.
-2
Let f(u) = 29*u + 15. Let k(i) = 35*i + 15. Let v(x) = -6*f(x) + 5*k(x). Let a be v(24). Suppose 0*c - 3 = -c. Solve 4*l = -2*b - 20, c*b + l + 1 = -a for b.
-2
Let t be 6/(-45) - (-1)/(15/2). Solve t*q - 10 = h + 2*q, -5*h - 2*q - 26 = 0 for h.
-4
Suppose 0 = -3*a + 663*h - 659*h + 29, -5*h = -35. Solve -410*b = -414*b + o + a, 4*b - 3*o = 17 for b.
5
Let s be ((-2)/(4/(-15)))/((-3)/(-130)). Let p = s + -323. Solve 0 = -p*l - 6, -3*l + 4*l = -2*f + 3 for f.
3
Let k(l) = l**2 - 108*l + 1502. Let o be k(16). Solve -14*r + 19*r - 3*y - o = 0, -18 = -3*r + 4*y for r.
6
Let m = 35491 - 35487. Solve 3*t = 5*i - 23 + 2, -m*t - 2 = 2*i for t.
-2
Suppose 0 = -4*z - 5*w + 176 + 1040, 2*w + 935 = 3*z. Suppose -37*q + z = -24. Solve 2*c = m, c - q = m - 5*m for c.
1
Suppose 7 = -3*d + 5*n, 5*n - 45 - 10 = -5*d. Suppose -d*w - 36 = -15*w. Solve -v + 2*j = j - 4, -16 = 2*v + w*j for v.
0
Suppose -9*k + 783 = 81. Suppose -60 = 9*i - k. Solve 0 = -3*p - 2*v + 1, 4*p + 1 = -i*v - 1 for p.
-3
Let d(a) = 39*a - 25*a - 15 - 20*a. Let g be d(-3). Solve -u + 5*v - 3*v - 4 = 0, 0 = g*u - v - 8 for u.
4
Let k(d) = -d**3 - 7*d**2 - 10*d + 5. Let x = -20 + 25. Suppose 29 = -x*c - 6*t + 2*t, t = -1. Let a be k(c). Solve 5*z - 15 = -a*j, -4*j - 5*z = -18 + 2 for j.
-1
Let a be (882/2646)/(-1 - 46/(-45)). Solve -4*y - a = -u, -4*u = -y + 5*y + 20 for y.
-4
Suppose -3*n = -1389 + 1386. Let x(q) = 4*q + 8. Let m be x(n). Solve 5*a + i - 3 = 5*i, -3*i + m = a for a.
3
Let v = -630 - -632. Let t = -7 - -3. Let o be v/((-18)/(-4) + t). Solve -2*b - 3*b + 2*s = -14, -5*b = 3*s - o for b.
2
Suppose b = -4*n - 1, -2*n - 3*b - 2 = 1. Suppose n = 4*t + 133 - 153. Solve -5*g = 2*i - 4*i - 31, 25 = 2*g - t*i for g.
5
Let g(s) = 43*s - 4898. Let h be g(114). Solve x = h*c - 10, 0*x - x + 5*c - 12 = 0 for x.
-2
Let m be (702/65 + -10)/(1/5). Solve 0*t + 2*r = m*t - 4, -5*t = 5*r - 20 for t.
2
Let r = 4296 + -4291. Solve 2*h + 8 = -5*n - 8, -25 = r*n + 5*h for n.
-2
Let b = -1290 - -1292. Let o(k) = 2*k**2 + 7. Let h(g) = g**2 + 4. Let n(a) = -11*h(a) + 6*o(a). Let d be n(-2). Solve z + 5*l + 3 = d, -b*z = -3*l - 11 for z.
4
Let r be (974 - 933) + 7 + -1*1. Solve 0 = v + r - 43, 4*v = t - 13 for t.
-3
Suppose 5*d = 2*d + 6. Suppose 0 = 5*a - d*n + 181, -5*a - 5*n = 203 - 43. Let g = a - -40. Solve -g*q + 2*t = -2*q + 12, -q = -t + 5 for q.
-2
Let i be (2078 + -2074)/((-3)/(54/(-8))). Solve i = -6*d + 7*d - y, -y = d + 3 for d.
3
Suppose 26*p = 282 - 100. Solve -2*b = 5*i + 21, 4*b + 11 = -2*i - p for b.
-3
Let i(l) = -l + 43. Let t be i(40). Solve -3*r = -4*s + t, -46*r + 16 = 3*s - 51*r for s.
-3
Let k = -1734 + 1734. Solve -4*w + 2*w + j - 4 = 0, 5*w + 2*j + 28 = k for w.
-4
Let c = 3414 - 3409. Solve -c*l = -v + 13, -4*v + 2*l + 13 = -v for v.
3
Let x(l) = -4*l**3 - 17*l**2 + 12*l - 13. Let r be x(-5). Solve 2 = s + r*t, -4*s - 5*t + 1 - 2 = 0 for s.
-4
Let p be ((-3)/(-2))/((-570)/84 - -7). Let o be 19/57*(p + 2). Solve 5 = -5*x - 5*a + o*a, -5*a + 3 = -3*x for x.
-1
Suppose 2*g - g - 6 = 0. Let w(u) = -u**3 + 5*u**2 - u - 9. Let q be w(4). Let x = -201 - -223. Solve q*k = -4*z - 0*k + x, -g = -3*k for z.
4
Let t = -1174 + 1174. Solve t = 4*g + 9*h - 4*h - 22, 0 = -3*g + h + 7 for g.
3
Let p(c) = -c**3 + 9*c**2 + 10*c + 32. Let t be p(10). Suppose 4*o - 5*u - t = -0*u, 4*u = -4*o - 4. Solve 3*x - 3*j = 0, 0 - 4 = x - o*j for x.
2
Let p = -265 + 312. Let z(h) = -8*h + 381. Let u be z(p). Solve -u*d - 2*g = 20, -4*g + 0*g = 0 for d.
-4
Let l = 926 - 1555. Let z = 632 + l. Solve z*h = y + 4*y + 11, -1 = 4*y - 5*h for y.
-4
Let d(y) = -y**3 - 27*y**2 + 46*y + 508. Let u be d(-28). Solve 5*m + 4*n + 17 = 0, -u*m + 12*n - 28 = 8*n for m.
-5
Suppose h - 9 = -3*l + 5, 12 = 4*l. Suppose 2*u - h = 3. Suppose -20*b = 42*b - 2 - 246. Solve 36 = -4*j + u*f, -3*j = -b*f + 22 + 10 for j.
-4
Suppose -10 = -4*o - 2*t, o + t + 10 = 2*o. Let s = -31 - -107. Let x be 57/s - (1 + (-18)/8). Solve -5*u - o = -x*j, 2*j - 4 = 7*u - 3*u for j.
0
Let a be (-77)/(-15) + 20/(-150). Suppose 0*j - a*j = 110. Let p = 26 + j. Solve -5*d + 12 = -3*r, 3*r = p*r - 4*d + 11 for r.
1
Suppose 0 = -7*q + 62 + 85. Let g(t) = -5*t**2 + 12*t**2 + 5 + 9*t**2 - q*t + 6*t**2 - t**3. Let l be g(21). Solve y + b + 10 = -4*y, 0 = -4*y + l*b + 21 for y.
-1
Let p = 42 + -36. Suppose -p*m - 14 = -26. Solve -5*t + 0*t = -m*z - 23, 0 = -3*t + 15 for z.
1
Let u = -8 + 11. Suppose 7*v = 16*v + 26*v. Suppose -u*t - 5*i = t + 12, v = -4*i - 16. Solve -13 = 3*j + t*s, -4*j - s - 14 = s for j.
-1
Suppose -205 - 1550 = -65*r. Solve 17*u = -3*f + 18*u + 12, 3*f + 4*u = r for f.
5
Let d(x) = 4*x**2 + 27*x - 5. Let q be d(-9). Suppose -q = 10*o - 276. Solve 2*r - 2*i + 10 = 0, 4*r - 2*i = -0*r - o for r.
-5
Let q be (8/(-24))/(5/30). Let w be q/6 - (-4)/(-6) - -3. Solve 2*f = -u + w + 5, -4*f + 32 = -4*u for f.
5
Let f = 883 - 1541. Let q = f + 661. Solve -2*u = -3*h + q*u, 3*u = 2*h - 1 for h.
5
Let x(y) = 10*y**2 + 38*y + 30. Let w be x(-1). Solve 0 = 101*s - 103*s + 5*c - 4, -w*s - 5*c + 16 = 0 for s.
3
Suppose 11*c - 201 - 39 = -20. Solve 0*y = y + 4*l + 19, 4*l = -c for y.
1
Let a(u) = -3*u**2 + 45*u - 101. Let o be a(12). Solve -2*y = -4*l - 15 + 5, o = -l + 2*y for l.
-1
Let l = 250 + -214. Suppose 6*k + l = 18*k. Solve -23 = -2*y - 5*a, 3*y + 5*a - k = 6*y for y.
4
Let z be (0 + -52)*650/(-100). Let w = z - 335. Solve -j = -u - w*u - 13, j - 2*u - 9 = 0 for j.
5
Let d = -4886 + 4891. Solve 4*h = 8*a - 5*a + 4, 0 = -3*a - 5*h + d for a.
0
Suppose n - 127 = -3*x, -29*n - 45 = -x - 28*n. Let s = -41 + x. Solve 0 = 2*a - 3*d - 2, s*d - 2 = -2*a + 6*d for a.
1
Let t be (264/198)/((-3)/(90/(-4))). Suppose -t = s - 2*s. Suppose -49 = -s*q - 9. Solve g + q*y = 5*y + 9, -3*g = -2*y - 23 for g.
5
Let h be (1 - 0)*(18 - 17) - -2. Suppose r + 3*c = 14, -r = -c - 5 + h. Solve -5*y = r*t + 25, -19 = 4*t + y + 2*y for t.
-4
Let i be 5 - -3*((-14)/(-6))/(-7). Solve 2*l = -3*o - 11, i*o + 0*o + 13 = -l for o.
-3
Suppose 2*t - 72 = -2*h, -23*t + 18*t + 16*h + 54 = 0. Solve 7*v - 5*m = 2*v - t, -4*v = 2*m + 18 for v.
-5
Let o(p) be the first derivative of -p**4/4 + 20*p**3/3 + 45*p**2/2 - 22*p - 131. Let w be o(22). Solve 5*l + 3*f = 12, -8 = -2*l - w*f + 2*f for l.
3
Suppose -6*w + 29 = -79. Suppose -c + 5*c + k = w, -2*k = -c + 9. Solve -3*z = 5*t + 3 - 18, -2*t - 25 = -c*z for t.
0
Suppose -31*h + 25*h = -210. Suppose h*y - 145 = 555. Solve 0 = -d - 5*w - y, 0 = -4*d - 3*w - 4 + 9 for d.
5
Let m(y) = -18*y - 176. Let z be m(-10). Solve -l - 30*x + 35*x - 8 = 0, z*l + 2 = 5*x for l.
2
Let k(t) = 49*t**2 - 243*t - 10. Let u be k(5). Solve -4*p - 28*i = -24*i + 8, -5*p - i - 6 = u for p.
-1
Let k = -139 + 159. Suppose -2*s + 4*y + 2 + 0 = 0, -37 = -5*s + 2*y. Suppose 2*q + 3*q = -3*c + 15, -3*q + s = 3*c. Solve c*h = -4*h + k, -h + 1 = -a for a.
4
Let d(b) = -b**3 - 8*b**2 + b - 47. Let k be d(-9). Let y = 290 - 276. Solve 5*f - k = -5*g, -2*f + 3*f - y = -4*g for g.
3
Let t(f) = 30*f + 8 - 9 + 2*f**3 + 38 + 0*f - 34*f**2. Let b be t(16). Solve 3*o + 8 - 1 = 2*n, 5*o + 5 = b*n for o.
-5
Suppose 0 = 145*p - 1 - 1 + 2. Solve -5*l + s + 18 = p, 6*l - 8*l - s + 3 = 0 for l.
3
Let p(u) = -10*u - 47. Let w be p(-7). Let f(s) = s**2 - 27*s + 97. Let l be f(w). Solve 37 = l*c + 3*o, -4*c = -4*o - 4 - 0 for c.
5
Let w = 275 - 261. Suppose w*j - 195 = -j. Solve -5*b = -h + j, -4*h + 6*b - 3*b + 18 = 0 for h.
3
Let b = 209 + -132. Let o = 81 - b. Solve 0 = -l - v + 6, -l - l = o*v - 22 for l.
1
Suppose q + 3 = -h, -3*h + 4*h + 18 = -4*q. Suppose 0 = -f - h*f. Let u = 56 - 51. Solve f = 2*t + u*a + 23, -4*t + 2*a = -5*t - 9 for t.
1
Suppose -6*q + 5*b = -q - 110, 2*q + 5*b - 72 = 0. Suppose -q = -3*v - 20. Solve i - 4 = -v*a, 3*i - a - 1 = 4*a for i.
2
Let d(t) = 7*t - 109. Let h be d(18). Suppose 0 = -3*z + 5*o, 5*o = -4*z + h + 18. Solve v + 5*b + z = -10, -30 = 4*v + 5*b for v.
-5
Let l = 10 - -54. Suppose -4*v - 77 = 5*r, -l = v + 2*v + 5*r. Let g = -9 - v. Solve -d + 6*w - g = 3*w, -20 = 5*d - 3*w fo