 -9 = 2*h - l*y, h = -4*h + 2*y - 17 for h.
-3
Let t(p) = -2*p**3. Let s be t(2). Let v be (s/(-6) + -2)*9. Suppose -v*o = -2*o - 12. Solve 4*d = -5*f - 8, -3 - o = 3*d + 2*f for d.
-2
Let v = 114 + -103. Suppose -2*i = -12 - 10. Let n = i - v. Solve q = -0*h - 5*h - 21, 5*q + 3*h + 17 = n for q.
-1
Suppose -6*q + 88 = 16*q. Solve -3*t - 22 = -2*l, t + 12 = q*l + 3*t for l.
5
Let k = -5 - -9. Suppose k*v - v - 12 = 0. Let i be 10*3*v/30. Solve 0 = i*l + 2*p - 6, l + 0*l = -5*p + 15 for l.
0
Let j(m) = -m + 1 - 3*m + m**2 + 3*m - 8. Let f be j(-3). Suppose 4*z - z = f*l + 48, 2*l + 6 = 0. Solve -k - 14 = -2*k + 5*c, -2*k - 3*c = z for k.
-1
Let a(z) be the first derivative of z**3/3 - 5*z**2 - 4*z - 8. Let m be a(12). Solve -5*x - m = 0, 3*t - 5*x + 0*x = 8 for t.
-4
Suppose -9*h = -6*h - 135. Let k = h + -31. Solve -3*j + 5*a - 10 - 4 = 0, -5*j - a = -k for j.
2
Let s be 10*2/10*-4. Let d(o) = 10 - 2*o + 4*o - o + 0. Let r be d(s). Solve 3*p + 2 = -5*m, 2*m + m - r = -5*p for m.
-1
Let r be 3 + (8 - 4) + (-3)/3. Let g be 3 + -2*(-9)/r. Solve -2*n - 3*q = 9, g = n + 4*n - 2*q for n.
0
Let g(s) = -s**3 + 2*s**2 - 10*s + 17. Let r be g(0). Solve 2*p + 4 = -d, 5*p - d + 0 = -r for p.
-3
Let u = -6 - 1. Let k be ((-3)/(-2))/((-12)/80). Let n = u - k. Solve t - 3*z = 9, 5*t + n*z + 3 = 12 for t.
3
Suppose 84*f - 41*f = 86. Solve 5*i = -10, -f*i = j + 7 - 1 for j.
-2
Let z(w) = -2*w + 19. Let p be z(9). Let l = p - -19. Let d = -15 + l. Solve -3 = f + 2*f + 3*j, -3*j = f - d for f.
-4
Let o(j) = -j**2 - 8*j - 4. Suppose 3*p - 5*p - 14 = 0. Let f be o(p). Solve 2 = f*k - 2*z, -2*k + z = -3*z - 12 for k.
-2
Suppose -5*a + 91 = -r, 2*r = 1 - 3. Let t be (32/6)/(-4*(-3)/a). Let q be (-33)/(-7) - (-2)/7. Solve -h = -q*f + 10, 1 = 4*f - h - t for f.
1
Let i be -1 - (-1 + 3 + (1 - 5)). Let a(x) = -29*x**3 - x**2 - x. Let q = -7 + 6. Let z be a(q). Solve -3*v + i = b, 5*b - 3*v = -6 + z for b.
4
Let w be ((-11)/(-33))/(-2 - 37/(-18)). Suppose 2*y - w = -x, 0*y - 5*y - x + 12 = 0. Solve -5*l + y*m = -23, -3*l = -2*m + m - 13 for l.
3
Let u(w) = w**3 + 28*w**2 + 3*w - 46. Let v be u(-28). Let c = v + 132. Solve 3*t - c*p - 2 = 3*p, 2*t = -3*p + 14 for t.
4
Suppose -5*a - 433 + 443 = 0. Let h = 0 - -13. Solve -5*c + a*y - h = 0, -4*c + 0*c - 8 = -y for c.
-1
Let g be ((-5)/(-15))/(2/(-120)*-5). Solve -4*t = -g*b, -2*b + 4*t + 2 = -0 for b.
-1
Suppose 17*i = 30 + 21. Solve r - i*t + 2*t = 6, 0 = -4*r + 5*t + 29 for r.
1
Let t = -43 - 86. Let r = 145 + t. Solve v = k - 3*v - 15, -r = 4*v for k.
-1
Suppose v + 0*v + 4*d - 2 = 0, -d - 94 = -5*v. Solve 3*z + 6 = b, -2*z + v = -4*z - 4*b for z.
-3
Suppose -133 = 20*b - 193. Solve -3*j + 3*n + b = 0, 4*j - 7*j - 3*n = -9 for j.
2
Let k = -234 + 260. Solve 0 = -4*o - 0*g - 2*g - k, 0 = 3*o - 5*g for o.
-5
Let p(u) = 2*u**2 + 15*u + 20. Let b be p(-6). Solve b*h + 3 - 6 = x, 4*h - 2 = -2*x for h.
1
Let b = 2710 - 2703. Solve 4*f = b*v - 10*v - 8, 2*f + 4 = v for f.
-2
Suppose -153*t + 164*t - 44 = 0. Solve -4*j = 4*d, 0 = t*j - 0*d - 5*d - 45 for j.
5
Let i = 0 + 5. Suppose -i*h = h. Suppose j - 6 = -0*j. Solve d + 4*d - 25 = 5*f, h = 2*f - d + j for f.
-1
Suppose 30 = -3*r - 3. Let x(j) = j**2 + 11*j + 21. Let h be x(r). Solve -d - 5*w = 3*d - 15, w = 4*d - h for d.
5
Let n be 2/(-5) + 12/5. Solve 0 = 3*l - 2*m + 4*m + 19, -n = 2*l - 4*m for l.
-5
Suppose -27 + 25 = -4*u - 2*x, 4*u + 2 = 2*x. Solve -5*s + u*g - 30 = -g, -3*s - 35 = -4*g for s.
-5
Let z(a) = -21*a**2 + a. Let w be z(1). Let y be (-3)/(15/w) - -15. Solve 35 = 4*l + 4*f - 1, 0 = -l - 3*f + y for l.
4
Let j = 19 + -13. Let w(d) = 6 - j*d + 12 + 4*d. Let x be w(8). Solve -5*f - x*s - 22 = 0, 0*f - f + 2*s = 2 for f.
-4
Let g = -38 + 35. Let v(d) = -d**3 - d**2 + 5*d + 2. Let x be v(g). Solve x*s + 38 = 5*f - 12, -f = 5*s + 20 for f.
5
Let z be 1*5 + 3*(1 - 2). Solve -2*f + u + 12 = -3*u, -2*f = -z*u - 6 for f.
0
Let s be (-1)/(-2 + (-19)/(-10)). Let v = s - 10. Let f(x) = -x - 5. Let o be f(-10). Solve -9 = -3*u - o*d, -4*u = -v*d + 3*d - 12 for u.
3
Suppose -5 = -k - y, 3*k - 13 = -6*y + 2*y. Let u = k + -7. Let f be (5 - -25)*(1 - u). Solve 5*m = -4*x + f, 3*m + 0*m - x = 1 for m.
2
Let q(s) = 7*s. Let t be q(1). Suppose 49 = t*u - 0. Solve 0 = -3*z + 3, -4*y = -u*z + 2*z - 7 for y.
3
Suppose 0 = 2*q + 2 - 12. Solve q*b = -5*z + 15, 4*z - 28 = -0*z + 4*b for z.
5
Let i(t) = -35*t + 353. Let c be i(10). Solve 4*y + u = -2, -4*y - c*u = -u for y.
-1
Let v(m) = -24*m - 6. Let i be v(-1). Solve -3*l - 1 = -2*p + i, -40 = -5*p + 5*l for p.
5
Let m(l) = l - 8. Let j = 9 + 3. Let z be m(j). Let k = 7 - z. Solve y + k = 0, 0 = -7*i + 2*i - y + 2 for i.
1
Suppose -7*h + 5*h = -4. Suppose a + 4*a - 50 = -3*g, -16 = -4*a. Solve -10 = -3*j + j + l, 4*l + g = h*j for j.
5
Suppose 3*a + 16 = 5*g - 9, 2*g - 10 = -4*a. Suppose -g*d + 14*d - 18 = 0. Solve d*z = -4*o - 6, o - 5*z - 1 = -8 for o.
-2
Let u = -20 - -20. Suppose u = x + 2*s - 16, -x = 2*x - 4*s - 68. Suppose x = 5*q - 3*q. Solve 5*k = 5*p - q, -4*p + k - 3*k + 14 = 0 for p.
3
Let s be 8/(-28)*(-2 + -47 + 7). Suppose 4 = -h + 2*h. Let x = h - 1. Solve -4*i - 29 = -x*k - 8, i - s = -5*k for k.
3
Suppose -3*f + 7*p = 3*p + 1, -p = -f. Solve -3*k - 12 = 0, 5*h + 3*k - 2*k = f for h.
1
Let l(m) = 31*m + 501. Let g be l(-16). Solve -5*b - 3*t = -7, g*b + 2*t = 3*t - 9 for b.
-1
Suppose 99 - 35 = 16*d. Solve 4*x + 5*h - 29 = 0, 0 = d*x + 4*h - 0*h - 24 for x.
1
Let h(r) = -23*r - 23. Let f be h(-1). Solve -5*k + 7 = 2*n, 2*k = 2*n - f*k for n.
1
Let z = 3280 - 3276. Solve 0 = -i + 2*d, 0 = i - z*d + 8 - 4 for i.
4
Suppose -12 = -3*h + 361*x - 357*x, 4*h + 4*x - 16 = 0. Solve 5*k = -n, 2*k + h*n = 7*n for k.
0
Suppose -3*z - g - 19 = 0, -4*z - z - 45 = 5*g. Let k(v) = -v**3 - 6*v**2 - 4*v + 10. Let y be k(z). Solve 0 = x + d, -2*x + y*d + 2 = -6*x for x.
2
Suppose 0 = 4*r - 5*a + 15, 20*a + 9 = 23*a. Solve 4*s - 9 = 3*t, r = t + 5*s - 3 - 13 for t.
1
Let k(m) = -8*m - 19. Let j be k(-3). Suppose j*w + w = 0. Solve -a = -4*t - 0*t - 13, w = -t - 2*a - 1 for t.
-3
Suppose 4*m - 3*p - 204 = -58, -2*m - p + 68 = 0. Solve 41 = -4*u - 5*z, -11*u - m = -6*u + 3*z for u.
-4
Suppose -2*j = -2*i, -3*j = -j + 5*i + 28. Let w be (15/(-6))/(2/j). Let q = 5 - 3. Solve 2*y + 6 = w*n, q*y - 12 = 6*y + 3*n for y.
-3
Suppose 11*w - 6*w - 5 = 0. Let u be (6 - 3 - w)*2. Suppose u*d - 4*b = 16, 0*d + 2*d = -5*b + 1. Solve 8 = -3*y - g, g - d*g = 4 for y.
-2
Let t(q) = 21*q - 228. Let r be t(11). Solve -r*c = -5*c - 5*y - 29, y = -5 for c.
-2
Suppose 22 + 15 = 5*h + 3*l, 2*l = -5*h + 33. Solve 5*q - h*j = -30, -5*q + j - 15 = -q for q.
-3
Let z = 80 - 78. Suppose z*g = 8 - 8. Solve -2*r = 10, -3*d + 4*r + 14 + 15 = g for d.
3
Suppose 0 = l - 14 + 12. Solve -1 - 22 = w + 5*u, -w + l*u = -5 for w.
-3
Suppose 0*o - 5 = -o. Let c(i) = 10*i - 53. Let a be c(-17). Let u = a - -227. Solve -o*q = -5, -u*q = 3*y - y - 6 for y.
1
Let q(a) = -a**3 - 18*a**2 - a - 18. Let y be q(-18). Let r be y - 2 - (-6 - 0). Let f be 23/5 + 2/5. Solve 0 = 3*b + f*p - 10, -r*b + 2*p - 1 = 3 for b.
0
Let x = 262 - 245. Suppose 2*g - g - 5 = 0. Solve -15 = t + 2*t + 3*k, 0 = g*t - 3*k + x for t.
-4
Let z be (-1)/3 + 46/3. Let v be 150/5 - (4 + -3). Let n = v - 18. Solve k + 2 = -g, -n = -5*g + 4*k + z for g.
2
Let i(n) = 8*n**2 + 5*n + 5. Let u(r) = 7*r**2 + 6*r + 6. Let b(g) = -5*i(g) + 6*u(g). Let x be b(-5). Solve 2*z + 9 = 3*l + 6*z, 2*l + 2*z - x = 0 for l.
3
Let h(u) = u**2 + 51*u + 189. Let f be h(-4). Solve 0 = -4*b + 4*o - 24, f = -3*b + 4*o - 22 for b.
-1
Suppose 240 = 5*h + h. Suppose g - h = 6*g. Let i = 11 + g. Solve -y + 5*x = -2, -2*x = i - 1 for y.
-3
Suppose 0*l + 620 = 4*l + 4*d, 3*l + d = 457. Let b = 154 - l. Solve 3*r = -4*k, -2*k - r = -b*r for k.
0
Let w = -246 - -255. Let u be 2/(-4)*(-4 + 4). Solve -t - w = -o, 2*t + u*t = 5*o - 30 for t.
-5
Let m be 2/(-2)*(-13 + 9). Suppose 4*d + m = -24. Let r(w) = w**3 + 6*w**2 - 8*w - 4. Let j be r(d). Solve 2*l - 16 = -2*v, -5*v + 19 = -j*v + 3*l for v.
5
Suppose 9*b - 5*b = -4. Let a(i) = 23*i**2 - 3*i - 4. Let w be a(b). Let z = 22 - w. Solve o - 4*x = -7*x, 3*o - 2*x - 11 = z for o.
3
Let b = 1 + -3. Let r(j) be the first derivative of -j**2/2 + 2*j - 23. Let z be r(b). Solve k + 9 = -z*d, 3*d + 