 = -5*z + 3*z for z.
1
Suppose -5*k = -5*u - 30, -2*u + 17 - 1 = 5*k. Solve k = -z + 9 for z.
5
Let a be 2 + -2 - 2 - -2. Let r = a + 2. Solve l = -r*l for l.
0
Suppose -j - 3*j = 0. Suppose 2*g = 4*n - 4, 2*g - 2 = -2*n - j*g. Solve -l + n = 2 for l.
-1
Let m(f) = -7*f - 7. Let v be m(-3). Let b be ((-12)/(-7))/(3/v). Solve -3*q = q - b for q.
2
Suppose 50 = -3*h + 13*h. Solve 10 = -0*a + h*a for a.
2
Suppose -d = -3*d. Suppose -z + 0*z = d. Solve z = -5*y - 0*y + 25 for y.
5
Let u(d) = 5*d**2 - 2. Let v be u(2). Let l be (v/4)/(6/8). Suppose -2 = -2*b + l. Solve -p - b*p = 10 for p.
-2
Let i = -19 + 21. Suppose i*u - 8 = -0*u. Solve f = u*f for f.
0
Let y(i) = -2*i**2 - 5*i - 5. Let n be y(-2). Let u be 30/(1/(-2)*n). Solve 0 = -f - 4*f - u for f.
-4
Let x be -4 - 4/(16/(-20)). Solve 2*q = x + 7 for q.
4
Suppose 7*z = 2*z - 5, 3*u - 57 = 3*z. Let s be u/6 + 1 + 0. Solve -16 = -4*i - s for i.
3
Let g be 0/(-2*1)*1. Suppose -9*s - 8*s = -119. Let f(y) = -y + 7. Let p be f(-5). Solve g = s*u - 3*u - p for u.
3
Let f = 119 - 113. Solve 4*l - 14 - f = 0 for l.
5
Suppose -10 = 5*m, -4*b + 22 = 8*m - 3*m. Suppose -4*x = -0*x - b. Solve x*y + 5 = 1 for y.
-2
Suppose 30 = -g + 4*g + 3*l, 5*l = -4*g + 44. Let z = 3 - g. Let f be 6 - ((0 - z) + 0). Solve -10 = -f*u + 2 for u.
4
Let n be (-5)/(-3)*(-2 + -1). Let a(o) = -o**3 - 6*o**2 - 5*o + 4. Let y be a(n). Suppose 4 = 2*u - y. Solve -u*k = k - 20 for k.
4
Let v be (-1 + 2)/(1/(-2)). Let r be (-114)/12 + 1/v. Let y = r + 14. Solve -y*h + 4 = -8 for h.
3
Suppose -u - 6 = -2*f - 6*u, 12 = 4*f + 3*u. Suppose -23 = -4*g - f*m, 25 = 9*m - 4*m. Suppose -4*x - 1 + 10 = y, g*x - 8 = -4*y. Solve 4*k - 8 = x*k for k.
4
Suppose 0 = 4*i - 0*i. Suppose 0 = s + 5*h - 8, 3*s = -0*s + 4*h + 5. Suppose 0 = -3*w + s + 9. Solve a = -i*a - w for a.
-4
Let g = 6 - 4. Suppose 15 = 5*d - 5*f, -5*d = g*f - 6 - 9. Suppose 5*w - 2*x - 117 = 0, 0*w = 2*w + 4*x - 66. Solve 0 = 2*q + d*q + w for q.
-5
Let n = 34 - 29. Let y = 3 + -1. Solve -n*c + y = -3 for c.
1
Let x = -7 + 7. Solve -2*m + 4*m - 10 = x for m.
5
Let w be ((-5)/(-4))/((-6)/(-24)). Let i = 11 - w. Suppose f + 10 = i*f. Solve -u = -0 + f for u.
-2
Let t be 12*-1*(-4)/4. Solve 2*r + r = t for r.
4
Suppose 2*t + 1 - 5 = 0. Solve 0 = -0*n + t*n + 10 for n.
-5
Suppose -6 = -u + 7. Let v = 24 - u. Let s(z) = z - 10. Let i be s(v). Solve w = 2*w - i for w.
1
Let m be 16/(-4) - -3 - 2. Let p = 4 + m. Solve -p = 3*c + 5 for c.
-2
Suppose -7*a + 10*a = 9. Suppose -16 - 32 = -4*j. Suppose j = a*d + d. Solve o - d*o = 0 for o.
0
Suppose -2*j - 3*r - 2*r + 35 = 0, 4*r + 4 = 0. Let w(n) = n**2 + 8*n + 2. Let m be w(-8). Solve -m*b + 6*b = j for b.
5
Let v be (-2 - -3)/((-12)/(-72)). Solve 4*m = -2 + v for m.
1
Suppose -2*v + 12 + 4 = 0. Let y = v + -6. Solve -6 = -0*k + y*k for k.
-3
Suppose -3*g + 5*q = 38, -3*g = 2*g + q + 54. Let l = -6 - g. Solve 0 = l*p - 2*p - 9 for p.
3
Let x = 1 - 1. Let j be (-6)/(-24)*0 + 4/2. Solve x*n = -2*n - j for n.
-1
Let u be -12*(-4)/16*2. Solve 25 = -j + u*j for j.
5
Let v be (-8)/(3/((-9)/6)). Suppose -a - v*d + 0 = -2, -4*d = -2*a + 4. Let w = -2 + a. Solve 2 = 2*n - w*n for n.
1
Let t be 0/(3 - 0 - 2). Solve -2*y - 2 + t = 0 for y.
-1
Suppose -43 = 3*d + 5*p, -2*d - p = -6*d - 19. Let r(w) = -w**3 - 7*w**2 - 5*w + 8. Let z be r(d). Suppose 3*c - 23 + 5 = 0. Solve -i - c = z*i for i.
-2
Let l(m) = -2*m - 5. Let a be l(-4). Suppose 4*b = b + 15, -a*c = -2*b + 10. Solve c*s = -2*s + 2 for s.
1
Let y(b) = -b**3 + 10*b**2 - 12*b + 27. Let i be y(9). Solve i*j = -j for j.
0
Suppose 5*y + 4 = -h, -3*h - 2 = -8*h - 3*y. Solve 5*q = 6 - h for q.
1
Let l(u) be the third derivative of -u**6/120 + u**5/12 - 5*u**4/24 + 2*u**3/3 + 3*u**2. Let k be l(3). Solve -6 = -4*o + k*o for o.
-2
Let i(x) = x. Suppose 1 + 2 = l. Let r be i(l). Suppose -3*c + 2*v = 2, c + 8*v - r*v = 22. Solve c*y = 5*y + 15 for y.
-5
Let r(t) = -t**3 + 11*t**2 + 14*t - 22. Let m be r(12). Solve 0*d - m*d - 6 = 0 for d.
-3
Let k(m) = m**3 - 4*m**2 + 5*m - 1. Let f be k(3). Solve -t = -f*t for t.
0
Let r be (-11 - -7) + 1 + 7. Solve -5*a + r = -6 for a.
2
Suppose -4*m = -j - 20, 5*j - 3*m + 0*m = -15. Solve 0 = -j*d + 3*d + 3 for d.
-1
Let c(h) = h**2 - 9*h + 10. Let u = 11 - 2. Let d be c(u). Solve -3*b - d = 2*b for b.
-2
Let r(i) = 3*i**2 + 2*i**3 + 1 + i - 2*i**3 - i**3. Let d be r(3). Suppose 20 = d*c - 40. Solve 4*z - c = z for z.
5
Let r(q) = q**2 + 8*q + 9. Let b be r(-7). Solve b*o + 4 = o for o.
-4
Let a(u) = -u**2 - 3*u + 7. Let v be a(-3). Solve v*o - 2*o = 0 for o.
0
Let t be 4/14 - ((-160)/(-28))/(-1). Solve -t = -u - 1 for u.
5
Let q = 0 - -12. Solve -4*x + 4 - q = 0 for x.
-2
Let n = 7 - 3. Suppose -n*l + 5 + 19 = 0. Let g be 12/1*2/l. Solve g + 11 = -5*c for c.
-3
Let r = 9 + -9. Solve 2*w + 2*w = r for w.
0
Let r = 28 + -8. Solve -3*w - r = -8 for w.
-4
Let f = 0 + -2. Let d = f - -6. Solve d*u = 3*u - 4 for u.
-4
Suppose 3*d + 2*w = 22, -3*w = 2*d - 3 - 5. Let h be ((-3)/((-6)/(-4)))/(-1). Solve -d = h*x + 3*x for x.
-2
Let v be (3 - 7/4)*4. Solve v*y - 14 = -4 for y.
2
Suppose 0 = 4*t - 0*c - 3*c + 10, c = -3*t - 14. Let h = -1 - t. Suppose h*z - 2*k - 2*k = -12, 9 = -2*z + 3*k. Solve -2*b - 3*b = z for b.
0
Let r be (48/40)/((-2)/(-5)). Solve r*g + g - 20 = 0 for g.
5
Let y = 0 + -2. Let k be 2 - (-2 + y/(-1)). Suppose -5*u + 50 = -o + 6*o, 23 = k*u + 5*o. Solve u = 4*c - 3 for c.
3
Suppose t = -3*c - 4*t + 25, -3*c + 7 = -4*t. Suppose -4*a + 14 = 3*b - c*a, -a = 2. Solve -y - 10 = b*y for y.
-2
Let s(i) = -i**3 - 10*i**2 - 8*i + 12. Let v be s(-9). Suppose 3*w - 2*w - 13 = 3*q, v*w = 2*q + 18. Solve w = -c + 3 for c.
-1
Let w(j) = -j**2 - 7*j - 2. Let v be w(-6). Let k = v + -4. Suppose 3*c - 7*c + 12 = k. Solve 0 = -r - 2*r - c for r.
-1
Let y(m) = m**2 + 2*m - 1. Let s be y(3). Suppose 4*x - 2*n - s = x, -x - 5*n - 18 = 0. Solve -2*i + 2 + x = 0 for i.
2
Let n(k) = -k**3 - 8*k**2 + k + 11. Let x(a) = -a**2 + 7*a + 7. Let i be x(8). Let s be -9 - 3/3*i. Let g be n(s). Solve 0 = 2*r + g*r for r.
0
Suppose 2*o - 31 = -7. Suppose 0 = 2*l - 4*l + o. Let q = -4 + l. Solve -q*d + 4*d - 4 = 0 for d.
2
Let j = -6 - -8. Suppose -d = 5, -4*k + j*d + 32 = 2. Solve -2*i = 1 + k for i.
-3
Let a be (1 + -4)/(-1 + 2). Let b = -1 - a. Solve -5*t + 3*t = -b for t.
1
Suppose -16*d + 59 = -5. Let j = 6 + -4. Suppose j*z = -5*s + 3*z + 5, -3*z - 15 = -4*s. Solve s = 2*w - 0*w - d for w.
2
Let a be ((-3)/(-6))/(2/(-32)). Let j(p) = -p**3 - 8*p**2 + p + 8. Let u be j(a). Suppose 0 = -u*v - 4*v + 8. Solve 2*q = -0*q - v for q.
-1
Suppose 2*q + 17 = 5*h, -h + 0*h + 4*q + 7 = 0. Suppose -9 - 3 = -h*i. Let w be 2 + 3 + -1 - 4. Solve i*p + 8 + 4 = w for p.
-3
Let w be (4/3 - 2)*-15. Solve -c = 4*c - w for c.
2
Suppose p - 7 = 2*p. Let z be (-58)/p - 4/14. Let t be z/6*(1 + 2). Solve 0 = -t*b - 0*b for b.
0
Suppose -5 = 2*z - 3*i, 3*z = -i + 3*i + 5. Solve l + 16 = z*l for l.
4
Let z(p) = p**3 + 4*p**2 + 2*p. Let b = -4 - -3. Let v be b*2 - 2 - -2. Let r be z(v). Solve 0 = -r*y - y - 15 for y.
-3
Let t = 6 + -7. Let q = 3 - 4. Let d = q - t. Solve u + 1 + 4 = d for u.
-5
Let q(s) = -s + 119. Let x be q(0). Let f be -2*(x/(-2) + 2). Suppose -3*w + f = d + 4*d, d = -w + 25. Solve 0 = -2*n + 7*n + d for n.
-4
Suppose -3*j + 4*v + 8 = 5*v, 4*j + 4*v = 0. Solve 0 = t - j*t - 15 for t.
-5
Suppose -q - 9 = -5*y, -2*y - 4 = 2*q + 2*y. Let r be (-2 - 0 - q)/1. Suppose -3*c + 5 - 6 = -2*k, k - 2 = c. Solve -c*s - r = -2*s for s.
-2
Let u be (4 + -1)/((-3)/(-2)). Solve u*n = 6*n for n.
0
Let a(g) = g**2 + g. Let t be a(-2). Solve 2*j = -t*j - 8 for j.
-2
Suppose 0*c + q + 6 = 3*c, 8 = 4*c + 5*q. Solve 3*s = 1 + c for s.
1
Let q(z) = z**3 - 7*z**2 - 8*z + 5. Let c be q(8). Suppose c*f - 1 - 14 = 0. Solve -f*l + 6*l - 9 = 0 for l.
3
Suppose r = -l + 7, 0 = 2*l - 4 - 4. Solve -r*z = -4*z for z.
0
Let n(t) = -2*t**3 - 11*t**2 + 7*t + 10. Let v be n(-6). Let a be ((-10)/(-4))/(1/8). Solve c + v*c - a = 0 for c.
4
Let k = 14 - 11. Solve -k*h - 10 = -h for h.
-5
Suppose 3*n - c - 2 = 0, -c = -3*n - n + 4. Suppose 0 = -t + 3*y + 31, 5*t - y = n*y + 131. Solve 0 = -2*d + 7*d - t for d.
5
Suppose -4*n + 17 = -k, 2*n + 0*k - 1 = -k. Solve -2*f + 25 = n*f for f.
5
Suppose 5 = -4*p + 13. Solve 4*v = -2 - p 