y.
-1
Suppose -4*o = -o - 3. Suppose 0 = -24*s + 28*s - 124. Suppose 0 = -j + 36 - s. Solve 2 = -4*r + l, j*r - 3*l + o = -l for r.
-1
Suppose 0 = -5*b + r + 40, 4*b + 2*r = 29 + 3. Let s be 171/228 - 6/b. Solve s*u + 11 = -3*u - 5*i, 12 = -4*u - 4*i for u.
-2
Let p = -4330 + 4334. Solve p*b - j - 14 = 0, j = -3 + 1 for b.
3
Let b(x) = 2*x**3 + 13*x**2 - 13. Let i be b(-6). Let m = i + -41. Let v be (1/(-3))/(2/m*3). Solve f = -4*t + v, -12 = -f - f + 2*t for f.
5
Let v = -54 - -18. Let g = 48 + v. Let f = 17 - g. Solve -4*t - z + 14 = 2*z, 3*t - f*z + 4 = 0 for t.
2
Suppose -29*a - 40 = -21*a, 15 = -2*o - 3*a. Solve 8*f - 5*f = o, 8 = 2*g - f for g.
4
Suppose 99*g - 26*g - 150 = -2*g. Suppose 8*y = 5 + 27. Solve 5*j + y = s, -4 - 4 = -2*s - g*j for s.
4
Suppose 1019 + 91 = 185*u. Solve 5*q + 5*m = -45, 0 = -9*q + 5*q + 2*m - u for q.
-4
Let h(c) = 3*c + 18. Let n be h(-5). Let a be 2*180/24 - 3. Solve t - 8 = -3*i + 4*i, -a = -i - n*t for i.
-3
Suppose 5*s - p = -0*p - 700, -4*s - 3*p - 579 = 0. Let u = s - -198. Let l = 57 - u. Solve 0 = -5*v + 23 - 8, 3*q - 4*v + 27 = l for q.
-5
Let f = -19461 - -19463. Solve -w = 4*w - 4*o + 32, f*w - 7 = -5*o for w.
-4
Let i(n) = -5*n - 3. Let v be i(5). Let z be 12 + -3*80/24. Let r be (6/(-21))/(z/v). Solve 0 = m + 2*k + 6, -r*m + 12 = m - 4*k for m.
0
Suppose -25*l + 2392 = -358. Suppose -2*x - l = -12*x. Let j be 0/1 + (-6)/(-2). Solve 0 = 4*a + 2*v + j + x, 3*a + 14 = 2*v for a.
-4
Let b be (5/(-4))/((-6)/120). Let c = b - 23. Let m be c - 0 - 23/23. Solve 2*r = 4*s - m - 1, 5*s - 13 = -r for r.
3
Suppose -6*u = -14*u + 2248. Let k = 190 - u. Let m = -88 - k. Solve 2*x + m*q = -5, 4*x + 10 = -4*q - 2 for x.
-4
Let g be 4/(-18) - 728/(-117). Let b be (3 - g/3)/((-2)/(-16)). Solve 5*o = 2*d + 2, 0 = -2*o - 0*d - d + b for o.
2
Suppose -116*t - 4 = -118*t. Suppose 4*u + 7 = t*m + 5, -u - 2*m + 7 = 0. Solve -4*z - p + 2 = u, 3*z - 12 = -3*p for z.
-1
Let s(v) = -v**3 - v**2 + 7*v + 3. Let p be s(-3). Suppose 23*g - 17*g - 18 = p. Solve -3*z = 3*q - 9, -g*z + 4 + 3 = q for z.
2
Let y = 35341 + -35339. Solve 0 = -5*b + 10*m - 13*m + 5, 2*b + 5*m = y for b.
1
Let w be ((-273)/3 - -1)*2/(-3). Suppose 3*i = -4*x - 2*i + w, 3*i = 2*x - 8. Let g = 25 - x. Solve -5*v + g = -3*j, j - 15 = v + 4*j for v.
0
Suppose -179*v + 3621 = -176*v. Suppose -v*m + 1213*m - 48 = 0. Solve 4*z + 2 = 4*u + 10, z - 3*u = m for z.
-1
Let k = 1211 - 1211. Solve 5*b = j - 24 - k, 27 = -2*j - 5*b for j.
-1
Suppose 709 - 749 = -10*h. Solve -5*m + 7 = -6*m + 2*o, h*o = -2*m + 2 for m.
-3
Suppose 58*c - 227 = 63. Solve -c*t - 20 = -5*z, -4*z = t - 9*z + 16 for t.
-1
Let o(m) = -2*m**3 + 51*m**2 - 21*m - 100. Let u be o(25). Solve -4*r + 3*s = -28, u*s + 20 = 4*r - s for r.
4
Let z be ((-3)/21)/((-6)/126) + 19. Solve 4*f - 3 - 5 = 4*h, z = 3*f + 5*h for f.
4
Suppose -r - 25 + 96 = 0. Let v = -64 + r. Suppose 0 = -4*s + 8 + 20. Solve -s = 2*b - x, -2*x + v*x - 7 = -4*b for b.
-2
Let r(z) = 8*z**2 + 331*z + 128. Let x be r(-41). Solve 3*l = x*l + f + 7, 5*l + 16 = -f for l.
-3
Let w(k) be the first derivative of -k**4/4 - 5*k**3/3 - 7*k**2/2 - 7*k + 24. Let y be w(-4). Solve -3*v - 2*d = -y*d + 12, 0 = -4*v + 5*d - 16 for v.
-4
Suppose -6 = 3*b, 12*y + 3*b = 9*y + 906. Let k = y + -301. Solve -5*d = -k*j + 19, -3*d + 5 - 18 = -j for d.
-5
Let a = -86 + 91. Suppose 6*g - 9*g - 11 = 5*x, -a*x = 4*g + 8. Solve -k = -5*t + k, -4*k + 26 = g*t for t.
2
Let z = -122 + 129. Suppose -z*c = 14 - 14. Solve c = -3*f + 5*f + 5*a - 14, 5*f = 2*a - 23 for f.
-3
Suppose -x + 10 = 3*d, -2 = -3*d + d + 4*x. Suppose -7*o + 80 = -32. Let u(v) = -v + 20. Let s be u(o). Solve -16 = f - d*b, 2*f - 2*b - s = -16 for f.
-1
Let n(i) = -i**3 - 15*i**2 - 21*i + 70. Let x be n(-13). Solve u + x - 15 = -3*c, 10 = -3*u - c for u.
-5
Let g = -89 + 72. Suppose 5*z - 119 + 24 = 0. Let f = g + z. Solve f*v - i = -3, -5*i + 26 = 2*v - v for v.
1
Suppose 0 = 25*m + 6*m. Suppose -11*f + f = m. Suppose s = 6*s, 4*s = -u + 2. Solve -2*j + 3*j - 4*g - 9 = f, -u*j - 5*g = 8 for j.
1
Suppose -m + 117 = -2*m. Let v be (-1)/4 - m/36. Let c(f) = f**3 + 8*f**2 - 11*f - 15. Let z be c(-9). Solve -3*l = i + 6, v*i + z*l = -i + 3 for i.
3
Suppose -332 + 120 = -56*a + 236. Solve -3*b = h - 2*h + 8, -b - 5*h = -a for b.
-2
Let f = -20212 + 20214. Solve -804*y + 803*y + 5 = -f*j, -4*j - 45 = 5*y for y.
-5
Let s = 27 + -22. Suppose -3*o + 34 = -s*o. Let p = o + 21. Solve 0 = -2*l, -15 + 5 = 2*x - p*l for x.
-5
Let o be 3*-3*(-30)/(-18). Let m be -2*(-90)/24*(-6)/o. Suppose 0*h = 2*h. Solve -3*w - m*b = 0, -3*b = -h*b - 9 for w.
-3
Let q(p) = -p**3 - 14*p**2 + 30*p - 32. Let d be q(-16). Solve d = -r, 4*z = -4*r + 2 + 6 for z.
2
Suppose -676 = 561*f - 587*f. Solve 0 = -r, -29*r = n - f*r + 2 for n.
-2
Suppose 0 = -2*h - 42 + 224. Let q = 92 - h. Solve 4*l - 5*n = -8, 5 = -2*l - 2*n + q for l.
-2
Suppose -4*f + 2*n = 8 + 6, -n = 3*f + 3. Let x be -5 - (-15 + (f - -4)). Solve 3*c = -c - 4*t + 8, 0 = -3*c - 2*t + x for c.
4
Let h(f) = -20*f - 208. Let t be h(-14). Let v = -69 + t. Solve v*u - 3*m = 6, -4*u + 2*m = 2 - 0 for u.
-3
Let k be ((-486)/(-36) - 10) + 1/2. Solve 2 = -d - m, -d - k = -m + 2 for d.
-4
Suppose 3*p + 20 = -y, 4*p + 35 + 1 = -2*y. Let l = 16 + y. Solve l*j + 4*r = 2*r + 2, -j = -4*r - 11 for j.
3
Suppose 0 = 2*d - 26 + 6. Suppose 11*b - 2 = 26 - 6. Solve b*s = 5*r + d, 0 = -r + s - 2 - 0 for r.
-2
Let d(i) = -257*i - 4108. Let p be d(-16). Solve -p = 3*r + 4*y + y, 0 = r + 3*y for r.
-3
Suppose -3*n + 18 = o, -3*o + 14 = -2*n + 4. Suppose 0 = 2*x - o, x - 9 = -b + 5*x. Let w be ((-7)/b)/(-1 + 14/15). Solve 9 = 5*r - 4*k - 9, w*r = k + 12 for r.
2
Suppose 6*l + 3 = 27. Suppose 0 = -l*x + 9 + 19. Let w = x + -5. Solve 3*d + 4*f + 2 = 0, 6*d + 4*f = w*d for d.
2
Let z = -2144 - -2155. Solve -2*d = -2*a + 8, -3*d = -4*a + 6 + z for d.
1
Let g be (-2 + 2 + -2)/2*12. Let v be (12/54*g)/(4/(-6)). Solve -v*m = 2*n, 0*n = -m - 4*n + 14 for m.
-2
Let y = 164 - 162. Suppose m + u = -5 + 4, -5*m - y*u + 4 = 0. Solve -a + 5 = -0, -m*a + 7 = 3*g for g.
-1
Suppose 78*o + 4*s - 31 = 77*o, 0 = 2*o + 2*s - 20. Solve 5*u + 21 = -o*m - 9, 2*m = 5*u + 5 for u.
-3
Let a = -389 + 386. Let w be (36 - 38)*a/2. Solve -5*z - 13 - 7 = 2*r, -3*z + 9 = -w*r for r.
-5
Let q(l) = l**2 + l. Let n be 2*3/(-12)*(-16)/(-8). Let p be q(n). Suppose 5*b + p = 2*w + 4, w - 2*b + 1 = 0. Solve -w*c - 4 = -2*h + 5, 4*c = -20 for h.
-3
Suppose 3*u + 1835 = -5*x + 8*u, 0 = -2*x - u - 740. Let m = x - -369. Solve -o - 12 = 2*i, m = -4*i + 3*o - 12 - 2 for i.
-5
Suppose 5*u - 54 = 3*g, 4*g + 3 = u + 6*g. Solve -3*b + 4*p - u = 0, 2*p - 9 = -3 for b.
1
Let n = 348 + -204. Suppose -114 = 15*w - n. Solve 2 + 4 = -3*v + 2*u, 0 = -w*v + u - 4 for v.
-2
Let c(n) = 11*n - 56. Let i be c(6). Let h = i + -9. Solve 3*u - 3 - h = -2*b, 5*u - 3*b = -6 for u.
0
Let p = 26271 - 26051. Solve -34 = j + 5*s, 222*j + 3*s = p*j - 19 for j.
1
Let q be (-3)/21 + (-387)/(-63). Let f(w) = w**3 - 5*w**2 - 10*w + 26. Let v be f(q). Solve 4*u - y - 9 = v, 4*y = u + 16 for u.
4
Let q be (-4 + 39/21)*91/(-13). Solve q = 2*b + 3*k - 4, -3 = -k for b.
5
Suppose 0 = 11*p - 223 + 47. Suppose -2*b = -4*v - b + p, -2*v + 8 = -5*b. Solve -v*m + 3*o - 18 = m, m - 5*o + 8 = 0 for m.
-3
Let z = 6261 + -6259. Solve 2*s + 5*y = -8 + 21, z*s + 3*y - 11 = 0 for s.
4
Suppose -5*q + 34 - 14 = 0. Let f be (7 - 6)*(-2)/(2/(-3)). Suppose 0 = -2*p - 2*l - 10, -36*l + 25 = -f*p - 41*l. Solve o + 7 = n, q*o + 8 = -p*o - n for o.
-3
Let s be 0 + -3 + (24 - (1 + -3)). Let k = -18 + s. Solve 20 = 2*n - r + 5*r, 0 = 4*n + k*r - 28 for n.
2
Let x(n) = n**2 - 18*n - 169. Let q be x(-7). Suppose -3*u - 13*w + 22 = -17*w, 3*w - q = 0. Solve 3*f + 4*r - 3*r = 5, -4*r - u = 2*f for f.
3
Let x = 162 - 160. Suppose -4*t + 12 = 4*f, t + x + 1 = 0. Let d be (-3)/(12/(-16) - 0). Solve -o = -w - d, 0 = -5*w + f - 26 for o.
0
Suppose 5*b = 3*a - 15, -7*b - 20 = -4*a - 4*b. Let p be (5 + -4 + -11)*(-2)/a. Let x = -4 + 8. Solve -3*i = 3*j + 6, -x + 2 = -p*i + j for i.
0
Let k be 6/(-1 - 1) + 21. Let y be (-70)/(-9) + 4/k. Let q be 3 - -3*(-4)/(-12) - 1. Solve 0 = -4*j + y, -3*j + 3 + 3 = -q*o for o.
0
Suppose -3*y + 19 = 4*h, -3*y + 4*h - 21 = -8*y. Let n(c) = -30*c + 35. Let a be n(y