55. Let r = -47 - t. Solve 2*m + o = r, -3*m + 11 = -o - 3*o for m.
1
Let k(p) = p**2 + 11*p + 20. Let l be (7 + 26/4)*2/(-3). Let z be k(l). Suppose 0*t - 3*t = -54. Solve -d + z*h = 5 - 2, -2*h + t = 2*d for d.
5
Let v be 3 + -1 + 1 + (-2)/1. Suppose -4*r = r - 25. Suppose 10 = r*t - 5*i, 0*i + 9 = 2*t + 3*i. Solve -4*s + 8 = -t*w, 3*s + 3*w = 4*w + v for s.
-1
Suppose 0 = -0*k + 3*k - 9. Suppose 1 = -g + k, 3*u - 12 = -3*g. Let r = 5 - u. Solve -2*f - 11 = -n, -r*n + 2*f - 3*f - 2 = 0 for n.
1
Let o = 1882 + -1880. Solve -o = 5*y - y + 5*f, -5 = 3*y + 2*f for y.
-3
Let s(u) = -u**2 + 7*u - 7. Let p be s(5). Suppose 4*y - 105 = p*t - 20, -90 = -3*y - 3*t. Solve 7*j + y = 5*m + 2*j, -3*j = -m + 7 for m.
4
Let a(q) = -2*q**3 - 2*q**2 + 2*q + 1. Let u be a(-2). Suppose 7*l = u + 9. Solve 2*z + 4 - 9 = x, 4*x = -l*z + 10 for x.
1
Suppose 82 = 3*v + 4*w - 6, 5*v - 104 = 4*w. Suppose v = 6*k - 6. Solve 4*h - 1 = k*f + 5, -4*f - 4*h + 24 = 0 for f.
2
Let b = -1318 - -1321. Solve s + 4*x - 13 = 0, -2*s - 10 = b*x - 4*x for s.
-3
Suppose -30 = -4*o + 2*l - 6, 2*l = -2*o. Suppose 2*m - 4 = m. Solve 5*c - 3*c = -m*y - 6, -o*y = -c + 3 for y.
-1
Suppose 0 = -g + 9*b - 5*b + 8, 4*g - 5*b - 21 = 0. Solve -9 = g*y - k, 5*y = 7*y - k + 5 for y.
-2
Let u(h) = -3*h + 6. Let q be u(2). Solve -12 = -q*b + 4*b - p, -2*p + 8 = -4*b for b.
-4
Suppose -4*s - 148 = -4*p, -3*s - 166 = -4*p - 5*s. Let n = p + -35. Solve -n*w + 4 = 4*b, 0 + 4 = 4*b for w.
0
Suppose -22*r = -17*r + 65. Let m = 18 + r. Suppose 32 = m*u + 12. Solve -5*d = -2*n + 25, n - 3*d = u*n + 15 for n.
0
Suppose 10*d + 24 = 14*d. Let f = 8 - d. Solve -o - 3*s = f*o, 5*o - 5*s = 0 for o.
0
Let h(g) = -g + 29. Let a(q) = -2*q - 5 + 9 - q. Let s be a(-3). Let b be h(s). Solve 20 = -4*v - 7*i + 3*i, 4*v - 5*i = b for v.
-1
Let f = 181 + -169. Solve s - 3*j + f = 0, -3*j = -2*s - 8*j + 31 for s.
3
Suppose -7*w + 11*w = -x + 6, 10 = 2*w - 3*x. Solve -5*y + 9 = -w*b + 33, -2*y - 4 = 2*b for b.
2
Let r(l) = -2*l - 4. Let w be r(0). Let h be -2*(36/(-8) + w). Solve h = -2*k - 3*q, -3*k - 2*k = -q + 17 for k.
-4
Let q(r) = -16*r + 26 - 7 - 6 + 17*r**2 - 11 - r**3. Let p be q(16). Solve -7*g = -2*g - 4*f + 5, -4 = 4*g + p*f for g.
-1
Suppose -33*y = 36 - 135. Solve -3*d + 4*d - y*i = 10, 2*d = -4*i for d.
4
Suppose 0 = -2*i + 8*i - 270. Let b be ((-4)/(-10))/(6/i). Solve 31 = -5*x - 4*z, 0*x = -5*x - b*z - 27 for x.
-3
Let d be (7 + 0)/((-4)/(-12)). Suppose 0 = 3*g - 5*x - d, -4*x = -g + 18 - 4. Suppose -18*o = 16*o - 408. Solve 4*k = -n - o, 3*k = n - 0*k - g for n.
-4
Let u be ((-91)/(-14))/(3/(-6)). Let n = u + 22. Suppose 3*h + 24 = n*h. Solve -y + 16 = -7*t + 3*t, 3*y = t + h for t.
-4
Suppose 4*r - 6 = q, 2*r = 2*q - 5*q + 10. Let l(o) = 5*o + 43. Let d be l(-8). Solve q*u - 2*n - 2 = 0, 2*u - 4*n - 14 = d*u for u.
-2
Suppose 4*m = -4*j + 84, j + 0*j - 3 = 0. Suppose -19*o = -m*o - 4. Let q = 4 + -1. Solve 0 = -i + q*v - 13, o*v - 13 - 5 = 2*i for i.
-1
Suppose 9*l - 4 = 14. Let q(p) = 4*p. Let c be q(1). Solve l*o + m + 9 = 0, -3*o + c = -2*m + 21 for o.
-5
Let k(v) = v**2 - v - 14. Let m be k(0). Let b(c) = 2*c + 33. Let z be b(m). Solve -2*g + 21 = -z*n, n = -g + 5*n + 18 for g.
-2
Let g(z) = z**2 + 2*z + 5. Let y be g(0). Suppose 2 = x - 10. Suppose y*m + x = v + 3*m, 3*m = -v + 32. Solve 0 = d + 5*p - 16, 2*d - 5*p = -2*p - v for d.
-4
Let b be -1 + ((-8)/(-36))/(4/18). Solve 3 = -0*r + 3*r - 2*c, b = 3*c + 9 for r.
-1
Let n be 5 - (0 + 0 + 5). Suppose n = 10*k - 15*k + 10. Solve 0 = k*g + 2*u - 20, -2*g - 4*u + 30 = -0*u for g.
5
Suppose 3*n - 208 = -o, -3*o = -5*n - 0*o + 342. Let c = -64 + n. Solve -5*w + 6 = 2*a - 3, -c*a + 4*w = 27 for a.
-3
Suppose 0 = 3*m + 4*i + 4, 58*m - 12 = 53*m - 2*i. Solve 2*c - m = -4*l, 0 = -4*c + 2*c for l.
1
Let g be (-11)/(-4) + 2/8. Let c = 496 - 490. Solve -2*j + b - g*b = c, -j + b = -5 for j.
1
Let a be 0*(0 - (-5)/(-10)). Solve a = -z + 5*n + 12 + 2, -4*n - 16 = 4*z for z.
-1
Let q(m) = 4*m + 8. Let c be q(-10). Let i = -28 - c. Solve 0 = -2*b + h + 2, -2*h - 1 = i*b - 7*b for b.
3
Let f be -2*2/14 + (-37)/(-7). Suppose -f*p + 20 = 0, -3*p - 2*p = 3*x - 32. Solve -x = -2*k, -4 = 3*b + 2*b + 3*k for b.
-2
Let m be -4*(0 - (-14)/8). Let g be (0 + 12/(-21))*m. Solve -v = g*b + 7, v + 5*b = 2 - 10 for v.
-3
Let q(g) = g**2 - g - 20. Let j be q(5). Suppose -h + k + 4*k - 3 = j, k - 7 = -3*h. Let v be 0/(-1)*1/(-2). Solve 3*z - 2 = t, 0*z - z + h*t - 1 = v for z.
1
Let h(u) = -u**3 + 14*u**2 + 16*u - 9. Let b = -30 + 36. Let k be 6/2*(11 - b). Let d be h(k). Solve 3 = 3*i - d*i - 3*z, 4*z + 12 = 0 for i.
2
Let i be (2/2)/(2/6). Suppose 75 = 3*x - 0*x + u, i*u - 33 = -x. Suppose -5*n - x = -11*n. Solve 5*j - 33 = n*w, -w = -5*w - 3*j + 7 for w.
-2
Let m be (-24)/(-36) - (0 + 14/(-6)). Suppose l = 2*s + m, -3*s + l - 3 = -2*s. Solve -4*j + 3*j + 5*p = 0, s = -3*p for j.
0
Suppose -67 = -9*d + 5. Solve 5*v = 0, -4*u = -2*v + v + d for u.
-2
Suppose 0 = 2*y + 5*w - 31, 5*y - 2*w = w. Solve 6 = y*g, -r = -3*g - 2*g + 8 for r.
2
Let t = -606 + 607. Solve -2*z + 13 = -g, 0 = -4*g + 4*z + t - 33 for g.
-3
Let d = 75 - 35. Let w = d + -38. Solve -5*u - 6 = -5*f - w*u, -2*f + u = -2 for f.
0
Let r(g) = -3*g - 52. Let z be r(-19). Suppose -35 = -5*y + 5*d, z*y + 2*d = 4*d + 20. Solve 12 = 2*x - 0*a + 2*a, 0 = y*x - a for x.
2
Let b be 32/(-14) + 2/7. Let v = b + 8. Suppose -5*k + v = -44. Solve 0*q - 3*q = 5*n - 15, k = 2*q - 5*n for q.
5
Let b = 160 - 162. Let w be -3 - -6*2*b/(-6). Suppose 4 = -0*f + f. Solve m + w = 3*o - f, 18 = 3*m + 2*o for m.
4
Suppose 5*q - 23 = -2*z, -q + z = 4*z - 15. Let s(r) = -26*r**2 + 5*r + 6 + 44*r**2 - 19*r**2. Let p be s(6). Solve -q*o = 5*g - 14, -o + g = -2 - p for o.
3
Suppose 9*i = -2*i + 1023. Let t = -89 + i. Solve -2*y - 4*x = 0, -y - t*x = -6*x for y.
0
Suppose -5*l + 18 = -12. Suppose -10 = l*q - 11*q. Solve -4*z - 20 = 0, -q*f = -f + 3*z + 14 for f.
1
Let z(k) = -k**3 + 4*k**2 + k - 3. Let t be z(4). Let o be (-5)/50 - 2/(-20). Let n be (-2 + o)*(-2 - -1). Solve t + 0 = -p + 2*s, n = -2*p - 3*s for p.
-1
Suppose -h = 4*h + 5*f, -h + 3*f = -12. Suppose 4*u = g + 43, g - 46 = -4*u + h*g. Let k = -19 - -26. Solve -4*c + x - 1 = 0, -k - u = 3*c - 4*x for c.
1
Let y be 77 + -79 - 4*-1. Suppose -2*s + 0*s + 5 = -j, -s + 2 = -j. Suppose 0 = 2*l - s - 7. Solve 2*d + 5*i - 7 = -y, -l*d + 4*i - 4 = 0 for d.
0
Let m(o) be the first derivative of -o**2/2 - o + 15. Let g be m(-3). Solve -3*s = -5*r - 23, -5*s + g - 5 = 2*r for s.
1
Suppose 24 = 4*h - 4*s, -7*s = -2*s + 25. Solve -a = 4*b - 6*a + 40, 3*b - h = -4*a for b.
-5
Suppose 0 = -3*p + 1 - 4. Let g = p - -1. Solve 6*w - w + 10 = -5*q, w - 3*q - 10 = g for w.
1
Let q(n) = -n**3 - 13*n**2 - 22*n. Let y be q(-11). Suppose 5*l - 55 = 40. Solve -k + 11 = 3*c - 0*c, y = -5*k - 3*c + l for k.
2
Let s be ((-108)/(-4))/(3/2). Suppose 2*c - 5*c + s = 0. Let v(p) = p**2 - 3*p - 15. Let h be v(c). Solve 5*u - 24 = h*u + 4*t, 0 = 2*u + 3*t + 4 for u.
4
Suppose 2*f = -f - s - 18, 3*f = 2*s - 18. Let x be (-9)/f - (-9)/(-2). Let g be 42*(x/6 + 1). Solve 5*c = -4*z + 40, 5*z = -3*c + 4*c + g for c.
4
Let r be (-6)/(-2) + -1 + -2. Suppose r*n - 186 = -4*l - 2*n, 5*l + n = 231. Suppose -6 = -4*o + l. Solve 5*t + 5*q = 25, 5*t + 5*q = 4*t + o for t.
3
Let m be (6 - 5)/(2/6). Solve -m*j = -2*j - 3*l + 12, -2*j + 3*l - 15 = 0 for j.
-3
Let v be -11 + 2/(-3)*-3. Let b be (-8 - -2)*v/6. Let j(c) = c**2 + 4*c - 2. Let t be j(3). Solve -3*h + b = -3*w, 5*h + 0*w - w = t for h.
4
Suppose 4*y + 30 = 3*f - f, 2*f - 23 = -3*y. Let i(t) = t**3 - 12*t**2 - 14*t + 31. Let n be i(f). Solve u + 0 + 6 = d, 0 = d + 5*u + n for d.
2
Let x(c) = -c**2 - 10*c + 6. Let t be x(-11). Let p be ((-1)/(-2))/(4*t/(-1080)). Solve -3*d = -2*j - 23, -2*d = -3*j + d - p for j.
-4
Suppose -3*s + 38*s = 105. Solve 0 = -5*t + 2*t + 12, s*t = -c + 17 for c.
5
Let f(l) = l**2 + 16*l + 5. Let b be f(-16). Solve b*q = 5*c + 13 + 27, 0 = -3*c - q - 8 for c.
-4
Let u(m) = -m**3 + 2*m**2 + m - 2. Let v be u(-2). Suppose 0 = p - 3*p + v. Suppose -2*g + 5*g = p. Solve -s + 2*l = -10, s - l - g - 5 = 0 for s.
4
Suppose -8 = -28*p - 8. Solve 2*n + 8 = p, -4*k - 4*n - 18 = -6*k for k.
1
Suppose 5*b = -4 + 29, -4*b + 20 = -5*n. Suppose -32 = -2*w + 