2*w - s = -5*y for y.
1
Let c(d) = -d**2 - d + 4. Let l be c(4). Let t be (-17 - -1)/(4 + -5). Let w = t + l. Solve w = -3*r - 3, 2*r + 2 = -3*f - f for f.
0
Let q = -200 + 99. Let j = q - -105. Solve -3 = -3*o - 3*z, 0 = -2*o - z + j*z - 23 for o.
-4
Let q be (-4)/6 + 280/105. Solve 41 = 5*r + 4*t, -q*r - t - 6 = -5*t for r.
5
Let o be (-1)/3*(-4 - -4). Suppose o = 4*c - c - 87. Suppose -4*n = 3*f - c, 0*f - 31 = -2*f - 5*n. Solve 12 = -f*i + i + 2*r, 5*i + 4*r - 6 = 0 for i.
-2
Suppose -8 - 80 = -4*k. Let u be (-6)/(-4) - (-55)/k. Solve 3*v + 4 = d - v, 24 = -4*d - u*v for d.
-4
Suppose 684*l - 697*l = -65. Solve l*o - 18 = -2*x + x, 24 = 3*x + 5*o for x.
3
Let c be 260/39*(6/(-5))/(-2). Solve 8 = -4*t, -c*z + 2*t - 6 - 10 = 0 for z.
-5
Let d(r) = -r**2 + 9*r + 6. Let m be d(11). Let g(z) = -z**2 - 15*z + 19. Let l be g(m). Solve 4*n = l*h + 32, -5*n + 4*h + 6 = -35 for n.
5
Let x = -8 - -1. Let d(q) = -q**2 - 3*q + 7. Let s be d(x). Let b = 41 + s. Solve 2*o + 3 = o, 4*o + b = -4*g for g.
-2
Let j(b) = -b**2 + 4*b + 10. Let m(r) = -2*r**2 + 7*r + 21. Let c(u) = -9*j(u) + 4*m(u). Let w be c(9). Solve -4*x = -5*a - 23, 0*a - w*a + 4*x = 17 for a.
-3
Let a be 28/8 + (3 - 20/8). Solve o = 4*p - 3 - 8, -a*o = -2*p + 2 for p.
3
Let n(l) = 13*l**2 + 2*l - 1. Let x be n(2). Suppose -o = 4*o + x. Let z = -5 - o. Solve q + y - 8 = 0, -y - 1 = -z*q + 4*q for q.
3
Let q be 3*((-20)/6 - 0). Let u = -6 - q. Suppose -2*s - u = -4*s. Solve t - l + 2 = -t, -3*t + 11 = s*l for t.
1
Let s be (44/4 - 3) + -3. Suppose 5*q = s*m - 35, -2*m - 5*q = m - 5. Solve 0 = b + 3, -4*h - m*b + 2 = 21 for h.
-1
Suppose 4*p - 34 = -10. Let i = 3 - p. Let m(s) = -5*s - 6. Let d be m(i). Solve d*n - 3*o + 22 = 4*n, 0 = 5*n - o + 24 for n.
-5
Let d(g) = g**2 - 19*g - 88. Let w be d(-4). Solve -m + w*o = -14, -o = 4*o + 15 for m.
2
Let r = 3 + -3. Suppose 0 = -5*z - 2*l - l + 107, r = 3*z - 5*l - 37. Suppose 2*f - z - 13 = 0. Solve -3*o + 4*g - f = 0, o + 2*g - 8 = 4*o for o.
0
Suppose 3*i - 7*i - 68 = 2*t, 0 = 2*t - 5*i + 50. Let b be (-36)/t*10*3/12. Solve -3*c - m + b*m = -9, -2*c = -3*m - 1 for c.
5
Let u be 108/24*6/9. Solve 0 = -2*q - k - 5, 2*q + 1 = u*q + 4*k for q.
-3
Let m be 2/(-8) + 201/(-12). Let o be -13 - -1 - 0/(9 - -1). Let i = o - m. Solve -i*u + 6 = -j, -3*j - 3*u - 1 = -u for j.
-1
Suppose 2*h + 2*v = 34, 62 = 4*h - 2*v - 0. Solve 3*l = -0*l + 15, -4*l = -4*k - h for k.
1
Let l be 4/6 + 32/6. Let o(b) = -27*b + 1407. Let w be o(52). Solve -2*z - 3*r = r, w*r = l for z.
-4
Suppose 0 = -39*l + 35*l. Suppose 4*v + l = 12. Solve 1 = q, 0 = 2*w - 7*q + v*q for w.
2
Let p(o) = -o**3 - 7*o**2 + o + 10. Let d be p(-7). Let b = 66 - 51. Suppose b*r = 14*r + 14. Solve r = 3*s - d*l + 5, 2*s + 18 = -4*l for s.
-1
Let u(l) = l + 2. Let p be u(2). Let m(k) = k**2 - 3*k - 2. Let i be m(6). Let o be 30 + (-5 - 22/(-2)). Solve -o = -5*w + p*y, -5*w + i = -y - 8 for w.
4
Let a(r) = -12*r - 120. Let u be a(-10). Solve 2*d + 5*w + 25 = u, -3*d - 1 = -4*w + 2 for d.
-5
Suppose 0 = 3*l + 3*j - 2 - 1, -1 = 3*l + 4*j. Suppose 195 = -69*u + 74*u. Suppose -2*r + 5*r - u = 0. Solve l*h + q + 5 = -4*q, r = -h + 3*q for h.
-4
Let l = 2052 + -2047. Solve 3 = x + 8, 0 = 2*s + x - l for s.
5
Let g(o) = -o - 22. Let j be g(-19). Let c be (-2)/j - 2/3. Solve -k + c*k + 3 = -m, 4*m = 3*k - 14 for k.
-2
Let f be 4/(-14) + 150/(-14). Let y = f - -15. Suppose -47*m + 251 - 44 = -263. Solve -3*v = -8*d + 3*d + m, -40 = -4*v - y*d for v.
5
Let l(h) = h**2 + 2*h + 2. Let x be l(-2). Solve 5*g - x*u - 10 = 3*u, -8 = -g - 2*u for g.
4
Suppose -y + 2*g = 5, -16 - 24 = -3*y - 5*g. Solve 2*s = y*t + 6, 4*t + 4*s - 9 = s for t.
0
Suppose -w - 94 = -98. Let c be (4 + 3)/(0 - -1). Suppose 5*p + 0 = -3*l - 5, w*p + 3*l = -c. Solve 5 = -u - 3*j, 4*j - 10 = p*u - 0*j for u.
-5
Suppose -6*s + 115 = 17*s. Solve 2*n = s*t + 28, -3*t - 32 = 2*t - 3*n for t.
-4
Let g be (-8)/3*15/(-10). Let k be 2*g/8 - -2. Suppose 5 - k = c. Solve -2*z + 4 = 2*u, c*z - 3*u + 1 - 5 = 0 for z.
2
Let d = 11 - 8. Suppose 2*y + 3*z - 6 = -2*y, -d*y - 8 = -4*z. Solve b + 1 = -2*g, 0*g - 2*g + 2 = y for b.
-3
Let m(c) = -7 - 3*c**2 - 4*c - 2 + 4*c**2. Let x be m(9). Solve 1 + x = -4*w - 5*v, 4*w - v + 7 = 0 for w.
-3
Let i be (2 + (2 - 5))/((-27)/108). Solve i*q - 20 = d, -d = -q - q + 12 for d.
-4
Suppose -14*d = -11*d - 9. Solve -2*a + 0*a - 21 = -3*i, d*a + 24 = 3*i for i.
5
Suppose g = -g + 40. Suppose -629*f + 68 = -628*f. Let w be f/g - (-4)/(-10). Solve -5*u + u + 29 = 3*i, -2*i + w*u = 9 for i.
3
Let r(x) = 2*x**3 - 13*x**2 - 20*x - 31. Let o be r(8). Solve -5*d = 4*n + 1, 3*n - d + o = -14 for n.
-4
Suppose 2*x = -2, -3*d + d = -2*x - 96. Suppose 4*j - 4*f = 60, -2*f + 3*f + d = 3*j. Suppose 4*h = j - 4. Solve a - 14 = -a + 4*p, p = -h*a + 7 for a.
3
Let p be 24/18 + 2/3. Solve 2*t - 4 = 4*g, -14 = 2*g + p*t - 0*t for g.
-3
Suppose -12*x + 40 = -8*x. Suppose 0 = 7*u - x*u. Suppose -2*g = -u*g - 12. Solve -3*o = -g*v + 4*v + 11, 8 = -2*o + 2*v for o.
-3
Suppose 3*l - 49 = o - 6*o, o - 2*l - 2 = 0. Let q = -24 + 37. Suppose -q*x = -o*x. Solve -4*u - r + 8 = -0*r, -4*u + 3*r + 24 = x for u.
3
Suppose 0 = 4*g + 38 - 6. Let d be (g/20)/((-3)/30). Solve 3*f = 5*b + f - 15, 0 = -d*f + 20 for b.
5
Suppose 2 = -3*f + 8. Suppose 0 = -2*i - f + 8. Suppose 12 = i*x + x. Solve -q + 1 = j - 3*j, -x*j - 6 = -3*q for q.
3
Suppose -5*r + 2*h = -53, -20 = r - h - 33. Solve -2*u - 30 = -4*z, r*z + 3*u = 4*z + 10 for z.
5
Let b(s) = -s**3 - 15*s**2 - s - 15. Let u be b(-15). Suppose 13*m - 8*m = u. Solve m = -5*o + n - 12, 4*n - 8 = -0*n for o.
-2
Suppose -5*t + 2*t = -15. Let m = -2 - -3. Suppose 143*f = 144*f - 3. Solve -g - 14 = -3*v, 0 = f*v + 3*g + m + t for v.
3
Let y = 466 - 464. Solve -y = -2*g, -g + 2 = -0*b - b for b.
-1
Suppose 2*p + 2*w + 5 = -3, 0 = 4*w + 16. Suppose 172*m = 1596 + 2360. Solve -4*n + 3*n + 5*y = -m, 2*n - 3*y - 11 = p for n.
-2
Let z(w) = w**3 - 9*w**2 - w + 13. Let g be z(9). Let l = g - -9. Let c(r) = -8*r + 1. Let h be c(-2). Solve x - 4*u = -l, -7*u + h = -5*x - 3*u for x.
-1
Let x(q) = -q**2 + 30*q - 28. Let c be x(29). Suppose -2*t - 5 = 3*w, 5*t - 23 = 4*w - c. Solve 0 = -4*f + 2*b + 18, 3*b + t = -4*f + b for f.
2
Let i = -21 - -40. Let m(b) = b**2 - 2*b - 10. Let t be m(5). Suppose -3*p + t*r = -41, 0*p + 4*r - i = -5*p. Solve 3*z + 2*g = 11, -1 + p = -3*g for z.
5
Suppose -2*c + 205 - 199 = 0. Solve 3*t = 5*r + 6, -4*r - c*t - 1 = 20 for r.
-3
Let b be (-3)/(-9)*6/1. Let c = 699 + -695. Solve 2*z + 8 = -b*p, -2*z - c = z + p for z.
0
Let n(z) = z + 2. Let r(q) = 7. Let x(c) = -2*n(c) + r(c). Let k be x(0). Solve 0 = -m + 5*m + u - k, 2*m + u + 1 = 0 for m.
2
Let b be 5*(-2 - 36/(-12)). Solve 2*c = -3*j + 3, j + 5*c - 3*c - b = 0 for j.
-1
Let t = -20 + 37. Let j be 2 + (-3)/6*-4. Suppose -j - t = -3*n. Solve -15 = 3*k + 5*m, -18 = 5*k - m + n for k.
-5
Let a = 5 - 7. Let i be (a/(-1))/((-2)/(-2)). Let z = i + -2. Solve z = r + 2*r - 3*f - 6, 3*r + 12 = -3*f for r.
-1
Suppose 4*l = r + 3, 0*r = -5*r - 15. Suppose 63*x - 40*x = 37*x. Solve l*v - 32 = 5*j + 3*v, j + 4*v + 20 = x for j.
-4
Let d = -8 + 11. Suppose u - 8 = -d*t, -2*u = 2*u + 4. Suppose -t*y - k = -y - 10, 0 = -5*y - 2*k + 25. Solve 3*l = -0*l + 15, 3*r - y*l + 37 = 0 for r.
-4
Suppose 0 = 3*x + 3*t - 3, -t - 2*t + 9 = 5*x. Suppose 0 = -x*s + 51 - 42. Solve n - 2*a - 5 = 0, -3*n - a = -5 - s for n.
3
Let v(x) = x**3 - 4*x**2 - x + 4. Suppose -5*s + 12 = -2*s. Let l be v(s). Solve -t + 3 = -l*t, -2*q + 6 = 2*t for q.
0
Suppose -8*p = -3*p - 20. Suppose -2*k = -k - p. Solve 3*j = -f - 0*f + 16, k = 5*j - 4*f for j.
4
Let j = 125 + -130. Let k(y) = -y**2 - 8*y - 11. Let m be k(j). Solve -5*x + 0*f = 5*f + 10, -m*f - 29 = -3*x for x.
3
Let p be (-4*1)/((-12)/54). Let v be 2/p + 1/(-9). Solve 0 = -3*x - 2*f - 15, v*x + 4*x - 3*f = -20 for x.
-5
Suppose -31 = -2*t + 5*i - 6, i - 12 = -3*t. Suppose t*x - 3 = 2. Let g = 12 - 8. Solve -x = -y + 3, -g*o + 3*y = 12 for o.
0
Let q(v) = v**3 + v**2 + 1. Let z = -25 - -26. Let i be q(z). Solve 3*u = x - 12, 5*u = i*x + 2*x - 20 for u.
-4
Suppose 4*l + 27 = -9. Let m = 8 - 13. Let c = m - l. Solve -k - 1 = -c*o, 2*o = -o + k for o.
1
Let k be 12/(-42) + 856/7. Let d = 72 - k. Let g = 70 + d. Solve -5*w - q