0
Let t be ((-10)/3)/((-2)/3). Solve y - t*y - 16 = 0 for y.
-4
Suppose 13 = 2*w - 1. Solve w*r - 3*r - 16 = 0 for r.
4
Let y = -126 + 129. Solve 0 = 9*z - y*z for z.
0
Suppose -w + 9 - 2 = -i, 0 = 5*w + 4*i - 8. Suppose w*s = -0*s. Solve -4*o = -s*o for o.
0
Suppose 0*a - 4*a = v - 8, 0 = 5*v + 2*a - 22. Solve 3*p = v*p for p.
0
Let x(w) = 3*w**2 + 5*w - 4. Let s be x(-4). Solve 4 = 4*l + s for l.
-5
Let q be 6/(2 - -1) - -2. Suppose -g = -0*g - q. Solve 1 = -5*z - g for z.
-1
Let b be (-8)/12 + 124/6. Suppose -r + 6*r = b. Suppose -2*j + t + 14 = -t, 4*t + 16 = -2*j. Solve -r*f - 8 = -j*f for f.
-4
Let r(w) = w + 18. Let k be r(-17). Solve -c = -2*c + k for c.
1
Let w be (3/(-4))/(6/(-24)). Let a be (-2)/w - 50/(-3). Suppose -4*u + 8*u + 4*l = -a, l = -4. Solve z - 4*z - 9 = u for z.
-3
Let x be (-43)/(-9) + 8/36. Let r be 4/2 + 2 + -2. Let d be (-2)/6 - r/(-6). Solve 0*t + t - x = d for t.
5
Let o(n) = 0 + 3 - 3 + n. Let z be o(1). Solve l + z = -0 for l.
-1
Suppose 0 = 8*t - 3*t + 10. Let n be t/8 - 18/(-8). Suppose -n*p = 2*p. Solve -4*m - 11 - 1 = p for m.
-3
Let k be (3/2 + -2)*8. Let i = 6 + k. Solve -u = i - 4 for u.
2
Let m(g) = g**3 + 5*g**2 + g + 5. Let b be m(-5). Let f(d) = -d**2 - 7*d - 7. Let k be f(-2). Solve b*i + k = -3*i for i.
-1
Let z = 5 - 7. Let m = z + 4. Suppose 2*t = -m + 6. Solve h = t*h + 1 for h.
-1
Let j(x) = -x**2 + 3*x + x**3 + 2 + 0*x + 5*x**2 + 1. Let c be j(-3). Solve -c - 1 = u for u.
-4
Let t(k) = -k**3 - 11*k**2 - 12*k - 16. Let u be t(-10). Solve 0*m + u*m = 8 for m.
2
Suppose -13 - 22 = -7*l. Solve l*s + 4 = 3*s for s.
-2
Let p be (0/2)/(-6 + 5). Solve 3*w = -p*w + 15 for w.
5
Let f = -5 + 8. Suppose s + 0*s - 3*y = -8, -3*s - 8 = -5*y. Solve 0 = -3*m + s*m - f for m.
3
Let a(r) = -5*r - 9. Let h be a(-2). Solve -3*g + 14 = -h for g.
5
Let f be (-8)/(-12) - 14/(-6). Let v be 15*(3 + (-1 - 1)). Let x be (2/(-3))/((-2)/v). Solve x*y - f = 2*y for y.
1
Suppose -o - 1 = -2*y, -o + 10 = 4*o + 5*y. Let r(d) = 9*d - 5. Let a(b) = 4*b - 3. Let h(j) = -5*a(j) + 3*r(j). Let u be h(o). Solve p + 4 = u for p.
3
Let x be (-4)/6*150/(-20). Let l(z) = 4*z**2 + 5*z + 2. Let s be l(-3). Suppose 4*p + s = 3*c, -3*p - 3 = -6*p. Solve 0 = -x*q + 2*q + c for q.
3
Let k(m) be the third derivative of -m**4/24 + m**3/6 + 4*m**2. Let o be k(-10). Solve o = 2*c + 3 for c.
4
Let y(f) = -f**2 + 10*f - 18. Let o be y(7). Solve -3*v + o - 6 = 0 for v.
-1
Suppose 0*h = -3*h + 3. Let a be 1/(h - (-2)/(-3)). Solve -a = -3*c - 15 for c.
-4
Let j(i) = -i**3 - 8*i**2 + 8. Let k be j(-8). Suppose 4*o + d = -2*d + 21, o + 3 = 2*d. Solve -k*v + o*v = -25 for v.
5
Let g be 0/(-2) - (3 - 3). Suppose 4*t + s + 4 = g, -3*t - 12 = 3*s - 0*s. Suppose 2*u + 4 = 14, t = o - 5*u + 10. Solve 0 = -h - 2*h - o for h.
-5
Let c = 25 - 23. Solve s - 5 = c*s for s.
-5
Let w(j) = j - 8. Suppose 3*c + 24 = 6*c. Let d be w(c). Let y be 2 - ((-1 - 1) + d). Solve y*v - v = 6 for v.
2
Let o = -5 + 6. Suppose -3*z - o = -7. Solve -z*s + 1 = -5 for s.
3
Suppose -8 = -2*s, 5*y - 2 - 2 = 4*s. Let c be (-140)/8*(-8)/10. Suppose -t - t = 4*g - c, -3*g - 3*t + 15 = 0. Solve 3*u + g = y*u for u.
2
Let l(v) = -2*v**3 - 5*v**2 - v + 3. Let m be l(-3). Let r = -12 + m. Solve 0 = -r*u + 6 + 3 for u.
3
Suppose 3*i + 2*i - 5 = g, -19 = -3*g - 2*i. Solve 0*u + 5 = g*u for u.
1
Suppose -2*n = -5*n + 5*q + 21, -q + 21 = 3*n. Solve n*c = 11*c for c.
0
Suppose -t = -2*g + 2, -2*t - 1 = -5. Suppose -5*a = 2*x - 12, -3*a + 5*x + g - 1 = 0. Let l = -6 - -7. Solve a*s = l + 5 for s.
3
Suppose -7*a = -17*a + 20. Solve a*h + 0 + 4 = 0 for h.
-2
Let d = -4 + 6. Let b(c) = 4*c**3 + c**2 - c. Let x be b(1). Let m = x + -1. Solve -s + d = -m for s.
5
Suppose -4*s = 3*s - 28. Suppose 0 = -2*c - 2*u + 10, 0 = -0*u - s*u + 20. Let w(j) = j. Let a be w(2). Solve o - a + 0 = c for o.
2
Suppose -5*g + 7 = 4*u, -2*g = -3*u + 2*g + 13. Solve -u*q - 16 = q for q.
-4
Let o = -27 + 28. Suppose s + o = 5. Solve -4*l = -s - 0 for l.
1
Let v(u) = u**2 + 7*u + 11. Let b be v(-6). Suppose o = 2*o. Solve -r + b*r + 8 = o for r.
-2
Let h = 7 + -12. Let x(k) = -k**3 - 3*k**2 + 6*k - 4. Let g be x(h). Solve 0 = 3*w + w + g for w.
-4
Let u(c) = c**3 - 7*c**2 + 8*c - 4. Let x be u(6). Suppose -w = -5*w + x. Solve q = -w*q + 15 for q.
5
Let t(r) = -4*r. Let m be (-1)/(((-2)/6)/1). Suppose 4 = -g + m. Let f be t(g). Solve -f*d - 4 = -8 for d.
1
Let l(o) = -o**3 + 10*o**2 + o - 9. Let v be l(10). Suppose -16 = -5*k - 4*z, -15 = 2*k - 3*z - 3. Suppose k = -a - v + 6. Solve c - a = -2 for c.
3
Let u = -20 - -32. Suppose -t = 3*t - u. Solve -k = t - 2 for k.
-1
Let f(n) = n + 1. Suppose 2*a + 3*l + 11 = 0, 0 = 3*a - 2*l - 5 - 11. Let b be f(a). Suppose -3*x = 2*o + 4, 3*x - 2*o - 2 = 7*x. Solve 5*v + x = b*v for v.
-1
Suppose -8*c = -9*c - 1. Let x be (-16)/(-3)*(-6)/(-4). Let l be 4/x*(-14)/c. Solve l = -2*r - 1 for r.
-4
Suppose 24 = b + 5*i, 3*i = 3*b - 8*b + 10. Let f = b + 1. Let o(s) = 3*s. Let q be o(1). Solve f = t - q*t - 6 for t.
-3
Let p be (-3)/(1 - -2)*-3. Let d = p - 3. Suppose -4*m + 24 = 4*b, 2*b - 5*m + 9 = -d*m. Solve 0 = b*c - 2*c + 4 for c.
-4
Let r(s) = s**2 - s + 8. Let z be 1/(-4) - 1/(-4). Let n be r(z). Solve -n = 2*x + 2*x for x.
-2
Suppose 5*o + 5*b - 105 = 0, -96 = 3*o - 7*o - b. Suppose j = -2*x + 3 + 4, 2*j = -3*x + 12. Solve -x*a = 3*a + o for a.
-5
Let w(r) = r + 14. Suppose -g + 5*g = 2*v - 4, v = -g - 7. Let c(h) = 1. Let y(t) = v*c(t) + w(t). Let s be y(-8). Solve 0*f - s = -f for f.
2
Let x(t) = t - 7. Let j be x(8). Let y(b) be the first derivative of b**2/2 + 8*b - 2. Let g be y(-8). Solve -p = -g*p + j for p.
-1
Suppose 0 = -w - 3*c - 6, -c = 3*w - 2*c - 2. Solve w = -o - o - 2 for o.
-1
Let g = 17 + 1. Suppose 3*x = 5*m + 2 + 26, -g = -3*x + 3*m. Suppose 32 = 3*y - x. Solve 3 = -4*z + y for z.
2
Let p = 2 - 2. Suppose 12 + 9 = 5*h + c, 2*h + 2*c - 2 = p. Solve -h = 2*v - 7*v for v.
1
Suppose -4*l + a - 8 = -3*l, 5*l + 2*a + 33 = 0. Let o = 11 + l. Suppose 1 + 0 = d. Solve -5*x = d + o for x.
-1
Let w be 6/(6/(-16)*-4). Suppose f = v, w*v - 15 = 2*f - 3*f. Solve 3 = 3*i - v for i.
2
Let p be (2/(-6))/((-1)/12). Let q(m) = -m**2 + 5*m - 3. Let n be q(p). Solve n - 4 = s for s.
-3
Let i(n) = n + 8. Suppose w = 5*k + 8, -w + 4*k + 5 = -0. Let u be i(w). Solve -a = 2 + u for a.
-3
Let n be ((-1)/4*3)/((-2)/8). Suppose -5*l + 4*r + 33 = 0, 3*l + 2*r = -r + 9. Solve -2*h = n + l for h.
-4
Let h be 3/9*3 + 1. Suppose 10 = h*o + 2. Solve 2*y - 10 = o*y for y.
-5
Let b = -3 - -5. Suppose -1 + 5 = b*a. Solve 0 = -s - a + 6 for s.
4
Suppose 0 = -5*o + 8*o. Solve -1 = -v - o for v.
1
Let s be (0 - (-1)/3)/(6/54). Solve -s*x = -4*x + 5 for x.
5
Let d be 21 + 1/1*1. Suppose 0 = -4*c + 2*t + d, -5*c + 10*c + 2*t - 23 = 0. Suppose -3*g - 18 = -4*n, -n - c = 3*g - 17. Solve 0 = -o + n*o for o.
0
Suppose -2*w + 12 = w. Solve p = -w*p + 10 for p.
2
Suppose -3*j + 2*a = -42, 2*a - 14 = -2*j + j. Solve 0 = -2*q + j - 8 for q.
3
Let x(h) = -h**2 + 4*h - 1. Let a = 4 + -1. Let s be x(a). Solve 3 = -f + s for f.
-1
Let k = 6 + -11. Let l = -1 - k. Solve -2*o + l = 2*o for o.
1
Suppose 2*y - 12 = -0*y. Suppose -4*q - 4 = -24. Let h = -3 + q. Solve -y = -4*u - h for u.
1
Let s(y) = 7*y**2 + 4*y + 2. Let o be s(-1). Solve -v + 2*v - o = 0 for v.
5
Suppose -5*m + 444 = -4*h, 3*h - 261 = -5*m + 2*m. Let x = m - 63. Solve 0 = -n - 4*n + x for n.
5
Let i(z) = z**2 + 6*z + 6. Let j be i(-5). Suppose 6 = w - 3*p - p, 5 = -5*p. Solve -w*n - 1 = j for n.
-1
Let a be (-3)/(12/(-16)*1). Suppose -3*u = -a*u + 2. Solve 0 = -4*k - 6 + u for k.
-1
Let b be 2*(-34)/4*-1. Let c be b/1 + 27/9. Solve -c = -2*d + 7*d for d.
-4
Let b(g) = 6*g**3 + g**2 + 4*g - 6. Let i(c) = -5*c**3 - c**2 - 3*c + 5. Let k(o) = 4*b(o) + 5*i(o). Let y be k(0). Solve -2*d = 3 + y for d.
-2
Suppose -2*c + 6 = -10. Suppose -3*j + c + 1 = 0. Solve j*l + 0 = 15 for l.
5
Suppose -f = -3*v - 4*f + 9, -v + f + 5 = 0. Solve 0 = -4*x - v + 24 for x.
5
Let d be (-10)/(-20)*(1 + 19). Let j = 14 - d. Solve -2*s + 2 = -j for s.
3
Let o(i) = 8*i. Let m be o(2). Let w = -10 + m. Solve v - w = -v for v.
3
Suppose 2*f = -3*s + 25, -32 = -3*s + 8*f - 3*f. Let n = s - 5. Solve m = -3*m + n for m.
1
Let f = -223 - -223. Solve -4*k - 6 - 2 = f for k.
-2
Let w = 