 -13, -j = -f - 4*t - 4 for f.
-3
Suppose 2*v - 8 = -5*q, 0 = -2*v + 82*q - 77*q + 8. Solve -5*m + 10 = -2*h, -v*h - 2 + 4 = m for m.
2
Suppose 4*s + 520 = 6*s + 5*a, 0 = -s + 4*a + 234. Let c = -245 + s. Solve 5*h + c*i + 0*i + 20 = 0, 0 = -h + 4*i + 21 for h.
1
Suppose 0 = -4*v + s + 27 + 28, 5*v = s + 70. Solve -i - 15 = 2*b - 6*i, -v = -4*b - 5*i for b.
0
Let c = 4 + -1. Suppose -73 + 11 = -a. Suppose 65*o - a*o = 15. Solve -12 = 3*t - c*i, o*t - 3*i = -9 - 5 for t.
-1
Let z(j) = 24*j + 424. Let c be z(-17). Solve u - 2*u = -5*n - c, 4*n - u = -13 for n.
-3
Let b be 2*18/(72/10). Solve b*z - 3*l + 5*l + 28 = 0, 5*z + 4*l = -36 for z.
-4
Let u be -2 + 10 + -4*-9*(-5)/36. Solve -18*b - 11 = -3*j - 19*b, 0 = -3*j - u*b + 3 for j.
5
Let n(s) = s**3 + 14*s**2 + 31*s + 92. Let r be n(-12). Let t be 8/(-3)*45/6. Let p be (-5)/(t/r) - (-1 + -2). Solve -3*x - 2*j = 15, x = j - p*j - 15 for x.
-3
Let k = 7 - 5. Let w(x) be the first derivative of x**4/2 - 5*x**2/2 + 7*x + 169. Let i be w(k). Solve -5*g = -4*b - 41, i = 4*b - b + 5*g for b.
-4
Let z = -161 + 307. Suppose -601 + z = -5*n. Let a = n - 88. Solve 5 = r - 3*b - 3, -a*r + 3*b = -12 for r.
2
Suppose -5*r = 2*c + 3*c - 15, 0 = -4*r + 5*c + 30. Suppose 8*s + 5*s - 52 = 0. Suppose s = -13*a + 43. Solve -9 = 3*p, -a*k - 2*p = -r*p - 15 for k.
2
Suppose -3*d + 123 = -3*m, 3*m - 15 + 6 = 0. Let c = d - 38. Suppose 3*r - 18 = -c. Solve -2*w = 2*w - h - 16, h + r = 0 for w.
3
Let x(g) = g**2 + 10*g + 32. Let q be x(-4). Suppose -q*i - 9*i + 34 = 0. Solve -k + y = 0, 2*k + 4 = 3*y - i*y for k.
-4
Suppose -23 + 28 = -3*f + 2*l, 2*f = -l + 13. Solve -17*n - 4*h + 12 = -15*n, f*n = -2*h + 6 for n.
0
Let p(t) = -37*t - 7. Let z be (160/(-12))/(-10) + 2/(-6). Let y be p(z). Let q = 44 + y. Solve -3*g - i - 5 = -5*g, q = 2*g + 4*i for g.
2
Let y(g) be the third derivative of -5*g**4/6 - 100*g**3/3 - 237*g**2. Let p be y(-10). Solve -3*r + 14 = -5*h, 4*r + p*r + 16 = -2*h for r.
-2
Let c = -17 + 17. Let a(l) = 8*l - 141. Let z be a(19). Solve -2*f + c*f + 2 = -k, -4*k + 5*f - z = 0 for k.
-4
Let b = 305 - 295. Let p be 10/1 + -18 + b. Solve 2*m + 4*v + 10 = 0, 3*v + 0*v + 10 = -p*m for m.
-5
Let i = -26810 - -26815. Solve 10 = -i*j - 4*w, 5*j - w = 98 - 108 for j.
-2
Let b(r) = 3*r**3 - 10*r**2 - 6*r - 4. Let w be b(4). Suppose o = -w*y + 10, 2*y = -4*o + 3*y + 6. Solve -o*j + 2*a + 11 = 1, j - 2*a = 6 for j.
4
Let u = 118 - 71. Let j = u + -45. Let m(b) = b**2 - 2*b - 1. Let s be m(4). Solve -s = 3*y - j*p, 27 = -3*y - 2*p - p for y.
-5
Let l be (-45)/(-6)*220/550. Solve 4*k + 0*k - 24 = 2*a, l*a - 2*k = -20 for a.
-4
Let p(g) = 2*g**2 + 10*g + 2. Let k be (-1 - (1 - 4)) + 33 + -103. Let j = -73 - k. Let x be p(j). Solve 22 = 2*b - 4*o, -3*b - 3*o + x = 5 for b.
3
Let k be (-3 - (-17 - -3)) + 55/(-11). Let z(i) = 2*i**2 - 14*i + 18. Let p be z(k). Solve 5*r = -5, -5*r - 1 = -2*b + p for b.
1
Let q(k) = -3*k - 150. Let l be q(-36). Let j be 30/9*l/(-28). Solve 6 - 18 = -j*g - n, n + 15 = 4*g for g.
3
Let k(d) = -d**3 - 42*d**2 - 16*d + 1027. Let o be k(-41). Solve -63 + 77 = -b - o*w, -2*b - 18 = 2*w for b.
-4
Suppose -4*r + 36 = -4*s, 822*r - 3 = 817*r - s. Solve -7*c + 10 = -8*c + r*y, 3*c + 4*y = 0 for c.
-4
Let i(j) = j**3 - 52*j**2 + 236*j - 42. Let u be i(47). Suppose 3*o - 4 = 11. Solve 4*s - 3*k + u*k = 10, o*k = -5*s + 20 for s.
1
Let d(h) = 42 + 19*h - 34 - 25 + 21*h**2 + h**3. Let i be d(-20). Solve -3*w = 4*u + 17, -4*w + u + 12 = i for w.
1
Suppose -16*c + 67 = -509. Let v be (-6)/(-4)*3*c/6. Suppose 4*o = 6*o + l - 6, -3*o - 4*l = 1. Solve o*f - 7 = x + f, -3*x + v = 4*f for x.
5
Suppose 0 = -k + 3*k. Suppose 0 = 4*d - 4, -f - 2*d - 48 = -65. Solve 5*z - f = -y - k*y, -4*y = -3*z - 14 for z.
2
Let v(w) = 104*w - 20. Let a be v(-4). Let p = a - -437. Solve 4*k = -3*s + p, -k + s + 3 = k for k.
1
Let r(l) = 9*l - 105 - 100 - 8*l**2 + 208 - l**3. Let n(h) = -3*h + 3. Let v be n(4). Let c be r(v). Solve -c*g = 4*j + 15, 10 = -2*g - 4*j - 0*j for g.
-5
Let m = -1 - -3. Suppose -6*l - 26 = 7*l. Let z be 1/l + 108/24. Solve -z*c - 21 = -w, 2*w - 2*c - 16 - m = 0 for w.
5
Suppose -4*a = -3*z - 188, 5*z + 195 = 2*a - 123. Let r be (-2 + -1 - (3 + z)) + -1. Let p = 60 - r. Solve 0 = 7*h - 4*h + t - 17, -p*t + 21 = 3*h for h.
5
Let a be 3*-3 - (-40)/(-10). Let m = a - -4. Let t be 32/48*(-1)/(2/m). Solve -2*k = 5*z - 35, -3*k + t = -12 for z.
5
Suppose -36 = -3*s + 3*n, 0 = -4*s + 3*n + 2*n + 48. Let l = 1 + 2. Suppose r = -5*k + 7, -5*r - s = l*k - 3. Solve -2*u + 4*a + 8 = k, 2*a = 3*u - 5 for u.
1
Let g be (-2 + 2)*(80 - 79). Solve -4*m + 2*w = 22, g*m - 13 = -4*m - 5*w for m.
-3
Let z(a) = -a**3 + 89*a**2 - 1709*a + 66. Let q be z(61). Solve 0 = -k - f + q, 5*f = -k + 40 - 15 for k.
0
Let l = 178 + -166. Suppose -33 - l = -15*x. Solve -b - x*b = -5*i - 14, -5*i - 11 = -b for i.
-2
Suppose -5*j = -2*j - 57. Suppose -4*p - 6 = -5*g, j*p = 2*g + 23*p - 8. Solve -2*b - 4 = 3*a + 3, 2 = 3*b + g*a for b.
4
Suppose 4*k = 3*z + 12, -z + 3*z = -z. Solve -4*t - 19 = -k*i, 0 = -3*i - 2*t - 5 + 18 for i.
5
Let w(n) = n**3 - 6*n**2 - 5*n - 9. Let t be w(7). Suppose t*o = 3 + 12. Let k = -122 - -137. Solve -7 = y - f - f, 3*y = -o*f + k for y.
1
Let a be -1 + (-25)/(-5) - 5 - -6. Solve a*q + 2 = 4*v, -4*v + 31*q - 35*q = -20 for v.
3
Let p be 12 + -16 - (0 + -6*1). Suppose 5*t + 5*d + 3 = t, -p*t + 2*d = -12. Solve 0 = -t*q - 4*n - 0 + 12, 3*n - 9 = 0 for q.
0
Suppose n = 3*w + 117, 0*w - 6 = 3*w. Let v = -30 + n. Let d be 2*20/18 + (-18)/v. Solve -5*j + 3*k = -4*j + 9, -2*j - d*k = 2 for j.
-3
Let p(d) = -d**3 - 21*d**2 - 3*d - 61. Let f be p(-21). Solve 0 = -f*r - 5*y - 10, -y = -5*y for r.
-5
Let j(o) = -2*o + 11. Let s be j(7). Let w = 8 - s. Let u = -564 + 582. Solve -3*x = -c - w, c - 2 = 4*x - u for c.
4
Let g = -6 - -8. Let y = -169 - -174. Suppose y*b - 5 = -5*m, m = -m + g*b + 6. Solve m*o + 13 = -4*s + s, 2*o - 4*s + 6 = 0 for o.
-5
Let b be -2*3/(-3) - (-4 + 1). Suppose 4*n = -3*j + 7*n + 18, 0 = 4*j + b*n + 3. Solve -7*g + j*g = 5*z - 11, 4*g = 5*z + 21 for z.
-1
Suppose -6 = -3*s, -k - 6*s = -7*s - 11. Solve 7*a - k*a + 44 = -4*r, -25 = 5*r for a.
4
Let c be ((-59)/3 + 3)/((-2)/3). Let a = c - 20. Suppose -a*o + 20 = -5. Solve n + o*x = 0, 3*x = 4*x + 1 for n.
5
Let m = 7 - 4. Let y be (355/(-213))/(2/(-6)). Suppose -2*r + m = -y. Solve -n - k = -4*n + 13, r*k = -n for n.
4
Suppose 4*k + 5*u - 122 = 0, 0 = -7*k + 3*k + 5*u + 142. Suppose -4*a = 7*a - k. Solve -3*y = -0*y - g - 12, 0 = -a*y + 3*g + 18 for y.
3
Let o = -1000 - -1005. Solve -o*n - 4*y = 45, 34*n - 33*n - 2*y = 5 for n.
-5
Let b be (34/85 - (-27)/(-5))*-99. Suppose 451 = -4*u + b. Let r = 3 - -1. Solve 0 = 5*t + 4*c - 37, t - 2*c + r*c - u = 0 for t.
5
Suppose -4*c + 2*t - 682 = 0, -12 + 0 = 4*t. Let i = -166 - c. Solve 0 = -2*m + 4, i*m - m = 3*z + 22 for z.
-4
Let s(i) = -3*i**2 - 2*i + 1244. Let p be s(20). Solve 3*t = -5*h - 6, -2*t + 2*h - 4 = p*h for t.
-2
Let l = -13516 + 13520. Let q be ((-18)/(-4))/((-2)/(-12)). Suppose -l*c + c = -q. Solve 3*d - 4*u = -u - c, 0 = -3*d - 4*u + 26 for d.
2
Let m(l) = 5*l**2 - 5*l - 6. Let u be m(2). Solve 3*h + u*r + 26 = 0, -3*r - 20 = r for h.
-2
Let x = 0 + 4. Let j be -2 - (-3 - (9 - (1 + (0 - -7)))). Let c = 10 + -6. Solve -6*f = 5*t - c*f + 10, -x*t - 10 = j*f for t.
0
Let f(n) = 2*n**2 - 3*n - 25. Suppose -99*u - 9 = -96*u. Let z be f(u). Solve z*w + 3*t - 9 = -2*t, 3*w + t = 7 for w.
2
Let l = 324 + -311. Let a(n) = n**2 + 4*n - 220. Let c be a(l). Solve 2*g - 4*h = 2, -h - c = 4*g - 4*h for g.
-1
Let m be (-1)/6*2 - (-26)/6. Suppose m*o = -16, -o + 0*o = -z + 8. Let y be ((-6)/z)/(1/(16/(-6))). Solve -2*p - 3*s = -4, 0 = -5*p + y*s - 5 - 31 for p.
-4
Let v(b) = -b**2 - b - 1. Let d(p) = p + 1. Let z(r) = d(r) - 3*v(r). Let c be z(-1). Solve 4*n = f + 7, f + n = -c*n + 17 for f.
5
Let i = -5224 + 5236. Solve 2*r + 5*f - 4 = 0, -15*r + f = -i*r + 11 for r.
-3
Suppose -178 = 106*x - 708. Solve -x*l - 56*c = -57*c - 20, 2*c = 10 for l.
5
Suppose 0 = 11*s - 3*s. Let h be 1 + s - (7 - 40/4). Solve -2 = -2*x + f - h*f, 5*x + 5*f = 0 for x.
-2
Suppose t + 44 = 5*l, -5 = l - t - 13. Let u(q) = 7*q - 54. Let w be u(l). Solve 4*o = -5*x + 12, 3*o - w = -3*x - x for o.
3
Suppose 46*x + 150 = 3