. Let l be f(-7). Solve 0 = 5*u + 3*h - 16, -l*u = -u - 2*h + n for u.
2
Let z(i) = i**2 - 6*i + 5. Suppose -3*p = 5*s - 18, -4*p + 5*s + 30 = p. Let r be z(p). Solve 4*m = -r*l - 11, 25 = -5*m - 4*l + 9 for m.
-4
Suppose 0*a + 36 = 2*j + 2*a, -2*a = -j + 15. Let l = j - 15. Solve -5*g + 20 = -10*g + 3*y, -g + l*y = 4 for g.
-4
Let g(q) = q**3 - 3*q**2 - 4. Let w be g(3). Let j(s) = -s - 4. Let x be j(8). Let y be x/(-18)*(-18)/w. Solve 0 = 2*k + y*a + 10, -3*a = -4*k + a - 20 for k.
-5
Let t be -2 + 6 + 0/1. Suppose 2*f = 4*w + 58, 5*f - 2*w = -w + 145. Solve -2*v = -t*j + 12, v - 2*v + f = 5*j for v.
4
Suppose 3*f = 5*n - 23, 0 = -4*n - 8*f + 3*f + 11. Let l = 47 - 43. Solve -n*v + 11 = -3*o, l*v + 2*o = v + 21 for v.
5
Suppose -q = -4*q + 15. Solve 0 = -q*i - 5*m - 25, -5*i - 11 = -3*m + 14 for i.
-5
Let g = -18 - -20. Solve 2*v - 13 = -3*s, -g*v + 4*s = -0*s - 6 for v.
5
Let v(o) = -o**2 + 11*o - 3. Let z be (-2)/(0 - (-2)/(-10)). Let b be v(z). Solve -b = -2*a - 3*p, -2*a + 8 = 2*a + 4*p for a.
-1
Let g(o) = o**3 - 11*o**2 + 12*o - 10. Let x be g(10). Solve 23 = 5*u - 2*c, -4*c = u + u + x for u.
3
Suppose -1 = s - 6. Solve -3*u - s*b = -18, 6 = 5*b - 3*b for u.
1
Let b be 7 + (2 - (-2 - -8)). Suppose -b*a = -30 - 12. Solve 4*r = -8, 0*v + 5*r = -2*v - a for v.
-2
Let o be -8 - 16/(-2 - 2). Let v be o/6 - (-33)/9. Solve -z - 2 = 0, -4*r + 19 = -v*z - 7 for r.
5
Suppose 0 = -5*u + 25, 0*o - u = -o + 4. Solve 14 = 4*k + 5*h, 0 = -k + 6*h - h - o for k.
1
Let u be (-16)/8 + -1 + 7. Solve -2*y - f = 9 + u, 3*y = f - 7 for y.
-4
Let l(x) = x**2 - x + 13. Let o be l(0). Let j be ((-3)/(-5))/(o/65). Solve 14 = -j*y + 6*y + 5*s, 12 = 3*s for y.
-2
Suppose 5*k - 24 = 1. Solve -4*o = 12, 3*q = k*q + 2*o + 12 for q.
-3
Suppose 2*u = 3*u + y - 8, 3*y = 5*u - 24. Let x = u - 3. Solve x*q = d - 11, -2*d - 3*q - 3 = 2 for d.
2
Suppose 5*j + 4 = 4. Solve j = 4*o + 2*k + 4, 0 = 3*o + 2*k + 2 for o.
-2
Let q = 2 - -1. Suppose q*z + 4*n = 20, -5*z - 2*n + 4 = -20. Suppose -2*u + 6*m - 2*m - 10 = 0, -4*u + 16 = m. Solve 5*l = -3*o + 6, u*o + 0*o + z*l = 6 for o.
2
Let k(j) = 2*j. Let q be k(2). Solve -3*r - r + 4 = q*s, -3*r = -2*s + 17 for s.
4
Let h be (-4)/26 - 498/(-26). Let m be (h - 5)/(2*1). Solve 0*z + 2*z = -q - m, q + 2 = -z for z.
-5
Let q be 6 + -2 + (0 - -1). Suppose 4*y - 22 = -q*x, 5*x - 20 + 1 = -3*y. Solve 5*p - x*s = -0*s + 15, -5*p - 3*s = -15 for p.
3
Suppose 4*r - 2*k + 5 = 5*r, 13 = 2*r + k. Let t be 8 + 3 + (1 - r). Solve 0 = -3*n - 3, -t*x + 2*n = -2*n + 6 for x.
-2
Suppose -29 = -z - 2*d, -5*z + 2 = 5*d - 143. Suppose 6*l - 3*l + 5 = -5*j, -3*j + 5*l = -31. Solve 3*i + o + 0*o + 17 = 0, 0 = 5*i + j*o + z for i.
-5
Let i = 70 + -67. Solve 0 = -2*s + i*u, 13 = 5*s - 2*u + u for s.
3
Let q(t) = t - 8. Let b be q(6). Let x = 5 + b. Solve -r + 3*h = 3, 3*h + 3 = x*r - 0 for r.
3
Let g = -57 + 67. Solve -l - l = -2*p + g, 0 = -5*p - 4*l - 20 for p.
0
Suppose -20 = 4*u - 9*u. Let k = -7 + 6. Let y(h) = -5*h - 1. Let b be y(k). Solve -5*x + 7 = -3*j, 2*j = b*x - x - u for j.
1
Suppose -i - 3 = -6. Solve -i*g + 3*t + 6 = 0, 5*t + 19 = -3*g - g for g.
-1
Suppose 4*l + 12 = -8. Let w = 11 + l. Solve c + 19 = -4*u, 0 = -2*u + w*c - 3*c + 1 for u.
-4
Let z(s) = -12*s**3. Let b be z(-1). Solve 0 = -5*t - d - d + 8, 2*t + 3*d = b for t.
0
Suppose -2*y = -1 - 5. Solve y*q = 5*b + 19, -3*q + 5*b = -6*q - 31 for q.
-2
Let d be (-49)/(-21) - 2/(-9)*3. Solve -d*z = i, -2*z - 3*z - 8 = -i for z.
-1
Let d(j) = -j**2 - 3*j + 1. Let r be d(-3). Let q be r + -1 + 3 + 2. Solve -2*t + 5*t = 6, u = t - q for u.
-3
Let l = -28 + 31. Solve 3*i = -2*p + l, -3*p + p - 4*i + 2 = 0 for p.
3
Suppose -k = k - 3*f - 16, 3*k = -3*f + 9. Solve -m + c - 3 = 3*c, -k*c - 45 = -5*m for m.
5
Let y(h) = h**3 + 6*h**2 - 6*h + 6. Let i be y(-7). Let w be (8*i - -1)*-1. Solve 5*x - m + 10 = 0, -x = -2*m + w + 4 for x.
-1
Let q = 19 + -22. Let z(u) = -u**2 - 7*u - 4. Let c be z(q). Solve 4*f = 4*s + 20, 2*f = 5*s + c + 2 for s.
0
Suppose -5*x = 5*k - 250, 138 = 3*x - 7*k + 4*k. Let u be (-6)/(-39) - x/(-26). Solve -3*m - 17 = -3*g - u, 5 = -m + 4*g for m.
-5
Let k be 4/(16/4) - -4. Suppose -2*u - 12 = -2*t, -2*t + u - 24 = -7*t. Let c(m) = 2*m + 11. Let h be c(-4). Solve t*d + 19 = h*a, -k*a = -2*a - 9 for d.
-2
Let t = 1 + -1. Let g = -3 - t. Let c be (2/g)/(5/(-15)). Solve 4*w + q + c = 17, 5*q = 15 for w.
3
Suppose -3*p - 4*j + 17 = 0, 11 = 6*p - 5*p + 4*j. Solve -5*w + z = -4*w + 5, -3*w = z + p for w.
-2
Let t(a) = 2*a - 38. Let p be t(20). Solve -p*x = -u + 5, -u + x - 2 = u for u.
-3
Let x(a) = a - 3. Let p be x(3). Solve -3*y + o + 10 = 0, -3*y + 2*o + 12 + 2 = p for y.
2
Suppose 4*o - 56 = 40. Solve 2*i = -5*v + 26, 2 = -2*i - 4*v + o for i.
3
Let w be (0 + 1)*(2 + 0). Suppose 2*g + w*g = 16. Let m = -1 + g. Solve 0 = m*k + 3*v - 9, 3*k - k = -3*v + 11 for k.
-2
Let t = -47 + 51. Solve 0 = -0*a + 3*a - 6, 8 = t*p + 2*a for p.
1
Let j = -6 - -8. Let a(f) = f**j + 2*f**2 + 3 - 2*f**2. Let r be a(-3). Solve r = 4*i + 4*k, 5*i + 0*k - 3 = k for i.
1
Let a(p) = p + 12. Let z be a(-9). Let u = -29 - -29. Solve 0 = i - u*x - x, x = -z*i for i.
0
Let d = -15 - -28. Let w = -7 + 12. Solve 3*m - 8*m + 2*c - 4 = 0, -w*m - c = d for m.
-2
Let q(h) = h**3 + 4*h**2 - 8*h - 7. Let n be q(-5). Suppose 4*b - n - 4 = 0. Let z be (2/(-3))/(b/(-9)). Solve 4*x - 8 = 4*u, -4*u + z*x = 5*x + 22 for u.
-4
Suppose 0*h = 2*h. Suppose -5*d + 12 = -8. Solve h = -5*a + 25, -2*o = -d*o + 4*a - 18 for o.
1
Suppose -90 = -5*q + 4*m + 65, 4*q + m - 124 = 0. Solve -4*c = -2*d + 10 + 12, q = -4*c + 5*d for c.
-4
Suppose -5 = 4*c + 3. Let m be (-1 + c)*-1*1. Solve 3*r + q + 5 = m, 3*q = 5*r + 22 for r.
-2
Suppose -59 = -4*s + 5*s. Let g = 85 + s. Suppose 1 = -5*k + g. Solve 2*n = 5*d + 35, k*n - 4*d = -0*d + 45 for n.
5
Let l = 68 - 64. Let g(u) = u + 7. Let z be g(-5). Let n be 1*-1 - (-6 - -1). Solve -n*h = i - z*i - 17, -l*i + 22 = 2*h for h.
5
Let c be (-5)/(-2)*(-168)/(-105). Solve -20 = -c*f, 4*l - 3*f = -25 + 2 for l.
-2
Let d(w) = w - 3*w + 2 - 4. Suppose 4*p = -34 + 10. Let y be d(p). Solve 4*q = 2*r + y, -q - q = -4*r - 20 for r.
-5
Let k(s) = -3*s**2 - 23*s - 4. Let a(h) = -2*h**2 - 15*h - 3. Let w(c) = -8*a(c) + 5*k(c). Let z be w(-5). Solve 5*j + 0 = 5*b - 10, 10 = -5*j - z*b for j.
-2
Suppose -5*s = -4*s - 4. Let i be 4*s/16 - -2. Solve 15 = f + 3*c, 3*c = -i*f + 2 + 13 for f.
0
Suppose 0 = i + 3*i. Solve i = -4*m - 2*n + 7*n - 33, 2*m - 3*n = -19 for m.
-2
Let o be 6/(-2)*(2 + -4). Solve 5*j - o*j - 12 = 4*d, -3*d - 4 = 2*j for j.
4
Let q(z) = -z**3 - 8*z**2 - 8*z. Let t be q(-7). Suppose 4*a - t = -5*s, -a + 0*a = -2*s + 8. Solve 4*k - 4 = -5*n, -s*k - 2*k - 2*n + 5 = 0 for k.
1
Let m = 16 + -15. Solve -14 = v + 4*z, 2*z = -3*v - 1 - m for v.
2
Let u = 11 + -6. Suppose -6 - 2 = -3*n + 2*c, -n = -u*c - 20. Suppose -v - 3*v + 24 = n. Solve v*b + 4*w = 2*b + 32, -5*b + 24 = w for b.
4
Let k(y) = -3*y - 3. Let q be k(-4). Let h(n) = -n**2 + 10*n - 13. Let j be h(q). Let a be j/20 - (-11)/5. Solve -2*o - 5*l = -4 + a, 5*l = -5*o - 10 for o.
-4
Let n(l) = -6*l**3 + 2*l**2 - 1. Let i be n(1). Let v = i + 3. Let o be (-1)/2*6*v. Solve -2*x - u + 5 = 0, -x = -o*x - 2*u + 11 for x.
1
Let f(y) = y**3 - 4*y**2 + y - 1. Let q be f(4). Let r = q - -2. Suppose -r*n + 17 = -3. Solve 4*s = t + 9, n*t + 11 = -4*s - 5 for t.
-5
Let f = 2 + -3. Let y be ((1 + f)/(-2))/2. Solve y = m - 3*l - 7, 5*m = 3*m + l + 4 for m.
1
Let t be 33/7 + 2/7. Suppose 1 = -4*l + t. Let m be -2*(-1)/2 + l. Solve 0 = g - m*f + 8 + 1, -4*f + 12 = 0 for g.
-3
Let s be 186/10 - (-15)/(-25). Solve -3*i + s = 2*x + i, 0 = x - 4*i + 9 for x.
3
Suppose -2*n + 14 = -2*f, n - 3*n + 5*f = -26. Suppose -3 = n*g + 3. Let a = g + 8. Solve 3*h - 9 = 0, -3*r - a = 4*h - 2*h for r.
-4
Let j(l) = -l**2 - 9*l - 4. Let b be j(-4). Solve 4*a - 26 = -3*x, -4*a + b = -x - x for a.
5
Let x be (10/(-25))/((-1)/30). Solve 4 = -4*b + 2*l - l, -3*b + 3*l = x for b.
0
Let j = -40 - -44. Solve j*i + 11 = 5*c, 18 - 1 = -5*i + 3*c for i.
-4
Let b(s) = s**3 + 13*s**2 + 10*s - 15. Let t = 22 + -34. Let h be b(t). Solve 3*z = y - 6, z + z - h = 5*y for y.
-3
Suppose 2*z + 12 = 5*z. Solve f - 2*p + 2 = 0, 4*f + 5*p - p = z for f.
0
Let q = -173 + 173. Solve -2*n 