. Let p be o/(-7) + 28/k. Solve -p*s + 20 = s for s.
5
Let k(d) = d**3 + 8*d**2 + 6*d - 3. Let c be k(-7). Suppose b - c*b = -90. Suppose 5*i = b - 0. Solve i*u - 10 = u for u.
2
Suppose 2*q + 3*q = 50. Suppose -l = 4*l. Solve -q = 2*f - l for f.
-5
Suppose 0 = 3*q - 2*d - 14, -5*q + 34 = -2*d + 8. Solve 0*u + 30 = -q*u for u.
-5
Let y be (2/(-1))/(26/13). Let s(t) = 14*t**2 + 6*t + 7. Let m be s(y). Solve m = 4*h - 1 for h.
4
Let o(y) = -y**3 + 3*y**2 + 78. Let q be o(0). Suppose 0 = 3*c - 96 + q. Solve c*t + 15 = 9*t for t.
5
Let i = -193 - -197. Solve -9 = l - i*l for l.
3
Suppose -3*a + o - 2 + 9 = 0, 3*a + 4*o - 2 = 0. Solve 5 = -a*g - 5 for g.
-5
Suppose -4*o = -5*g - 24, -13 = 4*g + 3*o - 0. Let q = 9 + g. Let l = q - 2. Solve -l*z = -6*z - 9 for z.
-3
Let q(t) = -t**3 - 7*t**2 - 2*t - 10. Let k be q(-7). Suppose 0*r = 2*r - 2. Suppose 2*z = -r + 3. Solve -5*y + z = -k for y.
1
Let b be -2 + (4 - 6) + 24. Solve 6*d + b = 2 for d.
-3
Let z(o) be the first derivative of -5*o**2/2 + 27*o - 20. Let w be z(4). Solve w*l - 5 = 8*l for l.
-5
Let p(i) = -i**2 - 9*i + 6. Let a = 0 + -1. Let b(h) = -h**2 - h. Let m(d) = a*p(d) + 2*b(d). Let k be m(5). Solve -s = k*s for s.
0
Let y = -120 + 64. Let u = 56 + y. Solve u = 2*z + z for z.
0
Suppose t - 4*z = 22, -5 - 8 = t + 3*z. Solve -t*w = 8*w - 20 for w.
2
Let g(y) = y + 12. Let u(a) = -a**3 - 29*a**2 - 53*a + 15. Let i be u(-27). Let k be g(i). Solve k = -3*z + 14 + 1 for z.
5
Suppose 0 = -14*j + 924 - 476. Solve 0 = b + j - 32 for b.
0
Let z = -20 - -15. Let a be (-18)/z*(-5 + 0). Let q = -14 - a. Solve q = -2*t + 3*t for t.
4
Suppose -20*m - 48 = -26*m. Solve -6*w - 6 = -m*w for w.
3
Suppose 22*k = 3*k + 760. Solve -f - k = 7*f for f.
-5
Suppose 8*y - c = 4*y + 23, 4*c - 4 = 0. Solve 6*k = -0*k + y for k.
1
Let i = -4 + 9. Suppose -4 = z - i. Let w be (z - -3) + (3 - 1). Solve w = 2*r - 0 for r.
3
Let z(f) be the second derivative of f**3/2 - 2*f**2 + 2*f. Let j be z(3). Let l = 12 + -7. Solve -j*c + l = -15 for c.
4
Let p be (-342)/(-11) - 15/(2970/18). Solve -12*m - p - 29 = 0 for m.
-5
Suppose -5 = 2*h - 31. Let r(y) = -y**2 + 5. Let j be r(4). Let d = h + j. Solve m + 3 = -d*m for m.
-1
Let r(b) = -2*b - 18. Let t be r(-9). Suppose 0 = 2*z - y + 6*y + 8, -2*z + 5*y + 32 = t. Let n be ((-8)/(-6))/(2/z). Solve 2*v - 6 = n for v.
5
Let y(k) = k**3 - 4*k**2 - 75*k + 47. Let v be y(11). Solve v = 14*p + 9*p for p.
3
Suppose -21 = 3*t - v, 5*t + 46 = -3*v + v. Let i = 14 + t. Solve -9 = 5*j + i for j.
-3
Suppose -4*w - 4*y = -9*y - 25, 4*w + 3*y = -15. Suppose w = 2*r - 9*r + 70. Solve -3*j + 5 = -r for j.
5
Let s be (-29)/(-5) + 4/(-5). Suppose -5*k = 3*n - 27 + 8, 2 = 4*n - s*k. Solve n*l - 9 = -0*l for l.
3
Suppose -242*h + 270 = -227*h. Solve 12*a - 6 - h = 0 for a.
2
Let u(c) = c**3 - 6*c**2 + 6*c - 1. Let g be u(5). Let l be (-65)/(-1053)*9*9. Solve g = l*v - v for v.
1
Suppose -186 = -24*m + 102. Solve -33*d + 37*d - m = 0 for d.
3
Let j = 203 - 194. Solve -15 = 3*f - j for f.
-2
Let b be 3/((-3)/(-4)) + 0 + -2. Let k be 90/70 + b/21*-3. Let d(f) = -3*f - 1. Let v be d(-1). Solve -k - v = 3*y for y.
-1
Let v(t) = t**3 - 9*t**2 + 2*t - 18. Let q be v(9). Suppose q = -u - r, -2*u = 4*r - 2 + 4. Solve u = p + 3 for p.
-2
Let m = 1 + -1. Let j = -604 - -605. Solve j + m = d for d.
1
Suppose 102 = 6*p - 3*p. Let c = -31 + p. Solve 0*v - 3 = c*v for v.
-1
Let v(z) = -28*z - 88. Let u be v(-4). Solve 0 = u*c - 32*c - 32 for c.
-4
Let t be (2/4 + 1)*(-56)/(-12). Let v(d) = -d**3 + 4*d**2 + 20*d + 9. Let h be v(t). Solve -1 = -h*z + 5 for z.
3
Let b = -2 + 7. Let r(w) = 0*w - 3*w - w + b*w. Let c be r(1). Solve -x + 0 = c for x.
-1
Suppose -4*g = -5*r + 30, 17 = -4*r - 5*g - 0*g. Let c = 9 + -15. Let u be -2 + (-10)/c + 46/3. Solve -r*j - j = -u for j.
5
Let u be (5/2 + 2/(-1))*12. Let g(r) = -r**2 + 5*r - 2. Let q be g(3). Solve u - 2 = q*w for w.
1
Suppose 3*q - 17 = -4*m, -5*q = -4*m - 2 - 5. Let r = m - -2. Let s be ((-7)/(-4) - 1)*r. Solve 0*x = -s*x - 3 for x.
-1
Let t(j) = -j**2 + 4. Let w be t(2). Suppose q = h + 3, -2*q + 6 = 5*h - w*q. Let y be (3 - 2)/2*0. Solve y = -3*b - h*b - 9 for b.
-3
Suppose a + 0*a = 0. Let v = 58 - 57. Let o = 3 + -1. Solve a = o*l + 3 - v for l.
-1
Let y be 15/(-20) - (-42)/24. Solve 0*t + y = t for t.
1
Let i(f) be the first derivative of f**4/4 - 5*f**3/3 - 5*f**2/2 - 4*f + 1. Suppose 0*g - 8 = -2*g, -j + 26 = 5*g. Let s be i(j). Solve -n = -s*n for n.
0
Suppose 18*t - 30 = 8*t. Solve 6*a + 21 = t for a.
-3
Let p = -275 - -278. Solve 0 = p*x - 7*x - 4 for x.
-1
Suppose -13*m = -18*m. Solve 2*n - 3*n - 4 = m for n.
-4
Let c(d) = -5*d**2 + 44*d - 24. Let j be c(8). Solve 0 = 5*y + j - 3 for y.
-1
Suppose 0 = -3*o, -4*o + 24 = -3*p + 5*p. Solve h + p = 13 for h.
1
Let j(p) = -4*p + 23. Let b be j(15). Let s = b - -37. Solve s*u + u = 5 for u.
5
Let x(c) = c**2 + c + 4. Let p be x(-4). Suppose -66 = -2*k + p. Let q = k + -25. Solve -s - 3*s = q for s.
-4
Let w(y) be the second derivative of y**4/3 + 11*y**3/2 + 4*y**2 - 37*y. Let d be w(-8). Solve 3*m - 7*m + 16 = d for m.
4
Suppose -3*t + 40 = -4*i, -6*t + 44 = -3*t - 5*i. Solve 5*r = 2 + t for r.
2
Let a(q) = 7*q + 2. Let n be a(7). Let l(g) = 3*g**2 + 3*g - 1. Let c be l(3). Let f = n - c. Solve f = -3*z + 4 for z.
-4
Let v(x) = 6*x**2 - 6*x. Let z be v(2). Let s(m) = -5*m + 30. Let d be s(5). Solve z = -d*r - 8 for r.
-4
Let x(k) = k**3 + 11*k**2 - 8*k - 94. Let m be x(-9). Solve -2*t = 26*t - m for t.
5
Suppose 0 = -3*n + 9*t - 4*t + 14, 5*t = 5*n - 20. Solve n*y = 2*y - 5 for y.
-5
Let w be 4/(-10) + (-14)/(-10). Let q(y) = y**3 - 29*y**2 + 20*y + 227. Let l be q(28). Solve w = l*c - 2*c for c.
1
Suppose -5*m - 8 = -23, -5*m + 13 = x. Let u be (x/(-4))/(-3 - (-57)/18). Solve -u = 3*l - 9 for l.
2
Let r(f) = f**3 - 32*f**2 - f + 37. Let s be r(32). Let p(y) = y**2 + 8*y - 6. Let k be p(-9). Solve s*b = k*b + 6 for b.
3
Let i(u) = u**3 + 6*u**2 + 5*u + 4. Let m be i(-5). Suppose 0 = -k + 4*p + 10, -2*k - 3*p = 29 - 38. Solve -m*o + 2 = -k for o.
2
Let z = 4 - 2. Suppose -14 - 6 = -5*d. Solve -2*q - d - z = 0 for q.
-3
Suppose -107*o + 101*o = -114. Solve -13*q - 30 = -o*q for q.
5
Suppose 47 = 12*o + 23. Solve 4*p + o + 6 = 0 for p.
-2
Let d = -146 + 147. Solve k - d = -4 for k.
-3
Suppose -8 + 2 = -2*g. Suppose -5 + g = -u. Suppose q + 5*w - 4 = 0, -5*q + w = u*w - 20. Solve q*l + 12 = l for l.
-4
Suppose 4*w + 25 = 2*z + 7*w, 45 = 5*z + 4*w. Solve -8 + 23 = z*a for a.
3
Let c be 34/6*((3 - -2) + -2). Suppose 9 = -3*t, 4*f - c = -t + 32. Solve -f = -3*z - 1 for z.
4
Let g(n) = 3*n**2 - 5*n. Let b be g(2). Solve -3*v + 15 = b*v for v.
3
Suppose -6*z - 50 = -z. Let o = z + 12. Solve o = l - 0 for l.
2
Suppose -12 = -3*r - 4*m, -5*r - 3*m = -2*m - 20. Suppose r*l - 20 = -0. Suppose -l*j - 8 + 0 = 2*a, 2*a + 8 = 2*j. Solve -20 = 5*f - j*f for f.
-4
Let q = -126 - -129. Suppose -p + 2*p = 4*n + 16, -3*p + 26 = -n. Solve -7 - p = q*k for k.
-5
Suppose d - 117 = -38*d. Solve 0 = t + d - 5 for t.
2
Let g(j) = j + 5. Let y be g(0). Suppose -9 + 59 = 5*d. Solve -y*k - d = 5 for k.
-3
Let k be (-1)/(-4) + (-14)/(-8). Let i(h) = h**2 + 29*h + 30. Let w be i(-28). Solve w*v = v - k for v.
-2
Let p(u) = -u**3 - 2*u**2 + 2*u + 4. Let y be p(-2). Suppose -3*f + 48 = -y*f. Let n(w) = -w**2 + 5*w - 2. Let l be n(4). Solve 6*x - l*x = -f for x.
-4
Let x = -12 + 16. Suppose 4*h + 20 = -3*l - h, 2*h = -x*l - 50. Let q(r) = r**2 + 15*r + 2. Let b be q(l). Solve b*m = 6*m - 16 for m.
4
Suppose o + 11 = -4*k, 2*o - 11 = -0*o + 3*k. Let g be o + -2 + 5 + -1. Let h be 2*(10/(-4) + g). Solve -4*t + 5*t = -h for t.
-1
Suppose 30*d - 311 + 71 = 0. Solve 2*r = -6 + d for r.
1
Let s be (8 + -13 - -3) + 3. Solve 8*w - 7 = s for w.
1
Let l = 139 + -69. Suppose 0 = -4*c + 5*b + l, c - 9 - 1 = 5*b. Solve t + c = -3*t for t.
-5
Suppose 24 = 3*k + k. Suppose 3*b + k = f, 6 = 5*f - 2*b - 11. Suppose -5*w + f*w + 4 = 0. Solve -3*a = -w*a + 2 for a.
-2
Suppose t + v = 22, -9 = -2*v - 1. Suppose y - 8 = -5*u - 2, 3*y - 3*u = t. Suppose -3*r + 3*k + 1 = -4*r, -5*k = 5*r - 5. Solve -a - r*a - y = 0 for a.
-2
Suppose u + 4 - 7 = 0. Let z(f) = -f**2 - 8*f - 5. Let v be z(-7). Suppose v*j - 2*w + w = 5, 24 = 3*j + 4*w. Solve -u*p + 1 = -j*p for p.
