-o, -2*q = -3*q - 2*o + 8 for q.
4
Let c = 8 + -6. Suppose -3*d = -10 - 11. Suppose 0 = -f + 5*w - 6, c*w + d = 2*f + 3. Solve 0 = f*l + 3*v - 4, 3*l - 5*l + 20 = -3*v for l.
4
Let c be (-6)/(-5)*5*2. Suppose -3*z + c = z. Suppose -2*y + z*i = -4, -18 = -4*y - 0*i + i. Solve -y*g - 2*k + 23 = 0, 3*k = -g + 1 + 1 for g.
5
Let q(i) = -i**2 + 8*i - 7. Let m be q(7). Suppose m*d - 5 = -d. Suppose -k + d = -2*k, 4*p - 10 = 2*k. Solve -5 = 5*v, p*l + 5*v + 7 = 2*l for l.
1
Suppose -2*k - 2 = 0, -2*a - 2*a - 5*k + 51 = 0. Suppose -a = -h - 6. Let n = -5 + h. Solve -2 = -2*c + n*v - 0*v, 4*v = -c + 12 for c.
4
Let u = 0 + 0. Let p = -180 + 260. Suppose u = t + 4*t - p. Solve 4*a - t = -4*f, a + f - 4 = -2*a for a.
0
Let k(t) = 2*t + 8. Let y be k(-3). Suppose -3*v - y*v = -105. Solve -4*a + v = -5*p, 4*p - 2 = -6 for a.
4
Let x be ((-85)/(-10))/(1/4). Let s = x + -7. Let f be 4/(-10) + s/5. Solve 2*w - 6 = -u - u, f*u - 15 = -2*w for u.
3
Let d(z) = -z - 5. Let v be d(-4). Let j = v - -1. Solve j = 5*c + 2*x + 10 + 3, 5*c = 3*x - 18 for c.
-3
Let l be (2 - 4)/(-2) + 1. Solve -5*g = -l*t - 22, 4*g + g + 3*t = 17 for g.
4
Let p(i) = -i + 5. Let n(u) = -2*u + 6. Let r(j) = 2*n(j) - 3*p(j). Let t be r(-5). Solve 4*q = 2*h + h + 4, t*h = 2*q - 4 for q.
-2
Let g be 2*(-1)/(0 + -1). Suppose 5*q = -4 + 104. Suppose 5*t - t - q = 0. Solve -12 = 3*a + t*f + 10, g = -3*a - f for a.
1
Suppose 50 + 22 = 4*x. Solve -2*j - 10 = 0, -4*c - x = j - 1 for c.
-3
Let y(l) = -2*l - 4. Suppose -2 = 3*f - 5*v, 3*f = 2*f + 5*v + 6. Let a be y(f). Let z be 6*(1/(-3) + 1). Solve -3*m + 1 = z*b - 4*m, -23 = 3*b + a*m for b.
-1
Let b be 1/(-1)*-3 + 0. Let n(u) = -u + 3. Let k be n(b). Suppose k = 5*c - c. Solve -16 = 3*h - 5*p, -2*h + 3*p - 5 - 4 = c for h.
3
Let p(w) = -w + 13. Let j be p(10). Suppose -4*c = -7*n + 4*n + 20, -5 = 4*n + c. Let d = 3 - 2. Solve n = -r - b + d, r - 16 = -b - j*b for r.
-4
Suppose 8*d - 10 = 6*d. Solve d*t + 17 - 5 = a, 0 = -2*a + 4 for t.
-2
Suppose 4*q = -5*v + 52, 3*q - 2*q - 13 = 3*v. Let m = -12 + q. Solve 2*d + m = 2*i - 1, 3 = -i + 2*d for i.
5
Let c(s) = -s + 3. Let a be c(-7). Solve -z + 4*n = -n + 8, 3*z - n = -a for z.
-3
Suppose -11*a - 65 = -6*a. Let u be (-37)/a + 4/26. Solve 2*r + u = -g, -1 = 3*g - 2*r - 0*r for g.
-1
Let s be (-25)/10*((-57)/15 + 3). Solve 0 = -4*d + 4*i - 20, 5*d - s*d + i - 1 = 0 for d.
-1
Let z(r) = r. Let v be z(8). Let j(h) = h**2 - 8*h + 4. Let f be j(v). Solve -4*l = -l + 4*y, y + 19 = f*l for l.
4
Suppose -7*c + 3*c - w + 33 = 0, -55 = -5*c - 4*w. Solve -3*g = 2*g - 4*f - 14, 4*g = -f + c for g.
2
Let f be (-2)/2 + 3 + 3. Let m = -5 + 9. Suppose 0 = s - 5*s + m. Solve -g + s = 0, -12 = f*j - 5*g + 8 for j.
-3
Suppose -5*v = -0*v - 115. Suppose -3*q + 2*b = -20, 3*b + v + 5 = 4*q. Solve 3*c + q*y = 3*y + 8, 3*c - 13 = -2*y for c.
1
Let l = -5 - -10. Suppose -2*g = -4*j - 52, -2*g = 4*j + 3*g + 38. Let p be j/(-8 - -4) - -1. Solve -2*s + 2 - p = 0, l = -k - 4*s for k.
-1
Let k = -102 - -110. Solve 2*z + 5*h = -8 + 36, -h + k = z for z.
4
Suppose -4*q = -q. Suppose -g + 4*w = -23, -5*w + w = 20. Let b = g - q. Solve 5*c = 3*p + 12, b*c - 2*c = p + 2 for c.
3
Let r(f) = f**3 + 2*f**2 - 4*f - 3. Let z be r(-3). Solve z*b = -2*b - y - 6, -2*b = -4*y + 26 for b.
-5
Suppose -h = -0*h. Suppose h = -0*s - s + 4. Solve 7*j - 4*j + 5*p + s = 0, -6 = 3*p for j.
2
Suppose 4*s = -o + 231, -2*o - o + 171 = 3*s. Suppose s = 4*f - 54. Let j = 6 - 2. Solve 4*m = j*r + f + 4, 4*r + 5*m - 13 = 0 for r.
-3
Let p(w) be the third derivative of -w**4/24 + 2*w**3/3 + 6*w**2. Let y be p(2). Solve -4*b + 12 = -2*l + 38, -6 = 4*b + y*l for b.
-4
Let p(w) = 3*w**2 + 2*w - 3. Let v be p(2). Solve 3 = -5*y - s, v = y + 5*s + 4 for y.
-1
Suppose 4*a = 20 - 0. Solve 0 = 4*g - 4*b + 24, 2*g - 4*b + 9 = -a*b for g.
-5
Let p = -12 + 16. Solve a + 2*g + 18 = -3*g, 20 = p*a - 3*g for a.
2
Let a = 1 - 1. Let v(x) = -2*x**3 - 4*x**2 - x. Let o be v(-2). Solve 5*c + 23 = q, -q + a = o*c + 5 for q.
3
Let f(w) = -w + 13. Let y be f(6). Let j(g) = -g**3 + 8*g**2 - 7*g. Let d be j(y). Solve d = 5*v - u + 18, 5*u - 2*u = -6 for v.
-4
Let v be ((-12)/8)/((-3)/2). Let t be 0 + -3*(-2)/6. Let j = t - v. Solve -s + j*s = -m - 2, 2*m = -2*s + 12 for m.
2
Let p = -6 + 11. Solve -v - p*d - 18 = 0, -4*v + 2*d + 3 = -3*d for v.
-3
Let i = -6 - -14. Suppose -z - 3*z + i = 0. Suppose 2 = z*k - 2. Solve u + k*j = 3*j + 3, -12 = -4*u + 2*j for u.
3
Let n = 6 - 4. Suppose 4*j - 3*j = n. Solve 5*g - 11 = 2*s, -s + 2*g + 1 = -j*s for s.
-3
Suppose -3*b + 8 = -4*r - 11, 3*r = -3. Solve -5*o + 4*h = 9 - 0, -b*h = 4*o - 1 for o.
-1
Let v be -2*(-69 - 0 - 2). Suppose -2*b + u - 38 = -b, 4*b + v = 2*u. Let y be b/(-5) + (-3)/5. Solve -3*m - 10 = y*q - q, -3*q = m + 6 for q.
-2
Let o(d) = -2*d + 12. Let x be o(5). Solve -2*y - 19 = 5*u - 6*y, -5*u - x*y = 13 for u.
-3
Suppose 4*y + 45 = -5*b, 2*b - 3*y = -3*b - 80. Let t be 1/(-3) + b/(-3). Suppose t*k - 4 - 4 = 0. Solve j - 3*c = 17, 4*j = -3*c - 5 - k for j.
2
Suppose -i = 2 - 4. Solve -v - 2*w + 5 = 2*v, 5*w = i*v + 22 for v.
-1
Let j(o) be the second derivative of o**5/20 - o**4/12 - o**3/6 + 5*o**2/2 - 2*o. Let n = -1 + 1. Let f be j(n). Solve -z = 2*y - 10, 2*y - 2 = f*z - 4 for y.
4
Suppose 6*g = 2*g. Suppose g*w = -3*w + 6. Solve -w*m = -0*m + 2*a - 12, 3*a = 3*m for m.
3
Suppose 3*l = g - 11, l - 3*g = 3*l. Let v = l - -6. Solve -4*b - 7 = v*d, 2*b + d - 4*d = 19 for b.
2
Suppose 5*x - 60 - 50 = 0. Solve j + s = 6*s + x, -s = -2*j + 8 for j.
2
Let l(s) be the second derivative of s**3/6 - s**2/2 - s. Let k be l(1). Suppose 3*o - o - 4 = 0. Solve k = 4*i + 3*f - 26, -o*f + 21 = 3*i + f for i.
5
Let t(p) = p - 6. Let s be t(9). Solve 0 = 2*f - 4, s*z + 5*f = 12 + 4 for z.
2
Let q = 5 + -4. Let w = -6 + 8. Solve -4*u = 5*s, u + s + w = q for u.
-5
Suppose 43*a - 46*a = 0. Solve 5*b - 2 + a = 3*d, 0 = -4*d - 5*b + 9 for d.
1
Let h(d) = d**3 - d**2 + d + 4. Let v be h(0). Suppose -5*b + b = -4*x - 8, -v*b + 12 = 0. Let w = 0 - -5. Solve 4*g + j + 4 = -0*g, 0 = -g + w*j - x for g.
-1
Let h = -36 + 40. Solve 3*f = -2*y + 7*y - 7, -4 = 2*f - h*y for f.
-4
Let m(d) = -d**2 - 9*d - 9. Let b be m(-7). Let o(w) = -w**3 - 5*w**2. Let c be o(-5). Let p = b - c. Solve 3*f + 8 = -k + p*k, -2*f + 3*k = 5 for f.
-4
Suppose 0*k - 3*k = -12. Suppose 370*y = 362*y + 152. Let w(g) = 6*g + 2. Let t be w(3). Solve -4*s = l - t, -k*s + y = 5*l - 1 for l.
0
Suppose 4*n + o = 2*o + 315, 3 = -o. Let t = 10 + -10. Suppose -3*m = -3*s - t*m + 54, 5*s = -m + n. Solve -c - s = -3*l, -4*l = c - 11 - 1 for l.
4
Suppose -3*d - 20 = -8*d. Suppose -d*a + 40 = -3*u - u, -5*u = a - 34. Let h be 4 + -3 - 1 - -2. Solve -h*f = -4*q + a, f - 5*q = 2*f for f.
-5
Let t = -18 - -22. Solve -4*r + 4 = t*v - r, 2*r + 8 = 0 for v.
4
Suppose -3*i + 5*q = -22, -2*q + q - 6 = -i. Suppose 3*t - i*t + 4 = 0. Solve 0 = -2*v - 5*a - 16, -2*v - t*a - 20 = 2*v for v.
-3
Let j be (48/32)/((-3)/(-8)). Solve -11 = -4*v - t, j*v - 5*t + 13 = 3*v for v.
2
Let c = 69 + -65. Let d(a) = a**3 - 5*a**2 + 2*a + 4. Let o be d(5). Solve 4*z + 3*p = -31, 2*p - c*p = z + o for z.
-4
Let l = 20 - 15. Suppose 5*a = 2*r, 3*r + l = 5*a + 2*r. Solve 5 = -a*i - x, -27 = i + 2*i - 5*x for i.
-4
Suppose h - 3 = -f + 1, -4*f = -3*h - 9. Let v be (1/2)/((-1)/(-36)). Suppose f*w - v = -6. Solve 3*g - 7 = -3*p + 5, -w*g + 11 = -p for g.
3
Let j be (-3)/(-1) - 0/1. Suppose x - 6*x + 25 = 0. Suppose -x*l + 11 = -9. Solve -l*f - 8 = 2*c + 2, -j*c - 4 = -5*f for c.
-3
Let p be ((-2)/6)/((-13)/468). Solve 3*x - x - 2*n = -2, -2*x - p = -4*n for x.
4
Suppose 0 = -2*b + 4*d - 0*d - 12, -4*b + 6 = -2*d. Solve -2*t - 18 = b*g, g - 2*t + 3*t = -4 for g.
-5
Let t be 18/3*(-1)/1. Let m = t - -6. Suppose -5*w - 4*v = -7*v + 7, -3*v = 4*w - 16. Solve m = -j + s + w, -j + 23 = j + 5*s for j.
4
Suppose 0 = 2*m + g - 3 - 7, -44 = -4*m + 4*g. Solve 4*z = 5*w - 0*z + 15, 3*w - 2*z = -m for w.
1
Let d = 262 + -117. Let n be (-2)/9 + d/45. Solve 5*l + 2*f = -3*f + 10, 0 = -n*f for l.
2
Suppose -38 = -4*z + 3*b, 2*b - 32 = -5*z - 2*b. Solve -z = -2*w - 5*t, -t + 0*t = -2*w + 8 for w.
4
Suppose 0 = -4*r + 6 + 6. Let q be (r + -2)/((-2)/(-8)). Suppose -4*y + 0*y - 4 = 0, q*y = 5*p - 69. Solve -4*s = 5*g - p, -g = -2*g +