= y*x - 4 for o.
2
Let d = 3046 + -3031. Solve 3*j + d = 2*y, 0 = 5*j + 17*y - 13*y + 25 for j.
-5
Suppose 0 = d - 2*d + 2, 5*d = -5*s + 25. Let u(h) = -2*h**2 - 8*h + 45. Let v be u(-7). Suppose -29 + 44 = v*k. Solve -k*g = -j - g - 5, 2*j - s*g = -5 for j.
-1
Let j(t) = 20*t**2 - 39*t + 1. Let v be j(2). Solve 7*a - 8*a + v = -4*x, -2*x = -a + 3 for a.
3
Suppose -50*p + 54*p - 992 = 0. Let y = p - 246. Solve 12 = -4*f + g, 3*g = y*f + 3 + 3 for f.
-3
Suppose 2*l + 30 = -l. Let a = 21 + l. Suppose -6*r - a = -29. Solve 4*o - 20 = 5*t, 5*o + r + 9 = -3*t for t.
-4
Let v(h) = 0*h - 3 - h + 4. Let n be v(-5). Let k(i) = -135*i - 8502. Let w be k(-63). Solve 4*f + 11 = -w*s, 2*f + s + n = -s for f.
-2
Let i = -419 + -121. Let z = i + 543. Solve 3*r - 5*r + 6 = 0, -3*r = z*t for t.
-3
Suppose -8*c = -3*c - 15. Suppose -k - a + 1 = 0, c*a + 1 + 2 = 3*k. Let u be (4 - k) + -3 + 3. Solve -u*s - 9 = -4*g, -s = -g - 0*s + 3 for g.
0
Suppose 3*k - 89 = -80. Let f be 1/k - 352/(-132). Suppose -2*t + 5*a + 26 = 0, 20 = -6*a + a. Solve f*d - 1 = -2*u, -2*u - 3*u = t*d - 16 for d.
-3
Let g be (1048/(-12))/((-18)/(-27)). Let o = -128 - g. Solve 5*n + 3*s + 22 = 0, 2*n - 8 = -0*n + o*s for n.
-2
Suppose -30*r = -35*r + 130. Suppose -r*y + 117 = -17*y. Solve 5*n = u + 10, -2*u + 4*n + y = 3*u for u.
5
Let j be (4 + 0 + (6 - (8 - -1)))*5. Solve -5*z = -3*p + 28, -3*p + 8 - j = 0 for z.
-5
Let m = -632 + 194. Let x = 454 + m. Solve -x = -2*d - 4*k, -k = -d + 2*k - 12 for d.
0
Suppose 5*n = 4*j - 12, 4*j + 12 = 3*n - 4*n. Let b = -4 - n. Solve 2*h + o = -h - 7, -h - 5*o - 21 = b for h.
-1
Suppose 268*k = 255 + 281. Solve 12*l = -5*y + 14*l - 40, -k*l - 14 = 4*y for y.
-6
Let l(j) = j**2 - 12*j - 45. Suppose -2*p = -5*d + 49 - 58, -3*d = 9. Let r be l(p). Solve 4*m - x - 23 = r, 2*m - 3*x + 6 = 5*m for m.
5
Suppose -2*l + 2*g = g - 4, 4*g + 16 = 2*l. Suppose -c - 5*c - c = l. Let n(u) = -3*u + 1. Let h be n(-5). Solve -s = c, s + h = -5*i + 1 for i.
-3
Let f = -152 - -147. Let y be 1/(-4) - ((-6)/24 + f). Solve -y*c + 1 = 3*w, 0 = 2*w + 3*c - 1 for w.
2
Suppose -67*x + 65*x + 564 = 139*x. Solve x*q + 5*h + 33 = 0, -2*q = 3*q + 4*h + 30 for q.
-2
Suppose -2900*g - 85 = -2917*g. Suppose b = 2*b, -2*b - 6 = -3*r. Let c be r + 2*(-1)/(-1). Solve -2*h - x + 1 = -3, 0 = 3*h - c*x + g for h.
1
Let x(z) = 7*z - 208. Let v be x(30). Suppose 5*l - 105 = -v*l. Solve 4*p - 5*m = p + l, 2*p + 5*m = 10 for p.
5
Let x be (-9146)/(-51) + (-2)/(-3). Suppose 81 = -3*o - x. Let t = o + 90. Solve t*f = 2*h - 13, 3*h + f - 1 = 2 for h.
2
Suppose -3*y + 2*f = -24, 0 = y + 3*f - 38 + 52. Solve -2*v + 3*q + 9 = 0, 6*q = y*v + 5*q + 7 for v.
-3
Let u be ((3 + -3)*(44/(-8) - -5))/(-2). Solve 28*k - 32*k = 3*w + 22, u = 5*k + 20 for w.
-2
Suppose -21*q + 4*u = -15*q + 8, -5*q = 3*u - 6. Solve -3*y + h - 7 = -2, 2*y - 4*h - 10 = q for y.
-3
Let g be (1 - 27/18)/(11/(-66)). Solve 0 = i - 4*k + 14, -g*i + 3*k - 18 = -3 for i.
-2
Let l(r) = -r - 28. Let t(b) = 11*b + 58. Let a be t(-8). Let u be l(a). Solve -n - u = -i - 0*n, -4*n - 20 = 0 for i.
-3
Let z be (-39)/(-3) - (177 - 15)/18. Solve 29 = -386*o + 382*o - 3*b, 0 = z*b + 12 for o.
-5
Suppose 10 - 12 = 2*y - 2*m, -2*y + 4 = 4*m. Solve -n - i - i + 3 = y, 6*i - 19 = -n for n.
-5
Suppose 48*w - 43*w - 2*a = 33, 3*w + 1 = -4*a. Solve -2*c + 4*z = 18, c - 9 = -w*z - 4 for c.
-5
Let r(g) = 46*g + 3730. Let k be r(-81). Solve 3*j = k*w - 13, -11*j - 18 = -4*w - 13*j for w.
4
Let t = -71 + 223. Suppose -21*q + t = -373. Solve 5*f - q = -5*u, 16 = 3*f + 1 for u.
0
Suppose 0 = 8*o + 967 + 81. Let w = -130 - o. Solve 3*r + 5 = -3*f - 1, f + 4*r = w for f.
-3
Let b(y) = -y**3 - 43*y**2 - 154*y + 83. Let j be b(-39). Solve 2*o - 3 = n, -9*o = -j*n - 5*o - 9 for n.
-1
Let d be 5/(2 + (-1)/3). Solve -2 = d*b - 2*s, -13*b + 16*b - 8 = 4*s for b.
-4
Let l be ((-36)/5)/(-3)*(-2)/15*-25. Solve -g = -3*q - 17, l*g - 11*g = -5*q - 31 for g.
2
Let r(c) = 3*c - 36. Let s be r(16). Let p = 20 - s. Let t = p + -5. Solve 4*g - 3*y + 12 = 0, 12 = 2*g - g + t*y for g.
0
Let n = -83 + 101. Suppose -6*x - 6 = -n. Solve x*b + 5*w = 12 - 4, -2*b = w for b.
-1
Let f be ((-9)/2)/9*-8. Suppose -54 = 2*l + 5*r + 8, 4*l = -f*r - 148. Let y = l + 41. Solve 10 = 5*g - t, 2*g - 31 = -y*g - 5*t for g.
3
Suppose -3*q + m + 9 = 0, 0 = -4*q + m - 91 + 103. Solve 2*s + 6 = q*u, -u - 24 = s - 31 for u.
4
Suppose 15 - 3 = 3*j. Let t = -4408 - -4416. Solve 0*b + j*b = 5*v - t, 0 = 2*b + 5*v - 26 for b.
3
Suppose 0 = 4*r + 5*z + 4, -219*z = 2*r - 220*z - 12. Solve 5*y = r*y + x + 8, -4*y = -2*x - 22 for y.
3
Let j = 3843 + -3838. Solve -2*y = -j*v - 29, -7*v + 20 = -11*v for y.
2
Let d = -52 + 50. Let c be 14/d*(-160)/224. Solve -u = -3*o - 9, 2*o + 2 = u - c for o.
-2
Let c = 1391 - 1379. Solve -c = -2*o - 4*u, -2*o + 3*o + 14 = 3*u for o.
-2
Let q = -191 + 143. Let k be q/20 + 3 - (-186)/15. Solve -4*d + p = -k, -5*d = -2*p - 0*p - 20 for d.
2
Suppose m - 4*a = -5, -4 = -5*a + 6. Solve 3*f + 15 - 17 = 4*i, m*f = -3*i + 9 for f.
2
Suppose 8*c + 0*c + 1587 = 1611. Solve 17 = 2*t - 6*t + n, c*t = 2*n - 14 for t.
-4
Let w = -4531 - -4538. Solve -3*u - 6*b = -2*b - 19, 5*u - 3*b = -w for u.
1
Let k = -2792 - -2822. Solve -5*h + k = 2*j, -11 = 6*h - 10*h + j for h.
4
Let f(s) = -s**2 - 11*s - 9. Let m be f(-10). Let z be -4 + 26 + -2 + m. Let w be 8/(-40)*-5 + -1 + 0. Solve -k + w*d - z = 4*d, -d - 2 = -3*k for k.
-1
Suppose -35*x - 5 = -36*x. Suppose -x = -2*s - 1, -3*d = s + 136. Let o = d - -50. Solve o*q + 23 = m, 0*m + 3*m + 5*q + 16 = 0 for m.
3
Let j be 0/(-7 + -6 + 11). Solve j = 5*c, 37*m + 3*c + 5 = 36*m for m.
-5
Suppose -2*d = -10*t + 9*t + 14, 0 = -3*t + 2*d + 18. Solve -17 = -0*j + t*j + 3*h, h - 17 = 5*j for j.
-4
Let b = -13633 - -13637. Solve 0 = 5*l - 6*p - 1, -l + 2 = b*p + 7 for l.
-1
Let c(s) = -19*s - 175. Let k be c(-9). Let u be (-36)/(-19) - (222/57 + k). Solve u = t - 1, 3*l + 2*t = 0 for l.
-2
Suppose -2*l - 13 = -p, -3*l + 19 = -8*l - 2*p. Let j(o) = o**2 + 4*o. Let b be j(l). Solve 0 = -b*a - 2*x + 3, 0 = 3*a + x - 1 for a.
-1
Let g = 125 + -53. Suppose g = 19*m - 99. Solve 5*f + 3*n = -m, -3*n = -2*n - 2 for f.
-3
Let v(n) = -67*n + 407. Let z be v(6). Solve 0 = 4*o + 4*t - 16, 10*o - 14*o - 11 = -z*t for o.
1
Let c be ((-36)/(-11))/(64/352). Solve -5*n + 3 + c = -4*v, v - 2*n = -6 for v.
-4
Let z(c) = -6*c**2 - c + 4. Let k be z(-2). Let w = k - -23. Let m be (w - (0 + -2)) + (2 - 3). Solve -f - 7 = -5*t - 17, -m = 3*t - 3*f for t.
-2
Suppose -f = -4*g - 3, -3*g + 5*f = -0*f + 15. Suppose 5*z - 43 - 30 = -2*w, -4*z + 12 = g. Solve 3*t + 25 = -2*u + 6, 4*u = -3*t - w for t.
-3
Let r(h) = h + 20. Let d be r(0). Suppose -2*p + 120 = x + x, -3*p + 165 = -2*x. Let n = p - 52. Solve 8 + 0 = -3*f + 2*a, n*f - 5*a = -d for f.
0
Let w = 97 + -89. Suppose -1 = w*t - 25. Solve -5*y + x = -t*y + 2, -4*x - 6 = -y for y.
-2
Let q be 8*((-24)/8 + 5). Suppose 105*w - 107*w = -38. Solve 4*t = -4*u + q, -3*t - 7 = -u - w for u.
0
Suppose 4*k = -2*s + 58, s + 2*s - 47 = 4*k. Suppose 0 = n - q + 5*q + s, -12 = 4*q. Let p be -32*((-2)/8 + n/36). Solve -3*z - p = l, 3*z + l = 5*l - 11 for z.
-5
Suppose 0 = -3*c + 5*c - 8. Suppose -c*f = -14 - 2. Let q be (-4)/(-7) - ((-404)/28)/1. Solve -5*l = f*g + 35, -l + 4*g = -2 - q for l.
-3
Suppose 5*u = 5*d - 20, -325 = -5*u - 305. Solve -6 = -3*j - 3*r, 2*j = 11*r - 9*r + d for j.
3
Let g(v) = v**2 - 3*v - 11. Let j be (-6)/2 - -2*(-36)/(-8). Let m be g(j). Suppose 0 = -m*z - 7 + 28. Solve z*p = -5*l - 19, -26 + 5 = 3*l + 5*p for l.
-2
Suppose -5*m - 51 = -21*d + 20*d, -3*d - m = -57. Solve 5*z - d = k, -21*z = -19*z - 8 for k.
-1
Suppose 4*y - 60 + 111 = u, 6 = 6*u + y. Let l = 2 - 4. Let x = l + 3. Solve -6 = -i - f - x, u*f = -i + 15 for i.
0
Let c(n) = 3*n. Suppose -4*i = 3*g - 6*g - 1, 0 = -i + g + 1. Let a be c(i). Let t be (-235)/(-20) - a*4/(-32). Solve k - v = -4*v + t, 5*v - 25 = 0 for k.
-4
Let d = -4 - -7. Let a(x) = 3 - 5 - x - 1 - 4*x**2 + 15*x. Let y be a(d). Solve -6*z - 15 = -3*p - z, -y*z - 9 = p for p.
0
Let p = -19231 - -19453. Solve -218*u - 2*d = -p*u - 6, -5*u + 2*d - 7 = 0 for u.
-1
Suppose -w + 11 = 3*l, -2*w = -126 + 134. Solve 9*c - i + 10 = 13*c, -16 = -l*c - 3*i for c.
2
Let r = 9 + -33. Let x be ((-3)/2)