Let o(r) = -r + 3. Let q be o(6). Let x be h(q). Suppose 3*k + 24 = x*k + 4*t, 29 = 2*k + 5*t. Solve -k*v = 2*w - 4*v - 6, -5*v = 15 for w.
0
Let m(n) = 4*n - 14. Let x be m(4). Solve x*a - p = 8, -26 + 0 = -4*a - 3*p for a.
5
Let l = -5 - -5. Let x = -6 - -8. Suppose 5*v = -5*i + 50, -30 = -x*i - v - 3*v. Solve -3*u + 8*u + 16 = -g, i*g + 5*u + 20 = l for g.
-1
Suppose -2*c + h + 54 = -3*h, 5*c = h + 135. Let z = 54 - c. Solve -3*f - z = 3*k, 3*k = 5*f + 1 + 4 for k.
-5
Suppose -t - 2 = -3*a + 9, 4*t + 11 = a. Let o = 5 + t. Solve -m - 2 = 2*n, -8 = o*m + m + 3*n for m.
-2
Suppose o + 2*o - 9 = 0. Suppose 0 = -o*h + 3 + 3. Solve -3*f = r + 1 + 7, 0 = 2*f + h*r + 12 for f.
-1
Let i = 61 - 26. Solve -x = -5*o - 23 + 3, 4*o + 3*x + i = 0 for o.
-5
Suppose -7*r + 15 = -4*r. Let d(u) = -u**2 + 5*u + 3. Let w be d(r). Solve w*g + 4*i + 3 = -2, 3*g - i + 10 = 0 for g.
-3
Let y be 10*6*3/12. Solve 5*f = -y, -i - f - 18 = 4*f for i.
-3
Let p be 16/20*(-5)/(-2). Suppose -p*s + 5*s = 2*g - 19, -5 = 2*g + 5*s. Solve 0*y = -g*y + q + 14, -5*y + 3*q + 22 = 0 for y.
2
Let t be 62/22 + (0 - 4/(-22)). Solve -m = -o - 2 - 0, t*m - o = 2 for m.
0
Suppose c = -12*c - 0*c. Solve c = r - 2*s + 4, -3*r + 2*s = -6*r + 20 for r.
4
Let o be (-10)/15 - (-1)/(-3). Let r be 3*o*6/9. Let t be 1/(r/(-14)*1). Solve i - 2*x = -t, 0*i + 3*i + 5*x = 1 for i.
-3
Let y be (-3*(-1)/4)/(24/96). Solve 3*n = y*q - 3, -5*n + 0*q + 4 = -2*q for n.
2
Suppose -x = n - 2, 2*n - 5*x = -2*n + 44. Let z be -3*(-3)/n*2. Solve -5*w - 8 = 3*q, -5*q + 3*q - w = z for q.
-1
Let j(g) = g**2 + 8*g + 1. Let x be j(-8). Solve -2*y + n = -0*y - x, 3*y = 5*n + 19 for y.
-2
Let c = 5 + -3. Suppose -c*t = -t - 4. Solve -4*q + 8 = -4*g, -2*q + 9 = q - t*g for q.
-1
Let a(x) = 18*x + 27. Let z be a(-1). Suppose 0*c = -4*c. Let s(k) = -k**3 - k**2 - k. Let i be s(c). Solve i = -d, z = -3*h + 6*d - d for h.
-3
Suppose -4*k - 3*c + 9 = -k, 5 = 5*c. Let i = 0 + k. Solve -4 = -2*y + 4*q, 3*q = 4*y + 5*q + i for y.
0
Suppose 2*w - 4*f + 18 = -0*w, -3*w - 27 = -2*f. Suppose -3*t - 5*u - 9 = -0*u, 3 = u. Let j = t - w. Solve -o + 12 = -4*l + j, 0 = 3*o + 3*l - 3 for o.
3
Let b be 3*(24/9)/4. Let s be ((-3)/(-12))/((-2)/(-24)). Solve 2*y + 3*c - 7*c + 10 = 0, -s*y + 9 = b*c for y.
1
Let s = -38 + 63. Suppose 5 = 3*k - 4. Solve 5*b = k*p - 4*p - s, 3*b + 12 = 0 for p.
-5
Let v(u) = u**2 + 2*u + 3. Let z be v(0). Suppose z*k - 4 = -j + 6, -j - 5*k = -14. Solve -12 = j*q - o, -4 = 3*q + 3*o + 5 for q.
-3
Suppose 4*b - 29 = -9. Suppose b*d - 37 - 23 = 0. Suppose d = 3*c - 0*c. Solve c*o + 3*l + 13 = 4*l, -l - 3 = 0 for o.
-4
Suppose -2*l = 3*l + 40. Let r = l - -13. Solve -r*h + 6 = -2*c, 2*h - 15 = 5*c - h for c.
-3
Let d = 6 - 7. Let c = 2 - d. Solve 4*n + 0 = c*u - 14, 3*n + 4*u + 23 = 0 for n.
-5
Suppose -25 = -2*p + 15. Suppose -3*h = h - p. Let k be (-4)/(96/50 - 2). Solve 0*g + 25 = 4*o + g, -h*g = 5*o - k for o.
5
Let p(h) = h**2 - 16*h + 15. Let q be p(15). Solve q = -4*k, -v - 3*k + 1 = -0*v for v.
1
Let i = -10 - -16. Suppose i = -u + 18. Solve 0 = d - 3*d - 5*f + 9, 5*d = -2*f + u for d.
2
Let v = 4 + 3. Let u = v - 3. Solve 4*f = s + u*s - 28, 2*f - 16 = -5*s for s.
4
Let c(r) = -2*r - 4. Let s be c(-4). Let i be 6/(-5)*(-170)/51. Solve -y = -b + s, -19 + 3 = -i*b for y.
0
Let y(s) = -s**2 - s - 1. Let u be y(0). Let k be (3 - u)/(1/2). Suppose 3*p = -p + k. Solve 5*c - 19 = 6*x - 3*x, p*x - c = -1 for x.
2
Let a(g) = -g**3 + 7*g**2 + 9*g - 6. Let m be a(8). Let p be 6*2/(-6 + m). Let u be p*(-1)/(6/20). Solve 4*s = t - 7, 4*s - 3*t + t + u = 0 for s.
-1
Let b(o) = o**3 - 13*o**2 + 13*o - 9. Let v be b(12). Solve v*g + 16 = 5*s, g + 3*s - 14 = 5*g for g.
-2
Let q(w) = -5*w - 1. Let u be q(-1). Solve -s - 12 = -2*z - 6*s, -u*z - 28 = -3*s for z.
-4
Let d(j) = 12 + 15 + j - 6. Let v be d(-15). Solve v*p - 11 = 4*p - 3*g, 5*g = 5*p - 15 for p.
4
Suppose 2*z - 66 = -z. Suppose 2 - z = -5*d. Suppose c - d*c + 9 = 0. Solve x + 3*x = 2*k - 14, -3*x - 6 = -c*k for k.
-3
Suppose -5*q - 4*m - 6 = -5, q - m = -2. Let v = -1 - q. Solve -5*f = 15, -20 = -v*i + 2*i + 4*f for i.
-4
Let d be (-2)/11 + (-24)/(-11). Suppose w + 170 = -0*w. Let j be (-2)/7 + w/(-7). Solve d*s - 3*s = 5*y + j, -4*y - 5*s - 36 = 0 for y.
-4
Let y be (-3)/7 + 16/(-28). Suppose -4*a + 5 = -s - 2*s, -3*s = -3*a + 3. Let j be -1 + (s - y) - -3. Solve j*w = -z - 2*z + 3, -z = -w - 1 for z.
1
Let c = 13 + -27. Let f = c + 21. Let r(h) = 3*h - 5. Let z be r(f). Solve v - 3*x = -6*x + 7, -4*x = 3*v - z for v.
4
Let j = -3 + 15. Let u = -23 - -36. Let t = -5 + u. Solve -y - 2*q = -2*y + t, -5*y = 3*q + j for y.
0
Let p be 3 - (-4)/(-16)*4. Suppose -5*q - y + 10 = 0, 0 = p*q + y + y + 4. Solve h + d = 3, -4*h + q*d = 4*d - 15 for h.
4
Let f(d) = d**2 - 2*d - 3. Let y = -5 - -3. Let b be f(y). Solve 4*a + 0 + 3 = -b*t, -a + 4*t = 6 for a.
-2
Suppose o = -2*o + 6. Suppose 5*s + o*h + 3*h - 270 = 0, -3*h = 5*s - 274. Let y be 4/14 - (-208)/s. Solve 3*r - 28 = 3*j + 7*r, 0 = -2*j + r - y for j.
-4
Let c = 40 + -31. Solve -3*k + c = 3*i, -i = 2*i - 12 for k.
-1
Let v be (6 + -4)*3/2. Solve -3*d = -v*u + 12, 0 = -2*u - 4*d + 5 - 3 for u.
3
Suppose 0 = -q + 3*q - 32. Let i = -16 + q. Solve -2*d = -i*d - 3*m + 13, 4*d + 4*m = 4 for d.
-2
Let v(u) = 2*u + 3. Let l be v(0). Let f(c) = 2*c**3 + 2*c**2 - 2*c + 1. Let s be f(1). Solve -2*o = d - 12, -d + s*d = -l*o + 19 for d.
2
Suppose p + 2 = 5. Solve -4 = n - 3*f - 17, n + 17 = -p*f for n.
-2
Let o(w) = w**3 - 4*w**2 + 3*w + 4. Let k be o(3). Solve 0*r - 3*z - 10 = -k*r, 4*r = -4*z - 4 for r.
1
Suppose 0 = -4*k - 16, -12 = -2*o + k + 2. Let h(t) = -t - 2. Let q be h(-2). Let u = o - q. Solve 25 - 5 = -u*x, 3*n - 15 = 3*x for n.
1
Suppose -9 = x - 4*x. Solve -6 = -c - v, c - x*c + 3*v - 3 = 0 for c.
3
Suppose 5*x - x - 12 = 0. Suppose -5*y + x*y = 0. Suppose -p - p + 2 = 0. Solve r + p + 1 = h, y = -r + 4*h - 5 for r.
-1
Suppose 4*x - 11 = 1. Let n be -11 + 7 - (-1 + -3). Solve -x = l + d, -4*l - d + 1 + 2 = n for l.
2
Suppose -g + 14 = -0. Let l be (-24)/g*(-28)/8. Solve -5*v - 5*d - 5 = 0, -32 = -4*v - d + l*d for v.
3
Suppose -f - 2*b = -3, f + 5*b + 3 = 6. Solve -6 = -g - f*v - 14, -5*g - 18 = 4*v for g.
-2
Suppose 2*t + 7 = -13. Let r be (-20)/t - (-1 + 0). Solve 4 = -m - 2*p - 2*p, 5*m = -r*p - 3 for m.
0
Let w(l) = 3 + 2 - 2 - 4*l - l**2. Let t be w(-6). Let g be (-28)/(-6) - 3/t. Solve u - g = 0, -2*o - 9 = 4*u - 29 for o.
0
Let s be -1*(-1)/((-1)/3). Let t be (-2)/3 + (-2)/s. Let q = 2 + t. Solve 0 = 2*r + q*d, -5*r + r + 5*d = -36 for r.
4
Suppose 6*z = -8 + 26. Let c be 9/24*-2*4. Let x be (-1)/(-1)*(-3 - c). Solve x = 4*j - 3*v - 1, j + 2*v + z = -5 for j.
-2
Let q be 10/25 - 69/(-15). Let v be q - 1 - (-3 - -2). Solve -p = 5*h - 15, v*p = -5*h - 3 - 2 for p.
-5
Let i be (30/25)/((-6)/(-20)). Suppose 2*u - 10 = -0*u. Suppose u*k + 5 = -5*t, 2 = 2*t - 2*k - 0. Solve t = -i*x + x - 5*b + 10, 2*x + 5*b - 5 = 0 for x.
5
Suppose -2*r - 4*j = 2, 3*r = -3*j + j + 13. Solve 0 = -4*l + m + 6, -5*l - 3*m + 2 = -r*m for l.
2
Suppose 43 = 4*s + 27. Solve -2 - 2 = -s*y - 4*d, -4*d = 5*y - 3 for y.
-1
Let n = 43 + -27. Suppose -4*u + 0*u = -n. Solve -u*q = 4*s - 16, 6*q = 3*q + s for q.
1
Let l be (8/(-12))/((-2)/(-9)). Let s = 0 - l. Let k be 10/8*(-12)/(-3). Solve 5*x = -g - 21, s*x - 10 = k*x for g.
4
Let f = 239 - 140. Suppose 5*d = -4*s - f, -4*d - s + 2*s = 96. Let a = d - -43. Solve w = 4*j - a, j + 0*w = 4*w + 20 for j.
4
Let n(x) = x**2 - 6*x - 5. Let s be n(7). Solve -5*j - 10 = t, -4*t = 7*j - s*j + 25 for j.
-1
Suppose -4*s - 5*q + 65 = -30, 0 = 4*q - 12. Solve 0 = -5*a - s, -3*a + 4*a = 5*g + 1 for g.
-1
Let l(s) = -s**2 + 2*s + 19. Let a be l(5). Solve -3*h + 5 = 2*c + 22, h = a*c + 13 for h.
-3
Let u(i) = -i**3 - 8*i**2 + 12*i + 29. Let p be u(-9). Solve p*x + 2 - 10 = -3*y, y - 10 = 3*x for y.
4
Suppose 0 = 4*l + z - 4 - 7, -2*z = -5*l + 4. Solve 10 = l*u, -j = -u - u + 9 for j.
1
Let p(q) = -q**3 + 5*q**2 + 5*q + 8. Let g be p(6). Suppose -5*f + 21 = -2*c, -4*c = -0*c + 3*f - 23. Solve -2*h - n + 1 = 0, -3*n = 5*h - g*n + c for h.
-1
Suppose 4 = -v + 2, 0 = -4*o - 5*v + 26. Suppose 1 + o = 2*n. Solve 0 = 2*q + 3*h - 7, -5*h = -n*q + 3 - 23 for q.
-1
Let b(g) = g**2 - 2*g + 1. Suppose 3 = -l + 