v = -4*c - 5, -5*v = 3*c - a*v + 5 for c.
0
Let s(t) be the first derivative of t**3/3 + 6*t**2 + 22*t - 51. Let x be s(-10). Solve m = x*h - 8, 2*h + 3*m - 14 = m for h.
5
Let d(y) = -y**3 - 8*y**2 - 3*y - 10. Let q be d(-8). Suppose -5 = -2*i + 7. Solve q = -2*v + 4*r, 0 = v - 0*v - r + i for v.
-5
Suppose -2*z = -5*h, -h - 23 = 2*z - 7*z. Solve -2 = -h*n - 3*g, -2*n = -2*g - 1 + 9 for n.
-2
Suppose 0 = 6*k - 93 - 51. Let f be (-2 + 0)*k/(-16). Solve 4*n - 8*n - t + 13 = 0, 0 = 3*n - f*t - 21 for n.
4
Suppose 2*a + 2 = 5*u, -11*u - 5 = -8*u + 5*a. Solve 31 = 3*k - 5*m, u = 3*k - 2*m - 11 - 5 for k.
2
Let o(v) = -59*v + 119. Let r be o(2). Solve 3*x + r = -5*a + 14, 3*x + 4*a = 11 for x.
1
Let f(h) = h. Let q(u) = 5. Let p(z) = f(z) - q(z). Let l be (-72)/(-10) - (-3)/(-15). Let w be p(l). Solve -j + 4*k + 0*k = -4, -w*j = 4*k + 4 for j.
0
Let m = -25 + 25. Suppose m = 2*f - 3 - 3, 2*l - 19 = -3*f. Solve l*x = 2*q + q + 14, 5*x - 22 = -q for x.
4
Suppose 0 = -3*g + g + 4. Suppose -2*a - 4 = 2*w, -g*a + 0*a = 4*w. Solve 2*i = -5*t + 15, -4*i = 5*t - 23 - w for t.
1
Let p be 28/(-10)*(4 + 1 - 10). Solve -2*v + 1 + p = -5*n, -v + 7 = -2*n for n.
-1
Let a(g) = -g**2 + 4*g - 1. Suppose 10*y = -1 + 31. Let i be a(y). Solve 3*q = 0, 4*q - 3*q - 2 = -i*j for j.
1
Let w = -32 - -34. Suppose -5*l - 6 = 2*s - 26, -l + 4 = -2*s. Suppose -3*d = -s*d - 12. Solve 6*k - w*k - 16 = 3*c, -4*c - d = -k for c.
0
Let z(i) = i**2 + 105*i - 547. Let b be z(5). Solve -5*s + 15 = 3*t + 40, b*s - 5*t = -15 for s.
-5
Let o = 238 + -236. Solve -i - 7 = -o*j, -3*j + 3*i - i + 13 = 0 for j.
1
Let z = -5 + 12. Solve 0 = f - 4*f + o + 11, -z = -f + o for f.
2
Let w(r) = 6*r + 94. Let g be w(-15). Solve 4*t - 2*t = -5*m + 28, -g*t = 5*m - 36 for m.
4
Suppose 15 = -2*y + 1. Let u = y + 9. Solve -5*f - u*l - 1 - 18 = 0, f - 3*l + 14 = 0 for f.
-5
Let a(d) = 6 - 5*d - 7 + 8. Let c be a(5). Let h = -16 - c. Solve y - 6*y - 10 = -k, -y = h for k.
0
Let k be (-40)/15*3/(-2). Solve -5*z = 3*n - 40, -k*n + 8*n = 4*z for z.
5
Let g(x) = x**2 + 9*x + 12. Let o be 80/(-24)*9/6. Let c be g(o). Let m = c - -26. Solve -5*y - 5*d + 2*d - m = 0, 3*y + 3*d = -12 for y.
-3
Suppose 4*q - 6*k = -4*k + 30, 0 = -q + k + 10. Suppose 2*z + 21 = x, -5*x + 5*z = 32 - 132. Solve 0 = -q*b + w - x - 5, 5*b = -2*w - 12 for b.
-4
Let m = -22 - -36. Let h(a) = -a + 18. Let v be h(m). Let y be v + (17 - -3)/(-5). Solve -2*z - 16 = x - 5*x, z - 2 = y for x.
5
Suppose -16 + 32 = 2*i. Let j be ((-30)/4)/((-6)/i). Suppose 5*n + 2*o + j = -3*o, 5*n + 2*o = 2. Solve -g = -5*v + 15, n*v - 4 = -3*g + 2 for v.
3
Let z = -46 - -30. Let q be ((-56)/(-10))/(5/(-25)). Let r = z - q. Solve 2*h = 2*t + 4 + 4, r = -4*t for h.
1
Suppose -5*r - 5*l = 19 - 44, -r - 4*l + 17 = 0. Solve 2*s + r = 4*s - o, -3*o - 6 = -3*s for s.
-1
Let i(f) = 4*f**3 + f**2 - f. Let t be i(1). Let l = 26 + -22. Suppose 2*a - l*a = -10. Solve 4*y = a*x, 9*x = y + t*x for y.
0
Let t(g) = 10*g**2 - 11*g**2 - g**3 + 4*g**2 - 5 + 6*g. Let f be t(4). Solve v = 2*n - v, 6 = -f*n + v for n.
-3
Suppose 0 = -7*b + 2*b + 10. Suppose -k + 0 = -12. Suppose 0 = -b*o - 0 + k. Solve 5*v + 9 + o = 0, -4*p + v = 13 for p.
-4
Let h be (21 + 4)*3/15. Solve 5*o - z - 7 = 0, -2*o = -7*z + h*z - 6 for o.
1
Let s = -26 + 23. Let x be (s/6*0)/2. Solve -g = h + 6, g + x*h - 4 = h for g.
-1
Let t(l) = 3*l**2 + 11*l. Let o be t(-8). Suppose o = 5*g - 196. Suppose -4*p + p = -g. Solve 5*f - f = -4*s - p, -4*f - 4 = 0 for s.
-4
Suppose -24 = -4*x - z, -3*x = x - 5*z. Suppose 0 = -y + x. Suppose 46 = 3*g + l + 29, 0 = -2*g - 5*l + 33. Solve 3*m + g = -s, -2*s = -y*m - 3*s - 10 for m.
-3
Suppose s = 5*s - 8. Suppose 388 = -4*w - 3*t, s*t - 3*t = -5*w - 504. Let y be (2/(-5))/(8/w). Solve y - 3 = g, 0 = 3*j - 5*g + 4 for j.
2
Let s(g) = g - 28 + 33 + 0*g. Let q be s(-3). Solve -a - 1 = -q*l + 6, -5*a = -l + 26 for a.
-5
Let i be (0 + 0)/2*24/24. Suppose i = -34*p + 31*p + 15. Solve p*n = 0, 4*v + 2*n - 1 = 7 for v.
2
Let h be 16/5 + (-5)/25. Suppose z + 2*z - h = 0. Let u be ((-2)/(-9))/(z/9). Solve -3*x + u*q - 2 + 14 = 0, 3*x - 15 = 3*q for x.
2
Let z(k) = -4*k + 3. Let j be z(0). Solve -j*f - q = -5 - 8, -5*f - 5*q + 35 = 0 for f.
3
Suppose -4*y + x + 3*x + 32 = 0, 0 = 5*y - 3*x - 30. Solve o + y*s = -16, -o - 3*o = -4*s - 16 for o.
-1
Let r be (8/(-16))/((-1 + 0)/(-14)). Let m(k) = k**2 + 7*k + 3. Let i be m(r). Let p = 9 + -6. Solve -12 = 3*x + p, 5*n - i*x = 20 for n.
1
Suppose -4*x = -4*o - 338 - 358, -2*x - 2 = 0. Let d = 55 + -37. Let v be o/(-63) + 4/d. Solve 4*j + 4*n = 0, v*n + 0*n - 9 = 0 for j.
-3
Let p = 480 + -455. Solve -5*v + 0 = -h + p, 2*h + 3*v + 15 = 0 for h.
0
Suppose 2*t - 47 = 3*k - 3*t, -140 = 5*k + 4*t. Let x = -19 - k. Suppose -x*g + 1 + 9 = 0. Solve -d = -5*u + 7, g*d - 1 + 0 = -5*u for d.
-2
Let y(j) = j - 5. Suppose 13 = 2*z + 1. Let g be y(z). Suppose -m = -g - 6. Solve 1 = -4*w - 0*w - h, -4*h + m = 5*w for w.
-1
Suppose 0*d + 3 = -2*d - 5*g, -5*d + 65 = -2*g. Let q = -17 + 8. Let r = q + d. Solve -4*b = 3*o + 17 - 8, -r*o - 3*b = 6 for o.
-3
Let a(z) = z**2 - z + 15. Suppose 3*d = -5*l + 25, d - 23 = -5*l + 2. Let x be a(d). Let y = x + -13. Solve -y*o + 5*c = -25, 0 = -o + 4*c - c + 14 for o.
5
Let t = 7 + -5. Let k be (-2)/((-8)/3 + t). Suppose -2*z = 4*v + v, 0 = -2*v - k*z - 11. Solve 3*l + 13 = -w, 0 = -2*w + 7*w + v*l for w.
2
Let o(g) = -g**2 + 6*g. Let w(n) = -n + 1. Let k(d) = o(d) + 5*w(d). Let z be k(0). Let i be (15/(-9) + 5)/(4/6). Solve -i = -x + 3*m, m - z*m - 8 = -2*x for x.
2
Let z = 148 + -135. Suppose z = -5*d + 53. Solve -4*k = -d, 3*b - 8*b = 2*k + 21 for b.
-5
Let y = -35 + 40. Suppose -3*z + 17 = y. Solve -s + 0*k + 4*k = 7, z*k = -3*s + 27 for s.
5
Suppose 0 = -5*b - 5, -5*p - b = 3*b + 434. Let w = -74 - p. Solve -2*n + w = -a - 6*n, -5*a - 4*n - 12 = 0 for a.
0
Suppose s + 6 = -3*k, -5*k = -0*s - 3*s - 4. Let l be 2/(2/((-2)/k)). Solve -3*z + 0*t - 4*t - 7 = 0, 3*t = l*z + 16 for z.
-5
Suppose 12*q - 173 - 415 = 0. Let j = q - 44. Solve -d = -3, -2*u + 4*u + 25 = j*d for u.
-5
Suppose -5*u - 18 = -4*y - 13, 16 = 5*y - 3*u. Solve -3*c + 12 = -3*k - y*c, 2*c = 2*k + 8 for k.
-4
Let y be 1 + ((-8)/4 - 3). Let d be 1/(y/(-32)) + 2. Suppose 2*f - 10 = s + 3*s, -d = -5*s - 2*f. Solve s = 3*r - 3*j + 9, -r - 3*j + 7 = -6*r for r.
1
Let z = -453 + 459. Solve -2*l - 4*y = 30, -10*y = -3*l - z*y + 5 for l.
-5
Let w(q) = q**2 - 6*q - 3. Let v be w(7). Suppose 0 = 3*m - v*y - 8 - 4, -3*m = -3*y - 12. Solve u + m = x + 2, -x - 8 = u for u.
-5
Suppose 38*u = 52*u + u - 45. Suppose -4*s = -7*s. Solve u*g + m + 6 = -s*m, -7 = 4*g + m for g.
-1
Suppose 0 = -8*i + 17*i + 74*i. Solve -k - 4*a + 14 = i, -2*k + 7*k - 4 = 2*a for k.
2
Suppose -4*z + 17 - 33 = 0, -5*t = 5*z + 5. Solve -5*l = -3*f + 7, -t*f + 3 = -l - 4*f for l.
-2
Suppose -15 = -6*d + 9. Solve 2*v + 2*v - 2*i - 2 = 0, 4*i + d = -3*v for v.
0
Let v(m) = -2*m - 9. Let c be v(-9). Suppose -c = -6*n + 3*n. Let d = n + 0. Solve -2*h + d*p = -0*h + 23, 0 = h + 2*p - 6 for h.
-4
Let z(j) = j**3 - 5*j**2 + j - 1. Let o be z(6). Let x = o - 37. Solve 4*v = x, -y - 4*v + 1 = 2 for y.
-5
Let k be (-6)/4 - (-15)/6. Let q = 4 - k. Let n = -2 - -6. Solve 4*x + q*w = -w - 32, -w - n = 0 for x.
-4
Suppose -5 = -2*n + 3*n + 2*v, n = -5*v - 20. Let u be -1*5/(n/(-2)). Suppose -u*h + 26 = -4. Solve -h = -4*x - 3*g, x = -4*x - 2*g + 10 for x.
0
Let f(g) = -g**3 - 7*g**2 - 10*g - 4. Let u = -15 + 8. Let k be f(u). Suppose 0*d + d - 2 = 0, 3*d = -3*r + k. Solve -2*i + 5*y = -4 + 24, -i = -5*y + r for i.
0
Let r = 377 + -371. Solve 2*d + r = -o, -3*o + 2*d = -16 + 2 for o.
2
Let x be (-1 - 5)/(3/(-2)). Suppose -d - 1 + 0 = b, 21 = x*b - d. Let s = 3 - 0. Solve -s*y + a + a = 3, 4*y + b*a = -4 for y.
-1
Let g be (2/(-3))/((8/342)/(-2)). Let z = -55 + g. Solve 4*s + 30 = -z*w, 2*w = -s - 0*w - 15 for s.
-5
Suppose z = -4*n - 32, n = 4*z + 4*n + 128. Let s = z + 35. Solve d - i + 2 = 3*d, 0 = -4*d - s*i for d.
3
Suppose 24*k - 52 - 68 = 0. Solve 0 = 4*o - k*j + 28, -o - 5*j + 16 = -2 for o.
-2
Let o = 970 + -970. Solve -4*v + n = 14, -2*v = 4*n - o - 2 for v.
-3
Let i be ((-6)/(-8))/(48/256). Solve 0 = 4*c + z - 8, i*z - 3 = -5*c - 4 for c.
3
Let a(h) = 9*h - 52. Let w be a(6). Suppose -w*c + 4 =