Let y = -6 + 10. Solve d = f + 7 - y for f.
-3
Let m = -3 - -6. Let h = m - 1. Solve 0 = -c - h + 7 for c.
5
Let i(w) = -w + 1. Let o(x) = -2*x + 11. Let l(r) = -3*i(r) + o(r). Let a be l(-4). Solve a*m + m = 5 for m.
1
Let o be 6/4*(-12)/(-2). Let r(y) = -y**3 - 6*y**2 + 7*y + 5. Let h be r(-7). Suppose 0*w + h*w + 20 = 5*g, 3*g - w - 16 = 0. Solve -o = -5*k + g for k.
3
Let u be -6 - (18/(-2) - -1). Let p(v) = -3*v**3 + 2*v - 1. Let f be p(1). Let c = f + 2. Solve -b - u + 3 = c for b.
1
Let r(z) = -2*z**2 + 4*z + 1. Let f be r(2). Solve -4 = n + f for n.
-5
Let u be 10/(-1)*((-3)/6)/1. Solve 0 = u*t - 2*t - 6 for t.
2
Let o = 3 + -9. Let s = -4 - o. Let c(b) = -b**3 + 3*b**2 + 3*b + 4. Let u be c(4). Solve u = -s*i + 3*i for i.
0
Suppose -2*b + 2*v + 8 = -2*v, 4 = b - 5*v. Solve -3*u + b*u = 4 for u.
4
Let t be 8/(-14) - 270/(-105). Solve -t + 0 = -f for f.
2
Let w = 9 + -5. Suppose -4*s - 1 = -v + 2*v, 0 = -4*s - w. Solve -v*d = d for d.
0
Suppose 3*i = -3*z - 21, 0 = -2*i - 5*z + 7 - 27. Let s(k) = -k**3 - 6*k**2 - 5*k. Let h be s(i). Solve h*d + 2 = -d for d.
-2
Let w(l) = l**2 + 6*l - 3. Let d be 14/(-4)*(2 - 0). Let h be w(d). Solve -n - n = -h for n.
2
Let i = -13 - -15. Solve 3*l + 1 = -i for l.
-1
Suppose b = -0*b - 1. Let m(h) be the third derivative of -h**6/30 + h**4/24 + h**3/6 + 3*h**2. Let q be m(b). Solve r = -r - q for r.
-2
Suppose t + 5*s + 13 = 2, -5*t - 5*s - 55 = 0. Suppose -28 - 4 = 4*l. Let c = l - t. Solve 4*q - 13 = c for q.
4
Let m(n) = -5*n**3 - 2*n**2 + n + 2. Let p be m(-1). Solve 7 = -p*b + 3 for b.
-1
Let c be (-20)/(-3)*(-36)/(-20). Solve 5*h = h - c for h.
-3
Suppose 6 - 57 = k - 5*c, -2*k = c + 80. Let u = k - -23. Let r = -12 - u. Solve -2*f = -r*f for f.
0
Suppose -4*s = -2*s - 30. Solve -4*i - s = i for i.
-3
Suppose -3*k + 146 + 13 = 0. Suppose -l - 48 = -4*s, -3*s = l + 17 - k. Solve u = 5*u + s for u.
-3
Suppose 5*q - 5 - 35 = -5*x, x - q = 0. Solve -4*t + x = -12 for t.
4
Suppose t - 3*z - 1 = 4, -4 = 4*z. Let s be 3/(-6)*1*-50. Solve t*r + s = -3*r for r.
-5
Suppose -6*i = -52 - 38. Solve 2*c = -3*c - i for c.
-3
Suppose 0 = 4*n + 13*n - 34. Solve 2*u + 8 = n for u.
-3
Suppose 0*u - 47 = -5*m - 2*u, 4*m + 3*u - 39 = 0. Solve 1 + m = 2*b for b.
5
Suppose -4*y + 16*y = 0. Solve y = 4*z + 16 for z.
-4
Suppose -x + 5 - 38 = 0. Let d be 92/22 + 6/x. Solve j = d*j for j.
0
Suppose -2*x - 10 = 4*y, 3 = -x - 2. Solve y = -4*p + 24 - 8 for p.
4
Let p be -2*1*6/(-4). Suppose -p = -2*a + 1. Suppose -a*d + 6*d - 16 = 0. Solve -1 = -d*h + 11 for h.
3
Let o(f) = -2*f + 6. Let y(v) = -2*v + 5. Let s(z) = -2*o(z) + 3*y(z). Let p be s(-6). Let d = p + -11. Solve 0 = d*l - 7*l for l.
0
Let z be -3*(-2)/2 - -9. Solve 0*k + z = 3*k for k.
4
Let q(c) = -c**3 + 2*c**2 + 2*c - 1. Let m be q(2). Solve -m*n + 15 = 2*n for n.
3
Let p = -11 - -8. Let f be (-1)/3 - (-14)/p. Let n be f/(5/(-4)) + -1. Solve 4*i - n = 3*i for i.
3
Let x(h) = 5 - 2 + 19*h - 5. Let w be x(2). Let p be 4/14 + w/21. Solve -2*i = p*i - 4 for i.
1
Suppose -5*g + 15 = -0. Solve -g*s = -s - 6 for s.
3
Suppose 12 = 3*r - 0*r. Suppose 0*f + r*f = 4. Solve 0 = -u - f - 1 for u.
-2
Suppose 0*z = -5*z + 30. Let j be 10/(-4)*z/(-3). Solve -j = -3*i - 2*i for i.
1
Let h(z) = z**3 + 6*z**2 + 4*z - 1. Let f be h(-4). Suppose -f = -4*b + b. Solve -b*m + 22 = -3 for m.
5
Let o be (-5 - (-12)/3)*-3*1. Solve 0*t = -o*t + 3 for t.
1
Suppose -6*d = -5*d - 6. Solve 0 = -0*p - 2*p - d for p.
-3
Suppose 5*m = p + 5, -2*m - 2*p - 3 - 7 = 0. Solve 2*g - 5*g + 6 = m for g.
2
Let t be (-3 - -2) + 1 + 7. Solve 0 = 3*h - t*h - 20 for h.
-5
Let u(r) = -6 + 5 + 4*r - 3*r - 11. Let o be u(10). Let p be (o + 1)*(-5 + 5). Solve -2*q + p = 2 for q.
-1
Suppose 6*l + 5*y = 2*l + 18, 4*y - 18 = -5*l. Let s be 2 + (1 - (l - 4)). Suppose -2*p = s*o - 46, -o + 3*p - 7*p = -20. Solve -o = -h - 3 for h.
5
Let l be (3/2)/(6/8). Solve -8 = l*x - 6*x for x.
2
Let t(k) = 2*k - 8. Let g be t(4). Solve 2*b + g = -4 for b.
-2
Let s(h) = h**2 - 2*h - 10. Let c be s(-3). Solve -14 - 1 = c*i for i.
-3
Let r be 81/18*(-4)/6. Let x(c) = c + 5. Let z be x(-3). Let m be (r + (-3 - -6))/z. Solve 4*q - 14 + 2 = m for q.
3
Let i be ((-9)/6)/(3/(-4)). Suppose 0 = -4*x + 2*f + i*f + 12, -4*x = 2*f - 24. Let n be (-4)/(0 + 2/(-8)). Solve x*v + n = v for v.
-4
Let d be 7 + 3 + (-2)/2. Solve d*i = 11*i + 4 for i.
-2
Suppose 3*l = 3*a - 6, -2*l + 3*a = 7*a - 20. Suppose 5 = r, -4*j = -2*r + 4*r - 26. Suppose -p + 3*p + 4*k - 18 = 0, 5*p = -j*k + 27. Solve l*n = 5 + p for n.
4
Suppose -v + 45 = 4*d, 4*d + 2*v + 2 = 48. Let c = d - 8. Solve c*i + i = 8 for i.
2
Suppose 3*p - 14 = -4*p. Suppose 2*u - u - p = 0. Solve 2 = 4*x - u for x.
1
Suppose -5*d + 3 + 7 = 0. Let k be 6/(-24) + (-2)/(-8). Solve -d*r = -k*r for r.
0
Let k(t) = t**3 - 14*t**2 - 14*t - 13. Let r be k(15). Solve w = -0 - r for w.
-2
Let h(u) = -u - 2. Let y(n) = n. Let r(b) = -b. Let l(g) = -5*r(g) - 3*y(g). Let z be l(-2). Let m be h(z). Solve 0 = 4*o + 2 + m for o.
-1
Suppose 0*x = x - 11. Let v = -7 + x. Suppose o - v = -2*z + 2*o, -3*o = 0. Solve z = 5*d - 3 for d.
1
Let y(f) = 5*f**2 + 2*f + 1. Let b be y(-1). Solve 0*w - 12 = -b*w for w.
3
Suppose -125*t = -124*t - 6. Solve -4*x = t + 2 for x.
-2
Let a be -4 + 3 - 1*-1. Suppose 15 + 17 = 2*h - 5*o, -2*h - o + 8 = 0. Let s be h + (-4)/(a + 2). Solve s*z = z + 6 for z.
2
Let r(n) = n**3 + 11*n**2 + 7*n - 5. Let x be r(-10). Solve 5*z + x = -0*z for z.
-5
Let i = 21 + -12. Solve i*l - 4*l = 15 for l.
3
Let o = 9 + -5. Suppose -g - w = -5, 2*g - 36 = -g + o*w. Solve -i = i + g for i.
-4
Let y = -4 + 5. Suppose 4*p - 7 = y. Solve -i = p*i for i.
0
Let q be 12 - 10/6*3. Solve 1 = 4*z - q for z.
2
Let f be (-2)/10 - (-58)/(-10). Let n be 3/(-2)*(-4)/f. Let j = 3 - n. Solve 3*k - j*k - 3 = 0 for k.
-3
Let t(c) = c**2 + 11*c + 14. Let a be t(-10). Solve 8 = -a*l + 24 for l.
4
Suppose -f - 12 = -3*h, -3*f - 2*f + h = -10. Suppose -3*g + 24 = f*w - 24, -2*w - g = -29. Let s = w + -6. Solve 3 = 2*z + s for z.
-2
Suppose -p + 6 - 1 = 0. Solve -p*m = -1 + 6 for m.
-1
Let o(a) = a**3 - 2*a**2 + 2. Let t be o(2). Solve 2*v + 6 = t for v.
-2
Suppose 5*z - 70 = -5*f + z, -2*f = -5*z + 5. Suppose -5*w - f + 25 = 0. Let r be 0*(0 + w)/(-3). Solve a + r*a = 1 for a.
1
Let y be 8 - (-3)/2*-2. Suppose -3*j + 7 = z, 14 = 2*z + y*j + 2. Solve p + 3 = z for p.
-2
Let l(a) = -a**2 - 5*a + 3. Let z be l(-4). Suppose 0 = 5*g - 3 - z. Solve 3*v = -g*v + 15 for v.
3
Suppose -q + 0*q = 0. Let u(b) = 2*b**2 - 2*b - 1. Let w be u(-1). Suppose q = x + w*x. Solve x = 4*g - 19 + 3 for g.
4
Let d = 6 + -4. Let m(i) = i**3 - 2*i**2 - 2*i - 1. Let k be m(3). Suppose -w + d*q = k*w - 22, w + 4*q + 2 = 0. Solve s - w = -s for s.
3
Let o be 0 - (-3)/(3/(-4)). Let h be 2*5*o/(-8). Let p be (-3)/(-6)*(h + 1). Solve -p - 1 = -u for u.
4
Suppose 3*x = 5*x - 2. Let j(r) = r**2 + 2*r + 11. Let p be j(0). Let w be (0 + (-2)/4)*-4. Solve w*g + x = p for g.
5
Suppose -16 = -3*g - 0*i + 4*i, -g = -3*i - 12. Solve g = -2*n + n - 2 for n.
-2
Suppose 5*a - 4*s = 21, 4*a = -4*s + 2*s - 4. Solve a + 9 = -5*y for y.
-2
Suppose 3*b = -2*w + 17 + 4, 0 = -b + 2*w + 15. Let n be (-9 - 3)*2/(-4). Suppose -j + n = -23. Solve 4*k + j - b = 0 for k.
-5
Suppose 10*h - 5*h - 25 = 0. Suppose -h*b = -b - 12. Solve -b*r + 4 = -5 for r.
3
Let m(g) = g + 5. Let x be 2/((-7)/5 + 1). Let s be m(x). Solve -4*f = -s*f + 12 for f.
-3
Suppose -3*t - t - z + 20 = 0, -t - 4*z + 20 = 0. Solve -5 = t*y + y for y.
-1
Let j = 22 - 9. Let m = 6 + -2. Suppose m*x + 4*l = 16, -3*l + 0 = -2*x + j. Solve x*r = 9 - 4 for r.
1
Let t be (-4)/(-8)*4*3. Let q = t - 6. Solve 5*w - 3*w = q for w.
0
Suppose 0*y = -7*y + 14. Solve -3*o - y = 1 for o.
-1
Let h(y) = y + 9. Let c be h(0). Suppose 0 = -2*s + 5 + 5. Solve -6 = -s*x + c for x.
3
Suppose 3*i - 2 = 4. Solve 0 = i*t - 4*t + 10 for t.
5
Let x(c) = c**2 + 7*c - 5. Let a be x(-8). Suppose -7*u - v + 54 = -2*u, 28 = 3*u + 5*v. Let b = u - 1. Solve 0 = a*n - n + b for n.
-5
Suppose 5*m = -5*g + 40, -2*m + 21 = -g - 2*g. Solve v + m = -2*v for v.
-3
Let f(r) = -6*r - 2. Let s be f(-4). Let p be 6 + (-2 - (-2 - -1)). Solve p*z - 3 - s = 0 for z.
5
Let m be 14 - (8/(-2) - -2). Suppose 5*j = -2*a + a + 4, 4*a - m = 0. Suppose -i = -4*c + 