f - u = x for x.
4
Let w = -183 - -187. Solve -18 = -3*z - w*o, o = 5*z - 2*o - 1 for z.
2
Let g(i) = 2*i**3 + 14*i**2 + 4. Let c be g(-7). Solve 2*a = -4*t - c, a = -0*a for t.
-1
Let s be (0 - 2)*(-9 + 80/10). Solve -s*j - 7*i + 3*i = 12, j - 2*i = 6 for j.
0
Let t(p) = 3*p**2 - p - 8. Let k be t(3). Solve -3*c + l - 8 = -l, 0 = -2*c - 4*l + k for c.
0
Let k = -772 - -791. Solve -r - 7 = -l - 0*r, k = 2*l - 3*r for l.
2
Suppose 4*r + d = 4, -4*d + 10 = r - 6*d. Solve -r*c = -s + 6, 5*c + 19 = 4 for s.
0
Let l = -909 - -919. Solve -4*t = -v - 4*v - l, 4*t = -3*v - 6 for t.
0
Suppose -3*v + 4*r - 6*r = -7, v = -3*r. Solve -w = -a + 4, -v*a = -5*a - 2*w + 4 for a.
3
Let u(b) = -b**3 - 6*b**2 + 4*b + 28. Let g be u(-6). Let a(n) = -n + 2. Let p be a(0). Let j be (-6)/p*(-8)/6. Solve -5 = g*k + 3*m, j = 3*k + 5*m + 16 for k.
1
Suppose -s + 2*s - b = 164, -5*b - 148 = -s. Suppose -10*o = -14*o + s. Let i be 2/7 - (-114)/o. Solve -y + t + 9 = -0*y, 0 = -4*y - i*t + 1 for y.
4
Suppose -3*s - 4*q + 15 = 0, -s = 3*q - 1 - 4. Let v = -2 - -5. Let w be s - 0 - (5 - v). Solve 0 = -z - 5*p + 3, 4*z + w*p + 6 = 1 for z.
-2
Let o(j) = j**2 + 5*j + 5. Let m be o(-5). Suppose -m*h + 88 = 8. Suppose 0 = 2*k - h - 0. Solve -2*i - 4*p + 19 = -i, -p - k = -4*i for i.
3
Let w be 266/95*(-15)/(3 - 6). Solve 3*a + w = 4*g, -a + 4 = -4*a - g for a.
-2
Let o = 269 + -261. Solve 0 = 4*z - 4*h - 36, -2*h = 3*z + 1 - o for z.
5
Let r be 0 - (0 + -1)*-21. Let b be (112/r)/(2/(-6)). Suppose 0*v - 18 = -4*l - 5*v, 0 = 3*l + 5*v - b. Solve 4*g = -m - 9, 4*m + 2*g + l*g + 12 = 0 for m.
-1
Suppose -3*m = 10*m - 52. Suppose m = -h + 4. Solve -22 = 3*n - 4*p, 3*p - 12 + h = 0 for n.
-2
Let i be (-3 + 14/4)*0/(-14). Solve m + 1 = 4*l - 4, i = -4*m + 4*l - 8 for m.
-1
Suppose -4*v = 4*v - 40. Suppose -4*u + 5 = -w, 4*u - 5*w = -5 - 2. Suppose 0 = -3*l - u*l + 35. Solve -5*a + 2*q = -l, -5*a + v + 1 = -q for a.
1
Suppose -w + 3 - 1 = 0. Suppose w*v + 4*v - 18 = 0. Suppose -7 = -3*g + 8. Solve c = -4*c, -v*n - g*c + 15 = 0 for n.
5
Let c = -45 - -30. Let g be 12/9 - 10/c. Let x(r) = -r**2 + 8*r + 2. Let h be x(6). Solve g = -4*n + 4*u + h, -u = 4*n + 3 for n.
0
Let g(d) be the first derivative of -d**2/2 + 20*d - 32. Let n be g(18). Solve n*v = -i - 8, -3*i = -3*v - 5*i - 14 for v.
-2
Suppose 5 = 5*l - 5*g, g + 2*g = 9. Suppose -8*a = -3*a + n - 12, 16 = l*a + 4*n. Solve -w = 2*i + 5, 2 = a*w + 3*i + 12 for w.
-5
Let f = 38 + -59. Let i = 23 + f. Solve 2*v = 5*z + 2, i*z - 9 = 5*v + 7 for v.
-4
Suppose -8 = x - 3*x. Suppose -5*f + 16 + x = 0. Suppose 0 = f*l + 2*l - 24. Solve -z - 16 = -2*z - 4*u, 0 = -4*z - l*u + 4 for z.
-4
Let f(z) = -108*z - 538. Let d be f(-5). Solve d - 1 = i, 0 = -n - i + 5 for n.
4
Let m = 2 - 3. Let p(g) be the second derivative of -3*g**5/20 - g**4/6 + g**2/2 + 37*g. Let o be p(m). Solve -4*h + o*v + 3*v = -1, -1 = -2*h + 3*v for h.
-1
Suppose -4*n + 1 = t, 5*t - 2*n - 180 = -175. Solve -2*r - 5*b + 7 = 0, r - 2*b + 3*b = -t for r.
-4
Let a = 100 - 94. Suppose 4*o = 5*t - a + 4, 5*t = o + 8. Solve o*z + 2*u - 28 = 7*z, -8 = 4*z + 2*u for z.
-4
Let l = 1396 + -1394. Solve 4*i - l*s + 9 = 1, 3*s = -5*i + 12 for i.
0
Suppose -r - 5*y + 57 = -2*r, -y = r + 57. Let n = -55 - r. Solve 0 = -4*m + 4, -2*z = -0*z - n*m + 4 for z.
-1
Suppose 16*b = 11*b + 30. Suppose -b = -4*r + 78. Suppose -3*z - 2*z = 4*g + 15, -4*z - 5*g - r = 0. Solve 0 = -p - 3*c + 2, 5*p + 3 = -c - z for p.
-1
Suppose -5*z + 4*w = -56, 0*z + 5*w = -4*z + 53. Suppose 0 = -t - 4*k - 9, 2*t - 5*k = 3*t + z. Solve -l - 2*l = -2*a - 19, 31 = -t*a + 5*l for a.
-2
Suppose 4*x + 2*t - 10 = 0, -4*x - 2*t + 3*t = -1. Let s be (6/18)/(4/180). Let c be 6/(-4)*(-40)/s. Solve x = -c*m + 5*i, -3*m - 5*i = -m - 7 for m.
1
Suppose -5*h + h = -12. Suppose 368 + 196 = 4*t. Suppose -31 = -m - d, 0*m - 2*d = -5*m + t. Solve 2*b = 4*z - 6, h*z = 2*z - 5*b + m for z.
4
Suppose -3*y = 4*a - 12, 0 = -5*y - 15*a + 10*a + 15. Solve 0 = 5*t - f - 14, y*f = 5*t - 3*f - 12 for t.
3
Suppose 4*j + j - 150 = 0. Suppose f = j - 27. Solve 0 = -b - f*y - 11, 5*y - 10 = 3*b + b for b.
-5
Let q be ((-4)/10 + 2)*(-45)/(-6). Solve 3*y = -f + 14, y = -2*f - y + q for f.
2
Let a = -292 - -296. Solve -x = -4*c - 1, -a*c = x + 2 + 5 for c.
-1
Let s = 0 + 1. Let k be (2/6)/(8/168). Suppose 23*h - k*h - 128 = 0. Solve -h = 5*x + 3*v, -3*x + 0*v = -4*v - s for x.
-1
Suppose 8*i + 25 = 13*i, 3*l + i = 23. Suppose -l*y = -2 - 16. Solve 0 = 4*q - 3*a - 13, -5*a = y*q + 9 + 3 for q.
1
Suppose 4*n = s + 631, -4*s + 5 = -15. Suppose 4*y = -5*r - 15 + n, -y = 5*r - 51. Suppose 13*d = 16*d - 6. Solve d*l = 5*p - y, p + 8 = -4*l + 1 for p.
5
Let a(r) = -r**2 + 11*r + 15. Let z be a(12). Suppose -5*h + 5 + 16 = z*t, -2*t - 2*h + 10 = 0. Solve -t*l + 10 = g + g, -2*l = 5*g - 19 for g.
3
Let l(d) = -2*d + 3. Let w be l(-4). Suppose w*b = 4*b. Solve b = -a + u - 5, 0*a + 3*a + 2*u = -10 for a.
-4
Suppose -2*y + 5 + 9 = 0. Solve -4 = a - 2*w - 12, y = -a - 3*w for a.
2
Let c = -5 + 11. Suppose 31*h - 114 = 12*h. Solve 2 + c = 2*g - 2*y, g + h = -y for g.
-1
Let t = -10 + 10. Suppose t = 3*h - 2*h - 4. Suppose -4 = -4*d + h. Solve d = -2*b - 4*v, 4*v - 15 = 4*b + v for b.
-3
Suppose -35*i = -46 - 24. Solve 2*g - u = -i*g + 21, -27 = -5*g + 2*u for g.
5
Let h = -69 + 74. Let f(t) = 2*t**2 - 10*t + 10. Let q be f(h). Solve -3*r + 5*k = -q, -3*r + 0*k - 3*k - 30 = 0 for r.
-5
Suppose -21 = w + 4*x, x + 2 = -2*w + 5*w. Let j be 16 - -4 - (w - -4). Solve -5*m - 1 = 5*t + 4, j = 4*t - 3*m for t.
2
Suppose -f = -6*f + 360. Suppose 15*n = f + 93. Solve -2*x - 3*a = -0*x - 10, -x - 3*a + n = 0 for x.
-1
Let k(n) = 1. Let z(v) = 7*v + 56. Let j(p) = -5*k(p) + z(p). Let m be j(-7). Solve -2*u = -4*w + 12, -m*w - 2*u = -6 - 12 for w.
5
Let u(l) = l**3 - 15*l**2 + l - 2. Let h be u(15). Let s = 15 - h. Let p be (s/(-4))/(2/(-48)). Solve -o - 12 = 6*j - 2*j, -4*j - p = 4*o for j.
-3
Let f be (-2 + 9/2)/(6/60). Let z = -10 + 30. Solve 5*y - z = 4*i, -5*i - 2*y - y = f for i.
-5
Let n be 12/1 - 0/1. Suppose n + 0 = 4*a. Solve 0 = l - 2*p + a, -2*l - p + 6*p - 10 = 0 for l.
5
Let r = -26 - -41. Let o be -4 - r/(-1) - 1. Solve -2*n + o = -4*p - 6, -5*n + 12 = 4*p for p.
-2
Let a = 15 + -21. Let n be (a - 28)*3/(-2). Let u be (-17)/n - (-2)/6. Solve -4*w + 17 = -5*l, 3*w + l = -u*w + 8 for w.
3
Let b(i) = i**2 - 7*i + 16. Let h be b(4). Suppose 7*o - 2 = 6*o. Solve 4*w + r = -4, -o*w - 3*w = -r - h for w.
0
Let s(l) = l + 13. Let p(d) = 13. Let a(v) = 3*p(v) - 2*s(v). Let f be a(6). Solve -3*b + 0*g = g + 12, f = -2*b - 3*g for b.
-5
Suppose 12 = 4*t + 4*n, 0 = 2*t - 4*n + n + 19. Let l be -2 + -2*3 - 2. Let p be (-144)/l - t/(-5). Solve o + r - 4 - 2 = 0, -5*o + p = r for o.
2
Suppose -8 = -v - 4*i, 3*v - 3 = -4*i + 5. Solve 3*j + 15 = 0, 8 = -v*w - 3*w - j for w.
-1
Suppose 75 = -4*j + 263. Let s = j - 43. Solve l + s = -k, k + 2 = l + 4 for l.
-3
Let l = -7 - -16. Suppose 2*t + l = 13. Solve -2*o - 3*v = -t + 4, -2*v = -o - 1 for o.
-1
Suppose -d + 13 = 9. Suppose -3*b = d*m - 8, -m + 14 = -5*b - 11. Solve -m*h - 5*w = -w - 36, 16 = 5*h - w for h.
4
Let q be -2*(-1 - 0) + 3. Let o be 9/((-36)/8) + q. Solve -d = 3*r - 2, d + o = 2 for r.
1
Let k = 50 + -32. Let p = k - -5. Suppose -67 = -4*u - p. Solve 5*d = -4*b + u, d = -2*b - 0*b + 7 for b.
4
Suppose 0 = 12*d + 103 - 211. Solve -13*z + d*z = 0, z - 16 = -4*q for q.
4
Let d(b) = -2*b**3 - 4*b**2 - 9*b - 14. Let g be d(-2). Solve 0 = -3*a + 4*j + 4, -a + g*j + 0 = 4 for a.
4
Let k = -1 + 30. Let n = -29 + k. Let w be (-1)/3 - (-7)/21. Solve -3*a - x + w*x + 12 = 0, n = -3*a - 3*x + 6 for a.
5
Let d be (-1)/3*(-2 - -17). Let g = 10 + d. Solve -g*m = 3*s + 2*s - 10, -3*m + 27 = -4*s for s.
-3
Let i(d) = d**3 - 8*d**2 + 2*d - 16. Let j be i(8). Solve 5*a - 25 = -m, j*m = -2*m for a.
5
Let v = 107 - 75. Suppose 5*l + 0*s - 37 = 3*s, v = 4*l - 3*s. Suppose l = 3*k - 4. Solve -4*u + 6 - 26 = 4*o, -4*u - 20 = -k*o for o.
0
Let i = 6 + -10. Let m(c) = c**3 + 2*c**2 - 7*c - 6. Let r be m(i). Let l = -6 - r. Solve 11 - 3 = 2*u, -l*t + 2*u = 0 for t.
2
Suppose -n + 8 = -4*j, -5*j + 23 + 17 = 5*n. Solve -4*c + 2*o = 6*o + 8, -3*o - n = 5*c for c.
-1
Suppose -2*b = -10, -11*t + 13*t = -2*b + 20. Solve -t*n - 3 - 22 = 4*l, -n - 