r y.
-4
Let b(v) = -v. Let z(r) = r + 6. Let j(f) = 2*b(f) + z(f). Let n be j(0). Solve -2 = 2*y + n for y.
-4
Suppose 2*f + 2*v - 37 = -13, -2*f + 27 = 5*v. Solve -3*j = -4 - f for j.
5
Let m(d) = d**3 + 9*d**2 + 8*d - 2. Let l be m(-8). Let a be 13/(((-6)/3)/l). Suppose o - 14 = 3*q, 3*q - 1 = -a. Solve 0 = -o*g - 1 - 7 for g.
-4
Let h be 1/(-4) - (-36)/16. Let m be (9/(-15))/(h/(-10)). Suppose x = -m*p + 39, -2*p - 4*x + 8 = -8. Solve 11 = -5*d - p for d.
-5
Let y(q) = q + 8. Let s be y(-6). Suppose 0 = 3*g - 28 - s. Solve -g - 10 = -4*f for f.
5
Let z(y) = -3*y**2 - 11*y + 15*y + 4 + 0 - y**3 + 4. Let c be z(-4). Solve g = -g + c for g.
4
Suppose 4*t - 33 = 7. Let z = t + 0. Solve 0 = -4*k + 22 - z for k.
3
Let i(y) = -y**2 - 10*y - 19. Let m be i(-4). Solve 3 + m = -2*q for q.
-4
Suppose 5*f - 4 = -4*b + 18, 0 = b + f - 5. Let x be 1/(-2 + 1) - -10. Suppose -2*z + 6 = b*k - k, 4*z + k = x. Solve -z*o + 5*o = 6 for o.
2
Suppose w + 3*w = -3*w. Solve -4*a + 4 = -w for a.
1
Let t(z) = z**3 - 8*z**2 - z + 8. Let o be t(8). Let u be 3/(-6)*o/(-2). Solve u*a = 3*a + 12 for a.
-4
Let p(s) = s**2 + 2*s + 2. Let a be p(-2). Solve a*n - n + 4 = 0 for n.
-4
Let a = 5 + 23. Suppose 4*y = a + 4. Solve -4*d + y + 0 = 0 for d.
2
Let c = -22 - -33. Let j(f) = -4*f + 1. Let t be j(2). Let z = t + c. Solve -z*o - 17 = 3 for o.
-5
Let s = 6 + -2. Let u be (-19)/(-2) + (-6)/s. Solve 5*t - u + 33 = 0 for t.
-5
Let j = -20 - -20. Suppose -2*q = -j*c + 4*c - 12, -3*q = 3*c - 9. Solve -c*r - 12 = -3 for r.
-3
Suppose 4*m - 101 = 27. Suppose i + 2*l = -i + m, -2*l = 3*i - 50. Solve -5*d + i = -2 for d.
4
Suppose -3*s = -2*s - 2. Suppose -s*t - t = -36. Solve -k - 3*k + t = 0 for k.
3
Suppose -44 = -9*d + 7*d. Solve 4*v + d = 6 for v.
-4
Let a = -3 - -5. Suppose 5*y - r - 28 = 1, 3*y = -2*r + 7. Let i be 2*y + (-2)/1. Solve -a*n + i = -0 for n.
4
Let n = 1 + 0. Let j be 4/3*18/4. Suppose w + 2*w - j = 0. Solve n = p + w for p.
-1
Suppose -3*b + 9 = 3. Suppose -n + b*n - 3*z - 16 = 0, 5*z = 2*n - 28. Solve 12 = -n*c + c for c.
-4
Let b be 32/10 - (-2)/(-10). Suppose 4*c = b*c + 2. Solve -c*f - 3*f = 0 for f.
0
Let m(s) = -s**2 - 3*s + 12. Let a be m(-5). Let w be 4/10*-6*-5. Solve -5*f = -a*f + w for f.
-4
Let x(a) = -a**3 + 9*a**2 - 7*a - 8. Let m be x(8). Let t = 2 + m. Solve t*v - 4 = -2 for v.
1
Let m be -1*(-1)/2*2. Let p(o) = 5*o + 3 - 3 - m. Let v be p(1). Solve -7 = -v*b + 1 for b.
2
Suppose 5*y - 4*u - 40 + 10 = 0, -2*y = -3*u - 19. Solve -4*m + 4 = -y*m for m.
2
Let w be 0*(-2 - -2 - 1). Suppose -3*d - d = w. Let s be (d + -2 - 1) + 23. Solve -5*h + h - s = 0 for h.
-5
Let f(i) = 3*i**2 - i + 1. Let t be f(1). Let d = -4 - -7. Suppose -d*g = -2 - 4. Solve 0 = -m + t - g for m.
1
Suppose 5*z = 30 - 5. Suppose -z*g + 3*n + 10 = -0, 3*g = 5*n + 22. Let y be (-1 - -1)*-1*g. Solve h + y*h = -5 for h.
-5
Suppose 60 = -2*h + 76. Solve -5*m - 12 = h for m.
-4
Let i be (-1 - -4)*1 - -2. Suppose x + 32 = 5*x. Solve -3*v - x = -i*v for v.
4
Suppose 3*h + 0 - 6 = -3*g, 0 = g - 4*h - 22. Solve 20 = -j + g*j for j.
4
Suppose 4*z = -2*f - 10, -z + f + 5 = z. Let k be z*(3 - 21/6). Solve -q + 0 - 5 = k for q.
-5
Let k be (-10 - -7) + 13 + -1. Let v be k/(-2) + (-4)/(-8). Let x = -1 - v. Solve -2*h + x*h - 1 = 0 for h.
1
Suppose -12 = c - 15. Solve c + 0 = p for p.
3
Let a(l) = 8*l + 60. Let s be a(-7). Solve -21 = s*y - 1 for y.
-5
Let h(i) = -i**2 + 8*i + 13. Let r be h(9). Let q be (-1)/((-3)/(-60)) + 0. Let k be (q/15)/(4/(-30)). Solve k = -r*j - j for j.
-2
Suppose 6 = -3*y + 2*v, -y - 3*v = -2 + 4. Let m be y/(-1) - (-2 + 1). Solve 0 = -m*o - 6 - 6 for o.
-4
Suppose -2*n + n + 23 = 3*k, -4*n + 4*k = -12. Solve n*v - 3*v - 20 = 0 for v.
4
Suppose -24 = v - 28. Solve 0 = v*a - 2*a for a.
0
Let l = -12 - -12. Suppose -4*o = -5*n - 22, 0 = 3*o - 2*n + 2 - 15. Suppose 3*k - 6 = -o*w, k = -k. Solve l*s - s - w = 0 for s.
-2
Suppose 0*c - 3*w - 4 = -2*c, 0 = 5*c - 3*w - 10. Suppose c*y + 2*y = -56. Let b = y + 24. Solve b = h + h for h.
5
Let c = 35 - 15. Suppose a = -3*a + c. Suppose -3*g = -5*g. Solve u - a = -g for u.
5
Suppose -20 = -5*t + t. Let p = t - 5. Let w = p + 1. Solve 0 = -s + 2*s - w for s.
1
Suppose -3 = 2*t - 11. Solve t*c = -3 - 1 for c.
-1
Let s = -4 + 8. Solve -z = -s*z - 12 for z.
-4
Suppose 0 = -b - 0 - 5. Let l = b - -7. Solve -l = 5*w + 3 for w.
-1
Let o be (-4 + 9)/(-10)*(-2 + 0). Solve 4*t = -o + 21 for t.
5
Suppose 5*t - 4 = -2*z, -2*z - 2 = -5*t - 3*z. Solve 0 = -t*f + 5*f - 10 for f.
2
Let g = 37 - 34. Solve 2*n - 20 = -g*n for n.
4
Let s(t) = 5*t - 6. Let y be s(4). Let c = -14 + y. Solve c = -2*d - 4 + 12 for d.
4
Let t = -2 - -13. Let m = t - 6. Solve -4*p - 2 = -m*p for p.
2
Suppose n - 6*n = -70. Let h = n - 8. Solve -h*p - 20 = -p for p.
-4
Suppose 5*f = 2*f + 9. Suppose 4*a = -0*g - g + 5, 0 = 2*a - 3*g - 13. Let b = a - 0. Solve b = m + f for m.
-1
Let i be (-1)/(1/(-2)) + 1. Suppose r = i*f - 10, 3*r - f = -r + 4. Let u(o) = o + 2. Let k be u(-2). Solve 4 + k = -r*q for q.
-2
Suppose 0 = 3*t + f - 0 + 2, -t + 2*f + 4 = 0. Solve 3*a + 9 - 3 = t for a.
-2
Suppose -11 = 5*y - 71. Let z be (-1)/(-3) - (-8)/y. Suppose -z = -t - 0*t. Solve -j - t = 3 for j.
-4
Let c(m) = m + 46. Let k be c(0). Let j = -31 + k. Solve -3*x + 0*x = -j for x.
5
Suppose -2*a + l + 3 = 0, 2*a + 0*l = -4*l - 12. Solve -4*f - 8 - 8 = a for f.
-4
Let w(h) = -2*h + 12. Let g be w(5). Solve -g*o + 5 = 3*o for o.
1
Suppose -4*h + 4*z = -20, -5*h + 7 = 2*z + 3. Solve h*k = -k - 9 for k.
-3
Suppose 0 = -3*f + 3 + 9. Solve -f*v + 1 = 9 for v.
-2
Let z(r) = -r**2 + 2*r + 3. Let n be z(4). Let q be 4/n*(-5)/2. Solve p = 3*p + q for p.
-1
Let i be (3 + (-6)/3)/(-1 + 2). Solve -5*a - i = -26 for a.
5
Let w(c) = -c**3 - 7*c**2 - 7*c - 1. Let f = -14 + 8. Let b be w(f). Solve -3*k - b = -2*k for k.
-5
Let o = 0 - 15. Let c = -12 - o. Solve c*f + 8 - 2 = 0 for f.
-2
Let x(g) = -g**2 - 5*g. Let y be x(-5). Let d(n) = y + 1 + 1 + n. Let w be d(6). Solve 4*t = w*t for t.
0
Let n = 71 + -70. Solve -2*f + f = n for f.
-1
Suppose -5*g + 4 + 16 = 0. Let u(t) = -3 + g - 3*t**3 - 2*t**2 + 6*t**3. Let k be u(1). Solve -3*p - k = -17 for p.
5
Let g be 0/(-1) - (2 - 18). Solve 5*j + g = j for j.
-4
Suppose -3*i - d = -53, 5*i + 3*d + 48 - 135 = 0. Solve -5*n - i = -3 for n.
-3
Let r(t) = -2*t - 8. Let y be r(-6). Suppose 2*o = -5*u + 14 + 20, 4*u = o + 35. Suppose -4*p - 105 = -5*s + p, -u = -2*p. Solve y*l = -l - s for l.
-5
Suppose -4*t = -7*t + 5*d - 5, -4*d + 4 = 4*t. Solve 2*o = -t*o + 2 for o.
1
Let l = -75 - -89. Solve 3*f = -l - 1 for f.
-5
Let g = 7 - 15. Let v be (-11 - -1)*4/g. Let d(p) = p**2 + 2*p - 3. Let r be d(-3). Solve r = -v*q + 2*q + 6 for q.
2
Let g(s) = 0 + 2*s + 4 - 2. Let q be g(-1). Solve -4*j - j - 15 = q for j.
-3
Suppose -3*y = -6*y - 2*s + 18, -5*s = -15. Solve -y = 4*d + 4 for d.
-2
Let w = -6 - -7. Solve -w = -2*p - 5 for p.
-2
Let m = -7 - -9. Suppose u + 51 = 5*f, -m*u + 72 - 24 = 5*f. Let k = f + -8. Solve -17 = -5*j - k for j.
3
Let t(b) = 3*b + 4. Let u be t(0). Solve -c = c - u for c.
2
Suppose 1 = 3*o - 4*r - 16, o - 3*r - 9 = 0. Suppose 0 = -o*h + 13 - 1. Solve -2*d - h = -2 for d.
-1
Let n(m) = -m + 1. Let t be n(-6). Suppose b = t - 2. Suppose 3*s = 4*s + 3, 5*s + 15 = 4*h. Solve r + 0*r + b = h for r.
-5
Suppose 0 = -5*k - 2*r - 72, -9 - 64 = 5*k + 3*r. Let m = -11 - k. Solve m*q - 7 = 5 for q.
4
Let t = -8 + 14. Let h = t + -4. Solve -3*y - 5 = -h for y.
-1
Let n(s) = -s**2 + 7*s - 6. Let o be n(5). Let h = o - 4. Suppose x + 3*c = c + 16, 3*x - c - 13 = h. Solve -x*v - 15 = -v for v.
-3
Let b = 6 + 0. Let d be 4/b*(-27)/(-6). Solve -11 = -2*t - d for t.
4
Suppose 0 = 3*j - 7 - 11. Solve -3*s + j*s = 9 for s.
3
Suppose -5*r + 32 = -3*w, -5*r + 2 + 26 = -2*w. Suppose 7*a - 2*a - 16 = v, r = -v + 2*a. Solve v*d - 5 = -17 for d.
-3
Let x(v) = v**2 + v - 1. Let z be x(-2). Let u be (3 - 5) + 2/z. Solve u = 3*o - 6*o + 15 for o.
5
Let o(f) = -f + 6. Let j be o(3). Solve j*z = 5*z - 4 for z.
2
Suppose -j + 0*y = -4*y - 5, 2*j + 3*y = 10. Solve j*g = g for g.
0
Let c(a) be the third derivative of -5*a**4/24 + a**3/6 - 4*a**2. Let s be c(-1). Solve -5*f - s = 4 for f.
-2
Suppose -4*o + o + 6 = 0. Let n = o + 0. Suppose 5*u - 87 = -4*a, -3*u - n*a + 0*a