= -a*w + 4*k + 27. Solve w*y - 3 = 2*y for y.
3
Let j be (-1)/((-2)/4) + -1. Suppose -5 = -2*u - j. Solve -u*x - 3*x + 25 = 0 for x.
5
Let o(m) = -m**2 + 6*m - 5. Let q be o(5). Solve 2*a - 4 - 6 = q for a.
5
Let o = 2 - -7. Suppose 2*t - o = -t. Solve -1 = 2*x + t for x.
-2
Suppose -v = -2*i - 6, -i = v + 3*i + 6. Suppose s - 3*m = 10, v*s - 12 = s + 4*m. Suppose -s*x + 3 + 21 = 0. Solve -x = 4*u - 2*u for u.
-3
Suppose 0 = -4*d - 12, -4*s = -0*s - 2*d - 10. Suppose 5*f + 2 = 7. Let z be 9/8 + (-3)/24 + -1. Solve z = -b + s + f for b.
2
Let v be 6/4 + 21/14. Let n be 12/v*(2 + 2). Solve 2*z + 2*z = n for z.
4
Let d = -5 + 9. Solve 3*p = 5*p + d for p.
-2
Let b(j) = 2*j**2 - 9*j + 14. Let u be b(3). Solve -15 = -u*t - 0 for t.
3
Suppose 5*a + 27 = 4*m, -3*m = 2*a + 1 - 4. Let h be -6*-2*a/(-12). Let u = 5 - 3. Solve -h*v = -u*v + 3 for v.
-3
Let x be (-2 - 9/(-3))*-12. Let z = x + 16. Solve 12 = -z*r - 0 for r.
-3
Let j = 38 + -35. Solve j = -0*r + 3*r for r.
1
Let c(z) = z**3 - 3*z**2 - 2*z - 4. Let b be c(4). Solve b*n - 4 + 12 = 0 for n.
-2
Suppose -3*g - 18 + 6 = 0. Let q be (-37)/(-2) - g/(-8). Solve -4*u + 2 = -q for u.
5
Suppose 15*z + 8 = 11*z. Let y = z + 4. Solve -y*w + w + 2 = 0 for w.
2
Let k = 2 - -4. Solve m - 1 = -k for m.
-5
Let b(j) be the first derivative of j**2/2 - 2*j + 2. Let v be b(5). Solve -18 = v*x - 3 for x.
-5
Let p be 2 + (-6)/(3 + -6). Suppose 0 = p*o - 1 - 7. Solve -3*b - o + 8 = 0 for b.
2
Let x be (-3)/(-12) - (-201)/12. Suppose x = 2*t + 1. Solve c = 5*c - t for c.
2
Let r(j) = 9*j**2 + j + 2. Let z be r(-1). Solve 3*q - z - 5 = 0 for q.
5
Suppose -14 = -4*q + 5*f, 6 + 3 = 5*q - 2*f. Suppose 0 = g - 3 - 2. Let k(x) = x**3 - 5*x**2 - 7*x + 6. Let t be k(6). Solve t = -g*z - q - 19 for z.
-4
Suppose 0 = -2*y + 5*n + 20, 6*y - 4*n = 2*y + 52. Let i be 14/6 - 5/y. Solve 3*w = -i*w for w.
0
Suppose 2*p = -c - 4 + 11, -3*p + 5*c + 43 = 0. Solve 2*b - 20 = p*b for b.
-5
Let i = -31 - -46. Solve 5*d = -i - 5 for d.
-4
Let k(b) = b**3 + 9*b**2 + 9*b + 12. Let m be k(-8). Solve 12 = -m*z - 0*z for z.
-3
Let s = 35 + -30. Solve 0*l = -s*l - 10 for l.
-2
Let t(j) = -j + 7. Let x be t(6). Suppose -o + 1 = -x, 0 = 2*k + 3*o - 10. Let n = k - 0. Solve q = 3 - n for q.
1
Let g be (6/3)/(10/15). Suppose j - 6 = 1. Let q be 1*(-2 + j)/1. Solve g*z + q + 4 = 0 for z.
-3
Let h = 111 - 96. Solve -h = v - 6*v for v.
3
Suppose -15 - 7 = -4*y - 2*i, 0 = y - 4*i - 1. Let g be 16/7 - (-12)/(-42). Let z = 5 - g. Solve -2 = y*p + z for p.
-1
Suppose 0 = -2*l - v, 5*l + 0*v = -2*v. Solve l*m + 2 = -m for m.
-2
Suppose -2*w + 2*u = -16, 0 = 2*w - 5*w - 4*u - 11. Solve 4*v + w = 19 for v.
4
Let a be 1/((-4)/(-44))*1. Let p = a + -11. Solve -2*u + p + 10 = 0 for u.
5
Suppose -5*q + 36 = -9. Solve -2*b - 3 = -q for b.
3
Suppose -8 = -12*q + 10*q. Solve 0 = -q*z - z + 25 for z.
5
Suppose -w + 4*b = -31, 5*w - b - 91 + 12 = 0. Let t = w + 10. Solve 0 = -5*m - 0*m + t for m.
5
Let j(u) be the third derivative of u**4/12 - u**3/2 + 2*u**2. Let l be j(9). Solve l = 3*r - 0*r for r.
5
Let i be (28/16)/(3/36). Solve -5*x = -i + 6 for x.
3
Let w(p) = 3*p**3 - 2*p**2 + 3*p - 2. Let n be w(2). Let f be (-5)/((-70)/(-8))*-7. Solve -f*r - r = n for r.
-4
Let m be 0/(-1 + 2 + 0). Suppose m = 4*b, 3*s + 4*b - 12 = -0. Let c(o) = -o**2 + 5*o - 3. Let l be c(s). Solve u = -0*u + l for u.
1
Let f = -3 - -4. Suppose -5 = r + 3*s, -12 = -r + s - f. Solve 2 = -3*o - r for o.
-3
Let g be 46/14 + (-4)/14. Let h be 90*-1*(-4)/8. Suppose 2*m = 4*a - g*m - h, -4*m - 4 = 0. Solve 5*t = -5 - a for t.
-3
Let n = 6 + -4. Suppose 2*w = w + n. Suppose -2*q + l = q - 41, -w*q = 3*l - 31. Solve 5*y = -6 - q for y.
-4
Let t = -2 - -4. Let f(l) = l - 2. Let w be f(t). Let g = w + 0. Solve 0 = -2*u - g*u - 10 for u.
-5
Let y = -6 - -8. Suppose y*k = -0*l + 3*l + 18, -2*k = -4*l - 22. Let n = -1 + k. Solve 4*h - 6 = n for h.
2
Suppose 0 = 2*w - 0*w - f - 9, -w + 5*f = 0. Solve 5*d + w + 10 = 0 for d.
-3
Let w(k) = k**2 + k. Let n be w(1). Let x be (24/(-15))/(n/(-15)). Let g be 29/4 + x/16. Solve 0*o = -4*o + g for o.
2
Suppose x = 4*x - 36. Let n = x - 10. Solve 17 = n*m + 7 for m.
5
Let h(t) = -t**2 + 6*t - 4. Let d be h(4). Suppose -4*r - 3*i + 29 = 0, -r - 3*i - 4 = -6*i. Solve r*v + d = 3*v for v.
-2
Let m(q) = -q**3 - 2*q**2 + 2. Let l be m(2). Let n be (-2)/(-3) + l/(-6). Let b be (1 - n)/((-5)/10). Solve 2*k = b*k for k.
0
Let m be 1 + 2 + 0 + 1. Suppose 0 = -5*q - 3*y + 111, 2*y + 59 = q + 2*q. Solve -5*z - q = m for z.
-5
Suppose 0 = -5*q + 15 - 5. Solve q*v + 6 = 4*v for v.
3
Let k(s) = s**2 + 2*s - 11. Let m be k(-5). Solve -2 + m = -w for w.
-2
Let v(q) = q**2 - q - 4. Let n be v(3). Let r be (-2 - 4)/(-3 - -4). Let y be (-1 - 0)*r - -1. Solve a = -y + n for a.
-5
Let r(k) = -k**3 + 3*k**2 + k. Let x be r(3). Suppose 0 = 3*w + 4*c - 1, -2*w - 5*c - 11 = -0*w. Let p = w - x. Solve -p*q - 17 = -5 for q.
-3
Let q(u) = -u**3 - 4*u**2 + 4*u - 3. Let c be q(-5). Solve 1 = l - c*l for l.
-1
Let t = -3 + 7. Solve b - 15 = t*b for b.
-5
Suppose 3*k - o - 3 = -7, 2*k - 20 = -5*o. Suppose 4*j - 3*s - 31 = 0, 3*j + k*s = -2*s + 2. Suppose -2*z = -j*z + 2. Solve -3*h = -z + 13 for h.
-4
Let c be 92/8 - 2/(-4). Solve 0 = 4*a - c for a.
3
Let m be (2 - 3) + -2 + 4. Solve -y - m = 1 for y.
-2
Let m be (-15)/6 + 10/4. Solve -i - 4*i = m for i.
0
Suppose -2*q + 7 - 1 = 0. Solve -8 = 5*c - q for c.
-1
Let h(g) = -g - 1. Let r be h(-1). Suppose -2*t - 3 = -t, -3*i - 5*t - 9 = r. Solve -i*d = d for d.
0
Let a be (4/(-6) - (-4)/6)/2. Solve a = -0*n + 5*n for n.
0
Let i be ((-24)/5)/(6/20). Let m = 4 - i. Solve -3*b - m = -8 for b.
-4
Suppose -3*v + 5*v + 42 = 0. Let s = 91 - 106. Let p = s - v. Solve -p*i = -2*i for i.
0
Let h(i) = -i + 17. Let g be h(5). Solve 5*b + 8 = -g for b.
-4
Let v be (-74)/(-9) + 10/(-45). Let m be v/(-12) + 11/3. Solve 0*c - m*c = 12 for c.
-4
Suppose 11*c - 10*c = 0. Solve c*h - 2 = h for h.
-2
Suppose -5*x - 2*r = 2*r - 16, -x + 20 = 5*r. Let z(m) = -m**2 - 4*m - 3. Let k be z(-3). Solve -4*f + x*f = k for f.
0
Let a be 2 - -3 - 3 - -2. Suppose 4*v + h = 42, 0 = a*h - 11 + 3. Let i(d) = d**3 - d**2 - d - 2. Let p be i(2). Solve p*k + v = 2*k for k.
5
Suppose -2*l = -7 - 1. Let i be -3*((l - 2) + -3). Suppose j = 3*m - 17, -4*m - i*j + 7*j = -28. Solve 34 = -m*v + 9 for v.
-5
Let k be ((-32)/(-40))/(1/5). Suppose -3*l = -3*v + 3, 0 = -2*v - 0*l + k*l. Suppose -5*s = 5*t + 3 + v, -2*s = 2. Solve t = g - 4*g + 12 for g.
4
Let o(u) = -4*u**3 + 4*u**2 + 4*u + 3. Suppose 3 + 0 = 3*a. Let g(p) = -p**3 + p**2 + p. Let w(r) = a*o(r) - 5*g(r). Let n be w(0). Solve -3 + 9 = -n*q for q.
-2
Suppose 0 = -0*j + 5*j. Let o = 13 - -1. Let l = -12 + o. Solve -l*b = -2 - j for b.
1
Suppose 0 = 3*d + d - 128. Let m = -14 + d. Suppose -s - m = -3*k - 2*k, -9 = 3*s. Solve 4*v = -1 - k for v.
-1
Let k(z) = -z - 2. Let b be k(-7). Solve b*j = j for j.
0
Let z be 5 + 0/(-2) + 0. Suppose 0 = -4*u + 2*s + 20, -u + z*u - 5*s - 26 = 0. Solve -4*r = -3*r - u for r.
4
Suppose -13*f = -11*f. Solve f*p = p - 1 for p.
1
Let u = -2 + 14. Solve 0*w + 4*w - u = 0 for w.
3
Let o(m) = m**3 - 6*m**2. Let d(l) = l + 1. Let w be d(5). Let y be o(w). Let j = 11 + -10. Solve -s = -y*s - j for s.
1
Suppose a + 3 = 2*a. Let v = -8 + 0. Let s = v - -28. Solve a*k = -k + s for k.
5
Suppose 18 = 4*o - o. Solve -2*j - 2 = o for j.
-4
Let c be 3/2 - (-15)/6. Suppose -5 = -2*o + 15. Let d = -7 + o. Solve q = -d*q + c for q.
1
Suppose -5*s - 10 = -2*f, -6 = 7*f - 5*f + 3*s. Solve 5*c + f = -5 for c.
-1
Let y(t) = -2*t - 6. Let o be y(6). Let k be (-14)/o + 6/27. Solve -2*p + k = -p for p.
1
Let v be (-104)/(-3) + 1/3. Suppose -5*o + 4*b = -b - v, -o + 4*b = -22. Let a(r) = -r - 2. Let u be a(-4). Solve u - 4 = o*t for t.
-1
Let p be ((-2)/(-3))/((-10)/15). Let r(z) = -5*z**3 - 2*z - 1. Let i be r(p). Let u be (15/i - 3)*-10. Solve 1 = u*f + 6 for f.
-1
Let s(v) = v**2 + 8*v. Let g be s(-8). Suppose 0 = -5*l + 4*u + 27, -4*l + u = -6 - 9. Solve g*d = -l*d for d.
0
Suppose -4*q - 7*a + 65 = -2*a, -4*a - 11 = -q. Solve -q = -5*b - 35 for b.
-4
Let b be ((-18)/(-2) - 0) + -1. Suppose -8 - b = -4*f. Suppose 0 = -5*v + 5*i - 0*i + 30, f*v + 4*i + 16 = 0. Solve -6 + v = 5*z for z.
-1
Suppose 2*y = 3*y - 2, 0 = -2