ve 26 = -u*x + 2*x - 5*s, -4 = s for x.
3
Let m(j) = -4*j**3 + j + 1. Let p be m(-1). Suppose -p*o + 16 = -0*o. Solve -o*k + 3 = -r - 0*r, 3*k = 0 for r.
-3
Suppose 0*t = 3*t - 93. Let u = 41 - t. Suppose u = -4*l + 6*l. Solve -4*s + 2*s = -r + 8, r - 20 = l*s for s.
-4
Suppose -2*d + 20 = 3*d. Suppose 5*r - 3*j = 21, -5*j + 36 = d*r - 3. Solve 3*v = r*v - 3*g - 6, v - 4*g + 1 = 0 for v.
3
Let n = -85 + 90. Let o be (4/(-5))/((-22)/n + 4). Solve -o*x = -0*s - 2*s, 0 = 2*s - 4*x + 6 for s.
3
Let t = -83 - -149. Let y be (-2)/5 - 9/((-135)/t). Solve 0 = -5*h + y*v, 3*v - 11 = -4*h + 5*h for h.
4
Let d = 26 + -23. Suppose -5*c = d*i - 47, -26 = c - 4*c - 4*i. Suppose 0 = -5*a + c. Solve -4*p + 14 = -g, a = -p - g + 4*g for p.
4
Let i(h) = h**3 + 4*h**2 - 4. Let g be i(-3). Let y be ((-21)/(-14))/(0 - 2/108). Let a = y - -83. Solve -r - 29 = -g*s, a*s + 6*r - 4*r - 2 = 0 for s.
5
Let r(j) = 4*j + 57. Let d(i) = 11*i**3 - i**2 - i - 2. Let m be d(-1). Let l be r(m). Solve l*x - 20 = -3*c, -12 = 5*c - c - 3*x for c.
0
Let h be 80/(-14) + 0 - (-12)/(-42). Let d be (-2)/(32/(-40)*(-1)/h). Solve 6*s - 3*k = 4*s - 2, d = -s + 5*k for s.
5
Suppose 4*o = -8*o + 36. Let w be ((-4)/o)/(88/(-198)). Solve 7*n - w*c + 12 = 3*n, 2*c = 3*n + 9 for n.
-3
Let o be (-3 - 6/(-2))/(-2)*1. Solve 3*a - 3*s = 2*a + 8, o = 4*a - 4*s for a.
-4
Let c = 25 - 44. Let s = 11 + c. Let l = s + 12. Solve -2*v + 3*i = -5*v + 12, 4*v = l*i for v.
2
Let m(a) = -6 - 5 - 17 + 3*a + 4. Let p be m(8). Solve 4*l + 4*z - 28 = p, 4 + 0 = -3*l + 2*z for l.
2
Suppose 0 = 2*o + g + 59, 2*g + 14 = 2*o + 76. Let d = o + 50. Let l be 1/5 - 72/(-15). Solve v + 4*y - l = -d, -4*y - 14 = 2*v for v.
1
Suppose 0*f - 15 = 5*f. Let d(c) = -2*c - 1. Let t be d(f). Suppose r = -t*r. Solve r = -3*h + 2*i + 21, -3*h + 4*i = h - 32 for h.
5
Let h(t) = t**3 - 28*t**2 - 37*t + 242. Let c be h(29). Solve 0 = -3*r + 4*o + 11 + c, -5*r - 4*o = -3 for r.
3
Let u(k) = 31*k + 105. Let i be u(-3). Solve -c - c = -4, 0 = -3*a - 3*c + i for a.
2
Suppose -c - 2*c + 6 = 0. Suppose c*l - 3*l + 2*o + 9 = 0, -o - 7 = 2*l. Let y be 1/(12/9 + l). Solve y*i = -5*q + 2 - 5, 0 = -3*i + q + 15 for i.
4
Let c be ((-12)/(-10))/((-1)/(4 + -9)). Solve 3*g - 2*h = c + 3, -5*h = -4*g + 12 for g.
3
Suppose 3*t - 3*a = 24, 5*t + 0*a - 49 = 2*a. Suppose -t = -4*u - 7. Let c be u/2 - (-18)/4. Solve 0 = -2*n + c*m + 15, -6*n + 2*n = 3*m + 9 for n.
0
Let t = 51 - 115. Let x = t + 65. Solve -3*p - x = 5*l + 1, 5*p - 2 = -3*l for p.
1
Let a(c) = c**3 + 25*c**2 + 108*c - 84. Let u be a(-19). Solve -4*t + 9*j = 14*j + u, -j = 2*t + 12 for t.
-5
Let s = -406 - -410. Solve j - 18 = -4*l + 4*j, -s*l + j = -14 for l.
3
Let w be (30 - 22)/(2/(-2)). Let y(p) = -p**2 - 9*p - 8. Let l be y(w). Solve 5*o - 2*x + 1 = l, -1 = -3*o + 4*x - 10 for o.
1
Let s(v) = -2*v**3 - 5*v**2 + 2*v + 2. Let q be s(-3). Solve 3*n = -u - 7, -2*n + 5 - 4 = -q*u for u.
-1
Let w be (-3 - 1)*(7 - (-30)/(-4)). Suppose w*k = -6*k + 3*k. Solve y + 2*i - 2 = 1, k = -4*y + 2*i - 8 for y.
-1
Let n(d) = -4*d - 80. Let r be n(-20). Solve -5*j + f - 13 = r, j = 5*j - 2*f + 14 for j.
-2
Let z = 1 + 7. Let g(s) = 806 - 809 + 5*s + 4*s - 6*s**2 + 5*s**2. Let u be g(z). Solve -2*a - 21 = 5*l, 2*a = u*l + 6 + 23 for l.
-5
Suppose -2*c - 1 = -91. Let a = c + -43. Solve -4*d + a*d = 2*g - 2, -g - 4 = 0 for d.
5
Let a be (-68)/(-2 + 1)*1. Let x = -104 + a. Let u be (-40)/6*x/24. Solve 4*f - 2*f - 30 = -4*z, -u = -2*f for z.
5
Suppose 0*v - 12 = -4*v. Suppose 5*f + 24 = 4*q, 3*q + 4*f + 1 = v*f. Let a be (-1)/(1/(-2)*1). Solve -q + 3 = -3*w - a*d, 3*w = -5*d - 5 for w.
0
Let j = -6 + 8. Suppose -3*u + 4*u = -j*m + 4, -1 = -m. Solve a + 5*i = -2*a - 19, -2 = u*a - 2*i for a.
-3
Let w = 157 - 154. Solve -4*y - 4*j = 0, -w*j - 1 = -5*y - 25 for y.
-3
Let g be (-71)/5 + 1 + 4/(-5). Let t = 18 + g. Suppose 5*o + 3*q = 3, 2*q = -o - 4 - 1. Solve 2*r - 10 = 4*x, 6 = o*x - 5*r - t for x.
-5
Let g = 18 - 15. Solve 8 = 4*n + 2*h, -4*n - g*h + 1 = -5 for n.
3
Suppose -v - 6 = -26. Suppose j + j = v. Suppose 270 = 5*x + 13*x. Solve 0 = -5*m + 3*m - 4*c - j, 3*m + c = -x for m.
-5
Suppose -7*x - 6*x + 611 = 0. Let a = x + -41. Solve w - a*w + 15 = 2*f, 0 = 3*w + 3*f - 9 for w.
3
Let j be ((-132)/10)/((-15)/(-50)). Let g = 32 + j. Let p = g + 15. Solve -5*k - 2 - 4 = -3*s, p*s + 12 = -k for s.
-3
Let j = -18 + 15. Let l(h) = -3*h**2 - 4*h + 2. Let z be l(-4). Let k be z*(8/j + 2). Solve k = 3*n - 2*n + 5*y, y - 18 = -3*n for n.
5
Let j = -32 + 28. Let g be (-3 + 4/2)*j. Solve -4*o + g = 0, 3 = -5*v - 3*o - 4 for v.
-2
Suppose -2*j - 8 = 3*q, -18*q + 17*q - 12 = -4*j. Solve w - 6*y + y - 12 = 0, 0 = 2*w + y - j for w.
2
Let n = 17 + -25. Let p(z) = -2*z**2 - 17*z - 3. Let t be p(n). Solve -j + 0*u = -4*u + 3, t*u = -3*j + 8 for j.
1
Let f = -488 + 492. Solve -f*t = 0, 7*b - 4*b = -5*t - 12 for b.
-4
Let f be 0 + (2/8)/(2/16). Solve f*p = 3*m + 21, 2*p + 2 = -3*m - 7 for m.
-5
Let y = -698 + 698. Solve y = -9*x + 4*x + 2*k + 14, 4*k = -4*x for x.
2
Let u be (-3)/(-9) - (-60)/9 - 2. Solve -2*v - 5*q = -3*v + 21, u*v - 5*q = 25 for v.
1
Suppose 0 = -2*t + 3*d + 27, 3*t = t - d + 31. Solve 4*f + 4*j = 5*j + t, 0 = -f + 4*j for f.
4
Suppose -2*s - 10 + 16 = 0, -5*h - 5*s = -15. Solve -3*o - 2*v - v = -15, h = -o + 2*v - 7 for o.
1
Suppose -4*m - 20 = 0, -5*m - 4 = 5*i + 6. Let k(n) = -n**2 - 3*n + 4. Let x be k(-3). Let r = x - 1. Solve a - 17 = -5*w, 2*w - w - r*a = -i for w.
3
Suppose -8*w = -5*w - 69. Suppose -5*h + 4*n = -0 + 2, 0 = -4*h - 5*n + w. Solve 3*s + h*u + 8 = 4*u, -2*s - 2 = 2*u for s.
-2
Suppose 0 = -2*p + 8*z - 4*z - 76, 0 = -3*p + 2*z - 110. Let n = 53 + p. Solve -5*u + 7 = -3*t, -n = 2*u + 3*u + 3*t for u.
-1
Suppose a - 14 = -4*w + 4*a, a = 2*w - 8. Solve -2*s - 2 = s + 2*o, w*o = s + 29 for s.
-4
Suppose -59*y + 62*y = 6, -2*b + 4*y = -42. Solve 6*c - c + 5*m = b, -5*m = 4*c - 25 for c.
0
Let u be 1/(-4 - (-682)/170). Let v = u + -67. Solve f - 4*f - 4 = -g, f + 3*g + v = 0 for f.
-3
Let k = -23 + 22. Let x be ((-663)/34)/(k/2). Let j be (-48)/84 + x/7. Solve -20 = -j*z, 5*s + z - 5 = 4 for s.
1
Suppose 5*k - 3*o + 4 - 8 = 0, k - 4*o - 11 = 0. Let x be 1/(-3)*k/(6/90). Solve x*v - t = -3, -3*t = -v - t + 3 for v.
-1
Suppose -15 = 83*b - 86*b. Solve -2*k = g - b - 0, -15 = -3*k for g.
-5
Suppose -6 = -2*v + 9*c - 8*c, 2*c = 5*v - 14. Solve 8 = 2*z - 4*t - v, -3*t + 9 = 4*z for z.
3
Suppose 38*m + 10 = 40*m. Suppose 2*j + 5*h = 35, -m*j + h = -h - 15. Solve -y - j*d = y + 15, y + 4 = d for y.
-5
Let o be (-4)/(4/57) + 2. Let t be o/20*1*-4. Let w be t/22 - (-1)/(-2). Solve -5*z + 9 = -r, -5*z - 3*r + r + 12 = w for z.
2
Suppose 2*j + 2*k = 10, -j - k = 2*j - 9. Solve -3*a = -4*i - 19, 0 = j*a + 5*i + 17 + 1 for a.
1
Let g be (-3)/((-55)/13 + 92/23). Let f be 2/(2/5 - 0). Suppose 5*x + 5*w + 10 = 0, -f = -x + w + 1. Solve -b - 2*z = 4*b + g, -x*z = -2*b + 6 for b.
-1
Let r be (18/(-15))/(16/(-40)). Solve 4*c - 2*b - r*b + 15 = 0, -2*b = -3*c - 6 for c.
0
Suppose 2*z - 1 = h - 0, 3*z = 9. Solve 0 = h*r - 3*s - 3, 2*r + 13 = 5*r + s for r.
3
Let s be (-15)/(-25) + (-142)/(-5). Let t = -5 + s. Solve 4*p = -4*z, 2*p - 4*p = -4*z + t for z.
4
Let c(o) = 9*o**2 + 5*o + 1. Let d be c(-1). Solve f - 8 = -n, -d*n - 2*f + 11 + 17 = 0 for n.
4
Let o(w) = w**3 - 5*w**2 + 8*w - 9. Let h be o(4). Solve -27 = -2*u - 2*u + 3*g, 2*g + h = -u for u.
3
Let g = -18 - -28. Suppose -g = -2*v - w, -v + w + 3 = -2. Solve 0 = -a - 3*n - 1, v*n = -a - 1 + 2 for a.
-4
Let z(c) = 7*c**2 - 2*c + 1. Let h be z(1). Let x be 208/(-7) - h/21. Let l be x/(-9) - (-4)/6. Solve -q - 2*r - 7 = -2*q, -l*q = 3*r + 16 for q.
-1
Let r(v) = 3*v + 62. Let k be r(-19). Suppose 3*o + 9 - 3 = 3*c, -5*c - 4*o + 37 = 0. Solve -k*w = 15, c*w + 26 = -5*m + 6 for m.
-1
Suppose 0 = 2*d + 4*h - 12, 2*d + 78*h - 81*h = 12. Solve d*p - 2*p - 20 = -4*y, -7 = 4*p - 5*y for p.
2
Let h be 325/(-55) - -6 - (-2)/(-22). Solve 3*x - x = 2, -4*f + 2*x + 18 = h for f.
5
Let x = -13 + 38. Let j = x - 24. Suppose -j - 1 = -s. Solve -2*g = s*r + r - 10, -3*r + 14 = 4*g for r.
2
Suppose -2*f + 16 = 3*h, 4*h - 4*f + 9 = -3. Suppose 6 + 6 = h*d. Solve 4*s - r + 14 = r, -s = -3*r + d for s.
-3
Suppose -m = -2*m + 16. Let u = m - 6. Suppose 5*f = 10 + u. Solve y