= g + 10, w*g = 0 for y.
-2
Let l be ((-4)/8)/(3 - (-14)/(-4)). Let a be ((-28)/(-42))/(l/3). Solve -3*t + 5*c - 26 = 0, 4 = -c + a*c for t.
-2
Suppose 0 = 4*x + 11*x - 75. Solve -x*w + 13 = -5*g - 2, 22 = 2*g + 5*w for g.
1
Let d = -37 - -39. Suppose -3*a = -0*a. Solve d*g - 4*k + 10 = a, 0 = -3*g - 4*k - 2 + 27 for g.
3
Suppose 9 = 5*k - 1. Suppose a = k*a + 2. Let l be (5/(-2))/(a/4). Solve -3*w - 7 = 4*r, -5*w - 2*r = -l*r + 2 for w.
-1
Let t be 3 - -1 - (-3 - -5). Suppose -5*w + 63 = t*w. Suppose f + 16 = r, -5*r = 5*f - 119 + w. Solve -3*m - h - 1 = 0, m + m - 3*h + r = 0 for m.
-2
Let f be (-4)/(-6) + (-361)/(-57). Solve 4*s - 2*g = -3 - f, 2*g - 4 = -2*s for s.
-1
Suppose 13 + 123 = 4*q - 4*s, -3*s = 5*q - 210. Let m be q/9 + 1/(-3). Suppose -t + m = t. Solve 3*o = -2*h + 23, 5 = -t*h + 2*o + 3 for h.
4
Let x be 24/32 - (-50)/8. Let c(u) = u**2 - 9*u - 2. Let m be c(x). Let f = m + 20. Solve -n + 11 = -5*z - 2*n, 6 = -5*z + f*n for z.
-2
Let f = -95 - -137. Let g = f + -42. Solve g*r + 5*r - h - 25 = 0, 0 = -5*r - 4*h for r.
4
Let a = -26 - -26. Let k be ((-736)/80)/(2/(-5) - a). Solve -p - 5*x - k = 3*p, -2*p + 5 = -3*x for p.
-2
Let r be -4*(-1 + 36/(-16)). Let t = 17 - r. Solve o - 3*l = 13, l = 2*o - 5 + t for o.
-2
Let j = -96 + 99. Suppose 4*q = -j*q. Solve -4*n + 12 = -3*z, -20 = 5*z + 2*n - q*n for z.
-4
Suppose -x = -4*n + 19, 6*n - 2*n - 5*x = -1. Let f(z) = 12*z + 30. Let d be f(-2). Solve -3*p - p - 2*l - n = 0, -2*p = 2*l + d for p.
0
Let c(y) = -5 + 3*y - 2*y - 3*y + 6. Let n be c(-2). Solve l = x - 0*l, -n*l = 5*x + 20 for x.
-2
Let o = -9850 + 9852. Suppose z + 1 = 3. Solve -3*u = -f - z - 3, -5*f = o*u + 25 for f.
-5
Suppose -33 = -4*a + 5*f, -20*a + 15*a + 5*f + 40 = 0. Solve 4*u + 18 = -a*y + 10*y, -1 = y + u for y.
2
Let u = 9 - 9. Suppose 0 = 3*f - s - 25, -20 = -u*f - 4*f + 4*s. Solve 5*g + d = 2*d + f, -4*g + 14 = -2*d for g.
1
Let g be (-16)/(-6)*(-72)/(-32). Let z be (-1 - 2)*(-4)/g. Solve -q + z*o - 8 = 0, -3*o = -4*q - 1 - 11 for q.
0
Suppose -5*c + 292 = -268. Suppose c = 2*l - 62. Let k = l - 52. Solve h + 2*h - 4*u + k = 0, 0 = 4*h + 3*u + 5 for h.
-5
Suppose -3*f = 2*f. Suppose -8 = 2*z + 2*z. Let m be (-1)/z - (-27)/6. Solve -2*g + f*x - 2 = -2*x, -m*g + 3*x - 13 = 0 for g.
-5
Let o = 3 + -4. Let l(f) = 3*f - 1. Let t be l(o). Let d(j) = j**2 + 5*j + 4. Let m be d(t). Solve -4*r + 5*u + 25 = m, 2*u = -5*r + 3*u + 26 for r.
5
Suppose 3*y = -p - 15, 5 = -3*p - 5*y + 4*y. Solve 3*o - l - 20 = p, 5*l + 1 + 19 = -o for o.
5
Suppose -6*s = 5*c - 25, 0 = -12*c + 16*c + 4. Solve -u + 4*k = -25, 0 = -s*u + 4*k + 51 - 6 for u.
5
Let l = 18 + 5. Let w = 20669 + -20669. Solve 3*j + k + l = -j, -k - 3 = w for j.
-5
Let p be (3/(-6))/((-4)/(-24)) - -4. Let t be (76/(-8) + p)*(0 - 2). Solve 0 = -q + 1, 8*c - 3*c + 2*q - t = 0 for c.
3
Let d be 0 - (8 + -7) - -4. Solve -h - d*h - 5*b = 10, -b - 18 = 4*h for h.
-5
Let i(a) = 3*a**2 + a - 2. Let r be i(2). Suppose -d = 2*d - r. Suppose -d*v = v. Solve 0 = -3*o + 5*t, v = -t + 4*t for o.
0
Let x(u) = -u**3 + 6*u**2 + 6*u + 9. Let y be x(7). Let d(w) = w**2 - 158*w + 624. Let z be d(4). Solve -c - 2*k = 4, 0 = -2*c + 7*k - y*k - z for c.
-4
Let y be (-6 - 133/(-21))*15. Solve -y*t - m = 28, 37 = -5*t - 5*m + m for t.
-5
Let d = -459 - -464. Solve d*i = 2*j + 3 - 26, 3*j + 4*i = 0 for j.
4
Let q be 3 + -1 - 3 - (-9 + 12). Let d = q + 9. Solve 5*v + 0 = -3*w - 16, -d*w = -2*v + 6 for w.
-2
Suppose -d - 3*d = 0. Let r(j) = -j**3 + 3*j**2 + 11*j - 23. Let x be r(4). Solve 3*p = w - 7, -1 = x*p + w - d for p.
-1
Let c(t) = t**2 - 20*t + 14. Let r(m) = -2*m - 7. Let g be r(-10). Let v be c(g). Let y be (22/v)/((-1)/7). Solve 0 = -3*d - 6, -y*d - 30 = -5*w + 3*d for w.
4
Suppose -45*t = -51*t. Solve 3*i + 2*w = 4, -2*i + 2*w = -t*w - 16 for i.
4
Suppose z = -5*k - 15, 2*z + 1 - 7 = 2*k. Let s be 9/3*-1 - (-7)/1. Suppose -4*q = -2*b - 16 + 4, -s*q + 5*b = 0. Solve m - 5*n = -20, -n + q = -z*n for m.
5
Suppose 2*k - t + 33 = 0, 2*k + 42 - 4 = -4*t. Let r(m) = -2*m - 30. Let l be r(k). Solve 5*j = -l*b + 3*j - 2, 2*j + 2 = 3*b for b.
0
Suppose 2*k + 5*q = 9, 7 = 5*q + 2. Solve -5*d + k*o + 33 = 0, -3*o - 1 = 11 for d.
5
Suppose 26*i - 39*i = -65. Let b = 4 + -2. Solve -s - s - 18 = -5*k, i*s + 16 = -b*k for k.
2
Suppose 0 = 5*u + 3*a + 12, 0 = 13*u - 9*u - 2*a - 8. Solve -5*f - 4*l + 32 = u, -3*l = -5*f + 2*l + 5 for f.
4
Suppose -r = 2*r - 15. Suppose 2*x = x - 4*y - 29, 0 = -2*x - 3*y - 38. Let w(g) = -g - 10. Let z be w(x). Solve -3*p - r - 1 = 2*q, q = -z for p.
0
Suppose -j + 20 + 2 = 4*v, -3*v + 7 = -4*j. Suppose v*r - r - 20 = 0. Suppose q - 3 = 9. Solve r*m = 0, -4*p - 4*m = -4 - q for p.
4
Suppose 2*l - 75 = -3*l. Suppose w + 4*w + l = -4*y, 2*y + 12 = -4*w. Solve -a + 1 = 2*v, y = -2*v + 4*a - 6 - 18 for v.
-2
Let j be (0 + 2)/(-28 - -29). Solve -w = 4*o + 19, -j*o - w - 8 - 1 = 0 for o.
-5
Let r(i) = i**3 + 7*i**2 - 4*i - 2. Let q be r(-7). Suppose -3*h + 1 = 4*p, 5*p - 4 = 4*h - q. Solve -4*t + h*k = -t, -4*t + 5*k = -3 for t.
-3
Let k = 1 - -1. Let a be (27/(-2) - 2)*(2 - 0). Let i = 36 + a. Solve -k*q + 3*v = q - 3, -4*v = i*q - 41 for q.
5
Let o = 810 - 810. Solve o = 3*u - 0*u - 3*x - 9, x - 1 = 0 for u.
4
Let s = -2 - 2. Let x(b) = -b**2 - 6*b - 3. Let p be x(s). Solve 2*u = -p*i - 2, -4*u + i - 4 = -0 for u.
-1
Let y = 7 - 3. Let h(v) = -1 + 0 - v + y + 5. Let j be h(6). Solve 33 = -5*s - 4*c, -2*s - 18 = -j*c + 6*c for s.
-5
Suppose o + 2*w = -3*o + 24, -4*o = 5*w - 36. Suppose -3*z + o = -2. Solve 4*q + 9 = -5*d + 49, 0 = z*q + 5*d - 30 for q.
5
Let n = 1154 - 1152. Solve 3*j + 1 = n*w, -w - 4*w - 4*j = -14 for w.
2
Let k(p) = -2*p**2 + 55*p - 73. Let b be k(26). Solve b*o = 2*s - 23, o - 4*o + s = 14 for o.
-5
Let t be 3204/28 - 3/7. Let j be (-30)/(-50) - t/(-10). Suppose 0 = -y + 5*f - 5, 5*f - 5 = 3*y - 0*y. Solve -2*b - 2*z = -4*z - j, y = 3*b - 2*z - 17 for b.
5
Suppose 4*j - 13 = -1. Suppose 2*t + a = -2*t + 7, j*a = -3. Solve -5*s = -3*v - 12, -4*v - 2 = -0*s - t*s for v.
1
Suppose -2*o + o + 3 = 0. Let x(y) = 4*y**2 + 10*y + 9. Let n be x(-1). Solve 0 = 3*h + n*d - 6, 0 = 3*h + d + o*d - 3 for h.
5
Let i(p) = p**3 + 5*p**2 + 7*p + 9. Let k be 7 + -12 + 2/1. Let z be i(k). Let g(s) = -s - 4. Let v be g(-6). Solve -2*q + n = -z, 2*n - 1 - v = -q for q.
3
Suppose -4*l + 21 = -7*l. Let o be 1 - (l + 2 + 1). Solve 4*v + 3*k - 24 = 0, o*v + 4*k - 23 = 2*k for v.
3
Let x = -6 - -9. Let m be x + (0 - 3) - 0. Suppose 0 = -2*p + p + 3. Solve 12 = -3*f, -p*y = f - m + 7 for y.
-1
Suppose 41*o + 285 = 36*o. Let x = -40 - o. Solve 2*r + r + 4*b + x = 0, -b - 7 = -2*r for r.
1
Let f(o) = -o**2 - 9*o - 15. Let d be f(-3). Let w = 28 - d. Solve -3*j + 2*z = 23, 0 = -0*j - j + 5*z - w for j.
-5
Let m = -16 - -13. Let r be ((-2)/m)/(8/(-24)). Let l(f) = -f**3 - 2*f**2 - 3*f - 2. Let n be l(r). Solve 13 = -2*u + 3*k, 5*u - n*k = 4*u - 14 for u.
-2
Let j(x) = x**3 - 21*x**2 - 46*x + 9. Let k be j(23). Solve 3*l - 5*z - 3 = -k, -2*l - 4 = 5*z for l.
-2
Suppose -6*w + 731 - 713 = 0. Solve 0 = 2*i - 2*y, w*i = -0*i + y + 8 for i.
4
Let v be (-1116)/(-51) - (-4)/34. Let x be 3/(-4 - v/(-4)). Solve x*d + 0*q = -5*q - 12, -d - 3*q = 7 for d.
-1
Let w be -1 + 2 - ((-12)/4 + -1). Suppose 0 = -4*o - w*h - 9, -4*o + h + h = -26. Solve d + 3*v - 2 = -o*d, 3*d = -v + 2 for d.
1
Let t(b) = -46*b**3 - 13 + 3*b + 3 + 4*b**3 - 4*b**2 + 41*b**3. Let r = 3 + -8. Let u be t(r). Solve 0 = 4*p + 2*g - 7*g + 15, -2*p - 4*g + 12 = u for p.
0
Let q be 30/9 + 4/6. Suppose 40 = 31*o - 33*o. Let f be (6/5)/((-6)/o). Solve 4 = 3*n + q*a + 22, -5 = f*n - a for n.
-2
Suppose -4*p + 31 - 3 = 0. Let m = 9 - -23. Suppose -2*o + m = 24. Solve l + 3 = -j + p, -o*l + 16 = j for l.
4
Let g(f) = -f + 8. Let r = -9 + 7. Let c be ((-15)/(-6))/((-1)/r). Let w be g(c). Solve 4*q = -q + w*v + 22, 5*q + 5*v + 10 = 0 for q.
2
Let v(f) = -f**3 - 13*f**2 + 14*f + 11. Let h be v(-14). Let p = 10 + h. Solve 0*x - p = -3*y - 3*x, 2*x = 8 for y.
3
Let q = -61 + 137. Suppose -2*c - q = -3*o, -5*o - 2*c = -4*o - 12. Solve 0 = 4*r + 3*g - o, g = -r - 2*r + 14 for r.
4
Let j be (2 - 1)*3 - -2. Let s(k) = 2*k + 1. Let r be s(1). Suppose -5*z - u = -26, -5*z - 5*u = -9*z + 15. Solve j = -z*x, -a - r = -3*a - 5*x for a.
4
Let 