4 = 0 for s.
1
Suppose -2*r + 0*o + 4*o = -280, 4*o = r - 140. Let n = r + -140. Solve -2*y - 14 + 4 = n for y.
-5
Suppose 5*v + 2*s - 183 = 0, 0 = 5*v - 3*v + 3*s - 71. Suppose -38*x + v*x = 0. Solve x = -0*l + l + 3 for l.
-3
Let d = -86 + 127. Suppose h - 115 = -4*q, 23*q - 25*q + d = -5*h. Solve 5*x + 2*x = -q for x.
-4
Suppose p - 18*d + 16*d = 29, 2*p = -d + 73. Solve -p - 35 = -14*u for u.
5
Let p be (-36)/(-10)*(-6475)/(-70). Solve 339*w - p*w = 24 for w.
4
Let c(p) = 53*p + 267. Suppose 5*i = 2*d + 35, -5*d + 4*i = 32 + 13. Let q be c(d). Solve 0 = -2*w + 3*w + q for w.
-2
Let n be (-8)/10 + ((-82044)/(-3655) - 24/(-68)). Solve -28*f + n = 78 for f.
-2
Suppose 752*v = 743*v. Solve 130*p - 134*p + 8 = v for p.
2
Let n(c) = -c**3 - 12*c**2 - 11*c + 12. Let p be n(-10). Let y = p + 78. Solve y*m = 3*m for m.
0
Let d = -2782 - -2802. Solve 43*q - 184 = d*q for q.
8
Let o = 280 - 277. Let p be (20/o)/(-4) - 99/(-27). Solve 3*c - 5 = -p for c.
1
Suppose 0 = 4*c - 0*c - 8. Suppose -x - 20 = -4*z + 2*x, 12 = -c*z - 4*x. Suppose 131*q = 323*q + 774*q - 5796. Solve -z*f = f + q for f.
-2
Let c(r) = -2*r**3 + 3*r**2 - 2*r - 2. Let y(l) = -4*l**3 + 5*l**2 - 5*l - 5. Let w(u) = -13*c(u) + 6*y(u). Let j be w(5). Solve 2*p = -1 - j for p.
-1
Suppose 581 + 319 = -2*k. Let z be 1/((-24)/k*57 - 3). Solve z = 7*j - 2*j for j.
5
Let t(f) = f**2 - 2*f - 1. Let q be (-6)/27 + (-87)/(-27). Let b be t(q). Suppose 6*u - 25 = 2*u - 3*o, -5*u = b*o - 26. Solve 0 = -5*x + 6 + u for x.
2
Let p = 4180 + -4138. Solve 46*u - p*u = 0 for u.
0
Suppose -1902*s + 255 = -1885*s. Solve -1496*l = -1493*l + s for l.
-5
Let s(m) = -7 - m - 6*m + 6*m. Let d(y) = -1. Let k(a) = d(a) - s(a). Let r be k(-6). Solve r = -4*h - 0*h - 16 for h.
-4
Let y(b) = 9*b + 174 + 135 + 7*b. Let t be y(-19). Solve s = -4*s - t for s.
-1
Suppose -3*d = 85*f - 84*f - 17, 5*f - 33 = -2*d. Solve -25 = d*z - 37 for z.
3
Suppose -j + 20 = 4*j, 5*g - 68 = -2*j. Suppose -g*n + 72 = -0*n. Let d(x) = -x**3 + x**2 - x + 1. Let h be d(1). Solve n = -h*k + 2*k for k.
3
Let s = -299 + 317. Suppose -4*n - s*l + 15*l = -23, 4*n - 38 = 2*l. Solve u + 3*u = n for u.
2
Suppose q + 68 = 4*t, 5*t = -0*q + 4*q + 85. Suppose 0 = -3*b - t*b + 60. Solve -7 = 2*g + b for g.
-5
Suppose l = 3*p - 68, -6*l = -2*l + 20. Suppose -21 = 11*s - p. Solve s = 4*n + 1 + 15 for n.
-4
Let c(h) = -3*h - 37. Let b be c(-13). Suppose 2*y = 4*r - 4, -2*r + b = -0*r - 4*y. Solve 1 = -i - r for i.
-2
Let y(m) = -24 - 2 - 6 + 0 - 10*m + 3. Let u be y(-4). Solve -i + u = 9 for i.
2
Suppose 225*r - 39*r = 34596. Solve -20*j - 46 = -r for j.
7
Suppose 3*d = -4*g + 82, 2*g + 61 = 3*d - 33. Solve 0 = -385*j + 391*j - d for j.
5
Suppose 3 = 2*t - 9. Solve t*n + 27 = -21*n for n.
-1
Suppose 0 = l + v - 3, 5*v - 5 = l + 10. Let m be (-4 - 101 - -5)*3/(-4). Suppose -5*u + m = 15. Solve 5*g - g - u = l for g.
3
Let q(a) = -7*a**3 - 2*a**2 + 4*a + 3. Let v be q(-3). Let j = v + -155. Let g = 3 - 2. Solve -3*p - j = -g for p.
-2
Suppose -9*h + 64 = 19. Suppose -h*q + 0*q + 18 = -b, -2*q + 4 = -2*b. Let z = b + 1. Solve -4*t - z = 1 for t.
-1
Suppose 32*d = 33*d + 60. Let r = d - -65. Suppose 4*q = -r*s + 32, -s - 4 = -5*q + 7. Solve -5 = -s*x + 15 for x.
5
Suppose 0 = 4*i - 3*n - 1, 2*i = -2*n + 6 - 2. Suppose -4*w = 4*x - 8*x - 460, -w + 3*x = -125. Suppose 106*q = w*q - 20. Solve -2*h = -q + i for h.
2
Let y = 4154 - 4143. Let g be 2 + 2/2 - -4. Solve -16 = y*d - g*d for d.
-4
Let n = 35 + -1. Let q = 36 - n. Suppose q = -r, -3*h = -7*h + r + 70. Solve 5*l = -h + 2 for l.
-3
Let f be (-6)/9*3*(-3)/2. Suppose -3*l = f*l - 156. Let d = 34 - l. Solve -d + 3 = -5*z for z.
1
Let k(l) = -l**3 + 8*l**2 - 12*l. Let u be (4/3)/((-61)/9 + 7). Let z be k(u). Suppose 0 = -y - 3, -2*o - y = -9 + 4. Solve z = -4*p - o for p.
-1
Let x(q) = 2*q**2 + 14*q - 78. Let p be x(-11). Solve -9*b = -p - 26 for b.
4
Suppose 3*m = -m. Suppose 0 = 44*l - 36*l - 80. Let n(c) = c**3 - 8*c**2 - 2*c + 89. Let t be n(6). Solve t*a + m = l for a.
2
Let v be ((-24)/(-18))/((-1)/(3/(-2))). Suppose v*g - 3 = 9. Suppose g = z + 5. Solve 5*w + z + 14 = 0 for w.
-3
Suppose -2*n - 97 = -3*f + 3, n + 148 = 5*f. Solve -8*k = -18*k - f*k for k.
0
Let l(i) = -30*i + 1844. Let h be l(59). Solve h = -3*p + 86 for p.
4
Let t(s) = -10*s - 151. Let z be t(-17). Suppose -z = a - 26. Solve -3*b + 8 = -a for b.
5
Suppose 0 = 4*m + 5*d - 19, 5*d - 6 + 75 = 4*m. Solve -7*j = -m*j - 4 for j.
-1
Let z = -206 - -207. Suppose -h = 5*b + z, -3*h - 3 = -b - 0*h. Solve -3*t - t = b for t.
0
Let h be 187*((-24)/22)/(-6). Let d be 4884/187 - 4/h. Solve 0 = -21*o + d*o + 10 for o.
-2
Let u be (27 - 3)*(-6 - -10)/4. Solve u = 15*j + 54 for j.
-2
Suppose -a = 8*a + 25200. Let l be (-2)/9 + a/(-450). Solve -18 = 4*t - l for t.
-3
Let s = -675 - -727. Solve 127 = 15*n + s for n.
5
Suppose -4*p + 11 = 3. Suppose -g - 5*x - 15 = 0, -p*x - 20 = -g - 0*x. Solve a - 3*a = -g for a.
5
Suppose 77*o - 56*o = 243*o. Solve -r - 10*r + 0*r = o for r.
0
Suppose 0 = -2*p - 5*k - 4, -10 = 7*k - 2*k. Suppose -515 = -2*v - p*v. Solve v*m - 98*m - 5 = 0 for m.
1
Let a be (-14 - -1 - -3)/(-8 - (-1 + -5)). Solve -a*i = 197 - 157 for i.
-8
Suppose 3*l - 6*o - 60 = 0, 5*l - 6*l + 15 = 3*o. Solve -13*a + l = -73 for a.
7
Let k(y) = 136*y + 991. Let p be k(-7). Solve 20*g = p + 1 for g.
2
Suppose 6*d - 2*z = 5*d - 13, -13 = d + 2*z. Let j = 14 + d. Let g = -14 - -20. Solve l = -g + j for l.
-5
Let o = -474 - -493. Suppose -13 - o = -16*w. Solve 8*i - 10*i = w for i.
-1
Let m = 3 - 3. Let b = 106727 + -106692. Solve 38*k - b*k + 3 = m for k.
-1
Suppose -75 = -36*x + 35*x - 5*i, 4*x - 4*i = 228. Solve -105*a = -x*a - 90 for a.
2
Let n(b) = -2*b**2 - 124*b + 6. Let q be n(0). Solve -40*t = -q + 6 for t.
0
Let k(q) = 10*q + 170. Let f(n) = 16*n**3 - 4*n**2 - 3*n + 1. Let w be f(-1). Let r be k(w). Solve -10 = -r*h + 30 for h.
4
Suppose 3*q + n = 5*q - 5, -5*n - 25 = 0. Suppose q = -8*r + 23*r - 13*r. Solve r = -3*m + 17 - 2 for m.
5
Let x be (0/(-2 + 7))/(9 - (-14 + 22)). Solve x = -8*q - 66*q - 370 for q.
-5
Let n(h) = 5*h - 42. Let x be (0 - 24) + 12/15*5. Let f be -10*(-5)/10*(-36)/x. Let i be n(f). Solve -i*l - l = 0 for l.
0
Let z = -52 - -38. Let b(m) = -m**3 - 13*m**2 + 13*m - 14. Let j be b(z). Suppose 4 = 2*l - j. Solve -l*h - h + 6 = 0 for h.
2
Suppose 4*q = -3*m + 17, -16*m - 3*q + 15 = -13*m. Solve m*n + 25 = 13 for n.
-4
Suppose -4*d - 3*b = -0*d - 177, 2*d - 76 = -4*b. Suppose -17*c + c + d = 0. Solve c*y + 28 = 10*y for y.
4
Let o(w) = w**3 - 16*w**2 + 29*w - 8. Let x(r) = r + 11. Let z be x(3). Let a be o(z). Solve 3*c = a*c for c.
0
Suppose 0 = -10*d - 25 + 85. Suppose -5*s = 4*v - 25, 4*v - 8*s - 18 = -d*s. Let r(t) = -3*t**3 - t**2 - t - 1. Let c be r(-1). Solve -w - v = -c for w.
-3
Let r be (5/(-5))/((1/(-5))/((-6)/(-15))). Solve 110 = -r*b + 108 for b.
-1
Suppose -25*p - 21 = -22*p. Let b(o) = 2*o**2 + 12*o - 14. Let s be b(p). Solve 0 = 4*q - s*q for q.
0
Let j = -1193 - -1197. Suppose -3*i + 24 = 3*m, -5*m + 3*i = 7*i - 42. Suppose -j*u + 26 = m. Solve -p = p + u for p.
-2
Let v = -69 + 74. Suppose 107*o - 103*o - 8 = 0. Suppose s + 2 = -5*b, -2*s - o*b + 7 = 3. Solve -v*p + 4*p - s = 0 for p.
-3
Let m = 1587 + -1121. Let v = 469 - m. Solve 17*s = 20*s + v for s.
-1
Let t = -78 + 71. Let b be (3/(-2))/(t/14). Solve 6 - b = -3*y for y.
-1
Suppose 5*b = 6*b - 216. Let v = 222 - b. Solve 2*o + v + 4 = 0 for o.
-5
Let a = -2341 - -2823. Solve -a*o + 6 = -480*o for o.
3
Let q be (-4)/(-36)*-6 + (-142)/(-6). Suppose 25 + q = 2*h. Solve -26 = t - h for t.
-2
Let w be -4 + 3 + 4 + 20. Let r = 36 - w. Suppose -t + p = -r, 2*t + 4*p + 9 = -p. Solve -n - n - t = 0 for n.
-4
Let r(l) = l**2 - 81*l + 1002. Let q be r(15). Solve -q*z - 35 = -11 for z.
-2
Let k(g) = -3*g**2 - 7*g + 14. Let i be k(-4). Let w be 2/((-3)/84 - i/21). Solve w*h = 28 - 68 for h.
-5
Suppose -34*a + 533 + 827 = 0. Solve -q + a = 9*q for q.
4
Let t = 12 + 6. Let v = -14924 - -14924. Solve v = 14*j - t*j for j.
0
Let r be (47/((-94)/(-12)))/(6/40). Solve -106 = 11*k - r for k.
-6
Let f = 73 + -61. Suppose -29*n = -f*n - 170. Solve 12*x = 7*x + n for x.
2
Suppose 0 = -19*n + 21*n - 80. Suppose n*z = 34*z + 30. Solve z*i - 13 = 12 for i.
5
Let x(t) = t**3 +