 + s*h - 24 = g for x.
2
Let a be (8/12)/((61/6)/61). Solve 3*z + 15 = -0*n - 3*n, 3*n + a*z + 19 = 0 for n.
-1
Let t(o) = -o**2 - 6*o + 119. Let r be t(-13). Suppose 29*s - 20 = r*s. Solve -c - 2*c = z - 8, -z = -4*c + s for c.
4
Let a(m) = -m**2 + 11*m + 115. Let u be a(21). Let t = u + 97. Solve c = -t*w + 8, -c - 3 = -3*w + 14 for w.
5
Let l(i) = i**3 + 20*i**2 - 20*i + 24. Let o be (30 + -31)/((-2)/(-42)). Let x be l(o). Solve 5*u + x*v - 8 = 0, 2*u + 4*v + 9 - 1 = 0 for u.
4
Let u(b) be the first derivative of -5*b**2/2 - 30*b + 251. Let r be u(-7). Solve -r*y + 37 = 4*s, 2 = 3*s - y - 2 for s.
3
Let j(m) = 3*m**3 + 45*m**2 - 2*m + 9. Let a be j(-13). Let n = a - 1044. Solve -u - 17 = 4*v, 2*v + 3 = -4*u + n for u.
3
Let p(o) = 2*o**2 - 11*o - 3. Let q be p(5). Let s be (124/3)/(q/(-12)). Let r = -59 + s. Solve r*l = 5*d - 3, 4*d - l - l = 2 for d.
0
Let p = -5 - -10. Suppose -p*d - 3*w + 21 = -0*d, 5*d - 2*w = 36. Let k = 73349 - 73345. Solve 4*o - d = 2*o - 3*r, 4*o + 2*r - k = 0 for o.
0
Let m be 3*(-3850)/(-28)*(-4)/(-6). Suppose 277*o - m*o = 6. Solve -2*c + o*j - 1 = 0, -3*c + 6 = -2*j - 0*j for c.
4
Suppose 149 + 88 = 45*r + 12. Solve r*c + 0 = 4*a - 1, -3*a + 9 = -c for a.
4
Let r(d) = -d - 3. Let h be r(-6). Let z(p) = -9*p - 211. Suppose -7*b + 3 = 171. Let u be z(b). Solve -y = -4*l + 11 + 1, -u*l = h*y - 32 for l.
4
Let i = -15462 - -15497. Solve -t - 33*l - 9 = -i*l, -2*t - 3*l = 4 for t.
-5
Suppose -18 + 58 = 22*d - 70. Solve -n + 5*i + 23 = 0, i - d = -0*n - 3*n for n.
3
Let w = -1 + 17. Let z = 1195 - 1193. Suppose z*f = -3*f + 60. Solve f = 4*h - l, 4*h + l = w - 4 for h.
3
Let t(d) = -5*d + 40. Let j be t(8). Suppose 0 = 5*m + 10, -6 + 11 = 3*l + 5*m. Solve 2*v = z - j*z - 8, -l*v - 17 = -z for z.
2
Suppose -11 + 1 = -5*c, 5*d + 265 = 5*c. Let k = d - -56. Suppose 3*q = -3, m + 0*q - 10 = k*q. Solve 5*h - 30 = 3*n, m*n + 31 - 6 = 0 for h.
3
Suppose -7*j = 7*j - 45 - 11. Suppose -2*p = -5*p - 9. Let d = -3 - p. Solve j*n + 2*g = d, 0 = -5*n + 3*g - 6*g - 1 for n.
1
Let u(l) = 3*l**2 + 7*l - 6. Let z be 3/27 + (-32)/(-36). Let r be u(z). Let k = 0 - -1. Solve -2*c + a - 2 = -2*a, 3*c + k = r*a for c.
5
Let t be -10 + (-6818)/18 + (-4)/18. Let k = -384 - t. Solve -d + 0*d - k*r = -22, 10 = 2*r for d.
-3
Suppose -50 = -5*u - 5*r, -4*u - 6 = -6*u + 5*r. Solve 5 = 5*a, 7*a - u*a - 14 = -3*i for i.
5
Let d = 2771 - 2766. Solve -5*l + 1 = -u - d, u = -5*l + 4 for u.
-1
Let p(v) = -37*v + 600. Let y be p(16). Solve 2*d - 3*u = -5 + 7, 0 = -2*u - y for d.
-5
Suppose -257*t = -8265 + 1069. Solve -t*p + 12 = -5*q - 27*p, -2*q = 2*p + 12 for q.
-3
Let z = -72 - -91. Suppose -9*i + 17 = -z. Solve -j + 3 = i*b, 3 - 1 = -4*j - 2*b for j.
-1
Let w(h) be the first derivative of h**4/4 - 8*h**3/3 + 7*h**2/2 + 4*h - 10. Let c be w(7). Solve c*b = 2*j - 2 - 0, 5*j + 3*b + 8 = 0 for j.
-1
Let y(z) = z. Let d be y(-6). Let p(r) = r**2 + 7*r + 9. Let c be p(d). Suppose -749*a + 1020 - 542 = -1236 - 1282. Solve j = n + 6*j + 23, -a*n + c = j for n.
2
Suppose 7*j = 3*j + 4*j - 10*j. Solve f - 4*f - 5 = 4*h, j = 2*f - 2*h - 20 for f.
5
Let q(r) = r**2 + 2. Let h be q(0). Let z be (-36)/(-22)*176/24. Solve h*i + z + 1 = b, -3*i = 15 for b.
3
Let o be (3 - (-6)/(-2))/(-1). Suppose 0*w + 3*w = o. Suppose 6*r - 37 + 13 = w. Solve -4*t = -a - r, -a - 5*t + 5 = -0 for a.
0
Let x(f) = 46*f + 49. Let j be x(-1). Solve 4*c + 2*m = -10, -9 = 13*c - 9*c + j*m for c.
-3
Let z = -9526 + 9528. Solve 3*c = 3*p - 3, -3*c - 7 = z*p - 24 for p.
4
Suppose 5*u + 205 = 5*m, 5*m - 3*u = -2*u + 217. Suppose 4*l + m = 52. Solve 4*i - 8 = 0, l*i + 3 = -3*a + 19 for a.
4
Let n be (-37125)/(-9625) - (0 + (-2)/14). Solve -7*c - 18 = -o, n*o = 2*o - c + 6 for o.
4
Let a be (((-9)/27)/((-91)/780))/((-2)/(-7)). Solve -17*m + 12*m + 4*h = 2, 2*m + 3*h = -a for m.
-2
Suppose -40 = -5*q - 5*g, 67*g = 4*q + 70*g - 24. Solve -3*f + 2*f + 3*h + 8 = q, -f + 14 = -5*h for f.
-1
Let t be (5/(-15))/((-12)/144) + 3. Solve 5*d + 2*h = t + 1, -3*h - 5 = -d for d.
2
Suppose 0 = -6*q + 7*q - 5. Suppose q*k - 13 = 12. Suppose 0 = 4*p - 16, -2*b - 2*p - 12 = -k*p. Solve b*o + 10 = -2*o + r, 0 = -o - 4*r + 4 for o.
-4
Suppose 5*x = -2*f - 168, 0*x + 3*f = -5*x - 172. Let u be (x/(-80))/((-2)/(-20)). Solve u*a = -2*q - 24, 0 = 6*q - 4*q - 4*a - 16 for q.
-2
Suppose 2*z - 209 = -177. Let s = 25 - z. Solve -4*c - s = -3*q, q - 5*q + 3*c = -12 for q.
3
Suppose -w = 2*w - 15. Suppose -613 = -229*g + 532. Solve 9*y - 4*y + m + 27 = 0, -g*m - 35 = w*y for y.
-5
Let h = -23666 - -23669. Let j = 1 + -1. Solve j*f - p = -f + h, 4*f - 12 = 5*p for f.
3
Suppose 171*w - 335 = 1717. Solve 9 = a + 3*z, -5*a + 4*z + 0*z - w = 0 for a.
0
Let h(l) = 5*l**2 - 25*l + 33. Let r be h(2). Solve 2*n - g + 5 = 0, 9 = -r*n + 14*g - 12*g for n.
-1
Let a(j) = 2*j + 36. Let v be a(-17). Suppose 1 - 22 = -2*p - 3*s, 4*s - 14 = v*p. Solve -t - p*k - 9 = -5*k, 4*t + 14 = -3*k for t.
-5
Suppose 2*o - 7 = -l, 5*l + o = 2*o + 2. Let n be (4 - 0/4)/l. Let y = -14 - -16. Solve 3*m = -5*b + 4 + 1, -y*b - n*m = -2 for b.
1
Let r = -13189 + 13193. Solve 4*f - 6*o = -0*f + 34, -r*o - 16 = 4*f for f.
1
Let w = 5 + -2. Let i = -121 + 124. Suppose -i*q = 6, 0*m + 50 = 2*m - 2*q. Solve -3*s - 1 = -w*k - 10, -m = k - 5*s for k.
2
Suppose 9*r - 14*r + 67*r - 434 = 0. Solve h + 3*n - 11 = -4*h, r = -3*h + 5*n for h.
1
Let r(m) = -11*m + 41 - 34 + 6*m - 30. Let p be r(-5). Solve -6*n + n + 4*d + 12 = 0, 0 = p*n - d - 6 for n.
4
Let n(d) = -d**3 - 9*d**2 - 9*d - 8. Let m = -5 - 3. Let x be n(m). Suppose -k + 6 - 4 = x. Solve 5*z + 0*b = -k*b + 15, z + b = 3 for z.
3
Let s(f) be the second derivative of -f**5/20 + f**4/4 + f**3/3 - f**2 + 19*f - 2. Let a be s(3). Solve 5*d + 13 = -i, -a*d + i - 22 + 8 = 0 for d.
-3
Let c(l) = 4*l + 39. Let r be c(-12). Let b be (-5 - r)*54/12. Solve -x + b = 5*v, 0 + 3 = -x + 2*v for x.
3
Let w(g) be the first derivative of -1/4*g**4 + g - 2/3*g**3 + g**2 - 8. Let a be w(-3). Solve -a*r - 14 = 2*y, 2 = -4*y + 4*r + r for y.
-3
Suppose 184*r - 312 - 243 = -187. Suppose -3*v - 2*m = 2, 4 + 1 = 5*v - 5*m. Let c be v + (1 + 0)/1. Solve c + 13 = -r*s - 3*q, -5*s - 2*q - 13 = 0 for s.
-1
Let z = -41 - -71. Let p = 29 - z. Let w be (4/2)/p - -5. Solve 4*r + 3*j + 3 = r, 2*j - 13 = w*r for r.
-3
Let i(x) be the third derivative of 0*x + 0*x**3 + 0*x**4 + 0 + 2/15*x**5 + 16*x**2. Let b be i(-1). Solve -2*r + 1 + 10 = n, 4*r = 4*n - b for r.
3
Let k = -16388 - -16391. Solve 2*p + 17*g - k = 20*g, 3*p + 6 = g for p.
-3
Let c = -96 + 85. Let k be (1*-10 - -1)*c/33. Solve -5*w = -k*q - 23, -4*q + 2*w + 5 = 17 for q.
-1
Let f be (96/(-60))/(4/270). Let t = f - -115. Suppose 7*h - t*h = -7*h. Solve -2*k - 4*y = -y + 8, 5*k + 2*y - 2 = h for k.
2
Suppose -33*k + 115 + 472 = -7. Let l = -3 - -10. Solve -z = 4*s - 5, k = 5*z + 4*s - l for z.
5
Suppose -5*j - 50 = -135. Suppose -2*z + 12*i + 10 = j*i, i + 5 = z. Solve -4*x + z*p - 9 = 0, p + 3*p = 20 for x.
4
Let w be -1 + 5 + -7 + -60. Let i be 9/(w/14) - -5. Solve -2*p - 3*l = -7, i*p = 4*l - 1 + 20 for p.
5
Let z(w) = 33*w. Let r be z(1). Let f(l) = 5*l**3 + 3*l**2 - 11*l + 6. Let b be f(2). Let y = b - r. Solve -5*i - 9 = -y*u, -2*i = 3*i + 4*u - 12 for i.
0
Suppose -9*v + 4*v - 4*j + 49 = 0, 0 = -5*j - 20. Solve d + 3*x - v = 0, 2*d + 1 = -0*x + 3*x for d.
4
Let c(p) = 936*p - 1868. Let g be c(2). Solve -4*n + 4*x = 36, -2*n + 3*x - 12 = -g*n for n.
-3
Let b(d) = 4*d + 8. Let p(g) = 18*g + 40. Let f(x) = 14*b(x) - 3*p(x). Let y be f(8). Solve -2*q = 3*s + 4, -s - y = -4*q + 6*q for s.
2
Let u be -1*2/5 - 17/(-5). Solve -2*t - u*m + 15 = 22, -5*m - 5 = 0 for t.
-2
Let p be ((-56)/(-182))/(23/(282 + 17)). Let x(h) = -h**2 + h + 2. Let d be x(-2). Let g be 0*2/d - -2. Solve g = -p*v + 2*c - 16, 1 = -c for v.
-5
Let v(c) = -137*c + 277. Let k be v(2). Solve t - k*s - 20 = 0, -11*t - s = -15*t + 25 for t.
5
Suppose 3*g + 3 = -5*d + 5, 4*d + 8 = -4*g. Solve 3*t - 14 = -a, -d*t - 13*a + 9*a = -24 for t.
4
Let q = -24 + -18. Let x = q + 48. Solve 2*b + 6*g - 2*g = 4, -2*b - x = -g for b.
-2
Let j be ((-7)/(14/(-6)))/((-15)/(-10)). Solve 2*o + 6 = -j*v + 12, -4*o + 16 = 2*v for v.
-2
Let n = 1537 - 1523. Solve 2*v + 2*s - n = 0, 0 = -2*v - 0*v - 3*s + 16 for v.
5
Let u(i) = -88*