e j = -5*q + 10, 3*q = 2*w - c - 0 for w.
4
Let b(q) = 5*q + 1. Let s be (-2)/(-12) + (-15)/(-18). Let h be b(s). Suppose g + 15 = r + 5*g, 4*g + 6 = 2*r. Solve -w + 2 = 0, u - r = h*u - w for u.
-1
Suppose 5*o = -5*g - 75, -2*g + 4*o - 9 = -o. Let k be -2*3/g*6. Suppose 0 = 5*f - 5*i - 40, i = -0*i - k. Solve -f*j + 4 = 2*p - 0*p, -4*j - 8 = -4*p for j.
0
Let h be ((-6)/15)/(3/15). Let k = -10 - h. Let c be (-2)/k + (-174)/(-8). Solve 2*n + i = -7, c = -5*n - 5*i + 2 for n.
-3
Let x(b) = b**2 - 10*b + 27. Let d be x(7). Solve 0 = 2*w + d, l - 6*l - 5 = 5*w for l.
2
Suppose 0 = -6*c - 15*c + 42. Solve -5*t - y = 21 - 7, -4*t = -c*y for t.
-2
Suppose 15 = 2*k + r - 3, -42 = -5*k - r. Solve 2*t = -5*b - 13, 3*t - 4*b - 23 = -k for t.
1
Let z(m) be the first derivative of 2*m**3/3 - m**2/2 - m - 1. Let f be z(-1). Let x = f + 4. Solve 3*h = 3*g + x*h, -3*h + 4 = 5*g for g.
2
Let j be 2/((3/(-2))/(-3)). Suppose 2*m + 14 = 2*s, 2*m + 23 = 4*s - 3. Suppose -s - 2 = -4*z. Solve 0 = -3*a - d + 11, j*d + z = 5*d for a.
3
Suppose 0 = -5*w - 33*j + 34*j + 40, w = 2*j - 1. Solve -q + w = -5*y - 16, 4*q + 20 = -4*y for q.
0
Suppose 3*h + 29 + 4 = 0. Let a be (h + 1)*4/(-10). Suppose 0 = -2*y - 3*x + 37, 3*y + a*x - 2*x = 48. Solve -2*f = 4*l + y, -f - 3*l = 2*f + 15 for f.
-3
Let o be 26*3/6*-1. Let p(w) = w + 16. Let t be p(o). Suppose -2*s = -4*n + t*s - 5, -s = -5*n - 1. Solve n = 4*l - q - 4, 3*l + 5*q = -0*q + 3 for l.
1
Suppose 364*l = 361*l + 63. Solve -3*w + 5*n = -7, -2*w - 2*w - 5*n = -l for w.
4
Let z = 10 - -14. Suppose -3*u + z = -39. Solve -p = 5, -4*p - 5 - u = -3*q for q.
2
Let t = 2 - -1. Suppose -3*y + 15 = 2*y. Solve 2 = 5*h + 5*u - y, -u + t = 2*h for h.
2
Suppose 5*k - 18 = a, -10 = -21*a + 24*a - 4*k. Solve 3*n = a*g + 3 + 4, -7 = n - 3*g for n.
5
Let i(l) = -16*l + 48. Let f be i(3). Solve o - 16 = 4*p, -5*o - 3*p - 12 = -f*p for o.
0
Let a(m) = m**2 + 6*m + 6. Let o be a(-6). Suppose -y = y - o. Solve 19 = -c - c + y*z, z - 5 = 0 for c.
-2
Let n = 219 - 214. Solve -y = -2*w + w, n*y + 2*w = 21 for y.
3
Suppose 3*b + 4*h = 27, 2*h + 1 = 4*b - 13. Solve -5*w = 3*i - 10, 6 = 3*w + 2*i - b*i for w.
2
Let c(b) = -b**2 + 8*b - 6. Let t be c(6). Let p be 18/t*8/(-6). Let u be (p - -4) + 3/1. Solve -4*d - 5 = -x, 3*x = -x - u*d - 18 for x.
-3
Let w = -5 - -8. Suppose -24*t + 29*t + 5*m - 35 = 0, -3*t + 13 = m. Solve t*z - 4*z = -x - 4, 12 = -w*x for z.
0
Suppose 5*c = -3*d + 9, 3*c = -0*c. Let j be 48/18*(2 - 1)*d. Solve -4*f + j = -3*w, -41 = -5*f - 0*w - 4*w for f.
5
Suppose 218 = 5*m + 183. Solve 2*o + 8*d = 5*d - 1, -d - m = 4*o for o.
-2
Let c(w) = 2*w + 28. Let x be c(-12). Suppose -x*j = 211 - 75. Let n = j + 34. Solve n = 2*z + 2*p + 3*p - 19, 0 = -4*z + p - 17 for z.
-3
Suppose 17*j + 294 = 23*j. Suppose -175 = -8*o + j. Let w(r) = -2*r - 5. Let x be w(-4). Solve v = -4*z + 5*v - o, 0 = -z + x*v - 17 for z.
-2
Let g(t) = t**2 + 5*t + 8. Let m be g(-2). Suppose 17 = m*f - 2*r + 7, 4*r = -8. Solve f*q + 3*p = -0*q, -3*q = -4*p - 7 for q.
1
Suppose 0 = -4*l + 5*l. Suppose -3*q - f + 50 = 0, -4*q + q + 3*f + 42 = l. Let v = -1 - -13. Solve -4*g = -4*n + v, g + 3*n + q = -g for g.
-5
Suppose -7*p + 3*p - 48 = 0. Let w be 0/(p/16*-4) + 3. Solve 0 = 2*k - 3*k + 3*z - w, 5*k - 7 = 4*z for k.
3
Suppose y + 54 = 3*y. Let s = 35 - y. Solve -5*k - r + 12 = -s, 4 = k + 3*r for k.
4
Let z = -1209 - -1220. Solve 4*p = 5*f + z, 0*p + 3*p + 3 = 0 for f.
-3
Let z be (10/(-12))/(2/(-12)). Suppose -3 = q - z. Solve 8 = -2*i - 2*f, i = q*f + 3*f - 10 for i.
-5
Let b(p) = p**2 - 3*p - 83. Let h be b(-8). Solve -5*d + 5*l - 10 = 0, -h*d + l - 31 = 3*l for d.
-5
Let n = -12 + 26. Suppose -4*a + 3*j + n = a, 0 = -4*j + 8. Suppose -2*y = -y. Solve -b + 5*q = 2*b + 9, y = -b + a*q - 10 for b.
2
Suppose -2*c + 0*l - 5*l + 43 = 0, -2*l + 2 = 0. Solve c = -4*f - u, 0 = -u + 3*u - 2 for f.
-5
Let c be (-22)/(-11) + (0 - -2)/2. Solve c*w + w + 8 = -4*v, -4*v - 5*w = 7 for v.
-3
Suppose 3*s = -4*b, -4*s = b + 15 - 2. Solve -4*p - 2*h + b*h - 5 = 0, -p + 3 = 4*h for p.
-1
Let x(s) = -19*s - 228. Let o be x(-12). Solve 5*c = 4*i - 2, 0 = -5*c + 3*i - o + 1 for c.
2
Suppose 0 = -3*z - 17 + 35. Suppose -z*o = 55 - 259. Let q(c) = -c**2 + 4*c + 1. Let f be q(3). Solve -4*h + f*u + 32 = 0, 3*u + o = -0*h + 5*h for h.
5
Let t = 68 + -65. Solve t*q + 10 = -5*v, 0*q - q + 5*v = 10 for q.
-5
Let p be (-25)/(-2) - (3 - (-10)/(-4)). Let r be (-16)/p*(21/(-6) + 2). Solve -4*z - 16 = 0, -d + 21 = -r*d - 5*z for d.
-1
Let t be 2*(4/(-7) + (-129)/(-42)). Suppose u - 9 = -5*z + t, z - 5*u - 8 = 0. Solve 5 = -5*k + x + 2, 0 = z*k + x + 5 for k.
-1
Suppose -225*b - 136 = -811. Suppose a = -a. Solve i + b*c - 15 = a, -4*c + 3*c = 5*i - 19 for i.
3
Let f be (-4)/18*27/(-3)*1. Solve -2*u - f*b + 1 = -u, -5*u = 2*b - 5 for u.
1
Suppose 0*m = 5*m - 10. Suppose 5 - 3 = z - 5*h, 0 = -4*z - m*h + 8. Solve -2*n = -3*n + s - z, 6 = -4*n + 3*s for n.
0
Let j be 1/(8/(-6)) + (-3)/(-4). Suppose 2 = 2*y - j, -k - 5*y = -7. Solve -4*c - 24 = -l + 5*l, -4*c - 16 = k*l for l.
-4
Let p = 1012 - 1007. Solve p*g - 1 = 3*n, 4*n = 4*g + 1 - 5 for n.
-2
Let b be (1 - 2) + 4/4. Let u(z) = z + 3. Let f be u(b). Solve y = -4*r + 23, -2*y - 3 = -f*r + 6 for y.
3
Suppose -b + 8 = -5*b, 3*u = 3*b + 15. Suppose -u*h - g = -6, -g = -5*h + g - 1. Solve 5*d - 5 = -5*y, 0 = -3*d + y - 0*y - h for d.
0
Let t = -163 - -171. Solve 4*p + t = -0*p - u, 6 = -3*p + 2*u for p.
-2
Let k = -49 - -27. Let a = 36 + k. Suppose 12*q - a*q + 4 = 0. Solve d = 5*p - d - 28, q*d = -2*p for p.
4
Let n = -188 + 190. Solve 7*r + 3*v = n*r - 29, 5*r + 11 = 3*v for r.
-4
Let c = 139 + -99. Suppose -7*v - 19 + 54 = 0. Solve 0*m - v*u - 34 = -3*m, 5*m - 5*u = c for m.
3
Let g(l) = 22*l - 23*l + 1 - 5 + l**3 - 2*l**2. Let o be (1 - (-4)/(-1)) + 6. Let c be g(o). Solve -c*k - 5*u - 15 = k, -4*k - 3*u = 20 for k.
-5
Let f(c) = 132*c - 5. Let k be f(-1). Let a = 139 + k. Solve 2*x - 16 = -3*y, -a*y = -y + 3*x - 17 for y.
2
Let y be 7/3 + (-7)/21. Suppose -3*t + y*t = 0. Solve -3 = -2*f + 5*f, -4*p - 2*f + 6 = t for p.
2
Let p be (-177)/(-236) + (-3)/4. Solve -2*n - 4*c + 8*c + 6 = p, 2*c - 2 = 0 for n.
5
Suppose 4*w + 3*s = 3*w - 37, 37 = -w + 3*s. Let q = w + 51. Solve -q = -2*d - i, -5*d = 2*i - 29 - 4 for d.
5
Let o be (3/(-6))/1 - 15/(-6). Solve 0 = -v - z + o, 2*z + 4 = -3*v + 8 for v.
0
Let i be 8/5*5 + 9. Solve i = 4*x - 5*t, -7*x + 12 = -4*x - 3*t for x.
3
Suppose -150 + 10 = 5*w. Let q = w - -28. Solve q = -4*l - s + 11, -s = l + 2*s for l.
3
Let g be (2/4)/(2/8). Let x(n) = -4*n + 43. Let f be x(10). Solve 2*l = g*s, 0 = f*l - s + 2 - 0 for l.
-1
Let k be -4*(5 + -4 - 2). Solve 0 = k*p + 4, 2*g = -p - p - 8 for g.
-3
Suppose -s - 18*f - 3 = -13*f, -4*s - 4*f + 4 = 0. Solve -2*h - s*a - 2 = 0, h + 2*h - 2*a - 7 = 0 for h.
1
Let w = 29 + -27. Let t be 22/5 + w/(-5). Solve 2*j = 4, -20 = 5*n + t*j - 9*j for n.
-2
Suppose 10 + 2 = 2*k. Suppose -k = 6*h - 18. Solve -4*p + 12 = -2*n, p - 5*p - h*n - 4 = 0 for p.
1
Let g be 6 - (10/(-35) + 23/7). Solve -m + 0*t - g*t = 1, -2*t = m + 2 for m.
-4
Suppose -2*j = -8, 0 = -2*i + 5*j - 9*j + 16. Solve -2*a + 4*l + 2 = 0, i*a + l + 2 = a for a.
3
Suppose 5*q + 30 = r, -r - 24*q - 20 = -19*q. Solve -5*h - f - 15 = 0, h = r*f + 25 - 2 for h.
-2
Let f be 1 + ((-2)/2 - -10). Let w(h) = -136*h - 1628. Let r be w(-12). Solve -5*z + 3*o = r*o - 10, -5*z = 5*o + f for z.
3
Let l = 509 - 501. Solve 2*r = 3*m + 13, -4*r - m - 1 = l for r.
-1
Let v(a) = -6*a - 27. Let t be v(-8). Suppose -t = -4*n - 9. Solve -5*s + 3*p = -22, 0 = s + 2*p + n*p - 10 for s.
5
Let f = -4 + -16. Suppose -2*n - m = 2*n + 14, n + 2*m = 0. Let r be (20 + f)*2/n. Solve -5*v + 6 = 5*w + 1, r = 4*w for v.
1
Suppose 4*j - 14 = -4*s + s, -2*s + 3*j = 2. Suppose s*l - 14 = -6. Solve 12 = 4*f - 2*b, 5*f - 5*b - l = 1 for f.
5
Suppose -195 = -36*q - 159. Solve 2*z + c - 11 = 0, 8 = 3*c - q for z.
4
Suppose 27 = 11*c - 8*c. Let o(t) = -t + 12. Let n be o(c). Solve n*g + 3 = -2*k - 1, 0 = -5*k + 5*g + 40 for k.
4
Suppose -10*x + 13 = -37. Solve -2*k + f + 4 = 0, -x*f = -5*k + k - 4 for k.
4
Let z(d) = d**2 - 9*d + 19. Let c(s) = -s - 1. Let n(x) = -3*c(x) - z(x). Let b be n(10). Suppose -5*g = 4 - 14. Solve 2*k = 3*q + 4 - g, -b*k = 3*q 