 u.
-1
Suppose 6*g - 2*g = 20. Let h = -32 + 40. Solve 2*p = -3*k + 3*p + h, -g*k = -2*p - 13 for k.
3
Suppose 62*r + 424 = 70*r. Suppose 0 = 51*o - r*o. Suppose 5*j = -0*j. Solve -5*q + 5 + o = j, 3*u - 10 = -q for u.
3
Suppose -2*s - 13 - 5 = 0. Let i = s + 11. Solve 4*j - 2*j - 2 = -i*l, -2*j - l - 1 = 0 for j.
-2
Suppose 140*z = 137*z. Let r be (-32)/(-12) + (-4)/6. Let p be 2 + -1 - (-3 + 2). Solve -2*v - p*l + 4 = r, v - 2*l + 11 = z for v.
-3
Suppose -5*s + 25 = 15. Solve -3*t - 1 = 4*j + 7, -j + 2*t - s = 0 for j.
-2
Suppose 2*q - 10 = -2*v, 56*v = 59*v - 9. Solve 2*s + 27 = 4*j + 31, q*j = -2*s - 14 for j.
-3
Suppose 0 = -5*p + 5*h - 25, 2*p + 3*h = p + 15. Let k be (-3)/(-6)*6 + p. Solve 5*c - 2*v + 10 = -5*v, 0 = -k*c + 4*v - 35 for c.
-5
Let i(j) = -j**3 - j**2 + j + 4. Suppose 2*f = -0*f + 4*f. Let x be i(f). Solve -5*b = -5*p + 40, 2*b - 3*p = x*b + 1 for b.
-5
Let g = -56 + 61. Solve -g*r - 9 = -u, -3*u - 6 = 5*r + 7 for u.
-1
Suppose -4 = -q - 1. Suppose 135 = -3*m + q. Let h be 1 + (-3)/(12/m). Solve 5*n = o + 4 - 0, 5*n = -3*o - h for o.
-4
Let q(l) = 2*l**3 - 16*l**2 - 17*l - 9. Let n be q(9). Let z = -3 - -9. Solve 0*w + 4*j - 4 = 2*w, n = 3*w + j + z for w.
-2
Suppose -4*f - 4 = -8*f. Let u(x) = x**2 + 11*x + 3. Let k be u(-12). Let q be f/6*10*k. Solve -5*p + 8 - q = -4*s, s + 5*p + 2 = 0 for s.
3
Suppose 2*t - 6 = -0*o - 4*o, 4*t + o - 19 = 0. Suppose 15*u - 13 = 10*u + 4*i, -32 = -4*u - 4*i. Solve 0*z - 3*z = t*k - 26, -u*k + 16 = -2*z for k.
4
Let r = 1798 + -1793. Solve w = 4*b - 7*b - 3, 0 = 5*b + 5*w - r for b.
-2
Suppose 0 = 5*o - 26 - 74. Suppose -p + o = p + 3*b, -5*p + 3*b + 29 = 0. Solve -2*d + p = 2*d - s, d = 2*s for d.
2
Suppose 0 = 4*l + 16, 2*w = 4*l + 11 + 7. Let s be w*(6/(-2) + 3). Suppose -p + k + 8 = 0, -3*k - 4 = p - s*k. Solve v + 3*g - 2 = 0, 28 = -p*v + 3*g + g for v.
-4
Let d(x) = 6*x**2 - 4*x - 4. Let u be d(2). Solve 3*i - 3*b - 24 = 0, 0 = -3*b - u - 3 for i.
3
Suppose 19*t - 2*h = 14*t + 8, 4*t = 2*h + 6. Solve 10 = m - t*a, -2*m + 7*a - 4*a + 16 = 0 for m.
2
Suppose 2*u = 5*p - 9 - 1, -3*u = 4*p - 31. Solve 2*r - 3 = -m - 0, -3 = -5*m - p*r for m.
-1
Let p(v) = 5*v - 6. Suppose -5*g + 4*q - 2 = 0, q = 2*q - 3. Let b be p(g). Solve 5*h - b*z + 2 + 4 = 0, -5*z = -3*h - 1 for h.
-2
Let u(i) = -26*i - 26. Let t be u(-1). Solve 3*l = -4*n - t + 2, 4 = 4*n + 4*l for n.
-1
Suppose 31*h - 372 = -0*h. Solve -2*w + 8 = 2*r, -3*r + 13*w = 17*w - h for r.
4
Suppose -2*n = -3*s - 17, n = 2*n - 5*s - 19. Suppose -2*p = -4 - n. Solve v - 5*v + 2*k = -4, k - 10 = -p*v for v.
2
Let z = 358 - 215. Let o = 147 - z. Solve o*x + 5*m = 17, -x = x + 4*m - 10 for x.
3
Let w = 3197 + -3190. Let m(g) = g + 9. Let t be m(-7). Let s = -5 - -8. Solve -r - s*a + w = 0, -t*r - a = -2*a for r.
1
Let a = 96 - 91. Solve -2*m + 4 = 2*u, 3*m = 2*u + a + 6 for m.
3
Suppose -74 = -11*r - 19. Solve 0 = r*z + f - 3 - 11, -10 = -4*z - 2*f for z.
3
Let j be 1 + 36/6 + -10 + 5. Solve 4*y = 3*h + 2*y - 1, 6 = j*h - 4*y for h.
-1
Let o = 32 + -14. Suppose -2*g + o = g. Suppose -2 = g*f - 7*f. Solve -10 = -f*w, 4*q - 4*w + w + 19 = 0 for q.
-1
Let h be ((-240)/12)/(2 - 6). Solve h*o - 2 - 11 = 4*g, 5*g - 30 = -3*o for o.
5
Suppose 15*f = -2*o + 18*f + 22, -4*f = -4*o + 40. Solve -2*u - 3 = -a - o, -3*u - 10 = 2*a for u.
0
Let y = 225 + -220. Solve -p + 5*w - 3*w = -y, 0 = 3*w + 9 for p.
-1
Suppose -i - 26 = -27. Solve 26 = 3*s - 4*g, i = -2*s - 2*g + g for s.
2
Let h = 1807 + -1803. Solve -h*v - 2*c = -0*c + 8, -5*c + 12 = 2*v for v.
-4
Suppose 0 = 4*y + y. Suppose 3*h = -o + 4, -h - 18*o = -19*o - 8. Solve y = 4*p - 3*a - 16, -h*p - 4 = -3*a - 19 for p.
1
Let d(k) = -7*k - 105. Let u be d(-15). Solve f + u*x = -3*x + 7, -3*f = -2*x + 23 for f.
-5
Let g(d) = 7*d + 13. Let t be g(-1). Solve 0 = -2*m - 8, t*y + 2*m + 8 = 4*y for y.
0
Suppose c - 4*c - 3*y = -21, 11 = 3*c + y. Suppose -v = 2*v - 6. Suppose -6*t - 3*d = -v*t + 1, 5*t - 7 = -d. Solve 2*k + c*h = -2 - 0, t*k = 4*h + 4 for k.
0
Let o(i) be the second derivative of -i**5/10 + i**4/4 - i**3/3 - i**2/2 + 5*i. Let m be o(3). Let w = m - -57. Solve 5*n = b - w, -4*b - 32 - 1 = 5*n for n.
-5
Let d(g) = -g**2 + 11*g - 10. Let v be d(10). Suppose -5*n + 3*n + 2*p + 8 = v, -34 = -4*n - 5*p. Solve i = -4*y + n, -5*i = 4*y - 0 + 2 for i.
-2
Let l = 7 + -4. Let w be (-2 + 5)*(-7 + 8). Solve 0 = l*q - 15, -3*q + 4*q + 1 = w*a for a.
2
Let m = -5 + 5. Let j(y) = -y. Let v(l) = 5*l - 6. Let n(i) = -6*j(i) - v(i). Let h be n(m). Solve p - 2 = -f, -5*p = f + 4 + h for f.
5
Suppose -200 + 155 = -9*m. Solve -5*t + 25 = -5*y, -m*y = -0*y + 25 for t.
0
Let c(g) = 62*g + 5. Let n be c(-2). Let w be (-2)/17 + 819/n. Let q(k) = -2*k - 11. Let p be q(w). Solve 0 = -5*b + 3*t + 10, -19 = 7*b - 3*b + p*t for b.
-1
Let t be (-7)/(-28) - 33/(-12). Solve 3*h = -s + t + 1, h = -5*s + 6 for h.
1
Suppose 3*v + 14*v - 51 = 0. Solve 0 = -v*j + 3*s, -3*j - 4*s + 0*s + 14 = 0 for j.
2
Let a(l) = -l**2 + 6*l. Let h be a(5). Let q(r) = r + 6. Let v be q(-6). Let i be (-7 - -10) + (-1)/2*v. Solve -4*u = -3*x + h - 0, -i*u + 2*x - 4 = 0 for u.
-2
Suppose -g - 10 = 3*d, 2*d - 5 = 182*g - 185*g. Solve -2*j = 3*p + 3, -12 = -3*p + g*j - 2*j for p.
1
Suppose 3*n - 5 = 5*m, 3*m + 4*n - 22 = 2*m. Suppose -5*t - 11 = 3*v - v, v = -3*t - 7. Solve 16 - 42 = -d - 5*i, -v*d = -m*i + 8 for d.
1
Let i be ((-4)/9)/(24/(-540)). Solve 4*p - 2*o + 30 = 0, 0*o + i = 2*o for p.
-5
Let z be 3*(-2 + 3) - -1. Let s = -4 + z. Suppose s = 2*t - t - 2*v - 46, 12 = -4*v. Solve 0 = 5*m + 3*a - t, -1 = -3*m + 2*a + 4 for m.
5
Suppose 0 = -5*j + 4*u + 21, 2*u = -0*j + j - 3. Solve 2*w = -j*z + 27 + 8, -z = w - 10 for w.
5
Let w = -71 + -66. Let t = w - -138. Solve -2*j + 9 = -u, 2 + t = 2*j + u for j.
3
Let b(t) = -5*t. Let j be b(-5). Let v = j + -20. Solve 4*a = h - 0 - v, -a + 3*h = -7 for a.
-2
Suppose -2*v - 5*k = -40 - 441, 2*v + 3*k = 487. Suppose 0 = -j - v + 251. Solve 4*m + 8*h - 37 = j*h, -3*h + 30 = 5*m for m.
3
Let d be ((-2)/(-4))/(3 + 933/(-312)). Let p = 54 - d. Solve -p*c + 3 - 1 = -4*x, -3*c + 4*x = 3 for c.
-5
Let c be (-1 + 0)*1 - 20/(-4). Solve -37 = -5*v - 3*t, c*t = 2*v - 0*t + 6 for v.
5
Let x(g) = -g - 1. Let k(m) = 5*m - 16. Let z(n) = -k(n) - 6*x(n). Let t be z(-16). Suppose -b = b - t. Solve -v + b = 2*w - 8, 10 = 2*v for w.
3
Let r = -24 + 36. Suppose -r = -m + 3. Solve 0 = -3*q - m, 20 = -d - 4*d - 4*q for d.
0
Let u(f) = 2*f + 21. Let a be u(5). Suppose 3*n = 5*l - 64, -5*n + 5*l + 60 = 180. Let s = n + a. Solve -5*m - 4*i = -4*m + 19, -m + s*i + 9 = 0 for m.
-3
Suppose 0 = -10*h - 177 + 217. Solve 2*l = -l + h*w + 32, 0 = 2*l - 2*w - 18 for l.
4
Let u = 1449 - 1444. Solve -3*b + 5*k = 8*k, 2*b - u*k = -28 for b.
-4
Let v(f) = f**2 - 17*f + 70. Let q be v(6). Solve q*y = -3*m - y + 10, 2*m = -5*y + 10 for m.
0
Let s be ((-28)/(-10))/(14/70). Suppose 0 = -s*m + 16*m - 12. Solve m*p - p + 5*t = 0, -3*p + 4*t + 35 = 0 for p.
5
Suppose 6*k = 3*k - 27. Let r = k - -11. Solve 0 = -3*j + 2*j - 3*i - 16, -r*j - 5*i = 28 for j.
-4
Let r = -348 + 365. Solve -2*o + 5*l - 24 = l, 4*o - r = -5*l for o.
-2
Let w be -2 + 2 + 16 + -3. Solve 0 = 3*h + 2*i - 17, 0 = 5*h - i + 2 - w for h.
3
Suppose 69*v = 60*v + 18. Solve -5*c = -r - v*c - 14, -2*c = -2*r - 16 for r.
-5
Let q be -2 - ((-9)/3 + -2). Solve -2*l + 14 = -q*p - 3, -4*l + 19 = -3*p for p.
-5
Let c be 1 - 1 - (-19 - -14). Solve 0 = 4*r - s + 3*s + 22, 0 = s + c for r.
-3
Let o be (10/(-4))/(56/(-112)). Solve -c + o = 3*r, 13*r - 4*c = 15*r - 20 for r.
0
Let y(d) = -18*d - 6. Let j be y(-3). Let c be (-4)/10 + j/20. Solve -11 = -2*r + 5*s, 4*r - 5*r + c*s = -5 for r.
3
Suppose 5*b - 4 = -y + 2*y, b + 4 = -y. Let q = 8 + -9. Let r = q - y. Solve r*v = f + 6, v = 5*f + 8 + 8 for f.
-3
Suppose -y - 5 = -1, 3*d = -y + 8. Solve d*p - 3*t = -27, -22 = -p - 4*t - 5 for p.
-3
Let m be 5*(44/(-10) - (-2 + -4)). Solve d + m = 5*d, 4*i = -2*d + 16 for i.
3
Suppose -2*a - 5*a + 560 = 0. Let x = a + -77. Solve -2*c = x*b + 7, 3*b + c + 0 = -2 for b.
1
Let d(l) = -l**3 - 9*l**2 - 25*l - 22. Let o be d(-5). Let p = 3 + -3. Suppose -2*r + 5 - 1 = p. Solve -3*t - 2*s + 15 = s, 10 = r*t + o*s for t.
5
Let m = -3 - -5. Let x be (-14)/(-21) + (-20)/(-6). Suppose x*l - 24 = -4*c, -26 = -5*