uppose 57 = 4*t - 23. Let f be 1/5 + 336/t. Suppose -u + 3*y = -f, -5*y - 30 = u - 3*u. Solve s + 4 = u*s for s.
1
Suppose 3*z - 24 = -6. Suppose 0 = 2*g - 5*d + 4, g - d = 3*g - 8. Let x(b) = b - 24. Let m be x(24). Solve -z = g*y - m*y for y.
-2
Let u = 21 - -2. Let k = -20 + u. Let l(c) = -4*c - 1. Let g be l(-1). Solve 0 = g*p - k + 6 for p.
-1
Suppose 3*w - 13 = -k, -31 = -0*w - 5*w + 3*k. Suppose 3*p - 35 = -3*x + 5*p, w*x + 3*p - 52 = 0. Let z = x + -1. Solve 5*m - 3*m + z = 0 for m.
-5
Let c be (8/(-10))/(6/(-30)). Solve w + 3 = c for w.
1
Let d(l) = -l**2 - 13*l - 3. Let w be d(-13). Let g be (w - -6) + 6 + -2. Solve 2*k - 1 = -g for k.
-3
Let f be 3/((-5)/((-40)/6)). Solve u - 2*u = -f for u.
4
Let w(a) = -a**2 + a + 2. Let p be w(2). Suppose f - 7 + 4 = p. Solve f*v = 5*v + 2 for v.
-1
Let z(b) be the first derivative of -3*b**2/2 - 2*b - 4. Let h = -4 + 2. Let t be z(h). Solve -t*p = -p for p.
0
Let w = 0 + 2. Solve 3*s - w = 1 for s.
1
Suppose -2 = -n - 0. Let d(s) = -1 - 4*s**3 + s**3 + 2*s**3. Let u be d(-1). Solve n*j - 8 = -u*j for j.
4
Suppose -k = 2*k - 12. Suppose 0 = 3*q - k*q. Solve 2*x = -q + 10 for x.
5
Let o be (-2)/(-8)*-2 + (-9)/(-2). Solve -g = -5*g - o for g.
-1
Let h = 5 + 5. Suppose 2*r - 3 = 5*f - 7, h = f - 5*r. Solve f*w = 4*w for w.
0
Suppose 5 = s + 2. Suppose s*v + v - 12 = 0. Solve -15 = -2*h - v*h for h.
3
Suppose -5*x + 29 = 4. Suppose x*m - 12 = 2*m. Solve -5 = m*c + 11 for c.
-4
Let b = -2 + 2. Solve b = -5*v + 11 - 1 for v.
2
Let a = -29 - -31. Solve 0 = a*m - 3 - 3 for m.
3
Let k be -2 - -3*(-11)/(-9)*3. Solve -k = -4*o + 3 for o.
3
Let s be -2*1*1 + 4. Let n(x) = -2*x - 6. Let y be n(-4). Solve 0 = y*a - a + s for a.
-2
Let v(l) = l**2 + l - 4. Let c be (-4)/10 - (-34)/10. Let p be -4 + 0 + 3/c. Let y be v(p). Solve -2*m + 8 = y*m for m.
2
Let d(v) = 3*v - 2. Let c be d(3). Let h(n) = -3*n + 3*n - c + n. Let j be h(10). Solve -19 = -j*i - 4 for i.
5
Let j(a) = a**2 - 6*a - 14. Let v be j(8). Suppose v*t - 3*t = 0. Solve 0 = s - t - 4 for s.
4
Let v(d) = d**2 - 6*d - 6. Let l be v(5). Let a = 15 + l. Solve -a*k = 15 - 3 for k.
-3
Let o(g) = -g + 7. Let l be o(5). Suppose -s = -l*s. Suppose -6*r = -r. Solve -y - 4 + s = r for y.
-4
Let r be 2/(-3) - (-22)/6. Suppose 0*v + r*v - 27 = 3*o, -4*v + 2*o + 28 = 0. Solve -15 = -v*t - 0*t for t.
3
Suppose 37*v - 33*v - 16 = 0. Solve 2*m - 2 = v*m for m.
-1
Suppose -4*i + 32 = 5*s, 2*s - 6*s + 5*i = -1. Suppose 0 = -q + s*q. Solve y + 3*y = q for y.
0
Let i(p) = -p**2 + 11*p - 18. Let c be i(8). Solve 2*h - c*h - 16 = 0 for h.
-4
Let d be 2/(13/3 - 4). Solve 0 = -3*p - d - 6 for p.
-4
Suppose -2*t = 18 - 22. Solve -t*c - c + 3 = 0 for c.
1
Let z(j) = 7*j - j**2 + 0*j**2 + 2*j**2 - 4. Let u be z(-8). Solve q = -u*q - 25 for q.
-5
Suppose 2*q = 5*y + 32, -y - 2*q + 5*q = 9. Let g(n) = 2*n - 5. Let j be g(-3). Let p = y - j. Solve 0 = -r - p + 10 for r.
5
Let f(b) = b - 5. Let p be f(7). Let m = -1 + p. Let i be m/2*(3 - 1). Solve -i = -2*h + 5 for h.
3
Suppose -x + 3*q = 2, -2*x + 0*q = -4*q. Suppose -12 = 2*g + g, -b - 3*g = 2. Let f = b - x. Solve -f*o = -2*o - 8 for o.
2
Suppose 10 = -3*g + 8*g. Suppose 30 = 5*r + 5*j, -5*r - g*j + 21 = -0*j. Solve 0 = 2*h + r - 1 for h.
-1
Let j = 2 + 1. Suppose 32 = w + j*w. Solve 4*c = w*c + 8 for c.
-2
Let x(n) = -4*n - 6. Let m be x(-2). Solve 3 = j - m*j for j.
-3
Let a be ((-40)/(-70))/(2/14). Solve 2*j - 4*j = -a for j.
2
Let b = 9 - 0. Solve -4*k + b = -k for k.
3
Let k be (2/3)/(10/(-15)). Let y = 3 + k. Solve y*q - 5 = 5 for q.
5
Suppose 10 = 4*j + 2. Solve j*b - 10 + 2 = 0 for b.
4
Let j be 1 + (11 + 3)/2. Suppose -7*c - 2*s + j = -2*c, 3*s - 7 = -5*c. Solve 0 = c*b + 6 - 2 for b.
-2
Suppose -7 = -3*x + 2*y - 3, -x - 3*y + 16 = 0. Solve -4*o = -x - 8 for o.
3
Suppose -16 = -3*u - 1. Solve u*m + 20 = m for m.
-5
Let f be (6/(-9))/((-3)/9). Let v be f + (13 - (0 - 1)). Suppose -8*x + 3*x + 2*a = -12, 0 = -3*x - a + v. Solve -x*r + 24 - 4 = 0 for r.
5
Let w(o) = -o + 14. Let u be w(6). Let d be (6 - 5) + (11 - 0). Let g = d - u. Solve b - g - 1 = 0 for b.
5
Let n(i) = i**2 + 7*i - 4. Let t be (-2)/(-3)*(-66)/(-4). Suppose -2*x - t - 5 = 0. Let b be n(x). Solve 3*q - q + b = 0 for q.
-2
Let r(d) = -12*d - 8. Let x(q) = -11*q - 7. Let v(y) = -3*r(y) + 4*x(y). Let m be v(-2). Solve -4*w + m = -7*w for w.
-4
Let v be (-2)/6 + 4/3. Suppose -v = r + 3. Let o be 2 + r + (2 - -2). Solve -5 = -o*k + 3 for k.
4
Suppose 0 = d + 5*w - 1, w + 0*w = 0. Let t be -3 + (2 - (0 + 3)). Let a be -1 + t*(-2)/8. Solve a = 2*n - 3*n + d for n.
1
Let t = -5 + 5. Suppose t = -4*g + 5 + 7. Solve g*r + r = 8 for r.
2
Let v = -15 + 18. Solve y - 2 = v*y for y.
-1
Let n(c) = -c**2 + 12*c - 9. Let k be n(11). Solve -7*b + k*b - 5 = 0 for b.
-1
Suppose -4*o + 25 = o. Suppose 5*v - 2*c - 34 = -0*c, o*v - 26 = -2*c. Solve v = -2*i - 2 for i.
-4
Suppose 5*t = 4*c, -t + 17 = c + 2*t. Solve c*p + 3 - 23 = 0 for p.
4
Suppose -2*l + 5 = -3*l. Let i = l - -11. Suppose -4*y - q - 2*q = -12, -2*y - 3*q + i = 0. Solve -10 - 2 = -y*d for d.
4
Let s be 1 + -2 - (-36)/1. Suppose -a + s = -5*l, l = -7*a + 2*a + 19. Let r(g) = -3*g - 8. Let d be r(l). Solve 5*b - 3*b - d = 0 for b.
5
Let d(t) = -7 + 0 + 2*t + 1 - t. Let c be d(8). Suppose 25 = -3*p - c*p, -5*w + 3*p + 55 = 0. Solve -2*h + 2 + w = 0 for h.
5
Let n = -10 - -14. Solve -3*p = -p + n for p.
-2
Let j = -4 - -9. Suppose -j*f + 8 = -3*f. Let h = 4 - f. Solve h*s = -3*s - 9 for s.
-3
Let t be -10*((-9)/(-6) - 2). Suppose 24 = 3*f + f. Solve f = 3*r - t*r for r.
-3
Suppose -3*p + 5 + 1 = 0. Solve 5*c + 15 = p*c for c.
-5
Let n(d) = 4*d - 2. Let g = -1 + 3. Let o be n(g). Let i(p) = 6*p**2 + p + 1. Let b be i(-1). Solve 4*s = o*s - b for s.
3
Let c(r) = -r**3 - 2*r**2 - r. Let t be c(-1). Solve -5*d + d - 4 = t for d.
-1
Suppose -i + 2 = -0*i. Suppose 0 = 5*l - 16 - 4. Solve l = i*x - 2 for x.
3
Suppose -5*r + 7 = -3*r + u, 3*r - 3*u - 15 = 0. Solve -r*t + 5*t + 3 = 0 for t.
-3
Let z be 1/(-1)*-1*3. Solve d - 6 = -z for d.
3
Let m = -2 - -2. Suppose 8*f - 3*f = -2*x + 12, -5*f = 5*x. Solve m = -v - 3*v - f for v.
-1
Let r be 2/6 + 4/6. Let a(t) = t**2 + 3 - r - 4 - t. Let h be a(-2). Solve 12 = -4*q - h for q.
-4
Let p = 95 - 70. Solve -3*r - 2*r = p for r.
-5
Suppose -2*o - o = -18. Let h(u) = u + 8. Let j(x) = -2*x - 9. Let c(y) = -3*h(y) - 2*j(y). Let f be c(o). Solve 0*d - d + 5 = f for d.
5
Suppose -5*v - 6 = 4. Let p = 2 + v. Solve p = 4*l - 7*l - 15 for l.
-5
Let i(k) = -k**2 - 6*k + k**2 - k**3 - 5 - 5*k**2. Let a be i(-4). Solve 2 = a*w + 5 for w.
-1
Let u = 7 + -6. Let c be (5 - 2)*u + 2. Let y be 0 + (-1 - 2/(-1)). Solve -c + y = 2*m for m.
-2
Suppose 3*u - 2 = 4. Suppose -y + 30 = u*y. Solve 5*k - 25 = -y for k.
3
Let b(n) = n**2 - 2*n - 1. Let f be b(4). Suppose 4*m = f*m. Suppose -3*z + 13 + 2 = m. Solve z*q = 4 + 6 for q.
2
Let l = -14 + 10. Let p be l/(-12) - 3/9. Solve p = -7*s + 2*s - 10 for s.
-2
Let u(m) = -m**2 - 11*m - 13. Let f be u(-7). Solve 0 = -g + 6*g - f for g.
3
Let k(g) = g**3 + 5*g**2 - 3*g - 4. Let l be k(-5). Suppose -10 - l = 3*h. Let t = h + 13. Solve 3*d + t = d for d.
-3
Let b(w) = 6. Let n(v) = v - 11. Let j(m) = 5*b(m) + 3*n(m). Let i be j(2). Let x = -10 + 18. Solve -i*s + x = -s for s.
4
Let r = 18 - 8. Let i be 28/r - (-4)/20. Let w(a) = a**2 + a. Let b be w(1). Solve -b*g = i*g for g.
0
Let w(h) = 6*h**2 - 1. Let r be w(-1). Suppose 0 = 5*p + 24 - 69. Suppose -f + 13 = 5*z + 3, -p = -4*z - f. Solve r = -s + z for s.
-4
Suppose -4 = -2*w + 2. Suppose w*a = -a. Solve 0*c + 4*c = a for c.
0
Let s(q) = q**3 + 2*q + 0*q - 2*q**2 - 4*q. Let f be s(2). Let w be ((-6)/f + 1)*2. Solve 2*n - 9 = w*n for n.
-3
Let j(i) be the first derivative of i**4/4 - i**3/3 + i**2/2 + 11*i + 2. Let b be j(0). Solve 5*g + 1 = b for g.
2
Suppose 0 = -5*o + 4*o + 4. Solve -j + 6 = -o*j for j.
-2
Let z(i) = -2 - 3*i - 4 + 2*i + 0*i. Let d be z(-8). Solve -5*r + d*r = -15 for r.
5
Suppose 2*l = -2*l + 12. Let r be 1*13 + 3/l. Let k be 10/r - (-2)/7. Solve -2*b + k + 3 = 0 for b.
2
Let x(p) = -p. Let u be x(-4). Let k be (0 + -9)*u/(-3). Suppose -35 = -5*s + 2*r, 5*r - 4*r = -5*s + 20. Solve -13 = s*j + k for j.
-5
Let k = 85 - 78. Solve k*u - 4*u + 3 = 0 for u.
-1
Suppose 3*d = -2*d + 40