 = 16*l - 16 for j.
1
Let r be (0 - 6/18)*(-2 - 1). Let u be 4/((-28)/(-217)) - r. Solve -3*o - 16 = 2*a, -5*o - u = a + 3*a for o.
-2
Let w(n) = 5*n - 120. Let z be w(30). Suppose 82*a = 67*a + z. Solve 5*x - 19 = 3*f, 3*x - 1 = -f + a for f.
-3
Let w(u) = 274*u - 1916. Let q be w(7). Solve -3*g - d = -10, -g + 0*g + q*d = -15 for g.
5
Let k be 35*1 + 5 + (-18)/3. Let m = k - 37. Let i(x) = x**3 + 2*x**2 - x + 6. Let q be i(m). Solve -a + 2*t + 10 = 4*t, -t + 4 = q for a.
2
Let o be (-20)/(-25) - 282/(-10). Let a = o + -33. Let d be 3/((-18)/a)*-3 - -8. Solve -5*q + 2*q - 21 = -4*w, w = q + d for w.
3
Let v(x) = 584*x - 1150. Let a be v(2). Solve -2*o + 2*w = 4, -27*o + 22*o + w - a = 0 for o.
-4
Let n = -13307 - -13312. Solve 5*i - 6*t + 18 = -8*t, -2 = -n*i + 3*t for i.
-2
Let u be 1485/(-1782) - 1/((-12)/142). Solve -3*d + 5 = -4*b - 26, 4*b + u = -d for b.
-4
Let x = 31059 - 31058. Solve -l + 2*w = -x, -2*l = -27*w + 25*w - 4 for l.
3
Let b = 4 - 54. Suppose -3*r = 2*h + 111, -h + 2*r - 40 = 12. Let x = b - h. Solve 2*s - 4*v - x = 0, -5*v = 4*s + 9 + 22 for s.
-4
Let o be 20/(-360) + 4/(4 + 68). Solve 5*y = 3*l, y - 2*l + 29 - 22 = o for y.
3
Suppose 6272*n - 6270*n = 8. Solve 3*z + 2*f = -2*f - 5, -3*z - 5*f - n = 0 for z.
-3
Let o = 159 - 159. Suppose o = -5*b - 3*a + 6, 3*b - 3*a = -4*a + 6. Solve -4*n = 5*g + 14, n - 4 = b*g + 1 for g.
-2
Suppose t + 4*t = 40. Let z(x) = x**3 - 9*x**2 + 8*x - 9. Let m be z(t). Let i = -7 - m. Solve 4*q - 4*w - 4 = 0, -q - i*w + 9 = -w for q.
5
Suppose -42*m - 6 = -19*m - 26*m. Solve -2*u - 6 = -m*g, -2*u + 5*g - 2*g = 4 for u.
-5
Let d = 12008 + -11840. Solve b = -d*j + 166*j - 5, b + 4*j + 7 = 0 for b.
-3
Suppose 3*a = -3*a. Let l be (a - (5 + -5))/2. Suppose -29 = -m + 1. Solve l = 7*p - 3*p + 2*r - m, -3*p + 10 = -r for p.
5
Suppose 94*x = 2*x + 257 + 111. Solve 12 = x*f, 163*t - 8 = 162*t - f for t.
5
Suppose -5*j = 31 - 41, -2*p = j - 14. Solve y + 27 = -4*w, 3*y + 4*w - 3 = p*w for y.
-3
Let r(v) = v**2 + 14*v + 13. Let f be r(-7). Let s = f - -36. Suppose -5*n - b - 2*b + 10 = s, -4*b = 0. Solve -4*k - 10 = d, -2*d - n + 4 = -3*k for d.
-2
Suppose -3*w + 28 = 1. Let f be 2/w - (-16)/9. Let r = 28023 + -28022. Solve 0 = -4*k - 3*l - r - 14, k - 10 = f*l for k.
0
Let v = -26 - -23. Let m be 4/v*(-24)/16. Suppose 5*c = -5*r, 2*r = -m*c - 3*c - 9. Solve -3*f = r*q + q - 19, 2*q = -f + 7 for q.
1
Suppose 10*w + 48 = -w + 147. Solve -w*j + 7*j - 3*q = 0, -q = -3*j for j.
0
Let v(a) = 2*a**2 + 136*a - 415. Let o be v(3). Solve -3*f + o*b + 12 = 9*b, -4*f - 5*b + 16 = 0 for f.
4
Let u(y) = -51*y + 2562. Let s be u(50). Solve -j - s = 4*h - 13, -j + 4 = h for j.
5
Let p = -4157 + 4255. Solve 0 = p*q - 100*q - 5*d + 11, 0 = -5*q - 3*d + 18 for q.
3
Let y(q) = -57*q + 4 + 117*q - 58*q. Let w be y(4). Suppose 0*f - 3*r = -3*f + w, 4*f - 5*r = 17. Solve -5*n + f*l - 6 = 0, n + l - 2 = 3*n for n.
0
Suppose 0 = 72*p - 77*p + 795. Let d = p + -128. Solve 2*w - 3*m - d = -9, w - 3*m - 17 = 0 for w.
5
Let v be 3 - (-6 - (-7 - -1)). Let o = 85 + -121. Let p = -31 - o. Solve -x + 3*m + 10 = v*x, -p*m = -5*x + 15 for x.
1
Let h = 2 - 2. Suppose h*i + 9 = i. Suppose -5*k + i*k = 0. Solve k = 3*o + o - s + 11, o - s - 1 = 0 for o.
-4
Let h(y) = y**2 - 4*y - 30. Let c be h(8). Suppose -c*i = -3*r + 27, i - 48 = 3*i + 4*r. Let s = 21 + i. Solve -3*w + 12 = 3*m - 6, w = s for m.
3
Suppose 2*n - n - 67 = 4*t, n = 3*t + 50. Let w be (t - -14)/(3/(-2)). Solve 0 = 3*m - 0*o - 3*o + 6, -2*m - o = -w for m.
0
Suppose 4*l = -2*p - 6, 4*p - 23 - 14 = -l. Solve x = -j + 1, -7 = p*j - 6*j - x for j.
-1
Suppose 0 = 3*i - 62 + 50. Solve h + i*h - 5*q = 35, q = -3*h + 1 for h.
2
Let p = 913 + -908. Suppose v = -f + 42, 51 = 3*v - 4*f - 110. Suppose 1 = 4*n + 4*q - v, 0 = 5*n - q - 30. Solve -3*w + 5 = p*i, -n*i = -3*i + 3*w - 1 for i.
4
Let p = -54 + 54. Let d(c) = 8*c + 2. Let x be d(p). Solve -2*a - 5 = 1, 3*q - 21 = x*a for q.
5
Let i be 4/(-5) + (-711)/(-45). Solve -2*o + 10 = -4*p, 13*o + 15 = -5*p + i*o for p.
-5
Let u = 5227 - 5208. Solve 0 = h + 2*h + 5*v + u, 3*v = h - 17 for h.
2
Let t = -66 + 70. Let h = 2489 + -2483. Let s = 3 + 0. Solve 3*a = q + h*a - 3, s*a = -t*q - 6 for q.
-3
Suppose 2*i = -3*r + 116, 3*i + 17 = -5*r + 209. Solve -5*h = -2*k - 23, r*h - 5*k - 23 = 35*h for h.
3
Let a be -244 + 241 - 19/(-1). Solve -26 = -5*l + j - a, -2*l + 5*j + 4 = 0 for l.
2
Suppose -4*h - 16977 + 16993 = 0. Solve 2*i + 3*d + h = 0, -2*d = 3*i - 5 + 1 for i.
4
Suppose 0 = -5*o - 2*l + 1, -3*o + 0*l + 2*l = -7. Let z(i) = 6*i**3 - 2*i**2 + i + 1. Let h be z(o). Solve -m = 2*x - 1 - 6, x - h = -m for m.
5
Let y be (-9*(-32)/84)/((6/(-28))/(-1)). Solve -5*n = -6*n - 5*r + y, r = 2*n + 12 for n.
-4
Suppose -2*y + 343 = 25*y - 332. Solve -n - 11 = 5*s, -3*s = -0*n - 4*n + y for n.
4
Suppose 0 = 10*r + 12 + 8. Let i be (-6)/12 - -3 - (-1)/r. Solve -2*o = 5*m - 13, i*o - 1 + 0 = -m for o.
-1
Suppose -87*k + 147*k + 157*k = 3472. Solve 4*d + z = -k, -4*z - 18 = 3*d - 19 for d.
-5
Suppose 14*r - 30 = -r. Suppose -2 = r*g + 4*q - 0, -2*q + 14 = 4*g. Solve -4*i + 4*c + 4 = 0, 4*i - g*c + 13 = 5*i for i.
3
Suppose 0 = 2*u - u + 8. Let n(z) = 2*z**3 + 16*z**2 - 4*z - 30. Let a be n(u). Solve -5*c + 11 = 2*x, -a*c - 2*x + 1 = -1 for c.
3
Let z(f) = 136*f**2 - 10*f - 34 - 67*f**2 - 68*f**2. Let s be z(13). Solve 7 = -s*y - 4*u, y + 0*y - u + 5 = 0 for y.
-3
Suppose -n + 45 - 13 = 0. Suppose -74 + n = 3*y. Let v be y/(0 + (-5 - -3)). Solve -2*o = -m - v, -3*o - 2*m = -4*o + 8 for o.
2
Let h(w) = -2*w + 50. Let s = 37 + -14. Let u be h(s). Suppose -13 + 1 = -5*j - u*b, 5*j = -2*b + 16. Solve j*v + 6 = c, 2*c - 3 = -7 for v.
-2
Suppose 38 + 7 = -55*g + 70*g. Let p(u) = u**3 - 4*u**2 - 7. Let f be p(5). Solve 4*i = 3*j + 16, -g*i = 5*j - i + f for j.
-4
Let q be (-6)/(-8) + (57/4 - 7). Let l be 1 + 1 - (q + 5 + -11). Solve l = -k + 2*z + 7, 3*z - 1 - 2 = -3*k for k.
3
Suppose 2 - 110 = -6*z. Suppose 3 = -h + z. Let o = h - 13. Solve -u + 4 = -s, -7*u - 4 = s - o*u for s.
-4
Suppose 49 - 229 = -60*d. Solve 0 = -3*i + 4*u + 15, d*i + 0*u + 6 = -3*u for i.
1
Let v = 124 - 120. Suppose x - 6 = 2*y, -x - 58 = -4*x - v*y. Let b be (14 - x)/(1 + 0). Solve b*l - 13 = l + 5*a, -4*a - 17 = 3*l for l.
-3
Suppose 0 = 4*z + 4*l - 7 - 9, 0 = 3*z + 2*l - 16. Let k be z/(-5 + 13)*0. Solve -4*t + 2*p + 10 = 0, k*p - 7 = 2*t - 5*p for t.
4
Let u be (-594)/(-10) + 8/(-20). Let r = u - 53. Suppose -7*h = r*h - 26. Solve 5*m = h*f + 12 + 19, -5*m + 13 = 4*f for m.
5
Let f = -69 - -72. Suppose 0 = -a + 5*h + 31, 4*h = 2*a - f*a - 14. Solve 4*s = s + a, 3*c + 4*s = 11 for c.
1
Suppose -48*n + 255 + 21 = 21*n. Solve -n*d - 11 = -r, 3*r + 4*d + 17 = 2 for r.
-1
Let x = -38 - -49. Suppose 0 = -5*f + 10, v = 5*f - x + 5. Solve 7 = -2*w - r - 0*r, 27 = -3*w + v*r for w.
-5
Let o(f) = 2*f**2 - 123*f + 679. Let u be o(6). Solve 0 = 2*v + s - 1, 2*v - 4*s = 29 - u for v.
2
Suppose 2*b - 6*b = 16. Let g be ((-40)/15)/(b*(-6)/(-36)). Let i be ((-12)/14)/(3/(-42)). Solve 0 = 3*x + i, -5*x + g = -y + 24 for y.
0
Suppose 19*g + 55*g - 265 = 21*g. Solve 4*h - 2*d + 2 = 0, g*d = 2*h + 2*d - 9 for h.
-3
Suppose -13 = -5*z + 48 + 84. Solve -15 = -3*g - i - z, i = -5*g - 22 for g.
-4
Suppose -23 = -2*y + 3*t, 4*y - 16 = 3*t + 15. Suppose p = -3*q + 3*p + 16, -y = q - 3*p. Solve 3*s = -3*x - 12, 3*x - 3*s + s - q = 0 for x.
0
Let i be (-7 + -3)*(-54)/(-15). Let m be (-6)/i + (-15)/(-18). Let q = -2 + 4. Solve z + 2*o = m, q*z = -z + o - 11 for z.
-3
Suppose 1145*l - 1133*l = 24. Solve -5*m + 5*r + 10 = 0, -4*m + 5*r + 7 = -l*m for m.
1
Suppose -7*m + 12 = -9. Let s be 106/(-4) - (-7)/(-14). Let w = -26 - s. Solve -4*v + 2*t - 3*t = -15, 0 = -v - m*t + w for v.
4
Let c = -474 + 866. Let q be 1*(c/136 - 6/(-51)). Solve -4*s + 3*s + 11 = -5*g, 0 = -3*s + q*g - 3 for s.
-4
Let m = 257 + -305. Let y be 9/2*(6 - m/(-9)). Solve 3*c + 8 = -y*k - k, 28 = 2*c - 4*k for c.
4
Let c(h) = -h**3 + 18*h**2 - 63*h - 34. Let j be c(6). Solve -19*u + 21*u - 10 = 0, 5*u = -5*l + j for l.
-1
Let o = 386 - 384. Solve -3*d = -2*x - 5, 18 = o*d - 15*x + 10*x for d.
-1
Suppose 3*p + 2*p - 50 = 0. Let d be (32/6 - 6)/((-3)/(-18)). Let x = p - d. Solve 2*y - 7*y + 7 = 4*a, -x = -5*a - y for a.
3
Suppose 2*g - 