-v + 10. Let s be x(q). Solve s = -5*h + 2*h for h.
0
Let q be -2 + 2 + -1 + 2. Solve 0 = -y - q - 0 for y.
-1
Let s = 3 + 7. Let v = s + -7. Suppose -b = -v - 2. Solve 0 - 5 = b*k for k.
-1
Let b be 123/(-15) - (-2)/10. Let f(y) = -y**3 - 7*y**2 + 7*y - 6. Let c be f(b). Solve -5*m - 23 = c for m.
-5
Let y = 20 - 3. Solve -2 + y = -5*i for i.
-3
Let w(y) = y**2 + 3*y - 7. Let p be w(-5). Suppose 3*t = -p*v + 3, -3*v - 18 = -0*t - 4*t. Solve 6 = -0*f - t*f for f.
-2
Suppose 0*v = 2*v - 4. Let a(t) = t - 8. Let g be a(8). Solve g = v*w - 2 for w.
1
Let c = 2 - -13. Let r be (54/c)/(8/20). Solve -4*s = -r*s + 25 for s.
5
Let p(u) = u - 6. Suppose 0 = -5*q - 3*s + 5, -q + 31 = 3*q - 3*s. Suppose -3*f = q*n - 16 - 7, 0 = -3*n - 4*f + 12. Let h be p(n). Solve 23 = -5*i - h for i.
-5
Let j(w) be the third derivative of -w**4/6 - w**2. Let m be j(2). Let q = m + 17. Solve 4*i - i = q for i.
3
Let j = 3 + -3. Let k be 0 + (2 - 2) - j. Solve k = -0*h + h - 5 for h.
5
Let c(i) = -i + 15. Let z be c(7). Suppose 3*r - z*r = -10. Solve -20 = 3*k + r*k for k.
-4
Suppose 4*z = 6 + 2. Suppose g = -z*g + 6. Solve g*h = 3*h + 3 for h.
-3
Let f(h) be the third derivative of h**6/20 - h**5/60 + h**4/24 + 2*h**2. Let w be f(1). Let k = w - 3. Solve -k*p = p - 8 for p.
2
Let u be (-5 - (-1 - 2)) + 4. Suppose 0 = u*z - z - 3. Solve -z*f + 0*f = -9 for f.
3
Let w(t) be the third derivative of -t**5/60 + t**4/2 + 4*t**3/3 + 2*t**2. Let i be w(12). Solve -8*g + 4*g = -i for g.
2
Suppose 2*s = 6*s + s. Solve 0 = 4*c - s*c - 4 for c.
1
Suppose 3*p - 29 = 1. Suppose -s = 4 - p. Let t = s - 2. Solve t + 0 = -2*h for h.
-2
Suppose -i + 48 = 3*i. Let f = 8 - i. Let r be (3/3)/((-2)/f). Solve 2*n = -r*n - 8 for n.
-2
Suppose z + 12 = 3*q + 3*z, -4*q - 2*z + 14 = 0. Solve 4*s - 2 = q*s for s.
1
Let r(t) = -t + 3. Let m be r(-6). Let i = 12 + -9. Suppose i*j - 5 = -3*l - 2, 0 = -5*l + 2*j + 26. Solve c = l*c - m for c.
3
Let i(t) = -5*t - 10. Let p be i(-3). Solve -h + p = 4*h for h.
1
Suppose -3*f + 7 + 2 = 0. Solve w = -0*w - f for w.
-3
Suppose 7*j = 3*j + 16. Let c(f) = f**3 - f - 1. Let b be c(2). Suppose 2*w + 5*q - 10 = 0, -q = w - b*q + 8. Solve -j*y + 7 + 13 = w for y.
5
Let g(z) = -3*z - 3. Let c be 6/7*(-6 + -1). Let x be g(c). Solve -4*j + j = x for j.
-5
Suppose -4*t + 23 = 5*u, 2*u = 3*t + t - 2. Suppose -11 + 1 = -t*j. Solve 2*q = j - 1 for q.
2
Suppose -2*s + 28 = 2*s - 4*p, 0 = -5*s - 3*p - 5. Let q be (-1*s)/(4/(-6)). Let x = -4 - -9. Solve x*i + 18 - q = 0 for i.
-3
Suppose -4*d - 2*o + 4 = 0, 4*o + 4 = -3*d + 2. Suppose -2*c - 11 = -3*s, 0 = d*s + 2*s - 5*c - 17. Solve -y = s*y - 8 for y.
2
Let s(d) = -d**2 + 3*d - 2. Let p be s(2). Suppose 23 = 5*f - 2*a + 7, -5*f = -3*a - 14. Solve p - 4 = f*v for v.
-1
Let g(k) = 33*k**3. Let p be g(-1). Let j = p + 48. Suppose -5*v = -0*v. Solve 3*l - j = -v for l.
5
Suppose 10*k + 0*k = 0. Solve k = -4*i - i - 5 for i.
-1
Let m be 1/(163/54 + -3). Let o be 20/(-6)*m/(-45). Let h(v) = v**3 - v**2 - 2*v. Let y be h(2). Solve k - o*k = y for k.
0
Let w be 48/(-20) + 4/10. Let c be (5 - 4)/((-1)/w). Solve -c*x = x + 15 for x.
-5
Let j(r) = -r + 3. Let n be j(5). Let d be n/(3/((-27)/6)). Solve 4*b = b + d for b.
1
Let x(r) = -r**2 - 6*r - 4. Let p be x(-5). Suppose -2 = -o + p. Suppose 5*m = 3*m + 2*c - 2, c + 3 = o*m. Solve -2 = -0*q + m*q for q.
-1
Let c be ((-4)/(-6))/((-12)/(-18)). Solve 0 = 3*l - c - 2 for l.
1
Let h(w) = -2*w**2 - 53*w - 21. Let p be h(-26). Solve -3 = -p*d + 17 for d.
4
Let r(v) = v**3 + 20*v**2 - 23*v - 30. Let n be r(-21). Solve -2*d - n = -6*d for d.
3
Suppose -3*n + 4 = -3*x - 11, 3*n + 15 = -3*x. Let v be (4 - 2)/(-4)*n. Solve -5*g + 15 = -v for g.
3
Suppose 2 = 5*y - 18. Let l be (-2)/y - (-4)/8. Solve 6*t - 3*t = l for t.
0
Let p(t) = -t + 2. Let w be p(3). Let o be w - -3 - (-2 + 0). Suppose -g + o = -0*g. Solve -u = u - g for u.
2
Suppose -3*i + 10 = -4*i + 3*f, 3*i + f = 10. Solve 10 = -4*y - i for y.
-3
Suppose 30 = 11*l + 8. Solve 0 = 3*m + l*m + 15 for m.
-3
Let z = -13 + 28. Solve 3*o + z = 6*o for o.
5
Suppose 4*d + 2*z = -d + 10, 0 = 5*d + 4*z. Let r = 22 + -22. Suppose -2*l = -5*k - r*l + 20, -d*l = 4*k - 16. Solve -k*t = t - 20 for t.
4
Let p = -31 + 31. Solve -q - 4 = -p*q for q.
-4
Suppose -10 = 4*n - n - 5*x, -x + 2 = 5*n. Solve n = 2*s + s + 15 for s.
-5
Let b be 0 - 4/(-2)*2 - 4. Solve b = -2*f - f + 15 for f.
5
Let s = 91 + -91. Solve 5*g + 9 + 1 = s for g.
-2
Suppose 3*r = -5*q + 2 + 4, r - 2 = 5*q. Suppose -r*k + 9 = -k. Solve k - 3 = 3*l for l.
2
Let p be 2/8 - 188/(-16). Let s be (-2)/(-4)*1*p. Suppose 5*z = 4 + 6. Solve 0*i - z*i = -s for i.
3
Suppose 3*g + 20 = 5. Let y be 0 - (g + (-2 - -5)). Suppose 30 = 4*o - y*u, 2*o + 5*u = 3*o - 12. Solve -3*z + o*z = -8 for z.
-2
Let c(b) = -2*b**2 - 20*b + 3. Let p be c(-10). Solve -p*g = -g - 10 for g.
5
Let t(h) = -h**3 + 7*h**2 - 8*h + 8. Let j be t(6). Let w be 2/4*j + 4. Suppose 0 = -p - w*k + 16, -4*k + 5 = -15. Solve q = p*q + 5 for q.
-1
Let y(t) = -t**2 - 5*t - 2. Let a(i) = -i. Let c be a(3). Let m be y(c). Solve 2*w = 4 + m for w.
4
Suppose 2*c = 2 - 0. Solve 2 + c = s for s.
3
Let p(u) = u**2 - 7*u + 3. Let g be p(7). Let m(d) = -5*d. Suppose 0 = 3*z + 2*x + 12, 0*z = 2*z + 5*x + 19. Let l be m(z). Solve i = g*i - l for i.
5
Let h = -13 - -19. Suppose -4*s - h = -6*s. Suppose 0 = -n - s*n. Solve n = 5*u - 18 - 7 for u.
5
Let i be 10/15 + 4/3. Solve -3 = -i*h - h for h.
1
Suppose 44 = -5*r + 4. Let h(f) = f**2 + 7*f - 6. Let d be h(r). Suppose 3 = n - d. Solve -n*c + 4 = -1 for c.
1
Let p be ((40/3)/4)/(4/18). Solve 2*f + p = -f for f.
-5
Suppose 48 = 3*s + s + 4*a, -s - 4*a + 27 = 0. Suppose 2*q - 11 = q. Let b = q - s. Solve b*n = -n - 5 for n.
-1
Suppose -9 = -4*l - 4*t + 7, 5*l + 12 = 3*t. Let w be l/((-2 + 5)/3). Solve w*c - 10 = 2*c for c.
-5
Suppose l - k - 24 = -l, 4*l - 5*k - 48 = 0. Solve -l = -c + 4*c for c.
-4
Let a = -1 - -1. Solve -4 = -4*o - a for o.
1
Suppose 4 = p - 4*p + 5*q, 2*p + 3*q - 10 = 0. Suppose -32 = -8*t - 16. Solve 0*x = -p*x - t for x.
-1
Let y = 25 - 19. Solve 5*f - y*f + 2 = 0 for f.
2
Let s be ((-10)/(-6))/((-2)/(-6)). Let m = s + -8. Let z be m/6 + 17/2. Solve r = 5*r - z for r.
2
Let a(f) = -f**2 + 2*f - 6. Let c be a(4). Let g = c - -20. Let m = -5 + 7. Solve 0 = -m*o - o - g for o.
-2
Let i be 2/((-14)/6 - -3). Let t(b) = b**2 + 8*b + 5. Let n be t(-8). Suppose 5*q - 7 = -i*v, n*q - q - 4*v - 12 = 0. Solve 0 = 6*r - q*r for r.
0
Let b = -6 - -8. Solve -b*l - 8 = -6*l for l.
2
Let g be 8/40 + (-27)/(-15). Solve 0 = -0*v + 2*v + g for v.
-1
Let m(a) = -a**2 + 24*a - 17. Let v be m(23). Solve -v*f + 2*f = 20 for f.
-5
Let f be 1/2 + (-10)/(-4). Suppose z + z = 0. Suppose -3*u + 45 = -z*u. Solve f*x + u = -0*x for x.
-5
Let z(l) = -l**3 - 2*l**2 + l - 1. Let c be z(-3). Let u be 7*(1/7 - 0). Suppose -5*r = -4*a - u, 0 = -a - 2*a + 2*r + 1. Solve a - 6 = -c*y for y.
1
Let x(p) = -p**3 + 12*p**2 - p + 12. Let l be x(12). Solve l = n + n for n.
0
Suppose -5*v + 20 = -5. Let i = 30 + -13. Let f = i - 9. Solve f = -v*t - 12 for t.
-4
Suppose 25 = 5*y, 4*z + 4*y - 31 = y. Suppose t - 2*t - z = 2*f, 5*t - 2*f = -8. Let g be (t - -4) + (-3 - -1). Solve g = -0*s + 2*s for s.
0
Let t(u) = -2*u**2 + 20*u - 28. Let f be t(8). Let z(c) = 3 - c - 2 - 2. Let b be z(-3). Solve b*s + 4 = -f for s.
-4
Let c(l) = -2*l**2 - 20*l - 14. Let r be c(-9). Solve r*u = u - 6 for u.
-2
Let z(q) = q**2 - 2*q - 4. Let l be z(4). Suppose l*h + 3*v - 4 = 0, 2*v - 6*v - 12 = h. Solve 1 = h*o - 19 for o.
5
Let v(n) = n + 13. Let m be v(-5). Solve -3*p = -m*p - 10 for p.
-2
Let l = -2 - -4. Solve -4*u + l = -10 for u.
3
Let r = -39 + 19. Let a be (16/5)/((-8)/r). Solve -a = 3*f + 1 for f.
-3
Let r(q) = -q**2 - q + 1. Let l(o) = -2*o**2 - 8*o - 5. Let j(c) = l(c) - r(c). Let s be j(-6). Solve s = 3*b - 8*b + 25 for b.
5
Suppose -j = 2*j - 6. Suppose -30 = -25*c + 15*c. Solve -v - j = -c for v.
1
Suppose 0*t - 213 = 3*t. Let z = 105 + t. Solve 4*f - 14 + z = 0 for f.
-5
Let b be (-4)/(12/9) - -4. Suppose a = -3*t + b, 0 = 2*t - 4*t + a + 4. Let i be ((-6)/(-4))/(6/8). Solve i = -u + t for u.
-1
Let y be 1/(-4) - (-17)/4. Suppose 4*t - 5*a + 24 - 79 = 0, t + 2*a = y. Suppose 0 = -3*l + l + t. Solve 5*x = -l - 15 for x.