 d be c(-3). Let w = d - -5. Solve 2*i = -3*i - x - 3, -4*x = -w*i - 13 for i.
-1
Let p be (2/4)/(6/(-216)). Let t = p - -21. Solve -2*r + t + 1 = 2*h, 2*r + 1 = -h for h.
5
Suppose -5*s - 5*f + 15 - 5 = 0, 6 = -2*f. Solve s*u + 25 = 0, 3*d + 2*d - u = 25 for d.
4
Let i be 0/(3*(-2)/3). Solve -3*h - 6 = -3*n, -3*n + 2*h = -i - 2 for n.
-2
Let o be -1*(-2 + 0 + 5). Let j be (o/(-5))/(3/15). Solve -a - 2 = 0, -j*x + 2*a + 12 = x for x.
2
Let l(i) = 2*i**2 + 8*i - 22. Let g be l(2). Suppose 0 = 3*f - 6*f - 24. Let x be (-2 - f) + (0 - 2). Solve 5*j + 5 = -h, 15 = -g*j - x*h + h for j.
0
Suppose 35 + 10 = 3*s. Solve 3*i = 5*u - 2*i - s, 0 = -3*u + 4*i + 14 for u.
-2
Let v be -2 + -33 - -2*1. Let j = 66 + v. Solve 0 = -4*w + 6*c - c + j, -w - 2*c = 8 for w.
2
Let j be (9 - 3) + -2 - 1. Suppose 2*n = j + 5. Solve 3*i - 4*i + 3 = 4*h, n*i + 28 = 4*h for i.
-5
Let d(w) = -6*w - 12. Let r be d(-4). Solve 2*i + 0*i - 4*l = 0, -4*i = -2*l + r for i.
-4
Let v be (-124)/(-7) + (-4)/(-14). Let q = 36 - v. Suppose -2*l - 2*k = -q, 2*k = k + 3. Solve 9 = -u + y, -5*u = 3*y + l - 1 for u.
-4
Let i(x) = x - 1. Let r(q) = 3*q - 2. Let j(o) = -9*i(o) + 4*r(o). Let v be j(1). Solve 5*h - 3*h - 3*g + 11 = 0, v*g = 12 for h.
-1
Let x(c) = 3*c + 1. Let j be x(1). Let v be 2 + -6*(-2)/4. Solve 3*u + m = j*m, 2*u - 14 = -v*m for u.
2
Let m = 49 - 34. Let j = 26 - m. Solve 0 = 4*v + u + j, 2*v - u = 3*u - 28 for v.
-4
Let g be (-2)/(-4) - (-5)/(-10). Solve -p = -6*p - 20, g = -o - 5*p - 18 for o.
2
Let p be 14*2/(8/14). Suppose 0 = 2*s + v + 103, -5*s = -6*s - 3*v - p. Let a be s/(-14) + (-2)/(-7). Solve i + 6 = 2*n - 5, 0 = -a*n + 5*i + 37 for n.
3
Let v = -13 + 17. Solve 3*y - 19 = -y + 3*l, v*l + 20 = 4*y for y.
4
Let c = 130 + -128. Solve -o + 19 = c*o - 2*q, 0 = o + 4*q + 17 for o.
3
Let r(w) = w**2 + 4*w - 3. Let c be r(-5). Let n = c + 16. Solve -x - 4*d = n, -2*d + 4*d + 16 = -4*x for x.
-2
Suppose 3*f = -4*z + 15, -z = 2*f - 2 - 8. Suppose 0 = -p - z*n - 2*n + 12, n - 4 = 0. Solve 0 = 4*l - 20, -2*i - p*l = -9*l + 25 for i.
0
Let j = 24 + -16. Let q be (4/j)/((-2)/(-20)). Solve -7 = -q*v - 2*w + 3, -3*w + 8 = 4*v for v.
2
Let j = 0 + 0. Suppose s - 5 = -j*s. Let w(t) = -t**3 + 9*t**2 + 2*t. Let x be w(9). Solve -2*l - 2*q = 3*q + x, 0 = 5*l + s*q + 30 for l.
-4
Let c be (0 + (-10)/3)*-3. Let i be (-3)/(-1)*(1 + 0). Suppose -4*h = -i - 13. Solve -h*z - a - 2 = 10, z - 3*a = c for z.
-2
Let h(b) = -b**3 + 14*b**2 - b + 18. Let s be h(14). Solve -7 = -s*p + 5*a, a = 4*p - 9 - 2 for p.
3
Let o(x) = x + 11. Suppose -3*f - 6 - 9 = 0. Let g be o(f). Let y = 9 - g. Solve s + 0*s = 3*c, -y*s - 5*c = 0 for s.
0
Let g be ((-2)/3)/((-4)/18). Let b = 7 - g. Solve -2*i = b*o, 5*o - 3*i + 2 = -5*i for o.
-2
Let u be -4 - (30 - 4)*-1. Let f = -19 + u. Solve -5*a + 15 = -2*p + f, 4*p = -4 for a.
2
Let u be (10/(-6))/((-1)/(-3)). Let b(t) = t**2 + 9*t + 5. Let h be b(-8). Let q = h - u. Solve -2*l - q = 2*y, -l + 4*y + 0 = 6 for l.
-2
Let o be (29 - (-6)/(-3)) + -1. Suppose -4*z = -4*c - 104, -z + 4 + o = -5*c. Solve 4*m + 5*q - z = 0, 3*m - 7 - 7 = q for m.
5
Suppose 2*d + 9 + 9 = 4*l, 0 = -2*d - 2. Let c be (-3)/12 - 11/l. Let x be (-2)/c - 4/6. Solve 5*f = 3*s - 2*s, 2*f - 2*s = x for f.
0
Suppose 0 = -f - 3*f + 20. Solve -5*d - 2 = -2*b - d, 3*d = f*b - 5 for b.
1
Let t(o) = 6*o**3 - o**2 + 1. Let d be t(1). Suppose 32 = 3*l + 5. Solve -d = -4*n + 6, -u = 2*n - l for u.
3
Let m(a) = -2*a - 4. Let i = -5 - -1. Let k be m(i). Solve -4*y + k = -5*r, y + 4*r + 2 - 3 = 0 for y.
1
Let y = -2 - 0. Let r be 2 - (-1)/(y/(-2)). Suppose -r*o - 6 = -o, 2*o + 9 = i. Solve -15 - 5 = -4*d - 2*n, -i*d + 3*n = -6 for d.
4
Let m be ((-12)/(-7))/((-2)/(-14)). Solve 0 = -2*z - 3*z + 4*a + m, 0 = -5*z - 3*a + 26 for z.
4
Suppose 2*j + 57 = -3*c, 4*c + 54 = -4*j - 18. Let p be 10/3 - 14/c. Solve p*y + 0*r + 6 = -2*r, -5*y = 2*r + 5 for y.
1
Let j(r) = -28*r - 3. Let b be j(-1). Let i = b + -22. Solve -3*u + 0*u = -i*y, 5*y = -5 for u.
-1
Suppose -9*b = -4*b. Let u(s) = s + 4. Let f be u(0). Solve 4 = 2*q + 2*q + 4*h, -f*h - 4 = b for q.
2
Let w be (-1 + 4)/(0 + 1). Solve 0 = r + w*l + 5, 2*r + 7 = -r - 5*l for r.
1
Let b be (-14)/7*(-5)/2. Let p be b/(10/14) + 2. Solve -4*s = -u + 6, 3*u + 0*s - p = 3*s for u.
2
Suppose -3 + 18 = -3*w. Let q be 2 - 0 - (4 + w). Let v = 14 - 10. Solve s + 3*s + 21 = -3*d, 0 = -v*d + 3*s - q for d.
-3
Suppose 2*i + 2*i = 16. Let s = 0 - -2. Suppose -f - i*q = 4, -16 = -5*f - s*q - 0*q. Solve -3*w = f*p - 6*w - 10, -w + 3 = 5*p for p.
1
Let x = 19 + 8. Let i be (-6)/x - (-58)/18. Solve 0*g + i*p = 5*g + 21, 10 = -4*g - p for g.
-3
Let r be (-10)/(-4) + 3/6. Let l be ((-2)/(-7))/((-1)/(-7)). Solve 0 = r*c + l*i + 8, -20 = 2*c + 5*i - 0 for c.
0
Let s be 2 - (-3 - (-9)/3). Solve -s*t + 10 = -o + 2*t, 0 = 2*o - 2*t + 8 for o.
-2
Let s(y) = y**2. Let x be s(0). Suppose -11*v + 6*v = -25. Solve -v*i = -2*z - 10, 5*z - 33 = -x*i - 2*i for z.
5
Suppose 5*q + 9 = 8*q. Solve 3*k = -5*w - 6, 2*w - 7 - q = 5*k for w.
0
Let v = 9 - 2. Let x(f) = f**3 - 8*f**2 + 9*f - 9. Let c be x(v). Suppose 0*g = c*g. Solve 3*z + 11 = -5*s, g*z - 2*z = 3*s + 6 for s.
-4
Let u(r) = -r**3 - 11 + 0*r**3 - 4*r**2 + 7 - 5*r. Let y be u(-3). Solve 2*w = 3*k - 0*k - 1, w + 4 = -y*k for k.
-1
Let i(t) = -t**2 + 9*t + 12. Suppose 0 = -4*q, -30 = -3*x - q + 2*q. Let s be i(x). Solve -2 = 2*z + 4*k, -4*z + 3*k - s*k = -5 for z.
1
Let n = -9 - -21. Let g = 20 - n. Solve 4*w + 5*l - 28 - g = 0, -24 = -4*w - 2*l for w.
4
Let a be 10/(2*-1)*-5. Suppose 0*c + z + 11 = 3*c, 4*z + 18 = -c. Let f = 34 + -32. Solve -f*d = -o + 3*d - 5, -5*o - a = -c*d for o.
-5
Let o(s) = s + 1. Let x be o(-1). Let l = 4 - x. Solve -4*m + 9 = 2*g - 3, 9 = l*g + 5*m for g.
-4
Let n be ((-1)/3)/((-1)/12). Suppose -2 - n = -3*u. Let g be 0 - 4/u - -5. Solve 5*h - 40 = g*c, -5*c + 5*h + 19 = 69 for c.
-5
Let q be -3*1/((-6)/158). Let s = q - 56. Solve -2*k - 4*c + 28 = 0, 0*k + 3*c - s = -2*k for k.
4
Suppose 4*h = 6*h - 12. Suppose g - h*g = -10. Suppose 3*q + 23 - 55 = -5*w, -8 = -4*w + g*q. Solve -4*n = 5*o - 3, 0*o = w*n + 4*o - 4 for n.
2
Let v(y) = -y**3 + 23*y**2 - 23*y + 30. Let j be v(22). Solve 0 = 3*g + 2*i - 4, -3*g - 4*i = -7*g - j for g.
0
Let x = 5 + -5. Let b be x*(-1)/(-2)*-1. Let w = 13 - 9. Solve 3*g + 3*o = -b*g - 9, -w*o = g + 18 for g.
2
Let x be 13*1*(1 + 0). Let t = -8 + x. Solve t*l + 9 = -3*v + v, 3*v + 3*l = 0 for v.
3
Suppose 2*y = w - 3, -3*y - 4 - 2 = -2*w. Solve y*i = 2*c + i - 7, -3*c + 30 = -5*i for c.
5
Let j be 36/(-48) - (-70)/8. Suppose 12*t = j*t + 16. Solve 3*g + 2*l = 4*g - 12, -4*g = t*l + 12 for g.
2
Let t be (1 - -1)*(2 - 0). Suppose 2*a = t*a. Solve -b + a = g - 2, 2*g = -b for g.
-2
Let h be (-130)/(-12) + (-1)/(-6). Let j be (h - 5)/(3 - 2). Solve -2*u - 8 = -j*n + 2*n, 5*n = -4*u + 23 for u.
2
Let j = 156 - 146. Solve -2*l - 3*l = j, -2*h = 2*l for h.
2
Let f be (1/(-1) - -3) + 2. Suppose 16 = 3*n + n. Let m = n + f. Solve 0 = -p + a - 9, a = 4*p + 4*a + m for p.
-5
Suppose -7*n = -2*n. Let d(s) = s**3 + 3*s**2 - s - 1. Let v be d(-3). Let j be (-1)/(-2) - (-63)/18. Solve w = -h + 2, w + 4*w + v*h - j = n for w.
0
Suppose 29 = -5*n - 1. Let v = n - -10. Solve v*x + 12 = 2*t, 2*x - 5*x + 5*t - 16 = 0 for x.
-2
Let v(p) = p**3 + 10*p**2 - p - 7. Let r be v(-10). Solve -11 = -2*h - 0*h + r*b, 10 = 4*h - 2*b for h.
1
Let i(s) be the third derivative of s**4/12 + 2*s**3/3 - s**2. Let c be i(-3). Let o = -2 - c. Solve -8 = -4*l, o = -5*v + 2*v + l + 13 for v.
5
Let a(x) = x**3 + 8*x**2 + 3*x - 8. Let o be a(-6). Let n = 18 - o. Let l be 2/7 - 48/n. Solve 0 = 3*u + j - 7, 5*u + j = l + 11 for u.
3
Suppose -v = -6*v + 10. Suppose -v = -k - 1, 2*w - 11 = -k. Solve 3*b - w*b = 5*p + 31, -4*b - 5*p = 37 for b.
-3
Suppose 4*a - 30 = -5*d - a, 3*d - a = 22. Solve 5*w + 4*f - d = 3, 0 = -4*f for w.
2
Suppose 16 = -5*t + 41. Solve 4*h + t = 3*s, -5*h = 3*s - 4*s + 9 for s.
-1
Let x be 9/7 + 18/(-63). Suppose x = 4*k - 3. Suppose 0 = 3*l - 6. Solve -5*f + 4*s = k, 0 = l*f - 0*f + 4*s + 6 for f.
-1
Let n be 2/(-7) - 23/(-7). Let w = n + -1. Suppose 0 = 2*a - 4 - w. Solve -11 = -5*u + 2*c - 4, 0 = a*u + 5*c - 29 for u.
3
Let a = -11 - -13. Suppose t = -h + a, 2*h = 3*h + 3*t - 4. Solve -3*l = -6, 2*