 x(0). Suppose n*a - u = -4. Solve 0 + 4 = a*v for v.
2
Suppose -4*h + 8 = 5*f - f, -2*h + 4 = -3*f. Solve h*y + 3*y = -15 for y.
-3
Let z be -1*(-2 + 9/3). Let a = z - -6. Solve -1 = -a*f + 19 for f.
4
Let t be (3 - (7 - 4)) + 2. Solve t*z = -2 - 2 for z.
-2
Let l(d) = -6*d - 2. Let z be l(-1). Solve g - z*g = 9 for g.
-3
Suppose z + l = 0, -8 = z + z + 4*l. Suppose -10 = 3*a - a - 5*g, 0 = 2*a + z*g - 8. Solve 2*f - 5*f - 6 = a for f.
-2
Let c = -25 - 17. Let a = -17 - c. Solve a = -3*q - 2*q for q.
-5
Let j be (4 + -2)/4*12. Suppose 0 = 5*o - y - 0*y - 39, o - 2*y = 15. Suppose -o - 8 = -3*w. Solve 9 + j = w*m for m.
3
Let w be -15*2*(-12)/40. Solve w*u + 20 = 4*u for u.
-4
Let w be ((-48)/(-20))/(6/15). Solve a - w = -a for a.
3
Let c be (8/(-6))/(4/(-6)). Suppose 2*q = 6*q. Let d be q + 0 + -2 + 2. Solve d = -3*s + 1 + c for s.
1
Suppose x - 16 = -5*c + 4, 0 = 3*x + 2*c - 8. Solve x = -3*r - r for r.
0
Let u = 4 + -2. Suppose -2*y + 5*c = -4, y = u*y - 2*c - 2. Solve j + 1 = y for j.
1
Let t(g) = -g + 10. Let m(j) = j**3 + 4*j**2 - j - 4. Let k be m(-3). Let p be t(k). Solve p*o + 2*o = 4 for o.
1
Let r = -6 - -16. Suppose 12 = 3*y - m - m, -4*m = y + r. Solve -14 = -4*c - y for c.
3
Let i = -7 - -12. Suppose -m = -i*m. Solve -s + 5 + m = 0 for s.
5
Let n(t) = 2*t - 8. Let k be n(6). Let c be (-8)/(3 - k) - 4. Solve -g - c = -0 for g.
-4
Let l(k) = -k + 16. Let r be l(14). Suppose -r*a - 12 + 48 = 0. Solve 5*t - 3 = -a for t.
-3
Let b be 30/(-3)*4/(-8). Solve 2*k - 1 = -b for k.
-2
Suppose 0 = v - 4, -8*s + 9*s - 4*v + 6 = 0. Solve 5*f = -10 - s for f.
-4
Suppose 0 = 2*s - 10. Suppose 5*l - 16 = l, -3*l - 20 = -4*n. Solve 3*w + s = n*w for w.
1
Let b be (2 - (-3 - -4)) + -1. Suppose -2*z + 10 - 2 = b. Solve -z*a = -6 + 2 for a.
1
Let d = 7 - 7. Suppose d = x + 2*j - 5*j - 18, 3*x - 4*j - 29 = 0. Suppose -6 = x*t - 15. Solve t = a - 0*a for a.
3
Suppose -5*n - 34 + 9 = 0. Suppose -32 = -4*x - i, -7*x = -2*x - i - 49. Let t = x + n. Solve 1 = t*y - 5*y for y.
-1
Let w(u) = 2*u - 1. Let y be w(3). Suppose y*t = 8 + 7. Suppose -l - p + 11 = -t*p, 4*l - 32 = 5*p. Solve l*z = -2 - 1 for z.
-1
Suppose 0 = -w + 3*r + 3 - 1, -6 = w + r. Let z be (10 + w)/(3/2). Solve 0 = -2*g - 2*g - z for g.
-1
Suppose -10 = 4*r + 5*a, -2*r + 0*a + 8 = -4*a. Let f be -2*(-2)/(-4)*r. Suppose 12 = 2*n + 3*l, 0 = -3*n - f*n + 2*l + 5. Solve 0 = n*c + c for c.
0
Let y(r) = r**3 + 7*r**2 + 9*r + 21. Let g be y(-6). Solve 0 = -0*t + g*t + 9 for t.
-3
Let t = -15 + 18. Let k = 29 - 15. Suppose 0 = -4*j + k + 2. Solve -t*w - 19 = -j for w.
-5
Let f be 5*((-28)/(-10) + -2). Let p(l) = l**2 + 4*l + 5. Let i be p(-5). Suppose -v + i = v. Solve x - f = -v for x.
-1
Let t(p) = -2*p + 14. Let g be t(3). Solve h - g = -3*h for h.
2
Let m(l) = l**2 - l. Let t(k) = -2*k**2 + 9*k + 3. Let s(z) = 3*m(z) + t(z). Let b be s(-6). Solve 0 = -4*i + i - b for i.
-1
Let g(u) = 4*u - 3. Let o be g(2). Let a = 0 + o. Solve a*p - 1 = -11 for p.
-2
Let u(c) = -2*c**2 - 20*c + 14. Let p(r) = -r**2 - 13*r + 9. Suppose -2*w = -0*w - 16. Let x(o) = w*p(o) - 5*u(o). Let b be x(2). Solve -11 + b = 3*k for k.
-3
Suppose -1 = -2*r + 7. Let d(b) = -b + 2. Let f be d(-4). Let c be 2/3 + 8/f. Solve -r*l + c = -10 for l.
3
Let s be 10/8*(-8)/2. Let q = s - -5. Solve q = 4*m + 16 for m.
-4
Let a(j) = 4*j**2 + 6*j - 2. Let t be a(-2). Let v(w) = 3*w**3 + w**2 - w + 1. Let p be v(1). Let q = p - t. Solve k = -k - q for k.
-1
Let m = -11 - -14. Solve 7 - m = -4*h for h.
-1
Let k be (-5)/(-4)*(-8)/(-1). Solve 0 = -4*w + k + 6 for w.
4
Let n = -56 + 59. Solve n*s - 7*s = 8 for s.
-2
Suppose -56 = -3*z - 8. Solve 3*k - z = 7*k for k.
-4
Suppose -3*d + 4*a = 12, -a - 3 = -5*d - 6. Solve d*s = s - 1 for s.
1
Suppose 0 = 2*b + b - 9. Solve -b*a = -2*a - 1 for a.
1
Let w = 1 + 0. Solve -1 - w = -m for m.
2
Let y = 12 - 6. Suppose -2*o + 1 = -u, -3*u + 2*o + 14 = u. Solve -14 - y = -u*v for v.
4
Let u be (0*4/8)/(-3). Solve u*n = -2*n for n.
0
Suppose -25 = -3*d - y, d + 5*y - 27 = -0*y. Solve 2*h = -d + 3 for h.
-2
Suppose -2*o + 32 = 4*y, 3*o - 53 = 3*y + 13. Suppose 0 = -2*u + 4*w + 23 - 3, o = -4*w. Solve u = -3*i - 0*i + 15 for i.
5
Let d = 7 - 2. Let y(o) = o + 8. Let g be y(-8). Solve g = c - d for c.
5
Suppose -2*k = 2*k. Solve k = 5*v - 0 + 25 for v.
-5
Let p(w) = w + 9. Let v be p(-8). Let r(d) = 4*d**3 - 1. Let f be r(v). Solve -3*o + f + 0 = 0 for o.
1
Suppose 0*i + 4*i = -5*m + 16, 2*i - 8 = m. Solve -2*x - 7 + 3 = m for x.
-2
Let t = -38 + 41. Solve t = 2*b + b for b.
1
Let h = 5 - 5. Suppose -3*n + n + 12 = h. Let f be (4/6)/(2/n). Solve 6 = f*j + 2 for j.
2
Suppose 2*h + 2*k - 1 = h, -k + 4 = 4*h. Let x be 2 + -2 + 3 + h. Solve -x*b + 0*b = -20 for b.
5
Let y(u) = -u - 5. Let c be y(-11). Let o(n) = n**3 - 6*n**2 + 2*n - 8. Let l be o(c). Suppose 0 = -r + 3*r - l. Solve 0 = r*x - 3 - 1 for x.
2
Suppose 2*v + 2*i + 27 = 7*v, -2*v + 4*i = -14. Let a(m) = 4*m - 1. Let d be a(4). Solve 0 = -0*x + v*x + d for x.
-3
Suppose 2*h - 7*h = -15. Solve h*r - 2 = 4*r for r.
-2
Suppose -u + 3*y = -2, y - 1 = -u + 1. Solve u*a = -2*a + 8 for a.
2
Let j(l) = -l**3 - 11*l**2 + 13*l + 13. Let g be j(-12). Suppose -8 = -5*y + 12. Suppose -g = y*v + 3*h + 2*h, -2*h + 8 = 3*v. Solve v*w + 5 = w for w.
-1
Let k(o) = -2*o - 5. Let p be 2 - 7 - (-2 + 2). Let x be k(p). Solve -36 = -x*a - 11 for a.
5
Let g(p) = p - 1. Let u be g(7). Let k = -4 + u. Solve 5*o + 27 = k for o.
-5
Suppose -10*w + 30 = -5*w. Suppose 4*r = -0*r. Solve r = w*z - 2*z + 20 for z.
-5
Suppose -4*n - 9 = -7*n. Suppose -38 = -n*u + u. Suppose p - 7 - 7 = -3*v, -2*v - u = -5*p. Solve 0 = p*c - 0*c + 15 for c.
-3
Let u = 5 + 11. Solve -2*c - u = -6*c for c.
4
Suppose 3*y - r - 3*r = 68, r + 5 = 0. Solve 6*v = 2*v + y for v.
4
Let o = 19 - 16. Solve -2*a + 15 = o*a for a.
3
Let z = -15 + 18. Suppose 0 = -3*a - 0*d + 4*d - 9, -2*d + 6 = 0. Let p = a - 1. Solve p = -z*h + h - 2 for h.
-1
Suppose -12 - 8 = -5*a. Let p = 22 - 12. Suppose 0 = -d - 3*d + 12, -p = 2*f - 4*d. Solve -a = -i + f for i.
5
Suppose 3*a - 9 = 9. Let g be (-1 - 20)*(-4)/a. Solve 2*r - 4 + g = 0 for r.
-5
Suppose -3*i = -6*i + 3. Solve -2*z = -z - i for z.
1
Let h = 19 + -12. Suppose -4*o - 4 = -2*o + 4*p, -2*o - 13 = -5*p. Let g = o + h. Solve 4*d - g = 1 for d.
1
Suppose 6*s + 0 - 36 = 0. Solve -4 + s = x for x.
2
Let k(g) be the third derivative of -5*g**4/24 - g**3/6 - g**2. Let i = 9 + -10. Let r be k(i). Solve -s = r*s for s.
0
Suppose 3*o = -b + 7, 0*b = -3*o + b + 5. Solve -4*g + o - 6 = 0 for g.
-1
Let o(u) = 3*u**3 + 4*u**2 + u - 4. Let x(j) = -2*j**3 - 4*j**2 + 3. Let b(a) = -3*o(a) - 4*x(a). Let w be b(2). Solve 0 = -0*y + w*y - 4 for y.
2
Suppose 7 = -3*i - 4*h - 5, 4*i + 3*h + 9 = 0. Suppose i = -2*w + 4, 3*w - 6 = 2*y + y. Solve y = 4*x - 0*x for x.
0
Let i be 0 - 1*(-2 + 1). Suppose 0 = n + i - 4. Solve 3 = n*y + 9 for y.
-2
Suppose 0 = -0*w - w + 15. Suppose m = 3*m - 4*s + 12, -5*s + w = 5*m. Let g = 8 + m. Solve -g = -4*k - 0*k for k.
2
Let z = 31 + -29. Let d = 0 + 5. Solve -v = -z*v - d for v.
-5
Let f(o) = -2*o**2 - 3*o - 1. Let r be f(3). Let w be (r/(-35))/((-2)/(-10)). Solve 20 = -w*q - 0 for q.
-5
Let n = 95 - 91. Solve -m + n = 5 for m.
-1
Suppose 0 = x + 3*x + 12. Let b(s) = s - 9. Let o be b(15). Let v be o + x + (-2)/(-2). Solve -5*n - v = 1 for n.
-1
Let r = -7 - -8. Solve v + r = -1 for v.
-2
Let n = 2 - 1. Suppose -4*l + 21 - n = 0. Let w = -1 - -3. Solve -w*x - l = 5 for x.
-5
Suppose r - 21 = 4*h, -6*r + 2*r + 5*h + 40 = 0. Solve 5*o - 15 = r for o.
4
Let f = -7 + 14. Suppose 2*k = -23 - f. Let n be 44/10 - 9/k. Solve -n*u + 4 = -11 for u.
3
Let j be (1 - -1)/(-2) - 11. Let c = j + 20. Suppose d - c = -4. Solve 0 = d*v - 9 - 7 for v.
4
Let b be -2*(-1 - 10/(-4)). Let t be b*10*2/(-12). Solve -t*s - 16 = -1 for s.
-3
Let l(m) be the third derivative of m**4/24 - m**3 - 6*m**2. Let z be l(11). Solve z*x = -0*x for x.
0
Suppose -3*b = 6 - 27. Let f be (54/135)/(1/(5*2)). Solve f = x + b for x.
-3
Let j be (-2 - (-3)/2)*0. Suppose 28 = w - 4*r, -4*w + 11 = r - 33. Solve 4*u + j = -w for u.
-3
Suppose 0 = -2*a - 20*a + 132. Solve -2*u + a*u = -8 for u.
-2
Let p = 74 + -44. Suppose -3*l = 2*l - p. Let k = 2 + -2. Solve -5*a - 4 - l = k for a.
-2
Let w(s) =