 3*w - s + 1 for w.
0
Suppose -18*d = -22*d + 8. Solve -a + 1 = -d*t + 12, -4*t = a - 7 for t.
3
Suppose -5*p + 3*s = -30, -1881*p + 1885*p - 2*s = 22. Solve 5*x = -p*t + 28, 18*x + 9 = 4*t + 19*x for t.
1
Let b be -2*(-1)/(4/22). Suppose -3 = 10*f - b*f. Suppose -f*u - 4*m = -40, 5*u = 2*u - 5*m + 44. Solve -c + j = -3*j + 2, -4*c = -j + u for c.
-2
Let w be 224/(-42)*((-473)/44 + 10). Solve -146*i + 143*i = -4*d + w, -d + 3*i = -1 for d.
1
Let v be -21 + 34 + (1 - 10). Solve 4*k - v*w = -8, 1 = -2*k + 3*w - 4 for k.
-1
Suppose -31*l + 51 = -27*l - k, 0 = -5*k - 15. Solve -12 = -4*o - b, 4*o + 3*b - 5*b - l = 0 for o.
3
Suppose 3*u = 6*u. Suppose -187 + 27 = -20*r. Solve -4*b + 4 + u = -3*p, 3*b = p + r for p.
4
Let q = 113 + 45. Let k = q + -156. Solve 0*g - g = -k*d + 6, 4*g = -4*d for d.
2
Let x(u) = -u + 54. Let g be x(2). Solve -5*w + 5*m + 62 = g, -3*w + 13 = 4*m for w.
3
Let i be (-184)/(-13) + 24/(-156). Suppose 10 - 26 = 2*n + 4*q, -3*n - i = 4*q. Let u be (-6 + 1)/((15/n)/(-3)). Solve -4 = -w, 3*y + u*w - 12 = -y for y.
1
Let i(u) = 0*u - 2 + 3*u - 3*u + u. Let t be i(7). Let g = -77 - -78. Solve -j - m = -g - t, 5*m - 12 = 4*j for j.
2
Let t(a) = -a**2 + 11*a + 14. Let d be (2 - 1)/(6/(-12)). Let k be 12/(-8)*(48/d)/3. Let u be t(k). Solve -u*j - 10 = -2*s, 2*j + 5*s = 12 - 1 for j.
-2
Let g(u) = -u**2 - 21*u + 496. Let b be g(-35). Solve 3*c + 5 - 7 = -4*t, 4*t = c - b for c.
2
Suppose 2*t + 52*u = 50*u, -8*u - 18 = 2*t. Solve 5*l - v = -2*v - 29, -t*l = 4*v + 31 for l.
-5
Let j(s) = s**2 - 2*s - 10. Let w(i) = i. Let c(h) = -j(h) + w(h). Let z be c(-9). Let b = 104 + z. Solve 0 = -3*t + 4*y + 13, -t + y - b*y = 21 for t.
-1
Let c = 208 - 202. Let h(w) = -20*w + 123. Let p be h(c). Solve 0 = q - p*l + 9, 8*q = 3*q + 3*l + 3 for q.
3
Let p be (731/(-34) - -21)/(-1*(-2)/(-16)). Solve -p = 3*t - 5*u + 13, -5*u = -5*t - 25 for t.
-4
Let d(j) = 5*j - 4. Let u be d(4). Suppose -3 = 13*k - u. Suppose 0 = 5*q + 2*w - 40 - 1, -2*w = -q + k. Solve -5*m = -13 - q, 3*s + 7 = m for s.
-1
Suppose -s + 22 = 2*r - 12, 5*r = s + 92. Let x be ((-6)/1)/(r/(-12)). Solve x*i = -y, 2*y - i = -3*y for y.
0
Let h(f) = -f**3 - 3*f**2 + 10*f + 14. Let s be h(-5). Suppose s + 1 = 5*u. Suppose -u*l + 35 = -16. Solve 4*a - y + l = 0, 5*y + 16 = -5*a - 24 for a.
-5
Let b be 1/(-3 + 231/39 + -3). Let j = b - -16. Solve -j*c + 4*o = -8*c - 3, 2*c + 18 = 4*o for c.
-3
Let v = 78 + -54. Let f be (((-50)/(-15))/((-12)/36))/(2/4). Let g = f + v. Solve 3*z - g*b = -8, 3*b - 30 + 3 = -3*z for z.
4
Suppose 0 = 180*u - 22*u - 4 - 154. Solve 0 = -5*l + 2*q - 20, -3*l + 3*q = 4*q + u for l.
-2
Suppose 0 = 64*u - 68*u + 280. Let q = u + -62. Suppose 0 = f + f - q. Solve 3*w + 20 = -f*n, -3*w = -0*w - 5*n + 2 for w.
-4
Let l = 28 + -17. Let o be 12/9 + -1 + 4/6. Let v be (1*(-3)/o)/(11 + -12). Solve 2*k + 4 = 5*n, -v*n + 5*k + l = 1 for n.
0
Suppose 7*n = -3*x + 55, 9*x + n = 5*x + 15. Solve u + 114 - 103 = 3*w, -x*u - 2 = -w for u.
1
Let z = 4 - 3. Let w be -2 + (-2 - (128 + (-1 - -4))). Let l = 140 + w. Solve 5*v = 4*b - z, 0 = -3*b - l*v + 27 for b.
4
Let j(w) = w**3 - 11*w**2 + 27*w - 9. Let f be j(3). Solve f*y + 2 = -2*y + 2*b, 0 = -2*y + 5*b - 8 for y.
1
Let b(t) = -12 + t + 7*t - 9*t**2 + t**3 - 5*t. Let c be b(7). Let f = -73 - c. Solve -i + 0 + 12 = -3*z, -2*z = 2*i + f for i.
-3
Suppose 5*y - 5 = -5*c, 52*y - 51*y + 4*c + 11 = 0. Solve y*a = -v - v + 9, -5*a = -5*v + 5 for a.
1
Suppose 5*f + 16 = b, -5*b - f - 19 + 73 = 0. Let v = 3 + b. Suppose 7*r + 46 = 60. Solve v = 4*u + 5*q, 0*q - r = -q for u.
1
Let c = -19656 + 19658. Solve 2 = -c*d - 3*m, 10 = -4*d + 47*m - 50*m for d.
-4
Suppose -q + 5*q = -x + 10, 2*q - 3*q = 0. Solve -2*p = 2*n + 8, -3*n = -x*p + 12*p + 12 for p.
0
Let m = 874 - 874. Solve -3*r = p - 14, p - 20 = -5*r - m for r.
3
Let t(s) = 912 - 1493 - 10*s + 834. Let n be t(25). Solve 6 = -2*r - 2*w, -n*r - 3*w = -6*r - 9 for r.
-3
Let c = 569 - 521. Suppose -2*r - 40 = -c. Solve 3*n - v = -9, r*v = -2*n + n - 3 for n.
-3
Let o(a) = a - 1. Let k be o(1). Suppose -4*c = 5*s - 176, -4*s + 7*s + c - 100 = k. Let t be s/24 - (-33)/9. Solve -5*n - 2*m - 6 = 0, 3*m = n - t*n - 9 for n.
0
Let m be (-2)/6 + (-2 - (-35)/15). Let t be -1*2*(-2 - m). Let f be 1*t*(-12)/(-16). Solve 0 = -f*s - 9, i - 4*s = 14 + 3 for i.
5
Let y = 256 + -148. Let s = -80 + y. Suppose 11*t - 27 = s. Solve -25 = -t*a + 2*p, -4*p = 3*a + p - 15 for a.
5
Suppose -10*m = -12*m + 30. Let t be (-7)/(6 + m) - 32/(-6). Solve 4*z + 3*j = -6 - 4, z = t*j - 14 for z.
-4
Suppose 6*x - 98 = 2*g + 5*x, 5*x = 0. Let v = 132 + g. Let w = v + -79. Solve 0 = 2*h + 3*h + 5, -5*y - 11 = -w*h for y.
-3
Suppose -149 + 45 = -4*k. Suppose w = 3*g - 23, -2*w + g - k = -0*w. Let u be (w + 2)*2/(-6). Solve 2*b - 8 = 4*h, b - 13 = u*b + 3*h for b.
-2
Let b(q) = -8*q**3 - 9*q**2 - 21*q - 44. Let i be b(-3). Solve 3*v = -d + 11, -5*d - i*v = -158*v + 21 for d.
-1
Suppose -4*q - 5 = -5*n, 3*q = 2*n + 7*q - 30. Solve d = -n*f - 30, -5*d - 5 = -3*f - d for f.
-5
Let g = -631 + 654. Suppose -23 = -23*m + g. Solve -4*r - 5 = y + m, -2*y - 5*r - 11 = 0 for y.
-3
Let s = 120 + -105. Let f be -24*(1 + 5/(-10)). Let u = -9 - f. Solve -2*h + 3*h + 3 = -4*b, u*b + 5*h = -s for b.
0
Let b = 1 - -1. Let p be 300/40 + -4 - (-9 + (-136)/(-16)). Let h(l) = -l**2 - 4*l. Let q be h(-3). Solve 0*a = 2*a + p*f, -b*a = -q*f for a.
0
Suppose -11*y = -9*y - 3*n - 9, 0 = -5*y + 4*n + 12. Solve 3*g + 5*j + y*j - 8 = 0, -12 = g - 2*j for g.
-4
Let d(t) be the second derivative of -t**5/20 - 7*t**4/3 - 14*t**3/3 - 27*t**2/2 - 2*t - 3. Let s be d(-27). Solve 5*z + 5*g + 5 = 0, 2*g + s*g = -2 for z.
0
Suppose 27*l - 65*l + 104 = -12*l. Solve 3*y - l*n - 14 + 0 = 0, -y + 3*n + 13 = 0 for y.
-2
Let m(x) = 522*x - 2605. Let f be m(5). Solve -42*q - 9 = -38*q + 5*r, -35 = -f*q + 3*r for q.
4
Let p = -27 + 41. Suppose 3*b = -4*k + 44, -5*b + 337 = 297. Solve k*r = 5*l - 25, 2*r - 3 = 3*l - p for r.
-4
Let w(n) = -14*n + 31. Let d be w(-1). Suppose 150 = 6*h - 156. Let f = h - d. Solve 4*j = u + 17, 5*u = -4*j - f - 7 for j.
3
Let g(i) = 5*i**2. Let q be g(1). Let a be (3*-5)/(1 - 2). Solve 0 = -3*y + 3*v + v + 19, q*y + 5*v + a = 0 for y.
1
Let m be (-231)/(-154)*(-24)/(-9). Solve -3*k + 7 = 2*t, 5*k + 9 = m*t + 6*k for t.
2
Let d(v) = -1005*v - 6026. Let r be d(-6). Solve -3*x - 24*g = -19*g - 2, -r = 5*x + g for x.
-1
Let k be (-3 + 7)*((-12)/(-8) - 0). Solve 2*o = 0, -k*l - 2*o - 5 = -l for l.
-1
Suppose 909 = -3*v + 4*n, -3*n - 930 = 7*v - 4*v. Let m = v + 312. Solve -6*s = 3*q - 2*s + 25, -3*q - m*s = 29 for q.
-3
Let w(m) = -m**3 + 7*m**2 + 21*m - 160. Let v be w(6). Solve 0 = -4*s + v*k + 28, 134*k + 20 = 129*k for s.
5
Suppose 112 = -12288*z + 12296*z. Solve 5*v + n = -14, -4*v = 5*n - 7 + z for v.
-3
Let y(r) = -r**2 + 12*r + 12. Let p be y(6). Let j be (-864)/p*4/(-6). Solve v + 2*i = 2, -3*v + i = 2*v + j for v.
-2
Let o be (1 - 1)/(-2) + 3. Let w be (-638)/(-44) - ((-15)/(-9))/(12/(-18)). Solve 4*y + o*r = w, -5*y + 27 = -2*r - 0*r for y.
5
Let w = 48 - 23. Suppose 0 = -5*y - w, 28 = i - 0*i - 5*y. Suppose -b + 0*b + 15 = -i*o, 20 = -3*b - 4*o. Solve 2*j - 3 + 2 = 5*g, 3*g + 5*j + 13 = b for g.
-1
Let b be ((-14)/6 + 2)/(-2*1/192). Solve 0 = 5*v + 3*w - 13, -5*v + b = -2*w - 1 for v.
5
Let b = 1 - 0. Let v be b/(-3)*1*-6. Suppose -18 = o - 5*l, -177*o - 5*l + 16 = -179*o. Solve 2*z - o*h - 6 = 0, -4*h - 2 = v*z - 4*z for z.
5
Suppose -5*i + 2 = -13. Let l(y) = y**3 + 16*y**2 - y - 14. Let v be l(-16). Let p be v/3 + 36/27. Solve -2*r = i*b - 8, 0 = 3*r - p*b + 1 - 0 for r.
1
Let q(j) = -j**2 + 7*j - 2. Let i = 4 + 2. Let a be q(i). Suppose -12*g = -19*g + 68*g - 1098. Solve a*z - 4*o = -2 + g, -3*o = 4*z - 16 for z.
4
Let t be ((-35)/(-21))/(20/48)*(2 - 1). Solve -5*c - 6*f + 5*f = 29, t*f + 41 = -5*c for c.
-5
Let i be (-4)/30 - (-178)/(-15). Suppose -3*z + 5*z = 3*w - 27, 3*z - w = -37. Let n = i - z. Solve 0 = -t + 4*t, -3*a + 2*t + 12 = n for a.
4
Let l be -1 - (-9 + 5/5). Suppose -l*z - 20 = -27. Suppose 4 = v + z. Solve 5*f = -s, -4*s + v*f - 21 - 2 = 0 for s.
-5
Let j(p) = -37*p + 243. Let v be j(6). Let h be 328/56 - -5 - (-3)/v. Solve 3*u + h = -x, -4*u + 0*u - 23 = 3*x for u.
-2
Let s(q) = -2*q**2 + 23*q - 25. Let 