Let r be -1 + (1 - (-1 - -2)). Let z = r + a. Solve 4*h - z + 17 = 0 for h.
-3
Let c(k) = 4*k + 29. Let a be c(-7). Suppose -o = -4*g + 8, -o + 4 = -2*g + 4*g. Solve g = -t + a for t.
-1
Suppose -3*v + 3*j + 9 = -0*v, 10 = 5*v - 4*j. Let i be (16/(-6) - v)*-3. Suppose -i*q + q = -2. Solve -q*x - 10 = 3*x for x.
-2
Let y(p) = -p**3 + 7*p**2 + 8*p + 2. Let f be y(8). Let u = f - 4. Let k = 5 + u. Solve 0 = k*x - 4*x for x.
0
Let h be (-46)/14 - (-2)/7. Let u(j) = j**2 + 7*j + 2. Let n(c) = -c**2 - 7*c - 2. Let z(b) = h*u(b) - 4*n(b). Let m be z(-7). Solve v - m = 2 for v.
4
Let y(z) = -z - 1. Let b(d) = -d**2 + 2*d - 15. Let j(q) = b(q) - 5*y(q). Let s be j(5). Solve 0 = -s*n + 2*n for n.
0
Suppose 2*s + s - 15 = 2*z, 3*s + z - 15 = 0. Suppose s = p - f, -4*p + 20 = f - 4*f. Solve 0*c = p*c for c.
0
Let q(u) = -14*u + 87. Let g be q(6). Solve 11 = -g*l - 4 for l.
-5
Suppose 2*m + 0*h + 3*h - 14 = 0, 1 = -3*m + h. Let b = 3 + m. Suppose -b = -6*g + 4*g. Solve -v - 9 = g*v for v.
-3
Suppose -8 - 2 = -2*n. Let x be (-1 - -9)*(-1 - -2). Let z = x + -8. Solve -q + n*q + 16 = z for q.
-4
Let k(f) = -f + 1. Let i be k(-5). Let j = -1 + i. Suppose -3*a + 4*n + 29 = 8*n, -2*a - j*n + 31 = 0. Solve 0 = -a*c - 6 - 3 for c.
-3
Let c(q) = -q**2 - q - 2. Let w be -2*(-2 - -1)*1. Let v be c(w). Let d(y) = -y**2 - 7*y + 8. Let j be d(v). Solve -5*o + 3 - 8 = j for o.
-1
Let q(d) = d**3 - 4*d**2 + 3*d + 4. Let j(p) = 6 + p**3 - 5*p - 3 - 4*p**2 + 0. Let o be j(5). Let y be q(o). Solve -4*m + y = 24 for m.
-5
Let b(k) = 2*k + 2. Let y = 6 + -4. Let d be b(y). Solve -3*t + 0*t = d for t.
-2
Let a = -24 + 27. Solve 0 = a*m + m for m.
0
Suppose s - 2*j = -4*j, j = -s - 1. Let k = s - -6. Let q(d) = d + 1. Let w be q(k). Solve w*t = 2*t + 15 for t.
5
Let h = -7 + 8. Let x = 3 - h. Suppose -2 = -x*k + 2. Solve -4*d + k*d + 8 = 0 for d.
4
Let p(k) = -k**2 - 17*k - 10. Let h be p(-17). Let v be (-154)/(-35) - 6/h. Solve 0 = 2*g - v*g - 12 for g.
-4
Let g = 1 - -2. Suppose o - 2 = 3*a - a, a = -o - 1. Solve o = 4*d - g*d + 3 for d.
-3
Let u(m) = m**3 + 2*m**2 - 4*m - 1. Let b be u(-3). Let t = 22 - 20. Solve 0*k + t = -b*k for k.
-1
Let u(n) = 3*n**2 + 7*n + 5. Let w = -16 - -12. Let i be u(w). Solve -4*d + i = -9*d for d.
-5
Suppose -n - 16 = -5*i, 4*n - 2*n = 2*i. Solve 2*z - 2 = i for z.
3
Let s be -1*(-5 + 1)/(-4). Let d(g) = -g**2 - 7*g - 6. Let a be d(-6). Let t be a/((-1 - 0)*s). Solve x + x = t for x.
0
Let u be -5 + (1 - 1)/(-2). Let m(w) = -w**2 + 4*w - w + 0*w - 4 + 2*w**2. Let x be m(u). Solve x = -d + 3 for d.
-3
Let q be (-2)/(0 + -2) - -4. Suppose 3 = -t - q*k, k + k = 0. Let v = t - -6. Solve -16 = -v*b - b for b.
4
Suppose -x + 2 = -17. Suppose x + 1 = 4*w. Solve w*i + 0 + 5 = 0 for i.
-1
Let x(p) = -8*p - 30. Let g be x(-4). Solve 0 = 3*u + 5 - g for u.
-1
Suppose 3 - 15 = 2*l - 4*v, 6 = 2*v. Suppose 0*t - 3*t + 15 = l. Suppose 4*m = 2*m - 4*r - 2, -t*r - 1 = 4*m. Solve -2 - m = -y for y.
3
Suppose -3*h - 4*z + 43 = 0, -2*z - 69 = -4*h - 5*z. Suppose -1 - 3 = -r. Solve h = r*d + 5 for d.
4
Suppose 0*u + 2*u = 0. Suppose u = -0*o + 4*o. Solve -6 = -o*r + 3*r for r.
-2
Let d be (20/5 + 4/(-1))/(-2). Suppose r = -3*r + 5*y + 26, 5*r = -3*y + 14. Solve d = -r*v - 8 for v.
-2
Let n be (19 - 0)/(-9 - -10). Solve n = -5*s - 6 for s.
-5
Let d be (-2 - (-20 + 4)) + -2*2. Solve j = -j - d for j.
-5
Suppose 2*c = -4*c. Solve c = 5*i - 9 - 11 for i.
4
Let n be (-3)/(-1) + 2*(0 + -1). Suppose -20 = -0*b - 5*b. Solve 5*z = n + b for z.
1
Let r(n) = n**2 - n. Let o(s) = 2*s**2 + 8*s - 12. Let v(w) = -o(w) + 3*r(w). Let q be v(10). Solve 2*c = -q*c for c.
0
Let z(i) = i**3 - i + 2*i + i + 1. Let q be z(-1). Let c be 3 + (1 - q/(-1)). Solve 3*j - c*j = 0 for j.
0
Suppose -h = -2 - 2. Let c(k) = -k + 4. Let b be c(h). Suppose -j = -b*j - 20. Solve -4*l - j = -0 for l.
-5
Let x = -35 + 49. Let v(u) = -u**3 + 5*u**2 + 6*u. Let l be v(6). Suppose -5*m + x + 1 = l. Solve 3*o + m = 2*o for o.
-3
Let g = -7 + 11. Solve -g = 5*d - 3*d for d.
-2
Let s be (-4)/3 - ((-12)/9 - 3). Solve 0 = s*t - 5*t + 6 for t.
3
Suppose 0 = 4*q + 5*i - 22, 8*i = q + 3*i - 18. Suppose r - 1 = -q. Let m = r - -13. Solve 4 = 4*u - m*u for u.
-2
Let w(p) = -4 + p + 2 + 9. Let h be w(6). Solve -h = 2*s - 3 for s.
-5
Let l = 18 + -20. Let g be 10*((-24)/10)/l. Solve -g = 2*h + 2*h for h.
-3
Suppose -4*p + 4*g + 33 - 9 = 0, -2*p = -3*g - 16. Solve p*o - 12 = -o for o.
4
Let a be 1 + ((-4)/(-2) - 3). Let h be (-1)/(2 + -3 + a). Suppose -c + 3*v - 3 = 0, -c = -5*c - v + h. Solve -w - 2*w = c for w.
0
Suppose 5*t = -0*t + 10. Suppose -3*r = -4*p + 26, -t*p - r = 2*r - 22. Solve 0 = -4*a - 12 - p for a.
-5
Suppose 0 = 4*u - 0*u - 28. Suppose 3 = 2*d - u. Solve -35 = -d*q - 10 for q.
5
Let v be 4/8 - (-12)/8. Solve v*d = 4*d - 10 for d.
5
Let p(t) = t**3 + 9*t**2 + 7*t - 4. Let k be p(-8). Suppose -3*v = -k*v + 7. Let m = v - 4. Solve q = m + 1 for q.
4
Suppose v - 3 = 3*y, -y - 3 = -5*v + 2*y. Suppose -3*a = -5*a + 4. Solve a*h - 4 = -v for h.
2
Suppose 11*n = 8*n + 36. Let z(l) = -l**2 + 11*l + 17. Let w be z(n). Solve w*j - 3*j = 2 for j.
1
Let y = 42 + -42. Let m = 4 + -2. Solve y*n = m*n for n.
0
Let w(n) = n**2 + 17*n + 10. Let t be w(-17). Solve 5*o + 5 = -t for o.
-3
Let g be (-27)/(-2)*4/6. Let k = 5 - g. Let x = 7 + k. Solve x*q = -q + 20 for q.
5
Suppose 5*i = f + 5, -5*f = 11 + 14. Solve i = -2*z + 1 + 1 for z.
1
Suppose 5*d + 0*d = 0. Suppose v + 11 = 2*v. Suppose -v*x + 24 = -3*x. Solve d = -x*o + 3 + 3 for o.
2
Let r(l) = 11*l - l**3 + 2*l**2 - 11*l. Let p be r(1). Solve p = 2*o - 3*o for o.
-1
Let j(k) = k**2 - k - 6. Let q be j(5). Let u be -1 - -7 - (1 - 1). Let r = q + u. Solve 0 = -5*y + y + r for y.
5
Let c(g) = g**2 - 11*g - 1. Let r be c(11). Let a be 6 - (1 - r) - 1. Solve -a = n - 7 for n.
4
Let a be 2*(-3 - -5 - 0). Solve a*q - 2 = 2 for q.
1
Let d = 3 - 3. Let k be 4/(-2)*9/(-2). Solve d*o - 3*o = k for o.
-3
Let w = 28 + -24. Solve -w*s = -3*s - 1 for s.
1
Let v(r) be the first derivative of -r**4/4 + 2*r**3/3 - r - 3. Let g be v(-1). Solve -x - 1 = -g for x.
1
Suppose -2*y + 3*m + 0 = -9, -4*m - 19 = -5*y. Suppose -r - 17 = 1. Let o be 2/4 - r/4. Solve -y*h - o = -8*h for h.
1
Let p(n) = -n**3 - 4*n**2 + 6*n + 7. Let a be p(-5). Let d be a/((-2)/1) - -3. Let m(g) = -3*g. Let h be m(-1). Solve c + d*c = h for c.
1
Let d be ((-15)/12)/(51/(-12) - -4). Solve 3 = -4*x + d*x for x.
3
Let n = -16 + 16. Solve 0*g + 2*g - 6 = n for g.
3
Suppose -4*r + 0*r + 14 = -3*j, 4*r = 5*j + 10. Let m = 44 - 41. Solve r*c - 23 + m = 0 for c.
4
Suppose 0*y + 2*y = -70. Let a(q) = 9*q - 3. Let o be a(7). Let l = o + y. Solve -9 = -4*b - l for b.
-4
Let h be 3/(((-15)/4)/(-5)). Suppose 0*m = -4*m + 12. Suppose -h*r = 5*z - 5, 10 = -m*z - 5*r - 0*r. Solve 1 = -2*q + z for q.
2
Suppose 2 = b - 20. Suppose -3*t = -2*o + 46, -b - 4 = -o + 3*t. Solve 3*y - o = -y for y.
5
Let g(o) = o**2 + 7*o + 5. Let b be g(-6). Let x be 1 + 0 + (1 - b). Suppose 0 = -5*t + 7 + x. Solve -n + 9 = t*n for n.
3
Suppose -5*b - 5*c + 9 = -6, -c = -b + 9. Suppose -22 = -5*d - g, b = 2*d - 0*g - g. Let s = 24 - 13. Solve d = 3*y - s for y.
5
Let v(h) = 9*h - 1. Let o be v(1). Solve -o = k + 3*k for k.
-2
Let k(q) = q + 2. Let b(c) = -3*c - 4. Let d(a) = 2*b(a) + 5*k(a). Let u be d(-2). Let s be (-1)/(-4) - 2/8. Solve s = -u*n + 13 - 5 for n.
2
Let w = -1 + 1. Solve w*m = -m for m.
0
Let i(f) = -5*f**2 - 3*f + 3. Let m be i(2). Let v = 39 + m. Suppose -v + 40 = 4*n - 4*l, -l - 3 = 0. Solve -n*t + t = 0 for t.
0
Suppose 3 + 12 = -3*a. Let z = 9 + a. Let l be (-3)/6 - (-2)/z. Solve l = -f - f + 8 for f.
4
Let v(f) = -f + 2. Let q be v(2). Suppose q = z - 6 + 1. Let c = -37 - -53. Solve 0 = z*u + 1 - c for u.
3
Let b = -59 + 60. Solve j = -0*j - b for j.
-1
Suppose t + 0 = 3. Suppose 0 = -h + 4*h + 15, 0 = t*b + 3*h. Let c = 6 - b. Solve 0*n = n + c for n.
-1
Let v(t) = -t - 5. Suppose 2*b + 0*b = s - 10, -5 = 3*s + b. Let i(k) = -k**3 + k**2 - 5. Let y be i(s). Let r be v(y). Solve r = 3*x - 2 - 4 for x.
2
Suppose -70 = -11*n + 6*n. Suppose 4*p = n - 2. Solve 4*z + p = -5 for z.
-2
Suppose -5*h + 22 + 3 = 0. Suppose w = -3 + h. Solve -w*o + 0*o = 0 for o.
0
Let b be (-2)/(-6) - 6/18. Suppose -3 + b = -j. Solve j*d = -d - 20 for 