f - 3 for u.
-1
Let q be 2*(-104)/(-4)*(-3)/(-12). Let c be (-2 + 3)*-1 - 0. Let r = c - -1. Solve 4*o + 3*n - 6 = r, -n = -3*o + n + q for o.
3
Suppose z = 4*n + 141, n + 3*z + 81 = -n. Let j = -34 - n. Solve j*c - 13 = -2*y - 1, -c = -2*y - 3 for y.
1
Let t = -232 + 236. Solve 0 = t*q - s + 9, -q + 5*s + 12 = -0*s for q.
-3
Let h(q) = -q**2 - 4*q - 1. Let d be h(-2). Let i be 4/(-4) + 7 + d. Solve 3*n = 5*o - n + i, 3*o - n = -11 for o.
-5
Let y = -2 - -6. Let q = -1 + y. Let v(x) = 2*x**3 - 2*x**2 - 2. Let r be v(2). Solve i + 0*i = -3*l - 4, -q*l - r = 0 for i.
2
Let y(j) = -j**3 - 4*j**2 + 10*j - 74. Let f be y(-7). Solve f*c = 2*q - 3 - 8, 5*c = q - 16 for c.
-3
Suppose 4*v - 2*v + f = 10, -4*v + f + 20 = 0. Suppose -v*q + 60 = 5*j, 5*q - 5*j - 11 - 19 = 0. Solve -4*c + 0*t + 4 = -4*t, -4*c + q = -5*t for c.
-4
Let y(f) = 3*f**2 + 8*f - 9. Let w be y(-5). Suppose 5*q = 0, w = 2*l - 4*q + 8. Solve l = -5*i - h + 2*h, 3*h = -3 for i.
-2
Let t(k) = -5*k + 3. Let z be t(-2). Let o(s) = -s**3 + 13*s**2 + s - 13. Let m be o(z). Solve 4*n + 24 = -2*p, m = -0*n - n + p - 3 for n.
-5
Let g be 10/36*6*(-6)/(-5). Solve g*t - 7 = -3*v, v = -7*t + 2*t - 2 for t.
-1
Suppose 0 = -3*k + k + 4, 3*n + 1 = 5*k. Solve 0 = -n*i + 9, -5*g + 12 = -2*i + 6*i for g.
0
Let v be (-5)/((-5)/3) + (-2)/(-2). Solve -4*x + n + 3 = 2, 2*x - v*n = 4 for x.
0
Let g = -336 - -338. Solve g*x = 4*d + 2, 3*x + 2*d - 13 = 3*d for x.
5
Let q = 698 + -677. Solve 4*t + 3*c = -0*c + q, -c + 6 = t for t.
3
Let k(a) = -10*a + 64. Let y be k(6). Solve 0 = -y*n - 2*o + 10, -2*o + 14 = 5*n + o for n.
1
Let k(f) = 2*f - 7. Let g = 2 - -2. Let o be k(g). Suppose 4*i - o = 51. Solve 0*q - 4*q - 4 = 0, q = -3*j - i for j.
-4
Suppose -5*v + 26 = -c + 15, -v + 7 = -5*c. Solve -h + u = 1, -4*h + v*u + 3 + 1 = 0 for h.
3
Let q = 495 - 492. Solve -5*c = 2*w + 8 + 9, -q*c - 7 = 2*w for w.
4
Let t = 37 - -6. Suppose 9*l = t - 7. Solve -2*w = -4*a + 22, 0 = -0*w - l*w + 5*a - 32 for w.
-3
Let q be (1 + 0)/8 - 20320/(-1280). Solve -2*a - 6 + q = -3*n, -10 = -a + 4*n for a.
2
Suppose 5*j - 13 - 2 = 0. Let y be (j/(-12) + 1)*4. Suppose 0 = -y*f + 13 - 1. Solve f*w - 3*l = -8, -l + 9 = -5*w - 1 for w.
-2
Let w be (4 - 4) + 0 - -32. Let q be w/(-20)*45/(-6). Solve 0 = i - x - 6, -x = 2*x + q for i.
2
Let r(o) = -o**2 - 3*o + 6. Let f be r(-4). Let t = 4 - f. Solve 12 = t*c + 2*i, 28 = -0*c + 3*c + 5*i for c.
1
Let v be 6/(-36) - (2200/48)/(-11). Suppose -l = 2*y + 1 - 12, 3*y + l - 14 = 0. Solve -y*p + 3*w = -12, -v*w = -3*p - 2*w + 13 for p.
5
Let d = -40 + 4. Let p be (6/9)/((-2)/d). Let c = 408 - 401. Solve p = -3*a + 2*y + 4, a = 5*y - c for a.
-2
Let n = 113 - 111. Solve -5 = w - 5*m, -2*w + 8 - n = -2*m for w.
5
Let i be 4/14 + (-598)/(-14). Suppose 40*p = i*p - 93. Solve -5*c - 5 = 2*a - 0*c, 2*c = 5*a - p for a.
5
Let g = -138 + 140. Solve 26 = 4*w - 5*m, g*w - 3*m - 10 = w for w.
4
Let o = -19 - -20. Suppose i - 9 = -i + 5*v, 36 = 3*i - 3*v. Suppose 5*x + p - i = 5, 3*p = 6. Solve x*u + u = 3*c - 14, -c = 4*u + o for c.
3
Let f(t) = -8*t - 41. Suppose -3*l - 27 = 3*w, -4*l = -3 + 11. Let b be f(w). Solve -2*n + 4*o = -5*n - 20, -3*o - b = n for n.
0
Let w = -254 + 257. Solve -3*d = 4*m + 18 - 7, 19 = w*d - 2*m for d.
3
Suppose -7*b + 102 = 27*b. Solve b*f - 4*x = -18, 0 = -3*f + 4*x - 2*x - 12 for f.
-2
Suppose 0 = -4*q + 20, 4*l - 5*q = -14 - 3. Solve m - l*w - 2 = -m, -3*w = 0 for m.
1
Suppose -4*i = -0*i + 8. Let k(z) = z + 15. Let p be k(6). Let c be i/3 - (-119)/p. Solve -5*m + 1 = 2*j - 10, 2*m + c*j + 4 = 0 for m.
3
Let b be ((-21)/(-28))/((-6)/(-16)). Solve k = 4*d - 11, -12 = -4*k - b*d - 2 for k.
1
Let m = 238 + -233. Solve -5*l - 20 = -m*r, 2*l = -2*r - 19 + 7 for l.
-5
Let z(g) = 7*g**2 + g + 14. Let m(i) = -8*i**2 - 15. Let p(a) = -6*m(a) - 7*z(a). Let r be p(-4). Solve -3*y - 18 = 5*v, r*y - 2*y + 8 = -2*v for v.
-3
Let a be (29 - 2)/3 - (2 - -1). Solve -v + 20 = -k + a*k, 5*k + 3*v = 30 for k.
3
Let t(a) = -28*a + 282. Let x be t(10). Solve 2*i - 4*f = 6, -2*i - x*f = -6*i - 12 for i.
-5
Suppose 2*z + 4*k = 0, z + 3*z - 50 = 2*k. Suppose -b - 2*t + z = 0, -t + 4*t = -4*b + 25. Solve 7 = -4*n + q, q + 11 = -b*n - 2*q for n.
-2
Let h be -2*(0/3 + -1). Let t(k) = k**2 - 2. Let i be t(0). Let s be i - (-15)/(-9)*-3. Solve h*x + 4*g = x + 15, 15 = s*g for x.
-5
Suppose 0 = 4*x + 5*z - 65 + 43, 0 = -x - 4*z + 11. Solve 5*q = 20, 0 = -4*r + x*q - 1 + 9 for r.
5
Let x = 2 - 2. Let h be 4 - (1 + x) - -5. Solve 2*l = h - 0, 4*l - 7 = -3*t for t.
-3
Let q(w) = -39*w + 87. Let m be q(2). Solve 0 = 5*r - p + 19, -m = -5*r + 3*p - 36 for r.
-3
Suppose 2 = 5*d - 2*t - 13, -30 = -5*d - t. Solve 0 = -4*c - 4*p - 4, p + p = -3*c - d for c.
-3
Let s be (-4)/(1 - (6 + -3)). Suppose h - s*h + 13 = 0. Let m = -8 + h. Solve -v = m*n - 0*v + 1, 0 = 3*n + v - 1 for n.
-1
Let o(z) = 39*z + 122. Let u be o(-3). Solve 0 = 4*s - 5*n - 9 - 6, u*s + 2*n = -6 for s.
0
Suppose 3 = h - 0*h. Let f be (-386)/(-6) + 55/15 + -4. Suppose -4*g = h*o - 0*o - f, 2*o + 27 = g. Solve g = 5*q - b, -5*b + 1 - 21 = 0 for q.
3
Suppose -5*l - 3 = -28. Solve 4*w + 2*t - 8 = 0, l*w = -0*t - 5*t + 5 for w.
3
Let b be (76 + -77)*(-3 + 1 + -18). Solve 4*l + d = 3*d + b, 0 = 2*l + 3*d - 10 for l.
5
Let q(w) = 5*w. Let i be q(0). Let z(g) = -g**3 - g**2 + g + 10. Let k be z(i). Solve -28 + k = 5*a + x, 3*a + 18 = -3*x for a.
-3
Suppose 2*z + 0*z + 3*a = 9, 0 = z - a + 3. Solve z = d + v + 5, 3 = -4*d + 4*v - 17 for d.
-5
Let y = 2132 - 2125. Solve -2*g + 5*r + 15 = 0, -y*r - 45 = 5*g - 3*r for g.
-5
Suppose 4*a - 3*b - b = -8, -4 = -a - b. Let z = -1 + a. Let r be 1*0/2 + 2. Solve -2*y + 3*w = -y - 9, -2*y - r*w + 2 = z for y.
3
Let c = -705 + 709. Solve k = 4*k + 5*n + 28, c*k + 5*n = -29 for k.
-1
Suppose -154 + 5 = -3*q - 4*t, -2*q + 5*t + 130 = 0. Suppose -5*x = -q + 30. Solve -4*k + x*v = 32, -5*k + 2*v = -2*v + 31 for k.
-3
Let j = 616 - 612. Solve 4*u = 5*f, -j*u = -0*f + 5*f - 40 for u.
5
Let p(f) = 5*f**2 + f - 7. Let x be p(2). Solve -n - 3*w + x = n, -5*n = 4*w - 20 for n.
0
Let p(j) be the second derivative of -4*j**3/3 + 9*j. Let v be p(-2). Solve -3*i + f - v = i, 2*f - 20 = 4*i for i.
-3
Suppose z + 4*s = -71, 0 = -2*s - 2 - 4. Let f = z + 63. Solve -5*n + 3 = 2*p, -5*p + 1 = 2*n + f for n.
1
Suppose -5*i - 5*y = -10*y - 80, 0 = -5*i - y + 56. Suppose 20 = 5*l, l + 11 = 5*u - 0*l. Solve 4*h + u*a - i = h, -a - 26 = -5*h for h.
5
Suppose 4*s + 176 - 695 = -3*l, 0 = -4*l + 4. Suppose -5*j + 6 = -s. Let r = 28 - j. Solve 0 = 5*h - n - 20 - r, -4 = 4*n for h.
4
Let q = -495 + 500. Solve 4*m + b = q*m + 2, b = -2 for m.
-4
Let z = -279 - -305. Solve -19 = 3*r - b, -5*r - 3 - z = -b for r.
-5
Suppose -18 = -2*g + 22. Solve -4*r - 16 = 4*c, 5*r + g = r - 5*c for r.
0
Suppose -5*q = -3*q - 18. Let r = q + -7. Suppose -f - 2*j + 6 = 0, -5*f - 5*j = -r*f - 16. Solve -1 = -s + f*s - 2*m, 2 = -2*s + 3*m for s.
-1
Let z(n) = -n**2 - 6*n - 6. Let s be z(-3). Suppose -5*a = s*r + 10, -3*a - 2 = 4. Solve -t = 4*x - 5*x + 6, -2*t + x - 8 = r for t.
-2
Let d = 141 + -139. Solve 0*v - 2 = g - v, -4*v + 2 = d*g for g.
-1
Suppose -7*a + 20 = -4*a - 4*l, -4*l + 4 = 3*a. Solve -a*p - 3*b - 3 = 1, -4*p - 2*b = 0 for p.
2
Let a = -242 - -246. Solve 0 = 2*r + 5*o + 17, -5*o - 5 = -a*r - 2*o for r.
-1
Let q = -1359 - -1363. Solve 3*r + 10 = x, 25 - 17 = -q*r for x.
4
Let t be 84/39 - 2/13. Suppose -m + 3*g + 50 = -t*g, 5*m - 138 = -3*g. Solve 5*i + 5*u = m, 0 = 2*i - 7*i + u + 6 for i.
2
Let g(y) = y**2 + y - 5. Let p be g(4). Let c = 76 - 72. Solve 3*b - c*d = 24, -b + 4*b - d = p for b.
4
Suppose 0 = d + 4*d - 3*i - 30, 3*d = i + 18. Let z(x) = x**2 - 11*x - 7. Let l be z(d). Let q = -11 - l. Solve -3*j = 3*c + c - 8, 4*j - 2*c + q = 0 for j.
-4
Let x = 1769 + -1764. Solve -x*u - 5 = -5*j, -2*u = -0*u + 2 for j.
0
Suppose -4*a - 4 = 3*y, 3*y + 20 = -39*a + 43*a. Solve -5*s + a*s - t - 6 = 0, -s + 8 = -3*t for s.
-1
Let u(h) = 3*h + 13. Let r(q) = -4*q - 12. Let j(i) = -4*r(i) - 5*u(i). Let v be j(20). Solve 0 = 4*d - 2*o + v - 1, 3*d + 2*o = -12 for d.
-2
Let m(i) = -14*i - 65. Let g be m(-5). Solve 0*y = -5*t + 3*y + 26, 0 = -g*t + 4*y + 28 for t.
4
Let h(d) = -d**2 + 3*d + 20. Let z be h(6). Solve -t - 10 = -2*n, 5*t + n - 3 - z = 0 for