 u.
5
Let b = -150 + 150. Solve 4*o = -4*c - 8 - 20, 5*o - 2*c = b for o.
-2
Suppose 0 = x - v + 1, 11*x - 4*v = 8*x - 5. Solve -m = 2*l + x, 5*l + 14 = -1 for m.
5
Suppose -l = -3*b + 17, -2*b - b - 2*l + 2 = 0. Let q be (-6)/10 + 72/20. Solve 3*r = b*z + 1 - 4, -2 = 2*r + q*z for r.
-1
Let f be ((-1)/((-42)/60))/((-15)/(-42)). Solve -f*h + 5 = 3*u - 0*h, -3*h = -3*u + 12 for u.
3
Let g = -6 + 11. Let l = -309 - -313. Solve -r - 11 = -3*d, -l*d + g*r = -30 - 3 for d.
2
Suppose -4*p = 2*n - 4*n + 2, 2*p + 19 = 3*n. Solve 2*m + 0*m + j + n = 0, m = -2*j - 9 for m.
-3
Suppose 2*c + 2*c = 5*z + 11, -5*c + 65 = 4*z. Let w = 0 + c. Solve -4*q - w - 7 = 2*b, q - 2*b = 1 for q.
-3
Let r(k) = k + 22. Let g be r(-20). Solve 3*u + g*m - 9 = 0, -4*m + 8 = -7*u + 3*u for u.
1
Let l(n) = -n + 4. Let w be l(4). Let r = w + 0. Suppose -11 = 14*f - 39. Solve r = 3*v, -m = -0*v + f*v + 5 for m.
-5
Let c be 581/(-42) + 14 - 34/(-12). Solve -4*g = -3*t - 6, c*t + 9*g = 5*g + 18 for t.
2
Let a = 36 + -17. Let g = a + -29. Let r be (-4)/(-10)*g/(-2). Solve 0 = -3*u - r*q + 14, 4*u = -u - q + 21 for u.
4
Suppose -7*u = -2*u - 35. Let l be 1/2*-4*(-1 + -1). Solve u - 32 = 5*f, -l*f = -2*c + 28 for c.
4
Let g(q) = -q**2 + 13*q - 33. Let s be g(4). Solve 4*h = -3*f, -f = -s*f - 3*h for f.
0
Suppose -5*s + 4*s = 2. Let n(x) = -x - x - 3 + 0*x + 2. Let p be n(s). Solve -3*y - 1 = -p*i + 5*i, -3*i = 3*y + 6 for y.
3
Let j = -44 - -45. Let o be (1/j)/(7/21). Solve 0 = -a - y - o, 4*a + 2*y + 16 = 0 for a.
-5
Suppose -14 = -2*x + c, 4*x + 75*c - 79*c - 20 = 0. Solve -2*n = -2*b + 6, 16 = 5*b - x for n.
2
Suppose -22 + 4 = -6*t. Suppose -5*o - x - x = -21, 4*o + t*x - 21 = 0. Solve -v - 20 = -o*v + 4*n, v + n = -2 for v.
2
Let d(p) = 9 + 1 - 1 - p. Suppose -17*f = -18*f + 7. Let x be d(f). Solve 5*h + 4 = -3*l - 11, -x*l - 4*h - 10 = 0 for l.
-5
Suppose -4*z + 160 = o, 6*o = 5*z + 3*o - 200. Suppose -2*q = 18*q - z. Solve -4*f + 14 + q = 4*i, i - 2*f + 8 = 0 for i.
0
Suppose 202 + 178 = 95*f. Solve -f*h + j - 17 = -5, -5*h - 4*j - 36 = 0 for h.
-4
Suppose -37 = -6*i + 4*i - 5*l, 2*i + l - 17 = 0. Solve 6 = -3*c + 4*g, -3*c + 0*g = -g + i for c.
-2
Let x(r) = r - 2. Suppose 5*m + 2 = n + 2*m, -2*m = n + 8. Let w be x(n). Let f be (-2)/(-4)*(0 - w). Solve -4*b - 4 = -f*g, -2*g + 13 - 5 = -4*b for g.
-4
Let p(l) = 18*l**3 + 2*l + 1. Let d be p(-1). Let m(v) = 2*v - 3. Let a be m(-6). Let z = a - d. Solve -z*f - f = 5*r + 10, -3*r + 4*f = 13 for r.
-3
Let n = 6 + -3. Suppose 4*d + m = -43, n*d - 2*m = -4*m - 36. Let r be 6/d - 30/(-50). Solve r = -2*y - 8, 2*w + y + 0*y + 12 = 0 for w.
-4
Let t(k) = k**3 + 7*k**2 + 3*k + 90. Let l be t(-8). Solve 2*v = l, 4*q + 2*v = -q + 27 for q.
5
Let d = 27 + -21. Let i(b) = -b**3 + 5*b**2 + 7*b - 6. Let m be i(d). Solve m = -l + 3*f, 0*f - f - 13 = 4*l for l.
-3
Let y(u) = u**2 + 24*u - 60. Let n be y(-30). Let q = -115 + n. Solve -h = -2*g - q, -4*h + g - 2*g = 16 for h.
-3
Let o(m) = -m - 8. Let s(l) = -l - 17. Let n(h) = 7*o(h) - 3*s(h). Let w be n(-8). Let r be 33/(-2)*(-18)/w. Solve 1 = -5*j + r, 0 = -5*v + 3*j - 1 for v.
1
Let q(z) = -8*z - 35. Let i be q(-9). Let t = i - 33. Solve 0*u = -4*u - 2*l - 4, -t*l = 3*u + 13 for u.
1
Let c(n) = 2*n**2 - 5*n - 14. Let i be c(-2). Solve 0 = -a + i*f + 2 + 16, 2*f + 8 = 0 for a.
2
Let x = -5 - 3. Let q = 16 + x. Suppose 0 = y + 5*i + 2, 4*y + 3*i - 5 = 4. Solve 0 = -5*h - 2*v, v - y*v + q = h for h.
-2
Let v = 5 - 2. Suppose -4 = 11*l - 13*l. Let j = 5 + -3. Solve -j*r - 8 = 0, -l*r - 16 = -v*k - r for k.
4
Let t be -1*(3 + -3 - 0). Suppose t = -p + 3*p + 24. Let b = p - -16. Solve -3*j - 2 = -3*o + 1, 0 = 5*j + b*o + 14 for j.
-2
Let n = -126 + 213. Let w = n + -82. Solve 0 = 5*l - 2*l - 2*j - 9, 0 = -5*l - w*j - 10 for l.
1
Let a(c) = 4*c**3 - 2*c**2 - 5*c - 2. Let d be a(-1). Let j be -3*1*(6 + -5) - d. Solve 2*u = j, 5*g + 0*u = -2*u + 5 for g.
1
Let d be (1 - 12)*(0 - (2 + -1)). Solve d = 4*l - 3*q, -3*q + 0*q = -9 for l.
5
Let z(w) = -w**3 + w**2 + 4*w - 1. Let b be z(2). Solve -7*r - n = -3*r - 9, 2*n - 3 = -b*r for r.
3
Let q = 16 - 13. Let l = q + 2. Suppose l = j + 4*j. Solve -g - j = 0, 0 = s - g - 3*g - 6 for s.
2
Let x(h) = -h**3 - h**2 + h + 2. Let k be x(-2). Let d = 276 - 263. Suppose q - d = -q - m, -3*q + m = -12. Solve k*b + q*l = 18, -b + l = 3*l - 6 for b.
2
Suppose -6 = -3*m - 0. Suppose 0 = 2*d - 1 - 5. Suppose -d*u = 3*k - 7 + 1, -3*k - 5*u - 2 = 0. Solve 5*c = 4*q, k + m = 4*q - 3*c for q.
5
Suppose 0 = -2*j - 3*j + 220. Let p be -2*(j/(-8) - -3). Suppose -s + 5*o = -18 - 2, 5*s - p*o = 20. Solve s = 4*a - 5*c + 9 - 3, 3*c + 14 = -2*a for a.
-4
Let z(p) = -78 + p**2 + p - 2*p + 63. Let x be z(-4). Solve -d - 10 = -5*n + x, 5*n = 2*d + 20 for n.
2
Let u(t) = t**2 - 4. Let k be u(-3). Suppose -41 = -4*z - 9. Suppose d + z = 4*s - d, -5*s = -k*d. Solve 0 = -5*f - o - 24, -f = 3*f - s*o for f.
-4
Suppose 4 + 9 = w - 3*o, 0 = -5*w + 3*o + 29. Suppose 0 = w*l + u - 103, -3*l + 2*u + 26 + 43 = 0. Solve -2*y - 5*g - l = 0, 0 = y - 4*g + 3 - 23 for y.
0
Let x = 1 - -1. Let t(y) = y. Suppose 0 = 4*b - 7 - 1. Let i be t(b). Solve 4*u = -j + 3*u - 7, -x*j - i = -u for j.
-3
Suppose 25 - 9 = 8*d. Let b(i) = i. Let g(c) = c - 2. Let m(v) = -2*b(v) + g(v). Let k be m(-6). Solve l - 2*l - 21 = k*x, d*l - 6 = 4*x for x.
-4
Suppose 30*s + 53 - 293 = 0. Solve -10*m + s*m = -4*t + 4, -2*t + 2 = -4*m for t.
1
Suppose 481 = 50*l - 169. Solve 2*o = 5*x + 1 - l, o = 3*x - 8 for x.
4
Let u(c) = -c**2 + 7*c + 1. Suppose 3*d - 19 + 4 = 0. Let b be u(d). Suppose 2*r + 5*h = -0*r + b, 5*r = -2*h + 38. Solve -r = -5*n - 2*m + 6, -n + m = 0 for n.
2
Let i be (12/(-7) - 28/98)*-2. Solve i*o - 1 = -2*d - 5, 0 = -2*d - 5*o - 7 for d.
4
Let b be (-6 - (7 - 4))/(-1*3). Solve -3*d - c + 10 = -b, -3*c = -3 for d.
4
Suppose -t - 4*t = 0. Suppose -5*l = 4*o - 53, t*o + 2*o + 3*l - 25 = 0. Solve 0 = -2*c - 4*h + 16, c + o = -0*c + 3*h for c.
-2
Let l be (67/(-134))/((-2)/(-24)*-2). Solve 5*w - l*d + 16 = 3, w + 21 = -4*d for w.
-5
Let o(h) = 2*h + 68. Let s be o(-34). Solve -4*u - 14 = 3*n, s = -n - u + 2 - 5 for n.
2
Let s be -11 + 6 - -1*(0 - -2). Let k be (-12)/(s - 1) + 9. Solve 4*l + 4*n = 2*n - k, -2*n = -4*l - 12 for l.
-3
Let i be (-1)/3*(-3)/1. Let m = -365 + 369. Solve -2*r + 5*f - i - 3 = 0, 2*f = m*r - 8 for r.
3
Suppose 259*l - 251*l - 24 = 0. Solve -5*o = -3*y + 18, o - l*y + 8 = 2 for o.
-3
Let x(o) = -13 - 2*o**2 + 3 + 3*o**2. Let a be x(4). Solve -5*z + a = -2*r + 6*r, -z = 3*r - 10 for z.
-2
Suppose 0 = 4*m - k - 9, 2*k + 15 = 5*m + 6. Suppose 5*z + m - 13 = 0. Let t = -60 + 65. Solve t*h = -r - 20, 8 = -z*h + r - 3*r for h.
-4
Suppose 16*y = -32*y + 1152. Solve o + x = 0, -3*o = -5*x + 2*x + y for o.
-4
Let i(b) = 21*b + 128. Let a be i(-6). Solve -a*m + 5*m = 4*o - 18, m = 2*o - 8 for o.
3
Let r = 5 + 3. Let u = r + 36. Let g = u - 29. Solve -2*p + 5*p - 6 = -2*y, 5*y + 2*p = g for y.
3
Suppose -15*n + 100 = 55. Solve -2*w + 3*i = w, -n*i = -2*w for w.
0
Let u(g) = g**3 - 3*g**2 - 9*g + 1. Let f be u(5). Let t(o) = o**2 - o + f*o - 9*o + 4 - 8*o. Let s be t(12). Solve y + 4*z + 4 = -9, 4*z + 4 = -s*y for y.
3
Suppose 0 = -8*x + 3*x + 15. Suppose 0 = 2*b + 4 + 6. Let o be 3*((-5)/x)/b. Solve -2*y = -2*v - 2, 7 = 2*v - o for y.
5
Let a(f) = -f**2 + 6*f - 5. Let r be a(2). Let m be 3*r/(-27)*-1*0. Solve 1 = -2*c - 3*w, -2*w = 2*c - m*w for c.
1
Let d(h) = -h**3 + 6*h**2 + 2*h - 8. Let x be d(6). Solve -5*j + 12 = 5*w + 37, w - x*j = 0 for w.
-4
Let z(x) = -2 + 22*x + 26*x + 5*x**3 + 22*x - 81*x + 14*x. Let c be (-22)/(-18) - (-2)/(-9). Let r be z(c). Solve -19 = j + 3*u, r*u + 10 = 4*u for j.
-4
Let b(o) = -3*o**2 + 42*o + 4. Let x be b(14). Solve -4*r + 2*q - 5 = -25, q = x*r - 18 for r.
4
Let g(t) = -t**3 + 13*t**2 - 2*t + 30. Suppose -2*k - 11 = -m - 0*m, -4*k = -4*m + 48. Let h be g(m). Solve 2*x + 3*l + 11 = 0, -2*x - 8 = x - h*l for x.
-4
Suppose d - 18 = -2*d. Let z(r) = -10 + r**3 - 4*r + 14*r**2 - 2 + 2*r - 6*r**2. Let m be z(-8). Solve b - m*v - 12 = 0, 28 = d*b - b - 4*v for b.
4
Let u be (0 + 1)/((-1)/(-71)). Suppose -u*x = -67*x. Solve 3*o = 4*l + 15, x*o + 4*o + l - 20 = 0 for o.
5
Let h = -20 - -23. Suppose -h + 5 = n. Suppose 5*y = n*w + 23, y + w = -0*w - 1. Solve -k - 