1. Let a be (-9)/(-6)*8/(-3). Let k be v(a). Let c be k/(2 + 70/(-36)). Solve -3*f + c = 6 for f.
4
Suppose -26*u + 95 = -9. Let g = 9 - -1. Solve -q - u*q = -g for q.
2
Let y = 1 + 3. Let z(b) = 8*b + 3. Let k(c) = c. Let n(u) = 6*k(u) - z(u). Let r be n(-2). Solve r = -5*d - y for d.
-1
Suppose 4 = -3*k - 5*c, -2*c + 2 = 5*k - 4. Suppose 2 - 6 = -k*y. Solve -y*d = -4*d + 6 for d.
3
Let r = -10 + 25. Suppose 2*j + 3*q = r, j - 5*q = -4*j. Solve -d = -j*d for d.
0
Let q = 16 - 8. Suppose -1 = d - q. Let z = -23 + 26. Solve -d + 22 = -z*f for f.
-5
Let s(r) = r**2 + 14*r + 4. Let m(i) = 2*i**3 - 2*i - 2. Let w be m(-2). Let k be s(w). Solve -y = -2*y - k for y.
-4
Let u = -13 - -22. Suppose 0 = x - 4, -2*m + 2*x = 7*x - 16. Let q be m/1 - 1*-6. Solve 20 = q*z - u*z for z.
-4
Suppose -9*v = 3 - 30. Solve -7 = -2*n - v for n.
2
Suppose 3*c - 8 = 2*w, 3*w - 5 = -17. Solve i + 1 = -c for i.
-1
Let n(d) = 2*d - 5. Let i be n(4). Solve -y = i*y for y.
0
Let s(w) = -3*w + 2. Let x(m) = 7*m - 5. Let j(z) = -5*s(z) - 2*x(z). Let n be j(5). Solve 3*y - 8 = n*y for y.
-4
Let l be 3 + (-5)/(5/3). Let z = l + 4. Solve -3*a = 13 - z for a.
-3
Suppose 4*v - v - 3*h = -9, -h = 4*v - 3. Let d = 2 - 0. Solve 0 = -g - d - v for g.
-2
Suppose 6*i = 2*i + 4. Let p be 1/2 + (-42)/(-12). Solve p*a = 3 + i for a.
1
Let u(b) = 2*b + 6. Let s be u(-1). Suppose -2*d = -2*g + 5*g + 4, 4*d = 2*g - 24. Solve -s = g*i + 6 for i.
-5
Suppose 4*o = 4, 2*o = -y + 4*y + 2. Solve y*i = -i - 4 for i.
-4
Suppose -2*t + 24 = -0*t. Suppose t = -0*v + 2*v. Solve -v - 6 = -3*b for b.
4
Suppose -10*d + 0*d = -200. Solve -d = -u + 6*u for u.
-4
Let c(h) = -3*h + 8. Let b be c(8). Let v = b - -16. Solve 3*r + 11 - 2 = v for r.
-3
Suppose 3*y - 6 = a, 0 = -2*y + 4*y + 4*a - 4. Solve -y*o = -0 + 10 for o.
-5
Suppose 0 = -x - k - 1, -4*k - 23 = -2*x - k. Solve 0 = x*v - 5 + 1 for v.
1
Let p be (3/4)/((-11)/(-44)). Solve 2*z = -p*z - 25 for z.
-5
Let z be 2/(-9) - (-40)/18. Let b be (4 - 2)/(-1) - -4. Suppose -b*t + t = -z. Solve -12 = -t*s - 2*s for s.
3
Let c(m) = m**3 - 3*m**2 - 17*m - 2. Let j be c(6). Solve 4*t = -0 - j for t.
-1
Let d(j) = j + 1. Let h be d(-1). Suppose -3*a = -h*a + 15, 5*z - 2*a = 25. Suppose 4*l + z*r = 35, -3*l = 2*l + 2*r - 35. Solve l*u = -0*u + 25 for u.
5
Suppose -5*z + 4*n = 4, -3*z - n + 1 = -0*n. Let q = -8 + 10. Suppose 0*b = 5*m + q*b - 14, 2*m + 5*b = 14. Solve -m*y + 13 - 3 = z for y.
5
Let h(p) = -p + 6. Let i be h(5). Let u be 1/i - (-2 + 1). Solve u*v + 2*v = -4 for v.
-1
Suppose 2*g = 8 + 2. Suppose -2*u = 3*u - g. Let z be u + 7 - (-2 + 0). Solve 4*p + z = 6*p for p.
5
Let k be 15/4*(-16)/(-6). Solve 2*i + k = -0*i for i.
-5
Suppose 18*w - 25 = 47. Let t(h) = h**3 + h**2 - 3*h - 2. Let s be t(-2). Solve -w = -s*j + j for j.
-4
Let p(y) = -y**2 + 1. Let c be p(1). Let r = c + 6. Suppose 0 = -d - 2*d + r. Solve -3 = d*l + l for l.
-1
Suppose -2 = -a + 2. Suppose 0 = -a*u - 8, 5*u = g - 13 - 1. Solve g = -z - 1 for z.
-5
Let a = 1 + 3. Let l(h) = -h**3 + 5*h**2 - 2*h - 5. Let x be l(a). Suppose 13 = x*j - 5. Solve 2 - j = -i for i.
4
Let i be (72/21 + -1 + -3)*-7. Solve 18 = i*j - 2 for j.
5
Let i(b) = b**2 + 2*b + 3. Let l be i(3). Suppose 60 - l = -x. Let g = x - -63. Solve 0 = -5*p + 1 - g for p.
-4
Let h(b) = -2*b**2 + 5*b - 2. Let s be h(3). Let a(g) = 7*g. Let r be a(1). Let v = r + s. Solve -4 = -2*x - v*x for x.
1
Let n(k) = -5*k**3 - 2*k**2 - 2*k - 1. Let u be n(-1). Solve 0 = m - u + 2 for m.
2
Let f(i) = -i**2 - 2 - 1 - 1 + 7*i - 2. Let k be f(6). Solve 0 = -k*u - 3*u + 3 for u.
1
Let c(y) = y**2 + 5*y - 2. Let v = 14 - 20. Let k be c(v). Suppose 0 = k*q - 6 - 6. Solve 0*x - q = x for x.
-3
Suppose -o + 7 = 4*i + 2*o, -2*i + 5*o = -23. Solve -i*h = -1 - 15 for h.
4
Let b(m) = m**2 - 3*m - 88. Let z be b(-8). Let w = -1 + 5. Suppose 4*r + w = q, 4*r - r = 0. Solve -2*j + q = -z for j.
2
Let y be (2/6)/((-1)/(-3)). Suppose a = -y + 3. Solve -a = j - 5 for j.
3
Let s(c) = -c - 2. Let y be s(-3). Suppose -4*m = 11 + 45. Let a be y/(0 - 2/m). Solve 19 - a = -4*u for u.
-3
Let l be -1 + 140/50 + 2/10. Solve -l = i - 4 for i.
2
Let y be (4 + -4)*(-3)/(-9). Solve -n + 0 - 3 = y for n.
-3
Let h = -5 - -3. Let p be (16/(-40))/(h/40). Suppose -q = 5*n - 53, p + 19 = 3*n - q. Solve -4*m - n - 2 = 0 for m.
-3
Let u(o) = o + 7. Let m be u(-6). Solve -m = -2*s - 7 for s.
-3
Suppose 5*n - 2*r - 40 = -6, 4*n - 2*r - 26 = 0. Let o = n - 6. Solve a - 3*a = -o for a.
1
Let f be 0 + (0/1 - -3). Solve -f*w + 8*w = 25 for w.
5
Let z(w) = w**3 - w**2 - w. Let v be z(0). Solve v = -p + 1 - 0 for p.
1
Let p(m) = 2*m - 3. Let x be p(3). Let s(v) be the third derivative of v**4/12 - v**3/3 + 10*v**2. Let z be s(x). Solve -4 = -z*r - 20 for r.
-4
Suppose 2*c - 4*c = -16. Suppose -15 - 5 = 4*g. Let z = c + g. Solve b + 1 = z for b.
2
Let r(c) = -c**2 + 5*c + 1. Let d(k) = -2*k - 3. Let u be d(-4). Let h be r(u). Solve n = -2 - h for n.
-3
Let o be (-26)/(-6) + 4/(-12). Suppose -3*m = -0*m - 12. Let y be (10/m)/(2/o). Solve -y*g - 3 = 2 for g.
-1
Let h(m) = -m**3 + 7*m**2 - 7*m + 8. Let k = -13 - -19. Let b be h(k). Let r be 80/24 - (-3)/(-9). Solve r = -b*u + 1 for u.
-1
Suppose -5*l - 39 = -2*r, 5*l - 3*r + 2*r + 37 = 0. Let z(x) = -3*x + 4. Let u be z(l). Suppose -11*a + 8*a = -9. Solve -a*t - u = 2*t for t.
-5
Let z(r) = -11*r**3 - r**2 + r - 1. Let f be z(1). Let a be 2/(-5) - f/30. Let c be a - (-32)/((-2)/(-1)). Solve 0*s + 4*s = c for s.
4
Let n = -13 - -14. Solve 3 - n = f for f.
2
Suppose 4*o + 0*u = -u + 25, 5*o = 4*u + 5. Suppose -o*x + 7 = 2. Let l be (2 - x)/(1/1). Solve 0 = -p - l + 2 for p.
1
Let g = 85 - 83. Solve g*u + 3 = -u for u.
-1
Let h be (-16)/56 + (-12)/7. Let q be (4/2)/(4 + h). Suppose 0 = -u - q + 3. Solve -m - 4 = -u*m for m.
4
Suppose 4*q = 8, g + 5*q - 16 + 2 = 0. Solve 0*w - g*w = 12 for w.
-3
Suppose 5*s = 2 + 13. Suppose 3*o + 6 = 21. Suppose 3*b = -s, 5*b = -2*v - v - o. Solve v = -0*m + 5*m - 5 for m.
1
Let s = 7 + -10. Suppose 10 = -o + 3*o. Let a = s + o. Solve a*x + 14 = 4 for x.
-5
Let j = -4 + 6. Suppose -j*c = c - 3. Let m be (28/8)/(c/2). Solve 5 = m*u - 2*u for u.
1
Let z be (1/2)/((-1)/(-6)). Solve -z*g + 0*g - 6 = 0 for g.
-2
Suppose -4*s = -4*m + 12, 4*m = 3*s + 8*m + 2. Let x be 15*s/6*-1. Solve x = -3*q - 10 for q.
-5
Let b(k) = -k - 5. Let f be b(-9). Solve f*o + 0*o = 0 for o.
0
Let x be 29 - 10 - (0 - -4). Solve 5*u = 2*u - x for u.
-5
Let y = -5 - -12. Suppose 2 = -4*m - 2*q, -2*m - 3*q = -y*q + 6. Let u be (0/(-1)*m)/(-1). Solve 2 = n - u for n.
2
Let d be -2*(-2 - 0) - -2. Suppose -3*q + 2 = g - 2*g, 5*q + d = g. Let k be 4/(-14) + (-46)/g. Solve -a - k = 1 for a.
-4
Suppose 15 = 3*t + 2*t. Suppose -2*o + 0*o - 3*u = 4, -t*u - 20 = -2*o. Let x(d) = 2*d + 5. Let p be x(6). Solve -o*w + p = 1 for w.
4
Let h(r) = -r - 1. Let i be (4/(-3))/(2/3). Let u be h(i). Solve l + u = 2*l for l.
1
Suppose -2*q = 5 - 29. Suppose 0 = -5*b + 3*y + 33, 2*b - y - 25 = -2*b. Suppose -2*x + b*x = 12. Solve x*n - q = -n for n.
3
Suppose g = 4*n - 10, -5*g + 0 - 4 = 3*n. Suppose -n*y = 3*b - 21, -2*y - b = -5*b + 14. Solve k = 2*k + y for k.
-3
Suppose -2*a = 2*v + 30, -5*a - 5*v = -3*v + 66. Let l = -10 - a. Solve -4 = -3*f + l for f.
2
Suppose -16*s = -11*s. Solve s = -0*n - n - 4 for n.
-4
Let p(m) = m + 3. Let x be p(-3). Let b = x + 3. Solve b*k - 4*k = -5 for k.
5
Suppose 2 = 3*k - 4. Suppose 0 = k*u - 3*u + 4. Suppose 0 = -2*d + u + 2. Solve 3*c - 2*c = -d for c.
-3
Suppose 0 = 5*l - 6*l. Solve 2*u + 3*u = l for u.
0
Let a be 3/(-9)*(-2 + -28). Suppose -a = -5*p - 4*s, -s - 3 = -2*p + 1. Solve -2*t = -t + p for t.
-2
Let v(k) = k**2 + 2*k - 3. Let g be v(2). Suppose -3*u + 2*h = -11, 2*u - 17 = -h + 2. Solve u = -g*x - 3 for x.
-2
Let j(t) = 4*t**2 - 1. Let c be j(1). Suppose 2*y + 2*n - 24 = 0, -5*y + 5*n = 4*n - 30. Solve c*s + y - 16 = 0 for s.
3
Let f be 10 - 7 - (2 - 1). Let z be (4/10)/(f/30). Solve 9 = 3*h - z for h.
5
Suppose -3*p = -4 - 56. Solve -p = 5*v - v for v.
-5
Suppose 0*s - 3*s + 225 = 0. Suppose 2*h = 6*h + 20, 5*k + s = 3*h. Let u = -13 - k. Solve -5*o + 0 + u = 0 for o.
1
Let j = 72 + -38. Suppose 0 = -3*d - 2*w + 14, j = 2*d + d - 2*w. Solve 3*y = y + d for y.
4
Let a(w) = w + 10. Let j be a(0). Let c be -7 