, 0 = -x - 3*s - 15 for x.
0
Let o = -161 - -164. Solve -n - i = -2*n + 6, -o*i - 2 = n for n.
4
Let n = -215 + 217. Suppose j = 4*j - 3*p - 63, -4*j - p + 59 = 0. Solve 2*r - n*h - 12 = 0, -4*h - h = 2*r + j for r.
2
Let d = -369 - -369. Solve -5*n + 15 = d, 5 = -5*v + 4*n - 2 for v.
1
Suppose -g + 5*f + 67 = 74, 0 = -5*g - 3*f + 21. Solve 4*k = -3*m + 25, -m + 6 = g*k - 3*m for k.
4
Suppose 3*v - 15 = -2*p, 2*v + 4*p - 2 = -0. Suppose v*m = 3*m + c + 15, 0 = -5*m + 4*c + 16. Solve 0 = 3*z + 5*y - 32, -m*z + 4 + 16 = y for z.
4
Suppose 0 = 2*o - 6*o - 48. Let j be (-2)/8 + (-854)/(-56). Let i = j + o. Solve i*f + f + 23 = d, -3 = -d for f.
-5
Let f be (5 + (-111)/27)*45/10. Solve -4 = 9*x - 5*x + f*r, -3*x - 5*r = 1 for x.
-2
Let q(m) = 3*m**2 + 7*m + 9. Let l be q(-3). Suppose 3 = -l*f + 3. Solve 3*b + 5 = k - f*k, -2*k + 7 = -3*b for b.
-1
Let i = 52 - 44. Suppose 0 = -5*f + 33 - i. Let a = 2 + 8. Solve -v - a = 4*z, f*v + 14 = 2*v - 4*z for v.
-2
Let w(m) = m**2 - 23*m + 10. Let l be w(25). Let j = -58 + l. Solve -5*c - 6 = s, 0 = j*c - 3*s + 15 + 1 for c.
-2
Let q(w) = -2*w**3 + 9*w + 23. Let r be q(0). Solve -a + 2*a = -3*m - 11, -3*m = -2*a + r for m.
-5
Let k be 6*(-8)/(-12)*(-6)/(-8). Solve -k*l = 4*t - 27, -t - 4*t = -15 for l.
5
Let d be (-4 - -4 - 1) + (3 - -2). Solve -3*o = -o + t + 4, d*o + 4 = -3*t for o.
-4
Suppose 67*r - 83*r = -48. Solve -y = 4*c - 4, -r*y + 3*c - 8 = 5*c for y.
-4
Let n = -276 + 276. Solve -3*d + n*d - g - 14 = 0, 2*d - 5*g - 19 = 0 for d.
-3
Let w be -2 - (-7)/((-3)/(-3)). Suppose b = w - 1. Suppose 3*a = b*a - 4. Solve 5*v + 13 = 4*c, -v + 5*c + a + 6 = 0 for v.
-5
Let t be 94/30 + -15 + 2007/135. Solve g = 3*l - 0*l - 17, 3*g = -3*l - t for g.
-5
Let s = 92 + -80. Solve 2*r = -3*b + 6 + 9, b - 5*r + s = 0 for b.
3
Let w(m) = 4*m + 105. Let r be w(-25). Solve 0 = -5*o - 3*n - 5 - 5, 3*o + r*n - 10 = 0 for o.
-5
Let n be 25/10*8/10. Solve 5*a = w + 15 - 2, a - n*w + 1 = 0 for a.
3
Suppose -u + 2*v = -1, u + 3*v + v - 7 = 0. Solve -5*a - 6*d + 4*d - 7 = 0, 0 = 5*a + 3*d + u for a.
-3
Let v(g) = 2*g + 4. Let c be v(-2). Suppose s - 3*a - 2 = c, s - 1 - 8 = -4*a. Solve s*l + 3*m + 19 + 4 = 0, -6 = l + 2*m for l.
-4
Let c(l) = l**3 - 11*l**2 + 18*l + 1. Let r be c(9). Let j be -2*r/(-3) - 2/3. Solve j = 2*w - 4, 2*w = -h + 5*h - 4 for h.
2
Let l be (-3)/(-1) - 4/(-4). Suppose -l*n + 5*i + 5 + 20 = 0, 2*i + 10 = 5*n. Solve -2*q + 7 = -3*d, n*q - 2*d = 4*q + 10 for q.
-1
Let d(z) = -z**2 + 30*z - 7. Let b be d(29). Solve -5*g = -2*t - g + b, t = 4*g + 17 for t.
5
Suppose -4*m + 22 = 2. Suppose -16 = 4*x, 3*r + 3*x = m*x + 74. Let i = r - 18. Solve 4*a + 0*g = 5*g + 26, -a - 4*g = i for a.
4
Suppose 128 = 5*t + c, -3*c = 2*t + 3*t - 124. Solve 5*i - 4*q = t, i = 3*q + q + 18 for i.
2
Let j be (-3 - (-14)/4)/(2/44). Suppose -3*x + j + 1 = -5*t, 3*t + 20 = 5*x. Solve 0*p - x*p = -3*l + 3, 0 = 4*l - 2*p - 14 for l.
5
Let o = 31 - 22. Suppose 0 = 5*w - o*w + 4. Suppose w = 3*x - 5. Solve -5*k + 20 = 5*a, 2*a + x = 3*k + 10 for a.
4
Let b = -88 + 95. Solve b = -p + 6*c - 3*c, -3*c + 2 = -2*p for p.
5
Let v(x) = 24*x**3 - x**2 + 1. Let b be v(1). Suppose b*y = 28*y - 20. Solve 3*t - 3*u = 5*t - 3, -y*t + 3*u + 18 = 0 for t.
3
Let c = -5 - -4. Let i = c + 16. Solve 0 = -2*h, 5*r + h + 2*h + i = 0 for r.
-3
Suppose -3*m + 5*x + 17 = -0, 2*x = -2. Suppose o + o - 2*r = 4, -r + 13 = m*o. Solve 0 = o*w - 4*j - 32, 4*w - 5*j = -0*w + 41 for w.
4
Suppose -27 = -a - 0*a. Let k be (3/((-12)/46))/((-7)/(-14)). Let h = a + k. Solve -2*y = 4*g - 8, 6*y - 1 = h*y + 3*g for y.
2
Let j be 7 - 3 - (4 + 10). Let n(a) = a**3 + 11*a**2 + 11*a + 12. Let x be n(j). Solve -2*z + l - 9 = 0, z - 13 = -l - x*l for z.
-2
Let m(b) be the first derivative of b**3/3 + 2*b**2 + 2*b - 4. Let g be m(-4). Suppose -g*d + 6 = -0*d. Solve -35 = 2*j + 5*y, -5*j = -0*j - d*y + 10 for j.
-5
Suppose v - 3 + 6 = 0. Let s be (0*v/12)/(-1). Let o be (6/4)/((-6)/(-16)). Solve -4*m = -o*w + 24, s*w - 16 = 4*m - 2*w for m.
-2
Suppose 39 - 99 = -5*t. Suppose 6*f - 30 = -t. Let s(v) = v**3 - 3*v**2 - v. Let h be s(4). Solve -5*o - 6 = -w, 0 = 4*w + o - f*o + h for w.
-4
Suppose 0 = 6*b + 13 - 19. Suppose -2*i + 2 + 6 = 0. Suppose 0 = 4*z, 8 = i*d + 4*z - 0*z. Solve -7*w = -d*w + 4*f - b, 3*w + 2 = -5*f for w.
1
Suppose 0 = -241*p + 236*p + 15, 5*q + 4*p = 12. Solve 6*v + 5*c + 11 = 4*v, -2*c - 6 = q for v.
2
Let l = 34 + -114. Let u = l - -91. Solve -s + 4*s = 9, i = -3*s + u for i.
2
Let g = -134 - -136. Solve 4*h + 3*n = 5, -3*h - 3*n + 4 = g*h for h.
-1
Let a = 1 - -4. Suppose -5*p = a*m - 20, -2*m + 3 = -p + 2*p. Solve -k = -2*k + 4*u, -4*k = -p*u for k.
0
Let r(p) = 3 - 7 + 2 + 1 + 26*p. Let s be r(1). Solve -5*c - s = -q, -4*c - 29 + 9 = -2*q for q.
0
Suppose -5*h - 35 = 2*n - 39, 0 = -3*n + 2*h + 6. Solve 0 = -3*o + 3*m, n*m + 4 - 7 = 5*o for o.
-1
Suppose 16*h - 2 = 62. Solve -h*y + 12 = -l - 7*y, 0 = y + 5 for l.
3
Let a(h) = -h**3 + 22*h**2 + 50*h - 28. Let f be a(24). Solve 5*p + 0*p = -5*y + f, -4*p - 9 = -y for y.
5
Suppose 2*l + 32 = 3*a, 15 = -2*l - 3*a - 17. Let f be (0 - 8/(-1))*(-8)/l. Solve 3*k - f*k - 9 = -2*h, 2*k = -2*h + 6 for h.
4
Let s(c) = -c**3 + 9*c**2 + 9. Let z be s(9). Let i(f) = -f**3 + 10*f**2 - 10*f + 13. Let v be i(z). Solve -v*k - 8 = 0, -5*d - 4*k + 7*k - 9 = 0 for d.
-3
Let h = -37 + 55. Suppose 7*o - o = h. Solve 6*d - 3*d = -3*c - 3, -27 = -o*c + 3*d for c.
4
Let a = -30 + 32. Let m(f) = -2*f + 36*f**a + 12 - 74*f**2 + 32*f**2 + f**3. Let c be m(6). Solve -27 = 3*r - 3*z, c = 2*r - 4*r - 5*z + 10 for r.
-5
Let x(g) = -g**2 + 24*g - 17. Suppose -41 = -3*h + 28. Let f be x(h). Solve -b = -c - f, 8*c + 16 = 3*c - 2*b for c.
-4
Suppose 3*r - 3*j = 48, 2*r - 17 = -2*j - 1. Let c = r + 16. Solve 2*d - 2*g - 8 = 0, 3*d + 0*g + c = -5*g for d.
-1
Let d be (-8 - -6)*3 + 22. Solve -4*o = 3*p + 2 - d, -p - 2*o + 6 = 0 for p.
2
Let s = -33 - -36. Suppose w - 5*w + 96 = 0. Suppose 0 = 2*q - w - 2. Solve -3*v = 2*v + 3*b + q, 5*b - 1 = s*v for v.
-2
Suppose 58*r - 51*r = 14. Solve -5*h = x + 22, -18 = -x + 3*h + r*h for x.
-2
Let b be 1 - 1 - -3 - 6/(-2). Suppose 0 = g + 2 - b. Suppose -4*c + 2 = -2*a - 12, -5*a = 2*c + 11. Solve -5*t + 23 = -g*s, 5*s = c*t - 3 - 13 for t.
3
Let y be (-3 - -2)/(-7 + (-52)/(-8)). Solve 0*a + 16 = 2*x - 4*a, -y*x = -a - 1 for x.
-2
Let o(b) = 2*b**3 + b**2 - 15*b - 3. Let r be o(3). Solve 0 = 2*s + 10, 0 = 4*y - 2*s + 5 - r for y.
0
Let t(n) = 2*n**2 - 23*n + 57. Let x be t(8). Solve -y + 2*y = -j - x, 0 = -3*j - 2*y - 5 for j.
-3
Let y = -10 - -10. Let f = -7 + y. Let t be ((-6)/f)/(6/28). Solve n - o + t*o = -8, -4 = 3*n + 4*o for n.
4
Let y = 218 - 213. Solve -2*t = -5*k - y, 0 = -2*t + 3*k + 7 - 0 for t.
5
Let k(u) = 26*u**3 - 3*u + 2. Let q be k(1). Suppose 3*g - q + 10 = 0. Solve -p = -m - g + 3, -4*p + 18 = m for p.
4
Let l(n) = n + 5. Let h be l(-2). Let c(j) = 2*j - 2. Let v be c(h). Let o be (-300)/(-16) + 1/v. Solve -3*i - o = i - 5*a, 4*a = -5*i + 7 for i.
-1
Suppose 3*b = 17 - 2. Let l = -66 + 65. Let u be ((-1)/l)/(-3 - (-10)/3). Solve 3*v + 2*p - 17 = 0, b*v - 18 = -u*p + 9 for v.
3
Let z(v) = -v**2 - 9*v - 4. Let u be z(-6). Suppose -2*s + 11 = 5*a - 13, 0 = -s + 4*a - u. Let b = 11 + -8. Solve 4*f = 3*l - 5, -3*f - b*l - s*l = -18 for f.
1
Let k = 21 - 21. Suppose -2*d + 9 = d. Suppose -34 = -2*g - 2*w, d*g - 57 = -2*w - 3*w. Solve -2*x - 2*x = 5*p - 12, p - 5*x - g = k for p.
4
Let s be 1 + 0 - 3 - -2. Suppose s = 5*p - 9*p. Let c be (p/(-1))/(16/(-8)). Solve 0 = l - 5*r - 21, -2*l + 4*r + 12 = -c*l for l.
-4
Suppose -3*q + q - 8 = 0. Let f be 0*(1*(q - -7) + -2). Solve 4*v - 4*a + f*a = -12, a - 9 = -2*v for v.
2
Suppose -2*o + 12 = 3*g, 5*g - 19 = 4*o - 7*o. Suppose 2*j - o = -j. Let n(l) = -l + 3. Let t be n(3). Solve k = i - j, t*k = 3*k - i + 5 for k.
-2
Suppose -4*m = 3*y + 61, 5*y + 80 = -7*m + 2*m. Let d(k) = k**3 + 12*k**2 - 13*k + 2. Let b be d(m). Solve -n + b*c + 3 = 4*c, -2*n = -c - 1 for n.
1
Let p be 5 + 3 + -6 - -1. Let r(q) = 3*q**3 - 6*q**2 - 1 + 3*q**3 - 6*q**p + q**3 + 3*q. Let o be r(6). Solve o = -j + 4*t, j + 5*t - 19 = 3*j for j.
3
Let p = 280 + -277. Solve 2 = p*u + 3*y - 1, -4*y = u - 1 for u.
1
Let n(u) = 12*u + 5. Let v be n(-1). Let j(x) = -7*x - 33. Let r be