Let b be (-1)/3 - (-130)/(-15). Let y be 2 + 3*6/b. Solve -3*z - 5 + 2 = y, z = -3*o - 4 for o.
-1
Suppose 6 = k - 1. Let v be 142/k - (-4)/(-14). Solve -4*j = -5*z + 3 + v, -z = -3*j - 9 for j.
-2
Suppose -1 = -y - 6, 3*j - 4*y + 28 = 0. Let z(h) = h + 21. Let d be z(j). Solve 10 = -2*x - 4*v, -d*x + 27 + 4 = -4*v for x.
3
Suppose 10 = 2*c - 54. Solve 5*g = -2*t - 2*t + c, 0 = -t - 5*g + 23 for t.
3
Suppose -2*h - 5*s + 39 = 0, h + 2*h - 3*s = 69. Solve -1 = -m, -4*y - y - h = -2*m for y.
-4
Let q(x) = 1. Let c(i) = -i - 10. Let h(b) = -c(b) - 3*q(b). Let g be h(-4). Let y = g + 0. Solve l - y = 0, -3*z + 3*l = 4 - 1 for z.
2
Let j be -3 - (2 - 2*-251). Let c be j/(-27) - 4/(-18). Let t = 29 + -21. Solve 0 = -2*b + 2*z - t, -4*b + z - 4*z = -c for b.
1
Let m(c) = -c**2 + c - 1. Let g be m(2). Let d be (2/g)/(3/(-9)). Let k(b) = b + 8. Let s be k(-7). Solve -i + 2 = -t, 3*t = -d*i - 0*i - s for i.
1
Let z be (-18)/(-3)*2/4. Suppose 2*s - 6 = z*i - s, 20 = 4*s. Solve 5*n = -0*n + 5, 0 = -2*m + n + i for m.
2
Suppose -4*x + 5*f = 2*f + 5, 0 = f - 3. Let o = x + -3. Let i = o + 5. Solve -i = 2*d + 5, 3*c + 3*d + 15 = 0 for c.
-1
Let g = 18 - 10. Solve 2*u - 2*k = -0 - g, 3*u = 5*k - 18 for u.
-1
Let o(d) = -d**2 - 6*d + 11. Let q be o(-7). Solve q*n - 2*k - 2 = 0, -3*n = k - 2*k for n.
-1
Let l = -15 - -20. Suppose 4*c - 4*r - 10 = 5*c, 0 = 3*c + 5*r + 9. Suppose 0*w = -w + 14. Solve l*n + w = i, -c*n - 3*n - 19 = 4*i for i.
-1
Let f(c) = -c - 4. Let g(q) = -1. Let o(m) = f(m) - 4*g(m). Let k be o(-2). Solve 4*a = -5*d - a, -k*a = 3*d - 3 for d.
3
Suppose 5*o = 4*g, g + 1 = o + 2. Let h = g - -3. Suppose 3*d - 5*w = 29 - 7, -2*w + h = 0. Solve -5*u - 2*i - d = -7, -5*i = 3*u + 8 for u.
-1
Let h(i) be the second derivative of -i**3/2 - i**2/2 + i. Suppose -5 = 9*u + 4. Let w be h(u). Solve -3*b - 4 = w*g + 10, -10 = b + 2*g for b.
-2
Suppose -4*t + 4 - 12 = 0, -4*s - 30 = 5*t. Let w = s + 8. Let b = w + 4. Solve 4 - b = -3*n + 4*q, -3*n = 3*q - 24 for n.
5
Suppose -3*y + 26 = y - j, -y + 3*j = -12. Solve 5*b + 33 = 4*u, y*u = u + 10 for b.
-5
Let j be 1/(-2)*(0 - 8). Suppose 3*v - 4*r - j = 7*v, 2*r = -v - 4. Solve v*z + 4 = d - 3*z, 5*z = 0 for d.
4
Let w be 19/(3/(3 + 0)). Suppose -1 - w = -4*b. Solve -4*y + 3*a + 3 = 0, b*y + 1 = -a - 0 for y.
0
Suppose -5*j - 4*g - 40 = 0, 2*j - 3*g - 31 = 6*j. Let k = j - -7. Solve -k*t - 9 = -2*t - i, 5*t + 5*i = -5 for t.
-5
Suppose -7*l + 57 = -10*l. Let f = l + 21. Solve -f*x + s = 2, -3*x - 2*s = -x + 8 for x.
-2
Suppose 4*c + 0 = i - 7, -5*i = c - 14. Suppose -z + 6 = 5*x - 14, -i*x - 3*z + 24 = 0. Solve -3*d - 2*r = 21, -5*d + 4*r = -x + 16 for d.
-5
Let z(y) = y + 9. Let g be z(-9). Suppose 0*x + 3*x = g. Solve x*c - w = -2*c, w + 4 = 4*c for c.
2
Suppose 5*r + 0*r - 35 = 0. Let l(h) = -h**3 + 8*h**2 - 6*h - 5. Let x be l(r). Suppose -3*m = m. Solve 4*c - u + 19 = m, 0 = -x*u - 4 + 2 for c.
-5
Let h(a) = -a**2 - 11*a + 2. Let u be h(-11). Let v be -1*1 - (-1 + -3). Suppose -8 = -o - v*o. Solve 0 = 5*f - m - o - 8, 0 = -2*f + u*m - 4 for f.
3
Let v be -8*1/3*3. Let x = 9 - v. Solve -2*s = s - 5*n - 23, x = 5*s - 3*n for s.
1
Suppose 0 = -2*r - 0*r + 4. Let h be r/(-6)*(-45)/3. Solve -5*z = -2*o + 18, 2*o + 2*o - 26 = h*z for o.
4
Suppose -3*z - 2*l - 4 = -11, 9 = 4*z + 3*l. Solve 0 = -3*i - 6*y + 4*y + 8, -5*i - z*y + 14 = 0 for i.
4
Let g = 5 + -1. Let a(w) be the first derivative of w**3/3 - w**2 - 4*w + 1. Let k be a(g). Solve p + 13 = -k*q, -p + 5*q - 10 = 3*p for p.
-5
Let f be (39 - 0)*(-2)/(-6). Suppose -5*n = 4*z - 5, -2*z - 2*n - 1 = -3*n. Solve -y - 5*x + f = z, y = -4*y - 2*x - 4 for y.
-2
Suppose m = 2 + 2. Suppose -c = -2*c. Let y(g) = g**2 - 12*g + 14. Let p be y(11). Solve c = p*a + 9, 5 = -m*j - 4*a + a for j.
1
Suppose 0 = 2*m - 0*m - 4. Let p be (-3 + 2)/(m/(-6)). Suppose -2*i = p*i. Solve i*r - 3*r - q + 5 = 0, -4*r - 2*q + 6 = 0 for r.
2
Let d(p) = -p - 2. Let r be (-26)/6 - 2/3. Let t be d(r). Solve 3*u - 7*u = -2*x - 4, -4 = t*x - 4*u for x.
0
Suppose -4*f - 2*z + 2 = -2, -z - 4 = -f. Suppose -f*y = y - 12. Suppose 3 = y*j - 5. Solve 4*v + 4 = j*u, -4*v - 8 = -u - 0*u for u.
-4
Let o(w) = 3*w + 2. Let x be o(1). Solve 19 = -2*t - x*v, -6*t = -t + 2*v + 16 for t.
-2
Let i(x) = -x**2 - 7*x - 3. Let l be i(-6). Suppose 17*g - 30 = 21. Solve -5 = -4*f - 5*m, l*f - 2 - 22 = g*m for f.
5
Suppose 6 = 2*g + 3*g + 2*b, -g + 2*b = -6. Suppose -4*m + 2*m + 8 = 0. Solve 6 = -g*x - 4*y, y + 3*y + 36 = m*x for x.
5
Let w be (-32)/2*(-6)/8. Let j = 20 - w. Suppose v - j = -v. Solve -2*c + 3*h = 0, v*c + h = 6*c + 4 for c.
-3
Let y(j) = -10*j + 1. Let g be y(-2). Solve 0 = -2*d + 3*m - 5, 0 = -2*d - 3*d - m - g for d.
-4
Let z(c) = -c + 16. Suppose 2*f + 5*y + 5 = f, -y = -2*f + 1. Let j be f*(-1 + 2 + 0). Let l be z(j). Solve 2*t - 3*t + 17 = -5*v, 0 = -v - 4*t - l for v.
-4
Let a be (-92)/(-16) + 3/12. Solve -1 = -z + 3*h, -a*z + z - 13 = 3*h for z.
-2
Let n = 1 + -1. Suppose n*h - 5*h - 1 = 2*k, -h - 3 = -k. Solve 2*l + 4 = 2*m - 14, 0 = k*m + 3*l + 2 for m.
5
Let i = -126 - -128. Solve -i*b - 5*l = 16, 30 = -4*b - 4*l + 10 for b.
-3
Let v = 17 - 10. Let o(n) = n**2 - 7*n + 3. Let p be o(v). Solve p*y + 3 = 4*r - 4, 5*r = -3*y - 25 for r.
-2
Suppose -3*h - 2*h = 3*j - 11, j = 2*h. Solve s - 20 = -0*s - 5*f, j*f = -3*s - 5 for s.
-5
Let a = -3 - -3. Let j be -2 + (-2 + a - -5). Solve -5*v = t - 20 - j, -v - 7 = 3*t for v.
5
Let i = -65 + 67. Solve z - i*o = -z - 10, 5*z + 13 = -o for z.
-3
Let m(q) be the second derivative of 0 + 1/2*q**2 + 1/3*q**3 - 3*q. Let l be m(9). Solve -5*f - 11 = -b - 0*b, -b = 5*f + l for b.
-4
Let d = 2 - 6. Suppose -24 = -2*m - 2*m. Let l = d + m. Solve 2*j = n + 7*j + 1, 2*n + l = 4*j for n.
-1
Let d = -6 + 8. Suppose 0 = -d*o + y + 4*y + 9, -15 = -5*o + 5*y. Let v be o - (1 - 0) - -11. Solve -4*z = -2*i - i - v, -i = z + 4 for z.
0
Suppose 3*p - 32 = -5*k, -2*p + 3*k = 2 + 2. Solve -3*n - 5*o - p - 5 = 0, 0 = -3*n + 3*o - 9 for n.
-3
Let j(u) = -u**2 - 3*u + 4. Let i be j(5). Let z = 24 + i. Let q = -9 - z. Solve 0 = -g - q, -23 = -0*s + 4*s + 5*g for s.
-2
Let f be -1 + 4 + 1 + -21. Let y = -12 - f. Solve -y*n = i - 14, 2*n - 4*i = -3*n - 6 for n.
2
Let r be (3 - 5) + 5 + (-5)/(-5). Solve -15 = u + 2*u + 4*t, -r*u - 20 = 2*t for u.
-5
Let y be 1*(5 - (-1)/(-1)). Let h be y/6 - 111/(-9). Solve 18 = -2*k + 5*a, -3*k - 7 - h = -4*a for k.
-4
Let h be 56/26 + (-28)/182. Solve -2*q = 3*r + 2, -5*q + 2 = -7*q + h*r for q.
-1
Let j be 1 - (3*-1 + 2). Let f be ((-52)/8*2)/(-1). Solve 2*r + f = 5*v, -5*r - j*v - 11 - 7 = 0 for r.
-4
Let x(b) = -11*b**3. Let a be x(-1). Solve -5*l - a = -s - 0*s, 4*l = -5*s - 3 for s.
1
Let j be (3/(-4))/((-30)/280). Solve 4*n - t + 5*t = 8, n + 4*t = -j for n.
5
Let b = 15 - 5. Let i be (-2 - -4)*15/b. Solve 4*j - 5*x = 23, i*x = -0*j + 3*j - 15 for j.
2
Let t be ((-2)/(-4))/(4 - 78/20). Solve -2 = -o - t*n + 4*n, -o + 22 = 5*n for o.
-3
Let d(o) = 6*o - 4. Let q be d(1). Solve -2*x - 5*t + 3 = 0, -q*x + 4*t = -0 + 6 for x.
-1
Let x be ((-4)/5)/(2/(-5)). Suppose 5*l + 13 = -7. Let p be l/(-14) - (-19)/7. Solve -p*v = x*c - 15, 10 - 4 = c + v for c.
3
Suppose -3*t + 15 = -2*t + 5*u, -3*u + 9 = -t. Let q = 20 - 17. Solve 2*y + 5 = 5*b - t, q*y = -15 for b.
-1
Let r be 6 + (-4 - 0/4). Solve -2*i + r*d = -18, d + 3*d = -4*i - 4 for i.
4
Let u be 27*3*(-4)/(-36). Solve -n + 3 + 3 = -3*m, -u = 5*m - 2*n for m.
-3
Let f(v) = -v**2 - 10*v + 2. Let x be f(-10). Solve x*r + 11 = 3*q, -3*r - 2*r + 5*q - 20 = 0 for r.
-1
Suppose -8*q + 82 + 14 = 0. Solve -2*z + q = 4*j - 12, 0 = 2*z - 8 for j.
4
Let z be (15/(-4))/((-2)/(-8)). Let c be (-1)/(-5) - 57/z. Suppose c = -l + 6. Solve n = -l*j + 5*j - 1, -16 = 4*n for j.
-1
Suppose 23 = 5*k - 82. Solve 4*b = 3*z - k, 5*b - 4*z + 6 + 21 = 0 for b.
-3
Suppose 0 = 4*j + 2*d - 38, j - 5*d = 2*j - 14. Let k = -5 + j. Suppose -6*a = 23 - 71. Solve -3*g - 8*m + 3*m - 5 = 0, -k*g - 3*m = -a for g.
5
Suppose n - 3*n - 4*j = -12, 2*n = j + 7. Let r(w) = w**3 + 2*w**2 - 1. Let t be r(1). Solve t*m + 4*x = -m - 7, -n*x - 17 = 5*m for m.
-5
Let k(x) = -2*x**2 + 1. Let r be k(1). Let s = r + 11. Solve -d - 26 = d + 5*z, -4*z - s = -2*d for d.
-3
Let d be (3 - 1)*105/70. Suppose 6 = 3*a - 9. Solve -6*u - 5*x = -3*u 