pose -2*c + 18 = 3*v + 3, 5*c + 4*v - 41 = 0. Suppose -l = -5*t - c, 2*l = l - 2*t + 2. Solve 6 = l*b - s for b.
4
Let v(m) = -m**3 - 7*m**2 + m + 8. Let o be v(-7). Solve -o - 3 = -u for u.
4
Let a(d) = d**2 + 2*d. Let q be a(-3). Solve -3 = -q*y + 2*y for y.
3
Let r(t) = t**2 - 4*t + 3. Let z be r(4). Suppose -2 = -z*v + 10. Let w be (v - (-4)/(-2)) + -1. Solve w = -3*l - 5 for l.
-2
Suppose 6*f - 2*f + 3*b - 21 = 0, 3*f + 3*b - 18 = 0. Solve f*u + 1 = -2 for u.
-1
Let c(m) = -4*m - 5. Let f(p) = p + 2. Let h(g) = 3*c(g) + 8*f(g). Let b be h(-1). Solve b*l = l for l.
0
Let y be (-1 - 1)*(3 + -2 + -2). Solve 0 = y*g - 13 + 5 for g.
4
Let h be (10/30)/(2 - 10/6). Let u(a) = 2*a - 7. Let s be u(5). Solve -s*g = -h + 10 for g.
-3
Let f be -1*(-1 - -1)/3. Solve y + 0*y = f for y.
0
Suppose -x + j + 1 = 3*j, -4*x + 4*j + 40 = 0. Suppose -p = -5*l + 15, 4 = -p + 4*l - x. Solve p*r - 5 = 20 for r.
5
Suppose 0 = a + 3*a - 4*o - 28, -5*o - 31 = -4*a. Solve 0 = -5*j - a + 29 for j.
5
Let s be (6/2)/(1 - 2). Suppose 0 = 5*h - 5*n - 22 + 2, 3*n + 20 = -5*h. Let m = h - s. Solve 20 = -2*u - m*u for u.
-5
Suppose -4*g - 2 = 2, 5*z - 100 = 5*g. Solve 5*h = -z - 6 for h.
-5
Suppose 2*u = 7*u. Suppose 2*q - 3*z = 78, 5*q + z - 182 = 2*z. Let p be q/16 + 2/(-8). Solve u*g - p = -2*g for g.
1
Let s(h) = -h**2 - 2. Let c be s(0). Let z be 0*(c - (-6)/4). Solve z*r - 2*r + 8 = 0 for r.
4
Suppose 2*m - 2*l - l - 20 = 0, -4*m - 3*l + 4 = 0. Suppose 7*j - 3*j - b = -48, 4*j + b + 56 = 0. Let w = j + 29. Solve -m*r = -0 - w for r.
4
Suppose 3*v = v + 6. Suppose h = v*h - 6. Solve -3*t + 4*t = h for t.
3
Let f(x) = 2*x - 1. Let i be f(2). Let z be 9 + (-7 + i - -3). Solve 3*j = -j - z for j.
-2
Let k be 0/((1 - 3) + 4). Solve k = -5*i - 0*i for i.
0
Suppose 0 = 4*f + q - 0*q - 12, 6 = 2*f + q. Suppose 4*n = -4*y + 20, -5 = -2*y + 3*n - 0*n. Solve f*v = 7*v - y for v.
1
Let f be 1/((1 - 2)/(-6)). Let i be -3*(1 + -9) + 1. Solve -f*a + i = -a for a.
5
Let z be (0 - -1)/2*6. Suppose -k + z*k = 20. Let x = -6 + k. Solve v + x*v + 15 = 0 for v.
-3
Suppose 4*p = 3*u - 28, 5*u + 0*u - 3*p - 32 = 0. Let d be (-2)/10 - (-1)/5. Solve -u*g + d*g - 16 = 0 for g.
-4
Let z(d) = d**3 - 7*d**2 + d - 4. Let w be z(7). Solve -2 = 5*j + w for j.
-1
Let c(m) = -m**2 - 6*m - 5. Let x be c(-5). Suppose x = l - 4. Solve 0*v + l = v for v.
4
Let t = -15 - -17. Solve 10 = t*a - 7*a for a.
-2
Suppose 0 = -2*t + 12 + 4. Let x = -6 + t. Solve 5*j - x = -12 for j.
-2
Let t = -48 - -51. Solve -t*g = -7*g - 16 for g.
-4
Suppose 0 = -b + n + 2*n + 4, 4*n - 48 = -2*b. Solve 0*w - 4*w - b = 0 for w.
-4
Suppose -3*p + 1 = -17. Suppose 0 = -10*l + p*l + 64. Solve -9 = 5*x + l for x.
-5
Suppose 4*h = h. Solve 3*w = -h - 9 for w.
-3
Let l = 6 - 1. Suppose 0 = 5*w + 4*x - 36, -22 = -4*w + w - 2*x. Solve -l*c - w = 7 for c.
-3
Suppose -2*o + 6 = 0, -w = -5*w - o + 15. Suppose -f + 9 = -2. Suppose f = 4*s + 3. Solve 5*c - s = w for c.
1
Let o(p) = -p**3 - 4*p**2 + 2. Let h be o(-4). Suppose -j + 4*u + 12 = 0, 5*j + 5*u - 36 = 2*j. Let n be h/j + 33/18. Solve 0 = -0*l + n*l for l.
0
Let p(x) = x**2 - 9*x + 3. Let g be p(9). Solve -g*a + 6 = 3 for a.
1
Let r(f) = -f + 2. Let l be r(3). Let a be (30/(-18))/(l/15). Solve i - 6*i + a = 0 for i.
5
Suppose -3*t - h + 44 = 0, 0 = 5*t + 3*h - 2*h - 74. Suppose 4*v = 8 + 8. Suppose -v*s = 3*y + s - 19, 23 = 3*y + s. Solve -3*f - t = -y*f for f.
3
Let f = -22 + 30. Solve 0*g = 2*g + f for g.
-4
Let c = 25 + -22. Solve o + 8 = c*o for o.
4
Let m(i) = 6*i - i - 4 - 3*i + 1. Let u be m(5). Solve -5 = -2*w + u*w for w.
-1
Let t(j) = -j**2. Let g be t(0). Suppose g = p - 0*p - 3. Solve p*k = -0*k - 15 for k.
-5
Let s = 1 + -33. Let o be (10/(-8))/(8/s). Solve -4*h + 13 = o for h.
2
Suppose -i - 3 = p + 1, -5*p - 3*i = 10. Let b be (4/(16/12))/p. Let v be 108/14 + 4/14. Solve -b*h = -h - v for h.
4
Suppose -2*b - 3*b = -z - 22, -3*b + 12 = 0. Let q be ((-7)/21)/(z/36). Solve q*l + 5 = l for l.
-1
Let c = -37 - -41. Solve -c*l + 0*l = 20 for l.
-5
Let p(o) be the first derivative of -o**2/2 + 8*o - 4. Let c be p(-7). Solve -2*s + 7*s + c = 0 for s.
-3
Suppose -n = 2*n. Let k be (1 - n)*(-1 - -4). Solve -x + k = -4*x for x.
-1
Let y be (6/4)/(6/8). Suppose y*v - 2*x = 38, -5*x - 74 = -3*v - v. Suppose -5*a = -v - 79. Solve a = z - 5*z for z.
-5
Let n be 9 + 0*1/2. Let b be 2/n + 140/(-63). Let x = b - -6. Solve -x*v + 7 = -9 for v.
4
Let u = 8 + -8. Suppose -4*k - 5*x = -3 - 3, 2 = 2*k + 3*x. Solve k*n - n = u for n.
0
Let y = -53 + 57. Solve y = 3*c - 4*c for c.
-4
Let k(n) = -3*n - 2*n + 15 - n**3 - 8*n**2 - 4*n + 4*n. Let l be k(-7). Solve j + 0 = -l for j.
-1
Suppose 0*z = 3*z - 18. Solve 0 = f - z*f + 10 for f.
2
Suppose 0 = -3*z + 2*z. Let s be z/(3 - (0 + 2)). Solve s = 3*o - 8*o for o.
0
Suppose -3*n + 7*n = 8. Let f(u) = u**2 - 3*u + 2. Let l be f(n). Solve l = k + 2*k for k.
0
Let k(r) = -r - 2. Let p be k(0). Let v be (-6)/(2 + 8/p). Solve l - 2*l = -v for l.
3
Let r = 5 - 7. Let x(m) = m**2 - 5*m - 9. Let t be x(7). Let v = t + r. Solve -v*q + 2 = -q for q.
1
Suppose 3*n + n = -4. Let x be 4 + n/(-3 + 2). Solve 0 = 4*w + x - 1 for w.
-1
Let p = 33 - 29. Solve -5*o - 29 = -p for o.
-5
Let p be -4*(9/(-3) - -2). Solve -p*i - 12 = -4 for i.
-2
Let q = 11 + -6. Suppose -116 = 2*f - 6*f - 4*i, q*i = 0. Solve 0 = -5*s + f - 9 for s.
4
Suppose 3*x = 31 - 1. Suppose 14 + x = 4*h. Solve 0 = 2*a - h*a for a.
0
Let h(v) = -v**2 - v + 3. Let s be h(0). Let n be 7 - ((-12)/(-2) - 3). Suppose -n*a + 2 = -6. Solve 4 = s*y - a*y for y.
4
Suppose 5*q = 2*q. Let z(h) = h**2 - h. Let w be z(q). Solve w = 2*t + t for t.
0
Suppose 0*o + o - 7 = 0. Let w(i) = -i**2 - 4*i + 5. Let k be (-1 - (0 + 0))*5. Let d be w(k). Solve d = -f - o + 4 for f.
-3
Suppose v - 3*j - 21 = -v, 4*j = -12. Let y = 6 - 4. Solve -y*g + 5*g = -v for g.
-2
Let w(x) = x**2 - 5*x - 1. Let y be w(5). Let v be (-1)/((y/5)/1). Suppose 0 = v*o - 0 - 20. Solve o*t - 6 = 2*t for t.
3
Let v(g) = -g**3 - 15*g**2 - 26*g + 2. Let y be v(-13). Solve 0 = 3*p - 7 - y for p.
3
Let p(t) = -7 + 4 - t**2 + 4. Let k be p(0). Solve y + k = 6 for y.
5
Let n be 1/(-3) - 19/(-3). Let p(h) = h - 1. Let k be p(n). Solve -k*q + 3 = -2 for q.
1
Let g = 12 - 2. Let x(o) = -o**2 + 4*o + 5. Let r be x(5). Suppose -3*j + 5*w + g = r, j + 5*w = w - 8. Solve -2*k - k + 15 = j for k.
5
Let h(l) be the third derivative of -l**4/24 - l**3 + l**2. Let x be h(-6). Suppose x = -4*g + 5*c + 8, 3*c = -g - 0 + 2. Solve -13 = -g*k - 5 for k.
4
Suppose -4*o + 25 = -3. Suppose -2*w + 43 = -5*s, 4*w - 4 = 12. Let c = o + s. Solve 4*h - 4 = -c*h for h.
1
Let f(z) = -5 + 0*z - z + 16 - 4. Let y be f(6). Solve 0 = -3*m - y + 7 for m.
2
Suppose 2*u - 1 = 17. Let c = -21 - -25. Suppose -u = c*r - 29. Solve r*i = 2*i + 12 for i.
4
Let h be 13/4 + (-1)/4. Let o be 73/h - (-3)/(-9). Suppose 3*j + 33 = c + 4*c, 4*c + 3*j = 48. Solve o = 3*a + c for a.
5
Let o(d) = 1. Let p(t) = t + 4. Let h(v) = -4*o(v) + p(v). Let z be h(0). Solve z = 4*f - 5*f - 1 for f.
-1
Let s(a) = 4*a - 4. Let w be s(3). Suppose -8*b - 106 = -162. Solve -3*n - w = b for n.
-5
Let k(j) = j**3 + 3*j**2 - 4*j + 5. Let g be k(-4). Solve -g*w = -w - 20 for w.
5
Let g = 3 - 5. Let y = 4 + g. Solve 0 = y*f - 3*f + 3 for f.
3
Let x(t) = 6*t**2 + t. Let l be x(1). Let y(u) = u + 9. Let w be y(-9). Suppose -4*f + 16 + 32 = w. Solve -l*q + f = -3*q for q.
3
Suppose t + 25 = 2*t. Solve -4*b = b + t for b.
-5
Let v be ((-4)/6 + -1)*-3. Solve j + 4 = v*j for j.
1
Let m = 5 + 0. Suppose -2*v + 20 = w, -12 = -3*w + 5*v + 48. Suppose 3*l - m*s + 13 = l, 5*l + 5*s - w = 0. Solve -6 + l = 5*u for u.
-1
Suppose t - 3*t = -14. Suppose 4*j + 0 = 5*p - 9, 0 = -2*j + 5*p - t. Let i = 3 - j. Solve i*b + b = 10 for b.
2
Suppose -z = -4*q + 10, 2*z + 0*q + 2*q = 10. Let t be 1/(-2) + z/4. Let g = 3 + 7. Solve -5*j = -t*j - g for j.
2
Suppose -l + 6 = h, 0*h = -3*l + 2*h + 3. Suppose -3*c - 99 + 243 = 0. Suppose -2*u + c = u. Solve -l*v + u = v for v.
4
Suppose -5 = -w - 0. Suppose -6*v + w*v = -5. Solve -3*d - 2*d + v = 0 for d.
1
Let g be (-202)/(-6) + (-2)/3. Let t = g - 20. Solve 5*r + t = 3 for r.
-2
Suppose 4 = 4*k - 12. Suppose -2*h + 1 + 3 = -k*q, 0 = -3*q + 6. Solve 0 = h*w - w + 5 for w.
-1
Suppose -2*r + 5