q = -z - r for z.
5
Let t be (1/(20/16))/(9/((-855)/(-38))). Solve -5*j = -t*x - 33, -90*x = -4*j - 95*x for j.
5
Let s be (-12)/(-16)*40/2. Let l = 10233 - 10230. Solve s = -l*i + 3*x, -4*i - x - 16 = 4 for i.
-5
Let a = -2058 + 2063. Solve 6*i - i - a = -5*g, -2*i - 22 = -4*g for i.
-3
Let c(m) = -5*m - 91. Let i(x) = 3*x**3 - 10*x - 15. Let v be i(-2). Let w be c(v). Solve 0 = -4*s - u - 4*u + 20, 2*u = w*s + 8 for s.
0
Let y(d) = d + 22. Let q be y(-16). Suppose -8*u - k + 40 = -q*u, -5*u - 5*k = -95. Solve 8*w + u = 3*w + 2*t, t + 22 = -4*w for w.
-5
Suppose -10*l = -24*l - 196. Let r(f) = -f**3 - 12*f**2 + 29*f + 28. Let z be r(l). Solve 3*c - z = 2*h, 0*h + c - 5 = h for h.
-1
Let b(h) = 56*h + 2. Let a be b(0). Solve -5*m + 1 = 4*k, -a = 2*k - 0 for m.
1
Let k = 8 - -13. Suppose -12*z + 189 = 10*z + 101. Solve z*c - j + k = 0, 0 = c - 3*j + 4 + 15 for c.
-4
Suppose -y - 19 = -m, 71*m - 66*m = y + 103. Solve -4*o = -40*u + 41*u - 11, o + 5*u = -m for o.
4
Let g = -9 - -2. Let q = 11 + g. Let w(s) = s**3 + 20*s**2 - 24*s - 476. Let b be w(-20). Solve -12 = -q*z + z - b*l, -z + 4 = l for z.
4
Let u be (-15)/6 + 5/(-10). Let t be u + 16 + -1 + -4. Suppose 2*v = t - 0. Solve 2*s + 2*f = -4, -v*s - 8 = -5*f + 9 for s.
-3
Let n = 8 - -4. Let b = -22 - -19. Let r be (1 + b)*(-6 - -1). Solve 3*c = -4*y - c - n, 0 = -2*y - 4*c - r for y.
-1
Let a = 102 + -92. Let o be 8/((a/45)/(2/18)). Let i be 150/105 - (-4)/7. Solve i = -z - 0*u + 5*u, 4*u + o = -2*z for z.
-2
Let m be -3*(-1 + 112/(-48)). Solve m = -77*k + 78*k + 4*d, 4*d = 4*k for k.
2
Let g(v) = 4*v**2 + 11*v + 25. Let h be g(-2). Solve 5*u - 2*y = -h, 4*y = 4*u + 14 - 6 for u.
-5
Suppose -2*k - 1 = -15. Suppose 4*g + 52 = 0, 3*d + 10*g - 14*g = 76. Solve -4*n - k*i + 2*i = 36, 3*i = 5*n + d for n.
-4
Suppose 64*t + 87 = 62*t + 31*t. Let i = -2 - -4. Solve -5*a - 4 = -i*w, 0 = -t*a - a for w.
2
Let i = -3188 - -3188. Solve i = 2*k + j + 6, -6*j = -4*k - j + 30 for k.
0
Let k be 1/((340/(-580))/(-17)). Solve -k*i - 3*d - 4 = -27*i, d = -i - 1 for i.
1
Suppose 0 = 11*q - 114 + 92. Solve 3*z - 17 = 2*j + 6, -q*z + 6 = j for z.
5
Suppose 3*w - 310 + 298 = 0. Suppose 0 = w*v - 199 + 171. Solve 2*h = 3*f - 15, -2*f - v = 5*h + 2 for h.
-3
Let w = 103 - 55. Suppose 4*y - w = -4*y. Suppose 0 = y*p - 7*p. Solve -2*c + 5 = h, -h + 5*c + 1 - 3 = p for h.
3
Suppose -2*l + 7*l = -350. Let v(o) = o**3 - 10*o**2 - 6*o + 27. Let y be v(11). Let d = y + l. Solve -4*c - 10 = -2*c + 2*t, 0 = 3*t + d for c.
-1
Let m = 113 + -113. Let g(s) = -s**3 + s**2 - s + 4. Let j be g(m). Let q be (9/(-9))/((-2)/j). Solve -v = -q*z - 4*v - 17, 3*z + 3 = 3*v for z.
-4
Let q(u) = 87*u - 854. Let l be q(10). Solve -4*w - 2 = -5*f, -18*f - 1 = -w - l*f for w.
-3
Let r(n) = -n**3 + 7*n**2 + 173*n + 32. Let x be r(-10). Solve 4*a - q - x*q = 11, -15 = -5*a + 4*q for a.
-1
Suppose -2*n + 5*s = 0, n + 2*s + 0 = 9. Suppose 55 = 5*z + n*p, 2*p + 15 = z - 2. Solve -2 = -5*i - 5*r + 8, -i = -2*r + z for i.
-3
Let h(m) = 39*m + 16. Let u be h(1). Let q = u + -52. Solve p + r = q, -p = -2*r - 0*r + 3 for p.
1
Suppose w - 84 = -o, 4*w + 82 = 2*o - 92. Suppose 26*v - 9*v = o. Solve v*x + 0*d + 3*d = -34, 0 = -5*d - 15 for x.
-5
Let v = 580 - 1530. Let a be (-1)/(-13) + v/(-494). Solve -4*n + 2*n = -a*y + 2, y + 2*n + 8 = 0 for y.
-2
Let v(r) = 40*r - 47. Let a be v(4). Let d = -113 + a. Solve -3*u - s + 2*s + 17 = d, -2*s = 3*u - 2 for u.
4
Suppose 0 = -2*c - 4*t - 6, 7*c - 29 = 2*c + t. Let p(n) = -n + 5. Let y be p(3). Suppose -12 = y*d - 5*d. Solve d*w = -j + 13, c*w = -j - 3*j + 8 for w.
4
Let p(w) = -w**3 - 60*w**2 - 901*w - 142. Let v be p(-32). Solve -v = -u - 4*g, -39 + 45 = -u + 4*g for u.
6
Let w = -30542 - -30542. Solve -5*k + 4*x = -25, w = 5*k - x - 4*x - 30 for k.
1
Suppose 4*v = 5*p - 14, -63 = 5*p + 2*v - 71. Solve n = -5*l + 4, p*l - 22 = 38*n - 35*n for n.
-6
Let v = -11580 + 11580. Solve -y + 3*y - 10*p - 14 = v, 4*y + 4*p + 20 = 0 for y.
-3
Suppose 0 = -2*r + 3*n + 55, 3*r - 68 = -2*n - 18. Solve 8*b - 3*b - r = v, -b = -3*v - 18 for b.
3
Let w = 219 - 221. Let q(i) = i**3 + 3*i**2 + 5*i + 11. Let z be q(w). Solve 3*n - 4*n = 4*s - 2, -n + z*s + 2 = 0 for n.
2
Let h be ((252/21)/24)/(2/28). Solve -h*q - v = -12*q + 10, 0 = q + 4*v - 2 for q.
2
Suppose 21*p = 11*p + 30. Solve 2*o + 3*n + 18 = 0, 70 - 77 = -p*o + 4*n for o.
-3
Let x(p) = -p**2 - 6*p + 55. Let o be x(-11). Suppose 0 = -23*a + 36*a - 26. Solve i + o*i - 1 = -3*v, a*i = -4*v - 2 for i.
-5
Let d = -63 + 50. Let c be (-13 - d) + (-1 - -4). Let q(m) = 2*m**2 + 25*m - 8. Let g be q(-13). Solve -1 = -c*l + 6*l - s, 4*l + g*s = -33 for l.
-2
Suppose -7*x + 60 = 998. Let s be x/(-9) - (-46)/414. Solve -6*d - 5*g - 25 = -d, 3*d = -4*g - s for d.
-5
Let n(c) = 2*c**2 - 21*c + 22. Let z be n(10). Suppose -23*s + z = -20*s - a, 0 = s - 4*a - 4. Solve -5 = f, 0 = -s*d + 2*f + 2*f for d.
-5
Let h = -13112 + 13128. Solve 213*u - h = 212*u - 3*y, 0 = -4*u + 3*y - 26 for u.
-2
Let i(r) = r**2 + 4*r - 3. Let v be i(-5). Let a = 2724 + -2717. Solve 4*u - 28 = -v*l, 8 + a = 5*l - u for l.
4
Suppose -5*u + 2*y = -26, -2*u - 5*y - 108 = 9*y. Solve -5 = u*d - 3*g, 4*d - d - 4*g + 7 = 0 for d.
-1
Let k(w) = w + 3. Let i be k(4). Suppose -i*p + 10*p = 33. Solve p = -3*m - 4*v, -5*v = -0*m - 2*m + 31 for m.
3
Let i be 423*4/24*2. Let n = i - 140. Solve -1 = -2*s - 3*y, 4*s + 5*y + n = -0 for s.
-4
Suppose 114*f - 108*f = 30. Suppose -2*p + 3 + f = 2*v, v + 5*p = 0. Solve v*j - 2*j = -2*y + 5, -3 = j + 3*y for j.
3
Suppose -25 - 38 = 7*i. Let l = -6 - i. Suppose -5*s + 22 = 2*m - l, 4*s + 5*m = 20. Solve -s*f = -k + 21, 0*f = k + 5*f + 29 for k.
-4
Let v be 222/30 + (2/(-5) - 0). Let t be 170/v - -5*(-2)/35. Solve -t = -3*m - 5*q, 3*m - 8 - 4 = -q for m.
3
Let n be ((-221)/39)/((-3)/9). Suppose -4*i = -7*i - 9, 5*m = -i + n. Solve -4*k - m = -4*q, -2*k + 8 + 0 = 3*q for q.
2
Let o = -2116 - -2119. Solve o*y = 7*x - 9*x - 25, -3*x = 5*y + 41 for x.
-2
Let r(g) = -g**2 + 10*g + 2. Let k be r(9). Suppose -4*w - 2*j + 18 = 0, 4*w - 8 + 10 = 2*j. Solve w*d = a + a + 10, -k = a - 4*d for a.
-3
Let u = 85 - 81. Suppose -4*a + 19*a = -7*a. Solve -u*j + 2*z - 4 = a, 0 = -j + 2*j - 3*z - 9 for j.
-3
Let f be (-2)/6 - (-40)/(-90)*-165. Let b be 706/10 - 2/(-5). Let a = f - b. Solve 3*j - 5*l - a = -6*l, 6 = 5*j + l for j.
2
Suppose -5*k - 5*z = -50, -k = 3*z - 4*z - 2. Suppose -5*r - k + 0 = -3*n, 0 = 5*r + n - 2. Solve 0 = -5*p - m - 20, 4*p + 3*m - m + 10 = r for p.
-5
Suppose 0 = 1155*u - 1168*u + 26. Solve u*p = -h + 5 - 14, -4*h - 10 = -5*p for h.
-5
Suppose 4*q + 4 = 4*p - 12, -3*q + 5*p = 16. Let m(w) = w**2 + 1. Let t be m(q). Solve -3*r = -3*f - 3, 12 = -f + t*f + 4*r for f.
1
Let q be 5*1*(-12)/(-20). Let l(z) = z**2 + 56*z + 3. Let b be l(-21). Let x = b - -732. Solve -3*c - q*t = -9, -4*c + 16 = -x*t + 2*t for c.
5
Let h be 73143/(-357) - (-2)/(-17). Let f = -190 - h. Solve 3*p = -b + f, -2*b - 4*p = -3*b - 20 for b.
0
Let j(m) = 7*m - 21. Let l(n) = 13*n + 237. Let r be l(-18). Let z be j(r). Solve t = 4*i - z*i + 24, i + t = -1 for i.
-5
Suppose j - 5*u + 8 = -0, -2 = -4*j + 3*u. Let h = j - 2. Let x = 120258 - 120255. Solve h*k - 18 = 2*t - 2*k, 37 = -x*t + 5*k for t.
-4
Let y = 4572 - 4570. Solve 4*j + 6 - 47 = -5*r, -y*j - 2*r = -18 for j.
4
Let d(b) = -b**3 - 3*b**2 + 3. Let h be d(-3). Suppose 0 = -h*j + j + 10. Let k be 1/4 - (5 - 1)/16. Solve -2*n = 3*n + 2*r + 7, -j*n + 2*r - 23 = k for n.
-3
Let c(n) = n**2 + 54*n - 112. Let t be c(-56). Let x(m) = 8 - 2 - 2 + m**2 - 2*m. Let o be x(t). Solve 2*a = 2*k - 2*a - 20, 12 = -2*k - o*a for k.
2
Let f be -24*(63/(-12) - -6). Let o be (-20 - f)/((-2)/4). Solve 5*j + 35 + 0 = o*k, k = -3*j - 4 for k.
5
Let c = -1113 + 1120. Solve -5*z + 24 - c = -2*o, -2*z = 3*o - 3 for o.
-1
Let l = -9 + 13. Let i = -86 + 89. Suppose v - n + 4*n = 12, -6 = -5*v + i*n. Solve -v*k + k + z = -l, k - 9 = 4*z for k.
1
Let a be ((-2)/(-5))/((-24)/(-150))*-18. Let q = 34 + a. Let b = q + 16. Solve 0 = n - u - b, n + 5 - 4 = -2*u for n.
3
Let m = 113 + -138. Let h be 10/m - (-60)/25. Let w = -10 + 16. Solve -3*p = -3*a + w, -h*p + 10 = 5*a - 4*p for a.
2
Let i(l) = 21*l - 27. Let v be i(2). Suppose -z + 5*r = -v + 6, -17 = -3*z + 5*r. Solve -3*x 