 + 2, j + 3*i = -z - g for j.
2
Let n be 1/(-3) + (-20)/(-210)*-7. Let b = 14 + -8. Let m = b + n. Solve -m*u - 24 = -z, -5 = 5*z - 0*z for u.
-5
Suppose -45*q + 7 = 7. Solve q*d + 5*m = -4*d + 16, m = -4*d for d.
-1
Let c be (-13 + (-988)/(-57))/(2/6). Solve -i = 5*l, -3*i + 0*i - c = 2*l for l.
1
Suppose 58 = 30*k - k. Solve -6*m - 20 = -k*m, d = -3*m - 10 for d.
5
Let r = -14 - -26. Let c = r + -4. Solve 8 = -3*m + b, 3*b = c*b - 10 for m.
-2
Suppose -1 = -4*u - j - 0*j, 2*u + 3*j - 3 = 0. Let g be (-119)/(-9) + u + 26/(-117). Solve -d + g - 3 = -t, 0 = 3*t + 3*d for t.
-5
Suppose -3*c = -3*m - 12, 8 = 5*c - 3*c + 5*m. Solve -1 = -2*y + c*s - 17, -2*s = -5*y - 24 for y.
-4
Let r = 3021 - 1413. Let q be (-2)/13 + (r/(-52))/(-6). Solve -2*h - q*t = -13, -4*h - h = 3*t - 23 for h.
4
Let n(f) = f**3 - f - 3. Let x be n(0). Let v be (-2)/(-3)*(21 + x). Suppose 19*u - v = 15*u. Solve -2*d + 9*r = 4*r - 7, u*r = -4*d + 1 for d.
1
Suppose -2*f = -3*f - 5*z + 13, 0 = 5*f - 5*z + 85. Let j = -9 - f. Solve -4*a - j*w = -10, 4 = -a - 0*a - 4*w for a.
4
Let y(z) = 2*z**2 + 25*z + 3. Let j be y(-12). Let i(s) = -s**3 - 8*s**2 + 10*s + 13. Let w be i(j). Solve -4*t + t - 9 = -w*k, 15 = 2*k - 5*t for k.
0
Let z(p) = -p**2 + 10*p - 11. Let h be z(8). Suppose 0 = -3*l + 2*v + 6, 0*v - 2*v = h*l + 6. Solve -13 = 3*g - 2*o, l = 3*g - o + 11 for g.
-3
Suppose 8*c + 0*c = -72. Let p = 11 + c. Solve p*x - 3*x + 3*z = 14, -4*z = -2*x - 22 for x.
-5
Suppose -k - 15 = -6*k. Suppose -4*h + 3*h = -2. Suppose -18 = -4*o - h*o. Solve i - 13 = 3*a, o*i - a = -k + 10 for i.
1
Let a(w) = 3*w + 38. Let p be a(-11). Suppose p*i = 3*m - 64, 11*m - 4*i + 44 = 12*m. Solve 0 = -2*r - 4*t + m, -5*t + 13 = -r - 2*r for r.
4
Let o(r) = -r**3 + 19*r**2 + 68*r - 44. Let j be o(22). Solve -7 = 2*u + m, 5*u = -j*u + m - 14 for u.
-3
Let l(s) = s**3 + 2*s**2 + 9*s - 24. Let m be l(2). Solve 5*v = 3*z - m, z + 3*z = 4*v for z.
-5
Let o be -2*(19/(-2) - -2). Let x = o + -2. Suppose 0 = 21*i - 71 + 8. Solve t = -3*h + x, 0*h - i*h + 4*t = 7 for h.
3
Let m = -13 + 24. Suppose m = 3*q - u, -10 = 2*u - 0*u. Let a be 13/3 + (-2)/(-3). Solve q*j - 1 = -a*y, 0 = 3*j - j + 2*y - 4 for j.
3
Let l(f) = -32*f**3 + 2*f**2 - 1. Let c be l(-1). Let z = 69 - 87. Let j = z + c. Solve -2*p - 4*o - j = -3*o, -p = o + 10 for p.
-5
Let u = 944 - 942. Solve -3*y + 9 = u*b, -3*b + 0*y = y - 3 for b.
0
Suppose -2*f + f = 0. Suppose 2*s - 16 = o - 5*o, f = -4*o + 4*s - 8. Solve 3*y + 4*c - 1 = 0, 4*y + o*c = 2*y - 2 for y.
-5
Let b be 8/(-4)*(-27)/(-6). Let c be ((-21)/b + -2)*15. Suppose 5*t = -2*a - 11 + 31, a + 12 = 3*t. Solve t*f + c = -q, 0 = q + 3*q + f + 20 for q.
-5
Suppose -7*j = 21*j - 140. Solve h = 2*v - 8, -3*h = -2*v + 17 - j for v.
3
Suppose 0 = -20*v + 16*v + 8. Suppose v*q - 84 = -0*q. Solve -7 = 5*k - 4*g - q, 2*k + 4 = -2*g for k.
3
Let w = 10 - 25. Let d be (-2)/(-15) + (-58)/w. Solve -d*z + 1 = t, 4*t - 15 = t for z.
-1
Let p be 14/(-3)*(0 - 3). Suppose -r + 38 - 19 = 0. Let u = r - p. Solve t = -u*m - 1, -2*m - 4*t - 4 = m for m.
0
Suppose -14 - 5 = -q - 5*c, -3 = -5*q - 2*c. Let d = 1 - q. Let w(u) = -u - 34. Let k be w(-35). Solve -4*o = -s + k, -d*s - 3*o + 15 = 2*o for s.
5
Let l be ((-1)/(-2))/(3/(-270)*-3). Solve -2 = -2*y - 3*h - 5, 0 = -5*h - l for y.
3
Suppose -3*j = -9 - 0. Let l(b) = b - 2. Suppose 2 - 6 = -g. Let p be l(g). Solve -p*m + t - 23 = j*m, 2*m + 11 = t for m.
-4
Let v(z) = -12*z - 16. Let u be v(-2). Solve 0 = -3*i + 3*a + 6, -4*a - u = -2*i + 4 for i.
-2
Let n = 25 - 22. Suppose 5*b - 5 = -2*f, n*b - 2*f - 3*f - 34 = 0. Solve -b*s - 4 = 2*x + 4, 4 = -x - 5*s for x.
-4
Let j(q) = q - 2. Let l be j(5). Suppose 0*h + 117 = 5*h + 3*x, 3*h - x = 73. Suppose p - 5*p = -h. Solve -2*t - 12 = 5*c - 3*c, p = c - l*t for c.
-3
Let b = -1367 - -1373. Solve -5*f = -2*n - 31, 7*f - n = b*f + 8 for f.
5
Let d(t) = -2*t - 4. Let g be d(-3). Let z be 1 + (-12)/(-8) + g/4. Solve z*k + 5 + 9 = 5*c, 0 = 3*c + 2*k + 3 for c.
1
Let u = 64 - 54. Suppose 4*w + u = 6*w. Solve 2*k = w*o - 19, 3*k + 1 = -2*k - 3*o for k.
-2
Let a = 237 + -224. Solve -4*d + 5*t = -17, 3*d = 8*d + 2*t - a for d.
3
Let k be 12*(-1)/((-8)/(-6)). Let p = 36 + k. Solve 11 = 3*y + v, 5*v = 7 - p for y.
5
Let w = -4 - -13. Suppose 5*b - w = -h + 9, 0 = -4*h + 4*b. Solve -4*n + 3 = -4*y - 9, -h*n = -5*y - 9 for y.
0
Let s be 3*6/9 - -6. Suppose -4*c + k = 4*k - 3, c = -k + 2. Let l = -1 - c. Solve x + 4*q = 1, -3 = 5*x + l*q - s for x.
1
Let v(l) = 3*l - 13. Let f(j) = -7*j + 27. Let a(d) = 6*f(d) + 13*v(d). Let i be a(-3). Solve -4*q + 9*q - i*s = -31, -s = q + 2 for q.
-5
Let r be (18 + -17)/(2/6). Suppose 8 = r*m - m. Solve 4*c - 7 = -5*f, m = -3*c + f + 14 for c.
3
Suppose 4*t = 5*c - 398, 181 = -5*t - 3*c - 335. Let q = -97 - t. Solve 6*w - 2*w = -q*r + 6, -10 = -2*w + r for w.
4
Let n be (0/3)/(3*(-4)/12). Solve n = -3*j - d + 1 - 2, j = -3*d + 5 for j.
-1
Suppose x - 5*g = 39, 0 = x - 6*x + 4*g + 90. Solve 6 = -2*r + 5*o, r + 3*o = -3*r + x for r.
2
Suppose 0 = -109*y + 104*y - 3*b + 206, -4*y - 2*b = -164. Solve -2*d + 2*g + 11 = -9, y = 3*d - 5*g for d.
5
Let x be 1/4 + (-91)/(-52). Suppose 5*h - 3*o + 2*o - 14 = 0, x*h - o = 8. Solve -3*j + 0 + 1 = -4*l, 2 = h*j - 3*l for j.
-5
Let s be 27/(-4)*(-32)/(-12). Let n = s - -21. Suppose 7 = p - q, -n*q = 4*p - 9*p + 29. Solve -x + p = z, -3*x - 12 = -3*z + x for z.
4
Let h be (0/(-2))/((-1 + -1)/1). Solve h = 2*o + 2*d - 3*d - 5, -15 = -3*o + 3*d for o.
0
Let d = 3070 + -3067. Solve 11 = d*j - 4*y, 5*j - 4*y + 12 = 33 for j.
5
Let g be 2*((-6)/(-2) + -2). Solve 0 = -4*n + 4*r, -r = -n + g*r - 8 for n.
4
Suppose 22*b + 27 = 137. Solve 4*n + 5*x = -b + 3, 2*n = -3*x for n.
-3
Let x = 150 - 150. Solve 4*m = -7*n + 4*n + 27, 4*n + 5*m - 35 = x for n.
5
Suppose -a - 3*c = 2*c - 26, -4*c + 46 = 5*a. Suppose -a = -r - r. Let w be 3 + 5 - (4 + -6 + 3). Solve -b + 3*k = -w, r*b = -2*k + k - 19 for b.
-5
Let h be (6/16)/((-21)/(-168)). Solve 2*o = 4*t - 8, 5*o = -t - h*t + 22 for o.
2
Suppose 0 = 380*m - 374*m - 24. Solve -4*r - 2 = -3*c - 5*r, 2*c = m*r - 22 for c.
-1
Let n = 37 + -35. Solve -2*w = -3*x - 25, -2*w + n*x - 10 = -6*w for w.
5
Let w = -174 + 177. Solve w*f + 0*u = -u + 13, -5*u = 4*f - 21 for f.
4
Let u(d) = d + 3. Let y be u(0). Suppose -219*z = 70*z - 6358. Solve -y*i - 2 = -2*h - 1, -z = 4*h + 2*i for h.
-4
Let c(j) = -j**3 - 7*j**2 - 2*j - 10. Let z be c(-7). Suppose z*x - 3*u = 10 - 0, 5*x - u - 18 = 0. Solve -b + 0*b - x*g - 1 = 0, 11 = 3*b - 2*g for b.
3
Suppose 34 + 47 = 3*s + 3*u, -51 = -2*s - u. Solve 7 = 3*c + k, -6 = -2*c + 5*k - s for c.
1
Suppose 2*i - 3 = 7. Solve 10 = i*f, -1 = -3*b - 3*f + 8 for b.
1
Let d(a) = a**2 + 9*a + 2. Let y be d(-9). Suppose -3*b + 9 = -5*h - 26, -4*b + 4*h + 44 = 0. Let q = y + b. Solve -5*g + t = -8, 3*g - q = -2*t - t for g.
2
Let w(m) = 2*m - 8 - 7*m + 3*m - 2*m. Let z be w(-5). Solve i + z = 4*l, 3*l + 2*i + 5 = 14 for l.
3
Let j be (-10)/(-4) + (-4)/8. Suppose -5*w + j*o = -2 - 17, -4*o = -4*w + 20. Solve n + 3*u = -3*n - 31, -n - w*u = 19 for n.
-4
Suppose -2*h + 4*k = 72, -9*k + 7*k + 156 = -5*h. Let i be (40/h)/(1*(-2)/6). Solve -v + 2*q - 4 = 0, -3*v + 5*v + i = 2*q for v.
0
Let k = -1116 - -1119. Solve -3*a - 3*j = 0, 2*a = -k*a + 2*j + 35 for a.
5
Let s = 427 + -425. Solve 2*a + 4*o + 2 = 0, 0 = -3*a - 0*o - s*o - 3 for a.
-1
Let i(y) = 3*y**2 - 40*y + 37*y - 7 - 2*y**2. Let v be i(5). Suppose 0 = 2*f - 5*p - 2, 5*p + 8 = v*f - 0*p. Solve 0 = -a + 2*t + 6, 4*a = f*t - t + 12 for a.
-2
Suppose 6*i - 45 = i. Let p = -2 - -6. Suppose -50 = -i*f + p*f. Solve -l - x = l - 8, -2*x + f = l for l.
2
Let w(j) = -j + 7. Let a be w(-5). Suppose -2*f + 2 = -2*h + h, 3*h - a = 0. Solve -18 = 2*n + 2*z, -f*n - 16 = n - z for n.
-5
Let z(u) = -5*u + 2. Let r be z(-2). Suppose y + 4 + 1 = d, r = 3*d. Let v be (-4 + 3)*y*3. Solve k = l + 3*k - 5, v*k - 5 = -l for l.
5
Let f be 2/3*(-234)/(-52). Solve p - q + 2 = 3*q, 6 = -f*p - 2*q for p.
-2
Let s(a) = -a**2 - 2*a + 5. Let u be s(0). Suppose j = z - j + 4, 35 = u*z + j. Solve -4*h + 12 = -5*b, 4*b = -3*h + z + 3 for h.
3
Let x(i) = -i**2 + 12*i + 50. Let k be x(-3). Solve k*z - 15 = 2*r, 2*z - 3*z + 26 = -5*r for z.
1
Suppose -17 = -7*g + 88. Let l(t) = 4*t + 1. Let 