ve m = 3*o + 2*f - 12, 0*f + 12 = 3*o + f for o.
4
Let x = -141 - -145. Solve 0 = -g - 5*t + 1, 4*g + 0*t - t - x = 0 for g.
1
Let r(w) = -4*w**2 + 4*w + 6. Let q be r(-4). Let u = q - -77. Solve -2*g - 5*d = u*g - 35, d = 4*g - 18 for g.
5
Suppose -6 = -w - 11, 0 = m - 3*w - 20. Solve m*t - 25 = -2*s + 8, 0 = -s + 4*t - 16 for s.
4
Suppose -2*o - u = 1, 0*o + 3*o - 2 = 2*u. Suppose 8 = -o*l + 4*l. Solve -l*x = -3*x - b + 5, 2*x = -3*b + 13 for x.
2
Suppose 0 = -2*w + 2*p + 2*p + 4, 0 = -5*w - 5*p + 25. Solve 4*a + n = -0*n - 8, n = -w for a.
-1
Let v(c) = 2*c - 7. Let u be v(2). Let d be 3 + (u - (1 - 3)). Suppose -5*w = d*s - 5, 0*s = 2*s - 3*w - 13. Solve 3*y - s*q - 15 = 8*y, 0 = 3*q for y.
-3
Let a = -4 - -8. Suppose 0 = 2*d - 2*b + 8, -3*b + 4 = -2*b. Suppose -4*t = -d*m + m - a, -5*m - t + 20 = 0. Solve 0 = 3*i + 3*l - 2*l + m, 2*i + 5*l = 6 for i.
-2
Suppose 137 - 13 = -2*o. Let y = o - -83. Solve y = -5*h + 4*u, 4*u + 2 = 18 for h.
-1
Suppose 8*r = 3*r. Suppose 2*q - 4 = -r*q. Let t = 192 - 187. Solve 3*l - 3*z = q*z + 28, 30 = t*l - 5*z for l.
1
Suppose -18*r + 124 = 13*r. Solve -y = r*y - 15, -2*l = -3*y + 1 for l.
4
Let q be (-2 - (-1 + -2))*(18 + -15). Solve -q*u + 4*v = 29, -u + 10 = -6*u - v for u.
-3
Suppose 5*h - 22 = 3*n, -3*n = -4*h + 17 - 0. Suppose -2*j + 3*j = -n. Let u be j/4 - (-1212)/48. Solve -2*z - 3*z + s - 5 = 0, -3*s - u = 5*z for z.
-2
Let i(k) = -k**2 + 15*k - 12. Let y be i(14). Let b be (y - 5) + (2 - -9). Suppose 0 = 16*t - 20*t + b. Solve -2*w - 2 = 0, t = 2*a - 5*w + 5 for a.
-4
Let t(d) = d**2 + 2*d + 40. Suppose -2*s = 13 + 5. Let i be -4 + s/((-36)/16). Let g be t(i). Solve -4*v = 5*m - g, 3*m - 2*v = 3*v - 13 for m.
4
Let t = 315 - 313. Solve 2*r = x - t*r - 16, x + 29 = -5*r for x.
-4
Let m(j) = -j**2 + 10*j + 78. Let q be m(-5). Solve g + g = -w + q, -2*w - 3*g + 6 = 0 for w.
3
Let q(h) = -11*h + 35. Let v be q(3). Solve 3*l + 1 = z, -v*z + 5*l = 1 - 3 for z.
1
Let a = 6 + -10. Let i be -1 - (12/a - 22). Suppose 0 = -5*q + d + i - 4, d = -5. Solve -4*u + 5*m = -q*u - 20, -2*u = 2*m + 20 for u.
-5
Let i be (-2 - -5)*-1 - 1. Let z = 7 + i. Solve -8 = -2*g - q, -2*g + 17 = z*g + q for g.
3
Let y = -352 + 355. Solve 5*p - 10 = -5*q, 0 = -2*p + 11 - y for q.
-2
Let p = 270 - 270. Solve 3 = -3*a - 2*c - 22, p = -5*a - 3*c - 40 for a.
-5
Let y be 2 + (-2 + 3)*2. Suppose 4 = 4*b, 4*k + k - 11 = 4*b. Solve 0 = 5*z - 5*p - 15, -k*p = -y*z - 0*p + 13 for z.
4
Let h be (2/13 + 10/(-65))/1. Suppose 3*v + 4*j - 1 - 11 = h, 4*j = -v + 12. Solve 2 - 3 = a + c, v = 5*c - 5 for a.
-2
Suppose 5*a = 73 - 48. Solve 2*g - 8 = 4*n - 2*n, 0 = -g - a*n - 20 for g.
0
Let p = -17 + 26. Suppose 3*b + 36 = p*b. Let v = b - 1. Solve 0*c + 3*c - 3*j = -24, -v*c - 3*j = 0 for c.
-3
Let b = 81 + -106. Let u = b - -29. Solve 3*a + 0*a - 6 = 0, 0 = 2*s - a - u for s.
3
Let m = 382 + -376. Solve 0 = 4*b - 3*w, 27 = b - m*b - 3*w for b.
-3
Let i = 23 - 23. Suppose 5*l - h + 2 = 4*l, h - 16 = 3*l. Let t = i - l. Solve 0 = 4*o - 5*o - d + 4, 2*o - d + t = 0 for o.
-1
Let h(n) = n**2 + 9*n + 6. Let y be h(-7). Let g = 2 + y. Let r(d) = -d**3 - 6*d**2 - d - 4. Let i be r(g). Solve 0 = -4*a + i*k + 2, 5*k = -4*a - a - 35 for a.
-2
Suppose -5*a - 2*t = -15, a + 20 = -11*t + 6*t. Solve 0 = k - 6*k - 20, a*c - 2*k = 8 for c.
0
Let t(s) = -s**3 + 7*s**2 + 3*s - 15. Let h be t(6). Let k = h - 30. Solve -6*r + 2*l = -2*r + 6, -r - k = 2*l for r.
-3
Suppose 34*k - 223 = 15. Suppose 0 = 5*d + 97 + 18. Let w = d + 32. Solve 5*y - w = k*c - 3*c, 29 = c + 5*y for c.
4
Suppose 5*g + q - 5 = 0, 0 = 5*g + 4*q - 2*q - 5. Let b = g - -4. Solve b*i = -5*n - 5, 4*n - i = -0*i + 1 for n.
0
Let w(p) = -2*p + 4. Let r be w(-4). Let s be 8*(-1)/(r/9). Let o be 4 + s + 12*1. Solve 4*j + 4*y + 40 = 0, 5*y = -15 - o for j.
-5
Suppose 2*t = 21 - 11. Let b be 2/5 + 8/t. Solve 0 = -l - r - 3, 12 = -b*l - 9*r + 4*r for l.
-1
Let r = -313 + 342. Solve 5*m = 2*n - r, -4*m - 3*n - 16 = -n for m.
-5
Suppose -2*a + 30 = 3*a. Suppose -b = -a*b. Solve t + 5*g - 3*g - 2 = 0, b = 3*t - 3*g + 12 for t.
-2
Let l be (-42)/4*-4*(-3)/(-18). Suppose -i - t + 5 = 0, 2*i = 3*i - 4*t. Suppose -l = -i*r + 13. Solve 2*m - 5*b + 5 = m, -4*m - 5*b + r = 0 for m.
0
Suppose -13*l + 217 = 35. Solve -4*k = n - l + 4, -5*n = 4*k - 18 for n.
2
Suppose 0 = -19*k + 61 + 53. Solve -5 = -w + 3*b, -4*b - k = 3*w - 21 for w.
5
Let f = 1101 - 781. Let h be f/55 - 2/(-11). Solve -r = -n - 1, -3*r + h*r = -5*n + 19 for r.
3
Suppose 0 = 3*p - 7 - 5. Let n(z) = z**2 - 3*z - 1. Let y be n(p). Suppose -q = -0 - y, q - 13 = -5*r. Solve -5*w - 20 = 5*d, 0 = 2*w - 0*w - r*d + 8 for w.
-4
Let c(q) = 40*q - 117. Let d be c(3). Solve 0*f = 4*f - 12, 4*x + d*f - 21 = 0 for x.
3
Suppose 0 = 4*u + 8*q - 13*q - 12, -2*q = -4*u + 12. Solve 2 = -v + 1, 0 = -4*b + u*v - 5 for b.
-2
Let p(w) = -2*w + 56 + 3*w - 61. Let q be p(8). Solve -3*v + 9 = 4*x, 0 = q*x + v - 0*v - 3 for x.
0
Let w(f) = -f + 8. Let m be w(6). Let q(j) = -j**3 + 13*j**2 + 7*j + 100. Let o be q(14). Solve -m*n - 14 = h + 2*h, 20 = -o*h - 4*n for h.
-2
Let w(z) = -3*z - 18. Let b(d) = -d - 7. Let x(o) = 12*b(o) - 5*w(o). Let y be x(6). Solve -r = 3*r - p - y, 0 = 3*r - 3*p - 27 for r.
5
Suppose h + 3 = 2*h. Let u = -172 - -85. Let k = 92 + u. Solve -6 = n - k*m, n + n - h = -5*m for n.
-1
Let d be -2*((0 - 0) + 110/(-20)). Let s be (-46)/(-11) + (-2)/d. Solve 5*o - 5 = 5*p, -2*o + s*p = -p + 1 for o.
2
Suppose 0*a + 2*a - 8 = 0. Suppose 3*u + 9 = x, 0 = -2*x + 2*u - a + 10. Suppose 5*b + 0*b = x. Solve 4*w + 17 = 3*w - 3*y, 4*w + 5*y + 33 = b for w.
-2
Let g be (-9)/(27/(-30)) - 8. Solve -4*t + 3*w = -2*w - 1, -t - g = -2*w for t.
4
Suppose -5*c + 3*i = 5, 3*c + 8*i - 31 = 3*i. Solve -q - 2 = m - 6, 0 = c*q + 3*m - 12 for q.
0
Suppose o + 10 = 3*z, -3*o = -z - 3*z + 15. Solve -2*g + 10 = -4*q, -g - z*g - 3*q + 20 = 0 for g.
5
Suppose 0*r + 2*m - 62 = -2*r, -5*m + 119 = 4*r. Let l be 2 + 6/r*0. Solve 2*d - 2*a = 0, -d - l*d - 3*a + 18 = 0 for d.
3
Suppose -p + q + 63 + 16 = 0, 2*q - 10 = 0. Suppose -2*h + p = h. Solve -4*r = 4*k - 32, 0 = -5*k + 3*r - 4*r + h for k.
5
Suppose -2*n + 3*n - 3 = 0. Suppose 0 = -a + 5, n*t + 5*a = -t + 49. Suppose -2*i + t = -0. Solve 2*m - m - 2*f = 15, i*f = -15 for m.
5
Let l(f) = -5 + 2 - 8*f + f**2 - 7 + 3*f. Let r be l(7). Let q be r/6*48/2. Solve 7 + 5 = 4*p, 5*o = -2*p + q for o.
2
Let i(r) = 2*r**2 - 23*r + 16. Let v be i(11). Suppose 4*u = -v*y + 2*y + 52, 5*y = 2*u. Solve 2*o - 7 = -o + 2*t, 3*o + t = u for o.
3
Let a(l) = -62*l - 4. Let i be a(2). Let r = i + 143. Solve 2*f - 1 = -w - 4, f + r = -5*w for f.
0
Let v be (-36)/(-5) - 8/40. Suppose 3*y - 20 = -2*a + v*y, 5*a = 2*y + 26. Solve -20 = t - 6*t, 0 = -5*p - a*t + 21 for p.
1
Let v(k) = -k**2 - 27*k + 200. Let m be v(6). Solve 24 = -4*t + f, -6*t - m*f - 12 = -2*t for t.
-5
Let c = 215 - 212. Solve 5*k - 4*m + 3*m + 12 = 0, -2*k + m = c for k.
-3
Let p = -3 + 7. Suppose -2*c - 5*i - p + 12 = 0, 3*c = -4*i + 12. Suppose 7*k = c*k + 6. Solve -k*m + 6*m + 4*h = 0, 4*m + h = 0 for m.
0
Suppose 4*c = 2*l + 126, 5*c + 3*l = -2*l + 195. Let s = c + -31. Solve r + 4*x = 1 - 10, -s = -3*r + 3*x for r.
-1
Suppose 0 = 3*b + i - 13, 0*b + 19 = 5*b - i. Solve w + 0 + b = 2*g, -4*w + g - 2 = 0 for w.
0
Suppose 0 = -3*a + 3, 2*t - 4*a + 74 = -46. Let h = 61 + t. Solve 3*w = -3*r + 12, 0 = h*w - 2*r - 2*r + 9 for w.
1
Suppose 31*x - 32 = 23*x. Solve -x*n + 2*u + 8 = 0, 8*u + 20 = 3*n + 3*u for n.
0
Let v(o) = -o**2 + 13*o - 23. Let w be v(11). Let a be (4 - (-1 + 5))/(w + 0). Solve 2 = -3*d + 4*s - a*s, 2*d + 5*s = -9 for d.
-2
Let c be ((-12)/(-10))/(2/(-5)). Let v(s) = -5*s - 10. Let n be v(c). Solve 5*x - n*t = 0, -5*t + 25 = 3*x - 15 for x.
5
Let n(z) = -6*z + 140 + 23*z - 138 - z**2. Let v be n(17). Solve v*t - 8 = -5*p, -2*p - t - 4*t = -20 for p.
0
Suppose -2 = -3*k + 1. Let q be 96/72 - (4/(-6) + k). Solve 4*p + 31 = -5*i, 3*p = 2*p + i - q for p.
-4
Suppose -2*b - b + 15 = 0. Let l = b - 2. Suppose -5*g = -l - 22. Solve -h + 1 = 2*w + 11, -25 = 3*h + g*w for h.
0
Let z = -2 + 1. Let i be 8 - 8/(-2)*z. Solve i*g - 4 = 3*g + 3*b, 4*g + 10 = -b for g.
-2
Let z(j) = 17 + 3*j - 4*j - 14. Let o be z(8). Let r be 5 - (o + 1 + 6). Solve -n = -6*k + r*k + 3, 5*k - 5 = -