 Solve f = -4*h + 2*p - 8, 1 + 7 = -4*h + 5*p for h.
-2
Suppose -t - 38 = -5*f, 0 = -4*f + 4*t + t + 43. Suppose 3*p + f = 31. Solve -4*m + p = -4*z, -2*m + 9*z + 19 = 4*z for m.
-3
Suppose 3*f = -5 + 11. Solve f*p = -3*p - 4*o + 13, -37 = -5*p + 4*o for p.
5
Let g be (-6)/21 - 16/(-7). Suppose -5*v = -5*j - 45, g*v + 35 = 5*v - 5*j. Suppose 5*m - u = 16, -4*u + 2 - 6 = 0. Solve v*k - t = -0*t - 13, 2*t = -m*k for k.
-2
Let o be 4/(((-4)/(-7))/2). Solve 4*p = -2*d + 3*d + o, -8 = -2*d - p for d.
2
Suppose 7*u - 3 = 6*u. Solve -2*y = u*l + 21, y - 4*l + 13 = -6*l for y.
-3
Suppose -2*s + 1 + 5 = 0. Let w(r) = -5*r**2 + 2. Let b(d) = -d**2 + d. Let k(x) = 6*b(x) - w(x). Let q be k(5). Solve 2*m + 2 = o - 7, q*m = -s*o - 9 for o.
1
Let k(l) = -3*l + 6. Let v(w) = 4*w - 6. Let b(m) = -5*k(m) - 4*v(m). Let h be b(-10). Solve 0 = 3*q - 3*t + 15, 5*q - h*t + 10 = -11 for q.
-1
Suppose 5 = -5*w + 20. Solve -o + 5*o = 3*j + 26, 0 = -j + w*o - 17 for j.
-2
Suppose 4*o = -2*o + 8*o. Let a = -13 - -7. Let c be (-4)/12 - 20/a. Solve 22 = -3*s - 5*z, o*s - 3*z = c*s + 12 for s.
1
Let g(m) be the first derivative of m**3/3 + m**2 + 2*m - 4. Let y be g(-2). Solve k + 5*w = y, 2*w = -2*k - 3 - 1 for k.
-3
Suppose 3*s + 7 - 10 = 0. Let u(x) be the second derivative of x**4/6 + x**3/6 - x**2/2 - x. Let r be u(s). Solve v - 3 = -r*v - f, 0 = 2*v + 3*f - 2 for v.
1
Let n = 24 - 12. Let i be 52/n - 2/6. Solve -i*l - u - 3*u = 0, -l + 15 = -4*u for l.
3
Suppose 5*p - 25 = -10. Solve 3*a + p*r = -0*a, 4*a = -3*r for a.
0
Suppose 3*d = 2*d + 2. Let c be 2/((-1)/((-5)/d)). Solve -3*q + 4*r + 0*r + 8 = 0, 29 = -q - c*r for q.
-4
Let d(x) = 3*x + 1. Let w(c) = c**2 - 6*c + 6. Let q(o) = o + 12. Let y be q(-7). Let p be w(y). Let l be d(p). Solve -k + 4*f = 15, 2 = 5*k - l*f - 3 for k.
5
Let q = 12 + -12. Solve -3*z + 2 + 7 = 2*t, q = 2*z - 5*t - 6 for z.
3
Let b = -46 + 48. Solve 0 = 4*v - 12, 3*v - 3 - 4 = -b*o for o.
-1
Let v(l) = 3*l**2 + 3*l. Let f be v(-2). Suppose 8 = -4*z - 4*s + 36, -5*s - 15 = -5*z. Solve -3*y - z*d = -8, -4*d + 9 = -y + f*y for y.
1
Let x(l) = -l**3 - 5*l**2 - 2*l - 7. Let d be x(-5). Solve 3*v - 4*o = 8*v - 1, 3*v + d*o = 0 for v.
1
Let u(j) = -j - 2. Let d be u(-5). Solve 3*c = -4*w + d, -3*c - 9 + 39 = -5*w for w.
-3
Suppose 0 = -7*o + 2*o + 40. Suppose -8*j = -4*j - o. Solve 0 = 4*r - d + 25, j*r + 5*d - 35 = 4*r for r.
-5
Let r be 29/(-4) + (-6)/8. Let i = 11 + r. Suppose -2 = -b - 0. Solve -5*u + b = i*m, -2*u + 4*m + 4 = -2 for u.
1
Let w(r) be the first derivative of -r**3/3 - 11*r**2/2 - 5*r - 5. Let c be w(-10). Solve 0 = b - 2, c*b - 2 = 3*o + b for o.
2
Let k(g) = g**3 + g**2 - 1. Let b be k(-1). Let h(d) = 7*d**2 - 1. Let z be h(b). Solve -4*n = 5*o + z, -2*n - o - 8 = 4*o for n.
1
Suppose 0 = k - 4. Suppose 0 = -k*p - 4*o + 100, 5*p = o + o + 90. Solve -4*z = -3*u - 20, -4*z + 4*u + 0 + p = 0 for z.
5
Suppose 3*y - 2*b = 37, -2*y + 0*b + 12 = 5*b. Suppose -4*f - y + 55 = 0. Solve -5*q + f = g - 4*g, 0 = -4*q - 2*g for q.
1
Let i = -4 - -5. Suppose -2*q - i = -q. Let u = 3 + q. Solve y = 4*s + 13, 2*y + u*y + 2*s - 16 = 0 for y.
5
Let w(t) = t - 4. Let o be w(5). Suppose 2*s + 3 = 5*x, -6*x + 2*x = 4*s + 20. Let l = o - x. Solve 3*v + l*v - 33 = -2*b, 12 = -2*b + 4*v for b.
4
Let n be 15/20 + 10/8. Suppose -3*m + n*p + 0*p + 2 = 0, -m + 29 = 5*p. Suppose 4*g + 4*f - 3 = 25, -g = 3*f - 9. Solve 0*v + m*v = -2*y - g, -v = y + 2 for y.
-1
Suppose 0 = -2*p + 13 + 7. Suppose h + p = -4*h. Let z be 2/h*(-4 - -1). Solve 0 = z*a + 2*a - 5*o, 0 = -4*a + 5*o + 4 for a.
-4
Suppose 2*w + 5*r - 20 = w, -r = -5*w + 22. Solve -w*q + 6 = 1, -5*y + 12 = 2*q for y.
2
Let m be 8/160*5*(-1 + 1). Solve -t = 4*p + 19, m = -5*p + 5*t - 3 - 2 for p.
-4
Let h be 14/3 + 1/3. Solve 0*j = -3*j + b + 14, 4*j = -h*b + 25 for j.
5
Let l(y) = -y**2 - 3*y + 4. Let j be l(-4). Suppose z + 4*z - 10 = j. Solve 3*h - 5*a = h - 12, 4 = z*a for h.
-1
Let l(o) = -o**3 - 3*o**2 + o + 3. Let m be l(-5). Suppose 0*q = -3*q + m. Solve -2*t + 7 = -g - 4, q = -4*g + t for g.
-3
Let o be (3 - 9)*(-2)/6. Solve -o*b = 2*b + 20, f - 23 = 5*b for f.
-2
Let t = 5 - 2. Let d = 6 - t. Suppose d*x - 6 = -0. Solve 2 = 2*b + x*b + g, 0 = -b - g - 1 for b.
1
Let s(x) = -11*x**2 - 1. Let n be s(-1). Let m be (n/16)/(1/(-4)). Solve -m*r = -2*w + 12, 0 = -w - 3*r + 2 - 14 for w.
0
Let d be (-1)/(-3) + (-22)/(-6). Solve 0 = k - 2*n - 6, 3 = 2*k + d*n - 1 for k.
4
Let u(z) = -2*z + 9. Let h be u(7). Let x be (-6)/2*h/15. Let k = x - -1. Solve 4*o + 15 = 4*t - t, k*o = -6 for t.
1
Let n = 2 + -17. Let p = -4 - n. Suppose -3*z + 1 + p = 0. Solve -d + 0*d = 3*j - 12, 0 = 5*d - z*j - 3 for d.
3
Let q be 2/1*(-2)/(-1). Suppose 5*x - 50 = -3*a + 35, 4*a - 5*x = 125. Solve -2*m - 10 + 0 = -q*j, 4*j - a = -2*m for j.
5
Let z be -4*6*6/(-8). Let b(c) = 2*c + 0 + 1 - 7. Let x be b(4). Solve z = -x*l - 4*p + 6, -2*l = -2*p for l.
-2
Let z = -24 + 32. Suppose -2*m + 2*x + 3*x - 195 = 0, 2*x = -10. Let l be m/(-7) + 2/7. Solve -4*f - f = 3*u - l, -z = -4*f for u.
2
Let q(f) = f**3 - 7*f**2 - f + 7. Let l be q(7). Suppose l = -0*a - 3*a + 6. Solve 0*c = 2*c - m - 6, 2*c + 3*m + a = 0 for c.
2
Let o = -3 + -3. Let s be 6/3*-1 - o. Suppose -q = 5*i - 12, 0 = 5*q + i - 5*i - 60. Solve 4*d + s*f + q = 0, 5*d - 3*f = -f - 22 for d.
-4
Let b be (-4 + 3)/((-3)/9). Solve b*a = -2*d, 3*d - 5*a + 19 = -0*d for d.
-3
Let b be 12/8 - (-1)/2. Let k = 2 + b. Solve 5*c - c = -4*u - 24, 0 = k*c - 2*u - 6 for c.
-1
Suppose -3*r + 5 + 4 = -3*c, -5*c - 5 = 0. Suppose r*t + 3*x = 22, -3*t + 6*t = x + 11. Solve t*b + s - 7 = 4*b, -5*b + 2*s = -7 for b.
3
Let q(v) = v**3 + 6*v**2 + 5*v + 3. Let u be q(-3). Let w(d) = 0*d**2 + d**2 - 10 + 3*d + 1 - 12*d. Let k be w(10). Solve -4*h = 3*y + u, -h = -y + k + 1 for y.
-1
Let v be 16/10*(-40)/(-16). Let l be (-34)/(-10) - 2/5. Solve v*j = -4*w, -3*w - 2 = -l*j + 22 for w.
-4
Let s be (0 - -1)/(1/3). Let l = 0 - -2. Let v be l/3 + 4/3. Solve v*b = -4*m + s*b, -2*m + 4*b = 14 for m.
1
Suppose 3*i = 4*u + 4, 3*u = 4*i - 2*u - 5. Solve r - h = i, 1 = -5*r + 2*h + 4 for r.
1
Let j(s) = -s + 6. Let a be j(-6). Let b = -12 + a. Solve 2*h = 3*y - 4*y + 3, 5*h + 3*y - 10 = b for h.
-1
Suppose -3*h = 49 - 58. Let t(u) = u. Let p be t(4). Suppose 0 = -4*k + 2*n, 0 = k - p*n + n. Solve -4*l + 8 = -k, h*f + 8 = l for f.
-2
Suppose -2*a + 2*c = -c - 46, -5*a + 81 = c. Suppose -a - 7 = 3*q. Let b = -5 - q. Solve 0 = 2*d - 5*z + 8, 5*z + 20 = -2*d - b*d for d.
-4
Let n = 10 + -8. Suppose 2*q + n = 8. Let t be 5 + (2 + 1 - 1). Solve 0 = -3*v - l + 2, q*v = t*v + l - 1 for v.
-1
Suppose 2*d + 22 = -r, 0 = 3*d + 6*r - 5*r + 32. Let n = d - -28. Let o be 4/n + (-136)/(-36). Solve -o*g - 6 = -2*l, 5*l + 4*g + 18 = 3*g for l.
-3
Suppose 4*i = 3*i. Let f be (-2 - i)/(-1*1). Solve 0*b + a + 4 = -3*b, 0 = a - f for b.
-2
Let m = -4 - -8. Suppose 70 = 3*n - p, 0*p = 3*n - m*p - 73. Solve 3*d + 2*f = -n, 3*d + f + 0*f = -19 for d.
-5
Suppose -3*m + 17 = 5. Suppose 3*f - 64 = 2*v - 1, 0 = 3*f - 4*v - 57. Solve 4*r + 4*d - 12 = 0, m*r = d + f - 6 for r.
4
Suppose -9*n + 12*n = 0. Let s be 0/(-2) - (-4 + -2). Let c be ((-12)/s)/(-1 + n). Solve c*b = 3*x - 16, 9 = 4*x + b - 5 for x.
4
Suppose -3*k = 4*f + 37, -2 = 2*k - 3*f - 0*f. Let h = 4 - k. Solve -27 = -5*n + 2*y, -3*n + y + h = -n for n.
5
Let v be (-2)/5 - 39/15. Let q be v/(-2) + (-1)/(-2). Suppose 2*l - 4*m + 20 = 0, q*m = -5*l - 0*l + 10. Solve 5*o - 3*s - 7 - 12 = l, s = 3*o - 13 for o.
5
Let x(m) = 8*m + 1. Let f be x(1). Let q be (1 + (-15)/6)*-2. Suppose -2*r - q = -3*r. Solve 2*o - r*o + 1 = 0, 4*n + o = f for n.
2
Let k = 0 + -10. Let z = k - -13. Solve 0*v + 21 = -4*w + 5*v, -z*w = 4*v + 8 for w.
-4
Let p = 18 + -16. Solve 2*a = -4*b - 22, 4*a + 4*b + p = -26 for a.
-3
Suppose 0 = -4*n + 2*n. Solve -3*v + 6 = -2*v + 3*j, 2*v - 5*j + 21 = n for v.
-3
Suppose -a = 2*t + 2*a - 11, -3*t = -2*a - 10. Suppose 4 - 20 = -t*c. Solve 0 = -4*x - w - 1, -c*x - 4*w - 1 - 3 = 0 for x.
0
Suppose 7 = 8*j - 33. Solve -2*u - 5 = j*y + 3*u, -2*u - 12 = 4*y for y.
-5
Let r(i) = 2*i**3 + 35*i**2 + 16*i - 15. Let o be r(-17). Solve 2*v - o + 1 = 3*k, -2*v - 11 = k for k.
-3
Let w(u) = -2*u - 13. Let h be w(-9). Suppose -x - h*t - 5 = 4*x, 3*x - 2*t = 22. Solve 0*l 