*h + b = 4*i for h.
2
Suppose -5*i - 2 = m + 13, 2*m - i - 14 = 0. Solve m*j - 2*z - 2 = 0, z = -5*j - 4 + 3 for j.
0
Suppose 0*r - 5*r = 0, -l + 4*r = 3. Let b = l + 23. Solve 4*s + s + b = 5*j, -s = 2*j + 1 for j.
1
Let v = 3 - -1. Suppose 27 = 5*b + v*q - 13, -5*q = -3*b + 61. Solve 2*j + 2*j + 5*z - 24 = 0, 4*j = 4*z - b for j.
1
Let b = 3 - -1. Let k be (-4)/2 + (8 - b). Let y(s) = s**3 - s**2 - s. Let j be y(k). Solve -j*d + 4 = 0, -2*a + 5*d - 18 = -0*a for a.
-4
Let q = -36 - -61. Solve -5*w = 3*o + q, 4*o = -w - 4*w - 30 for o.
-5
Let z(k) = 3*k - 1. Let i be (12/4)/((-3)/(-2)). Let o be z(i). Suppose o = -c + 9. Solve 0 = -c*v - 5*l + 50 - 9, 13 = 2*v + l for v.
4
Let g(c) = -c**3 + 3*c**2 + 3*c. Suppose 3*u - 6 = -0*u. Let b = 1 + u. Let k be g(b). Solve 4 - k = -5*v + 5*m, -m = 2 for v.
-1
Suppose -4*c + 3*c = 0. Suppose c = h + 3 - 33. Solve 0 = 2*n - n + 4, -5*n = -2*a + h for a.
5
Suppose -11*d + 10*d = 4. Let y(k) = -k - 1. Let z be y(d). Solve -z*v + 19 = -5*m + 5, -2*v - 3*m = 16 for v.
-2
Let a(v) = 22*v**3 - v**2 + 1. Let m be a(1). Suppose 2*k + 0*d - 16 = -3*d, -4*k - d + m = 0. Solve -k*z + 4*n = 5, 0 = 5*z + 4*n + 5 - 0 for z.
-1
Suppose 5*w = 4*j - 124, 0*j - 3*j + 2*w + 86 = 0. Let g = j - 16. Solve -3*l = -4*n + g, -2*l + 5*l + 2*n - 14 = 0 for l.
2
Let l be ((-1)/(-2))/((-1)/(-6)). Let f = -11 - -15. Solve 12 + 3 = -o - 5*a, f*o + l*a - 8 = 0 for o.
5
Let c = 3 - -1. Solve c*g - 7 = 5*p + 20, 0 = 5*g + p - 12 for g.
3
Suppose 2*f = 9 + 1. Suppose 0 = -2*z - 0*z + 6. Solve -7 = -3*r + 2*p, -r + f*p = -z*r + 11 for r.
3
Suppose -4*q = -5*g + 221, q + q - 227 = -5*g. Let d be (-6)/10 + 27/g. Solve 0 = -5*t - 3*s - 15, 2*t + 6 = s - d*s for t.
-3
Let b(h) = 4 - 2*h - h + 4*h + 20. Let g be b(-11). Solve -5 - 18 = 4*u + l, -2*u - g = l for u.
-5
Let w(d) = 7*d - 3. Let t be w(4). Solve -t = -5*o - a - 0*a, -a - 10 = -2*o for o.
5
Let l be -6*1/(-2)*(-8)/(-12). Solve l*w = -5*q, 7*w - 2*w - 31 = 3*q for w.
5
Let w(b) = b + 22. Let l = -49 + 32. Let p be w(l). Solve 7 = t - p*z - 14, -5*t = 5*z + 45 for t.
-4
Let w(q) = q**2 - 3*q - 1. Let y be w(4). Suppose 2*k + 2*f = -0*f + 10, -2*k - y*f + 12 = 0. Solve -5*g - i + 3 = 0, k*i + 3 = -2*g - g for g.
1
Let c(a) = a - 7. Let j be c(6). Let h = 2 - j. Suppose n - 2 = -s - 3*s, 4 = -5*s + 2*n. Solve 5*k - 4*d - 22 = 8, s = -k - d - h for k.
2
Let y be 5/(-15) - (-147)/9. Solve 3*d = -2*o - y, 5*o + 3*d + 3 + 19 = 0 for o.
-2
Let n = 26 - 24. Solve 3*u - 6*u + 13 = -2*w, -n*u - 18 = 4*w for w.
-5
Suppose 4*g = g + 18. Let f(p) = 2*p - 5. Let m be f(4). Let l = g - m. Solve -l*c - 3*i + 9 = 0, 5 = 3*c + c - 3*i for c.
2
Let h = 16 - 11. Solve 0*r - 6 = 3*r + h*w, -2*r = 3*w + 4 for r.
-2
Suppose 2*w + 9*j = 5*j, -4*w + 4*j = -24. Suppose 0*l - 20 = -4*l. Solve l*f = 3*z - 8, -3*z + w - 12 = -f for z.
-4
Let z(i) = 3*i - 3. Let u be z(5). Let d = -6 + u. Solve -4*b - 2*c - 4 = 0, -3*b = -4*c - 25 + d for b.
1
Let n = 14 - -7. Solve 0*p - p = 4*u + 8, -5*p - n = u for u.
-1
Suppose -4*s = -2*l + 6, -3*l + s = 5*s + 11. Let r = l + 4. Solve r*j = -3*o - 6, 0 = -0*o - 4*o - 3*j - 9 for o.
-3
Let s(u) = u**2 + u - 3. Let q(i) = i - 4. Let x(f) = 4*q(f) - 6*s(f). Let d be x(2). Let c be 1/(-4) + d/(-8). Solve 0*l + l + z = 0, c*z = -2*l + 5 for l.
-5
Suppose -3*m - j + 14 = -8, j + 18 = 2*m. Let h be (-5)/(-20) - (-22)/m. Solve 4*k + 21 = -h*g, 6*g + 24 = g - 3*k for g.
-3
Suppose 3*r + 0*r = -3*r. Solve 2*y - 14 = -4*l, -y + r = 1 for l.
4
Suppose 4*t + 5 = -5*j, 0 = -t - 2*t - 2*j - 2. Let v = -6 - -12. Let z be v*(5/3 - 1). Solve -n - z*q + 24 = -2*n, n + q - 1 = t for n.
-4
Suppose -2*n - 26 = -4*p, p - n - 7 = -3. Let z = -25 + 29. Solve -4*x + 2*j = 2, 0*x + p = -3*x + z*j for x.
1
Let u(s) = s**3 - s**2 - 5*s + 2. Let a be u(3). Let c(z) = z + 5. Let t be c(-5). Solve -w + t*w = a*g - 16, -2*w + 11 = 3*g for w.
1
Suppose j = 4*f + 3*j - 16, -4*f + 16 = 4*j. Solve -i + 3*d - 1 = 0, 2*d = i - f*i - 14 for i.
-4
Let t(r) be the third derivative of r**6/120 - r**5/10 - r**4/3 + 5*r**3/3 - r**2. Let m be t(7). Solve -3*p = -3*v + m, -p + 16 = 4*v - 2*p for v.
5
Let d = 6 + 0. Let i be 154/d - (-1)/3. Let t(k) = k**3 + 5*k - 2. Let z be t(2). Solve -4*m = 3*s + i, -m = 2*s - 5*m - z for s.
-2
Suppose 14 = k - 3*q, 2*q - q = -4*k + 4. Suppose 0 = -2*c - k + 12. Solve -m + 5*m + 4*g + 8 = 0, 2*m = c*g - 11 for m.
-3
Suppose 0 = -4*c + 6 + 6. Suppose 0*j - j - 15 = -c*s, 4*s = -4*j + 20. Solve -5*r = j, -5*r + 15 = -5*l - 5 for l.
-4
Let h be ((-9)/(-6))/((-6)/(-40)). Solve -g - h = g - 2*b, 3*b = -3*g - 9 for g.
-4
Let j = -24 + 31. Solve 5*c - 4*w = 2 - j, -3*w = 3*c - 24 for c.
3
Let x = 2 + -4. Let y = x + 4. Solve 5*m - 4*j + 21 = 0, y = m - 3*j + 4 for m.
-5
Suppose -80 - 28 = -12*y. Solve 2*i - 27 = -4*b - y, -4*i - 9 = -b for i.
-1
Suppose 4*x = -3*q + 46, -34 = -2*q + x - 3*x. Let v = -20 + q. Solve -5*p + 1 = -4*b, p - 3 + 0 = -v*b for p.
1
Let v be (0 - (-3)/(-6))*4. Let a(y) = -3*y - 2. Let o be a(v). Solve t = -g + 1 + 1, o*t = g + 18 for t.
4
Suppose -4*b = 7*b - 22. Solve 2 = b*z, 3*j - 2*z = -6*z + 19 for j.
5
Suppose -3*n + 16 = -n. Suppose n*h - 20 = 3*h. Solve -3*p + 4*y + y - 5 = 0, h*p - y = -1 for p.
0
Let h be 7*2*1/(-2). Let o = h - -11. Suppose b + 2*t - 29 = -t, -b - o*t = -33. Solve -m - b = 5*n, n - 5*m - 7 + 0 = 0 for n.
-3
Suppose 2*z + 2*z = 0. Suppose 3*y - 6*y = z. Let s = y + 0. Solve 0 = 5*k + 2*a + 17, -5*k + 4*a = -s*a + 41 for k.
-5
Let w be (1 + 0)/1*5. Suppose 4*h = w*h. Solve 2*c - l = h, -2*c + l + l = -4 for c.
-2
Let n(z) = z + 13. Let i be ((-8)/(-5))/((-2)/10). Let a be n(i). Solve -a*r = 2*x - 3*x - 30, 2*x = -2*r for x.
-5
Suppose f - 8 = -6*k + 4*k, -4 = -2*f + 2*k. Suppose 5*n - 36 = -f*o, -5*o + 4*n = -3 - 1. Solve o*l - 19 = -3*m, 0*l + 2*l - 8 = 0 for m.
1
Let k = 4 + -9. Let a = k - -8. Suppose 4*i + 21 = 3*v, -a*i = 5*v - 5 - 1. Solve -v*r - 2 = -z - 3, 2*r - 4*z = 4 for r.
0
Let r(x) = -x**2 + x - 1. Let p(a) = 5*a**2 - 6*a + 4. Let h(s) = -p(s) - 4*r(s). Let v be h(2). Solve 2*o = -n + 7, 2*n + o - 5 = -v*o for n.
1
Let h(k) be the second derivative of -1/6*k**3 + 0 - 2*k - 1/2*k**2. Let o be h(-6). Solve -b + 4*s - 5 = 0, -3*b - 2*b + o*s = -5 for b.
3
Let i be 6/9 - (-26)/6. Solve 4*d - 17 = -i*r, -4*r + 3 = d - 4 for d.
3
Suppose -12 = -3*h - 0*h. Suppose h*m = 3 + 5. Solve -m = -5*t - 2*d, 4*d = -0*t - 4*t - 8 for t.
2
Let c be 108/(-45) + 6/(-10). Let t be (c - -3)*2/6. Solve k + 1 = t, 4*v - 2*k + 3*k = -17 for v.
-4
Let k(c) = 4*c + 1. Let i be k(1). Let g be 16 - (4 + (2 - i)). Let x = 0 + 3. Solve -2*f = -3*q - g, -3*q = -6*f + x*f + 18 for f.
3
Let z(y) = -y**3 - y**2 + 2*y + 2. Let t be z(-3). Let r = t - 14. Solve 0 = -5*s + 5*n, -3*n + n + 4 = r for s.
2
Let u(b) = -b**3 + 4*b**2 - 2*b - 1. Let v be u(2). Let g = 391 - 368. Solve -4*r = f - g, 0*f + v*f = 3*r - 6 for r.
5
Suppose 8*s - 42 = -2. Solve 4*m + 2*t - t + 14 = 0, -4*m = -s*t + 26 for m.
-4
Let a(c) = 2*c - 3. Let u(f) = 3*f - 3. Let w(i) = -6*a(i) + 5*u(i). Let j be w(8). Suppose 4*y + j = 7*y. Solve 0*b + 4*b + 3*v = 10, 5*b + 2*v = y for b.
1
Let u = 27 - 22. Solve -2*j - w + 1 = -6*j, 3*w = -u*j + 20 for j.
1
Let x(w) = -w + 18. Let d be x(11). Suppose 0 = d*v - 3*v. Let a(s) = -s**2 - s + 10. Let m be a(0). Solve 3*b + 5*j - m = 0, v*j - 2 = b - j for b.
0
Let g be (3 + (-38)/6)*3. Let u(q) = -q**2 - 9*q + 10. Let z be u(g). Let w be 105/12 - (-2)/8. Solve -2*o - 23 = -5*h, -h - 3*o = -z*o + w for h.
3
Suppose k - 4*k + 5*r + 4 = 0, -5*k + 14 = -r. Suppose -k*i + 9 = -6. Let a = -121 + 127. Solve 2*b + 30 = -2*l + a*l, i*l - 30 = b for l.
5
Suppose -5*s = 10, -3*i + 3*s - 5*s + 5 = 0. Solve -3*p = -i*q - 0*q - 3, 16 = 2*q + 4*p for q.
2
Let f be (-3)/2*24/(-9). Suppose 0*p = 12*p - 24. Solve f*w - 12 = 4*b, -p*b + w + 0 = 4 for b.
-1
Suppose -4*h + 35 = h. Let d = 11 - h. Suppose 0 = -d*r + 5*r - 2. Solve -3*n + 8*n + r*p + 24 = 0, 4*p + 20 = -3*n for n.
-4
Suppose -m = -3 + 1. Let s(c) = c - 2. Let r be s(4). Solve -5 = -m*l + 3*f + 3, -f = r for l.
1
Suppose 8*a - 2 + 2 = 0. Solve 5*s - 5*r + 14 + 6 = 0, -s - 4*r + 11 = a for s.
-1
Suppose -1 - 2 = -l. Let y = 5 - l. Solve -q + y*n = -3*n + 16, -3*q - 12 = -3*n for q.
-1
Suppose -3*w + 5 + 4 = 0