pose -3*j + 37 = 25. Solve 9*s = -4*p + 4*s + 24, -p = j*s - 17 for p.
1
Suppose 0 = 4*o + g - 7, 0*o = -o + 4*g + 23. Solve a = o*s - 20, 4*a = -0*s - 2*s - 10 for s.
5
Let r = 9 + -10. Let y be (r/3)/(3/(-54)). Let s = 1 + -1. Solve 2*n + s*k - 6 = -k, -n = 2*k - y for n.
2
Suppose 0 = -4*l - 8 - 8. Let n be 13/4 + 1/l. Let u be 2/(-9) - -47*3/27. Solve -n*j = b + 6, b = 3*j + 1 + u for j.
-2
Let x(l) = l**2 + 2*l - 2. Let y = 5 - 7. Let h = -5 - y. Let a be x(h). Solve -4*k + 28 = -4*t, k = 3*t + 2*k + a for t.
-2
Let w(h) = 1 + 1 - h - 11. Let r be w(-12). Solve t + 4*g = -4*t + 2, -2*g = r*t for t.
-2
Let s(o) = -o - 5. Let v be s(-7). Solve -2*h - v = u + 5, 2*h + 22 = -4*u for u.
-5
Let k = -12 + 14. Solve 3*f + f - 4 = k*x, 0 = -2*x - 3*f + 17 for x.
4
Let v(o) = -o**3 + 7*o**2 - 6*o + 4. Let a = 12 + -6. Let g be v(a). Solve 4*p + 0 = -3*t + 7, -4*p + g*t = -28 for p.
4
Let k be 2 + (0 - 3) + 12. Let t = k + -8. Suppose -o + u - 2 + 1 = 0, 5 = 4*o - u. Solve o*m - 3*c - 23 = 0, 0 = -t*m + 2*c - c + 17 for m.
4
Suppose 4*a + 43 = 5*m, m + 17 = 2*m - 5*a. Solve 4*s + s = 4*n - 24, -5*n = 3*s + m for s.
-4
Let g be 88/32 + 1/4. Solve -4 + 21 = 3*x - 5*z, -z - 7 = g*x for x.
-1
Suppose 3*a - 4 - 14 = 0. Suppose n = -5*l - 9, -3*l = a*n - 2*n + 2. Let v be 12/(-9)*3/l. Solve i - x = 4, -15 = 3*i + v*x - 2 for i.
-1
Let k = 22 + -20. Solve -k*p = -3*v - 2*v + 27, 2*v = -4*p + 6 for p.
-1
Let f(p) = -3*p + 80. Let c be f(25). Suppose 3 = -3*k, 51 = 2*l - 0*k - k. Solve 4*y - 5*i + l = 0, -y - 25 = -6*y - c*i for y.
0
Let j(x) = 72*x - 2. Suppose -3*f - 14 - 13 = -5*b, 5*b - 23 = 2*f. Let u be j(b). Let p be u/6 - (-3)/9. Solve 3*y - 5*s = 32, 0 = 8*y - 4*y - 5*s - p for y.
4
Let y be 30/(-2)*4/(-10). Suppose -3*b + y*b = 9. Solve 0*m = 3*m + b*z + 12, -m - 4 = -5*z for m.
-4
Let c(k) = 3*k - 24. Let f be c(9). Solve 2 = -5*r + f*o, -r + 5*o - 12 = 3*r for r.
2
Suppose 2*r = -5*d + 29, 4*d = 2*d + 10. Solve -2*i + r*z = -14, 0 = i - 6*z + 2*z - 19 for i.
3
Let b(v) = v - 6. Let x be b(8). Suppose -2*s = s + 2*p - 13, -5*p = -4*s + x. Solve s*h - 3*g = h - 7, -4 = 3*h + 2*g for h.
-2
Let v = 143 - 140. Solve 0 = x - 0*x - 3*f - 19, v*x - 4*f = 32 for x.
4
Let j = -6 - -10. Suppose j*z = z + 24. Solve -z = -3*w - 2*v, 12 = -2*w - 3*w + 3*v for w.
0
Let m(q) = -2*q - 11. Let w be m(-8). Suppose -f - 5*h = 2*f + 8, -4*h = -w*f + 36. Solve f*a = -5*j - 2, 4*a + 22 = 4*j + j for j.
2
Suppose 0 = 2*p - 3*p + 4. Solve -3*j + 24 = 5*s, -j - p*j + 5*s = 0 for j.
3
Let f be ((-12)/10)/((-2)/5). Suppose 3 = m - f. Solve -4*a + 21 = m*r - r, -4*r + 2*a = 4 for r.
1
Let m be -1*(-3 + -12) + 2. Solve -3*c - w = -m, -2*c - 3*w = c - 21 for c.
5
Let k(w) = w + 6. Let l(u) = u**2 - 6*u + 4. Let m be l(3). Let d be k(m). Let r be (-3 - -2)/(d/(-2)). Solve -3*h = -3*n + 4*n + 10, r*h - 16 = 5*n for n.
-4
Let l be 0*1/(-2) + 2. Solve b - 5*r - 5 = 6*b, r = -l*b + 3 for b.
4
Suppose 4*o + 53 = -p, 5*p - 2 - 6 = o. Let n(j) = -j**2 + j - 2. Let g be n(3). Let t = g - o. Solve 3*v - 2*a - 1 = -5, -t*a + 15 = -5*v for v.
2
Let k be (12/(-8))/((-3)/(-30)). Let q be (18/k)/((-4)/10). Solve -5*a + 0*o = 4*o + 19, -q*o = 3*a + 12 for a.
-3
Suppose -5*h - 4*s = -100, 7*s + 39 = h + 4*s. Let i be (1*-1)/((-6)/h). Solve -3*q + 9 = 0, 3*v + i*q = 2*q + 18 for v.
4
Suppose 0 = -5*f + 3*c - c + 74, -5*f = 5*c - 60. Suppose -f = -3*i + 1. Let m = i - 1. Solve 4*x + 3*j - 15 = x, m = 4*j for x.
4
Let j = -1 + 7. Suppose j*n = 10*n. Solve 2*k + n*f + 24 = -4*f, -12 = 4*k - f for k.
-4
Let o be 29/(-4) - 3/(-12). Let w = 0 - o. Solve -3*j + 3*k = j - 2, 5*j + w = -k for j.
-1
Let x be (-10)/(-15)*(-1 - -4). Suppose 0*u - 4*u = 0. Let i be 2 - -1 - (u + 0). Solve -j - t = 0, -x*j + i = 4*t + 1 for j.
-1
Let x = -15 - -28. Solve -5*q - x = -3*g, g = -6*q + 2*q - 24 for g.
-4
Suppose 7*k - 22 = 6. Solve -i = -4*n + 24 - k, -3*i = 3*n for n.
4
Let o be (4/6)/((-8)/(-36)). Suppose i - 5 = n, 5*n - 3*n + 19 = 5*i. Suppose 0 = -2*w + w + 2. Solve 8 = -o*f + c, -2*c = i*f + w*c + 28 for f.
-4
Suppose 2*n = -8 - 12. Let t(u) = u**2 + 15*u. Let s(a) = a**2 + 14*a. Let m(p) = -5*s(p) + 4*t(p). Let z be m(n). Solve -6 = -2*w, z = h - 3*h + 3*w - 1 for h.
4
Suppose -2*h - 4*r + 26 = -0*h, -r + 14 = 2*h. Solve -l - 11 = -6*l + 2*g, 0 = h*l + 2*g + 1 for l.
1
Suppose 4*f = f + 21. Let s = f - 4. Suppose -s*q - 5*j - 11 = -j, 19 = -2*q - 5*j. Solve -m - 5*b + 4 = 12, -m = -q*b - 8 for m.
2
Let n(z) = z**2 + 10*z - 7. Let v be n(-11). Solve -v*b - 16 = 4*o, -b + 4*o = -4*b - 15 for b.
-1
Let h(u) = -4*u + 64. Let o be h(15). Solve 0 = d - 3*y + 15, 7*d - 20 = o*d - 4*y for d.
0
Suppose 0*r - 50 = -5*r. Suppose 5*z - f + 14 = 0, -3*z + 4*f = 5*f + r. Let g be -1 - z - (1 - 3). Solve 4*h + h + 29 = -g*b, 2*b = -4*h - 22 for b.
-1
Suppose -23*y + 24*y - 8 = 0. Solve -2*r - 2*l = -10, y*l - 10 = 3*l for r.
3
Let j = 27 + -19. Suppose y + a - j = -0*y, -5*y = 2*a - 55. Suppose 3*o + y = -2*i + 3*i, 4*o = -5*i + 8. Solve s - 4*s = m + 17, 0 = -i*s - 2*m - 24 for s.
-5
Let x = -23 + 27. Solve -d = 3*d + x*k - 8, -13 = -4*d - 5*k for d.
-3
Let d(v) = -v**2 - v + 2. Let m be d(2). Suppose -o - 2*a - 3*a = 14, -3*a - 6 = 0. Let i = m - o. Solve -3*q + 2*p - 4 = i, -4*q - p - 4*p = -33 for q.
2
Let n(o) = -3*o + 13. Let l be n(3). Let a = -6 + 14. Suppose 3*k = -2 + a. Solve -5*r + 5*w = 0, -1 = k*r + l*w - 7 for r.
1
Let b = -58 + 60. Solve 5*f + 4*q = 8, 0*f = f + q - b for f.
0
Suppose 3*d = 2*d - 4*d. Solve 2*n = 5*o + 33, -o - 4*o - 4*n - 9 = d for o.
-5
Let q(m) = -3*m**3 + m + 1. Let z be q(-1). Let x = 4 - -5. Solve -a + 15 = -z*i + 4*a, -i + 3*a = x for i.
0
Suppose 2*i - 10 = -2. Let p be 207/12 - 1/i. Solve -4*j - m = p, 2*j - j + 5*m + 9 = 0 for j.
-4
Let d be 0/2 - 15/(-3). Suppose 3*o = -0*o + 6. Solve -d*z - 2*j = 3*j + 10, -j + o = -z for z.
-2
Let l = -22 + 15. Let o(y) = -3*y - 16. Let d be o(l). Solve -5*k - w - w = 17, 5*w = d*k + 45 for k.
-5
Suppose 2*f + 4 = -5*c, 3*f = -2*c + 5 - 0. Solve 5*a + 2*j + 8 = 4*a, -f*a - 3*j = 12 for a.
0
Let l(i) = 3*i**3 - 3*i**3 - i**3 - 4 - 6*i**2 + 13*i**2 - 5*i. Let u be l(6). Solve 0 = 3*d - u*w - 5, 3*w - 22 = -4*d - 2*w for d.
3
Let o = 29 + -17. Let x = -7 + o. Solve 0 = 3*j + x*p - 10, 0*p + 3*p = -3 for j.
5
Let z(h) = -h**3 - 3*h**2 - h - 5. Let m = 1 + 1. Suppose m*d = 5*v + 3*d + 19, -v + 2*d = 6. Let f be z(v). Solve -2*k + 6 = 4*p, -p + 0 = -5*k + f for p.
0
Suppose -33*s = -35*s. Suppose -3*f = -11 - 1. Solve 3*a + f*j = -20, s*j - 5*j + 2 = -3*a for a.
-4
Let l(x) = 4*x + 17. Let h be l(-3). Solve 5*t + 4*w - 8*w + 17 = 0, -t = h*w + 15 for t.
-5
Suppose 2*s - 6*s = -44. Suppose 0 = -6*r + 11*r - 30. Suppose -2*w = 5*i + 11, r*w - 4*i - 55 = w. Solve 2*z + w = 3*y, -s = -5*z - 4*y + 29 for z.
4
Suppose -8 = -5*m + m. Solve 5*i = -5*y + 15, -5*y = -6*i + m*i + 21 for y.
-1
Suppose -4*p = 4*b - 16, 0 = -4*b + 2*b - 4*p + 12. Solve -3*d - b*i = 2*i - 17, -i + 10 = -5*d for d.
-1
Let x be -4 + (2 - -2) + 2. Solve 0*f - f = z + 3, -3*f = x*z + 6 for z.
-3
Let d = -5 + 8. Suppose 3*z - 9 - d = 0. Suppose 6*m - 3*m - 4 = -5*y, 0 = m + 3*y + 4. Solve -z*r + m + 12 = v, 4*v + 5 = r for v.
0
Suppose 0*w + w = 19. Solve -4*f = -2*h - 1 + w, -16 = 4*f for h.
1
Let s be (1 - (-15)/3) + -1. Solve s*y - 5 = -5*r, -2*r + y = -4*r for r.
-1
Let c = 14 - 6. Solve -2*q + 3*q - 5 = 4*d, -c = -5*q + 3*d for q.
1
Let z(m) = -m**2 + 6*m - 3. Let w be z(5). Let q(d) = -2*d**3 - 2*d**2 + d - 2. Let h be q(-2). Solve -h*y = 4*c + 24, 3*y + w = y + 3*c for y.
-4
Let f(t) = 80*t - 1. Let w be f(1). Suppose -4*u + 1 = -w. Solve 0 = -5*z - v - 4*v + u, z - v - 4 = 0 for z.
4
Suppose 2*q - 1 = 3. Suppose 12 = -m + 5*m. Suppose q*p = -m*p + 25. Solve -x + 3 = -p*s + 6, 5*x - 8 = 2*s for x.
2
Let j = -1 - 5. Let v be 20/6*(-9)/j. Solve 2*t = -2*d + 5*d, -v*t = -15 for d.
2
Suppose 5*i = 4*i, o - 60 = -5*i. Suppose 6*f - f - o = 0. Solve 5*g - 32 = 5*h - 2, -3*h + g - f = 0 for h.
-3
Let q be ((-24)/(-14) - 2)*(-7 - 0). Solve -5*w + q*p + 11 = -8, 4*w = 2*p + 14 for w.
5
Let s(v) = -v + 22. Let l be s(0). Let f = l + -10. Suppose -3*m + 0*m + 6 = 0. Solve 3*n = k + m*k - f, 0 = -2*k + 4 for n.
-2
Let v(f) = 6*f - 1. Let d be v(1). Suppose -s - 8 = -d*s. Suppose x + 