, 7*t = 5*z + b*t + 20 for z.
1
Let c be 15/(-4)*8/(-3). Suppose -5*m = -c*m - 35. Let p = -3 - m. Solve a - r = 5, -3*a + p + 3 = 5*r for a.
4
Suppose -15 = -3*r - 6. Let k = 1007 + -1004. Solve r*q = 3*j - 6, -k*q = -2*q - 3*j - 2 for q.
-4
Let a(p) = -p**3 + 7*p**2 - 11*p + 7. Let d be a(5). Let f be 12/((-15)/12 + d). Solve f = -5*v + 2*w, -4*v = -3*v - 4*w + 14 for v.
-2
Let n(r) = 2*r**3 + 12*r**2 + 4*r + 28. Let w be n(-6). Solve 5*d - 41 = -w*v, d - 3*d + 5*v - 10 = 0 for d.
5
Let d be ((-12)/24)/(2/(-28)). Let g = -3 + d. Suppose 3*s = -m - 6, -2 = 3*m + g*s + 1. Solve -3*f = -2*h + 4, m*h + 7 = -5*f - 6 for f.
-2
Let d = -22 + 30. Let z(t) = 3*t - 16. Let w be z(7). Let p = d - w. Solve -4*o + 16 = 2*j - 6*j, -5*o = -p*j - 16 for j.
-2
Let j(g) = g**2 - 12*g - 105. Let b be j(18). Solve o + 3*o + 4*w + 16 = 0, b*w + 3 = 0 for o.
-3
Let l(t) = -2*t**2 + 50*t - 79. Let m be l(23). Solve -n + 2*a + 8 = 0, m = 5*n - 4*a - 3 for n.
0
Let f = -255 + 260. Solve -f*u = -5*q + 15, -2*u - u = -q + 7 for u.
-2
Let r(g) = g**3 + 8*g**2 + 9*g + 3. Let q be r(-7). Let t(u) = u + 13. Let b be t(q). Suppose -5*m + 15 = -5. Solve 0 = m*p - 5*h + 32, b*h + 4 = 3*h for p.
-3
Let b = 22 - 20. Suppose 0 = -3*v - 5*t, t = -v - b*t. Solve 5*p - 6 + 1 = 0, v = -s - 4*p + 4 for s.
0
Let m = 35 - 2. Let h = -31 + m. Solve y - 8 = 4*a, 3*y = h*y + 2*a + 6 for y.
4
Let n(o) = -o**3 - 5*o**2 + o + 2. Let r be n(-5). Let x be 1 + 3 + 1 + r. Suppose 0 = -0*f - x*f + 8. Solve -f*g + 0*i + 29 = -3*i, 4*g = -2*i + 14 for g.
5
Let q be 10/(-4) + (-6)/(-12). Let t be (q/(-5))/((-4)/(-30)). Suppose 0*p + 5*p - c = 4, -10 = -5*p - 5*c. Solve -16 = 5*l + 2*w, -5*l + t*w = -p + 2 for l.
-2
Let v be (-5)/(-3) - (-2 + (-16)/(-24)). Solve 15 = -t - 2*j, 2*j + v + 2 = t for t.
-5
Let j = -178 - -182. Solve -j*v = 5*m + 29, 2*m = m + 4*v - 1 for m.
-5
Suppose v - 4*s = -16, 1 = 3*s - 11. Let x(k) = -k**2 + 11*k + 29. Let g be x(13). Solve 0 = 2*i, g*i = -m - v*i for m.
0
Suppose -30 = -9*u + 4*u. Let o = -179 + 176. Let w be (o - (-57)/18)*12. Solve -12 = 2*r - u*r - 4*f, -4*r + 18 = -w*f for r.
4
Let k be -1*1/((-1)/(-6)). Let b = 6 + k. Suppose -5*q + 3*q + 6 = b. Solve q*w - 4*w = -2*v + 6, -4*w = 4*v for w.
-2
Let j(a) = -a**3 - a**2 + 37*a + 99. Let r be j(-3). Solve 4*g = -2*k - 10, 0 = r*g - 3*g - 2*k - 10 for g.
0
Let f = 698 + -697. Solve 0 = k + 4*v + f, -2*v + 4 = -k - 3*v for k.
-5
Let r be 1*-1*(-2)/2. Suppose -9*y + 7 = -29. Solve 4*n + y*a - 12 = 0, -2*n + 12 = -5*a - r for n.
4
Let l = 17 - 12. Suppose -2*x + l = 7. Let n = x + 1. Solve n = -3*h + 5*j - 1 - 4, 3*h - 23 = -2*j for h.
5
Let a be 15/8*(-1144)/(-429). Solve -1 = -2*x - 5*n, x - 3 + 0 = -a*n for x.
-2
Let i(u) = u + 9. Let s be i(-7). Suppose -5*y - 3 - 19 = -s*f, -5*y - 40 = -5*f. Solve 3*l + f = 3*g, -g + 9 = -3*l - 3 for g.
-3
Let n be (2 + -7)*6/(-5). Let r(x) = x**2 + 11*x + 11. Let g be r(-9). Let q(y) = y**2 + 6*y + 4. Let p be q(g). Solve 3*w + 4*l = p, w + 3*l - n = -2*w for w.
-3
Let w(y) = -y**2 + y + 6. Let s be w(3). Suppose s*f + f - 7 = 0. Solve -5*c = k + k - 1, -c = 4*k + f for k.
-2
Let a = 135 - 133. Let f(k) = -k**2 + 7*k - 6. Let h be f(6). Solve a*s - 3*g - 16 = h, -5*g - 12 + 0 = 4*s for s.
2
Let h be (-2)/(-8) - (-391)/68. Solve -2*f - 2*g = -f - 13, 3*g = 3*f + h for f.
3
Suppose 5*f - 11 = -c + 50, -20 = 5*c. Suppose 2*h - 15 + 5 = 0. Suppose 95 = 8*o - 137. Solve -h*d - f = -m - 3*d, -4*d - o = -3*m for m.
3
Suppose 4*k = -0*k. Suppose k = 4*y + 5*i + 1, 2*y - 2*i = -y - 18. Let a = y - -11. Solve 0 = -p - p - 3*j - 13, p = 3*j + a for p.
-2
Suppose -4*q + 2*m + 86 = -20, 5*q + 4*m - 152 = 0. Suppose -5*g - 5 = -3*n, 6*n = -4*g + 2*n + q. Solve -g*z + 3 = 5*c + 4, 0 = 2*z - 3*c - 7 for z.
2
Suppose 11*w + 9 + 24 = 0. Let d be 6/(-3) + 4 - w. Solve 2*r = i - d, -i - 25 = 2*r + 2*r for r.
-5
Suppose 0 = -4*h - 4*a - 1 + 17, -h + 3 = 2*a. Solve -2*n - 5 = -3*n + 5*o, n + 2*o - h = 0 for n.
5
Let s(o) = 2*o - 9. Let n be s(6). Suppose -n*u = d - u - 4, 4*d + u = 51. Let h = -1415 - -1421. Solve -14 = 5*f - w + d, 0 = -2*w + h for f.
-5
Let z be (2 - -2) + 18 - 1. Suppose -z*h = -20*h. Solve -4*k = -3*u - 11, h = 2*k + 5*u - 12 - 13 for k.
5
Suppose 16 = 4*z + 5*x - 65, -3*z = -4*x - 22. Let g(s) = -s**2 + 13*s + 16. Let n be g(z). Solve 0 = -2*j + 3*k - n - 1, 0 = 2*j + 3*k - 3 for j.
0
Let u(h) = -4*h - 20. Let o be u(-4). Suppose -14 = 2*f - 0. Let l = o - f. Solve 4*b - 26 = -l*d, -3*b = -d - 2*b - 3 for d.
2
Let m(q) = q**2 + 26*q + 110. Let d be m(-21). Solve -4*g = -4, 5*g = -d*l + 11 + 19 for l.
5
Suppose 2*r - 2*i = 14, -3*r - 4*i = 2*r - 26. Let a = 11 + -9. Let o be (5/a)/(6/12). Solve -t - 3*p - r = 3*t, 19 = -3*t + o*p for t.
-3
Let h be 6/(-9)*(-1 - -4). Let y(m) = -3*m - 2. Let t be y(h). Solve -t*v + 0*v + 4 = -4*f, 3*f = -5*v + 5 for v.
1
Let l(r) = 2*r**2 + 9*r - 91. Let u be l(5). Solve -d + 5*q = -0 + 7, -3*d + u*q = -1 for d.
3
Let v(l) = -l**2 - 10*l - 17. Let r be v(-7). Suppose 0 = r*o - 18 - 2. Let s = 47 + -15. Solve 4*c - 4*k - s = -0*k, 0 = 5*c + o*k + 10 for c.
3
Suppose 2*l - 4 = 4. Let t(p) = p**3 + 19*p**2 + 18*p + 25. Let i be t(-18). Solve -h - 5*y + i = l*h, h - 13 = -3*y for h.
1
Let p(w) = w**3 + 9*w**2 - 8*w + 25. Let r be p(-10). Solve 9*b - 15 = 4*b + r*x, -4*x = -b + 3 for b.
3
Let h be (-9 + 3)/(-5 + -3 - -5). Solve 0*a - 2*a - 3*p = -15, -2*p = -h*a for a.
3
Let x(n) = -4*n**2 - 6*n - 8. Let l be x(-3). Let a = 31 + l. Solve a*k + 20 = 5*f - 0, 0 = -4*f + 3*k + 17 for f.
5
Suppose -10 = -3*u + 2*x, 2*u + 5 = -x - 0*x. Suppose u = 2*q + q - 3. Let z be 3 - q/(4/(-4)). Solve -8*g - 31 = -3*g + z*t, -18 = 2*g + 3*t for g.
-3
Suppose -23 = -10*m + 7. Let j be 2 + -4 + (0 - -2). Solve -m*i = -n - 11, -4*i + 6*n - n + 22 = j for i.
3
Suppose -20 = y - 4*k, -2*y - 5 + 0 = -k. Suppose 0*w + w + 5 = y. Let r be 23 + w/((-20)/8). Solve -c = -4*a - 0*a - 18, -3*a - r = 5*c for a.
-5
Let z = 4 - -5. Let b(g) = g**3 - 9*g**2 - g + 13. Let w be b(z). Let d be (w/4 - 1) + 3. Solve -2*h + h + d*q = -14, -5*q - 10 = 5*h for h.
2
Let x = 85 + -85. Solve -5*p + m - 18 = x, 0 = 3*p - 2*m + 5*m for p.
-3
Let o(s) = -1 + 11 - 4 + s + 5. Let c be o(-9). Solve 0 = 4*q - c*z - 2, -3*z = -4*q - 0*z + 7 for q.
-2
Let t be (3/6 - 2)/((-15)/40). Solve -m + 3*v = -13, t*m + 5*v + 28 = v for m.
-2
Let x(k) = k - 7. Suppose -35*a + 21 = -32*a. Let n be x(a). Solve 5*o = -w, 0*w + 2*w = n for o.
0
Let x(c) = -c**3 + 15*c**2 + 11. Let d be x(15). Let p be (10 - d) + -1 + 2. Solve 2*s - 11 = 3*f, f + 4*s = -p*s + 1 for f.
-3
Suppose 95 - 35 = 20*b. Solve -r + 0*p - 7 = -b*p, 2*p = 4 for r.
-1
Suppose 1 = -7*d + 36. Solve -2*s + 5*z - 4 = 0, -s - z = -0*s - d for s.
3
Suppose -2*p + 8 = -3*b, -4*b - 5*p = 19 - 39. Solve 4*f + t - 21 = 0, b = -7*f + 2*f + 3*t + 5 for f.
4
Suppose -5*y + 2*y + 20 = -b, -5*y + 66 = -4*b. Let q be (-3)/(-21) - 264/b. Suppose o + 4 = q. Solve -3*f + 0*c = -3*c - 6, -o = 5*c for f.
-1
Let q = -16 + 23. Let w be q/((-21)/(-12)) - 1. Suppose -2*m = -5 - w. Solve 2*s - m*u + 0*u + 18 = 0, 0 = u - 4 for s.
-1
Let l(z) = -4*z**3 + 1. Let x = -66 + 65. Let r be l(x). Solve -2*t = 3*t + 3*y, 0 = -r*y - 25 for t.
3
Suppose -5 = -4*v + 15. Solve -y + 25 = -v*i, y = -3*i - 3 - 12 for i.
-5
Let m(x) = 8*x + 13. Let z be m(-1). Solve -b = 5, z*h - b + 0*b = 5 for h.
0
Let d = -1557 + 1559. Solve 6 = 5*a + m - 14, 0 = 3*a - d*m - 12 for a.
4
Suppose v + 2 = z + 6*v, 4 = 2*z - 5*v. Let a = z - -1. Let h(w) = -7*w. Let p be h(-1). Solve -n = -g + a, n - p = -0*g - g for g.
5
Let w(i) = -i. Let b(d) = -4*d - 8. Let z(k) = b(k) - 3*w(k). Let g = -17 + 7. Let m be z(g). Solve -v - 11 = 3*l, l + 5 = -m*v + 3 for l.
-4
Let m = 28 + -9. Let v = 25 - m. Solve v = 3*u + 3*g, 29 + 2 = -2*u + 5*g for u.
-3
Let u = 8 - 3. Let n = 1542 - 1542. Solve -u*w + 3*l + 6 = n, 0*l + 4*l - 6 = 2*w for w.
3
Let v = 10 + -8. Let q = -16 - -18. Let u = q + v. Solve -4*f + u*c = 4, f + f - 1 = 5*c for f.
-2
Suppose 6*f = 2*f + 4*t + 32, 64 = 3*f + 5*t. Solve 0 = 4*h - 3*v + f, -11*h + 6 = -8*h + 3*v for h.
-1
Let t(w) = w - 37. Let d(h) = -h + 18. Let q(b) = 5*d(b) + 3*t(b). Let l be q(-13). Solve l*i - 3*g - 24 = 0, -5*i - 4*g + 0*g = -3 for i.
3
Let d(q) = -2*q**2 + 2*q. Let i