-5*c for o.
-2
Suppose 5*r = -s + 68, -s + 112 = 4*r + 41. Let c = s - 73. Solve 2*a + 3*z + z - c = 0, -z = a - 4 for a.
3
Suppose 2*m + 2*h - 30 = -h, 5*m - 3*h - 33 = 0. Suppose 0 = -63*z + 60*z + m. Solve v + 2 = 2*v, -3*r = 3*v + z for r.
-3
Let b(r) = 2*r - 79. Let k(c) = 2. Let p(z) = b(z) + 3*k(z). Let t be p(38). Solve 3*f = -0*j - t*j - 12, -12 = 2*f + 4*j for f.
-2
Suppose -2*k = -2*l - 0 - 6, -3*l - 9 = -k. Let w(q) = 5*q + 1267*q**2 - 3*q - 1261*q**2 - 8 - q**3. Let i be w(6). Solve i*h = 3*p + 4, p = -k*p - h - 6 for p.
-4
Let x = -123 + 135. Suppose 22 = 5*n - p, -9*n = -x*n - p + 18. Solve -2*s = -n*r + 6, 4*s + 0 = 8 for r.
2
Let w(x) = -x**2 - 25*x - 78. Let k be w(-20). Suppose -10 = 17*j - k*j - 4*u, -j + 2*u + 2 = 0. Solve 2*d = g, 0 = 2*g + j*d - 0*d for g.
0
Let w be -6 - (-15 + (-4 - -10)). Let s(n) = n**2 - 4*n. Let c(k) = -3*k - 13. Let h be c(-6). Let a be s(h). Solve -w = 4*j + 9, -10 = b + a*j for b.
5
Let d be (-21)/(-6)*(-108)/63. Let x be (d/12)/1*24/(-2). Solve 0 = 4*v + 2*a - x*a + 16, -2*v - 5*a - 1 = 0 for v.
-3
Let p = -1242 - -1244. Solve p*r - 2*l + 14 = l, 0 = 2*r - 2*l + 12 for r.
-4
Let b = -3983 + 3987. Solve -b*o - 2 = -3*d, -35 = 5*o + 4*d - 48 for o.
1
Let r(n) = 8*n - 133. Let x be r(18). Suppose -x*m + 68 = -9. Solve -2*q = -h, -q - m = -3*h - h for h.
2
Let s(m) = 10*m - 16. Let o be s(2). Let k(p) = 10*p - 265. Let i be k(27). Solve -g = 5*v + o*g, 30 = i*v - g for v.
5
Let c be (-34 - -16) + 8 - -10. Solve 16*n = -3*x + 20*n - 34, 4*x - 3*n + 36 = c for x.
-6
Let w = -11 + 81. Suppose -4*a + 0*a + 40 = 4*v, 5*v = -a + w. Suppose -5*r + 0*r + v = 0. Solve 5*h = -2*o + 13, -o - 2*o - 12 = -r*h for h.
3
Let d(r) = -r**2 + 98*r - 1699. Let v be d(75). Solve -2*o - 4*g = v - 20, 9 = -o - 4*g for o.
3
Suppose 0 = -28*j - 22*j. Solve -4*z = -3*m + 28, j*m + 12 = -2*m - 5*z for m.
4
Let m be (2 - 0) + -4 + 3 + 2. Suppose -m*g + 10 = -4*i, 33*i - 30*i + 3 = 0. Solve -g*q = 5*b + 29, -2*b + 5*b = -5*q - 25 for q.
-2
Let g be ((-2)/(-6) + 1)/((-3)/(-9)). Suppose g*o - 24 = 8*o. Let p(i) = -i**2 - 9*i - 14. Let s be p(o). Solve 3*m - 2*k + 6*k - 8 = 0, -4*m + s*k = 8 for m.
0
Suppose -4019*j - 320 = -4039*j. Solve -j*f + 3 = -19*f + 2*n, -2*f + 4*n = 10 for f.
1
Let m = -3765 - -3788. Solve 0 = -m*l + 22*l + 3*w, 5*l + w = -16 for l.
-3
Let k be -2 + 2/(-4)*420/(-30). Solve -82 + 84 = 2*v - 4*u, 4*u = -k*v - 37 for v.
-5
Let p = 19 + -2. Let z = -101342 - -101347. Suppose -14 + 2 = -3*q. Solve q*t - z + p = 4*k, -k + 5 = t for t.
1
Suppose 18*s + 16*s + 49*s - 664 = 0. Solve 4*y = 2*m, s*m - 5*m = y + 10 for y.
2
Let j be -5 + 2 + 15 + -9. Suppose -j*b = 5*u - 5, 9*b + 2*u = 4*b + 21. Solve -b*f = -4*p - 0*p - 6, -7 = -2*f - 3*p for f.
2
Suppose -47*h - 22*h + 47 = -298. Solve -5*l + h = -5*z, -2*l - 3*z = -l - 5 for l.
2
Let d = -132 - -132. Suppose k + i - 14 = d, -3*k + i + 62 = -0*k. Solve -2*m = -z + 3*z - 14, 5*z - k = -m for m.
4
Suppose 51*t = 192*t + 288 - 993. Let w be (-7)/4*(-12)/3. Solve -2*p - 8 = -5*f, -f = -t*f + p + w for f.
2
Suppose 0 = k - 5*k + 8. Suppose 20 = 3*b - 5*y, -k*b + 9*y = 5*y - 14. Solve b*u = -3*m - 14, -5*u - m = 4*m + 10 for u.
-4
Suppose -75*d + 323 = -58*d. Solve 2*u = u - 5*p + d, -u = 4*p - 16 for u.
4
Let y be 1 + 1 - 4 - 36/(-4 - 2). Solve y*m + 5*k = 43 - 6, 4*m = 5*k - 13 for m.
3
Let d be (55/33)/((-315)/81 + 4). Solve 3*m = -5*n - d, -4*m = -3*n + 6*n + 9 for n.
-3
Suppose -10*b + 26 = 3*b. Let i be 0*(12/(-8) + b). Suppose -15 = -i*h - 3*h - 5*g, -3*h + 3*g + 39 = 0. Solve 0 = 5*f - 2*n - 12, 2*n = -5*f + h - 2 for f.
2
Let k(w) = -5*w - 20. Let d be k(-13). Let o be (-485)/d + 11 + (-25)/(-9). Solve -2*t = -2*s, -s - o*t = 2*s for s.
0
Let l = -23850 - -23853. Solve -t - 17 = -l*q, -2*t = 2*t + 5*q - 17 for t.
-2
Let i be 2 - (2 - (8 - -4)). Suppose 4*m = i*m + 16. Let l be ((m - 1)/3)/((-1)/2). Solve -3*x + 6*x - 6 = -3*j, 2*j = 4*x - l for j.
1
Let s = -1 - -5. Let f = 183 + -179. Suppose -3*g + g + 22 = -4*p, -f*g + p + 16 = 0. Solve s*r + 4*d = -0*r + 12, -r + d = g for r.
0
Suppose -5*c - 3 - 7 = -4*x, 0 = 2*x - 5*c. Let v = -661 + 676. Solve 0 = x*l - o - v, 3*o - 4 = 11 for l.
4
Let h = -199 - -199. Suppose -k - 2*f = f, -2*k + 5*f = h. Let l(y) = -y + 6. Let p be l(0). Solve -p = m + 5*j, k = -j + 3 - 5 for m.
4
Let t(g) = -12*g**2 - 60*g + 2. Let n be t(-5). Let a(m) = m + 5. Suppose -3*f = f. Let u be a(f). Solve 2 = x + u*b, -6*x + b + 8 = -n*x for x.
2
Let p(t) = 2*t**2 - 17*t + 25. Let a be p(7). Solve 15*g - 10*g - 5*k - 10 = 0, -5*g + 11 = -a*k for g.
3
Let x(z) = -18*z + 617. Let m be x(34). Solve -8*d + m*d = -3*s - 9, 3*d - 9 = 0 for s.
0
Let f = -4341 - -4345. Solve 4*n - 32 = f*u, 0*u + 4*u + 35 = 5*n for n.
3
Let o = 93 + -92. Let b be ((-2)/16 + (-492)/(-96))/o. Solve 3*k + 3*r - 12 = 0, -1 = b*k + 3*r - 15 for k.
1
Suppose x + 2*t + 6 = 2*x, -85 = -5*x - t. Suppose -4*y = 4*y - x. Suppose 0 = -4*u - u. Solve u*s = s + y*o, -5*o - 6 = 4*s for s.
-4
Suppose -2*t = -2*r + 8, 0 = -t - 5*r + 2 + 36. Solve -b - 14 = 2*q, -t*q - 20 = 4*b + 11 for q.
-5
Let r(h) = -100*h + 930. Let a(q) = 9*q - 84. Let z(j) = -45*a(j) - 4*r(j). Let w be z(7). Solve 3*n - 5*k = w, -5*n + 3*k + 24 + 7 = 0 for n.
5
Let v = 164 + -147. Suppose v*q = -25 + 110. Solve -j + 2 = p, 4*p = -3*j + 5 + q for j.
-2
Let r be -2 - -12 - (95 - 87). Solve 5*q - 2*y = -22, -r*q = 4*y - 9*y + 34 for q.
-2
Let x be 2/(-7) - 60/(-14). Let q = 357 + -371. Let m(a) = -a**3 - 12*a**2 + 30*a + 32. Let k be m(q). Solve 2*p - 18 = x*l, -k*l + 4 = 5*p + 1 for p.
3
Suppose -x + 3*h - 5 = 0, 3*x - 8*x + 5*h - 15 = 0. Let d be 10/(0 - x)*(-4 + 5). Solve -z = 2*r + 8, z = -d*r - 4*z - 20 for r.
-4
Let u(b) = -b**3 + 4*b**2 - 4*b + 8. Suppose 0 = -t - 7*t + 352. Suppose -t = c - 47. Let y be u(c). Solve 0 = 5*n + 4*v, 2*n - y*n = 4*v - 8 for n.
-4
Let t = 125 - 173. Let q be (t/20)/((-12)/40). Solve j + 3 = -3*k - 8, 2*j - q = 4*k for k.
-3
Let u(g) = -236*g - 1404. Let a be u(-6). Solve w = 2*l - 10, a = 5*l + 8*w - 4*w for l.
4
Suppose 0 = 3*g + x + 241, 0 = 3*g - 0*g - x + 239. Let u = g + 81. Let a be 2 + u + 2 + -2 + 1. Solve 2*v - 6 = -0*v, -a*l + v = 11 for l.
-2
Let x be 1 + 4 - (1 - 0). Let l(o) = -2256*o - 139869. Let r be l(-62). Solve -x*q + 0 + 14 = r*i, -4*i - 4*q = -12 for i.
-2
Let x be 60/(-200) + 14709/30. Let y = x - 488. Solve -3*b + 20 = -5*m + y*b, -2*m - 4*b - 14 = 0 for m.
-5
Suppose -4*p = -5*s - 3*p - 3056, -5*s - 3048 = -3*p. Let c = s + 617. Solve 0 = -5*y + c*o, 2*y - o - 12 = -3*o for y.
3
Suppose -2*p + 3*f + 10 = 0, 0 = -3*f + 4*f. Suppose -177 + 782 = 11*j. Suppose 48*l = 89 + j. Solve l*h + 11 = p*t - 3, -2*t + 14 = 3*h for h.
2
Let z = 917 - 902. Let g(v) = -v**2 - 26*v - 66. Let q be g(-23). Suppose 1 = r - 2. Solve h + 7 = -r*k, k = -2*k - q*h - z for k.
-1
Suppose -2*r - 3*r + 40 = 0. Suppose -r*g - 26 = -106. Suppose -2*s + 4*s = g. Solve 0*m = -3*m - l - s, 4*m + 8 = -2*l for m.
-1
Suppose -16 = -17*y + 18. Let o(q) = -44*q + 106. Let x be o(y). Solve 0 = 4*n - m + 27 - 8, 2*m = 3*n + x for n.
-4
Let q(x) = -x**3 + 43*x**2 - 185*x - 218. Let v be q(6). Solve w - 15 = 4*w, 5*y + v*w + 20 = 0 for y.
0
Let y = -3732 + 3736. Solve -4*f + 58 = -4*w + 54, -2 = 5*w - y*f for w.
2
Let i = 14733 - 14731. Solve -8 = -5*l + r, 2*l - 10 = i*r - 2 for l.
1
Suppose -6*s + 36 + 30 = 0. Suppose -11 + s = 5*d. Solve -m + 3*w = -3*m + 12, d = -m + 3*w - 3 for m.
3
Let v(i) = 7*i**2 + 5*i - 23. Let o be v(3). Suppose 3*w + 64 = o. Let q be (w - 0)/((-6)/24*6). Solve q*h + 27 = -2*h - 3*r, 4*h - 2*r = -2 for h.
-3
Let i(t) = -2*t**3 + 747*t**2 - 744*t**2 + 53 + t**3 - 9*t. Let x be i(4). Solve -p + 10 = 5*m, m - x = -m - p for m.
3
Let y be (164/(-10))/(1/(-5)). Suppose x - y = 3*w - 3*x, -2*x - 64 = 2*w. Let u = w - -32. Solve 5*j - u*z = 5, -5*j + 0*j = 2*z + 15 for j.
-1
Let a be 3 - (1 + 3 + -10). Suppose a*s - 12 + 3 = 0. Solve -3*l = -4*v - 32, -l = -4*v - 25 + s for v.
-5
Let q = -405 - -397. Let w be (3 - (-4 - q))/(16/(-48)). Solve 2*t - t + l + 3 = 0, -5*l = 2*t + w for t.
-4
Suppose -m + 13 = 3*n, -5*n = -23*m + 19*m - 33. Suppose -n*k = k + 2*k. Solve 0*p - 4*p - 2*g + 10 = 0, k = -5*p - 3*g + 12 for p.
3
Let m(j) = 3*j**3 - 104*j**2 - 32*j - 105. Let h be