*j + 2*t = -2 - 4 for j.
-2
Let n(a) = a - 2. Let b be n(4). Solve -b*j = 4*i + 30, j - 2*i + 0 = 5 for j.
-5
Suppose -4*u = -j + 3*j, u - 7 = -4*j. Suppose 11 - 35 = 2*s. Let m = -4 - s. Solve k = j, -n = 4*k - 2*k - m for n.
4
Let n be (2 + 2)*66/8. Suppose 0 = -0*c + c - n. Solve -2*o - 17 = 5*l - 4*o, -5*l - c = 2*o for l.
-5
Let p(o) = -o**2 - 5*o - 4. Let l be p(-3). Let u(q) = -4 + 0*q - 2*q**2 + 3 + l*q - q**3. Let v be u(-3). Solve 0 = 3*z + 2*h - 11, -3*h = 2*z - 2 - v for z.
5
Let n be (-17)/4 + (-1)/(-4). Let i be 68/18 - n/18. Solve 3*l = a - 0*a + 5, 0 = -i*a + 4*l - 20 for a.
-5
Let j be (-2 + -1)*-1 - -1. Let s(a) = -a**2 + 6*a - 5. Let y be ((-28)/(-21))/(1/3). Let p be s(y). Solve 3*c - m - 5 = 4, p*c - j*m - 9 = 0 for c.
3
Let p(t) = t**3 - 11*t**2 - 12*t. Let z be p(12). Suppose 22 = x - 5*f, 2*x + 2*f = -z*x - 4. Solve -x*c - 3*v + 12 = 3*c, c = -2*v + 1 for c.
3
Let z(s) be the third derivative of s**4/24 + s**3/6 + 4*s**2. Let x be z(2). Solve -6*g + g - 2*c - 14 = 0, 0 = -x*g + 5*c - 27 for g.
-4
Suppose -5*m - 33 = -2*m. Let n(d) = d**2 + 12*d + 13. Let p be n(m). Solve 2*o - 13 = 3*f, f - 4*o + p*o + 7 = 0 for f.
-3
Let x be -1*((-1)/(-1) + 0). Let g be -2*((-33)/(-6) + x). Let r = -6 - g. Solve 2*m + 4*n - 8 = 0, -5*n + 25 = -r*m + 4 for m.
-2
Let f = 3 - -2. Let o = -1 - -1. Let k be 7 - (0 - o/(-1)). Solve -3*v + 20 = f*m + k, -2*m = -2*v - 2 for m.
2
Suppose -4*g + 3*h = -24, 4*h - 6 = -5*g + 4*g. Solve p - 3 = -k, -p + g*p = -4*k + 14 for p.
2
Suppose -5*z + 80 = -0*z. Suppose -s + 0 = -1. Let t = 25 - 21. Solve -t*w = -z, 2*w - 9 - s = f for f.
-2
Let l = 3 + 2. Let r = -3 + l. Solve 25 = -3*s - r*s, -3*z = -s - 2 for z.
-1
Let l be 39 + 0 + 3 - 2. Suppose -a + d - 5*d + 24 = 0, 4*a - l = -2*d. Solve -k + a = -3*j + 7*j, 10 = k + 5*j for k.
0
Let b be (19 - 1) + (1 - 3). Let n = 26 - b. Suppose y - 6 = -1. Solve 5*k + 2*r + 13 + n = 0, -5*r + y = 0 for k.
-5
Suppose -9*p + 4*p + 50 = 0. Let n = 13 - p. Solve 0 = -n*q - 0*q - z + 14, -2*q + 11 = -z for q.
5
Suppose 0 = -9*i + 14*i - 15. Suppose -d - 4*l = -i, 0*d - 2*l + 6 = 2*d. Solve d*v = 3*n + 24, -n - 4*n - 10 = v for v.
5
Suppose -3*j + 34 + 8 = 0. Suppose t - 2*t + 6 = 0. Suppose 2*z = t*z. Solve z*p + 4*w = p - j, 3*p + 2*w = 0 for p.
2
Let l be 4 - -5 - (3 - -1). Solve 0 = 2*c - 2*m - m - 8, -l*c - 3*m + 20 = 0 for c.
4
Suppose 0 = 2*s + 3*s + 40. Let r = 8 + s. Solve r = -y, q + 3 - 2 = 2*y for q.
-1
Suppose 3*v = 4*a - 5, 2*a - v = 4 - 1. Suppose 0 = a*x - 5*x. Suppose x = -3*z + 4 + 2. Solve 3*j + z*j + 2*w = -25, 20 = -4*j + w for j.
-5
Let n(d) = d**2 - d - 5. Let f be n(5). Suppose -12*q + f = -7*q. Let p = -1 + 1. Solve -b + q*x + 7 = p, 11 = 3*b - 6*b + x for b.
-5
Let v be (42/27)/7 + (-43)/(-9). Solve -5*b + z = 23, -4*b + 4 - 35 = -v*z for b.
-4
Let r be 0/(-2 - 1) + -2. Let q = r + 5. Suppose -5*c + 7 = -p, -q*c + 4*p + 2 = 8. Solve -7 = 5*m + 2*j, c*m + j + 1 = -1 for m.
-3
Suppose 0*o = -4*o + 4. Suppose 0 = 2*n + 2*k + 13 - o, -5*k = 4*n + 26. Let b be 6/4 + (-2)/n. Solve -2 = c - b*d, 3*c = -0*d + d + 4 for c.
2
Let q(z) = -z**3 - 5*z**2 - 3*z + 10. Let n be q(-4). Solve -5*p + 4*j - 18 = -0*p, p - n = -4*j for p.
-2
Let c(x) = -27*x**2 + 2*x + 3. Let h(z) = -136*z**2 + 11*z + 16. Let g(p) = -11*c(p) + 2*h(p). Let k be g(1). Solve -4*j + r - 18 = -r, -k = 4*j - 4*r for j.
-3
Let r be (-9)/4 + 1/4. Let x be 1 + (r - -1)*1. Suppose -2*h = -3*s - h + 12, -s - 3*h - 6 = x. Solve -4*j + 12 = -w - s*w, -15 = -5*j for w.
0
Suppose -32 = -8*m + 4*m. Suppose 5*y + 2 = 2*z, -2*z + 4*y + m = 2. Solve 4*a + 6*l + 16 = 2*l, -z = 4*a + 3*l for a.
1
Let x(a) = -a**3 - 12*a**2 - 10*a + 15. Let k be 1/((-3)/(-45)) - -3. Let h = k + -29. Let q be x(h). Solve -4*t - 5*v = -3, -v = -q*t + 3*v + 12 for t.
2
Suppose 2*f + 2 = 6. Let w = 183 - 178. Let q = -4 + 9. Solve w*j - 5 = -3*z, 0 = -z + f*z + q*j - 15 for z.
-5
Let h(u) be the second derivative of -u**3/2 - u**2/2 - u. Let i be h(-1). Suppose -i*d = -18 - 0. Solve -3*g + 0*s = -s + d, -3*g = -2*s + 6 for g.
-4
Suppose 0*t = -2*t + 2. Suppose v + t = d, 2*d = -v - 4*v + 9. Suppose 2*x = 5*x + 4*g - 2, -2*x - 2*g + 2 = 0. Solve -8 = x*y + k + k, -k = -d*y + 7 for y.
1
Let l = 11 - 9. Solve 5*v + 20 = 0, 5*z - 5 - l = -2*v for z.
3
Let w be 24/(-32) - 12/(-16). Solve -4*n = -2*a + 14, w = 2*a + 4*n + 11 - 1 for a.
1
Suppose 0 = 2*r - 5*r + 6. Solve c = 2*p + 11, -c + r = -4*p + 5*p for c.
5
Let b = 32 + -30. Solve w = -4*r + 7, -4*r - 1 = r - b*w for r.
1
Let m(d) = -d + 10. Let x be m(6). Suppose 5*p - f = -3*f + 30, -5*p + 5*f - 5 = 0. Let i be p/14 + (-6)/21. Solve i = -x*l + u + 6, -3*u = -4*l + u for l.
2
Let b = 9 - -3. Let t = 17 - b. Suppose t*y + 3 - 13 = 0. Solve 0*a - 3*g = 5*a - 19, -4*a = -y*g - 2 for a.
2
Let y(l) = 2*l**3 + 4*l**2 + 3*l - 2. Let h be y(-3). Let f = -21 - h. Let c = 7 - 2. Solve 0 = -4*q - c*i - 11, q - 3*i = 2*q + f for q.
1
Let i = 7 - 6. Let b = 2 + i. Solve -b*t - 21 = 4*l - 0*t, -4*t = l + 15 for l.
-3
Let n = 4 - 2. Let o(x) = -6*x - 2. Let r be o(-2). Let m = 8 + -1. Solve m = 5*p - q, -r = 3*q + n*q for p.
1
Let r(m) = 3*m - 5. Let k be r(3). Solve 6*g + k*f + 6 = 3*g, 4*f = 0 for g.
-2
Suppose 4*o = 5*o - 2. Suppose o*p = -3*k + 20, -p + 5*p - 20 = -k. Solve 0 = 3*b + 5*q + 4, p*q = q + 3 for b.
-3
Suppose -4*c = -2*t - 10, 4*c - 17 = -0*c - 5*t. Suppose -c*x + 4*x - 5 = 0. Solve 2*s = -x*r - 8, s + 3*s - 10 = 3*r for r.
-2
Suppose -5*z - 5 = 5*p, -3*p - 2 = 4*z + 1. Let w be (-2)/(-6) - 4/3. Let b = w + 3. Solve -2*y + z*y + 12 = 3*k, 3*y = b*k - 8 for k.
4
Suppose -5*f + 3*t = -13, 7*t - 2*t - 20 = 0. Let r(h) = -4*h**2 + 5*h**2 + 3*h - 2 - 4*h. Let k be r(3). Solve f*j + 3*m + 25 = 0, 2*j - m = k*m + 21 for j.
-2
Suppose 0 = -5*n - 2*d + 3*d + 5, 9 = -3*n + 3*d. Solve 2*r - 1 = -k + n*k, 2 = -r + 3*k for r.
1
Let w(r) = -r**3 - 3*r**2 + 2*r - 4. Let o be w(-4). Solve 0 = f - k - 4, o*f - 3*f = 3*k + 4 for f.
4
Let r = 155 + -150. Solve -2*m = m - 9, 0 = r*n + m - 8 for n.
1
Suppose -5 = -9*u + 13. Solve -3*m + 15 = -5*o + u*o, m - 5*o = 13 for m.
3
Let h = 30 - 12. Let y = 6 - 3. Solve 5*x + 25 = -y*r, -r - 3 = -3*x - h for r.
0
Suppose -2*r - 2 = -4*l, 6*l = l. Let z = -1 + r. Let s be 6*(z - 8/(-3)). Solve -s*d = -7*d - 4*i - 12, 2*d - 3 = i for d.
0
Let q(j) = -j**3 + 15*j**2 - 13*j - 12. Let u be q(14). Let n = -8 - -13. Solve -2 = -4*i + n*o, o - 10 = 4*i + u*o for i.
-2
Suppose 3*d - 31 = 14. Solve -5*x + 2*n = -n + 6, 5*n = -d for x.
-3
Let j(f) = -f**3 - 4*f**2 + 2*f - 1. Let v be j(-5). Let z = v + 6. Let d = 14 - 9. Solve 2*i + 14 = -h + 5*h, 3*i = d*h - z for h.
1
Suppose 3*c - 2 = 4*c. Let b be c/(-4) - 5/10. Suppose b = -2*m + m. Solve -4*i = m, r = 3*i - 2*i + 1 for r.
1
Let t = 0 - -2. Suppose -t*h + 6 - 4 = 0. Suppose -h = 3*r - 25. Solve 3*c = -l + r, -l - 2*l + c = 16 for l.
-4
Let x be (5 - 85/15)*(-4 - 2). Solve -h + 4*h = 2*r - 17, x*r = -2*h + 10 for r.
4
Let c(r) = r**2 - 7*r. Let n be c(7). Suppose -k + n*k + 8 = 0. Solve k + 17 = -5*f - 2*l, -4*f = 2*l + 20 for f.
-5
Let a = 67 + -62. Solve g - a*j + 24 = 0, 0*j = 3*g - 3*j + 24 for g.
-4
Let n(b) = 2*b + 1. Let g(m) = -4*m - 2. Let y(u) = -4*g(u) - 7*n(u). Let k be y(1). Solve 5*o - 12 = k*d, -3*d + 4*o = 3 + 6 for d.
1
Suppose r + r = 10. Solve -r*n - 2*g + 19 = 0, -8 = 5*g + 7 for n.
5
Suppose 19 = 5*b - x - 2, 4*b - x - 16 = 0. Solve a + b*o = 10, 6*a - 3*o - 12 = 3*a for a.
5
Let o = -8 - -10. Let l(c) = -c**2 - c - 1. Let p be l(-1). Let s = o - p. Solve 2*a = -y + s - 6, -2*y = -3*a - 8 for y.
1
Suppose 3*u + 31 + 14 = 0. Let s be u/(-4) - 1/(-4). Solve -2*a + 22 = -s*k, -3*k - 10 = 7*a - 2*a for a.
1
Let l(q) = 16*q. Let b be l(-2). Let u = b - -22. Let g be (16/u)/((-4)/30). Solve w + 2*a + 4 = 2*w, -2*a + g = -5*w for w.
-4
Let v(p) = -p**3 + 9*p**2 - p + 9. Let l be v(9). Suppose -2*n - 34 + 114 = l. Suppose 2*i - n = -2*i. Solve -o + t - i = 4*t, 4*t = -8 for o.
-4
Let c(y) = -y**3 + 6*y**2 - 3*y - 7. Let n be c(5). Solve 2*m + 12 = -m, -n*h = -4*m - 28 for h.
4
Suppose 0 = 27*p - 23*p - 16. Solve 5*s = p*j - 13, 3 = j - 2*j for s.
-5
Suppose 0 = 5*d - 8 - 12. Let q be (-27)/(-6) + (-2)/4. Let v = 2 + q. Solve a - d*c + v = -9, 0 = 4*c - 16 for a.
1
Let d(i) be the first d