 + -1 - (-1 + -4). Solve -4*x - o*s - 28 = 0, -2 = -5*s - 12 for x.
-5
Let s be -1*((-24)/16)/((-3)/(-4)). Solve -c = -s*u + 12, 5*c + 3 = -2*u - 9 for u.
4
Let j be (-1 + -1 + -2)/(-2). Solve -3*l + 9 = 3*x - 6*l, -j*x + 4*l = -6 for x.
3
Suppose 15*b = 14*b + 25. Let a = b - 25. Solve a = -w + j - 5 - 4, -31 = 3*w - 4*j for w.
-5
Let f(n) = 5*n**2 + 4*n + 4. Let h be f(-3). Suppose -3*s + 5 = -4*c - 111, -h = -s + c. Suppose 2*g = -0*g + s. Solve 0 = 5*z - 3*l - g, 8 = 2*z - z + l for z.
5
Let a be (-1)/(1/(-5)) + (-21)/7. Solve -2*h - 5*m = -2, -a*m = -3*h - h + 4 for h.
1
Suppose -4*v - 8 = 2*w, -3*w = -v - 6*w - 2. Let n = 8 + v. Let a(s) = 7*s - 2. Let h be a(2). Solve 3*l - 4*u - 20 = h, -n = l + 2*u for l.
4
Suppose 4*o - 47 = -5*x + 2, -o - 3*x = -14. Suppose 0 = -o*k - 66 + 209. Solve 0 = -5*c + t - 2*t + 21, -c + k = -2*t for c.
5
Suppose 0 = -3*t + 38 + 67. Suppose -3*u = -12 - 3. Let y be (-9)/6 + (-12)/(-8). Solve 5*a = -u*c - t, 4*a + y = -2*c - 20 for a.
-3
Let d = 250 + -247. Solve -5*x - 6 = -2*j, -2*j + 15 = d*j for x.
0
Let b(c) = -3*c - 9. Let m = 23 + -27. Let v be b(m). Solve -2*o + 13 = v*l - 10, 0 = 5*l + 2*o - 33 for l.
5
Let l = -43 + 47. Suppose 2*m - 3*u = -2, l*m - 3*u = 1 + 1. Solve 2*g + 6 = 4*x, -m*g - 3 = -x - g for x.
0
Suppose -160 = -10*q + 2*q. Suppose -21*u - q = -26*u. Solve 5*w + t + 32 = u*t, w - 3*t + 16 = 0 for w.
-4
Suppose 2*k - 30 = -l, -3*l - k + 82 = 3*k. Let p = l + -20. Solve v = -1, p*a - 4 - 3 = -v for a.
4
Suppose -2 = u + 15*k - 13*k, 0 = -2*u - k - 1. Solve -3*b + 4*v - 23 = 0, -4*b + 0*v + v - 22 = u for b.
-5
Let r be (-13)/(130/(-4)) + (-4)/10. Suppose -2*a + 9 = a. Solve -2*h - h + 3*y + 12 = 0, r = 3*y - a for h.
5
Let o be ((-4)/(-2))/((-196)/(-21) + -9). Solve 15 = -5*r + 5*a, -r - o = -4*r - 2*a for r.
0
Let v be (-4)/14 - (-37)/7. Let z = -12 - -3. Let w be (z/(-6))/(6/8). Solve -w*k = -2*p - 12, -v*k - 3*p + 28 = 6 for k.
5
Let w(r) = r**3 + 14*r**2 + 27*r + 39. Let x be w(-12). Solve x*i = -5*l + 34, 5*l - i = -6*i + 40 for l.
5
Suppose 10*i + f = 9*i - 1, 3*i - f - 9 = 0. Solve 5*p = 3*b + 2, -i*p + b = 3*p - 4 for p.
1
Suppose 23 = -9*s + 41. Solve -3*k - 1 = l - 15, 0 = 3*k - s*l - 8 for k.
4
Suppose 4*p - m = 20, -6*p + m = -10*p + 20. Solve -15 = 4*s + p*l - 2*l, -1 = s - 2*l for s.
-3
Let t(s) = -16*s - 2*s**2 - s**2 - 13 + 4*s**2 + 23*s. Let l be t(2). Solve -2*m + 2 = -b + l, 5*b + 29 = -m for m.
-4
Let i be 1/((-1)/(-1))*6. Suppose y = 4*v - i - 38, 0 = 4*y + 16. Let x = 1 + 3. Solve -5*n = -t - 0*t + v, -n - t + x = 0 for n.
-1
Let k be 70/16 - (-9)/(-72)*3. Solve -5*y = -3*q + 1, q + 4*y = 2*y + k for q.
2
Suppose -2*s = 0, 0*x + x + 3*s - 3 = 0. Solve 0 = -x*o - 2*q - 4 - 6, 0 = -o - 4*q for o.
-4
Suppose 4*t + 35 = 5*h + 9*t, t - 1 = h. Solve -5*g - h*d = 35, 3*g + 4*d = -2*g - 40 for g.
-4
Let t(x) = -x**3 + 3*x**2 + 2*x - 2. Let h be ((-1 - 0)*3)/(-1). Let k be t(h). Solve 3*n + 12 = 5*c, -n + k + 3 = 2*c for c.
3
Suppose -59 = 4*l - 3*b, -19 = 4*l + 5*b + 64. Let j = 22 + l. Let r(x) = -x + 4. Let m be r(4). Solve j*t + 4*p - 32 = 2*t, m = -4*t - 2*p + 26 for t.
4
Let h = -55 - -60. Solve 0 = h*g + 5*v, g - v + 1 + 1 = 0 for g.
-1
Let m(o) = -o**2 - 17*o + 21. Let v be m(-18). Let w be v/(-1)*(-19)/19. Solve w*l - 11 = -2*p, -p + 2 = 2*l - 5 for l.
3
Let u(i) = i**3 - 9*i**2 - 20*i - 15. Let v be u(11). Solve 0 = 3*n - 5*g - 31, 3*n + v = 4*n - g for n.
2
Suppose -30*j = -46*j + 304. Solve 0 = 5*k - n - j, -2*k + 3*n + n + 22 = 0 for k.
3
Let m be (4/(-1 - 1))/((-1)/6). Let a be (-12)/(-2*3/4). Let l = m - a. Solve 4*t = j - l*j - 11, 0 = -4*t + 2*j - 6 for t.
-2
Suppose 60 = 6*w - 0. Suppose -65 = -w*t - 15. Solve 11 = -3*r - 2*c, -t*r + r = -3*c + 9 for r.
-3
Suppose -64*x = -34*x - 90. Solve -2*u = -4*c + u + 1, -x*c = -3*u for c.
1
Suppose -s + 5*s = -2*v + 18, 5*v - 2*s = 9. Solve v*f + 15 = -5*u, -4*u = 4*f - 8*u + 20 for f.
-5
Let t = 22 + 3. Suppose -3 = a, l = 2*a + 9 + 1. Suppose t = 9*d - l*d. Solve -d*i + 5 = 3*q, i - 4*q - 1 = -5*q for i.
1
Suppose 24 = 5*y - 2*p + 3*p, 3*y = -2*p + 20. Solve 5 = 2*w + 3*s, y*s - 29 = -9 for w.
-5
Suppose 95 = 2*f + 3*l - 59, 4*f - 328 = -l. Let t = -43 + f. Solve 5*s = 3*y + t, 4*y - 3*s - 2*s + 45 = 0 for y.
-5
Suppose 30*p = 14*p + 13*p. Solve -g + p*g - c = 3, 0 = -5*c for g.
-3
Suppose -3*v = u - 49, -4*v - u + 15 = -50. Let y be 52/v + 7/(-28). Solve 4*l = -4*o, y*o = -o for l.
0
Let z = 240 - 236. Solve 3*h = z*p - 12, 4*p - 15 = -p for h.
0
Suppose -56 = -46*h + 45*h. Let u be 88/h - 6/(-14). Solve u*p - 18 = -2*x, -2*p - x + 17 = p for p.
4
Let t be 2/(-1)*(-63)/42. Let l(u) = u**2 - u - 7. Let q be l(5). Solve 3*k = 4*d - 19, 0*d - k - q = -t*d for d.
4
Let h = -70 + 75. Suppose -h*f - 3 - 2 = -5*u, 2*u + 4 = 4*f. Solve x + 1 = 0, -5*x + 23 - f = 5*p for p.
5
Let o = -330 + 334. Solve 24 = 5*j - w + o*w, -5*j - 5*w + 30 = 0 for j.
3
Let o(y) = 19*y + 25. Let u be o(3). Suppose -u = -4*d + 6. Solve 2*b + 16 = -2*b, -q = -5*b - d for q.
2
Let f be 45/(-10)*8/(-12). Suppose -4*w - f = -5*w. Solve w = -4*v - 5*y - 15, -5*v - 16 = 3*y for v.
-2
Suppose -2*n = 2*b - 26, -n + 23 = 4*b - b. Suppose 5*i - 3 = 4*y - 11, 5 = i - 3*y. Let t = i + n. Solve 4*g = 4*m + 28, 3*m + 11 = t*g - 15 for m.
-2
Suppose -8 = 13*l - 60. Solve 0 = l*t - 3*i - 0*i + 3, 5*i = -3*t - 24 for t.
-3
Let v(z) = z**3 + 12*z**2 + z + 27. Let x be v(-12). Solve 0*s + 5*s + x = 4*f, -3*f + 5*s + 10 = 0 for f.
5
Suppose -2*u + 5*m - 2*m = -52, 4*m = -5*u + 84. Let g(q) = -q**3 + 11*q**2 + 4. Let c be g(11). Solve 4*k = 4*o - u, -3*o - 1 = -c*o for k.
-4
Let s = 13 - 10. Suppose -5*f + 5*i - 115 = 0, -8 = -5*i + s*i. Let l = 31 + f. Solve 6*x - 2*x - 3*w = 2, -4*x + l = 2*w for x.
2
Suppose 0 = -6*m - 4*m + 20. Solve m*c = -n - 15, -n - 4*c = -0*n + 25 for n.
-5
Let z(f) = f**2 + 3*f - 10. Let x = 0 + 7. Suppose -o - 4 = 0, 0*o = 3*d - 2*o + x. Let u be z(d). Solve -2*r + 2*h = 0, -h = 2*r - u*r - 3 for r.
1
Suppose 0 = -c - x - 0*x + 1, -c - 3 = 2*x. Let t = c - 1. Suppose 3*i + 89 = 4*d, -t*i - i - 75 = -3*d. Solve -3*k = -r + 1, -3*r = 4*k + r - d for k.
1
Let h be (((-28)/6)/(-7))/((-4)/(-534)). Suppose 7*k - h = 2. Solve q - 7 = 5*r, -r = -5*q + 2*r + k for q.
2
Let a(c) = 25*c**2 + c - 1. Let r be a(1). Solve 9 + 2 = t - 3*s, r = -5*t - 5*s for t.
-1
Suppose 4*o - 46 = -2*f, 3*o - 2*f - 32 = o. Suppose 180 = -o*p + 25*p. Solve 0*t + 3*v + 9 = 4*t, -p = -4*t + 5*v for t.
0
Suppose 2*c + 16 = 4*c. Let w = -55 + 51. Let f(z) = -z**3 - 4*z**2. Let j be f(w). Solve j = a - x, -c*x - 2 = -4*a - 3*x for a.
-2
Let n = 121 - 222. Let t = 121 + n. Solve t = -5*f - 3*r, 5*f - 2*r - 3 - 2 = 0 for f.
-1
Suppose 3*g = -112 + 4. Let j be (-1)/(-6) + (-66)/g. Solve 4*l + 19 = -3*v, 17 = -j*v - v - 2*l for v.
-5
Let c = -776 - -777. Solve 0 = 4*f - 12, 5*m - f - c = m for m.
1
Suppose -314 = -3*i - 302. Solve d - 3 = 3*m - 4, -i*m = -5*d - 5 for d.
-1
Let y be 3*(-1 + 44/12). Suppose 15 = -g + 4*g. Solve 0 = 5*i + g*o - 25, 0 = -i - 5*o + o + y for i.
4
Suppose -7 = l - 12. Suppose -5*u - 9 = -4*t, -2*u = -0*t - 3*t + 5. Let c be (2/4)/((-2)/(-8)). Solve c*g - l*w + 3 - t = 0, 0 = w - 2 for g.
4
Let c be (-5 - -2)*16/24 + 7. Suppose w + 2*v + 3*v = -25, -c*v = 4*w + 25. Solve w*y = 3*m + 2*y + 7, -5*m + 15 = -2*y for m.
1
Let k = -174 - -176. Solve -3*x - g = 19, -g = -k*x - 1 - 5 for x.
-5
Suppose -2*l + 5*a + 31 = 0, 5*a - 25 = 4*l - 9*l. Suppose l*x + 20 = 76. Solve -3 = r - x, 3*t + 5*r - 32 = 0 for t.
4
Let u = 102 - 98. Suppose -2*m = u - 4. Solve 2*c + 5*q - 13 + 6 = m, -2*c = 2*q + 2 for c.
-4
Let y be (16/(-6) - (-6)/(-18)) + 40. Suppose 0 = -0*l + 3*l + 5*h - y, l + 2*h = 14. Let u = 0 + 22. Solve l = 2*w + 3*q + 5, 2*w - 4*q + u = 0 for w.
-5
Let k(p) = -p**3 + 6*p**2 + 8*p + 1. Let c be k(7). Let m be 6/(-21)*1 - (-2)/7. Suppose c*n - n = m. Solve -l - 4*b + 20 = 2*l, -2*l - b + 5 = n for l.
0
Suppose -2*r - 16 = 4*q, 1 = 4*q - 11. Let o be (r/8)/((-2)/8). Solve -4*y = 3*f + 3, -5*f - o = -2*y - 2 for f.
-1
Let b(z) = -11*z + 59. Let m be ((16/(-12))/4)/((-2)/30). Let f be b(m). Solve -5*n + a + f*a + 20 = 0, 4*n - a = 4 for n.
0
Suppose 4*m + m = 25. Suppose -4*p - 1 = d - 6, -p - m*d = 13. Solve -10 = 5*u + p*w, -3*u = 3*w - 3 + 18 for 