 0 = 3*z - 5 - 1. Solve n = 2*y - z for y.
2
Let r = 0 - -4. Suppose r*a - 18 = -6. Solve 6 = -a*z + 18 for z.
4
Let j = 8 + -4. Let a be (0 + j)*1/2. Suppose -6 = -3*n - p + 3, -a*n + p = -11. Solve n = -m - m for m.
-2
Suppose -n - 1 = -2. Let j = -5 + 10. Solve t - n = -j for t.
-4
Let c = 20 + -10. Solve v = 3*v - c for v.
5
Suppose 4*z = 2*r + r + 3, 3*r = -3. Suppose z = 3*g + 18. Let u = 14 + g. Solve -5*k - 12 - u = 0 for k.
-4
Let t(o) = -2*o**2 - 10*o + 12. Let n be t(-6). Solve -2 = -2*f - n for f.
1
Suppose 4*k + 16 = 6*k. Let o be k + (-2 - -1) + -2. Solve o*w + 15 = -10 for w.
-5
Let v be 4/(-6) - 80/(-12). Suppose 0 = 2*m + m - v. Let c be m/8 + 3/(-12). Solve c = 3*i + 1 - 7 for i.
2
Let b = -27 - -19. Let o = b + 13. Solve x + 2 = o for x.
3
Let y be ((-8)/(-10))/((-4)/(-10)). Let k = y - 0. Solve 3*j - k = 10 for j.
4
Let q be (15/(-21))/((-2)/14). Suppose -3*f + 1 + 2 = 0. Let j be -1 - 1 - (-4)/f. Solve 0 = -3*k + j - q for k.
-1
Suppose 21 = -3*j - 135. Let d be j/16*(-1 + -7). Let a = 22 + -12. Solve a = 4*i + d for i.
-4
Let y = -36 + 48. Solve -5*d + 37 - y = 0 for d.
5
Let p = -10 - -12. Let c be (0/p)/(-1 - -2). Solve c = 2*f + 3*f for f.
0
Let v be 1 - (1 + -4 + 1). Suppose -v = 4*o - 23. Solve 4*q - o = -17 for q.
-3
Let x = 25 + -22. Solve -3 = x*z - 0 for z.
-1
Let r(u) = -18*u + 4. Let n = -19 + 9. Let t(j) = 6*j - 1. Let i(z) = n*t(z) - 3*r(z). Let w be i(-2). Solve -w = 3*m - m for m.
-5
Let x = 3 - 2. Let q be -1 + (-1 - x)/2. Let v = 0 - q. Solve 6 - v = 4*r for r.
1
Let f(v) = -v**2 - 19*v + 46. Let h be f(-21). Solve -h*j + 9*j = -25 for j.
-5
Suppose 19 = 3*m + 4*b, -2*m + 4*b + 1 = -m. Suppose -4*p + m = 2*k - 7, -2*k = -5*p + 24. Solve 4*s + 0*s = -p for s.
-1
Let b be 26*(1 - 2/4). Let g(r) = 14*r**2 + r. Let i be g(1). Suppose 0 = j + 5*q + b, -5 = -j - 4*q - i. Solve -j - 6 = -2*o for o.
4
Let g(s) = -2*s + 22. Let l be g(10). Solve 4*k = 2 + l for k.
1
Let f(t) = -2*t**2 + t + t**2 + t**3 - t**2 - 2 - t**2. Let v be f(3). Solve -w - v = -6 for w.
5
Let u be -1 - -2 - (-3 + 0). Suppose -u*s + 18 - 2 = 0. Solve -25 = s*z - 9*z for z.
5
Let x = 4 - 2. Solve -3*u - x = -5*u for u.
1
Suppose -2*m - 43 = -3*y, m = y - 0*m - 16. Suppose -y = -4*x + 13. Let c be x - ((-1 - -3) + 0). Solve c*o = -o for o.
0
Let n(a) be the first derivative of -a**3/3 + a**2 + 8*a - 4. Let s be n(4). Solve 5*x = -s*x + 5 for x.
1
Let l = 36 + -31. Solve -l*g = -0*g for g.
0
Let v = -16 - -18. Let p(y) = -y + 2. Let z be p(2). Suppose 5*c - 5*m - 10 = 0, z*c - 3*m = 2*c + 6. Solve c - v = d for d.
-2
Suppose 0 = 4*x - 4*b - 60, 2*x + 3*b = -b + 54. Let s = 7 - 4. Suppose s*r - 5*k + x = 0, 5*r - 7*k + 3*k + 10 = 0. Solve -r*u = -5*u + 3 for u.
1
Let a(r) = 14*r**2 - 2*r + 1. Let t be a(1). Let u(y) = y**2 + 11*y + 13. Let l be u(-10). Suppose -18 = -l*v + 3. Solve 0 = 5*s + v + t for s.
-4
Suppose 8 - 20 = -4*h. Let q be (-3 - 6)*(-1)/h. Solve -w = q*w for w.
0
Suppose 5*h - h = 0. Suppose -4*y = 2*c - 20, h*y - 3*y = c - 16. Solve y = f + 2*f for f.
2
Let m = 11 - 6. Suppose -4*i - 14 = -m*r - 2*i, 12 = 4*i. Solve 10 = -2*a + r for a.
-3
Let i be 10/2 - (8 - 8). Solve 0 = 5*p - 15 - i for p.
4
Suppose -2*z + 5*j + 8 = 0, -z + 5*j + 12 = 2*z. Suppose -2*l = -z - 2. Solve -2*p + l*p = 4 for p.
4
Let y be (-3 + 81/21)*7. Let g be (y/9)/((-3)/(-36)). Solve 0 = -2*f - 0*f + g for f.
4
Let g be -4*(-2)/(8/(-3)). Let p be (-8)/(g - -1) + 1. Suppose 0 = 5*s + 25, -3*n - s + 95 = n. Solve 0*c + n = -p*c for c.
-5
Suppose -3*c = 2*d + 15, 2*c - 20 = d + 6*c. Suppose 4*f - 12 = 4*i, 7 + 5 = 4*i + 4*f. Solve i = -d*o - 5*o for o.
0
Suppose j + 0*j + 5 = 2*b, -5*b = -20. Suppose -p = j*s - 0*p - 2, 6 = -3*s - 3*p. Solve -m + 0 + s = 0 for m.
2
Suppose -3*g + 11 = 2*h, -4*g + 9 = -3. Solve 0 = c - h - 1 for c.
2
Let h = -14 + 14. Solve -4*b + 2 + 2 = h for b.
1
Suppose t - 5 = -0*t. Let n(c) = c**3 - 5*c**2 + 3. Let b be n(t). Suppose -2*m = 3*m. Solve m = 5*j + 23 - b for j.
-4
Let o(z) = z - 11. Let q = -4 + 16. Let w be o(q). Solve r + w - 3 = 0 for r.
2
Let u(h) = -h + 12. Let a = 6 - 1. Let m be u(a). Solve 5*o + 13 = -m for o.
-4
Let i = 16 - 13. Suppose 2*z + i*p = -6, 4*z = -3*p - 8 + 2. Solve l + z = 5 for l.
5
Let p(u) = u**2 + u - 3. Let g be p(-3). Suppose 0*k + 2*k = d - 13, -5*d + g*k + 51 = 0. Let c(b) = b**2 - 8*b - 4. Let x be c(d). Solve -x*h - 8 = -h for h.
-2
Let s = -81 + 57. Let a = 29 + s. Solve 6 + 4 = a*k for k.
2
Suppose 4*k - m = 12, -k = -4*m - 0*m - 18. Let p(x) = x**2 + 3*x**2 + 0*x**2 - 2*x**k + 2*x. Let f be p(2). Solve -2*r = r + f for r.
-4
Let o = -9 + 13. Suppose -6*i + 10*i - 8 = 0. Solve i = -2*k + o for k.
1
Let x = -20 - -32. Let b = -4 - -6. Solve 2*o - b = -x for o.
-5
Let h = -25 + 29. Suppose 4*u = 3*u + 6. Suppose -3*q = 3*r + 12, -2*q = -2*r - r + 8. Solve r = x - h*x + u for x.
2
Suppose 2*v + 0*w = -w - 1, 5*v + w - 5 = 0. Suppose -4*r - 34 = -0*r + v*s, -4*r - 41 = -5*s. Let u be (r/(-4))/(15/40). Solve u*c - c - 15 = 0 for c.
3
Let g = -17 + 9. Let f be 4/14 - 178/(-14). Let d = g + f. Solve 4*h - 5 = d*h for h.
-5
Let v be (-17)/(-5) - 36/(-60). Suppose 2*w = 6*w - 72. Solve 2 = -v*o - w for o.
-5
Suppose 11*u - 28 - 16 = 0. Solve -u*t - t = 5 for t.
-1
Suppose 44 = 5*l + f, 3*f = l + 4*l - 48. Let x = 9 - l. Solve 4*v + 6 - 26 = x for v.
5
Suppose -2*b - 3*f - 2*f - 3 = 0, 2*f + 6 = 0. Solve 0 = o + 2*o - b for o.
2
Suppose 3*j + 60 = 5*t + 2*j, 0 = 3*t + 5*j - 8. Suppose 5*b + t = -2*f, 19 = 4*f - 3*b + 2. Solve 0*r - f*r = -4 for r.
2
Let l(p) = p**2 - 8*p + 7. Suppose 4*q - 10 = 26. Let x be l(q). Suppose -4*g - 4 + x = 0. Solve 4*s = g*s for s.
0
Suppose -3*t + 30 - 9 = 0. Suppose -d - 1 + t = 0. Let p be -1*1*(-9 - -8). Solve 0 = -q + d - p for q.
5
Let l(s) = -s**2 - 12*s - 9. Let p be l(-11). Solve -12 = -p*b - 2 for b.
5
Suppose 6*v - 27 = -3*x + 3*v, -5*v - 3 = -x. Solve 0*b - 4*b - x = 0 for b.
-2
Suppose 3*u - 2*i = 3*i + 26, 2*u = -3*i - 8. Suppose k - b = u*b + 21, 3*b + 15 = 0. Let y be ((-9)/6)/(k/(-28)). Solve y = -2*x + 1 for x.
-3
Let m = -5 - -5. Suppose m = -4*f + 23 + 13. Solve 0 = -5*n + 2*n - f for n.
-3
Let h = 4 + -5. Let y = 1 - -2. Let i = y + h. Solve 5 = -i*p + 3 for p.
-1
Suppose -4*q + 300 = q. Let m be (q/16 - 3)*4. Solve -2*d + m + 1 = 0 for d.
2
Suppose 0 = -4*t + 9 - 1. Let b = -11 + 28. Solve 0 = 3*r + b - t for r.
-5
Suppose -5*t = -0*h + 5*h - 35, t + 3*h - 15 = 0. Let w be 3/((t/(-4))/(-1)). Suppose -6*n + 29 = -2*n + 5*l, 3*l - 11 = w*n. Solve -4*a + 5 = n for a.
1
Let t = -9 - -10. Let c be 0/t*1/(-2). Solve -2*b = -6 - c for b.
3
Suppose 4*s + 247 = 91. Let p be (-1)/3 + s/(-9). Suppose -5*b - 15 = -4*l, -p*l = b - 3*b - 6. Solve n - 2 + 3 = l for n.
-1
Let z be ((-1)/(-3))/((-2)/(-42)). Let r(c) = -2*c - c**3 + 2*c**3 - z*c**2 - 8 - 5*c. Let j be r(8). Solve j = 5*n - n - 8 for n.
2
Let p(l) = 2*l**3 - 2*l**2 - 2*l + 1. Let y be p(2). Suppose -5 = 5*r + 2*t + 3, 5*t = 4*r + 13. Let k be r/4*0 - -3. Solve -1 - y = -k*d for d.
2
Let j(y) = y**3 - 4*y**2 - 2*y + 3. Let p be j(3). Let a be 5*-1*p/20. Solve 2*s + a = -s for s.
-1
Suppose 0*g = -g. Let w be -7*(4 + 20/(-4)). Suppose 3*m - 1 = -w, -20 = -4*x + 4*m. Solve g = -c + x - 5 for c.
-2
Suppose 30 = 5*i - 2*j - 3*j, 3*j + 9 = 0. Suppose -4*u - o = -23, -1 = 3*u - 3*o - 7. Solve 2*f + u = -i*f for f.
-1
Let i be (-16)/(-6)*(-6)/(-4). Suppose 0 = d + 1 - 4. Solve i*k = d*k + 3 for k.
3
Let g(u) = -u**3 + 10*u**2 - 21*u. Let s be g(7). Solve 0 = -s*b + b + 4 for b.
-4
Let f be (-2 - 1)/((-9)/24). Solve s + s = f for s.
4
Let m(c) = -7*c**2 + 13*c - 19. Let h(j) = 11*j**2 - 19*j + 28. Let l(o) = -5*h(o) - 8*m(o). Let p be l(8). Solve -p*w + 0 + 8 = 0 for w.
2
Suppose 3*t = -2 - 1. Let o = 1 - t. Solve 7 = 3*m - o for m.
3
Let u be (21 + -18)*4/6. Solve -u*c = 2*c + 16 for c.
-4
Let a be -2*-2*(-3)/(-6). Solve -j - a*j + 6 = 0 for j.
2
Let x = -7 + 13. Suppose -4*w + 14 + x = 0. Solve -2*f + f = -w for f.
5
Let k be (75/(-10))/((-2)/4). Solve 0 = 4*g - g - k for g.
5
Suppose -s - 46 = 4*t - 10, 0 = -t - 5*s - 9. Let r be (-3)/(-9) + (-87)/t. Solve -h + 3*h - r = 0 for h.
5
Suppose 0*q - 16 = -4*q. Let r be (-2)/4 + (-1)/(-2). Solve -p - q*p - 25 = r for p.
-5
Suppose -36 = -4*p - 5*l, -l = 2*p -