 -m*f + 5*j - 19 for f.
-4
Let x(v) = -v - 2. Let o(k) = 3*k + 7. Let y(h) = 6*o(h) + 21*x(h). Let z be y(-1). Solve 0 = -z*q + 3, -3*q = n + n - 1 for n.
-1
Let c(h) = -h**2 - 24*h - 23. Let a be c(-23). Solve -2*o - r - 6 = -2*r, 2*r + 8 = a for o.
-5
Suppose 0 = -3*p - 5*u + 80, 2*p - 5*u = 2 + 18. Solve -4*j - p = -4*i, 5*i - 2*j + 8 - 33 = 0 for i.
5
Let x be 3 + (-6)/(9/(-3)). Solve -2*c - 20 = -x*j + j, 0 = j + 4*c + 4 for j.
4
Let w(x) be the third derivative of -x**6/120 + x**5/20 - x**4/24 - x**3/3 + 2*x**2. Let p be w(2). Solve v = 2*m - 5*m + 2, p = 2*v - 2*m + 12 for v.
-4
Suppose 0 = 3*q + 1 + 2. Let z = 2 + q. Suppose z = -5*i + 2*h - 5, -2*h + 6 = i. Solve -5*j = -v + 28, 0 = -v - i*j + j + 8 for v.
3
Suppose 0 = 4*n - 2*p + 4*p - 4, -3*n + 1 = 2*p. Let c = -32 - -37. Solve -c*w - 2*s - n*s = -5, 0 = w - s - 9 for w.
5
Let m = -5 + 9. Solve m*r - 4 = -4*y, 0 = -4*y - y - r + 5 for y.
1
Let t = -38 - -61. Solve 5*s = 5*b + 15, -2*s + 7*s = -3*b + t for b.
1
Let z = 13 - 7. Suppose n - z = -4. Let r = 6 - n. Solve 0 = -5*f, -2*f - r = 2*m + 2*f for m.
-2
Suppose z + 5 = 3*w - 2*w, -z = w - 1. Solve o - 5*t - 17 = 0, -5*o + 10*o - 1 = -w*t for o.
2
Let x be (10/4)/((-3)/(-6)). Solve 3*p + 29 = -x*v - p, -2*p = 5*v + 27 for v.
-5
Let q(s) = 6*s**2 + 2*s - 4. Let r be q(2). Solve r = -k - 2*k - 5*w, 3*w + 21 = -4*k for k.
-3
Let z = 14 - 9. Solve 25 = 5*c - 0*c - z*i, 5*c - 15 = 3*i for c.
0
Suppose 40 - 8 = 8*i. Solve 4*w - 5 = -v, -i*w - w + v + 4 = 0 for w.
1
Suppose 8*s - 7*s - 3 = 0. Solve s*y - 28 = -5*z, 2*y = 4*z - 2*y - 16 for z.
5
Let b(s) be the first derivative of -5/2*s**4 + 0*s**2 + 1/3*s**3 - 1 - s. Let c be b(-1). Solve 5*h + 12 = -o, -4*h = -0*o + o + c for o.
-2
Let b = 18 + -13. Solve -l - 3*m = -b*l - 2, -4 = l + m for l.
-2
Let s(p) = -p - 7. Let b be s(-3). Let y be (12/(-16))/(1/b). Let a = 16 - -2. Solve -2*d - a = 4*i, 2*i - y*d - 9 = 2 for i.
-2
Let n = -15 + 43. Suppose 5*g = g + n. Solve 0 = 4*h + 3*u + g, u + 15 = 4*h + h for h.
2
Let j = -2 + -10. Let f be 0 + (-3)/(j/8). Solve f*w = w - 2, -5*l = w - 18 for l.
4
Let k = 51 + -32. Suppose 5 - k = -d. Let n(o) = 2*o - 2. Let i be n(2). Solve -i = -l - 3*x, -l + 4*x + d = l for l.
5
Let n = 0 + 4. Let m be (-4)/(-16) - 1/n. Solve -3*t - 6 = -m*f + 3*f, -4*f - 7 = 5*t for t.
1
Let r be (-1 + 2)/(2/8). Suppose -r*a + 2*k - 4*k + 2 = 0, -12 = -3*a + 2*k. Solve 4 = 4*o - a*o - 5*q, -3*o - 4*q - 17 = 0 for o.
-3
Let z(c) = -c**2 - 6*c + 5. Let r be z(-6). Let m(q) = 2*q**2 - 2*q - 4. Let k be m(3). Suppose 0 = -4*h - 0*h. Solve -r*j = h, 4*j + 12 + k = -4*p for p.
-5
Let c be 3/3*0 - -1. Let k(g) = 9*g**2 - 1. Let b be k(c). Solve 2*a = d - 2, 3*d + b = d for a.
-3
Suppose 4*i - 96 = 2*i. Let a = i - 13. Solve 3*m + a = -4*k, -5*m = 2*k - 7*k for k.
-5
Let p be 21/(-4)*(-8)/3. Solve -c - 2*f + 2 = -0, -p = -4*c - 2*f for c.
4
Let c be (-4)/(3 + 1) + 6. Solve -a + 6*a - 5*y + c = 0, 5*a - 4*y = -1 for a.
3
Let k(h) = 2*h**2 + 4*h - 1. Let z be k(-4). Solve -j - 4*j + 10 = 5*o, 0 = -5*o - z for j.
5
Let w be ((-30)/18)/(-5) + (-8)/(-3). Solve 2*k + 5 = -c + 4, -3*k = -w*c + 6 for c.
1
Let c = -15 - -21. Let y be c/1 + 9/(-3). Solve z + 0 - 1 = 0, y*m + 3*z = 0 for m.
-1
Let a(q) = q**2 - 4*q. Let k be a(3). Let i be ((-9)/(-6) + k)*-2. Solve -i*z = -f + 14, 3*f - 15 - 7 = 4*z for f.
2
Let i(p) = p**3 + 3*p**2 - 2. Let y be i(-2). Let z be (-1)/4 + 339/12. Solve u - w - 4*w = z, u = -y*w - 7 for u.
3
Let l(a) = a**2 + 2*a - 18. Let m be l(-6). Let o be (m/8)/(2/8). Solve 2*g = 3*i + 2, -5 = o*i + 3*g + 7 for i.
-2
Let y be (-1)/6 - 39/(-18). Let a be (-3)/(-6*y/8). Solve 3*p = -3*u + a*u + 19, u + 1 = p for u.
4
Let w = 5 + -9. Let b be (11*4)/((-8)/(-4)). Let h = b + w. Solve -4*k - r = -4, -4*k = -5*k - 5*r - h for k.
2
Let z be -1*(-3 + 3 + -3). Solve -5*x + 5*c = -3*x + 27, 11 = 4*x + z*c for x.
-1
Let d be (1/(-2))/(5/420). Let m be 6/((-7)/(d/4)). Solve -5*y - 4*j = -3, 3 = 4*y - j + m for y.
-1
Let h(m) = m**3 + 7*m**2 - 3*m - 17. Let q be h(-7). Solve i - 15 = 3*p + 2*p, -q*i = 0 for p.
-3
Let z = 4 - -2. Let r = z + -4. Solve -r*x - 2*q + 14 = -0*q, 0 = -5*x - q + 27 for x.
5
Let i(f) = -2 - 3*f + 2*f + 2*f. Let q = 5 - -2. Let d be i(q). Solve -4 = -s - 3*p - 6, -5*s = d*p for s.
1
Let x = -10 + 14. Suppose -x*k + 17 = s, 6*k = -3*s + 2*k + 27. Let q = 10 - 7. Solve 0 = -5*o + q*o + 4*n - 10, 0 = -o - n - s for o.
-5
Let p = -11 - -15. Suppose 2*h = -p*y + h + 5, 5*y = -5*h + 25. Solve 5*g - a = g + 3, y = -5*g + 3*a - 5 for g.
2
Let m be 6/(1 + 2) - 2. Suppose -4*k + m*k = 0. Solve 4*g - 2*i + 12 = -k*i, 2*i = 4 for g.
-2
Suppose 0 = -0*a + a - 4*d - 48, 164 = 4*a - 2*d. Let c = -29 + a. Solve -4*l + 5*b = l - 15, -b - c = -5*l for l.
2
Let u(n) = -n + 13. Let p be u(6). Solve -3*k + c + c - 4 = 0, -c = 3*k + p for k.
-2
Let r = -4 + 4. Suppose -21 = -3*k - 3*o, 4*k + r*o - o - 8 = 0. Let b be 10/6 + 1/k. Solve -4*a - 2 = 4*v + 6, -b*a - 4 = -2*v for a.
-2
Let w(p) = -p**3 + 2*p**2 + 5*p - 4. Let f be w(3). Suppose f*a - 6*a = -16. Solve 0 = d - a*o + 15, -3*d = 2*o + 2 + 1 for d.
-3
Let j = 136 - 108. Solve 4*w - 4*y = -j, -w - 2*y + 7 = -1 for w.
-2
Suppose 16 - 10 = 2*b. Solve -v = 4*n + b*v + 4, 0 = 3*n + 5*v - 3 for n.
-4
Let z = 10 - 8. Suppose -z*i = i - 6. Solve i*b - 5*c + 20 = 0, -3 = -c - 1 for b.
-5
Let g(y) = -2*y. Let f be g(0). Suppose d - 20 = -d + 4*x, f = d - 3*x - 15. Solve -l = -t + 6, d = -4*t - l + 20 - 1 for t.
5
Suppose 4*r - 5 = 3*r. Solve -q + 3*v - 10 = 0, -28 = 5*q + v - r*v for q.
-4
Let q be (-5)/(-15) - 16/(-6). Let r = -13 + 16. Solve -2 = q*g + r*a - 17, -3*g - 4*a = -19 for g.
1
Suppose 5*a + 12 = 4*b, -5*a + 3*b - 5 = 4. Solve n - 5 = -h - a*h, -4*n = 0 for h.
5
Let m = 31 + -30. Solve 3*h - 2*y + 3*y - m = 0, 14 = 2*h + 4*y for h.
-1
Let j(p) = p**2 - 7*p - 8. Let b be j(8). Suppose h = -4*l - 1, l = -b*l + h + 1. Solve 5*c - 25 = l, -3*w + 2 = 5*c - 35 for w.
4
Suppose r + 12 = 5*r. Suppose -19 + 7 = -r*h. Solve -4*y = -20, 0*x - 3*y - 5 = h*x for x.
-5
Suppose -8 = 4*i + 5*b - 29, -19 = -4*i - 3*b. Solve -h = y, -3*h = -3*y - i*h for y.
0
Let r = 4 + 0. Let m = 6 - r. Suppose m*t - 3 = 3. Solve 0 = 2*o + t*p + 25, -12 = 5*o - 2*p + 3 for o.
-5
Let y = 29 + -15. Suppose 2*d + g + 6 = 3*d, 4*g + y = -d. Suppose -2*b = -0*q + q - 27, -5*q + 143 = d*b. Solve 0 = h + 3*w + 2 - 15, 5*w = 2*h + q for h.
-2
Let m = -5 + 3. Let i be 9/2 + (-1)/m. Solve -i*p - v + 6 = 0, 4*v + 0 = 4 for p.
1
Let o be (60/18)/((-4)/(-18)). Let v be ((-18)/o)/(6/(-100)). Suppose 0 = 3*i - v + 5. Solve i*n + 10 = w, -4*w + n = -4*n - 10 for w.
0
Let j(i) = 2*i**3 + 2*i**2 + i - 1. Let q be j(2). Solve 0 = p + 5, -5*y - p - 10 + q = 0 for y.
4
Let x be 48/(-84) - (-32)/7. Solve -v = -x*u - 8 - 7, 2*v + 18 = -4*u for v.
-1
Suppose -3*r + 9 = -3. Solve -m + 4*c = -5*m + r, c + 3 = -2*m for m.
-4
Suppose -2*x - 2 = -2*q, 3*q - 5*x - 3 = -q. Suppose -q*h = -4*h. Suppose 0 = 5*r - 6*r. Solve 2*d + 14 = 5*w, 4*w + h*d + d - 6 = r for w.
2
Let d = 28 - 23. Solve 3*h + d*l + 27 = 0, -2*h - 2 = -l - l for h.
-4
Let a = 65 - -9. Suppose -a = -3*g + 1. Solve 4*m = -5*j + 4*j + g, 3*j - 40 = -5*m for j.
5
Let t(o) = -7*o. Let x(l) = 6*l + 1. Let h(a) = -5*t(a) - 6*x(a). Let c be h(-8). Let b be (-16)/c*1/(-2). Solve 2*z = b*m - 5 + 25, 3*z - 15 = 3*m for z.
0
Suppose -11*h + 14*h - 9 = 0. Suppose -h*d = d + 5*n - 46, 4*d - 2*n = 32. Solve 0*l - d = 3*q + 3*l, 2*l = 5*q - 6 for q.
0
Let a = -40 - -48. Suppose 552 = -4*o - 4*z + 5*z, 3*z - 690 = 5*o. Let s be o/(-9) - 2/(-3). Solve -5*g + 2*v = a, -3*g + 3*v = -v + s for g.
0
Let u = -15 + 20. Let p be (-149)/(-6) - 2/(-12). Suppose 4*w + p = 105. Solve 2*q = u*g - q + 20, 5*g - 2*q = -w for g.
-4
Let g be ((-3)/(90/24))/((-2)/5). Solve 5*m = 2*m + 6, k = -3*m + g for k.
-4
Suppose 0 = -2*g - 30 - 10. Let u be (4/10)/((-2)/g). Let l be (1 - (-2 + 2)) + u. Solve -5*k = -3*b + 7 - 0, -l*b = -5*k - 5 for k.
-2
Let g = 3 - -9. Suppose -27 = -5*y + j - 2*j, -j + g = 2*y. Solve 0*a = s - 2*a - 4, -3*a + 7 = y*s for s.
2
Suppose -g - 2*t = -4*t - 5, 0 = -5*g + 5*t + 35. Suppose -2*m = m - g. Solve -m*i + d = -3 + 2, 5*i = 3*d + 7 for i.
-1
Let d(i) = -3*i**2 - i + 6. Let a be d(-3). Let q be (30/a)/((-1)/3). So