d = -50 + 15. Let g = -3 + 22. Solve -3*j = d - g for j.
4
Let x be -1*-1*(14 + 0). Let v = x - 12. Solve -2 = 4*y + v for y.
-1
Let r(s) = -s**2 - 7*s - 6. Let u be r(-5). Solve 0 = -3*a + a + u for a.
2
Suppose 2*h - h - 4*u = -12, -2*h = u - 12. Solve -h*c = -9*c - 20 for c.
-4
Let j(u) = -u - 2. Let n be j(0). Let r be 0/(n*(-3)/(-6)). Suppose r = -g - g. Solve g = 2*w + 1 - 7 for w.
3
Let y be 15/2*(-4)/(-5). Solve -y*l = -l + 5 for l.
-1
Let u = -9 - -13. Suppose -u*g + 0*g + 12 = 0. Suppose -g = 4*j + 2*x + x, -x = -5*j + 1. Solve -2*d + 3 - 5 = j for d.
-1
Let y = 9 - 9. Solve 0 = -u - y - 1 for u.
-1
Let j = 17 + -21. Let d = 0 - j. Solve n = -n - d for n.
-2
Let t = -26 + 19. Let r = -5 - t. Solve 6*x - r*x = 8 for x.
2
Let m = -12 + 9. Let q be 2/6 - 20/m. Solve -4*j + q = -1 for j.
2
Let x(f) be the first derivative of 1/2*f**2 + 4/3*f**3 + 1/4*f**4 + 1 - 3*f. Let g be x(-3). Solve n = g*n for n.
0
Suppose n = -n + 8. Suppose j - 3*r + 10 = 0, -4*j - r = -n*r - 5. Let v = -5 + j. Solve -p + v = 1 for p.
-1
Suppose -11 = -5*q + 4. Suppose 3 = -q*j, i - 2*j - 4 = j. Suppose l + 0*l + i = -z, 31 = 5*z - 4*l. Solve 0 = z*x - 0*x + 3 for x.
-1
Let f(a) = -2*a + 7. Let u be f(6). Let d be 4*((-5)/2)/u. Solve 0 = -3*j + d*j - 1 for j.
-1
Let x(h) = h - 2. Let j be x(5). Suppose -4*l - 10 - 6 = 0, -3*a + 3*l + 99 = 0. Suppose -a + 5 = -3*b. Solve -j*m + b = -m for m.
4
Suppose 4*a + 12 = 0, 5*x - 2*a - 48 = 2*x. Suppose 4*y + x - 38 = 0. Suppose 0 = -3*o + y - 0. Solve o*p - 3*p = 5 for p.
-5
Suppose -15*s = -11*s. Solve 2*i + 3 + 7 = s for i.
-5
Let w be (-14)/(1 + (-7 + -2)/3). Solve -w = 5*z + 8 for z.
-3
Suppose -24 = -i - j, 0*i - i + 2*j = -24. Let p = i + -19. Solve 8 = p*y - y for y.
2
Let c = 25 + -15. Let o = c + -8. Solve -o + 1 = -t for t.
1
Suppose -4*g + 13 = -11. Solve 0 = -4*y + y - g for y.
-2
Let l(b) = -b**2 - 3*b - 1. Let z be l(-1). Solve 13 = 3*s + z for s.
4
Let t be (-2)/(-4) - (-5)/2. Let n(r) = r - r - t - 4*r. Let y be n(-2). Solve 4*o + o = y for o.
1
Let t = 3 - 1. Let x(l) = 3*l**2 + 1. Let w(v) = 4*v**2 + v. Let u(c) = -2*w(c) + 3*x(c). Let k be u(2). Solve k - 11 = t*j for j.
-4
Let a(g) = 2*g + 6. Let n be a(-3). Let w = -18 + 30. Solve 0 = 4*u - n*u + w for u.
-3
Let y = 18 - 27. Let r(l) = l + 5. Let w(a) = a + 6. Let x(j) = -5*r(j) + 6*w(j). Let z be x(y). Solve -3*q - 10 = z*q for q.
-2
Let p be (-2)/(-2) + -2 + 1. Let u be 2 + 4 + -1 + p. Solve u*y + 1 - 6 = 0 for y.
1
Let g(s) = -s - 11. Let t(k) = k + 16. Let n(r) = 7*g(r) + 5*t(r). Let d be n(-7). Solve 0 = 5*c - 8 - d for c.
5
Suppose 14 = 3*f - 19. Let d = f - 5. Solve -2*v = -0*v + d for v.
-3
Suppose 0 = 2*d + 3*c + 3, -3*d + 0 + 3 = -3*c. Solve 4*m - 2*m + 2 = d for m.
-1
Let p(l) = l**2 - 2*l - 3. Let q be p(-2). Suppose 3*m - 7 = -5*v + 39, m + 58 = q*v. Let d = v - 3. Solve 4 = 4*t - d for t.
3
Let x = 65 - 65. Solve x*r = -5*r + 15 for r.
3
Let z be (36/54)/(1/15). Solve -3*d = z - 4 for d.
-2
Let r = 2 + 0. Let c(z) = z**3 + 3*z**2 - 3*z - 6. Let g be c(-4). Let n be 1/(-5) - r/g. Solve -f - f = n for f.
0
Let z(g) = g**3 - 5 + g**2 - 3*g - 3*g**2 - 2*g**2. Let y(r) = -r**2 + 5. Let w be y(0). Let l be z(w). Solve -5 - l = 5*b for b.
-2
Let l(j) = j**3 + 17*j**2 + j. Let v(p) = -p**3 - 16*p**2 - p - 1. Let y(z) = 5*l(z) + 6*v(z). Let t be y(-11). Solve -t = 4*r + r for r.
-1
Let n be 9/(-3) - (-10 - -1). Solve n*r - 3*r - 3 = 0 for r.
1
Suppose 0 = -2*w + 25 - 9. Solve -3 = -5*c - w for c.
-1
Suppose -5*f = -0*f - 90. Suppose 2*z - f = 3*z - 5*r, 4*z = -4*r + 24. Solve -z*w + w = 1 for w.
-1
Let x be 6*2/24*2*15. Solve 4*r - x = -r for r.
3
Let u(g) = -g**3 - 8*g**2 - 5*g + 14. Let a be u(-7). Solve a = -5*l + 2*l - 3 for l.
-1
Let s = -6 - -6. Suppose -3*a = -s*a + n + 15, -2*a - 27 = -5*n. Let j be 27/a*12/(-9). Solve m + j = -m for m.
-3
Suppose -2*f - 3*s - 22 + 0 = 0, 30 = -5*f + 5*s. Let l be -1 - (0 + -2 + -2). Let x be -2 + (3 - f - l). Solve -2*q + x = -0 for q.
3
Let y = -14 - -14. Solve y = -5*g + 17 + 3 for g.
4
Let a be 0/(3/6*-2). Let i be 0/(-2)*(-1 - a). Let n be (-4)/(2 + i) - -4. Solve 0 = -2*z - 0*z - n for z.
-1
Let y(n) = -n**2 - 2*n. Let q be y(2). Let z be (q/(-12))/(2/21). Suppose z*b - 2*a = 3*b + 14, 2*a = -6. Solve 0 = 3*j + b*j - 5 for j.
1
Let q be -6*(0 - 1/2). Suppose 3*o = -3*x, 2*x + 6 = 4*x - o. Suppose x*c = 3*c. Solve q*a - 1 + 10 = c for a.
-3
Let n(h) = -h**3 + 7*h**2 + 6*h - 35. Let l be n(7). Suppose 0*g = -g + 5. Solve -3*a + l = -g for a.
4
Suppose 3*v = -5*i + 15, i + 2*v = 3*i - 6. Suppose -5*y + 35 = 4*d, 5*y - 3*y = -i*d + 21. Solve -2*t = y*t + 10 for t.
-2
Let c = 10 - 6. Suppose -2*u = -u - c. Solve 3*d = -d - u for d.
-1
Suppose 3 = 3*l - 6. Solve -2*c = l*c for c.
0
Let h(v) = 4*v**2 - 2*v + 16. Let l(u) = u**2 - u + 5. Let j(r) = 2*h(r) - 7*l(r). Let g be j(-5). Solve -g = 3*i - 1 for i.
-2
Suppose k - 5*k = 3*c - 7, -11 = -c + 3*k. Solve -2 = -c*q + 3 for q.
1
Let s(y) = -y + 3. Let q be s(4). Let h(p) = p**3 + p**2. Let c be h(q). Solve -3 = 3*b - c*b for b.
-1
Let b = -2 + 4. Let a(m) = m**3 + 9*m**2 + m + 11. Let p be a(-9). Suppose 5*u + p*n = 7, -2*u - 2*n = -4 - 0. Solve -u = s + b for s.
-3
Let d(k) = k**3 - 6*k**2 - 5*k - 14. Let l be d(7). Solve -3 + l = j for j.
-3
Let a(h) = -6 + h**3 + 0 + 2 - 8*h + 5*h**2. Let r be a(-6). Solve c + 3*c = r for c.
2
Let j = 0 - -2. Let u be (-2)/(-5) - 174/(-15). Suppose -u = -j*g - 2*g. Solve 7 = g*l + 19 for l.
-4
Suppose 3*l = 7*l. Let h(v) = -v**2 + 5*v + 12. Let d be h(6). Solve -2*s + d*s + 20 = l for s.
-5
Let w(g) = -g**3 + 3*g**2 - g. Let z be w(2). Solve 0 = -z*k - 0*k for k.
0
Suppose -2*t - 3*t + 100 = 0. Solve -t = 3*r - 7*r for r.
5
Suppose -u + 4 + 1 = d, 0 = -d + 4*u - 10. Suppose -26 = -g + 2*j, -g - d*j - 2*j = -20. Suppose 0 = 6*p - 2*p - g. Solve -5*n + p = -2*n for n.
2
Let a = 18 + -12. Solve -9 = -a*p + 3*p for p.
3
Let d(r) = -r - 2. Let l be d(-5). Let x(p) = -p + 3. Let i be x(l). Solve -5*h + 16 - 6 = i for h.
2
Suppose 5*f = r + 22, f - 7 = 3*r + 3. Solve 5*g - 1 = f for g.
1
Let b = -4 - -10. Suppose 5*t + 8 = -u, -u + b*u + t = 8. Suppose 0 = 3*w + 3*g + 3, 0 = -u*w - 0*w + 2*g + 18. Solve w = -q + 5 for q.
1
Let z(h) = 5*h - 1. Let f(g) = -g. Let x(a) = -9*f(a) - 2*z(a). Let b be x(0). Solve 0 = -b*l - 1 - 3 for l.
-2
Suppose 5*a + 2 = 12. Suppose -a*c - 11 - 1 = -4*h, 6 = 2*h. Solve c = 4*q - 7 + 3 for q.
1
Suppose 30 = j + 2*j. Let u be ((-40)/25)/((-4)/j). Suppose 0 = -3*m - 0*m + 6. Solve -2*p - u = -m for p.
-1
Let u(z) = z**2 + 4*z - 5. Let g be u(-5). Suppose g*h - 5*h = 0. Suppose m + h*m = 4. Solve -m*n + 1 = 5 for n.
-1
Suppose -w - 6 = -4*g, w = -2*g + 5*g - 2. Let m be (-6)/(-4)*(3 - 5). Let h(i) = i**3 + 5*i**2 + 4*i - 1. Let k be h(m). Solve -k*q + 0 = -w for q.
2
Let x be 3/2*(-4)/(-3). Let b(q) = -9*q + 2. Let o(k) = 4*k - 1. Let n(t) = 4*b(t) + 10*o(t). Let r be n(3). Solve -x*l - r = 3*l for l.
-2
Let r be 3/(0 - 3/(-2)). Suppose 15 = v - 4*v, -3*m = -2*v - 58. Suppose m = 2*o - 24. Solve 2*s = -r*s - o for s.
-5
Let m = 4 + 3. Let r = 3 - m. Let p be (-2)/(-8) - (-1)/r. Solve 12 + p = 4*o for o.
3
Suppose -2*c = -13 + 7. Solve 0 = -3*q - 12 + c for q.
-3
Suppose -3*c + 0*o - 3*o - 3 = 0, -3*c + 2*o + 17 = 0. Suppose 6 + 30 = c*m. Solve m - 4 = 4*b for b.
2
Suppose 20 = -0*z + 4*z. Let i = -4 + z. Let b = 2 - i. Solve 2*h = -b + 11 for h.
5
Suppose 0 = 2*a - 5*z - 33, 3*z + 15 = -0*z. Suppose 4*m - 21 - 17 = 2*n, 20 = m - a*n. Suppose 0 = 4*l - m - 0. Solve l*x = -x for x.
0
Suppose -10 = -3*a - 1. Let k(u) = 17*u - 1. Let v be k(1). Suppose -5*p - 5*s + 2 = -s, v = 3*p - 5*s. Solve d = -a - p for d.
-5
Suppose 0 = -2*c + 2*p - 0*p + 12, 5*c + 5*p - 40 = 0. Solve 8 = c*g - 3*g for g.
2
Let k = 20 - 11. Suppose -1 = -r + z, k = -r + 5*r + z. Let d be (20/2 - 2)/r. Solve 0 = 4*q + 4 + d for q.
-2
Suppose 3*l - 30 = -3*m, 5*m - 12 = m + 3*l. Let a be (m/9)/(2/12). Solve 0 = -p + a*p - 12 for p.
4
Let w(j) = -j**3 + 9*j**2 - 8*j + 3. Let l be w(8). Solve 0*q + 3 = l*q for q.
1
Suppose 0 = -24*n + 23*n + 9. Solve 10 = -4*b + n*b for b.
2
Suppose -u = u - 4*p - 50, -u + 19 = 4*p. Suppose 3*a - u + 8 = 0. Solve -a*r + 7 = -18 for r.
5
Let c(l) = 2 - 3 + 8*l**2 - 8*l**2 + 15*l**2. Let o be c(1). S