-2*j for j.
-4
Let r be ((-5)/15*0)/2. Solve d + r*d = n + 5, -13 = 3*n - 2*d for n.
-3
Suppose 38 = 2*y - 2*f, -24 = -y - 4*f + 15. Solve 4*r - y = -3*l, -2*l = -r - l - 3 for r.
2
Let k = -299 - -303. Solve 3*i = -k*g - 10, 9*i - 10 = 4*i for g.
-4
Let b be 1/(-8) + (-161)/(-8). Suppose -b = 4*l - 8*l. Suppose -5*j - 7 = -0*t + t, -2*t + 12 = -3*j. Solve p - 15 = l*u, 3 = -t*p - 3*u + 12 for p.
5
Let l(c) = 5*c + 14. Suppose 5*t + 14 = -4*g, 0 = 3*t - 0*g - 2*g + 4. Let p be l(t). Solve 2*f = -n, 0 = p*n - 2*f + 7*f for n.
0
Suppose 5*d + 2*a + 11 = 3*a, -d = 2*a + 11. Let g be ((-1)/d)/((-2)/(-108)*3). Solve -11 = 3*o - y, -2*o = g*y - y + 30 for o.
-5
Let z be 6/(-4)*(-110)/15. Let v be 4/18 + (-237)/(-27). Let x = z - v. Solve 5*s + 5 + 11 = x*y, 0 = -2*y - 2*s + 2 for y.
3
Let a(o) = -5*o - 1. Let q be a(-2). Let f = -26 - -26. Solve 0 = -g + 3*g - 2*t + 2, g + t - q = f for g.
4
Suppose 5*m - 4*c - 1 = 0, -4*c + 3*c - 3 = -4*m. Let k(n) = 2*n**2 - n + 2. Let p be k(m). Solve 4*j + p = d, -3*d + 7*j + 2 = 2*j for d.
-1
Suppose 0 = 5*c - 28*c + 115. Solve c*q = -25, 5*p + 4*q = 3*p - 28 for p.
-4
Let n(d) = -d**2 + 4*d + 5. Let b be n(3). Suppose -g - y = -b, 0 = 4*g - 0*g + 2*y - 22. Solve -g*s = 5*z + 13, 2*s + 1 + 16 = -5*z for s.
4
Let o(z) = z**2 - z - 4. Let k be o(4). Suppose 3*y = k*y + 40. Let x be ((-20)/y - 1)*2. Solve 15 = -4*a + r, -5*r - 13 = -a + x*a for a.
-4
Let i be (-6)/(-5)*(225/(-6))/(-5). Suppose i*x = -x + x. Solve h - 2 = 3*h + y, 4*y + 16 = x for h.
1
Suppose -w + 2 = 2*u + 7, w + 1 = -u. Suppose -3*h = -3*h - w*h. Solve -p - 3 = -f, 2*f - p - 4 + 2 = h for f.
-1
Suppose -l + y + 114 = 0, -3*l + 2*y + 189 = -148. Suppose l - 29 = 4*g. Suppose -w + 5*w = g. Solve 0 = -b + 1, -w = 4*z - z - 2*b for z.
-1
Let o(h) = h**2 - 4*h + 2. Let v be o(4). Let p(w) = w**2 - w**3 - v*w + 5*w**2 - 3 - 2*w. Let q be p(5). Solve -i + 16 = -2*c + q*i, -5*i = -5*c - 30 for c.
-2
Let n(k) = -3*k + 1. Let b be n(-2). Suppose 2*j = -0*j + 4. Solve -j*m - b = 3*a, 0 = -4*a - m - 3 - 3 for a.
-1
Suppose -15*p + 11*p = 3*h - 1, -4*h + 2 = 5*p. Solve 2*r + 5*d = -8, 5*r = -h*d + 5*d + 9 for r.
1
Let m be (-5)/(232/(-24) + 8). Solve h = -m*r - 3, -r = 3*r - h + 4 for r.
-1
Suppose -5*q - 43 = 4*h, -5*h = 7*q - 4*q + 18. Let a be 66/q*(-20)/(-6). Let i be a/(-9) + 8/(-36). Solve -i*z = 3*u - 16, 0 = -2*z + 5*u - 0*u for z.
5
Let j be (-4)/16 + 4/(-48)*-51. Suppose 5*x - 8 - 7 = 0. Solve 0 = x*a + 4*s - 2*s + 16, -5*a + 10 = -j*s for a.
-2
Let y be (8/3)/(((-100)/(-15))/10). Suppose y*w = -x - 3*x + 32, -x - 5*w + 24 = 0. Solve 0 = 4*n - 5*k + 18, -3*n - 6 - 8 = -x*k for n.
-2
Let f(a) = 17*a + 2. Let c be f(0). Solve -c*x = 2*k + 6, -3*k - 5*x = 5 + 4 for k.
-3
Let v be ((-8)/(-6))/((-4)/(-12)). Suppose u = -v*u + 5. Suppose 0 = 2*p - 5 - u. Solve z + 3*z + 12 = -2*l, 0 = -p*l - 4*z - 14 for l.
-2
Suppose 3*c - c - 238 = -4*h, 2*h + 3*c - 109 = 0. Suppose 4*l = 6 + h. Let y be (0 - -2)*(-3)/(-2). Solve -r + d + d = 12, y*d = r + l for r.
-2
Let n = 2055 + -2053. Solve -3*h = -2*l + n, 6*h - 5*l + 5 = h for h.
0
Suppose 0 = -5*o + 4*o - 4. Let y be 3*o/30*-10. Solve -5*q + 5*s + 6 = -4, y*s = q - 2 for q.
2
Let n(i) = 2*i**2 + 20*i + 3. Let j be n(-10). Suppose -4*q - 200 = -52. Let m = -16 - q. Solve j*d - m = -2*l, -4*d + 6 = -3*l - d for l.
3
Let b = 856 + -856. Solve 0 = 4*w - 4*x + 16, 4*x + 9 = -w - b*w for w.
-5
Suppose 0 = -4*k + 19 + 1. Suppose 3*o - 4 = k. Solve -9 = 3*g + t, 5*g + 7*t - o*t + 8 = 0 for g.
-4
Let t be 33/18 + -2 + 85/6. Let f = 18 - t. Solve -f*s = 3*z + 19, 0*z - 5*z = -2*s - 3 for s.
-4
Suppose 13 = 5*y + 18. Let h = y - -14. Solve 3*d = -5*k + 6*k + 5, 4*k = 5*d - h for d.
1
Let w be (-19)/3 + (-2)/(-6). Let z be (1*(-33)/w)/(1/2). Suppose -b = -0*b - 2. Solve -l + b*r = 5*r + 9, 5*l + r = z for l.
3
Let k(p) = 3 + 19 + p**3 + 9*p**2 - 8*p + 2. Let y be k(-10). Solve -4*h = -8 - 8, 2*q - y = -h for q.
0
Suppose -3*i + 27 = 4*c, i - 8 = 4*c - 5*c. Let p(h) = -h**2 + 4*h + 4. Let d be p(5). Let a be (5 - d)/c - -3. Solve 0 - 3 = 4*g + 3*f, -a*g - 3*f = 0 for g.
3
Suppose -59*a + 199 = -96. Solve 0*f = -k + 5*f - 7, f - a = 2*k for k.
-2
Let u(w) = -5 + w**3 - 42*w + 3 + 4 + 5*w**2 + 39*w. Let b = 3 - 8. Let x be u(b). Solve 0 = -4*i + 6*i + f + 11, 4*i + f = -x for i.
-3
Let n(l) = -9*l - 78. Let t be n(-9). Suppose 9 = -3*a + 5*f, -2*f = t*a - 0*a - 12. Solve 0 = -a*y - 4*z + z + 5, -z + 25 = -4*y for y.
-5
Let h = 347 - 497. Let g = h - -154. Let u(f) = -f + 11. Let n be u(6). Solve -y = -n*m - g*y - 37, -4*m + y = 16 for m.
-5
Suppose -l = 4*l - 190. Let a = 49 - l. Solve -4*m + 6 = 2*v + 18, v + a = -3*m for v.
4
Let h(x) be the third derivative of -x**4/24 - x**3/6 + 39*x**2. Let v be h(-3). Solve -5*w = -v*l + 3, -4*w - l = -2*l for w.
1
Let a be (-2)/6 - (-24)/(-9) - -8. Suppose l - 1 = p, 5*l - 14 = -a*p + 1. Solve 2*x - 3*d + 0 - 5 = 0, l*x - 2*d - 6 = 0 for x.
4
Let w = 31 - 27. Suppose -19 = -w*s + 21. Suppose -3*u = -2*l + u + 4, -2 = -2*l + 5*u. Solve l*r = -y + r + s, 0 = -5*y - r + 26 for y.
5
Let f be -21*(0 + 2/(-6)). Let k(z) = -7*z - 129. Let g be k(-20). Let y = g - f. Solve m - 7 = y*m - 4*v, -5*m + 7 = -2*v for m.
3
Let l be 39/9 + (4/6 - 0). Solve -z + 2 = -3*d + 4, 2 = -3*z + l*d for z.
1
Let w be 56/3 - (-3)/9. Let k = -23 + 18. Let b(u) = -u**3 - 4*u**2 + 2*u - 11. Let g be b(k). Solve -g*o = 2*s - 20, 4*o - 3*o - w = -4*s for o.
3
Let n(p) = p + 16. Let r be n(13). Suppose -r*h + 10 = -24*h. Solve -35 = 2*a - h*w - 3*w, -3*w = 4*a + 5 for a.
-5
Let t be 3 + 8 + (-21)/3. Solve -2*m - 5*u + 26 = 0, -t*m = -5*u + 7 + 1 for m.
3
Let r be ((-35)/(-3))/(-7)*-6. Suppose -2*z = -0 - r. Solve -z*s + 16 = 2*u, -4*s - 4*u + 9 + 11 = 0 for s.
2
Let i(j) = -2*j**2 + 21*j + 40. Let m be i(12). Solve p = m*n - 8, -n - 5*p = -1 - 1 for n.
2
Let b = 14 - 9. Suppose -5*i = 4*g - 15, b*i - 11 = g - 46. Let x be (-26)/(-8) + (-2)/8. Solve h = -x*h + 16, 3*h = w + g for w.
2
Suppose 0 = -5*s - 6 + 16. Suppose -3*w - t + 12 - s = 0, -24 = -2*w - 5*t. Suppose 0*j = -w*j + 4. Solve -4*m = -2*n + j + 18, -m - 7 = -n for n.
4
Let m(x) = 15*x - 28. Let t be m(2). Solve 0 = -c - c - 3*b + t, 4*c + 14 = 3*b for c.
-2
Suppose 0 = -5*g - 69 + 214. Suppose 5*x + g = 2*z, 5*z - 20 = 3*x + 5. Solve -2*j = 5*l - 20, -16 = -4*l + z*j + 3*j for l.
4
Let s be -3 + 1 + ((-54)/(-9) - 5). Suppose 0 = 4*o - 12 + 4. Let h be (6 + -6)/(s*o). Solve 5*l = -t + 13, h = -3*t + 3*l + 6 - 3 for t.
3
Let s(c) = -c**3 - 4*c**2 - 6*c - 7. Let v be s(-3). Suppose v*k - k = -4*k. Let y = -1 - -4. Solve h = -k*h - a + 8, 5*h = -y*a + 34 for h.
5
Suppose 5*n + 2*z - 69 - 60 = 0, -5*z = -4*n + 90. Let k = n + -22. Let w(i) = i. Let p be w(k). Solve 2*m - 3 = p, 2*m - 14 = 2*u for u.
-4
Let x(f) = 2*f - 32. Let n be x(17). Let a(j) = -5*j - 14. Let u be a(-3). Solve 2*d - 10 = -n*h, 5*h + u = d - 4 for d.
5
Let n be (1/(-2))/(11/(-110)). Suppose -s + 2*m = -3, -4*s + 0*s = 3*m - 45. Let f(z) = -z + 39. Let i be f(s). Solve 4*a - i = -5*h - n, -a = 0 for h.
5
Let y(q) = 4*q - 23. Let r(n) = -n + 6. Let l(p) = 9*r(p) + 2*y(p). Let b be l(5). Solve -4*o = b*x, 2*x = 4*o - 0*o + 20 for x.
4
Let n = -20 + 13. Let d = n + 7. Suppose 3*k - 5*m - 82 = d, 3*m = k - m - 32. Solve 5*x + 6 = 4*p - k, -2*x = p - 1 for p.
5
Let k = -7 + 7. Suppose 5*w - 2*y - 17 = -5*y, k = -5*w + 5*y + 25. Suppose 2*d = -3*d + 100. Solve -s + p + 2*p = 15, -d = -s - w*p for s.
0
Let v = 1071 + -1069. Solve -2*b + 0*b = 4*h - 2, 4*h = v*b - 10 for b.
3
Suppose -40*j + 1 = -c - 43*j, -2*c = -5*j - 20. Let o(f) = -f**3 + 2*f. Let y be o(-2). Solve -3*m = -b - 6 - c, -y*m - 4*b + 20 = 0 for m.
4
Let p be 0*((-165)/22 - -8). Solve -4*u - 3*n + 6 = 5, p = u - 3*n - 19 for u.
4
Suppose -18*r + 14*r + 16 = 0. Solve 2*v + 4 = 4*n, r*n - 5*v + v - 4 = 0 for n.
1
Let y be (35 + 0)/7 + 3*-1. Solve -f - 2 = 2*b, -f - y*f = -b - 15 for b.
-3
Suppose -8*t - 4 = -9*t. Suppose t*w + w + 50 = 0. Let a be 40/(-12)*18/w. Solve -j - 4 = -0*b + 3*b, -2*b = -j + a for b.
-2
Let c(m) = -2*m**2 - 12. Let k be c(0). Let p = k - -17. Suppose p*s - 6*s + 2 = 0. Solve w - 1 + 0 = 2*d, 0 = -s*w + 5*d + 1 for w.
3
Let y(z) = 2*z**2 - 7*z + 16. Let o be y(4). Solve 3*h = 4*a - o, 2*a - 2*h - 20 = 2*h f