h - t = -4*x + h, -h + 9 = -z*x for x.
-1
Let b(p) = p**3 - 2*p**2 - 6*p + 1. Let x be b(4). Let y(z) = z + 3. Let c be y(x). Solve -3*o - j - 9 = -2, 0 = 4*o + 2*j + c for o.
-1
Let a be 82*(0 + 4/8). Solve a = 4*h - 5*s, -25 = 3*s + 2*s for h.
4
Let j be (-2)/(-4)*4/2. Let z = j - -2. Solve 2*i - 5*b = 21, -4*i = i + z*b - 6 for i.
3
Let s = -12 - -17. Suppose k = -w + s, -k + 0*k = -3*w - 5. Solve -4*b = -3*j - 2, 5*j + 5 = -w*j + 5*b for j.
-2
Suppose s = -o - 14, 55 = -5*s - 5*o + 3*o. Let m = s - -13. Solve 0 = m*r - n + 5, -r + 3*n + 1 = 2*n for r.
-2
Let c(f) = -5*f - 1. Let o be (0 - -1)*-1 + 0. Let p be c(o). Solve 2*b + 1 = -h + p, -h = -2*b - 7 for h.
5
Let k(d) = d + 11. Let j be k(-7). Let q = -3 + 2. Let u be 4*q*3/(-2). Solve -5*r - 17 = o, -u = j*r + o + 8 for r.
-3
Let y(g) = -2*g. Let c be y(-5). Solve -3*m = 3, 0 = -3*w - 0*w + 5*m - c for w.
-5
Let l be (-3)/(-2 + -1) - -2. Solve -l*g + 23 = -4*t, 2*t + 5 + 1 = -4*g for g.
1
Let g(c) = -c**3 - 9*c**2. Let z be g(-9). Suppose z = -0*j - 2*j - 14. Let y = 10 + j. Solve u + 3*i + 7 = 0, -3*u + 4*i - i = -y for u.
-1
Let z(f) be the second derivative of -f**3/6 - 3*f**2 - 4*f. Let l be z(-11). Solve 10 = -l*u - 3*i - 2, 0 = 3*u - 3*i + 12 for u.
-3
Let q(j) = 2*j**2 - 2*j - 8. Let x be q(-2). Solve 0*c - 3*a - 14 = c, -1 = x*c + a for c.
1
Let c = -3 - -2. Let k = 4 + c. Suppose 0 = 3*x - k*i + 15, -3*i = -5*x - 6*i + 15. Solve x = 3*s - 4*w, 0 = 5*s - 4*w - w - 5 for s.
4
Suppose -p + 5*p = 12. Let f(o) = -5 - 1 + o**3 + 0*o**3 + p*o + 6*o**2. Let d be f(-5). Solve -4*c = 2*g - 8, d*c + 8 = 2*g - 0*c for g.
4
Let n(r) = r**3 + 6*r**2 + 7*r + 6. Let v be n(-5). Let y = 0 - v. Solve -4*p - 3*c = -0*p + 5, -c - 7 = -y*p for p.
1
Suppose 4*b - 2*t = -t + 10, -2*t = -3*b + 10. Let c = 7 - b. Suppose c*o + 3*d = -5, -3 + 27 = 2*o - 4*d. Solve o*l = -y, 4*y - 2*y + l = 6 for y.
4
Suppose 11 = -3*h + 17. Solve -4 = 4*t + 4*o, -h*t - 3*o - 6 = -0*o for t.
3
Suppose 15 = 5*i - 2*p + 4*p, -2*p - 3 = -i. Suppose -i = z, 3*h + 3*z + 7 = 22. Suppose h = -4*o + 28. Solve 2*v = u - 2 + o, -4*u = 2*v + 2 for v.
1
Let v be 30/(-105) - 74/(-14). Solve -2*i - 11 = 4*u + i, 19 = -v*u - 2*i for u.
-5
Let u(c) = -17*c. Let z be u(-1). Suppose 3*g = s + z - 3, 0 = 4*g + s - 21. Suppose -2 = 2*v - 10. Solve -y + 2*w = v*w + 12, -g*w = -5*y for y.
-4
Let h = 113 - 105. Solve -2*v - 2*g = -5*g + 8, 2*v = 5*g - h for v.
-4
Let d(l) = -l**2 - 11*l - 3. Let v be d(-11). Let r be (-81)/18*2/v. Solve 4*p - 2*c - 6 = 0, 0*c + 12 = r*p + c for p.
3
Let n be -9 + 9 - (-23 - -1). Suppose 3*u = 2*o - n, 3*o - 18 = o + 2*u. Solve b - 9 = 4*q, 6*b - 4*b - o*q = 12 for b.
1
Let o = 10 - 7. Suppose o*c - 4*g - 20 = 0, 0 = -5*c + 2*g + 13 - 3. Suppose 0*d + d - 4 = c. Solve i - p = 2*i - 2, 4 = d*p for i.
1
Let t be ((-6)/(-33))/((-4)/(-44)). Solve 0*p = t*s + p - 11, -5*p = -15 for s.
4
Let o(y) = 3*y**2 - 21*y. Let m be o(7). Solve 5*l = -3*c, m = 4*l + 2*c + c - 3 for l.
-3
Let c be 5/2 - 5/10. Solve 5 + 1 = c*a + 5*u, 2*u - 2 = -a for a.
-2
Suppose 4*n - n - 6 = 0, 0 = a + 2*n - 3. Let g = -1 - a. Solve g = 4*t + 2*m + 26, 41 = -4*t - 3*m + 10 for t.
-4
Let x(a) = a**3 - 5*a**2 + a. Let o(i) = -i**3 + 8*i**2 - 5*i - 9. Let c be o(7). Let d be x(c). Solve 2*j + 2 = -2*h, -6 = -4*j - d*h - 14 for j.
3
Suppose d = 3*v - 4, -5*d + 5*v = -0*v - 10. Solve 4*i + 10 = -m - 9, d*m = -3*i - 10 for m.
1
Let j = -1 + 5. Solve 5*f = -q + 17, -2*f + j*q + 21 - 1 = 0 for f.
4
Let w(b) = -b**2 + 8*b - 2. Let l be w(6). Solve l = 3*i - j, -i = -4*j + 9 + 6 for i.
5
Let l = 17 - 14. Solve 3*a = -2*f + 8, 2*a + l = 4*a - f for a.
2
Let m = 24 + -28. Let l(u) = u + 2. Let g be l(-3). Let s be g/m - (-60)/16. Solve -v - 16 = s*f, v + 20 = -5*f - 2*v for f.
-4
Let s(g) = -g**2 + 6*g - 1 - 6*g. Let r be s(-2). Let a(u) = u**2 + 5*u. Let q be a(r). Solve 2*p - 4*f - 5 + 3 = q, -6 = 3*f for p.
-3
Suppose 5*h = -2 + 17. Solve 0 = s - 1, 3*f + h*s - 6 - 6 = 0 for f.
3
Let o(i) be the third derivative of i**6/120 - 7*i**5/60 + i**4/3 - 7*i**3/6 - 3*i**2. Let f be o(6). Solve 4*h = k + 4, f*k + 22 = -2*h + 2 for h.
0
Let u(v) = v**3 + 2*v**2 + 2*v + 2. Let i be u(-2). Let k = 6 + i. Solve -2*l + k*h = -16, 13 - 1 = 4*l - 4*h for l.
-2
Let x(b) = b**3 + 7*b**2 + 9. Let a be x(-7). Let d = -2 + a. Suppose 2*k = -3*w - 0*w - 3, 0 = -5*w - 5. Solve k = 2*j - 4*y + 6, d = -4*j - 4*y + 19 for j.
1
Suppose 5*u = u - 32. Let w = 31 + u. Solve 0 = -3*d + 15, -4*s + w = -0*s + 3*d for s.
2
Let w be -15*((-6)/(-9) + -1). Suppose w*b = b + 100. Solve -3*k = -6, 3*o + 2*k = -3*k + b for o.
5
Let j = -81 + 95. Solve 0 = 2*s + c - 5*c + 16, -j = 3*s - c for s.
-4
Let w = 14 - 11. Suppose -2*l = -w - 1. Solve -m = -4*d - 3, -3*m - d = l*m + 6 for m.
-1
Let z(u) = u**3 + u**2 - 3*u. Let v be z(-3). Let r(o) = o**2 + 10*o + 11. Let y be r(v). Solve -3*j + w - 1 = 0, y*j - 3*w - 9 = -j for j.
-2
Let q(b) = b**2 + 22*b + 26. Let a be q(-21). Solve 3*j + 6*c - 2*c = 7, j = a*c + 15 for j.
5
Let f be -6*-3*1/(-2). Let i(p) = p + 3. Let w be i(-5). Let y be (-3)/(3 - f/w). Solve 2*s + 2*s = 5*m + 33, 0 = 3*m + y*s + 11 for m.
-5
Let j = 6 + 0. Suppose 3*w - j = w. Solve 4*m = 5*v - 10, 0 = -v - w*v + 4*m + 12 for v.
-2
Suppose 0*q - c + 11 = 2*q, -c + 27 = 4*q. Let w = 5 - q. Let s be 6/2 + w - -3. Solve 4*f - 35 = 3*y, -f + 4*f = -s*y for f.
5
Suppose 4*v - 4 = -t, 4*t = 3*v + 59 + 33. Let y = -9 + t. Suppose -9 = -2*k + 6*k - 5*r, -y = k - 3*r. Solve -k*q + 2*q + 14 = -2*n, 2*n = 5*q - 29 for n.
-2
Let o(c) = 4*c**2. Let b be o(1). Suppose -5*q - 10 = 5*x, -5*q = -4*q + b. Let j be (1/x)/((-2)/(-20)). Solve -r = -f + 6*f - 3, 0 = -j*f - 5*r + 15 for f.
0
Let t(r) = -3*r + 3*r - 3 + 3*r - 2*r. Let b be t(5). Suppose -52 = -g - 4*g - 3*q, -24 = -4*g + 2*q. Solve 0*d + 3*o - 3 = d, -b*o = -4*d + g for d.
3
Let c be (-1)/1*(-4 + 4). Solve 2*p = 2*n + 3*n + 11, -3*n - 9 = c for p.
-2
Let q = 0 - -2. Suppose -85 = 3*t - 3*n + 2*n, t - q*n = -35. Let r = 48 + t. Solve -4*k - 2*m = -4*m - 6, -4*k + r = -5*m for k.
-1
Suppose 3*v - 21 = -6. Solve -c - 2*g = -v, -3 = 3*c - 8*g + 5*g for c.
1
Let n = -39 + 39. Solve n = -5*f - 15, 10 = -a + 6*a - 5*f for a.
-1
Let h be 3*(-2)/4*62. Let b be h/(-12) - (-1)/4. Let i = b - 3. Solve -6 = -2*g - 4*r - 0*r, i*r - 11 = g for g.
-1
Let o(x) = -3*x + 2. Let r be o(-6). Suppose 0 = 5*g - 12 - 3. Suppose -z + r = -g*c, -3*c + 0 = 3*z - 36. Solve u + 4*q - 5*q = 2, -2*u - 3*q = -z for u.
4
Suppose -10*t + 15*t = 10. Solve 3 - 13 = -4*w + t*o, -2*w + 3*o = -7 for w.
2
Suppose g + 4*r = -0*g - 3, 3*g + 2*r = 11. Solve 5*a = -g*s + 2*s + 40, -4*a + 5 = -3*s for a.
5
Suppose -4*l - 5 = 3. Let s be 1/l*(-3 - -3). Let u(n) = n + 6. Let z be u(-4). Solve 2 = 3*f - 4*f + m, s = -4*f - z*m - 26 for f.
-5
Let k be (-44)/(-2) - (-1 - -2). Suppose b + v = -4*b + 14, 4*b - 11 = -v. Solve -4*i - j = i - 22, 2*j + k = b*i for i.
5
Let t(c) be the second derivative of -c**4/12 - c**3 - 3*c**2 - 2*c. Let u be t(-4). Solve -d = -4*f + 15, u*d - 12 = 6*d for f.
3
Suppose -31 = -2*y + 3*t - 4*t, -y + t = -23. Let z be 9/(-18) - y/(-4). Solve 4*r = -0*r, -8 = 4*x - z*r for x.
-2
Suppose 13 = -f + 5*q + 32, 2*f - 23 = 5*q. Solve 37 = 3*j - 5*g, -f*g - 12 - 8 = 0 for j.
4
Suppose -4*g + 4 = -24. Let a(t) = -2*t - 1. Let m be a(1). Let b = m + g. Solve 2*s - 10 = -v, -3*v - 16 = -4*v - b*s for v.
4
Let x be (18/(-4))/((-15)/20). Let p be ((-22)/x)/(1/(-6)). Let f = -15 + p. Solve f = -v + 4*t, 5 = -3*v + 4*t - 8 for v.
-3
Let k(p) = 2*p**2 - 8*p - 5. Let d be k(-5). Suppose 0 = 3*l - d - 2. Solve 4*s = -4*y - 20, -y = 5*s + l - 8 for s.
-4
Let u be (3 - 0)*1/(-3) + 1. Solve p - 4 = 0, 3*h + 21 = -u*h + 3*p for h.
-3
Let l = -41 + 23. Let k = -16 - l. Suppose 5*o - m = 26, 0 + 2 = o + 3*m. Solve 0 = -0*q + 4*q + 2*g - k, 2*g + 16 = o*q for q.
2
Suppose 15 = 5*d - 0*d. Let q be 2 - (3 - d)/(-4). Solve 4 + q = -2*s + 4*z, 4 = -4*s + 4*z for s.
1
Let g(n) = n**3 + 9*n**2 + 8*n + 12. Let o be g(-8). Suppose o = j + 2*j. Solve -2*x - 2*d + 2 = -10, x - j*d = 1 for x.
5
Let m(g) = 2*g**2 - 5*g + 0*g - 2 - 3*g**2. Let v(h) = -h**2 + h - 3. Let o be v(0). Let z be m(o). Solve 0*a - a - z = -4*i, -a + 3*i = 3 for a.
0
Let c be (-12)/(-5) + (-2)/5. Solve 3 = 3*u +