- r*y for l.
3
Let v(k) = k**3 - 3*k**2 - 3. Let b be v(4). Let l = b + -8. Solve t + 19 = l*c - 3, c + 2*t = 11 for c.
5
Let f be (-4)/2*(-2 + 1). Suppose 2*z - 52 = -4*k - 2*z, -2*k + 26 = -z. Suppose 4*g - k = 19. Solve -f*w - 5*s - 21 = -g, w = -4*s - 8 for w.
-4
Let g(x) = -x + 1. Let c be g(-4). Let j be (-9)/(-4) + 39/52. Suppose -16 = -7*w + j*w. Solve 3*l + 0*h + 6 = -2*h, -w*h = -c*l - 10 for l.
-2
Let f be 2/(-5) - (-24)/(-15). Let d be ((-3)/f)/((-18)/24). Let i be (3/3)/(d/(-70)). Solve -5*p + 30 = -2*b, -b - 5*p + i = -4*b for b.
-5
Suppose 5 = -a + 5. Solve a = 4*s - b - 16, 0*b = -3*s + 5*b + 12 for s.
4
Let x(u) = 13*u + 16. Let k be x(0). Solve s + 4 + 3 = -2*g, -3*s - 5*g = k for s.
3
Suppose -2*k = -k. Suppose -28 = -4*t - k. Let b = t - 2. Solve -2 = -2*g - 3*d, b*d = d + 8 for g.
-2
Suppose 4*i - y = 3*i + 6, 2*y - 3 = -i. Solve -2*x + i*q - 31 = 0, 2*x - 13 = -2*x - 5*q for x.
-3
Suppose -4*f + 3*f + 15 = 0. Suppose z - 2*k = 0, -5*z = 3*k + 2*k - 15. Let l be (-12)/(-2)*1/z. Solve 3*i + 5*a + 0 = f, 3*i - a = -l for i.
0
Let s = -80 - -56. Let z = -10 - s. Solve 3*a - 10 = -2*o + 9, -o + z = 3*a for a.
3
Let u = -13 + 1. Let q be (-57)/u - (-2)/8. Solve s - v + q = 4*s, 9 = -s + 5*v for s.
1
Let j be 10 + 6/(-2) + 0. Solve -3*l + 1 + 30 = 5*y, -l = y - j for l.
2
Let d = 29 - 25. Suppose 5*l + 4*m - 6 = 6*m, -15 = -5*l + 5*m. Let w = l + d. Solve -4*g + 2*z = -2*z, 0 = -w*z - 4 for g.
-1
Suppose -4*i - 9 = -41. Solve 0 = -4*l + 5*d - i + 29, 0 = 4*l - 3*d - 19 for l.
4
Let w(l) = -l**3 + 4*l**2 - 4*l + 3. Let s be w(3). Suppose s = -3*v + 13 - 4. Solve 2*b + 3*d + 11 = -0*b, 2*d = v*b - 3 for b.
-1
Let m(x) = -8*x**2 - x - 7*x**2 + 4 + 16*x**2. Let w be m(0). Solve 0 = -0*f + 2*f + w*j, -f + 4*j = 0 for f.
0
Suppose z + 26 = 2*z. Suppose 4*j - 114 = -z. Suppose 2*g = f - 4*f + j, 4*g = -f + 14. Solve 14 = -h + 3*m, -2*h - f*m + 27 = -m for h.
1
Let i = -55 + 59. Solve 3*q + i = -5*z, z = -3*z - 3*q - 2 for z.
-2
Suppose 4*n - 1 = 5*j - 0, 5*n + j - 23 = 0. Solve 2*v - v = -5*w - 21, 0 = -5*v - n*w for v.
4
Let y = 15 - 13. Let n = y + 3. Solve -4*o - 12 = 4*u, o - 2*o - 3*u = n for o.
-2
Let k(y) = -y**3 + 10*y**2 + 11*y + 4. Let w = 34 - 23. Let a be k(w). Solve 5*p + 3 = 3*z - a, 3*p + 4 = 2*z for p.
-2
Let o be (-152)/(-57) - 2/(-6). Let v(f) = f**2 + 2*f + 2. Let q be v(-2). Suppose q*k - o*k = -3. Solve -5*j - 15 = 4*u, 5*j = k*u - 2*u + 10 for u.
-5
Let r be 119/21 - (-1)/3. Solve 8*x - 2*k - 26 = 4*x, -r = 2*k for x.
5
Suppose b = -t + 2, 0 = 3*b - 4*t - 0 - 6. Solve -22 = 4*u - b*n, 0*n + 7 = -4*u - n for u.
-3
Let l(o) = -o**3 + 3*o**2 + 3*o + 5. Let q be l(4). Let i be -2 - q - (-4 - -1). Solve i = z + 2*d - 5*d + 17, 0 = z - 4*d + 22 for z.
-2
Let p(q) = -9*q - 3. Let b(r) = 8*r + 4. Let s(n) = -4*b(n) - 5*p(n). Let m be s(1). Solve -4*a = -2*t + m, -2*t - a + 2*a = -6 for t.
2
Let g(r) = r**2 + 2*r - 4. Let l be g(-4). Suppose 1 = -k - 2*j, -l*k - 3*j = j. Let t be 20/15 - k/3. Solve 0 = 5*a + 6*c - c - 10, -c = -t for a.
1
Let d = -30 - -37. Solve c - d = 2*m, -m - 4*c - 2 - 15 = 0 for m.
-5
Let n(y) = 2*y**2 - 10*y + 2. Let m be n(5). Solve -2*c + m*t - 4 = 0, 3*c - 3*t = -t - 4 for c.
0
Suppose 15 = -11*s + 37. Solve -s*w + 2*c + 2 = -w, 5*c + 5 = -3*w for w.
0
Suppose 3 = 5*s - 4*s. Solve 0 = s*p + 3*n - 3, 0 = 3*p - 5*p - n + 1 for p.
0
Suppose 2*l = 2, -5 = h + l - 0*l. Let a(z) = z + 10. Let s be a(h). Solve 2*c - 2*y + s = 0, -7*y + 1 = 4*c - 2*y for c.
-1
Suppose -8*c + 10*c = 10. Solve -4*p = -v + c, -p + 3*v + 4 = -3 for p.
-2
Suppose 10 = 16*c - 14*c. Solve l + 4*f - 8*f = -20, 3*f + 8 = -c*l for l.
-4
Let i = -5 - -10. Suppose -a - 10 = -5*s + 2, -i*a = -3*s + 16. Suppose -r + s = -2. Solve r*n + 12 = 4*d - 8, 0 = n + 5 for d.
0
Let g(j) = j**2 + 7*j + 3. Let d = 2 + -9. Let p be g(d). Let w be 1 - -2*p/6. Solve 0 = -4*m + 5*r - 5, -3*m + 3*r + w = 5 for m.
0
Let r be (-231)/(-9) + 2/6. Suppose -4 = -o + 4. Let w = o - 5. Solve -u + 7 = -w*c, -4*u + 5*c - 5 = -r for u.
4
Let k = 80 - 74. Solve -2*x = 2*x, -3*n = -2*x - k for n.
2
Suppose -2*b - 1 = -f - 2, 4*b = 20. Suppose -4*t + f = -t. Solve -4*z - 3*q + 6*q = 31, 0 = t*z + 2*q + 2 for z.
-4
Let m = 11 + -9. Suppose -a - 6 = m*o, -8 = o - 3. Solve h + 3 = 8, -4*q - a*h = 0 for q.
-5
Let o = 6 + -1. Let c = o + -8. Let t(a) = a + 3. Let n be t(c). Solve 3*d - 4*v + 6 = -n*v, 3*v = 2*d + 5 for d.
2
Suppose -10*f + 11*f - 25 = 0. Solve -f + 9 = -4*d - c, -41 = -5*d + 4*c for d.
5
Let t be (-3 + 3)*(-4)/16. Suppose -2*v + 3*v - 3 = t. Solve v*q = -4*d - 4, -2*d = d - 5*q + 3 for d.
-1
Let c(t) = t**3 + 3*t**2 - 4*t + 1. Let a be c(-4). Solve 5*u - a = j, 2*j - 5*j = -2*u - 10 for j.
4
Suppose -9*w = -7*w - 10. Solve -2*z + 5*z + 23 = 2*d, -3*z + w*d = 35 for z.
-5
Suppose 0 = 5*w + 2*r - 205, 270 - 65 = 5*w + r. Solve -9 = -4*z - 5*o, -5*o + w = -4*z - 0*z for z.
-4
Let w(a) = -a**2 + 12*a - 10. Let x be w(7). Let k = -11 - -21. Let o = x - k. Solve 2*c + 10 = -3*f, 0*f = -3*f - 3*c - o for f.
0
Suppose -h - 1 = 2*j, 0*j + 4*h + 4 = -j. Solve j*l = -2*p - 3*l, 18 = 4*p - 3*l for p.
3
Suppose -4 = 2*i, -2*j + 2 = 4*i - 10. Let g = -7 + j. Solve 2 = -w, -g*m - m = -4*w - 16 for m.
2
Suppose 0 = 3*g + 5*d - 2*d - 3, -4*d - 32 = -5*g. Solve -2*w + 6 = 2*x, -16 = -g*w - x - 4*x for w.
-1
Let r = -30 - -42. Suppose 4*h - 32 + r = 0. Solve -h*j + 3*f + 22 = -0*f, 2*j - 4*f - 6 = 0 for j.
5
Suppose 2*h = -2*h. Suppose -3*c = -h*c. Let y(u) = u**2 - 16. Let f be y(-5). Solve -3*o = -3*v - f, 3*v - 31 = -5*o - c*o for o.
5
Let b be 31/11 + (-2)/(-11). Solve 0 = -5*i - m, b*i = m - 4*m for i.
0
Let l(v) be the first derivative of v**2/2 + 4. Let t be l(4). Solve u - 1 = -4*a + 5, 6 = -2*a + t*u for a.
1
Let t = 116 + -112. Solve -t*s + 10*k - 16 = 5*k, -s - 15 = -4*k for s.
1
Let k be 5 + -4 - 2/1. Let p be 8/(-4)*-1 - k. Solve -3*q + p = 4*n - 0, 4*q = -5*n + 5 for n.
-3
Let u(q) = 2*q**2 - 3*q - 1. Let i be u(-2). Let b = -5 + i. Suppose -b = -3*x + 1. Solve -2*k + 8 = x*f, -2*k - 3*k + 3 = -f for k.
1
Let z be (4*(-2)/(-20))/(10/50). Suppose 0 = -0*k - 4*k + 56. Solve -z*d = -4*x - k - 10, 3*d = x + 11 for d.
2
Let w = 10 + -5. Solve 4*y + 3*a + a = 4, -2*y = -w*a + 33 for y.
-4
Let y = -4 - -7. Suppose -y*o = 1 - 7. Let m(g) = -2*g. Let f be m(-1). Solve h = -2*x + 3, -4*x + o - 16 = -f*h for h.
5
Suppose 0 = 6*q - 4*q, 4*q + 12 = 4*b. Solve 2*f + 1 = -w, -8*f - 10 = -b*f for w.
3
Suppose -3*f + 10 = -5. Solve 3*y + 2 = -2*s, f*s + 26 = 2*y + y for s.
-4
Let u(t) = 1 + 3 - 14*t + 1 - 2. Let o be u(-3). Suppose i + 4*p - 15 = -0*p, 3*i = 3*p + o. Solve -i = 4*x - 3*s, -3*s - 2*s + 25 = -3*x for x.
0
Let o = 5 - 0. Let s = o - 3. Solve 5*a = -s*r + 9 + 8, 15 = 3*a for r.
-4
Suppose -3*g + 2*g + 2 = -3*t, -4 = -3*t - 2*g. Let q be 3/(3/2 - t). Let x(i) = -i**2 + 5*i - 1. Let o be x(q). Solve o*r = -j - 30, -2*j - j = -3*r for r.
-5
Let g(a) = a + 5. Let l = -1 - -5. Suppose -t + 16 = 3*t + 4*p, 4*t - p = -l. Let n be g(t). Solve -3*h = -2*s - 9, 12 = n*s - s for h.
5
Suppose h - 2 = 2. Solve 5*i - 5 = -5*b, h = 5*i + 19 for b.
4
Let z(m) = -m**2 + 8*m + 12. Suppose 5*q - 25 = -4*d - 0, -4*q + 2*d + 46 = 0. Let w be z(q). Solve w*b + 5 = -3*f + 2, -2*b + f + 10 = 0 for b.
3
Let y be ((-2)/3)/((-120)/(-63) - 2). Solve u = -4*o + 2*u + 21, 2*o + 3*u - y = 0 for o.
5
Let b(p) be the first derivative of -p**2/2 - 4*p + 1. Let o be b(6). Let v be (-9)/(-2)*o/(-3). Solve -5*s + 3*l + v = -2*l, 9 = -2*s - l for s.
-2
Let t(f) = f**3 - 7*f**2 + 8*f - 10. Let n be t(6). Solve -2*s = 5*a + 5, 7*s - 2*a - n = 2*s for s.
0
Let g be (4/(-10))/((-5)/(-250)). Let p = 29 + g. Solve -m - 24 = 4*b, m + 10 = -3*b - p for b.
-5
Let c = 16 + -10. Suppose -m + c*m = 0. Suppose -5*h = -m - 5. Solve -h = -4*d - l, 0*l + l - 1 = d for d.
0
Let n(i) = -i**2 - 3*i - 2. Suppose -a + 6 = -4*a. Let b be n(a). Solve 0 = -4*x - b*l + l + 9, 0 = 3*x - 2*l - 13 for x.
1
Suppose w + w - 4 = 0. Let j(s) = s + s**w - 2 - s - s. Let f be j(2). Solve -4*n + f*u + 4*u = -8, 5*n + 4*u = -8 for n.
0
Suppose -2*w - 4 = -3*w. Suppose -o - w*f = o - 10, -40 = -5*o + 5*f. Solve -4*s - 2*m = 8, -5*s + 2*m = o*m + 5 for s.
-3
Suppose -4*a - 8 = 4*q, -3*q = -8*q - 4*a - 6. Solve 2*v = -u - 7, q = -5*