 k be -2 + -1 - -2*2. Let u be 4 + (-2)/k + 2. Solve 0 = u*r - 4 for r.
1
Let c be (3 - (2 - 4))*(-41 + 42). Solve -c - 1 = -2*b for b.
3
Suppose q = 2*q. Suppose -n = -2 - q. Suppose 5*s - 5 = -d, -3*d - s + 3 = n. Solve d*t + 2*t = 6 for t.
3
Let r(h) = 2*h**2 - 7*h. Let k be r(4). Suppose -2*m + k = 14, -m = s. Solve s*g + 25 = -0*g for g.
-5
Let t(f) = -11*f - 12. Let u be t(-3). Suppose -3*y + 24 = 4*h, h - 10*y + 7*y = u. Solve 0 = -3*b - 0*b + h for b.
3
Let k = 1148 - 1143. Solve -11*u + k = 27 for u.
-2
Suppose k + 42 - 172 = 0. Let n = k - 127. Solve -t + 20 = n*t for t.
5
Suppose -4*p - 5*z = 1, -3 = 3*p + 4*z - 1. Suppose 6 = 4*r - p*r. Let u(w) = w**3 + 3*w**2 - 2*w - 4. Let l be u(r). Solve 3*f + l = f for f.
-1
Let i(v) = v**2 - 2*v + 10. Let u be i(4). Suppose 5*w - 38 = -u. Solve 3*g = -g - w for g.
-1
Suppose 34 = -2*z - 2*s, 0 = -5*z - 3*s - s - 83. Let y = 25 + z. Suppose 20 = 2*o - y. Solve 4*w = -w - o for w.
-3
Let m = -785 - -794. Solve -m*u - 16 - 20 = 0 for u.
-4
Let y(c) = 3*c - 11. Let v = 51 + -44. Let n be y(v). Solve 0*s + 2*s = -n for s.
-5
Suppose -3*o - 41 = -5*p, -5*o - 54 = -3*p - 23. Solve p*t + 30 = -3*t for t.
-3
Suppose 3*v = 8*v. Suppose -f + z + 5 = v, f - 4*z + z = 13. Solve 0 = 2*n + 1 + f for n.
-1
Let r = -5 - 1. Let j be 2/r*(13 + -19). Solve j*u - 6 = -2 for u.
2
Suppose 2 = -2*u + q, -u + q = -5*u + 2. Solve 3*z + 2*z - 3*z = u for z.
0
Suppose -4*l + n = -20, l + n = -0*l + 5. Suppose 10*u - l*u - 25 = 0. Solve u*i + 13 + 2 = 0 for i.
-3
Let z(b) = b - 10. Let f be z(10). Suppose f*m - 2 = -m. Suppose 12 = -4*x + 6*x. Solve 5*o + x = m*o for o.
-2
Let v(g) = g**2 + 6*g - 11. Let z be v(-8). Let b = -2 - -3. Let f = 2 + b. Solve -z = -2*p + f*p for p.
-5
Suppose o = 28 - 8. Let t(j) = -j**2 - j. Let g(y) = 2*y**2 + 4*y - 2. Let u(k) = -g(k) - 3*t(k). Let b be u(2). Solve -o + 4 = b*z for z.
-4
Suppose -5*d = 5 - 15. Solve 0 = -d*c - c for c.
0
Suppose -24 = -4*y - 5*f, -y + 6 = 27*f - 22*f. Solve y*o - 16 = 14*o for o.
-2
Suppose 0 = 2*u + 4. Let a = u - -7. Suppose 4*q + 4*f - f = 25, 3*f = -a*q + 29. Solve 4*n + q - 16 = 0 for n.
3
Let i(l) = -5*l**3 - 25*l**2 - 2*l + 5. Let m be i(-5). Solve m*t + 16 = 1 for t.
-1
Suppose 0 = 60*z - 55*z + 60. Let w be (-12)/(-5) - z/(-30). Solve 0 = -5*h - 7 + w for h.
-1
Let w(s) = -15*s - 32. Let t be w(-4). Solve -9*c + t = -16*c for c.
-4
Suppose 48*b - 40 - 104 = 0. Solve -15*r = b*r - 72 for r.
4
Let q(m) = -m**3 + 22*m**2 - 39*m + 7. Let h be q(20). Solve -h + 23 = i for i.
-4
Let p be (-2)/1 + (5 - -3). Let m be 17/3 + (-4)/p. Suppose 0 = -4*l - 14 - 6, m*b - 35 = 2*l. Solve 15 = -b*j - 0*j for j.
-3
Let q be 8/32 - 43/(-4). Solve -13 = v - q for v.
-2
Let m(h) = -h**3 + 18*h**2 - h + 18. Let p be m(18). Let u = 0 - p. Let c(i) = -i**3 + 10*i**2 - 8*i - 7. Let o be c(9). Solve -o*z - 8 = -u*z for z.
-4
Let k = 20 - 21. Let n be (0/1)/k + 4. Solve n*p = p for p.
0
Let d = 16 - 15. Let f be -1*(-16 + d + -3). Let t be 30/(-4)*f/(-27). Solve -t - 1 = -2*w for w.
3
Let n(f) = f - 1. Let b be n(1). Suppose 2*h = -3*r + 10, b*r + 15 = 5*r + 5*h. Suppose 0 = 5*q + m - 7, -5*q - 2*m + 14 = -6*q. Solve q*j = -r*j for j.
0
Let a = 39 - 36. Let b(j) = j + 10*j**2 - 4*j**2 + j**3 - 7 + 2. Let q be b(-4). Solve -4*x - a = -q for x.
5
Let r(c) = 3*c**2 + 2*c + 3. Let n be r(-1). Solve n*k = -17 + 25 for k.
2
Let i(n) = -n**3 + 8*n**2 - 8*n + 7. Let d be i(7). Suppose d = c + 6*l - 9*l, 3*c = l. Solve -o - o = c for o.
0
Suppose -2*d = 0, -2*p + 4*p = d + 12. Suppose 2 = -5*b + 32. Solve 3*r + b = -p for r.
-4
Let o(d) = 10 - 4*d + 5*d - 12. Let x = 6 - 2. Let h be o(x). Solve -l = -h*l for l.
0
Suppose 9*t = 12*t - 18. Solve a - 35 = -t*a for a.
5
Suppose 137 - 97 = 2*l. Solve 0 = -5*a - 0 - l for a.
-4
Let r be 58/15 - (-4)/30. Suppose -5*j + 6*j = -t + 7, 0 = r*j - 3*t. Solve j = m + 1 for m.
2
Let x(p) be the first derivative of p**3/3 + 9*p**2/2 + 10*p + 2. Suppose w = -2*w - 24. Let s be x(w). Solve -4*m = -s*m + 10 for m.
-5
Let c(l) = -3*l**3 + 3*l**2 - 3*l + 4. Let d be c(-3). Let v = d + -117. Solve v = -6*k + 5*k for k.
-4
Let z(u) = -4*u**3 + 3*u**2 - 5*u + 4. Let i be z(2). Let t = -25 - i. Solve 5*a = -t + 11 for a.
2
Suppose 18 = 2*o - 4*x, 0 = -0*x - 4*x + 12. Suppose 5*m = o - 0. Solve s - m = -2 for s.
1
Let i be 1/(-6) - (-155)/30. Suppose -7*x = -i - 2. Solve 0 = -n + x for n.
1
Suppose -85 = -2*g + c, -2*c - 125 = -0*g - 3*g. Solve -26*l = -11*l - g for l.
3
Suppose -2*s + 30 = 3*s + t, 3*s - 3*t = 0. Solve s = 13*m - 14*m for m.
-5
Suppose 8 - 8 = 3*l. Solve 2*t + t - 15 = l for t.
5
Let m(s) = 0*s**2 - 2*s**2 - 8*s + 3 + 3*s**2 - 2. Let n be m(8). Let u be (6/(-6))/(n/(-4)). Solve 0 = -v + u*v + 6 for v.
-2
Let p(w) = -2*w**3 - 2*w**2 - w - 2. Let v be p(-2). Suppose v*m - 370 = 3*m. Suppose -3*z = 5*l - 82, 3*l - m = -3*z + 2*l. Solve -z - 1 = 5*s for s.
-5
Suppose 4*q + q - 25 = 0, 4*p + 2*q = -910. Let f be p/(-15) + 3/(-9). Solve 5*i = -5 - f for i.
-4
Let d = 74 - 71. Suppose -27 = -d*p + 21. Solve 2*q + p = -2*q for q.
-4
Suppose 0 = 4*r + 8, -r + 2*r = 2*l - 10. Suppose z = -l*o + 5, 5*o = -5*z + 17 + 8. Solve -4*h = -o - 4 for h.
1
Suppose -t + 12 = -2*j, -4*t + 20*j = 18*j - 24. Solve 48*k = 49*k - t for k.
4
Suppose -4*p = -2*p. Let h(q) be the second derivative of q**4/12 + 4*q**2 - 2*q. Let j be h(p). Solve d - j = -d for d.
4
Suppose 2*o - 2 = 0, -3*b + 6*b - 4*o = -421. Let g = -139 - b. Suppose -4*w + 5 = 5*f, w + 0 = -f + 2. Solve w*z - 2*z - 15 = g for z.
5
Let z be (-84)/(-18)*(-48)/(-56). Solve z*u - 53 = -41 for u.
3
Let m(j) = 12*j - 44. Let p be m(4). Suppose 8*h = 5*h + 12. Let b be (1*10)/(h/4). Solve p*f = b + 2 for f.
3
Let o(p) = p + 5. Let n be o(-3). Let k(l) = -5*l + 0 - l**3 + 1 - 6*l**2 + l**n. Let x be k(-4). Solve 0 = i - x + 2 for i.
3
Let i(f) = 5*f + 2. Let g be i(-1). Let l be g - (2/(-8) - (-23)/(-4)). Solve 2*b - l*b = 0 for b.
0
Suppose -3*d + 13 = z, -2*z + 5*d - 19 = -z. Let q(l) = -17*l**2 + 14 + l**3 - 3*l + 27*l**2 - 7*l. Let j be q(-11). Solve 0 = j*m - 4 + z for m.
1
Suppose 0 = 2*d - 26 + 14. Solve -2*n - d = -8*n for n.
1
Let z be 1*-1 - (5 + -7). Suppose -8 = -2*s - 4. Suppose -4*v - s*p - p = -19, -v = -5*p + z. Solve 0 = 3*n - 2 - v for n.
2
Suppose 4*a - f + 96 = 0, a + 3*f - 113 = 6*a. Let b = a - -25. Solve -4*y = -b*y for y.
0
Let q = -327 + 327. Solve -j - 8 + 12 = q for j.
4
Suppose 0 = -4*h - f + 84, 14*f - 16*f = -2*h + 42. Solve 4*t - h = -21 for t.
0
Let v(w) = -w**3 + 12*w**2 - w + 12. Let u be v(12). Suppose 2*t + u*t = 32. Let q = 16 - t. Solve q = n + n for n.
0
Suppose -2*v = 2*l + l - 26, -2*v + 3*l = -14. Solve -v = 8*r - 10*r for r.
5
Let v = -3 - -2. Let i be ((-9)/6)/v*(-12)/(-9). Solve 1 = -i*b + 5 for b.
2
Let w be 133/19 - 8/(-2). Solve -w*s = -3*s + 32 for s.
-4
Let l = -45 - -46. Let j be (-518)/(-84) - ((-14)/(-12) - l). Let y = 1 + 2. Solve j*t = y*t + 6 for t.
2
Suppose q - 3*q = -3*t - 21, 0 = -q + 5*t + 14. Suppose -7 + q = 2*m. Solve d + 3 = -m for d.
-4
Suppose -45 - 54 = -9*r. Solve -5*y - r = 4 for y.
-3
Let q(p) = p**3 - 10*p**2 - 13*p + 15. Let h be q(11). Let s be (-10)/70 + (-57)/h. Solve -2 = -5*g + s for g.
2
Let g(d) = d**3 + 5*d**2 - 6*d + 3. Let f be g(-6). Suppose f*n = -5*n + 4*n. Solve n = -b - 2*b for b.
0
Let v(w) = w**2 + 28*w - 202. Let n be v(-34). Solve -n*p - 30 + 32 = 0 for p.
1
Let n(r) = -2*r**2 - 5*r + 3. Let i be n(-2). Solve 3*s - i*s = 10*s for s.
0
Let i = -1293 + 1367. Solve -9*w - 29 = -i for w.
5
Let d(o) = -7*o - 113. Let f be d(-17). Solve -20 = -s + f*s for s.
-4
Let h = 137 - 133. Solve h*m - 3 = 9 for m.
3
Let n be (2/6)/((-29554)/2688 - -11). Solve -n + 63 = z for z.
-1
Suppose 2*c + 10 = 2*u, -7*c = 3*u - 5*c - 5. Solve -8 = -u*f + f for f.
4
Let u be (-12)/15 + 504/30. Let y(t) = u*t + 10 - 9*t - 8*t. Let v be y(6). Solve -3*o - v - 5 = 0 for o.
-3
Suppose 0 = -3*x + 3*d + 9, -3*x + x + d = -5. Let j be (-45)/75*((-7)/1 + x). Solve 0*b - j*b = 0 for b.
0
Let p(b) = b**3 - 5*b**2 + 6*b + 6. Let h be p(5). Solve -5*u = 4*u + h for u.
-4
Let w be (-44)/(-5) - (-76)/(-95). Suppose 0 = 5*u + w*u. Solve -2*q + 5*q + 9 = u for q.
-3
Let x be ((-42)/(-49))/((-5)/(-70)). Solve -x*f - 2 = -11*f for f.
-2
Suppose 5*r - 2*f = 