20 for u.
-2
Let w(h) = -33*h - 227. Let o be w(-7). Solve 0*n + n = -3*b - 9, o*n + b + 14 = 0 for n.
-3
Let v = -407 - -407. Solve v = 5*a + 5, -2*l + 11 = a + 2 for l.
5
Suppose -2*t - 6 = p, 4*p + p = -4*t. Suppose 0 = 5*r - p*x - 16, -2*x - 3 = -5. Let n(b) = 2*b. Let k be n(2). Solve k*w = r*m + 4, 3*m - 17 = -4*w + 8 for m.
3
Let l be ((-4)/3)/(-3 + 5)*-3. Suppose -l*j - 42 = -46. Solve j = -g - 3*d, 3*d + d + 8 = 0 for g.
4
Suppose -4*m + 28 = -4*r, -3*m - 6*r + 3*r = 9. Suppose 0 = 5*g - g + m*d + 2, -2*d = 2. Solve -2*y + 5*x + 29 = g, 2*y - y = -2*x - 8 for y.
2
Suppose -b - 2 = -j, 4*b + j = 5 + 2. Let g = 1 - b. Suppose -5*q - 35 = -5*k, -3*k + 5*q = -2*k - 19. Solve -23 = -5*x + k*f, g = 2*f - 0*f + 4 for x.
3
Let k be 10*(-5)/(-5) - 4. Solve 4*s = -k*b + b - 36, 4*b = 2*s - 8 for b.
-4
Let w = 206 - 108. Suppose -3*l + w = -37. Suppose -2*n + 3*n = 3*s - 6, 0 = 3*n - 2*s - 3. Solve -4*i = -5*a + l, 0*a = n*a + 5*i + 10 for a.
5
Let o = -155 - -171. Solve -6*m = -m + 20, -m - o = 3*l for l.
-4
Let m = -19 + 12. Let a = 9 + m. Let t be 1/(a/20) + -3. Solve -4*g + o = g + t, 4*o - 6 = -2*g for g.
-1
Let d(k) = k**3 + 3*k**2 + 4*k - 8. Let c be d(-4). Let v = c - -44. Solve 0 = 4*w + v*b, -5*b = w - 3 - 1 for w.
-1
Suppose -5*o = -2*o - 261. Suppose -17*k + o - 2 = 0. Solve -4*i - i + 25 = 5*t, -k*i = 2*t - 19 for i.
3
Let c = 802 - 800. Solve p - 1 = -4*j + 2*p, -c*j - 2*p = -8 for j.
1
Let m(h) = h**3 + h**2 + h + 5. Let q = 8 - 18. Let y = -10 - q. Let c be m(y). Solve 5*w - 3*o - 1 = 2, -3*w + c*o = -5 for w.
0
Let j = 32 - 14. Suppose -2*h + h + 4*i + 9 = 0, 3*h - 3*i = j. Solve 5*l + 2 = 3*u, h*u = 2*l + 1 - 4 for u.
-1
Suppose -3*y + 4 = -y. Suppose o = -3*k - 6, y*o - 12 = k - 3. Suppose -8*r = 2*i - 28, -r - 20 = 3*i - 51. Solve 5*g - 2*p = 3*p - i, -2*p = -o*g - 7 for g.
-3
Let j(x) = -2*x - 1. Let k be j(-2). Let b = 76 + -55. Suppose -6 = 20*u - b*u. Solve -2*d + 4*z - u = 0, k*z - z = -2*d for d.
-1
Suppose 11 = 4*b - t - 0, -t + 13 = 2*b. Solve 0 = -v + 4*y + 13, 1 = 4*v - b*y + 5*y for v.
1
Let o(k) = 3*k + 20. Let q be o(-6). Let w(f) = q*f + 16 + 15 - 36. Let b be w(5). Solve -c + 0*c - 2*z - 5 = 0, 5*c + 10 = b*z for c.
-3
Let c(g) = 38*g - 301. Let h be c(8). Solve k + 4*z = 7, 9 + 5 = -k + h*z for k.
-5
Let i = -278 + 279. Solve -4*y + s = 0, -i = -3*y + s - 2 for y.
1
Let q(a) = -a**3 + a**2 + a + 4. Let h be q(0). Suppose -51 = 10*n - 9*n. Let v = -40 - n. Solve 5*y = -4*o + 25, -v = y - h*o + 8 for y.
1
Suppose 0 = -3*y - 2*a + 31, -3*y - 3*a = -6 - 24. Let u = y - 4. Let i = -3 + u. Solve 5*f - 6*l = -l + 45, 0 = i*l + 20 for f.
4
Let m be (-4)/(-2) + -7 + 12. Let g be 204/21 + 2/7. Suppose -m*b + g = -2*b. Solve -2*k + 2*d - 14 = b*k, -5*k = 3*d + 12 for k.
-3
Let o(z) = 2*z**2 + 3*z + 3. Let r be o(-2). Let g(m) = -m**3 + 2*m**2 + 60*m + 27. Let l be g(9). Solve -w + q + 3 = 7, -r*q = l for w.
-4
Let j = -3 - -6. Let c = j - 2. Let i(u) = u**3 + 5*u**2 + 2. Let x be i(-5). Solve -t = l - x, -t - 1 - c = 3*l for l.
-2
Let t(d) = -d**2 + 2*d + 6. Let v be t(-3). Let f(y) = y + 12. Let k be f(v). Solve 7 = -k*x - 5, 3*x = -4*c + 4 for c.
4
Let n = -20 + 40. Let d be n/4*(1 + 24). Suppose -5*m + 0 = -d. Solve -5*q = 8*y - 4*y - m, 3*q = -4*y + 15 for y.
0
Let r(t) = t**2 + 9*t - 65. Let g be r(5). Suppose 4*i - x - 3 = 2*i, 5*i + g*x = 30. Solve -5*s - 5*n - 2 - i = 0, -19 = s - 5*n for s.
-4
Let f(s) = 9*s + s**2 - 9*s. Let g be f(0). Solve n - 1 = 2*b, 0 = -4*n - g*b - b - 23 for n.
-5
Suppose -7*p + 16 = -5*p. Let y = -14 + p. Let r be 8/(-24)*y*2. Solve -4*n + 6 = 2*a + 3*a, -3*n + r*a = -20 for n.
4
Let g = 710 - 708. Solve -4*q = 0, 2*q - q = -g*i for i.
0
Suppose 0 = -2*a + 18*w - 16*w + 2, -8 = -4*a + 2*w. Suppose 2*g + 4 = -4*l, -g - 3*g + 3*l = -25. Solve i + 14 = a*h, 2*h = 3*h - g*i - 23 for h.
3
Suppose 0 = b + 129 - 137. Solve 2*v = 5*u - b, 3*v = 5*u + 8*v - 15 for u.
2
Let d be (0 + 2 + -2)/(-1). Suppose -5*r + 4*u = 13, -3*r + 3*u - 11 = 2*r. Let f be d + (-1)/1 - r. Solve g - 2*g + 4 = 0, 5*a - 2*g - 17 = f for a.
5
Let t be -4 + -4*(-72)/32 + -1. Let s(z) = -z**3 + 6*z**2 - 4*z + 5. Let k be s(5). Solve 2*w - w - 12 = -t*v, -3*v - w + k = 0 for v.
2
Suppose -374*d + 347*d = 0. Solve s = t, s = -3*t - d*s for t.
0
Suppose 77*d + 554 - 2402 = 0. Solve 0 = -3*c - 3*x - 0 + d, -3*c = -3*x for c.
4
Suppose -21*q + 46*q + 25 = 0. Let j be (2/(-2))/(2/(-10)). Let y be (j - 5)/(q/(-1)). Solve 5*u - 5*p + 15 = y, 3*u = 2*u + 4*p for u.
-4
Suppose 9*t - 11*t = -4*g + 2, 2*t - 16 = -5*g. Solve -f - 4*v = 17, -t*v = f - 5 + 19 for f.
-5
Suppose -4*o + 6 + 42 = 0. Let f be 3/(3/5)*5. Let c(i) = i**3 + 3*i**2 - 9*i + 7. Let t be c(-5). Solve -7*u = 5*y - t*u - f, 0 = -2*y - 4*u + o for y.
4
Let v = 248 + -246. Solve 5*y + 28 = g, g + v*y + 11 - 4 = 0 for g.
3
Let d(s) = 13*s - 1. Let o be d(1). Let p be -4 - 3/((-9)/o). Solve p = 3*h + 15, 0*k - 5*h = 3*k + 16 for k.
3
Suppose 0 = -3*f - 5*y + 124, y + 3*y = 4*f - 176. Let c = f + -38. Let z be (0/2)/(3 + -2). Solve 2*q = 3*r - 19, z*r + 40 = c*r - 5*q for r.
3
Let k be (4/(-6))/((-1)/3). Let d be (k/(-6))/((-3)/18). Suppose 2*q - 2 = d. Solve -q*x + 4 = -0*x, -4*f = -x + 10 for f.
-2
Let c(u) = -2*u**2 + u + 1. Let r(i) = -5*i**2 + 4*i + 2. Let v(s) = -8*c(s) + 3*r(s). Let b be v(1). Solve 0 = -p + b*w + 3 - 15, w = -3*p - 6 for p.
-3
Let y = 18 + -13. Suppose 0*c = y*c - 25, -3*r + 29 = 4*c. Solve -f + 1 = -r*l + 2, 4 = 2*l + f for l.
1
Suppose -10*o = -3*o - 14. Suppose 2*g - 1 = 7*g + n, o*g - 3*n - 3 = 0. Solve 3*f = 4*b + 26, -2*b + g*f + 2*f = 14 for b.
-5
Suppose 3*f - 3*q = 27, 2*q = 3*q - 3. Solve -k + f = 2*k - y, -y + 12 = 5*k for k.
3
Let q be (-2352)/(-231) + (-4)/22. Suppose -5*w = -20, q*w = -5*v + 7*w + 27. Solve v*x = 4*x - 3*z + 12, -2*x = 3*z - 12 for x.
0
Let z = -15 + 45. Let a = z - 30. Solve 5*w = -a*w - 4*b - 7, -5*b = -10 for w.
-3
Suppose 2*h - 3*v = -2*h + 43, -v - 1 = 0. Let l be 6/2*5/5. Solve h = -5*y + r, 3*y - 2*y - l*r = 12 for y.
-3
Let w be (2 - 3/2)/(50/500). Solve -w*i + 2*a + 5 = 5*a, 5*i - 5 = -a for i.
1
Suppose t = -2*t + 3. Let a be (8/2 - 2)/t. Solve 2*y - 15 = 3*y + 5*k, 2*y + a*k = 2 for y.
5
Let s be (3/(-2))/((-6)/60). Let x be 20/s*(8/2 - 1). Solve 0 = f + 3*n, -x*f + 7*n = 2*n + 17 for f.
-3
Suppose 9 = 2*w + 1. Suppose 15 = -2*n + w*n - 3*a, -2*a - 10 = -5*n. Let i be (6/3 + -2)/(-2). Solve i = 5*j - 10*j - 2*p + 21, -4*j - 3*p + 21 = n for j.
3
Let p = 41 + -17. Let c = -22 + p. Solve -2*r = -c*n, 3*r = 5*n + 7*r for n.
0
Let h = -12 - -16. Let o be 4/(-2) + (h - 1). Solve 3*t + 4*r - 3 = 2, -t + o = r for t.
-1
Let z = 297 - 297. Solve 0 = -2*i + 4, -2*o + z*i = 5*i - 4 for o.
-3
Suppose 4*v + 10 = -f, 2*f + v - 2*v = 16. Let y = -4 + f. Solve -2*q + 3 = q - 3*i, 2*i - y = 0 for q.
2
Let f(x) be the first derivative of x**2/2 - 2*x + 2. Let w be f(3). Solve w = q - 4*n - 3, -3*q - 1 = n for q.
0
Let y be (-2)/(-8)*204/17. Solve -5 = l + 4*k, 3*l - y = -0*k - 3*k for l.
3
Suppose 5*j + 11 = 41. Suppose 4*c + j = 18. Solve 2*n - v = -5, -5*n = -c*v + 2*v + 20 for n.
-5
Suppose -8 = -4*k + 3*j + 2*j, 4 = 2*k + j. Solve -s + 8 = -3*y, -4*y + 2*s + k = 7*s for y.
-2
Suppose 0 = 7*z - 29*z. Solve 2*h = 4*v - 10, -2*v + z*v + 23 = 5*h for v.
4
Let b = -3 - -6. Suppose 4*p = 4*g, -b*g - 4*p = -23 - 5. Solve 3 = g*y - 3*i, 5*y - 5*i = -3*i + 2 for y.
0
Let z = 70 + -70. Suppose z = -4*x - x. Solve -5*g - 2*o - 21 = x, -g - 18 = 3*g + 2*o for g.
-3
Let c(o) = -3*o**3 + 5*o**2 + 2*o - 2. Let u be c(-1). Solve a + 9 = 3*a - 5*y, -u*y = a + 2 for a.
2
Let f(p) = -2*p**3 - 50*p**2 + 108*p + 5. Let y be f(-27). Solve -y*h = -b - 2*b + 40, 2*b = -5*h - 15 for h.
-5
Let i be 21/4 + 3/(-12). Let v be ((-108)/(-14))/(((-8)/(-84))/2). Suppose -3*w = -21*w + v. Solve 5*q - 2*t = 29, -4*q + 1 = i*t - w for q.
5
Let r(n) = -n - 1. Let x be r(2). Let v = x - -9. Suppose 5*h - 39 = -2*q, -v*q + 3*q = -6. Solve h*p + 5 = -5*t + 2*p, -t + p = -1 for t.
0
Suppose 19*u = 13*u. Suppose 3*f + u*o + o - 11 = 0, -5 = -f + o. Solve -3*k = -5*y - 0*k + 20, 16 = f*y - k for y.
4
Let p be (-12)/60 - (-42)/10. Solve 8 = -3*g - x, -10*g = -6*g + p*x for g.
-4
Suppose 2*i + 36 = 5*r - 2*i, 0 = r - 3*i - 16. Suppose 0 = -128*y + 122*y + 24