 s = k*s for s.
0
Let m be (-6)/(-27) - 133/(-9). Solve -m = 2*y - 5 for y.
-5
Let w(u) = u**2 + 6*u + 2. Let k be w(-6). Suppose -k*h - 16 = -4*q - 0*h, 0 = 4*q + 5*h - 2. Solve -2*y - q*y + 25 = 0 for y.
5
Let r = 7 - 3. Let s be r/(-14) - (-2)/7. Suppose 0 = -o + 3 - 1. Solve o*j + s*j = 0 for j.
0
Suppose -2*k + 1 = 3. Let l = k + 4. Solve 6 = y - l*y for y.
-3
Suppose 2*i + 3*d = -2*i + 29, 28 = 4*i + 4*d. Solve 5 = -q + i for q.
3
Suppose -5*y = 2*o + 10, -4*y = -2*o - 4 - 6. Let u(d) = -d**3 + d + 1. Let h be (0 - (-3 - -4))*1. Let p be u(h). Solve -w + 1 + p = y for w.
2
Let q be (7 - 4) + 4/1. Let o(s) = -s**2 + 10*s - 14. Let l be o(q). Solve 5*p + l + 8 = 0 for p.
-3
Let x = 62 + -60. Solve -2*w - 16 = x*w for w.
-4
Suppose 2*b = -1 + 5. Solve -3*g - 3 = -b*g for g.
-3
Let p(o) = o**3 - 4*o**2 + o - 1. Let f be p(4). Suppose 9 = f*w - 3. Suppose 3*i + 0*i - 15 = 0. Solve -3 = -w*g + i for g.
2
Let c be (-2 + 4)*(-1)/(-2). Suppose 4*b = -3*z - c + 10, 4*b + 4*z = 12. Solve b = i + 3 - 4 for i.
1
Suppose -2*s + 100 = 3*s. Let k(f) = -f - 1. Let v be k(-3). Let r = 9 - 7. Solve -r*j = v*j - s for j.
5
Suppose b + 18 - 20 = 0. Solve b*l + 15 = -l for l.
-5
Let g be (-1)/4*(2 + -10). Solve 10 = 3*h - g for h.
4
Let k = -147 - -167. Solve -3*n = -7*n - k for n.
-5
Suppose 0 = g + 5*g. Solve g*h = h + 3 for h.
-3
Let y(c) = 10*c**2 + c. Let u be y(-1). Suppose x - u = -2*x. Let b be (-44)/(-6) + 2/x. Solve -3*p - b = p for p.
-2
Suppose 3*x - x - 6 = 0. Suppose -x*m + 76 + 92 = 0. Let g = -40 + m. Solve 5*k + g = k for k.
-4
Let p(z) = -z - 18. Let h be p(-16). Let i be 13 - (-3 + (h - -3)). Solve 5*a = i + 10 for a.
5
Let s be 142/8*(2 - -2). Suppose -2*f = -3*x + 41, -x - 2*f - s = -6*x. Solve -6*i + x = -3*i for i.
5
Let d be (-24)/48*18*-1. Solve -d = -5*s - 4 for s.
1
Suppose 0 = -3*f - 8 + 23. Suppose g = -f*z + 22, -3*z + 26 = -2*g + z. Let i = 0 - g. Solve i*y - 20 = -2*y for y.
4
Let j(m) = m**3 + 13*m**2 + m + 18. Let f be j(-13). Solve 8 + 2 = f*n for n.
2
Let y be 8/6 + 10/6. Solve m = y + 2 for m.
5
Let z(m) = -m**3 + 7*m**2 + m - 4. Let o be z(7). Suppose -72 = 5*n - 4*c, -5*c = -3*n - o*c - 44. Let a be n/(-10)*(-30)/(-12). Solve a*f = f + 9 for f.
3
Suppose -4*g - 57 = -r, -g = 2*g - 3*r + 36. Let o be (-18)/(-5) - 6/g. Let v = 11 - 7. Solve v*f - o = 4 for f.
2
Let h be (-2)/6 - (-11)/33. Solve h = -3*s - s - 20 for s.
-5
Let d be (2 - 1)*-2 - -1. Let m = 2 - d. Solve -2 = g - m for g.
1
Let m(x) be the second derivative of -x**3/2 + 3*x. Let p be m(-1). Solve -p*k = -k for k.
0
Suppose 0 = -4*j - 20, 0*j - 14 = 3*l + 4*j. Solve h - l = 2 for h.
4
Suppose 0*v = -2*v - 0*v. Solve -5*h - 20 = -v*h for h.
-4
Let g be (2 + 0)/(6/9). Solve 2*z + 1 = g for z.
1
Suppose 2*f - 5*o - 8 = 0, 5*o + 17 = 5*f - 18. Solve 0*l - f = -3*l for l.
3
Let j be 18 - 3*(-4)/(-4). Suppose 5*u = -3 - 2, 4*u - 8 = -3*k. Solve z + k*z - j = 0 for z.
3
Suppose -3*z + 14 = -z. Solve 0 = -3*f + z*f - 12 for f.
3
Let x = -15 - -35. Solve -4*f + x = -0*f for f.
5
Suppose -1 = -3*c - 3*t + 2, -8 = -5*c - 2*t. Solve c*y = -0*y - 6 for y.
-3
Let c = 3 + -3. Let s = -1 - -1. Suppose s*g - 4 = -g. Solve c = o + 1 + g for o.
-5
Suppose v = 3*a - 4, -4*a - 3*v + 12 = -2. Solve -3*d = a*d - 10 for d.
2
Let s be (-8)/(-5) - (-6)/15. Solve w = -s*w + 6 for w.
2
Suppose 17 + 7 = 4*j. Solve 0 = -j*z + z + 20 for z.
4
Let h be 15/(5 + -2) + -1. Solve 2 = -h*m - 14 for m.
-4
Let d(i) = -5*i + 54. Let m be d(10). Solve -3*r = -4*r + m for r.
4
Suppose 9*u = -8*u - 0*u. Solve u = 3*w - 1 + 10 for w.
-3
Suppose 0 = 6*p + 11 - 41. Solve -p*i = 4 + 6 for i.
-2
Let m = -14 + 16. Suppose 4*v - 8 = d + m*d, 0 = -3*v + 6. Solve -2*n + 0*n - 10 = d for n.
-5
Suppose 0 = -5*p - 5*k + 55, -2*k = 8*p - 3*p - 46. Solve -10*o = -p*o - 6 for o.
3
Let y be 2/(-3)*3/(-2). Suppose -l + y = -4*t, -3*l = -t - 41 + 16. Solve 1 = -2*x + l for x.
4
Let w be (1/1)/(5/15). Solve 0 = 4*a - w - 13 for a.
4
Suppose -26*b = -31*b + 35. Solve 0 = -b*k + 4*k - 15 for k.
-5
Let m be (-65)/(-7) + (-6)/21. Let n = 84 + -29. Suppose -6*l - 5*b = -l - n, -5*l + 10 = -4*b. Solve 3*j - m = l*j for j.
-3
Let l be (-56)/(-10)*(5 + 0). Let q = l - 16. Solve -x = 3*x - q for x.
3
Let t be (-35)/(-15) + (-1)/3. Let x be t/(-1*(2 + -4)). Solve -x + 4 = -y for y.
-3
Suppose -2*m + 38 = 4*u, 3*u - 19 = 2*m + 6. Let z = u - 9. Solve z = -2*t - 2 + 8 for t.
3
Let o(x) = -x**3 - 15*x**2 + 3*x + 49. Let d be o(-15). Solve 0 = -d*z - 11 - 5 for z.
-4
Let x(i) = -7*i**2 - 2*i - 3. Let w(b) = b**2 - b - 1. Let y(m) = 3*w(m) - x(m). Let c be y(1). Suppose 0*u = 3*u - c. Solve u = -f + 2 for f.
-1
Let c(z) = -4*z**3 - 1. Let y be c(-1). Let t = 6 - y. Let s = 3 - 1. Solve s*g = t*g - 1 for g.
1
Let i(z) be the third derivative of z**4/24 - z**3/6 - 2*z**2. Let d be i(7). Let y be (-4)/(-12) + 4/d. Solve h + 3 = y for h.
-2
Let k = 4 - 2. Let d(h) = h**2 + 5*h - 10. Let l be d(-7). Suppose l*x + 0*f = 2*f + 16, -5*x = -f - 17. Solve a + x = -k*a for a.
-1
Suppose 0 = -p - 5*t + 17, 5*p + t = -35. Let m = p + 10. Solve m*k + 8 = -0 for k.
-4
Suppose 21 = 4*p + z, -z = 2*p + 2*z - 23. Solve -2*j + p*j = 8 for j.
4
Let n(b) = 2*b**2 - b - 3. Let g be n(3). Solve -5*c + g = -c for c.
3
Let f(h) = h**2 + h + 4. Let v be f(-3). Solve 3*j + 5 = -v for j.
-5
Let c(w) = w**3 - 4*w**2 - 5*w + 2. Let r be c(5). Suppose a = f + 8, 2*a - 12 - 12 = -r*f. Solve 2*u - a = -0*u for u.
5
Suppose 0*q - 6 = -q. Solve q*p = 4*p for p.
0
Suppose -3*g + 5*u + 22 = -48, 136 = 4*g + 4*u. Suppose 5*w - g = -0*w. Solve -2*k - 4 = -w for k.
1
Let c = 13 - 25. Let d = -2 + -1. Let m be (-12)/d*(-9)/c. Solve 2*k - m = -11 for k.
-4
Let x(c) = c**2 - 9*c + 3. Suppose 5*h = 59 - 14. Let n be x(h). Solve 0 = -n*u - 0 + 3 for u.
1
Suppose 0*s - 3*s + 18 = 0. Let m = 16 - -9. Solve k - s*k = m for k.
-5
Let c(n) = n**2 + 3*n + 3. Let u be c(-3). Suppose 0 = h - 0*h. Suppose -18 = -2*x - x + u*t, 5*t = h. Solve 0 = -0*d - 2*d + x for d.
3
Let i = -122 + 127. Solve 0 = 4*j - i - 3 for j.
2
Suppose 3*n + 4*n - 14 = 0. Solve n + 4 = -2*d for d.
-3
Suppose -8*o = -13*o + 15. Solve -4*a + a = -o for a.
1
Let z(l) = l**2 + 4*l - 3. Let n be z(-5). Suppose 0 = -2*g + f, g + 0*g + n*f = 0. Solve s = -g - 2 for s.
-2
Let g = 9 + 3. Solve -3*z = z + g for z.
-3
Suppose 3*h - 5*a - 11 = -0*h, 5*h - 3*a = 45. Suppose 3*t - 91 = -4*r, -5*t - 3 = h. Suppose r = 6*m - m. Solve -j + m + 0 = 0 for j.
5
Suppose 5*i + 17 - 82 = 0. Suppose 2*w - w = 0. Suppose -2*m + 4*m = w. Solve m = 3*h + 4 - i for h.
3
Let v(m) = m + 12. Let i be v(-5). Suppose 5*k = t + t + i, 2*t = -2*k. Solve 4 = 5*a - k for a.
1
Suppose 0 = i - 2*i - 2. Let l = -2 - i. Solve 5*u + 0*u + 5 = l for u.
-1
Suppose -5*m = -4*p - 32, 0 = 2*p - 3*p + 2. Let u = m - 3. Suppose 16 = u*r + 1. Solve 2*d - 10 = -r*d for d.
2
Let p be 13 + (-4 - (-7)/1). Solve -5*r - p = 4 for r.
-4
Let z = 5 - 3. Suppose z*v + 2 = 6. Solve -6 = w + v*w for w.
-2
Suppose -44 + 20 = -6*w. Solve -3 = w*n + 9 for n.
-3
Let n be 8*(-5)/(-22) + (-12)/(-66). Suppose 2*s + 2 = 3*s. Solve q + n = s*q for q.
2
Let f = 10 - 14. Let u(k) = k**2 + 5*k + 3. Let h be u(-3). Let q = h - f. Solve -v = -0*v + q for v.
-1
Let a(l) = -l**2 + 6*l - 5. Let q be a(4). Solve 20 = -q*j + 8*j for j.
4
Suppose 4*g + 20 = 2*o, -4*o + 12 = -4*g - 8. Suppose 3*i + 4*x - 32 = o, -5*x = -i + 6*i - 45. Solve 0 = -i*n + 2 + 6 for n.
2
Suppose -2*n + 4*l - 23 = 3*n, 0 = 2*n - 4*l + 2. Let y(h) = 2*h + 14. Let g be y(n). Solve -4*u + g*u = 4 for u.
-1
Let f be (5/(-5))/((-1)/6). Suppose f = -2*k - 0*k. Let z = k - -5. Solve -z*p - 1 = -7 for p.
3
Let h(l) = -2*l - 7. Let r be h(-7). Let y = -5 + r. Solve 0 = y*f - 6*f for f.
0
Let x be 2 + (0 - 2) + 2. Suppose -129 = 6*u - 153. Solve x*k + 8 = u*k for k.
4
Let j(i) = -2*i**3 - 3*i**2 - 3*i. Let f(n) = 2*n**2 - 1 - n**3 - 2 + 1. Let u be f(2). Let g be j(u). Solve 0*o + 2*o - g = 0 for o.
5
Let p(b) = -4*b**2 + 18*b + 10. Let d be p(5). Solve -3*v - 2 - 4 = d for v.
-2
Suppose 4*t - 16 = -0*t - u, 4*u = -4*t + 4. Solve -9 - 16 = -t*z for z.
5
Suppose -3*m - 4*s + 6*s + 8 = 0, -5*m = -2*s - 16. Suppose 5*h - m*h = 1. Suppose 5*i - 3*z - 11 = 0, -14 + h = -i - 3*z. Solve -4*u + 16 = -i for u.
5
Suppose 5*f = -25, 3