Let a be h(d). Let g be -3*a/12*22. Solve -4*k + 4 = 0, -p + 4*k = 4*p - g for p.
3
Let x(s) = -s - 1. Let h(y) = 5*y + 4. Suppose -3 = -3*p - 15. Let j(w) = p*x(w) - h(w). Let d be j(-2). Solve -2*f = f + 5*l + d, -4*f = -5*l - 9 for f.
1
Suppose -w + 0*w + 4 = 0. Suppose 458*o = 459*o - 12. Solve -3*a + 13 = 5*z, w*z - 48 + o = 4*a for a.
-4
Let q(o) = o**2 - 7*o - 20. Let h be q(9). Let p be (16/7 - 2) + h/7. Solve -4*a - 20 = 3*j, -4*j + 7*j - 2*a - 10 = p for j.
0
Let s(r) = 7*r + 1. Let h(m) = -15*m - 1. Let i(n) = -3*h(n) - 7*s(n). Let k be i(-1). Solve -3 = 3*u + 4*t, k = 2*u + 4*t - 1 + 3 for u.
-1
Suppose a + 2*a = 2*q - 3, 2*q + 12 = -2*a. Let t be (-4)/a*54/36. Solve -b = 3*p + 2, t*b + 7*p - 2*p + 4 = 0 for b.
-2
Let w(j) = 1 - 1 - j**3 - 5*j**2 + 2*j**2. Let t be w(-3). Suppose k - 9 = 4*v - 3, -2*k - 5*v + 25 = 0. Solve t*b + k = -4*i - b, 3*i + 5*b = -16 for i.
-2
Let y = -46 + 74. Let c be y/(-21) - 1/(-3). Let a = 9 + c. Solve -4*x - 4 = -3*q, -q + 4 = 4*x - a for x.
2
Let w(c) = c**3 - 13*c**2 + c + 7. Let s be w(13). Suppose -3*f = f - 80. Let v be 24/s*f/6. Solve 13 = -0*k - 5*k - v*p, 3*k = -5*p for k.
-5
Let o be (-35)/(-21) - 1/(-3). Solve -o*w - 5*h = 2, w + 3 = 2*h + 11 for w.
4
Let w be 10/(-45) - ((-16)/(-9) - 2). Suppose 0 = -h + x + 11 + 1, w = -2*h - 2*x + 40. Solve -s + h = -2*s + 3*c, 5*c = -s + 16 for s.
-4
Let w be (-11 + 10)/(1/(-15)). Suppose 5*y - 75 = w. Solve 0 = 5*f + 2*t - 0*t - y, t + 5 = f for f.
4
Suppose 8370*l - 8366*l - 16 = 0. Solve b + l*b = -3*v - 3, 4*v + 4 = -b for v.
-1
Let o(q) = q - 32. Let w be o(41). Solve 5*g = -2*x + 2*g + w, 0 = -3*x + 3*g + 6 for x.
3
Let u be -33 - 7 - (-1*2 + 2). Let q be (1 - -6) + 0 + 1. Let i be q/u - 71/(-5). Solve 3*h = 4*h + 4*n - 1, i = -5*h - n for h.
-3
Let h = -492 + 497. Solve 3*t + 3*i + 18 = 0, h*t - 5*i = 13 + 7 for t.
-1
Let x be 3 - (-3)/(9/(-3)). Suppose -2*r + 18 = 2*r - 2*i, -20 = 4*i. Solve -2*v = -4, r*l - 4*l - 3*v = -x for l.
-2
Let m(k) = -7*k. Let g be m(-1). Let x be 4/8 + g/2. Suppose -5*j + 5 = -10. Solve r + j*r + 16 = 0, -5*o + 26 = -x*r for o.
2
Let h(l) = -2*l**2 - 93*l + 50. Let i be h(-47). Solve -4*b = -b + r + 14, 2*b + i*r = -14 for b.
-4
Let n = 70 + -62. Let t be (n/14)/(136/(-28) - -5). Solve w + 5*r = r - 13, t*r = -5*w - 17 for w.
-1
Let q be 0*1/2*(-1 + 0). Solve -3*p + 3*r + q*r = -21, -3*r + 14 = 4*p for p.
5
Suppose -t - 61 = -4*w, -3*t - 53 = -2*w + 2*t. Solve 0 = -m + 5*z - w, -2*m + z - 5*z = 0 for m.
-4
Suppose 5*u = j + 159, 4*j - 5 = -1. Suppose -3*r - u = -41. Suppose 0*w - 5*w + 80 = 0. Solve 0 = -x + 2, r*x - w = -5*a - 0*a for a.
2
Let v(g) = -g**2 + 18*g + 40. Let m be v(20). Let h(x) = x**2 - x - 4. Let t be h(3). Suppose -t = -m*q - q. Solve -q*p + 12 = 2*j, 3*p + 0*j - 21 = -4*j for p.
3
Let z(y) = -3*y**2 - 5*y - 3. Let p(a) = 5*a**2 + 11*a + 6. Let n(d) = 4*p(d) + 7*z(d). Let o be n(9). Solve 0 = 3*u + o*v - 5*v - 10, u = v + 4 for u.
2
Suppose -3*b + 58 = 55, -5*b + 17 = z. Suppose s = 5*l + 3 - 0, -3*l = -2*s + 6. Solve 6*m + 4*p = 2*m - z, -2*m - s = -p for m.
-2
Let j(h) = 7*h + 48. Let l be j(-6). Let p be ((-5)/(-3))/(2*1/l). Solve 0 = -i - w + 2, -2*i + i + p*w = 22 for i.
-2
Let g = 91 + -69. Suppose -6*v - 64 = -g*v. Let c be 4/(-10) - (-135)/25. Solve 0*x = 2*n - v*x - 2, c*n + 4*x = 5 for n.
1
Suppose -2*i + 0 + 5 = 3*c, 0 = -5*i - 4*c + 16. Let h be (-9)/(-18)*(i - -1 - 1). Solve 4*s - 4*o = -32, 5*s - h*o = -7*o for s.
-4
Suppose 0*a - 3 = a - 2*r, -5*r + 15 = 0. Let c = -603 + 606. Solve -7*v + 23 = -3*w - a*v, -c*w = 2*v - 7 for w.
-1
Suppose x + 2*r - 13 = 0, 10 = -2*x + 5*r - 0. Suppose 7*a = x*a. Suppose 5*f - b + 4*b = 24, -2*b + 6 = a. Solve f*k - 2*o - 4 = 0, -k = -0*k - 3*o + 1 for k.
2
Suppose 4*z + 536 = -5*v, v + 2*v + 316 = -z. Let o be (-3)/2*v/39. Solve -5*w + 0 = -i - 3, -o*w = 0 for i.
-3
Suppose -4*k - 3*m = -75, -k + 14*m + 9 = 18*m. Solve -5*l + k = 2*f, 0*f + 3*l - 18 = -3*f for f.
3
Let q be (3 - 2) + (-2)/(10/(-5)). Solve -2*k + 0*k - 4 = -q*x, 5*x - 1 = 2*k for x.
-1
Let z = 67 - 61. Solve -i - 4 = o, 0 = z*o - o + 15 for i.
-1
Let i be (21/(-9))/(5/(-15)). Let n = i + -4. Let q = -7 + 10. Solve 0 = q*k + 3*o + n, -3 = 5*k + 2*o + 8 for k.
-3
Suppose -2*m - 7 = -4*z - 1, 12 = 3*m + z. Solve -3*l + 7*l + 8 = 2*r, -m*l - 4 = -2*r for r.
-4
Suppose 9*m + 3 = 10*m. Solve p - 5*f + 2 = m*p, -5 = -5*p + 2*f for p.
1
Suppose 6 - 10 = c, 2*c - 136 = -4*d. Solve 4*n = 2*u - d + 10, 3*u + 1 = -4*n for n.
-4
Let f be 4/(16/10)*(15 + -13). Solve -20 = -5*h + 3*i, f*h - 3*i = -i + 20 for h.
4
Let w(t) = t**3 - 19*t**2 - 18*t - 40. Let q be w(20). Solve r = -l, 6*l - 4*l + 4*r + 10 = q for l.
5
Let l = -77 - -102. Suppose 8*i = 23 + l. Solve -2*n = -4*v - i, -3*v = 5*n + v + 13 for n.
-1
Let w(n) = -n**2 + 6*n + 5. Let r be w(6). Suppose r*u - 22 - 3 = 0. Let f be -3 + 2 - (8/(-4) + -1). Solve -5*d = 2*b + 13, u*d + 2*b + f*b + 11 = 0 for d.
-3
Let t = 232 + -227. Suppose -p + 1 = -3. Solve -2*z = t*u + 7, 0 = -3*u + p*u - 5*z + 23 for u.
-3
Let l be 440/(-160)*4*(-1)/1. Let g(t) = -2*t + 1. Let z be g(-3). Suppose -z*n + 2*n = 0. Solve 2*a - 3*j + n*j = -6, 5*j = 3*a + l for a.
3
Let i be -2 + (-8)/1*(-7)/14. Suppose -5*u + 5*r = -u - 49, i*u - 32 = 4*r. Solve 5*z + 3*j + 32 = u, -j - 10 = 2*z for z.
-4
Let q(d) = -2*d + 23. Let l = 11 + -1. Let j be q(l). Solve -2*g - 1 = -g, b = -2*g + j for b.
5
Suppose 3*i - 13 + 40 = 2*m, 5*m - 5*i - 55 = 0. Suppose -3*p + 2*d = -7*p - m, -5*p - 5*d - 20 = 0. Solve -4*x + 3*h - 10 = 0, -5*h = p - 11 for x.
-1
Let p(x) = -x**3 - 12*x**2 - 13*x - 17. Let z be p(-11). Solve -7*d + 2*b = -2*d - 11, d + 2*b + z = 0 for d.
1
Let r be (1 + -1)/(-3) + 3 + 1. Suppose -3*f + 12 = 3*l, l + 2*f = -0 + r. Solve -3 = -5*i - 2*h - 0, 4*i + 2*h = l for i.
-1
Let a be (1*6/1)/(9/6). Solve -5*j - 4*t + 5 = -2*t, -4 = -a*j - 3*t for j.
1
Let a(u) = u**3 + 5*u**2 - 6*u + 8. Let w be -7*12/70*5. Let i be a(w). Let b be 1083/171 + 1*2/(-6). Solve 2*v - i + 4 = 0, q + b = 5*v for q.
4
Suppose -5*a + 24 = 14. Suppose 3*n - 2*m = -4*m + 18, a*n = 5*m + 12. Let l be 16/n - (-6)/(-9). Solve -l*b - 3*x + 6 = -5*b, -3*x = 5*b - 22 for b.
2
Let x(y) = 7*y**3 + 2*y**2 + y + 5. Let j be x(3). Suppose 11*c - j + 61 = 0. Solve 0 = 4*d - 4*t - 12, -2 = 4*d + 5*t - c for d.
3
Suppose -5*k = 5*d - 95, k - 40 = -2*d - 2*k. Suppose 2*g = -4*i + 12, 3*g - 7 - 3 = 2*i. Solve -o - 15 = g*o, 0 = b + 4*o + d for b.
-5
Suppose -12*q - 56 = -16*q. Let p be (q/4 - 3)*50. Solve h - k = -4*h + p, -5*h - 5*k = 5 for h.
4
Let y = -1833 - -1844. Solve 0 = s - 3*t - y, 0 = 5*t + 17 + 8 for s.
-4
Suppose -2*q + 2 = p, 5*p + 35 = -9*q + 14*q. Solve q*n - n - 7 = 3*i, 5*i = -25 for n.
-4
Let k(w) = -w + 0*w**2 - 3*w**2 + w**2 + 3*w**2. Let g be k(2). Suppose -3*j = -2*j - 2. Solve 5*v + 0*a + 4*a + g = 0, j*a - 6 = v for v.
-2
Suppose 0 = 4*i - 3*c, -5*c + 108 - 82 = 2*i. Solve 0 = 4*n - b + 3, -n + 18 = -b - i*b for n.
-2
Let q(k) = 2*k**2 - 21*k + 37. Let b be q(2). Solve -3*c + b*v = -v - 4, 4*c = v - 12 for c.
-4
Let y be (9/3 - 3)/1. Let h(m) = m - 11. Let f be h(13). Suppose -2*z = -5*b - 33, 3*z - 14 = f*b + 8. Solve -4*u - 3*l - l + 40 = y, 3*l + 5 = z*u for u.
5
Let b be (-2)/7 + 120/28. Let i be 2/b*(-3 + 9). Let y = i + -3. Solve k - 3 = 0, y = 4*w + 2*k + k - 5 for w.
-1
Let f(h) = -h**3 - 9*h**2 + 10*h - 5. Let q = -39 + 29. Let y be f(q). Let v be 3 + 1 + (y - -3). Solve -v*j + 1 = -3*n - 15, -20 = -2*j + 5*n for j.
5
Let q be -15 + 9 + 22 + 7. Solve -3*a + 5*s = q, -a - s + 3 = -0*a for a.
-1
Let b = -762 + 768. Solve -b = 2*f - 4*q, -4*f + 19 = 3*q - 13 for f.
5
Let n be (-352)/(-28) - (-9)/21. Suppose -n*r - 14 = -15*r. Suppose -8 = -r*m + 6. Solve 1 = -2*s - o, m*s - 5 = -3*s - o for s.
2
Let s(q) = -26*q - 100. Let n be s(-4). Solve -4*b + n = -a, -3*a = 13 - 1 for b.
0
Let f be (-210)/(-51) + 42/(-357). Solve 3*b - 4*j + 2*j + 19 = 0, -f*b - 5*j + 13 = 0 for b.
-3
Let j = 18 - 13. Suppose j*y = l - 2*l + 12, -5*y - 3*l + 6 = 0. Solve -4*w + f = -17, -y*w + 5*f = w - 5 for w.
5
Let g(f) = f. Let u be g(3). Let z = -5612 + 5614. Solve u*l - 4*v + 4 = 0, v - z = -l - 1 for l.
0
Let f be 106/22 - 8/(-44). Suppose -i - 2*i = f*u - 133, -113 = -3*i - u. Let v be -6*-3*8/i. Solv