 + o = -s for s.
-5
Let f(s) = s**2 - 4*s - 21. Let a be f(-3). Solve 5*h = -a*h for h.
0
Suppose -28*y + 20*y + 48 = 0. Solve 7 = -n + y for n.
-1
Let u = 48 + -48. Solve -5*v + u = -5 for v.
1
Let i = 62 - 62. Solve -b + i*b = 0 for b.
0
Let b = -16 + 15. Let p be 3 - b*(-6 + 3). Solve p*u = -u for u.
0
Let s(i) = i**2 - 2*i - 2. Let r be s(4). Suppose v + 1 = 0, w - r*v - 5 = -v. Solve w = g + 2*g - 15 for g.
5
Let d(o) = -4*o - 5. Let w be d(-2). Solve 0 = -w*q - 4 + 13 for q.
3
Let h(o) = -o + 1. Let k be h(2). Let l be ((-1)/2)/(k/2). Solve -4 = -3*z - l for z.
1
Let s be 2*(3/(-2) + 2). Suppose c = 3 - s. Suppose -2 = -q + c. Solve 0 = -q*k + 2*k for k.
0
Let r(z) = z + 4. Let k be r(-4). Suppose f - 4 + k = 0. Solve f*i + 5 + 11 = 0 for i.
-4
Suppose 3*p = -4*c - 4 + 2, 0 = -p + 2*c + 16. Solve 9*f - 3 = p*f for f.
1
Let w be 18*1*(-1)/(-2). Let j(s) = s**3 - 9*s**2 + s - 4. Let c be j(w). Solve 3*u - 2*u + c = 0 for u.
-5
Let h = 25 - 40. Let b be h/2*2/(-3). Solve -13 = -b*m + 7 for m.
4
Let u = 6 + 3. Solve -3*h + 0*h - u = 0 for h.
-3
Suppose 7*i - 8 = 3*i. Let t = 24 + i. Solve 0 = -4*z - 10 + t for z.
4
Suppose 5*r - 32 + 7 = 0. Solve r*q + 5 + 10 = 0 for q.
-3
Let r be (-278)/(-14) - (-1)/7. Solve -10*t + 5*t = -r for t.
4
Let z be 2 + 47 + -1 + 1. Let r = z - 19. Let q be r*2/4 - 3. Solve 7*g + q = 4*g for g.
-4
Let d be 2*1 - (3 + -1). Suppose -3*m - m = 0. Suppose m = -4*y - d*y. Solve y = 2*x - 5 + 13 for x.
-4
Let t(b) = -b**2 + 5*b + 6. Let y be t(5). Suppose -q + 4*l - 10 = -l, 4*q - 2*l = 50. Solve -y*k = -3*k + q for k.
-5
Suppose 5*a + 2*k = 2*a + 23, 0 = -a + k + 11. Suppose -h = a - 29. Solve -2*m - 2*m = -h for m.
5
Let s be 17/(-102) + (1 - (-19)/6). Solve i = s*i + 15 for i.
-5
Let f be ((-16)/(-10))/(10/25). Solve -f + 6 = -2*x for x.
-1
Let d = 26 - 24. Let y = -8 - -13. Let k be 95/25 - (-1)/y. Solve -8 = d*h - k*h for h.
4
Let z = 0 - -1. Solve z = q - 4 for q.
5
Suppose c = 4*c. Solve c*v = v + 4 for v.
-4
Suppose -3*l + 4 + 8 = 0. Solve -15 = b - l*b for b.
5
Let s be 2/7 + 6/(-21). Suppose -4 = -s*r - 2*r. Solve 0 = -r*g + 4*g for g.
0
Let q = 8 - 1. Let v = -4 + q. Suppose 2*x - 50 = -v*x. Solve -6*i + i - x = 0 for i.
-2
Let k(d) = -2*d**3 - 4*d**2 - 4*d - 2. Let o(s) = s**3 + 7*s**2 - 8*s. Let v be o(-8). Suppose v = p + 2. Let z be k(p). Solve -3*y = -z*y - 9 for y.
-3
Suppose -5*h + 5*p - p - 12 = 0, -h + 15 = 5*p. Solve h*i - 8 = 4*i for i.
-2
Let h be 1*(0 + 3) - -10. Let z = h + -8. Solve 3 + z = -4*p for p.
-2
Let r(t) = -t**3 - 6*t**2 - t - 6. Let f be r(-6). Suppose f = -4*y - 4 - 4. Let d = y + 2. Solve d = -n - 2*n for n.
0
Let x be 14 + -6 - 1*3. Suppose 5*m - 5 = -z, 4*z - 20 - 17 = -3*m. Suppose x + z = 3*l. Solve 15 = -0*v + l*v for v.
3
Suppose 24 - 8 = 4*i. Solve i*n + 13 = 5 for n.
-2
Suppose -h + 0 = -2. Let c = -5 + 9. Solve h*l - c = -0*l for l.
2
Let v(f) = f**2 + 10*f - 2. Suppose -25 = -5*c, -3*c = -2*y - c - 30. Let a be v(y). Let w be (-4)/(-6) - a/(-3). Solve w = 4*u + 6 + 10 for u.
-4
Let f(z) be the second derivative of -z**5/20 + 7*z**4/12 - 7*z**3/6 + 4*z**2 + 10*z. Let n be f(6). Solve 0 = k - n*k - 5 for k.
-5
Suppose -2*z + 6 = -r, 5*r + z + 2*z - 9 = 0. Suppose -2*v = -5*f - 4, 0*v - 2*f = 3*v - 6. Suppose 2*n - 1 = 1. Solve -a - n + v = r for a.
1
Suppose -5*u - 6 = -16. Let t be -1 + 2 + -1 + u. Solve 4*w + t = -10 for w.
-3
Suppose 5*m + 8 - 38 = 0. Suppose m*v = 4 + 20. Solve 11 + v = 5*k for k.
3
Let f(p) = p + 9. Let v be f(-4). Suppose 116 = v*u - u. Solve -4*m = 9 - u for m.
5
Let u = 3 - -1. Let s = u - 4. Suppose 5 = -y, 15 + 1 = -2*i - 4*y. Solve -i + s = -2*h for h.
1
Let w be 18/4*52/39. Solve 3*z = -0 - w for z.
-2
Suppose 4*l - 12 = 4*t, 3*t = l - 5*l - 9. Let q be -2 + 1 - (-4 + 1). Solve 2*u + l = q for u.
1
Let t(i) = 2*i**2 + i + 1. Let b(h) = h**3 + h**2 - 3*h - 3. Let u be b(-2). Let r be t(u). Let k(g) = 3*g**2 - 2*g - 2. Let a be k(r). Solve a = n + 2*n for n.
2
Let v(m) = -m**2 - 25*m - 23. Let q be v(-24). Solve 0 = 5*n - 14 - q for n.
3
Let g(s) = s - 1. Let w = 9 - 8. Let p be g(w). Solve -b + 3 + 1 = p for b.
4
Let k(n) = -n**3 - 13*n**2 - 20*n + 26. Let x be k(-11). Solve -x*o = -12 + 4 for o.
2
Suppose 0*l - 2*l = 10. Let t be 1 + (l + 1)/(-2). Suppose j + 1 - t = 0. Solve 0 = j*o + 10 for o.
-5
Let b be (-5)/((-5)/8)*3/6. Solve b*i = -11 - 9 for i.
-5
Suppose -3 = 5*l + 2*k - 24, 4*k - 9 = l. Solve -l = -2*a + 5 for a.
4
Let k be -6 - 1/(1/(-1)). Let o be (-2)/k + 78/30. Suppose -o*u - 4 = -5*u. Solve -h + u = h for h.
1
Let a = 12 - 5. Let k = 12 - a. Solve s = 2*s + k for s.
-5
Let a(l) = l**3 - 5*l**2 - 7*l + 9. Let b be a(6). Solve 5 - 17 = -b*x for x.
4
Let m(d) = 5 + d**2 + 4*d**2 - 4. Let u be m(1). Solve -b - 15 = -u*b for b.
3
Suppose -4*i = -2*s + 4*s - 18, -2*i = -4. Solve -4 = -s*t + 1 for t.
1
Let x be 9/(18/(-16))*-1. Suppose 0 = -2*f - 0 + x. Solve f = -5*v + v for v.
-1
Let h be -4 - 5/10*-8. Solve 3*u + u - 4 = h for u.
1
Suppose 6*x - 306 = -3*x. Solve -x = 5*m - 9 for m.
-5
Suppose -4*z = z. Let u(k) = -k**2 - 4*k - 1. Let o be u(-5). Let b = o - -8. Solve b*y + z*y = -2 for y.
-1
Suppose 2*y = -0*y - 10. Let h be 6 - y/((-5)/(-2)). Solve -h = 5*u - u for u.
-2
Suppose 4*i + 2 = 2*q, 5*q - 45 + 18 = -i. Suppose -3*b = -3*v - 6, -4*b - 4*v + 2*v = -2. Let f = i - b. Solve -f = -2*t + 1 for t.
1
Let o = 38 + -9. Suppose 4*q + 1 = o. Let g = -2 - -7. Solve q*c - g = 2*c for c.
1
Suppose -3*j - 5*o = 15, -5*j - 4*o = 8 + 4. Suppose 0*x + 3*x = j. Solve x = -2*f + 2 - 0 for f.
1
Suppose 0 = 4*g + g. Solve 3*a - 3 = -g for a.
1
Suppose -13 + 1 = -4*s. Let t be (2 - 2)*s/9. Suppose t = 4*v - 9*v + 30. Solve v*r = 3*r + 3 for r.
1
Suppose 13 - 4 = 3*q. Suppose q*u + 0*u + 3*g - 12 = 0, 5*g - 10 = 5*u. Suppose -n = -1 - u. Solve -3 = -n*p + 3*p for p.
-3
Let x = 25 - 25. Solve x*m = m for m.
0
Let j = 1 + -1. Let y be (-2)/4*(-3 - -3). Let t = j + y. Solve 0 = r + 2 - t for r.
-2
Suppose 0 = 2*k + 5*h + 15, -5*k - 9 = 2*h - 3. Solve k = 6*q - q - 10 for q.
2
Suppose -5*n = -2*v + 3, -3*n + 7 + 8 = 3*v. Suppose a + n = 4. Solve -2*u = a*u - 25 for u.
5
Suppose 0 = 5*h - 3*h. Let c be -4*(-1 + h) + -1. Solve -2*g - 1 = c for g.
-2
Let j be (1 - -4) + -7 + 7. Solve j*d + 2 + 13 = 0 for d.
-3
Suppose 0 = 5*r - 4*r - 5. Solve 0 = r*g - 5 for g.
1
Let s(y) = -2*y + 13. Let t be s(5). Suppose n = t*n. Solve n = x + 4 for x.
-4
Let o = 61 + -37. Let r(p) = -15*p**3 - p**2 + 1. Let y be r(1). Let x = y + o. Solve -1 - x = -5*g for g.
2
Let n = 21 - 17. Solve 10 = 6*v - n*v for v.
5
Let y be (-1)/(-3)*(-3 - (-120)/4). Solve 5*a = 2*a - y for a.
-3
Let k = 1 + 1. Let x = k - -4. Solve x*s + 6 = 3*s for s.
-2
Let l be (-4)/(-18) + (-4)/18. Let r = l - -1. Suppose 0 = -2*o + 7 - r. Solve -o*j - 1 = -16 for j.
5
Let w = -67 - -68. Solve 3*b + w - 4 = 0 for b.
1
Let x be 2/(-5) - (-54)/10. Suppose 5*c + 32 = 4*s, -2*s = -4*s + x*c + 26. Solve u + s*u = 8 for u.
2
Suppose -5*b = 2*a - 21, -b + a - 6 = -2*a. Solve m - b - 1 = 0 for m.
4
Let s = 2 - 0. Suppose 10 - s = 2*a. Solve a*k - 1 = 7 for k.
2
Suppose -7*a + 17 = -4. Suppose -3*f = -12, 0*w - 4*f + 18 = -w. Let b be 0 + w*6*-1. Solve -d = a*d + b for d.
-3
Let v = -5 - -3. Let l be 10 + 1 + v + 0. Let s(x) = x + 9. Let y be s(-4). Solve -l = y*g - 4 for g.
-1
Suppose -4*t + 37 = -27. Let q = t - 4. Solve 0 = -6*k + 3*k + q for k.
4
Let a be (-6 + 6)*-1*1. Suppose -3*b - b + 36 = a. Solve -5*q + 29 = b for q.
4
Let n(o) = o**2 - 7*o + 4. Let a be n(6). Let j = a - -17. Solve 3*c = -0*c + j for c.
5
Let x(g) = -4*g + 0*g**2 + 4*g**2 + 2 - 5*g**2. Let l be ((6 - 0)/2)/(-1). Let m be x(l). Solve -m*p - 4 - 1 = 0 for p.
-1
Suppose 9 - 6 = b. Solve p = b*p for p.
0
Suppose p = 4*d - 39, 0*p + 1 = p. Solve -3*l + 2 = -d for l.
4
Suppose -2*q = -3*q + l + 13, 15 = q - 2*l. Let t = -8 + q. Suppose t*v = -3*d - d + 20, 0 = 2*d - 10. Solve v = b - 0 - 1 for b.
1
Suppose 0*x + 32 = -2*x + 5*h, -14 = x - 2*h. Let o be x*(-2 + 1) - 2. Solve o*b = 2*b - 4 for b.
-2
Let r(v) = -v**3 + 8*v**2 + 2*v - 3. Let i(c) = 2*c - 16. Let y be i(12). Let h be r(y). Solve 4*w - h = -5 for w.
2
Let s = 77 - 73. Solve -s*n = -n for n.
0
Let s be 2/(-9) - 220/(-99). Solve -s*x = x - 3 for x.
1
Let x(o) = -o**3 - 6*o**