 -4*p - h = u for p.
-2
Suppose t = -2*t + 9. Let z = 0 + t. Solve 3*j = 5*o - 2, -6 = -z*o + 4*j - j for o.
-2
Suppose -2*f - 27 = -5*u - 0, -3*f = 3. Solve 4*p = 20, u*p - 31 = -0*k + 2*k for k.
-3
Suppose 0*g + 3*r - 13 = -4*g, 0 = 2*g + 4*r + 6. Suppose -g = -y - 1. Suppose l = y*l - 25. Solve 2*z + 2*z = 3*a - 12, 0 = -l*a - 5*z - 15 for a.
0
Suppose 17 - 2 = 5*x. Solve -3*j + 22 = -0*j + 5*l, -15 = -x*l for j.
-1
Let n(x) = -x**2 + 5*x - 5. Let b be n(4). Let h be (8/(-3))/(b/3). Let i be 7/3 - h/(-12). Solve -w = 3*z + 16, -i*z + 6*w = 2*w - 4 for z.
-4
Suppose 4*l + 5 = -5*o, 0*o = -o - 3*l - 12. Solve 9 = -3*t, -2 = -3*q - o*t + 4 for q.
5
Let f be ((-24)/20)/(3/(-10)). Suppose -45 - 27 = -f*k. Solve -4*p - k = 2*s, p = 5*s - p - 15 for s.
1
Suppose 2*w - 2*s = 10, 0*s - s - 5 = -3*w. Suppose 0 = -2*u - w + 6. Let q = u - -4. Solve y = -3*y + b + q, 3*b = 4*y - 13 for y.
1
Suppose m + m - 24 = 0. Solve -q = 3*n + 3, -5*q + 37 = -5*n + m for q.
3
Let y(p) = p**3 - 9*p**2 + 17*p - 9. Let v be y(7). Let m be 0/1*6/v. Solve m = -2*f + 4*g - 22, 2*f + 3*g = 3*f + 16 for f.
-1
Let t(y) = y**3 - 7*y**2 + 9*y - 6. Let s = 0 + 3. Suppose -3*c + s*m + 24 = -c, -12 = 3*m. Let q be t(c). Solve 12 = -5*g + 3*n - n, -3*n = q for g.
-4
Suppose 5*l - l + 21 = 3*g, 4*g - 15 = l. Solve g*y + 24 = -4*d + 5*y, -5*d - 21 = 2*y for d.
-5
Suppose y = -y + 14. Solve 0 = -4*b - f - 11 - y, -4*b = -2*f + 24 for b.
-5
Let n be 12/10*(-5)/(-2). Let s(c) = c**3 - 16*c**2 + 16*c - 5. Let x be s(15). Solve -6 = -3*y - n*h + 12, x = 3*y - h for y.
4
Let b be (-11 - -12)/(2 + (-9)/5). Solve -p + b*l = 19, 0*l - 5*l = 5*p + 5 for p.
-4
Suppose 5*r + 4*f - 2 + 3 = 0, -r + 3*f = -15. Let c be 14/6*r + -3. Let o be 43/2 - 2/4. Solve -i + 5*k = -3*i - o, -c*i + 5*k + 33 = 0 for i.
2
Suppose i - 1 = -0. Suppose 0 = -6*a + 3*a + 3*h, -i = -3*a + 2*h. Solve -3*x - 4*q + 1 = 0, -2*x - 2*q + a = -1 for x.
3
Let k(l) be the second derivative of l**4/12 + 5*l**3/6 + 5*l**2/2 + 5*l. Let h be k(-4). Solve 2*u + h = 7, -4*v = -2*u + 10 for v.
-1
Let a = -40 + 42. Solve -3*o - 28 = 5*h, 0 = 5*h - a*h - o + 14 for h.
-5
Let r = 98 + -81. Solve f - 4*h + 1 - r = 0, 3*h = -4*f + 7 for f.
4
Let p = -5 + 17. Suppose 0 = 4*i - 5*i + 5. Let w(d) = -d + 5. Let x be w(i). Solve x*j = -2*j - 5*b - 12, -2*j + b + p = 0 for j.
4
Let f(i) = -3*i + 3*i - 3*i + 0 - i**2 + 5. Let d be f(-5). Let c = d + 8. Solve x = -0*x + c*v + 16, -v - 8 = -3*x for x.
1
Let g(f) = -f**3 + 11*f**2 + 11*f + 12. Let b be g(12). Suppose b = -4*y + 4*w + 120, -y + 18 + 14 = w. Solve -5*c + 3*p = -y, c + 19 = 4*c - 2*p for c.
5
Suppose -4*z + 14 = q + q, 0 = 4*q - 12. Suppose -2*h = -2*t + 6, -t + 4*h = h - 9. Suppose -d - 2*d + 9 = t. Solve -i = m + 2*m + z, d*i - 20 = 4*m for i.
4
Let i(u) = 3*u - 5. Suppose 1 + 15 = 4*c. Let k be i(c). Let r = k + -3. Solve 5*y = -20, -s + r*y = -4*s - 19 for s.
-1
Let m = -30 + 55. Suppose 8 = 5*p - a - 7, m = -5*a. Suppose 0 = p*i - i - 3. Solve 2 = -r + i*c + 1, 5*r - 4*c - 6 = 0 for r.
2
Let s be 4*3/24*4. Solve 3*v + 16 = -4*m + 5*v, s = m + v for m.
-2
Suppose -4*x = -x - 15. Let f(v) = -v + 0*v + 14 - 7. Let y be f(x). Solve -5*k + q + 3 = 28, 4*k + 20 = -y*q for k.
-5
Suppose 72 = 5*h - 58. Let p be h/10 - (-15)/(-25). Solve 2*m - p*y = -4*y, 1 = -3*m - 4*y for m.
1
Let d(u) = -u + 15. Let b be d(11). Let p(s) = s**2 - 4*s + 6. Let r be p(b). Solve 4*m = -4*t + 32, -2*t = -r*t + 16 for m.
4
Let c(t) = -t + 21. Let w be c(18). Suppose 4*g = -0*g + 8. Solve 2*r - g = s, -w*r - r = 3*s - 4 for r.
1
Suppose 3 - 13 = -5*u. Suppose -7 = -3*f + u*f. Solve -3*j = 2*h - f, 12 = 4*j - 0*j + 4*h for j.
1
Let c(w) = -w**2 - 8*w - 4. Suppose -5*s = 2*q - s - 2, -q + 5*s = 27. Let g be c(q). Let l = -7 - -10. Solve -g*o + 17 = 2*y + 1, l*y + 6 = 3*o for o.
4
Let n = 6 - 7. Let j = 6 + n. Solve -j*c = 5*d - 13 - 2, 4*d + 8 = 0 for c.
5
Suppose a = -u + 12, -3*u - 6*a + 40 = -2*a. Let z be (-3)/(-6)*(u + 0). Solve -5*c + 32 = -z*j, -3*j - 33 + 4 = -5*c for c.
4
Let q(i) = 3*i - 19. Let c(j) = -j + 6. Let d(w) = -8*c(w) - 3*q(w). Let s be d(4). Solve 4*h - s = -g, -2*h + 0 + 3 = g for h.
1
Suppose -3*c = 3, -2*d - 2*c - 3*c + 1 = 0. Solve -5*t + d = 3*m, m - 1 = 2*t - 0 for t.
0
Let t be ((-2)/3)/((-1)/(-3)). Let k be (t/1)/(2/(-3)). Let g be k/(-5 - -2)*-3. Solve g*f = 4*x + 7, 5*f - 15 = x + 4*x for f.
5
Suppose -2*a = -59 + 9. Suppose -2*s + 19 = 3*b, 4*s = -s + a. Solve m = -b*w - 19 - 0, 0 = 2*w - 5*m - 10 for w.
-5
Let i be (2 - 1)/(1/4). Solve -5*j + t + 2*t - 17 = 0, j - i*t = -17 for j.
-1
Let b = 3 - 1. Solve 20 = 4*d - 4*g + 52, -2*d - 4*g = -b for d.
-5
Let m = -67 + 70. Solve -y + 0 = -m*x + 5, 0 = -4*x + 4*y + 20 for x.
0
Let s = -4 - -3. Let n be (-1*1)/(1/s). Let w = 4 + n. Solve 1 = 2*l + 5*t, 0 = 2*l - l + w*t - 3 for l.
-2
Let u(j) = 2*j + 2. Let d be u(6). Suppose 4*v - 34 = -d. Suppose n + 3*i = -v + 2, n = 3*i + 15. Solve -f - 2*o = -o + 1, -3*o - n = 4*f for f.
-3
Suppose 1 - 9 = u - 4*t, -4*t + 8 = 5*u. Let i be (1 + (u - -2))/1. Solve l - i*a - 16 = 0, -2 + 1 = 4*l + a for l.
1
Let d be ((-1)/2)/((-4)/24). Suppose d*o = 13 + 2. Solve 3*w + 20 = 6*w - 2*t, -3*w + o*t = -32 for w.
4
Let n be -1 + -4 - (-1 - 2). Let a be (-1 - 0)*(n - -1). Solve v = r - a, 7*r - 4*r = v - 3 for v.
-3
Let m(u) = u**3 + u**2 - u + 1. Let x be m(1). Solve -4*s + 2 = o - 0*s, 0 = x*o + s - 4 for o.
2
Suppose -s - 7*q - 8 = -10*q, 3*s + 5*q = 32. Solve 3*z = 5*z - s*f, f = 1 for z.
2
Let d = -3 + 8. Let z = 0 + d. Solve 4*o + 2*v + 8 = 0, -20 = -z*v - 0*v for o.
-4
Suppose 0 = 2*c - 5*c. Solve c = 3*j + 7*l - 4*l + 3, 0 = 5*j - l + 11 for j.
-2
Let q = 46 - 43. Suppose 14 + 2 = 4*a. Solve -q*h - 1 = -a*f + 2, -5*f + h = 10 for f.
-3
Let p = 28 - 19. Let q be 3*(3 + (-15)/p). Solve -q*v + o = -12, 3*v - o - 3 = 5 for v.
4
Suppose -15 = -5*k + 10. Solve 3*g - i = -4*i + 24, 0 = -k*g + 4*i - 5 for g.
3
Let y(v) = -v**3 - 5*v**2 + 6*v + 8. Let c be y(-6). Solve 4*j - 5*i - 27 = 5*j, 0 = -j + 2*i + c for j.
-2
Suppose 56 = s + 3*s. Suppose -10 = -3*b + s. Solve 4*p + 0*p - 5*t = -24, 2*t - b = 0 for p.
-1
Let n = 5 + -2. Suppose -43 = -n*z + 32. Solve 15 = 2*p + p - 2*m, 4*m = 5*p - z for p.
5
Let w(y) = -2*y**2 - 6*y - 2. Let m be w(-4). Let t = m - -15. Solve 0 = 3*k + t*q - 1, 4 = -2*k + 4*q - 10 for k.
-3
Suppose 10 = 4*w + 2. Solve 2 - 17 = -3*m - 4*s, 0 = w*m - 5*s + 13 for m.
1
Let i = 6 + -4. Suppose 8 - i = 3*b. Solve q - 5*g = b*q + 12, 4*q = -4*g - 16 for q.
-2
Suppose -4*i = -2 - 10. Let v(x) = -x**2 + 3*x. Let w be v(3). Suppose w = -6*j + 2*j + 16. Solve -o = -2*o - 2*a - 13, i*o + j = a for o.
-3
Let i(q) = q. Let n be i(6). Let x = -4 + n. Let z be 16 + (x - -1)/3. Solve 5*w + a + 15 = 0, -a - 2*a - z = w for w.
-2
Let r be ((-12)/(-3) - 2) + -8. Let f(v) = v + 6. Let k be f(r). Solve 2*i = 3*l + 7 - k, 5*i + 5*l = 30 for i.
5
Suppose 10*a + 8*a = 36. Solve 25 = -8*u + 3*u, a*z + u = -13 for z.
-4
Let i be (-4)/(-10) - 8/(-5). Solve 5*x = 4*l + x - 4, x + 5 = i*l for l.
4
Let x be ((-21)/(-14))/(3/4). Let d be x/8 + 76/16. Solve 0 = d*u + 4*q - 10, 8*u - 10 = 3*u + q for u.
2
Suppose 3*y - 4*j = -j + 9, 2*y - 3*j = 4. Let f = -61 - -81. Solve 6*g + y*m + f = g, -4*g + 29 = -5*m for g.
1
Let d(b) = b**2 - b. Let m be d(2). Suppose 4 = v + m. Solve 4*z - 2*u = 16, 4*z + v*u = -0*u for z.
2
Let o(m) = -6*m**3 + 5*m**3 - 6*m**2 + 0 + 3 - 5*m. Let x be o(-5). Solve 5*z + 0*w = -x*w - 5, -3*z - 4*w = -8 for z.
-4
Let w(a) = -2*a**2 + 8*a + 5. Let q be w(6). Let t be (q/57)/(2/(-24)). Solve 5*v - 2*v - i + 20 = 0, -4*v - t*i = 0 for v.
-5
Let c(p) = p**3 - 9*p**2 + 9*p - 4. Let n be c(8). Suppose 4 = 2*l - 0*l. Solve -q + l*s = q - 12, -n*q - 3*s - 11 = 0 for q.
1
Let z(n) = -n**3 - 12*n**2 - 12*n - 11. Let v be z(-11). Solve v = -l - 0*l, -2*c + 4*l = 10 for c.
-5
Let d = -27 + 47. Solve 2*l = -2*w - d, -3*w - 21 - 19 = 5*l for l.
-5
Let x(o) = 8*o**2. Let g be x(1). Let k = 11 - g. Solve 9 = n + k*t, 3*t - 10 + 1 = 4*n for n.
0
Let l = 4 - 5. Let s be ((-6)/(-21))/(l/(-7)). Solve -5*m + 20 = 0, -1 = -s*v - m + 5 for v.
1
Suppose -2*n - 5 = -13. Suppose 0 = 2*m + 3*m - 25. Solve n*k - 5*o - 12 = -3*o, 18 = 2*k + m*o for k.
4
Let b be 2/9 - (-10)/(-45). Let k = -8 + -21. Let n = -13