*k + z - 23 for k.
5
Suppose x = -a - 7 + 29, a = 4*x - 78. Suppose p = -4 + x. Solve -p = -4*r + 8*r for r.
-4
Let l(d) = -d**2 + 136*d - 650. Let h be l(5). Solve 0 = -h*t - 149 + 164 for t.
3
Let b be (3/(-2))/(2/(-4)). Suppose 12 = 2*m - 4*l, -4*l = b*m - m - 52. Solve 0 = -2*u - 2*u + m for u.
4
Suppose 4*c = 6*x - x - 20, 3*x - 12 = 0. Suppose c*a + 6*a = 0. Solve z + z = a for z.
0
Let s = -26 + 30. Let z be 0/(s/10 + (-28)/20). Solve z = -2*c - 3 + 5 for c.
1
Suppose -2*y - 5*s = 5, -5 = -4*y - s + 6*s. Solve y = 7*x - 16 - 19 for x.
5
Suppose k + m - 1 = -k, -2 = -2*m. Solve k = 5*z - 10*z + 15 for z.
3
Let v(d) = -14*d**3 + 26*d**2 - 3*d + 21. Let m(u) = -5*u**3 + 9*u**2 - u + 7. Let s(h) = -11*m(h) + 4*v(h). Let f be s(5). Solve f*r - 2 = r for r.
2
Let m = -64 - -98. Let v = m + -31. Solve -3*q + 4*q - v = 0 for q.
3
Let o be (-43 - -39)*((-1 - 0) + -1). Solve 12*b - o = 4*b for b.
1
Suppose -5*l - 14 = -54. Suppose 5*f = -5, t - 2*f - l = -t. Suppose 0 = -4*x - 8, -5*x + 17 - 2 = 5*b. Solve 2*o - b = t*o for o.
-5
Let q(m) = m**2 + 11*m + 8. Let d be q(-9). Let s be (d/(-15))/(2/21). Suppose -4*n + y = -16, -4*n + 2*y + 9 = -s. Solve -r + 0 = -n for r.
4
Let q = -2844 + 2847. Suppose 0 = -2*f - 0*f + 4. Solve -q*b + 15 = f*b for b.
3
Let j(b) = -8*b + 98. Let t be j(12). Solve -6*a - 4 = -t*a for a.
-1
Suppose -1633 = -54*n - 121. Solve -8 = -12*p + n for p.
3
Let w be (4 - (-32)/(-12))/((-1)/(-24)). Solve -5*j - 7 + w = 0 for j.
5
Let j be 120/9*5*27/90. Solve 2*n + j - 18 = 0 for n.
-1
Let c be 2*2/(-4)*-2. Suppose 22*f - 28 = 38. Suppose -c*w = -f*w + 4. Solve w = 2*s - 3*s for s.
-4
Suppose 10*u = 16*u - 36. Let l = u + -3. Solve 0 = l*a - 4*a - 3 for a.
-3
Suppose -2*w = 3*w + 175. Let n be 14/w - (-93)/(-5). Let h = 21 + n. Solve h*y = y for y.
0
Suppose 2*a = 5*w + 37, 3*w - 2*w = -5. Suppose -5*s = -a*s. Solve 0 = -h - s*h for h.
0
Let m = 1502 + -1502. Solve 19*q - 2*q - 34 = m for q.
2
Suppose -5*f + 3*f = 4*n + 4, -f - 3*n = 4. Solve 2*p - 16 = -f*p for p.
4
Suppose 36*o = 29*o + 28. Suppose 3*m = 2 + o. Solve 7*q + 5 = m*q for q.
-1
Suppose 0 = -5*a - 5*y + 45, -4*a + 42 = 31*y - 29*y. Solve 0 = -16*t + a*t + 20 for t.
5
Suppose 46*f = -35 + 265. Solve -14*g + 18 = -f*g for g.
2
Let v(w) = 17*w**3 + 2*w**2 - w. Let y be v(1). Let u = y - 18. Suppose u = f + f. Solve f = -0*x + 4*x for x.
0
Suppose -5*h - 208 = 187. Let y = h + 83. Solve y*s + 9 = -7 for s.
-4
Let l(t) be the second derivative of -t**3/6 - t**2 - 4*t. Let p be l(-2). Suppose -7*r + 12*r - 10 = p. Solve 5*s - 6 = r*s for s.
2
Let w(s) = -5*s**2 + s. Let f be w(1). Let b(l) = l**3 - 5*l**2. Let q be b(5). Let d be 1 + (q - 3) - f. Solve -6 = d*t + t for t.
-2
Let s(p) = -p**2 + 5*p. Let h be s(4). Solve -h = u + 1 for u.
-5
Let w be (-18)/27 + 4/6. Suppose w = l - 2. Suppose 0*s = -l*s. Solve s = -2*h - 4 for h.
-2
Let l(i) = -19*i**3 + 132*i**2 + 11*i - 9. Let r be l(7). Solve -10*k + r*k + 36 = 0 for k.
-4
Suppose -4*k - 2*o = -16, 5*k + 4*o - 6*o - 38 = 0. Solve -5*b = -8*b - k for b.
-2
Let f(b) = -b**2 - 7*b - 5. Let n(y) = -y**2 - 7*y - 5. Let h(c) = 3*f(c) - 2*n(c). Let s be h(-2). Solve -s*l = -0*l for l.
0
Suppose -z + 72 = 2*o, 53 = 4*o + 3*z - 93. Solve 41*u - 34*u = o for u.
5
Let s = -2988 - -2996. Solve -5*u = -15*u + s*u for u.
0
Let r = -75 + 82. Let x(h) = -h**3 + 8*h**2 - 7*h + 3. Let q be x(7). Let f(y) = -y**2 + 4*y. Let c be f(q). Solve -c = 4*m - r*m for m.
1
Suppose 5*u = -3*n + 140 + 286, -2*u = 0. Let k = -134 + n. Let a = 1 + 2. Solve k = a*b - 5*b for b.
-4
Let x(m) = -m**2 + 2*m + 8. Let s(u) = u**2 + 5*u + 6. Let g be s(-3). Let k be x(g). Solve 5*y = 17 + k for y.
5
Let q be -2 - 0 - (-3 + 0). Suppose -24 = -5*v + 1. Suppose 0 = -2*p + v + q. Solve p*x = -x for x.
0
Suppose -19 + 18 = -n. Let f(u) = 20*u**3 - 2*u**2 + u. Let c be f(n). Solve 3*a - 4 + c = 0 for a.
-5
Suppose 2*p + 2*c - 8 = 4*p, 0 = -p - 2*c - 10. Let w = 8 + p. Suppose -w*h = -0*h. Solve -2*s - s = h for s.
0
Suppose -y = 2 - 5. Suppose -4*h + y*i - 4*i - 37 = 0, i = 3*h + 33. Let m = h + 12. Solve m = -2*o - 0 for o.
-1
Suppose 626*i - 631*i + 20 = 0. Let m(h) = h**3 + h**2 - 2*h. Let a be m(-2). Solve -i*k + 12 = -a*k for k.
3
Let d be (-1)/2 - ((-3)/2 - -1). Solve -f + 23 - 18 = d for f.
5
Suppose 20 = -6*g + g, g + 10 = 2*b. Solve 2*x = 1 - b for x.
-1
Let h = -31 - -47. Suppose -h = -27*v + 23*v. Solve v*y + 25 = -y for y.
-5
Let v be -7 + 26 - (2/1 - -1). Solve -40*z + v = -36*z for z.
4
Suppose -10*q + 9*q = 3. Let u(p) = -p**2 - 3*p + 2 + p + 4. Let t be u(q). Solve -i = 2 - t for i.
1
Let t be (-4)/(-14) - -612*10/(-105). Let r = 60 + t. Solve -3*u - r*u + 10 = 0 for u.
2
Suppose -6*a - 3 = -3*a, 5*a = 5*p - 10. Let f(s) = 1. Let k(n) = 5*n + 10. Let l(g) = p*k(g) - 15*f(g). Let d be l(3). Solve -d + 0 = 2*w for w.
-5
Let m(y) = -3*y**2 + y**2 - 2*y**2 + 8*y**2. Let r be m(-2). Solve -3*v - r = v for v.
-4
Let y = 1029 - 1004. Solve y = -49*p + 44*p for p.
-5
Let w be (-2)/5 + (-81)/(-15). Let d(l) = -l + 9. Let y be d(w). Suppose -y*g + g = -3. Solve -2*n - 1 = g for n.
-1
Let t be 100/45 + 0 + 4/(-18). Suppose -12 = 4*o + 5*n, 2*n = -2*o - t - 2. Solve -o = -i - 7 for i.
-5
Suppose -7 - 29 = 2*r. Let a be (7/14)/((-123)/(-126) + -1). Let p = r - a. Solve -p*n + 13 = 4 for n.
3
Suppose 5*g + 0*g = 0. Suppose 5*f - 7 - 8 = g. Solve -6 = -0*z - f*z for z.
2
Let a(y) = -y + 6. Let r(v) = v - 7. Let n(k) = -3*a(k) - 2*r(k). Suppose -2*g = 5 - 17. Let i be n(g). Solve -c + 6 = i*c for c.
2
Let i(x) = -x**3 - x**2 + 2*x + 3. Let p(b) = 3*b**3 + 5*b**2 - 8*b - 13. Let q(y) = -9*i(y) - 2*p(y). Let o be q(2). Solve -4*c = o - 3 for c.
-3
Suppose -7*y + 22 = 4*y. Solve o + 12 = -y*o for o.
-4
Let d be (18/5)/(63/105). Solve -s = -10 + d for s.
4
Suppose -2*n - v = 0, 4*n - 4 = 4*v + 8. Solve -9 = 8*q - n for q.
-1
Let c be (-99 - 5)/(-8) + -2. Solve -c*j - 6 = -5*j for j.
-1
Let x = -7 - 3. Let h be ((-8)/(-10))/(x/(-25)). Solve -5*v + 15 = -h*v for v.
5
Let z = 3 + -7. Let d be 5/2*z/(-5). Let o = 170 - 168. Solve -d*s + o = 8 for s.
-3
Suppose 0 = -5*j + 18 + 62. Let x = -16 + j. Solve x = 2*g + 10 for g.
-5
Let i(c) = -c**3 - 2*c**2 + 3*c + 4. Let p be i(3). Let u be 2/4*p/4. Let f be (u/10)/((-5)/25). Solve f*m + 1 = -1 for m.
-1
Suppose 3*l = 4*y + 10, -3*l = 3*y - 5*y - 2. Let h = 10 + y. Solve 4*p + h = p for p.
-2
Let b(x) = -7*x + 32. Let j be b(4). Solve -j*g + 23 = 15 for g.
2
Suppose -2*h = -m - 5, -m + 5*h - 20 = -0. Suppose 2*f + 9 = i + 2*i, m*f = 0. Solve i*d + d = -4 for d.
-1
Let l(o) = o + 11. Let n be l(-5). Suppose -27*d - 131 = -185. Let a(r) = r**2 + 5*r - 4. Let y be a(-8). Solve -n*s = -d*s - y for s.
5
Suppose -4*y + 0*y + 8*y = 0. Solve -34*r + 40*r = y for r.
0
Suppose -4*d = -5*o + 28, 0 = 5*o + 2*d - 9 - 7. Suppose -o*v = 5*w - 2, 0 = -0*v - 3*v - w + 7. Solve 3*u = 2*u + v for u.
3
Let f = 5 + -24. Let x = f - -28. Solve 6 + x = 5*o for o.
3
Let n be (-22)/(-319) - 1728/(-174). Solve n*y = 3*y - 28 for y.
-4
Let j(q) = q**2 + 2*q + 2. Suppose -2*x - 2 = 0, -8*u - 12 = -3*u - 3*x. Let d be j(u). Suppose -1785 = 20*k - 71*k. Solve -d*a - 10 + k = 0 for a.
5
Let m(l) = 3*l - 11. Suppose 17 = 2*q - 3*b, -2*b + 0*b - 6 = 0. Let k be m(q). Solve -h - k = -2*h for h.
1
Let b(r) = r**3 - 9*r**2 - 9*r - 9. Let h be b(10). Let g be -12 + 11 - -4*h. Solve -y + g*y - 8 = 0 for y.
4
Suppose -g + v = 5*v - 17, 3*g - 35 = -4*v. Let b be ((-2)/(-3))/(2374/474 - 5). Suppose -4*u = b - 95. Solve u*n - 7 = g for n.
4
Suppose 2*v - d - 8 = 0, 5*d = -v - 0*v + 4. Solve 0 = v*y - y - 9 for y.
3
Let y = -35 - -61. Let g be (-66)/(-14) + 2/7. Suppose g*t = 3*t + y. Solve 5*x - t = 2 for x.
3
Suppose 0*b + 2*b + 3*m + 6 = 0, 5*b - 4*m = 8. Suppose -3*u + 4*y = 8, 5*u + 8 = -b*u + 4*y. Solve u*v = -2*v for v.
0
Let u(r) be the third derivative of r**6/120 + r**5/6 + r**4/3 + 11*r**3/6 + 2*r**2. Let s be (-109)/12 - (-17)/204. Let l be u(s). Solve -2*w = 3*w + l for w.
-4
Let q(i) = i**2 - 3*i - 5. Let h be q(-3). Suppose -2*r + 4*x = -22, h = -3*x + 1. Solve -r*v - 6 = -v for v.
-3
Let k be (-59 + 28)*(-2 + 1). Solve -3*i = 19 - k for i.
4
Let j be (50/5 - (0 + 0)) + -5. Solve j*b + 10 = -5 for b.
-3
Suppose 4*d + 5*a = 9, 7*a + 5 = -5*d + 4*a. Let