 r, 3*z = -l + 5 for l.
5
Let d(y) = y**3 + y + 3. Let a be d(0). Suppose 25 = 2*o + a*o. Solve o*i - 3*i + 24 = 4*r, 5*r = 5*i + 35 for r.
5
Let w(u) = 5 + 4 + 5 - 3 + u. Let t be w(-6). Solve z - 7 = -t*m + m, 11 = 5*z - 4*m for z.
3
Let m be (1 + 8/(-6))*0 + 2. Solve 0 = -3*a - 3*x + 16 + m, -5*x = 3*a - 22 for a.
4
Suppose 2*i - 24 = -4*k, 2*k - 17 = -k - i. Let y be ((-28)/(-10))/(1/k). Solve 3*v - 18 = v + 4*t, 4*v = -3*t + y for v.
5
Let y(g) = 4*g - 8. Let a be y(2). Solve 3 = 3*q, a = -2*i - 2*q - 2*q - 4 for i.
-4
Let g(x) = x - 4. Let s(w) = -w + 18. Let b be s(9). Let t be g(b). Solve -18 = -p - 5*f, 20 = 4*p + t*f - 7 for p.
3
Suppose 3*y - z - 22 = 0, -2*z - 35 = -10*y + 5*y. Let g = -21 + 24. Let m be (-4)/g + (-65)/(-15). Solve 0 = 3*p - 0*v - 3*v - y, m*p = v + 1 for p.
-1
Let b(q) = q**2 + 11*q + 15. Let a be b(-10). Solve 0 = -4*j + a*i - 0*i + 6, 0 = -2*j + 5*i + 8 for j.
-1
Suppose t - 2*t + 9 = 5*k, 2*t + 2*k - 2 = 0. Let i(d) = -d**2 - 2*d - 1. Let u be i(t). Solve u = 5*x - 2*b + 10, 10 = -2*x - b + 3*b for x.
0
Let i(r) = 2*r - 4. Let s be (-34)/(-9) - (-24)/108. Let g be i(s). Solve g*y = -y - 5*d - 25, 3*y = -5*d - 25 for y.
0
Let f(q) = -q. Let k be f(3). Suppose -10 = 5*d - 45. Let j = k + d. Solve -4 = 4*g - 4*w, 5*w - 1 = -3*g + j for g.
0
Let u = 114 + -107. Solve 5*f + 5*m = 5, -4*f + 2*m + u = 3*m for f.
2
Let x(c) = c + 1. Let f be x(2). Solve -i + 3 = 2*i + f*w, i - 9 = 3*w for i.
3
Let l be (-22)/(-4) - (-3)/(-2). Let s = l + 1. Solve -3*h = 2*r - 19, -r - 18 = h - s*h for r.
2
Let p = -11 - -11. Suppose p = -3*c + r + 59, 3*r = 5*c - r - 96. Solve -4*f - 2 - 14 = 4*y, -5*f = 2*y + c for f.
-4
Suppose 1 = l - 1. Let b be -1 + l - (2 + -4). Solve w + f + 3 = -3*f, -2*w - 1 = b*f for w.
1
Let t be (-380)/(-90) + (-48)/(-27) + -2. Solve f - 3*n = 5*f + t, -2*f - 2 = n for f.
-1
Let s be -1*(3/3 - 22). Suppose -4*c + 3*u + 11 = -s, -c = 3*u + 7. Solve 2*d + 11 = -c*g - 12, -g - 3 = 0 for d.
-4
Let m(f) = f + 6. Let j be m(-4). Solve -5*v + t = -10, -8*v + 3*v - j*t + 25 = 0 for v.
3
Let l = 14 - 9. Solve -3*p = -l*q + 7, 7*q - 4*p - 4 = 3*q for q.
2
Let m = -8 + 20. Solve 0 = -4*r + r + m, 2*r + 7 = 3*h for h.
5
Let f = 10 + -32. Let s be 4/f + 228/44. Solve -i + s = x, 4*x - 3*i - 17 = -x for x.
4
Suppose 5 = -4*z - 7. Let s be -2 - (3/z - 1). Solve -3*k - 3*q - 15 = s, -5 = -3*k - 2*q - 16 for k.
-1
Let r be ((-4)/3)/(3 + (-40)/12). Solve -r*c - 4*a - 11 = 21, 2*c = 2*a for c.
-4
Let d(s) be the first derivative of s**4/4 - s**3/3 - s**2/2 + 2*s - 4. Let i be d(0). Solve 4*n + 5*t = 21, -t + 8 = i*n + t for n.
-1
Let a = 31 + -27. Solve -5 = 3*j - 5*d - 0, a*j + 18 = d for j.
-5
Let o be (-358)/(-15) + (39/(-45) - -1). Solve 0 = -5*p - 20, -7*p - o = -4*x - 2*p for x.
1
Let z be (1/2)/(2/16). Let r(p) = p**2 - 8*p - 8. Let b be r(11). Suppose -3*i + 5*g - b = 0, i + 2*g - 10 = 2*i. Solve k + a = -k - 9, -z*k + a - 15 = i for k.
-4
Let r be 5 + -3 + (-2 - -1) + 2. Let q be 6/3 - 3*-1. Suppose -3*d - 81 = -q*l, 0*l + 3*d - 63 = -3*l. Solve r*v + 2*v = -2*p - l, v = -4*p - 18 for p.
-4
Let k = 33 + -21. Solve -4*y + 0*y + k = -3*j, 0 = -3*j - 12 for y.
0
Let v = 0 + 2. Let r(c) = -c**3 + c**2 + 3*c - 2. Let a be r(v). Solve 3*d + 3 = a, u - 3*u = 2*d + 4 for u.
-1
Suppose 0*l - o = -4*l - 160, 2*l + 2*o + 80 = 0. Let w = l + 70. Solve 2*c = 4*n + w, -20 = 2*n - 2*c - 0*c for n.
-5
Let l(h) = h**2 - 4*h + 3. Let s be l(3). Let k be s*(-3)/(-6) - -3. Solve k*q = -9, 7*m + 4*q + 18 = 4*m for m.
-2
Suppose -8 = -13*w + 9*w, -j - 2*w + 6 = 0. Suppose 4 = 2*p - 4*v, -p + 3*v = -4 + 3. Solve -d + 6 = -4*o, -p*o + o = j*d - 1 for d.
2
Let i(t) = -t + 6. Suppose 0*f = -5*f + 25. Let n be i(f). Let z(s) = s**2 - 1. Let g be z(n). Solve g*x - 4*x + b = 4, 3*x + 3 = -2*b for x.
-1
Suppose -2*m = -7*m. Let k = 2 + m. Suppose -4*q + 12 - 40 = -4*y, 0 = 2*y - 4*q - 14. Solve 0*z = 3*s - z + y, k*z - 2 = 0 for s.
-2
Let s = -20 - -33. Let f = -105 - -74. Let o = f + 52. Solve 5*r - 4*r - s = -2*k, 5*r = k + o for r.
5
Let d = -14 - -26. Suppose 3*r = o + 12, 3*r - 2*r - d = 3*o. Solve -3*v + 4*v = -2*a - 13, 3 = -r*v + 3*a for v.
-5
Let z(o) be the third derivative of 0*o + 3*o**2 - 1/60*o**5 - 1/24*o**4 + o**3 + 0. Let u be z(0). Solve u = -2*r, -6*r + 2*r - 27 = -3*i for i.
5
Let j(a) = -a**2 - 6*a + 3. Let s be j(-5). Solve 3*g + 4*n + 3 = -0, s = -4*g - 4*n for g.
-5
Let o = -13 + 18. Suppose t = -0*t + o. Suppose 0 = 4*k - 5*y - 17, t*k + 2*y - 3 = 10. Solve -3*z = -4*a + 13, 0*z + 3 = k*z for a.
4
Let x = -105 - -108. Solve -4*d = z - 8 - 13, -4*d + 31 = x*z for z.
5
Let t = 2 + 1. Let x(v) = 11*v + 3. Let c be x(3). Suppose -y + 3*f + 17 = 0, -14 = 2*y - 3*f - c. Solve 0 = -j, -t*j = -q - 2*j - y for q.
-5
Suppose -7*y = -y - 24. Solve -5*g = y*a - 7, 3*g = a + g - 5 for a.
3
Let t = 15 - 12. Suppose 2*m = 2*q - 1 - 19, 38 = 2*q + 4*m. Suppose -5*n + 2*r = -0*r + 1, 4*n - q = -3*r. Solve z - 2*j - n = -0*z, -15 = 3*z + t*j for z.
-3
Suppose -2*u + 3 = -1. Let j be (2 + -1)*(6 + -4). Solve 2*y = -n + 4, -5*n - 36 = -u*y - j*y for y.
4
Let v be (-5 - -8)/((-6)/(-28)). Solve 5*s - v = -g, 2*s = 3*g + 4*s - 16 for g.
4
Suppose 0 = -5*f - 2*m + 4, -2*f + f - 3*m - 7 = 0. Let g be f - (-2)/(2/(-5)). Let l be 32/6 - (-1)/g. Solve 0*r + 14 = -4*b + 2*r, -l*b = 5*r - 5 for b.
-2
Suppose 3*g - 14 + 0 = -4*h, -h = -g. Let s be 2/8 + (-70)/(-8). Let r = s + -2. Solve m + r = -x - 0*m, 2 = x - h*m for x.
-4
Let o be 28 + 8/(-2) - 2. Solve 0 = 2*g - 2*p - p - 17, -2*p = -4*g + o for g.
4
Let u(m) = m**2 + 12*m + 4. Let i be u(-13). Suppose 5*n = -i + 27. Solve -2*y = 5*l + n - 1, 3*y = -5*l - 4 for l.
1
Let w = 6 + -3. Suppose 5*y - 2*a = w*y + 18, -2*y - 6 = 4*a. Solve -v + 20 = 3*v, -5*l + y = -3*v for l.
4
Let v = -1 - 0. Let q be ((-3)/v)/((-3)/(-2)). Solve 2*x = -l - 0*l - 9, 5*x = q*l for x.
-2
Let c(h) = -4*h + 1. Let q be c(-2). Suppose -4*k - q = -5*d + 8, -18 = -2*d - 4*k. Solve 0 = -5*z - 5*i, i + d - 10 = 4*z for z.
-1
Let r = 0 - -9. Let g = -7 + r. Solve g*y = -4*t - 12, 4*t - y + 4 = -5*y for t.
-5
Let q(a) = -4*a + 0*a + 3*a + 2 - 5. Let s be -5*2*(-2)/(-4). Let b be q(s). Solve -b*f - 3*m = 20, 3*m + 0*m + 32 = -5*f for f.
-4
Let k(q) = -q**2 + 7*q - 6. Let z be k(7). Let u(f) = f + 8. Let r be u(z). Let y be (-4)/(4 - r) - -7. Solve -2*o + y*h = -15, -4*o = -4*h - 0 - 12 for o.
0
Let i(w) = 3*w**2 - w + 1. Let h be i(1). Let x(n) = 0*n**3 - n**2 + h + n + 0*n**3 + 0*n - n**3. Let g be x(0). Solve p + q - 5 = -4*p, -4*p - q = -g for p.
2
Let b be 1/((-2 - -5)/54). Suppose 0 = 3*q - b - 15. Solve -i - 12 = -5*f + q, -2*i - f + 9 = 0 for i.
2
Let k(x) = -3*x**3 + 2*x**2 + 2*x + 1. Let u be k(-1). Let w(a) = -3*a. Let n be w(3). Let t be (-16)/(-3) - (-3)/n. Solve -h + 1 = 3*d - t*h, 2*h = u for d.
3
Suppose 0 = l + 2*l - 2*m - 13, -l + 4 = -m. Solve -5*r + 3*p + 15 = 0, -2*r - 4*p = -l*p - 5 for r.
0
Let m = 19 + -15. Solve -5*z - 11 = -3*p, -4*p - m*z - z = 32 for p.
-3
Suppose -2 - 13 = -3*b. Suppose -4*z + 55 + b = 0. Let s = 13 + -6. Solve v + w = 3, 2*v + w + z = s*v for v.
3
Let k be (-20)/((-2)/(-3)*-3). Let m = -7 + k. Suppose -5*x + 104 = m*a, 9 = x + 5*a - 25. Solve 5*p - x = -f, -6 = -4*f - 3*p + 2 for f.
-1
Suppose 0 = 3*f - 4 - 5. Suppose f*k + k = 64. Solve -q + k = -4*b, -4*q = -5*b - 3*q - 21 for b.
-5
Suppose 5*h = 21 - 1. Let q be 0 + 1/(h/12). Solve 0 = q*b + 2*b + 5*t + 20, 5*b - t = -26 for b.
-5
Let p(w) = w**3 + 5*w**2 - 7*w - 3. Let a be p(-6). Let l(u) = u**2 - 3*u + 2. Let g be l(a). Solve -2*t + g*i = -6*t + 4, -3*t + 2*i + 3 = 0 for t.
1
Let y be (0 + 0)*2/2. Let x be (-1 - 1) + 10*1. Let q be (-2)/3 - x/(-3). Solve y = -5*j - 5*s + 10, -j + 0*s - 13 = -q*s for j.
-3
Let b be 16/24 - (-2)/(-3). Solve 2*l + 3*f - 10 = b, 3*l - 3*f = -2*l - 17 for l.
-1
Suppose 2*v + 1 = -7, 4*u - 4*v - 68 = 0. Solve 2*a = -0*l + l - 7, 0 = -5*l - a + u for l.
3
Let w be (-3 - -8)*(-4)/(-10). Let m = -1 + w. Suppose -2*v + m = -9. Solve 5*n + v - 14 = 3*d, 5*d + 3*n = -15 for d.
-3
Let c(t) = t**2 + 13*t - 9. Let l be c(-14). Solve -4 = -f, 1 = -2*m - l*f + 25 for m.
2
Suppose -5*q - 2*l - 2 = -0*q, q - 1 = l. Suppose -2*o - 3*o = k - 25, 2*k - 6 = o. Suppose 14 = o*t - 10. Solve 4*f + v - 3*v + 2 = q, -3*