58 - 46. Let h be (-5)/(-2)*(-4)/(-5). Suppose -11 = h*v - i. Solve -4*n + v = n for n.
4
Suppose u = 4*u - 18. Let l = u + -17. Let w = l + 17. Solve -2*m + w*m = 20 for m.
5
Let w be (2/1 - -1) + -1. Suppose -3 = -j - 2, -9 = -2*z + j. Suppose -3*a + w*a + 5 = -l, 10 = z*l. Solve r + 4 = a for r.
3
Suppose -v + 5*v = 20. Suppose 13 = v*i - 7. Suppose -8 = i*p - 0*b + 2*b, 5*p = -5*b - 20. Solve 0 = -p*c - c for c.
0
Let g be (0 - (0 + 0)) + 2. Let u be (-6 + 11)*g/1. Solve 0 = -3*v + 5*v - u for v.
5
Let j be (4/(-3))/1*12/(-4). Solve j*c = -6 - 6 for c.
-3
Let n(a) = -2*a - 7. Let x be n(-6). Let y be (2/x)/(3/30). Let s(o) = o - 2. Let w be s(5). Solve y*v = v - w for v.
-1
Suppose -6*b + b = -10. Suppose -u + r = -9, 23 = b*u - 4*r + 1. Suppose 0 = -0*d - d + u. Solve d*x = 2*x - 25 for x.
-5
Let s(z) = z + 2. Let l be s(0). Solve l*u - 4*u = 8 for u.
-4
Let y = -3 - -5. Suppose y*t + 5 = 3*t. Solve t = -a - 0*a for a.
-5
Let n be (-1)/(-2) - 6/12. Solve n = -t + 6 - 3 for t.
3
Let s(f) = f + 2. Let w be s(0). Suppose -2*u + 4 = 5*d - 4*d, 5 = w*d + u. Let v be (-1)/(3/(-36)) - d. Solve -4*g - v = -2*g for g.
-5
Let c = 10 + -3. Suppose f + 3 = c. Suppose 0 = 2*d - f*d, 2*k - 8 = 4*d. Solve 0 = 4*q + k - 12 for q.
2
Suppose -3*d - 2*h = 38, 4*h + 60 = -5*d - 6. Let y = d - -18. Solve 4*n + 28 = y for n.
-5
Let b(m) = -m**2 - 7*m - 12. Let c be b(-3). Solve c = 3*l + 2 - 5 for l.
1
Let d(y) = -y**3 - 6*y**2 + y + 8. Let w be d(-6). Solve -w*v - 7 + 1 = 0 for v.
-3
Let n be (-6)/2*(-6)/9. Suppose -2*u + 27 = o, -u + 5*o = n*o + 4. Solve 3*g + 4 + u = 0 for g.
-5
Let d = 6 + 3. Let u = 39 - d. Solve 5*r + u = 10 for r.
-4
Let y be (-1 - (4 - 4)) + 8. Solve -3*a - 1 + y = 0 for a.
2
Let b = 6 - 0. Let h(k) = 22*k**2 - 3*k + 1. Let v be h(1). Solve -p + v = -b*p for p.
-4
Let p = -4 + 4. Solve 2 = -p*h - 2*h for h.
-1
Suppose -n + 4*l - 5 = -0*n, 0 = 4*n + 2*l + 2. Let t(y) = 3*y**2 + 0 + y + 1 + y. Let g be t(n). Solve -3*i - g - 7 = 0 for i.
-3
Let s be (-2)/(-2 + (-8)/(-6)). Solve -s = -n - 4 for n.
-1
Suppose 2*r - 6 = -2*l + 6, -21 = -3*r - 4*l. Suppose -3*y + 5 = 2*f - 3, f + 5 = r*y. Solve 0 = -i + y*i + 5 for i.
-5
Suppose -w + 4*h = 4*w + 2, 2*w = 2*h. Let r be 9/(1 - w) - 2. Solve -2*j - r = -5 for j.
2
Suppose 0 = 4*h - 0*h - 64. Let d = 28 - h. Let r be (-9)/(-6)*32/d. Solve -2*k = -4*k + r for k.
2
Let r be 15 + -6 + -2 + 2. Solve -5*p - r = -4 for p.
-1
Suppose -5*j - 4*a + a + 35 = 0, -3*j = 4*a - 32. Suppose -2*s - j = -3*s. Solve 0 = -g - s + 6 for g.
2
Suppose -6 + 0 = -3*b. Suppose 0 = 2*n - 8 + b. Suppose 0*j - 63 = -n*j. Solve 5*m = -4 - j for m.
-5
Suppose -5*k + 22 = -18. Let g = -3 - -6. Suppose g*t + t = k. Solve -t*j - 1 = -3*j for j.
1
Suppose -j = -3*w - 5 - 0, -3 = j + 5*w. Solve j*c - 3*c = 5 for c.
-5
Let o(r) = -2*r + 2. Let b be o(-2). Suppose 5*c = -b*a + 2*a + 28, 0 = -c + 4*a - 4. Solve 2 = c*z - 18 for z.
5
Suppose -f = -3*w - 6, 6 = f + 3*w - 0*w. Solve -3*z + z = f for z.
-3
Let d be (-3 - 20/(-7)) + (-86)/(-14). Solve -y = 2*y - d for y.
2
Suppose 0 = 3*l + 9, l = -4*i - 0*i - 51. Let f(j) = j + 15. Let v be f(i). Solve 2*k = v*k - 1 for k.
1
Suppose 0*p + 2*p = -8, 0 = z + 4*p + 8. Suppose 0 = -2*q + z. Solve 3*w - q = -10 for w.
-2
Suppose -2*q + 20 = -0. Solve -q = y - 3*y for y.
5
Let s(y) = y + 4. Let g = 4 + -8. Let o be s(g). Solve o*n = 2*n + 6 for n.
-3
Let h be 4/(-16) - (-21)/4. Let b be (h/(-4) + 2)*4. Suppose -b*o = -3*n - 18, 3*o = -2*o - n. Solve o = 3*q - 2 for q.
1
Suppose -4*o + 10 = -c - 166, -44 = -o - 5*c. Suppose -2*x + z = 2*x - 27, 0 = -5*z + 25. Suppose 3*m = -x + o. Solve -2*k - k = -m for k.
4
Suppose 7*r - 10 = 4. Solve 0 = -v + 1 - r for v.
-1
Let h(a) be the first derivative of a**4/24 + 3*a**3/2 - a**2/2 - 2. Let m(w) be the second derivative of h(w). Let y be m(-4). Solve 2*b = -y - 5 for b.
-5
Suppose -5*x - 3*p + 16 = 0, -6*x + x + 4*p + 2 = 0. Solve -1 = -x*t + 3 for t.
2
Let p(l) be the third derivative of l**4/24 - 7*l**3/6 + l**2. Let i be p(12). Solve 24 = i*h - 1 for h.
5
Suppose 0 = -5*g + 30 - 10. Let f(u) = 4*u**2 - 2*u + 1. Let q be f(1). Let y = 0 + q. Solve h = g*h - y for h.
1
Let w = -30 + 32. Solve -w*y - 3 = 5 for y.
-4
Suppose -z + 9 = 2*z. Suppose 6*y + z = 9*y. Solve -5 - y = -3*h for h.
2
Let y(s) = -10*s - 17. Let j(q) = -5*q - 9. Let a(t) = -7*j(t) + 4*y(t). Let r be a(-7). Let b be r/9*12/5. Solve 7 + b = -5*p for p.
-3
Let t = 50 - 29. Solve -4*z - 5 = -t for z.
4
Suppose -30 + 2 = -7*g. Solve 0 = g*u + u - 10 for u.
2
Suppose 6*o - 2 = 10. Solve 1 - 11 = o*w for w.
-5
Suppose -5*x = 3*t - 3*x + 2, -2*x - 8 = 0. Let w be 6/2 + (-6)/(-2). Solve -w*c - 20 = -t*c for c.
-5
Let t(r) = 0*r + 0 + 2 - r. Let b(v) = v**2 - 4*v - 5. Let n be b(5). Let k be t(n). Solve 4*c - 3*c = -k for c.
-2
Suppose 2*p + 4*f = -0*f - 4, 4*p + 5*f = 1. Let b be (-312)/(-54) - (-4)/18. Suppose s + b = p*s. Solve 0*x + 6 = -s*x for x.
-3
Suppose -20*a + 16*a + 20 = 0. Solve 0 = -a*f + 4*f - 5 for f.
-5
Suppose -2*p - 4*y = -26, -4*p = y + y - 22. Suppose m = -p*m - 12. Let r be 2*(1 - m)/2. Solve 0 = x + r - 2 for x.
-2
Let z be (-4)/26 + 4/26. Let i = 1 + 1. Suppose -i*t + 7 - 3 = 0. Solve -t*f - 2*f = z for f.
0
Suppose 0 = -3*y + 8*y - 15. Suppose -5*n + 33 - 8 = 0, -4*n = -y*c - 14. Suppose -g + 10 = c. Solve -5*v = -g - 12 for v.
4
Suppose -2*l - 5 = 5*h + 14, -5*l + 5*h = 30. Let x = 1 - l. Solve 3*m + x - 23 = 0 for m.
5
Let o(z) = 2*z - 8. Let a(i) = -i**3 + 5*i**2 + 7*i. Let q be a(6). Let n be o(q). Suppose s - 3*r - 19 = 0, -16 = -s - n*r + 6*r. Solve 2*b + s = -0*b for b.
-5
Suppose 6*a + a - 21 = 0. Solve -5*g - a - 2 = 0 for g.
-1
Let h = -3 + 2. Let b be (0/(-1) - 0)*h. Let k(y) = y**3 - y + 1. Let q be k(b). Solve q = -n - 4 for n.
-5
Let b be (-1)/(1/24*-2). Suppose -n + 2*s + 0*s + 8 = 0, -b = 2*n + 3*s. Solve n = -2*d - 4 for d.
-2
Let a be (8/10)/(6/15). Suppose -3*b = -2*b - a. Let n be (0 - (-1 + b))*-1. Solve 0 = -2*r + n + 3 for r.
2
Suppose -17 = -3*l - 5. Solve 0 = l*a + 4 + 12 for a.
-4
Suppose -3 = d - 3*z - 14, -5*z = -3*d + 21. Solve -x + 6 = d*x for x.
2
Let b(v) = -v - 1. Let z(f) = -f. Let c(s) = -6*b(s) + 5*z(s). Let x be c(6). Solve -2*n = 2*n + x for n.
-3
Let u be 1 - (1 - 2*2). Suppose u*j - 1 - 23 = 4*w, -j - 5*w = 6. Suppose -6 = -2*b - i, -3*b + 6 = 2*i - 3. Solve -x = b*x + j for x.
-1
Let j be ((-1)/(-2))/((-5)/(-40)). Suppose 0*l = -j*l. Solve l = -5*u + 10 + 10 for u.
4
Suppose 0 = 5*u - 4*u - 4. Solve -u*x - 10 = -2*x for x.
-5
Let t(w) = w**2 + 9*w + 11. Let a be t(-8). Suppose -a*z - 32 = z. Let v be -3*-1*z/(-6). Solve -j + v - 1 = 0 for j.
3
Suppose 3*a = g + 5 + 2, 4*g - 12 = 2*a. Solve 0 = -10*y + 5*y - g for y.
-1
Let f = 4 - 0. Let k be (16/(-12))/(8/(-36)). Let s = k - f. Solve -s = -5*m + 23 for m.
5
Let p(o) = o**2 + 5*o - 7. Let j be p(2). Solve -8 = -5*v + j for v.
3
Let n = -12 + 18. Let s = n + -5. Let l(m) = -m**2 + 7*m - 5. Let v be l(5). Solve s = v*j + 16 for j.
-3
Let y = -37 - -39. Solve 8*k - 7*k + y = 0 for k.
-2
Suppose 5*n - 4*r = -7*r + 93, -5*r - 49 = -3*n. Solve -4*b = -2 - n for b.
5
Suppose -2*i = -3*z - 19, 4*z + 0*z - 4 = 0. Solve 0 = -5*n - i - 14 for n.
-5
Let h = 15 + -13. Solve h = t + 7 for t.
-5
Let u be (3/(-2))/((-9)/(-48)). Let z be u/(-10) + (-2)/(-10). Solve r + z = 5 for r.
4
Suppose -3*k + 11*k = 0. Solve k*b + 2 = b for b.
2
Let i = -33 + 53. Solve -3*y = 2*y + i for y.
-4
Let l = -12 - -14. Suppose -i - 3*s + 0*s - 5 = 0, -l*i + 4*s = -10. Solve i = -f + 5 for f.
4
Let c = 2 - 5. Let j be 1/((c + 0)/(-9)). Suppose o = j*o - 4. Solve 0*p - 2 = -o*p for p.
1
Suppose -1 = -5*l + c + 3*c, l - 3 = -2*c. Let a be l - 1 - 6/(-2). Solve 1 + 5 = -a*z for z.
-2
Let v(s) = s**2 - 4*s - 5. Let w be v(4). Let f be (-2 - 0) + w/(-1). Solve 0*p = -3*p - f for p.
-1
Suppose -12 = -4*p - 0. Suppose p*w + 25 + 81 = 4*t, 3*t + 3*w = 69. Suppose -z - t = -3*s, 2*s + 2*z - 18 + 4 = 0. Solve g = -3*g + s for g.
2
Suppose 4*a - 4*x = 28, -7*a = -5*a + 3*x - 34. Solve 2*i = 3 - a for i.
-4
Let c be -1 - 0 - (-7 - 0). Suppose c + 18 = j. Suppose 0 = 3*t - 7*t + j. Solve 3*g - t = 6*g for g.
-2
Suppose -f - 57 = -2*p + 4*f, -3*p + 73 = -5*f. Solve 5*c + p - 1 = 0 for c.
-3
Let i(q) = -q**3 - 7*q**2 + 2*