Let h = y - -1. Solve 0 = -7*o + h*o for o.
0
Let j = -16 - -12. Let k(q) = -q**2 - 5*q - 2. Let r be k(j). Let f(v) = -v**3 - 5*v**2 - 4*v. Let d be f(-4). Solve d = r*l - 2 - 6 for l.
4
Suppose -k - 9 = -3*q, 0*k + k = 2*q - 7. Suppose -g = -3*g - q*g. Solve 3*l = -g*l - 12 for l.
-4
Let v be (-6)/(4 - 11/2). Suppose l - 11 = i, -l + v*l + 2*i = 13. Solve 1 = 3*w + l for w.
-2
Suppose -l - 2*x = 4 - 20, 0 = 2*l + 2*x - 36. Solve -4*a + l = -9*a for a.
-4
Let f(m) = m**2 + 15*m + 6. Let z be (2 - -2*3/(-12))*-10. Let c be f(z). Solve h + c = -h for h.
-3
Let u(k) = 4*k**2 - 4 + 0*k**2 + 4 - 1. Let w be u(2). Let g be (-42)/(-9) + (-10)/w. Solve -g*r = -r + 3 for r.
-1
Suppose 5*k = h, -5*h = 2*k - 7*h. Solve -3*n + 5*n - 10 = k for n.
5
Let a = -947 + 956. Solve -a*p + 16 = -20 for p.
4
Suppose 0 = -2*p + 7*p - 30. Suppose -p*q = 2*q - 24. Solve d = -q - 1 for d.
-4
Let s = 2084 - 2071. Solve -s*u = -11*u - 10 for u.
5
Let q(m) = m + 9. Let a be q(-5). Suppose a*p - w - 8 = 15, -2*p + 3*w = 1. Solve 5*f = 32 - p for f.
5
Let z = 559 + -554. Solve 4*p - 9 = -z*p for p.
1
Let k be 11/3 + 10/(-15). Suppose -103*b = -97*b - 30. Solve 2 = b*h - k for h.
1
Let p(z) = -24*z - 130. Let g be p(-6). Solve -22 = 4*c - g for c.
-2
Suppose 4*o + 20 = 0, o = -3*x - 8 + 9. Solve -2*n - 20 = x*n for n.
-5
Let p be (-4)/(-4) - 1 - -5. Suppose -1 = 2*f - p. Let m be f/7 + (-12)/42. Solve 20 = -m*k + 5*k for k.
4
Suppose 0*h - 2*h = 2*w - 10, -w + 17 = 5*h. Suppose 0 = -4*z - 8 + 4. Let l = z + 1. Solve -w*g - 4 - 2 = l for g.
-3
Let z(s) = -s**3 + s**2 - s. Let t be z(0). Let g(j) = 3*j + 2. Let x be g(1). Suppose x*r - 2 - 8 = t. Solve -8 = r*c + 2*c for c.
-2
Let g(v) = v**2 - 3*v. Let x = 8 - 6. Suppose q + x = 6. Let o be g(q). Solve o = -c - 0 for c.
-4
Let i be ((-42)/21)/((-2)/3). Let j be -1 - 0 - (2 - i). Let n = 4 - j. Solve 4*c + n - 12 = 0 for c.
2
Let b(d) = -3*d**2 - 20*d + 9. Let f be b(-7). Suppose 16 + f = 9*p. Solve p = -4*r + 3*r for r.
-2
Let x(p) = -46*p + 1. Let q be x(0). Solve -m = -q - 1 for m.
2
Suppose 8*l - 3*l = 4*v - 18, 0 = 3*v + 3*l - 27. Solve v = -4*y - 5 for y.
-3
Let p be ((-6)/(60/(-50)))/(2 - 1). Solve -9*h = 32 - p for h.
-3
Let p(r) = -r**2. Let g be p(0). Let d = g - -7. Solve -d = -2*w - 1 for w.
3
Let h = 57 + -50. Let v be (-3)/(-2)*(-1 + h). Solve c + v = -2*c for c.
-3
Suppose -4*x = -4*g - 12, -4*x = -0*g - 3*g - 10. Let l(d) = d + 5. Let p be l(-4). Let f be x/(p*(-2)/(-2)). Solve 0 = -5*i + 11 - f for i.
2
Let i(z) be the first derivative of -3*z**2/2 - 4*z + 21. Let j be i(-2). Solve -7*v + 25 = -j*v for v.
5
Let d = -33 - -35. Suppose d*p = -2*p - 16, 12 = 5*t + 2*p. Suppose -1 - t = -u. Solve 3*j - u = 2*j for j.
5
Let u(s) = -s + 10. Let d be u(9). Let m(l) = l**2 - 4*l - 11. Let h be m(8). Let q = h + -15. Solve -i - q + d = 0 for i.
-5
Suppose 0*w + w - 15 = 0. Let a(o) = -o**2 + 15*o + 5. Let d be a(w). Solve n - d*n = -4 for n.
1
Suppose -2*q - 1 = -3*q. Let n be 7/(-21)*(8 + q). Let j be n*(3 + -8 + 1). Solve 0*z = 4*z - j for z.
3
Let b be -4*21/(-24) - 1/2. Suppose 5*k - 56 = 3*s, 2*k + 2*s - 4 - 12 = 0. Suppose b*y - k = 2*y. Solve y*f = 5*f for f.
0
Suppose -10 = 3*d + x, -8 + 0 = -4*x. Let o be (-1)/4 + (-29)/d. Suppose -339*j + 357*j = 54. Solve 4*t = -j + o for t.
1
Let x(z) = -z**3 - z - 1. Let h be x(0). Let v = h + 1. Suppose -3*i + 9 = v, -c = 5*i - i - 12. Solve 4 = 2*p - c for p.
2
Let f = 3 + -3. Let v(y) = 4*y - 10. Suppose -3*b + 35 = 4*j, 4*j + 5*b = b + 40. Let z be v(j). Solve f*s = 2*s - z for s.
5
Let v = 38 - 35. Let z be v*(4 + 12/(-4)). Solve z*m - 10 = 5*m for m.
-5
Suppose 2*q - 7*q + 130 = -5*z, 78 = 3*q + 5*z. Solve 5*a + 41 = q for a.
-3
Suppose 2*v + 2*b = 48, -2*v - 2*v + 2*b + 66 = 0. Suppose v*i - 20*i = -3. Solve s + i*s = -4 for s.
-1
Suppose 0 = 2*a - 3 - 3. Let n = -5928 + 5928. Solve 3 = -n*t - a*t for t.
-1
Suppose 4*s - 7 = 49. Let r = 50 + -49. Solve s = 5*l - r for l.
3
Suppose -10*u - 6 = -8*u. Let j = u + 12. Solve 2*o - j = -o for o.
3
Let c(f) = 12*f**3 - 2*f**2 + 7*f - 5. Let v be c(2). Let j = 100 - v. Solve b - j + 1 = 0 for b.
2
Suppose -109 = -31*h + 77. Solve 0*j = 2*j + h for j.
-3
Let s be 14/(-4)*-1 - 14/28. Solve 17 = -4*z - s for z.
-5
Let a be (-43)/(-9) - (-4)/18. Suppose -4*d - a*j - 25 = 0, -d - 2 - 8 = 2*j. Suppose -2*o - t + 3*t + 16 = d, t = -3*o + 8. Solve 9 = -r + o*r for r.
3
Let v be 36/21*(-63)/(-18). Solve -v*t = t - 14 for t.
2
Let o be 24/15 - 0 - 8/(-20). Let f be 3/5 + (-49)/(-70)*o. Solve -f*n + 25 = 3*n for n.
5
Let z(x) = x**3 + 9*x**2 + 8*x + 6. Let u be z(-8). Let w(d) = d**3 - 5*d**2 - 5*d - 4. Let o be w(u). Solve -o*l = -l for l.
0
Let b(l) = l**3 + 2*l + 4. Let o = 9 + -11. Let v be b(o). Let y be (-1 - 4/v)*-10. Solve -y*j + 6*j = 0 for j.
0
Suppose 0 = -2*t + 2*k + 2, 6*t + 2*k - 8 = 3*t. Suppose -78 - 11 = -5*x + t*v, -x = 2*v - 25. Let o be (180/66)/10 + (-156)/(-33). Solve 1 = -o*f - x for f.
-4
Let b be (5 - 0) + 0*5/(-20). Solve b = -2*n + 1 for n.
-2
Suppose -3*q - 46*o + 119 = -41*o, -q + 2*o = -25. Solve -41*x = -30*x + q for x.
-3
Suppose 0 = 2*o - 3*j - 153, o - 6*o = 4*j - 371. Let t be (-1 + 6/(-4))*(-180)/o. Solve 2 = 2*m - t for m.
4
Let w(o) = -o**3 + 4*o**2 + 7*o - 6. Let l be w(5). Suppose v = -5*h - 18, l*v - 12 = 3*h + 8. Solve 0 = 5*z - 13 - v for z.
3
Suppose 5*n + 5*z + 50 = -0*n, -22 = 4*n - 2*z. Let t = n - -9. Solve -6 + 4 = -t*p for p.
1
Let v be (-1)/(2/(-7 - 61)). Solve 0 = 8*x + 42 - v for x.
-1
Let k(t) = 5*t**2 + t + 1. Let c be k(-1). Suppose -1561*o = -1559*o. Solve o = 3*g + c + 7 for g.
-4
Let l be ((-9)/5 - -2)*(-11 + 36). Solve 24 = -l*k + 11*k for k.
4
Suppose 2*c - 7 + 69 = 0. Let k = c - -35. Solve -k*z - 10 = -2*z for z.
-5
Let p(v) = 3*v - 2. Suppose 3*r - 5 = -2*y, -2*y = r - 0 - 3. Let f be p(r). Solve -h + f + 3 = 0 for h.
4
Suppose 4*p - 3*z = 5, 3*p + 4*z + 13 = 48. Solve p*y = -3 - 2 for y.
-1
Suppose 27*q + 2 = 28*q. Suppose 2*d - 5*d - 4*p = -14, 2*d = 2*p. Solve q*t + d*t = 0 for t.
0
Let t(g) = 13*g**2 + g + 1. Let v be t(-1). Suppose 4*i - 63 = v. Let b = -5 + 8. Solve 0 = b*h + 7 - i for h.
4
Let u = -1 + 8. Suppose 0 = u*r - 3 - 18. Solve r + 0 = -3*m for m.
-1
Let q(c) be the third derivative of c**5/10 + c**4/24 + 5*c**2. Let o be q(-1). Solve -5 = o*a - 0 for a.
-1
Let t be ((2 - 2)/(-4))/(-1). Let s = t + 0. Suppose s = -4*c + 2*c + 4. Solve 3*d + 11 = c for d.
-3
Let y(b) = -b + 5. Let c be y(5). Let z(h) = -h**3 + 2*h**2 + 1. Let u be 8/44 - (-4)/(-22). Let t be z(u). Solve 3*n + t - 7 = c for n.
2
Suppose -m = -4*l + 10, -25*m + 2*l - 12 = -28*m. Solve m*a = 30 - 28 for a.
1
Let l be (5/(-2))/((-56)/1008). Solve l*r - 40*r = 25 for r.
5
Let h be 72 + -69 + (-2 - 0) + -1. Suppose h = -5*w + 204 - 134. Solve 4*j + w = -6 for j.
-5
Let t be 30/(-40)*(-4 + 0). Solve t = -u - 2 for u.
-5
Let u(x) = -x**3 - 29*x**2 - 24*x + 124. Let w be u(-28). Solve w*v = -2*v - 28 for v.
-2
Let w = 225 + -225. Suppose 0 = -j + 2 - 1. Suppose -k + 3 + j = w. Solve k*m - 8 = -0 for m.
2
Let s be (6 - 8) + 9 + -5. Solve -s = 4*k - 5*k for k.
2
Let b(m) = -m**3 - 13*m**2 + 2*m + 32. Let n be b(-13). Suppose 0 = 2*t + 5*o - 4, 3*t + 3*o - n = -2*o. Solve -25 = -3*u - t*u for u.
5
Suppose -190*r + 4*m - 28 = -191*r, -3*r - 2*m = -44. Solve -10*k - r = -2 for k.
-1
Let r be 54/(-243) - 245/(-9). Let s(j) = 3*j - 3. Let d be s(-4). Let n = d + r. Solve 3 + n = 3*p for p.
5
Let j be 8 - ((-2)/3)/((-13)/78). Solve 0 = j*w - 16 for w.
4
Let q(o) = -8*o - 132. Let x be q(-17). Solve 0 = x*v - 8*v + 16 for v.
4
Let k(c) = 2*c**3 + c**2 + c - 2. Let f be k(2). Let s = 24 + -21. Suppose 3*t + 3*z - 4 = f, -z + 14 = s*t. Solve -8*n = -t*n - 20 for n.
4
Let d be (-3 + 15)/4 + 0. Suppose y - 35 = 3*r - r, d*r + 50 = y. Let u be (r/(12/4))/(-1). Solve w = -2 + u for w.
3
Suppose 10*g - 35 = -5*b + 5*g, 20 = 2*b + 5*g. Solve -b*o + 2*o - 9 = 0 for o.
-3
Suppose -10 = 5*n + 5*u, 4*n - u - 2 = -n. Let k be 0/(-2 + 2 - 2). Solve n*m + m + 2 = k for m.
-2
Let c = 70 - 70. Suppose c = -3*r - 3*f - 3, 5*f - 2 = -17. Solve 0*z = -r*z for z.
0
Suppose -3*u + 12 = 0, 5*u - 26 = -4*i + 26. Let a = 14 - i. Let h = 1 + 3. Solve -5*f = -a*f - h for f.
-4
Let c(w) = 17*w - 28. Let i be c(-14). Let u be i/(-