. Let p(h) = 6*h - 2. Let r be p(2). Suppose t = -x - 4*x + r. Solve -3*f = o - x + 14, 24 = 3*o - 3*f for o.
3
Let r be ((-72)/(-9))/(2/1). Solve 0 = 4*m + r*g - 5*g + 11, -5*m - 19 = 4*g for m.
-3
Let p(i) = i**2 - 5*i. Let f be p(5). Solve f = 4*z + t - 2*t - 12, 4*z - 12 = 4*t for z.
3
Suppose -5*b - 12 = 2*m - 5*m, -3*m + 12 = 4*b. Solve -3*f = 0, -m*j - 6*f = -11*f + 8 for j.
-2
Suppose 3*z - 15 = -c, z + 4*c - 4 = 1. Solve -z*r = 5*t - 25, -r + 4 + 1 = 0 for t.
0
Let y = 5 - -2. Let g be 120/(-20)*((-25)/6)/1. Solve 0 = -2*c - 8, 2*f + y = 3*c + g for f.
3
Let l be 2/3*(-330)/(-20). Solve -2*p - o + 2*o = -l, -7 = p + 2*o for p.
3
Let w = 5 - 3. Solve -h + 12 = -5*x - 0*h, -w*x - 3*h = -2 for x.
-2
Let l(o) = 11*o + 4. Let d(j) = -12*j - 5. Let n(g) = 5*d(g) + 6*l(g). Let r be n(1). Solve -1 + 0 = -3*p - r*s, 0 = -5*p - 5*s - 5 for p.
-3
Suppose b + 153 = 4*f, 0 = 6*b - 2*b + 20. Solve -3*m = -4*v - 3, -4*v = -0*v + 5*m - f for v.
3
Suppose -9*w - 2 = -29. Solve -w*f - 2 = -i, -2*i = 3*f - 5*i + 6 for f.
0
Suppose -4*g = -6*g. Suppose g*c = o + c, -28 = -2*o + 5*c. Solve 0 = -o*r + r + 3*d, -3*r - 8 = d for r.
-2
Let x(k) = k**2 + k. Let n(q) = -3*q**2 - 3*q - 3. Let f(c) = n(c) + 4*x(c). Let o be f(-3). Solve 2*t - 8 = -w + o, 0 = 5*t - 5*w - 5 for t.
4
Let q = 18 + -13. Let y = q + -2. Let n = -27 - -33. Solve -16 = y*a + 3*p - 4*p, a - p = -n for a.
-5
Let h(r) = 7*r. Let x be h(3). Suppose 2*v = 35 + x. Suppose 3*c - v = -c. Solve 5*n - c*u + 2*u = 5, -3*n - 4*u = 32 for n.
-4
Let d = 2 + 1. Suppose 2*l - y + 5*y = 20, -5*l - d*y + 78 = 0. Suppose -4*g - 1 = -9. Solve g*j - l = 4*i, 2*j - 2 + 8 = -2*i for i.
-4
Let m(a) = a**3 + 6*a**2 + 2*a + 15. Let l be m(-6). Let b be -1 - -1 - -6 - 1. Solve d - 3*x - 2*x - 11 = 0, -l*d = -x - b for d.
1
Let n(t) = 14*t + 1. Let b be n(1). Let o = b - 13. Solve -w - 2*v + 3 = 0, 0*w + 5*w + o*v = -9 for w.
-3
Let k be 2/(-4) - 9/(-2). Let p be (-6)/k - 27/(-18). Suppose h + p*h - 5 = 0. Solve l - 3*o = -2 - 17, -2*l + h*o = 33 for l.
-4
Let p be -4 - -7 - (-2)/(-2). Let z = p + 2. Solve u = i, z*u - 9 = 2*i + 1 for i.
5
Let d = -17 - -12. Let f be (d + -1)*(-2)/3. Solve -3*r + 3*a = -2*r - 12, 5*r + f*a = 3 for r.
3
Let h = 10 - 3. Suppose 0 = h*c - 2*c. Let u be (2 - -1) + (-6 - -6). Solve w + 2*y = -u, -3*w + 4*y - 19 = -c*w for w.
-5
Let k(s) = 3*s - 2. Let z(l) = l - 1. Let v(f) = k(f) - z(f). Let n be v(7). Solve -2*i - 4*o + 14 = -2*o, -o - n = -4*i for i.
4
Let s(x) = -6*x - 3. Let o be s(-4). Suppose -2*c + 3*u - 6 = 5*u, 2*c + 5*u + o = 0. Solve 0 = -2*f - 8, c*f + 10 = 3*m - 7 for m.
3
Suppose l - 19 = -5. Solve -2*p + p + 11 = -3*o, p = -2*o - l for o.
-5
Let q(f) = -f**3 + 5*f**2 + f. Let v be q(5). Suppose 2*d + 45 = v*d. Solve -3*z - d = -3*g, 9 = 4*g - 2*z - 11 for g.
5
Let l(p) = 2*p**2 - 4*p + 2. Let d be l(2). Suppose -17*y = -16*y + 42. Let g be (-12)/(-21)*y/(-12). Solve 3*m = d*k + 9, -3*k - 7 = g for m.
1
Let j(k) = k**3 - 6*k**2 + 4*k - 5. Let c = 3 - -2. Let v be j(c). Let r be (-6)/4*v/5. Solve 2 = o + r*a, -3*o = o - 2*a + 20 for o.
-4
Let x be -9*-6*(-3)/(-6). Solve -2*c = -4*f + 1 + 1, 4*f = -3*c + x for f.
3
Suppose 16 = -4*x + 2*x. Let s = -6 - x. Solve 2*j - u + 11 = 0, -s*j - 3 = 4*u + 3 for j.
-5
Let y be 10 + -3 + (-1 - -4). Solve y = -b + 5*j, 3*j + 3 = 6*j for b.
-5
Suppose -5*r - 4 = -14. Let s be 1*(-3)/(-12)*4. Let f be 4/(-10)*(-6 + s). Solve k = -f*m - 2, -m - r*m = -k + 8 for m.
-2
Suppose 2*o + 4*q + 32 = 6*o, 4*o - 23 = q. Solve 3*g - 1 = v - 0, 5*v - 4*g = -o for v.
-1
Let l(g) = -g**2 + 9*g - 13. Let t be l(6). Solve 10 = y + o - 4*o, 3*y + 40 = -t*o for y.
-5
Let k(s) = 2*s - 13. Let n be k(10). Let c(w) = -w**2 + 7*w + 8. Let r be c(n). Let t be 9/12 + 10/r. Solve -2*f = -l - 10, 0 = -t*f - 0*f - 4*l for f.
4
Suppose -2*u + 3*q = 1, 2*q - 2 = -u + 8. Solve 5*p + 4 + 8 = -u*f, -f - 3*p - 10 = 0 for f.
2
Let y be (-1 - -3) + (5 - 7). Suppose y = 2*j + 3*j - 10, a + j = 5. Solve -5*d = -a*n - 13, -2*d = -3*n - 6*d + 32 for n.
4
Suppose 0 = s - 16 - 9. Suppose -4*m + 105 = 5*h, -2*m - 3*h = 3*m - 128. Suppose -3*i + m = 2*i. Solve 0*q + q = 5*c - 26, -i*c + s = 0 for q.
-1
Suppose -3*x - 3*l - 3 = 0, -3*l = -3*x - 2*l + 1. Suppose -4*b + 2*h = 5*h - 50, x = 3*h + 6. Solve 2*k - 4*k + 2*n - 10 = 0, b = -2*k + 4*n for k.
-3
Suppose 4*j = 3*n - 21, 4*n - 5*j - 26 = 1. Solve -6 = -3*b + 5*z - 4*z, z + n = 0 for b.
1
Let j be (-3 + 5)*(2 + 3). Solve -f + 5 = -4*g, -2*g + j = -5*f + 35 for g.
0
Let i(l) = l**3 + 4*l**2 - 2*l - 4. Let v be i(-4). Let j be 9/(-6)*(-1 - 1). Solve -4*c = 3*z - 3, v*z + 7 = -4*c + j*z for c.
-3
Let k = 4 - 0. Let b = 6 - k. Solve -3*n - 6 = 5*s - b*s, 4*s + 3*n = -3 for s.
3
Let y(f) = 2*f - 5. Let j be y(4). Suppose k - j + 21 = 2*i, 2*k + 26 = 3*i. Solve 0 = -5*v - g + i, 2*v - g - 21 = 2*g for v.
3
Let i = 8 - 9. Let c be -3*(i - 2/3). Solve -5*b + 3*w + 20 = 0, 0 = -c*b - 3*w - w - 15 for b.
1
Suppose 80 = 4*x + 5*w + 15, -30 = -2*x - 2*w. Solve -4*f + 20 = -4*r, x = -2*r + f - 3*f for r.
-5
Let m(s) = s**2 - 6*s + 11. Let p be m(4). Suppose 3*n + n = 3*x - 4, -3*x = 0. Let b be (-112)/(-6) - n/p. Solve -v = 4*t - b, 3*v + 2*v - t = -10 for v.
-1
Suppose -5*i + 3*i = 26. Let b = i + 17. Solve -4*l = -b*u - 13 - 7, 0 = u + 4*l for u.
-4
Suppose -31 = -3*g - 4*x, 2*x + 8 = 4*g - x. Solve -g*l = 3*j - 11, 0 = -4*j + 2*j + 4 for l.
1
Suppose -4*o - 3*b + 39 = -10, -2*o + 11 = -3*b. Suppose 0 = -4*a - a + o. Solve -12 = -4*s - a*c + 4, -7 = -3*s + c for s.
3
Let a(v) = 3*v - 65. Let b be a(23). Solve -l - 4*l + w + 11 = 0, -13 = -b*l + 5*w for l.
2
Let b = -21 - -24. Solve -s + 11 = -b*u - 0*u, -6 = 2*s + u for s.
-1
Let k(p) = p + 5*p - 3*p + 11 - 4*p. Let d be -6*(0 + (-6)/4). Let r be k(d). Solve -5*f + 5 = -5*w, w + 3 = r*f + 2 for f.
0
Let q = -15 + 15. Solve 3*i + 3 = -p, -5*p + q*p = -i - 17 for i.
-2
Let y = -5 - -3. Let h be (0 - 0)/((-1)/1). Let g be (40 + h)*(-1)/y. Solve -3*k + d - 5 = 0, 0 = 3*k + 2*d + 2*d - g for k.
0
Let g = 16 - -8. Suppose -g = -p + 5*d, -p + 4*d + 0*d = -22. Solve -p = 4*z + 2*m, 2*z = -2*z + 3*m - 19 for z.
-4
Suppose u - 3*f - 42 = -0*u, 2*u = -f + 56. Suppose -s + 3*s + u = 4*d, s = -5. Suppose -d*o = -9 - 1. Solve 4*i - 3*r = -7*r - 28, o*i - 1 = 3*r for i.
-4
Let b(z) = z**2 + 4*z + 2. Let x be b(-5). Let t = x + -3. Solve -5*v + 4*v - 21 = 5*f, -t*f - 24 = -v for v.
4
Let c(g) = g + 12. Let p(n) = -1. Let v(l) = c(l) + 2*p(l). Let o be v(-8). Suppose -1 = -b + o. Solve -5*u - 4*m + 3*m - 29 = 0, 0 = b*u - 2*m + 7 for u.
-5
Let b be (-1 + 2)/3*3. Let u be (9/6)/(3/(-8)). Let z be 110/6 + u/(-6). Solve 0 = 2*k + 5*p + z, k + b = -k + p for k.
-2
Let q be (-96)/(-20) + 2/10. Let p(w) = w. Let z be p(4). Suppose 3*c + 2*c - 15 = 0. Solve f + q*v = 9, 0 = -c*v - v + z for f.
4
Suppose -5*b + 4 = -4*o, b = -3*o + 23 - 7. Solve -5*i - 2*l - 23 = 0, -2*l + 4*l + 18 = -b*i for i.
-5
Suppose -5*x + 6 = -2*x, 2*d = -3*x + 24. Let c = -5 + d. Suppose -m + 0*m - 19 = -h, -4*h + 44 = c*m. Solve -k = -3*f + 20, -4*k - h - 10 = -f for f.
5
Suppose -f - 3*f = 2*l - 14, 3*f - 7 = 2*l. Suppose -2 = t + 3*p + 6, -9 = f*t + 4*p. Solve 5*k + 4*i = t, 2*i + 0*i - 23 = 5*k for k.
-3
Suppose 0 = -0*r + 2*r - 28. Solve -f + 2*b + 14 = 4, -2*b = -3*f + r for f.
2
Suppose 0 = x - 22 + 6. Let m(j) = -j**3 + 5*j**2 - 2*j - 3. Let f be m(3). Let d = -9 + f. Solve h = 3*p - h - 21, d = 2*p - 2*h - x for p.
5
Let a = 23 + -17. Solve -2*i = -4*g - 2, 2*i + 2 = 5*g + a for g.
-2
Let x(v) = v**3 + 4*v**2 - 5*v + 6. Let j be x(-5). Suppose -4*k + k = -j. Solve 3*l + k*y = -25 + 8, -5*y - 17 = -l for l.
-3
Let o(v) = -1. Let i(j) = -j + 5. Let f(t) = -i(t) - 3*o(t). Let y be f(6). Let n be 20/6 + (-6)/(-9). Solve r + n*x + 4 = 0, -19 = 3*r + y*x - 7 for r.
-4
Let n be 11/(-4) + 3/(-12). Let f be 5/(1 + (-3 - n)). Solve 2*k = -f*o - 0*o + 33, o = -4*k + 21 for k.
4
Let o(y) = 9*y**2 + y. Let b be o(-1). Suppose 0 = 5*i - s + 5*s - 33, s = 2*i - b. Solve -i*k + k = -3*j + 6, 0 = k for j.
2
Suppose -m = -3, 0 = -3*j + 2*j - 5*m + 17. Solve 0 = -6*g + 3*g + u - 9, 0 = j*g + 3*u + 17 for g.
-4
Let w(j) = j**2 + 6*j - 6. Let u be w(-9). Solve -5*s = 3*v - u, 0*s + v = -s + 5 for s.
3
Let i = -6 - -9. Solve 0 = 5*f - i*g + 12 + 