7, 2*x + 2*u = 0 for x.
1
Let w = -497 - -510. Suppose 77 = 18*j - w. Solve 4*t - s = -3*s - 14, 2*t + 5*s = j for t.
-5
Let g(h) = -h**2 + 9*h - 12. Let b be g(5). Suppose 5*w - 29 = -2*a - 5, w + 2*a - b = 0. Let z be 7/((-140)/(-15))*w. Solve 2*k + 2*p = 5 + z, 0 = 4*p for k.
4
Let s(h) = 2*h**3 + 8*h**2 + 11*h - 3. Let f be s(-3). Let d be f/(-12)*24/9. Solve -4*j - 4*l = -8, 0 = d*j - 0*l - 4*l - 16 for j.
3
Let x(n) = -2*n - 11. Let j(d) = -d - 1. Let g(t) = -4*j(t) + x(t). Let c be g(6). Solve -2*a = -5*v + c, 0 = 3*v + 5*a + 15 + 13 for v.
-1
Let h = -4921 + 4925. Solve h*i + l = -13, -2*i - 2 = 3*l - l for i.
-4
Let c be (-7)/2 + 2280/240. Solve -2*l = 4*q - 30 + c, -q - 3*l + 11 = 0 for q.
5
Suppose 0*y + y = -3*n - 19, 3*n = 5*y - 31. Let m be 20/70 + 1 + (-26)/n. Let c be m/2*(7/(-5) + 3). Solve 0*z - 3*z - 3 = -c*r, -r - 5 = 5*z for z.
-1
Suppose 0 = -64*i + 69*i - z - 37, 0 = -3*i - 2*z + 17. Solve 3*f + 8*p + i = 3*p, -4*p - 10 = -2*f for f.
1
Let u be -5 + -1 + 21/3. Suppose 0 = -10*i + 51 - u. Solve 4*x - 10 = -b, -4*x = i*b - 5 + 3 for x.
3
Suppose -4*g = -2417 + 2393. Suppose -3*y + 3*f - g = 0, 0 = y - 3*f + 8 + 2. Solve -s - 1 = 4*s + o, y*s + 3*o = 10 for s.
-1
Let r be (103 - 105)/((-4)/10 - 0). Solve -5 = -2*w - r*o, 12 = 3*w + 4*o + 1 for w.
5
Let f(w) = -10 - 2*w**2 - 5*w - 2*w**2 + 5*w**2 + 16*w. Let i be f(-12). Let a be -5 + i + 80/8. Solve -2*r + a = -0*y + y, 0 = -4*r - y + 13 for r.
3
Let n(b) = 6*b**2 - 106*b + 424. Let w be n(12). Solve -w = -2*h - 2*v, -10*v = -3*h - 7*v for h.
4
Suppose -4*t - 31 = -3*s, 0 = -4*s - 2*t - 0 + 12. Suppose -2*r + 26 = 8*m - 6*m, -r - 2*m = -16. Solve -3*n + 4*u - 6 = 0, -s*n + 6*u - r = u for n.
-2
Suppose 4*w = 3*a + 28, -4*w = 8*a - 3*a + 4. Solve 0 + w = -d - 4*i, -4 = -4*d + 4*i for d.
0
Let t = -2 + 6. Let v be -6 - (-3 + (7 - 14)). Solve r - 14 = -v*d, d = -5*r + t*d + 1 for r.
2
Let u(r) = -r**3 + 10*r**2 + 3*r + 94. Let i be u(11). Let t be (-1*13)/((-2)/6). Suppose 42*k - t*k = i. Solve -5*j + 25 = -4*f + k, j + 2*f + 1 = 0 for j.
3
Let f be (5 - 4) + 2*9. Let t(s) = -s**2 + 19*s - 3. Let g be t(19). Let x be (12/4)/(g*(-1)/4). Solve -x*r + 29 = -3*w + 3, -3*r + f = -2*w for r.
5
Let d(m) = -4*m + 144. Let r be d(36). Solve -4*x = s - 0*s, 3*x + 2*s + 5 = r for x.
1
Suppose -g + j - 3*j = 130, -20 = 4*j. Let x be (-1296)/g - 3/(15/4). Solve -2*q + 5*f = -15, 3*q + 5*f + 0 = x for q.
5
Suppose -80 = -4*y - 72. Suppose -4 = -q, h + 3*q + y*q = 25. Suppose 2 = k + 4*u, -2*k + h*u + 4 = u. Solve -k*d - d - 20 = 4*r, r - 14 = 4*d for d.
-4
Let s(l) = -l**3 - 10*l**2 - 8*l + 13. Let g be s(-9). Let o be (-34)/(-2)*g/8*2. Solve -5*v + 3*i - o = 0, 8 + 3 = v + 3*i for v.
-1
Let d(s) = -s**3 + s**2 - 24*s - 4. Let h be d(-5). Suppose 11*n - h = -27*n. Solve 3*z + n = 5*i + 6*z, 2*i - 4*z + 18 = 0 for i.
-1
Let h be 0/(4 + 1 + (-2)/4*4). Solve -2*d = 3*d - 3*n - 31, -4*d - 5*n + 10 = h for d.
5
Let t = -17 - -32. Suppose 4*o - 5 = -v, o + 0*o + 3*v - t = 0. Let b = -23 + 26. Solve 0 = -j - 0*h + b*h - 6, 4*h - 8 = o for j.
0
Let j(h) = -h**3 - 16*h**2 + 15*h - 40. Let z be j(-17). Let w be (-20 - -17)*34/z. Solve 5*u + 3 - 23 = -2*b, 0 = -u - 3*b + w for u.
2
Let c = -57 - -84. Let m be 3/(-4) + (-387)/(-36) - 5. Solve -p - 4*b = -5*p + 16, 2*b - c = -m*p for p.
5
Let n = 275 + -272. Suppose 0 = 4*b - 3*b - 4*w - 14, -w = 3. Solve -f = 0, -n*g - 6 = -f - b*f for g.
-2
Suppose 4*a = -n + 28, 2*a = 4*n + 7 + 7. Solve -14 = -8*o + 2*m, 5*m + 8 = 3*o + a for o.
2
Let s = 2 + 16. Let d(h) = -h - 3. Let j be d(-5). Suppose 3*a = 2*k + 259 - 281, -19*k = -3*a - 56. Solve -v - 2 = -k*o + 4, j*o - s = -5*v for v.
2
Suppose -13*p + 82 - 48 = 4*p. Solve 0 = w + d - 2, 4*d = -3*w + 5 + p for w.
1
Let m(q) = -q**3 + 16*q**2 + 15*q + 31. Let i be m(17). Let h(u) = 4*u + 18. Let g be h(i). Solve 3*v + p - 2*p + g = 0, -2*p + 8 = -2*v for v.
-1
Let u = 12 - 8. Let m(y) = u - 22*y + 24*y + 5 - 2. Let h be m(-2). Solve 3 = -2*k - 5*z, 0 = -k + 3*k - h*z + 11 for k.
-4
Let c(h) = -h**2 - 10*h - 7. Let r be ((-18)/5)/((-36)/240). Suppose -6*t + 3*t = r. Let n be c(t). Solve 0 = -4*z - 20, n = 3*v - 3*z - 18 for v.
4
Suppose 15*i - 11*i = 8. Let z(a) = a + i - 6 + 4. Let l be z(0). Solve l = 5*p + y + 25, 4*p - y + 1 = -10 for p.
-4
Suppose 3*w = -u - 12, 3*u + 15 = 3*w + 39. Solve -c = u*h, -3*c + h + 7 + 3 = 0 for c.
3
Let s = -10 + 7. Let j be ((-1)/s)/((-4)/(-36)). Let l(w) = -21*w**2 - 210*w + 18. Let h be l(-10). Solve -c + 4*n + h = 0, -j*n = -3*c + n + 14 for c.
-2
Let u = 213 - 147. Suppose -4*y + 74 - u = 0. Solve -t + 4 = 0, 0 = y*i - i - 5*t + 15 for i.
5
Let x = 15 + -10. Let d = 9190 - 9186. Suppose 3 = d*y - x. Solve 5*b + 1 = 4*l - 8, 3 = 5*l + y*b for l.
1
Let p be 276/(-14) + 24/(-84). Let v be p*((6 - 7) + 2/10). Solve -3*l + 2*q + v = -8*l, 3*l - 9 = 5*q for l.
-2
Let r = -603 - -606. Solve -2*n = k + r, 2*k - n = 50 - 61 for k.
-5
Let i(u) = u**2 + 98*u - 195. Let f be i(-100). Solve f*b = -5*n + 5 - 10, 3*b - 13 = n for b.
3
Suppose 386*b - 384*b + 126 = 4*a, -4*b + 108 = 4*a. Solve -3*t = -3*h, 0 = 26*h - a*h + 2*t - 2 for h.
-1
Let x(p) = -p**2 + 27*p + 127. Let y be (-2)/((-120)/(-62) + -2). Let a be x(y). Solve 2*b - s - 7 = 0, -s + 1 = -a*b + 10 for b.
2
Suppose -2*s = -4*h + 6, -2*h - s = 38 - 51. Solve 0*g = -g + 2*j, 0 = h*g + 4*j + 12 for g.
-2
Suppose 12 = -4*b + 5*p, 2*p = 4*b - 0*p. Suppose -2*t + b = -2*o + t, -4*t = -8. Solve o*z = 3*h - 1, 1 = z - 3*h + 3 for z.
1
Let y be 267/15 + 1/5. Let l be (-6)/(-12)*2*-14. Let q = y + l. Solve 4*n - q = -3*m - m, -3*n = -m - 3 for m.
0
Suppose -12*s = -5*f - 7*s + 35, s = 0. Let h(w) = -w**3 + 6*w**2 + 6*w + 7. Let x be h(f). Let o = 27 - 15. Solve 2*r = 5*d - 3 - 6, d + 3*r - o = x for d.
3
Let d(m) = 8*m - 40. Let o be d(9). Let s = o - 28. Solve 0 = 2*c + 4*q + s, 3*c - q - 3 - 5 = 0 for c.
2
Suppose 79*x - 80*x = -4. Suppose 15 = 3*j + 3*c + 2*c, -5*j = -c + 3. Solve -x*s = -3*n - 8, j*n = 5*n + 2*s - 30 for n.
4
Let w(g) = -g**3 + 2*g**2 + 10*g - 6. Let n be w(4). Let x be (-4 + 3)/(n/(-6)) + -4. Let o be (-5 + 0)/x + -2. Solve p - 3 = 4*k - 2, 5*p + o*k - 5 = 0 for p.
1
Suppose -174*q = -53 - 643. Let z be 71/4 + 2/8. Suppose q*c = 26 + z. Solve 3*u + 11 = 2*f, -3*f + 6 + c = -5*u for f.
4
Let b = -318 + 250. Let w = b + 71. Solve n - 6*n - 4*j = 2, w*n + 4 = -j for n.
-2
Let l be (-20)/((-56)/(-28)*(-1)/2). Solve -3*f = -4*f + 5*z + l, -5*z = 15 for f.
5
Suppose 2*f - 34*f = 173 - 237. Solve 4 = 2*m + 2*l + f, -3*l + 7 = m for m.
-2
Let y be (-39)/(-26)*(-5 - (2 + (-175)/21)). Solve -60*c + 15 = -55*c - 5*x, -x - y = 0 for c.
1
Let q(r) = -2*r**3 + 15*r**2 + 26*r + 27. Let n be q(9). Solve 2*y + 4*k = 36 - 10, -2*y - 2*k + n = 0 for y.
5
Let x = 100 - 89. Suppose -13*d = -x*d - 4*i - 12, 2*d = -i + 37. Solve 0 = -5*k - n - 8 - d, -5*k - 12 = -2*n for k.
-4
Suppose h - 4*o = 6*h + 1050, 5*h = -3*o - 1055. Let r = -206 - h. Solve s = -4*t - 0*s + r, 4*t - 20 = -4*s for t.
1
Let r(s) = -s**3 - 18*s**2 - 8*s - 128. Let t be r(-18). Suppose 16*u - 32 = t. Solve -1 = -3*b - 2*n, -2 = -u*b + n - 2*n for b.
1
Let i = 9 - 3. Let q be (-800)/(-50)*(12/(-64))/(-1). Solve -3*l + 3*p = i, -l + 6*l + q*p + 26 = 0 for l.
-4
Let k be -4 - 7/((-28)/88). Let s(p) = -2*p + 32. Let c be s(k). Let u be 1 + (-6)/c + 12/8. Solve -f = -r + 6 + 1, -u*r + 23 = -3*f for r.
2
Suppose -d + 4*f - 53 = 0, d - 5*f + 11 = -47. Let t be -3 + d*4/(-12). Solve -t = 4*y - 3*h - 0*h, -y - 4*h = 21 for y.
-5
Let o(v) = v**3 - 9*v**2 + v - 6. Suppose 9*h - 11*h + 84 = 0. Let d be 6/4*(-14)/h*-18. Let q be o(d). Solve -3*g + 24 = q*k, 2*g - 6 = -k + 6 for k.
4
Let q(f) = 4*f**2 + 64*f - 211. Let u be q(3). Solve 5*w - 13 = -4*x, 8*x + w = 12*x + u for x.
-3
Let u = -957 - -960. Solve 2*w + 2*t - 9 = u*t, -5*t = -w for w.
5
Let v(f) = -111*f**3 + 2 + 1 + 109*f**3 - 24*f**2. Let n be v(-12). Solve 0 = -n*w + 8*w - 2*p, 0 = -3*w - 5*p - 31 for w.
-2
Suppose 10 = 2*c + 4*g, 194*c = 195*c - 3*g. Solve -4*k + 20 = u, u + c = k - 2 for u.
0
Suppose -2*z - 8 = 4*s, -184*z + 180*z - 3*s = 6. Solve -2*c - 5*l + 25 = z, -4*l + 43 = 5*c + 6 for c.
5
Suppose -6*n + 0*n + 66 = 0. Suppose 0*j + j - n = z, 0 = -3*j + 2*z + 37. Let g be 1*3/(9/j). Solve u + 4*i + 15 =