 l, 2*o + 20 = 4*z - 2*o for z.
1
Let t(j) = j + 20. Let c be t(-22). Let z be c - (-3 - 5/(-15)*-3). Solve 0 = z*u + 6, 5*u = 2*h - 1 - 6 for h.
-4
Suppose -w + 4*g + 19 = 0, -44*w + 49*w - 50 = 5*g. Solve -c - p = -w, -3*c + 5*p - 8 = c for c.
3
Let c = -3289 + 3301. Solve 4*g + c = -4*k, -k - 3*k - 3*g = 9 for k.
0
Suppose 3*b - 30 = c - 4, 5*c + 32 = b. Suppose 2*d - b + 11 = 0. Let n be 2 - ((-6)/d - 1)*1. Solve 3*p = 3*g - 12, 0 = 5*p + 2*g - n*g + 13 for p.
-3
Suppose 5*w - 3*o - 82 = 12, -2*w = 2*o - 44. Solve 4*t - 6*t = -3*k - w, -5*k - 8 = 3*t for k.
-4
Let s = 4331 + -4328. Solve 40 = s*g - 8*g - 5*y, -5*y = -4*g + 13 for g.
-3
Let o = -1677 - -1822. Solve 149*b - 16 = o*b, -5*b = v - 15 for v.
-5
Let p = 331 + -319. Let l be p/(6 + (6 - 10)). Solve -3*s + 3 = -3*n, -4*s - 2 = l for n.
-3
Let r = -22 + 38. Let s be -3 - (0 + 2)*(-56)/r. Suppose -21 = -5*b + s. Solve -b*n - 10 = 5*q, 5*n + 23 = 3*q - 11 for n.
-5
Let s = 186 - 181. Suppose -s*o = 3*v - 36, 0*v - o = -v + 4. Let g = -26 + 31. Solve -4*h + 2 = g*i, -i - 3*h + 0 = -v for i.
-2
Suppose -20 = -3*t + 94. Let z = -55 + t. Let y = 21 + z. Solve 0 = 5*i - v + 16, -y*i - i + 4*v = 4 for i.
-4
Let l be (6 - 7) + 1*4. Suppose 30 = -5*c - 35. Let p(b) = b**2 + 8*b - 44. Let v be p(c). Solve 3*z + v = l*k, -3*z - 3*k = 2*z + 19 for z.
-5
Let q(t) = 3*t**2 + 25*t - 13. Suppose 4*n + 16 = -20. Let j be q(n). Suppose 0 = -a + j - 5. Solve -6*k + 2*k = -f + 18, 4*k + 16 = a for f.
2
Let m = -1292 - -1301. Solve -m*t + 12*t = -4*s - 17, 0 = 2*s + 5*t + 19 for s.
-2
Let w(m) = -42*m + 93. Let g be w(3). Let n be (g/4)/((-413)/56 - -7). Solve -n = -5*p + l, 0*p + 2*p = -3*l + 19 for p.
5
Let d = 155 + -150. Suppose 2*u = -4*s - 2, d = -4*s + 2*u + 7. Solve 4*g + t + 3 = s, -5*g = t - 1 + 4 for g.
0
Let z(k) = 25*k + 150. Let n be z(-6). Suppose a + n*a - 10 = 0. Solve -j + 3*o + a = 0, 0 = j - o - o - 7 for j.
1
Suppose 0 = -31*f - 324 + 1099. Solve -5*n + f = -3*w, -3*w + w + 2*n - 10 = 0 for w.
0
Let l be 3055/39*1/15 + (-48)/216. Solve -12*h - 9 = -9*h, l*n = -5*h - 20 for n.
-1
Let u = 2379 + -1421. Suppose 962 = 4*t + u. Solve 3*r + 19 - 4 = -3*g, -5*r + 3*g = t for r.
-2
Let h = -16 + 21. Let c(i) = -i**3 - 5*i**2 - 12*i - 79. Let b be c(-6). Solve 8*p - 3*p - 9 = -4*d, b = h*p - d for p.
5
Let f be -7*1 + (90 - 80). Solve f*z = m - 4, -3*z + 20 = 23 for m.
1
Let i = -66 + 71. Let w(c) = c + 7. Let b be w(i). Let y be (-2)/(-9) - 14/63. Solve y*f - 4*f - 3*o = 8, -4*f + 2*o = -b for f.
1
Suppose -16*h - 15*h = 31. Let m be 1 - 4*(h + -5). Solve -5*v + 4*c = 29 + 4, 0 = 3*v - 5*c + m for v.
-5
Let v be (-1)/6 + (-3490)/(-60) - 2. Let h = -53 + v. Solve -3*l = 3*y + 21, -h*l + 0*l - 5 = -y for y.
-4
Suppose l + 4*h + 7 = 0, 9*h - 7*h + 9 = 5*l. Let k be 6*l/2 + -1. Solve -6 = -k*j + 2, -2*v + j = 0 for v.
2
Let y be (-1974)/(-483) + (-6)/69. Solve 3*i - 13 = -5*p, -y = 4*i + 13*p - 17*p for i.
1
Let l be (-16)/(-10)*5/2. Suppose -51*i + l = -50*i. Solve t - 12 = -4*x, -2*x - 3*x + i*t + 15 = 0 for x.
3
Let d = -37 + 29. Let v be ((-122)/d)/(3 + (-22)/8). Let i = 78 - v. Solve -3*f - 15 = -3*g, -3*f + i = g - 7*f for g.
1
Suppose 107*f - 105*f = -o + 13, -o = -3. Solve f*i - i - 2*s - 24 = 0, -5*s - 32 = -3*i for i.
4
Let x(k) = 5*k**2 - 25*k + 341. Let h be x(10). Let f = h + -586. Solve f*c = 5*w + 15, 11 + 8 = -w + 5*c for w.
1
Suppose 0 = o + 4*j - 27, -2 = -3*o - 5*j + 37. Solve -5*c + o*n + 6 = 2*n, -4 = -n for c.
2
Let l be -1*(-4)/(-2)*-1. Suppose m + l = 6. Let b = 298841 - 298840. Solve 0 = 5*p - 10, -3*s + b = m*p + 2 for s.
-3
Let x = 792 - 792. Let g be -2*1 + 4 + 0. Solve 5*r - 7 - 13 = 0, x = g*p - 5*r + 18 for p.
1
Let o(f) = -19*f + 156. Let u be o(8). Suppose -6*x + x = 15, k = -4*x + u. Solve -a - 4 + k = 2*q, q - 9 = -2*a for a.
2
Let u(t) = -t**3 + 5*t**2 - 3*t + 4. Suppose 9 = -v + 13. Let y be u(v). Suppose -150*b + y = -146*b. Solve 3*z - 14 = -0*j + 4*j, b*j + 12 = -z for j.
-5
Let j be (-6)/(-2)*(-5)/(-15)*2. Suppose -j*c = -f - 12, 4*c + 2*f - 12 + 4 = 0. Solve -3*y + c*g = 0, y - 1 = g - 2 for y.
-4
Let u = 20939 + -20881. Solve -4*w + 18 = -2*c, -53*w + u*w = -2*c for w.
2
Let f(n) = 17*n**2 + 358*n + 26. Let g be f(-21). Suppose -4 = -6*h + 5*h. Solve -3*c - g = -k - 0*k, -3*c + 5 = h*k for k.
2
Let g(m) = -m**3 + 14*m**2 - 15*m + 30. Suppose -3*t + 14 = 5*z, 4*t - 57 = z - 0*z. Let i be g(t). Let d = 0 + i. Solve 0 = 4*o + d, -6*u + 4*u + o = 5 for u.
-3
Let m(f) = -163*f + 662. Let n be m(4). Solve -p - 7*k + 6 = -n*k, p = k for p.
-3
Suppose 78 = 6*k - 4*k. Let f = k - -7. Let q = -38 + f. Solve 2*p + z - q = 0, -3*p - 3*z + 8 = -p for p.
4
Let q(u) = -u**3 + 4*u**2 + 8*u - 6. Let j be (-45)/(-6)*6/9. Let n be q(j). Suppose -12 = n*h - 13*h. Solve -3 = p - h*l + 4, p = 5*l - 11 for p.
-1
Suppose 579 + 657 + 97 = 31*w. Solve -3*k - w = -5*t, 49*k - 21 = -3*t + 50*k for t.
5
Let u = -94 - -60. Let l = u + 38. Let f(p) = p**2 + 8*p + 18. Let r be f(-4). Solve 0 = l*q - 3*j - 18, -r*q + 2*j = -0*q - 10 for q.
3
Suppose -4*r - 5*q + 215 = 0, 6*q - 167 = -3*r + 8*q. Let b = -25 + 100. Let x = b - r. Solve y + 3*d = 20, -y - 4*d + x = -5 for y.
5
Let m be 0 - 232/348*(-6)/1. Solve s = w + m, 5*w = 6*w for s.
4
Suppose -5*r = 7*r - 24. Suppose -11*n = -h - 8*n + 13, 4 = -r*n. Solve -3*t = -2*b + 9, -3*t = 3*b - h + 1 for b.
3
Let l = -15598 + 15700. Solve 0 = 4*u + t - 16, 0 = -2*u - l*t + 107*t + 30 for u.
5
Let o be 2 + 576/(-270) + (-7)/((-105)/92). Solve u - m - 5 = 0, 0 = -o*u + 3*u - m - 17 for u.
-3
Let m be 1*(2 + -3)*-4. Let o(b) = -b**2 + 5*b + 2. Let x be o(5). Suppose -4*g = -x - 14. Solve -2*q = -m*t + 8, t = g*t + q - 11 for t.
3
Let z = -329 - -322. Let h be 0*(3/(-2))/(z - -4). Solve h*y + l = 3*y - 3, y - 1 = -2*l for y.
1
Let s be (0 - 17) + 9/3 + 2. Let j be (8 - (-66)/s)*2. Solve -4*q - p - p = 2, -j*p + 25 = -5*q for q.
-2
Let y(d) = 3*d + 3. Let u be y(6). Let l(p) = p - p**2 + u + p - 7 + 4*p. Let b be l(7). Solve 4*h + 2*x - b*x - 3 = 0, -5*x = -3*h + 6 for h.
-3
Let u be 30 - 20 - 9 - -18. Solve -18*y + u*y - 1 = -4*t, -4*y = t - 4 for t.
0
Suppose 122*v - 156*v - 81*v = 0. Let l(k) = -k**3 + 2*k**2 + k. Let z be l(-1). Solve 4*i - 22 = u, -z*u + 1 = i - v for u.
-2
Let y be (18/(-12))/(326/(-80) - -4). Suppose 0 = -4*k + l + 12, 0 = -k - 18*l + y*l + 3. Solve 5*i + 15 = -5*q, i = -k*q - q for q.
1
Let w be -2 + (-7 + 403 - 1). Let b = -389 + w. Solve c - 3*i = -5*i - 7, -i = c + b for c.
-1
Suppose -5*c - 10 = -5*n, 0 = -11*c + 9*c - 2*n. Let g be (2/2 + c)/(39/(-13)). Solve 3*h + 2 + 1 = g, -3*l = -5*h - 17 for l.
4
Suppose 393 = 4*v - 299. Suppose 4*g + v = -a, 3*g = -g + 2*a - 182. Let f = -42 - g. Solve -f = x, -1 = 3*z - x + 6 for z.
-3
Let q(w) = w**3 + 7*w**2 + 6*w. Let n be q(-6). Let t be (-2 - -3)/((1 - -3)/20). Solve 4*s - s = 4*y + 1, t*s + 2*y + 7 = n for s.
-1
Suppose 3*h - 3*t = -t + 4, 5*h = -t + 11. Let n(j) = 2*j**2 - 8*j + 12. Let r be n(h). Solve -4*i + 35 = -r*u - i, 3*i + 10 = -5*u for u.
-5
Suppose -7*v = -2*v - 20. Let n be (18/20 + 2/(-5))*v. Let d(q) = q**2 - 10*q - 7. Let s be d(11). Solve 2*o - n*l = s, 3*l = l + 2 for o.
3
Suppose -5*v + 2*d + 37 = 6*d, -3*v + 5*d = 0. Let c be (-4)/(-8)*(208 + -2). Suppose 0 = -3*t + c - 40. Solve 0 = 4*m + 8, -4*q - t + v = 4*m for q.
-2
Let n be -1*125 + 1 + -2. Let t be 1552/(-12) + 13 + 342/(-27). Let y = n - t. Solve -4 = -4*h - 0, -h = y*d + 11 for d.
-4
Suppose 38*y + 281 - 775 = 0. Solve -o - 5 = 12*d - y*d, -o + 5*d - 5 = 0 for o.
-5
Let v = 16014 - 15943. Solve -2*g = -j + 11, -2*j - 5*g = 94 - v for j.
1
Suppose -26*s + 20 = -31*s. Let t = s + 6. Suppose -q + 4 = -o + t*o, o = 4*q - 11. Solve 5*d = 5*k + 20, q*k = 5*k + 8 for d.
0
Suppose 619*n + 2688 = 787*n. Solve m + 13 = 2*r, -m + 4*m - n = -5*r for r.
5
Let w = -3924 - -3940. Suppose -3*j + b = -17, -2*b - 29 = -2*j - 3*j. Solve -j*q + 3*q + h - 6 = 0, 5*h - w = 3*q for q.
-2
Let k be 1*8*(54/8 - 0). Let d = -49 + k. Suppose -4*x - 5*y + 120 = -0*y, 5*x - 105 = d*y. Solve x = -5*p - 4*m, 15 = -3*p - 3*m - 3 for p.
-1
Suppose i = k - 6, 4*i - 108 + 117 = -k. Solve -21*z - 5*u = -20*z + 18, -k*z = -4*u - 3 for z.
-3
Let m be (-3)/12*16 + (10 - 2). Solve 4*n - 3*o = -4, 5*o - m = 16 for n.
2
Let h be (2