 g, 0 = f*s - 3*g - 3 + d for s.
2
Let b = 6 - 2. Suppose 0*r - 18 = -3*r. Suppose 0 = d + d - r. Solve -q + 2 = -0*w + 3*w, -b*w = d*q + 4 for q.
-4
Let i = 48 + -46. Solve s = 3*y + 6*s + 35, -s + 6 = -i*y for y.
-5
Suppose 0*t = t - 8. Suppose -2*a + 10 = i, -3*a - i + 23 - t = 0. Suppose -3*q + 5*d + 30 = -q, 15 = -q - 5*d. Solve g - a*g + r = -17, -19 = 2*g + q*r for g.
3
Let m = -378 + 380. Suppose 0*r - 3 = 3*r. Let a be (-5 - (-2)/1)*r. Solve -2*d + m = -d + i, -a*i = d for d.
3
Suppose -3*n - 14 - 28 = 0. Let k = n - 4. Let b be (8/(-18))/(4/k). Solve 3 + 0 = y - 2*w, 0 = b*y - w - 6 for y.
3
Suppose 37 = -8*c + 261. Let h = -8 + c. Solve n - h = -4*y - n, -n = 0 for y.
5
Let b(l) = -21*l**3 - l**2 + l + 1. Let i be b(-1). Let o be (6 + -1)*(-19 + i). Solve o*f - z = -3*z - 22, -20 = 4*f + 4*z for f.
-4
Let p(r) = -r**2 + 4*r + 15. Let l be p(6). Solve -l*z + 8 = 2*d, 9 = 2*d + 5*z - 3 for d.
1
Suppose 401 - 401 = -13*g. Solve 2*a = -4*r - g*r + 6, -r = 1 for a.
5
Suppose 4*d = -0*d + 8. Let q(l) = l**3 + 2*l**2 - 6*l. Let t be q(-3). Let p be 16/t + (-5)/((-180)/8). Solve 3*h = -4*b - 18, p*h - 2 = d*b - 0*h for b.
-3
Suppose 2 = 2*b - 5*y + 6*y, -2*y - 32 = -5*b. Suppose -1 = -c + 4. Solve 0 = b*t - c*j + 10, 5*j + 11 = 1 for t.
-5
Let x = 380 + -376. Solve -3*y - 17 = 4*t - x*y, 3*t + 5*y = -30 for t.
-5
Suppose 0 = 51*q - 56*q. Solve 2*b - 5*b = 4*v - 8, -4*b - v + 15 = q for b.
4
Suppose 0 = 6*o + 5 - 17. Solve 5 - 13 = 2*z + 2*h, -z - o*h - 3 = 0 for z.
-5
Let v be 1064/190 - (-4)/10. Solve -v = 3*r - 3*o, 16*r + 3*o = 11*r - 34 for r.
-5
Suppose 0 = -13*d + 15*d - 10. Let k be (1 - d)*(-1 - 4). Solve 5*a + 3*z - 6*z = -k, -3*a = 4*z - 17 for a.
-1
Let n be (-1 - -2)*-5*-1. Let s(y) = -y**2 + 6*y - 4. Let k be s(0). Let g be n - (3 + k/4). Solve g*c + b + 2 = 2*c, -5*b + 2 = -c for c.
-2
Suppose 4 = -2*s - 5*d, -2*d - 2*d + 7 = 5*s. Suppose 2*p + 0 = 4. Suppose 2*k = -p*t + 16, 3*k - 9 = -2*t + 10. Solve i + 12 = -t*q - 3, -2*i = s*q + 9 for q.
-3
Suppose -3*g = 2*y - 8*g + 11, -y - g + 5 = 0. Let s(d) = d**3 - 4*d**2 + 4*d - 3. Let w be s(3). Solve w = y*o - 3*t + 7, 5*o = 2*t - 16 - 7 for o.
-5
Let g(y) = 7*y**2 - 2*y - 1. Let h be g(1). Solve 3*b = -2*n + h*n + 3, 0 = 5*b + n - 18 for b.
3
Let d(y) = 32*y + 4. Let u be d(5). Let v = 169 - u. Solve -4*k + 2*l - 24 = 0, -v*l + 3*l - 12 = 5*k for k.
-4
Suppose -g = -0*g - 7. Suppose -h - 2*d + g = 3*d, 3 = 2*h - d. Solve 4*o - h*j - 11 - 11 = 0, 3*j = 5*o - 30 for o.
3
Let d(l) = -l**2 - 17. Let o be d(0). Let p = 28 - o. Let i be 13/5 + (-27)/p. Solve 6 = 2*v, -i*n = -5*n + v for n.
1
Let h be 20/84*6*42/12. Solve 2*i - 6 = 2*f, h*i - 2*f - 2*f = 10 for i.
-2
Let f be (-588)/(-63) - 2/6. Let i be 2/f + 14/(-63). Solve i = 4*z + 8, 8 + 8 = -5*t - 3*z for t.
-2
Suppose 5*p + 3*j = -90, 0 = j - 3*j - 10. Let y = p + 18. Let u(x) = x + 2. Let v be u(y). Solve 0 = -2*i - 4, -v*m - 5*i = -7 - 8 for m.
5
Let a = -7 + 9. Let b(m) = 3*m - 3. Let u be b(a). Suppose 8*r - 3*r + 2*n - 133 = 0, r = u*n + 13. Solve 5*s = -2*j + r, 15 = 3*s - j + 5*j for s.
5
Suppose -2*k - 66 = -5*k. Let l = k + -17. Suppose -l*x = -b - 28, -x + b = -6*x + 22. Solve 2*o = -2*n - 2, 7*n - 2*n = x*o - 5 for o.
0
Let j(t) = 9*t**3 - 61*t**2 - 9*t - 31. Let a be j(7). Solve 3*v + a*m = -1, 32 = 4*v + 9*m - 12*m for v.
5
Let k be 58/18 - 5/(270/12). Solve 4 = k*u + 3*h - 2, -u = 3*h for u.
3
Suppose -219 + 174 = -9*m. Solve -s = -m*x - 10, 3*x - 3*s = 7*x - 11 for x.
-1
Let m = 5 - -9. Let h be (-150)/(-105) + 8/m. Solve 2*d - 3*r + 23 = 0, 0 = 2*d - h*r + 7 + 11 for d.
-4
Let w be (2/6)/(6*(-8)/(-1008)). Solve -3*m - 2*p + 10 = -w*p, -2*p = -3*m - 5 for m.
-5
Suppose -2*g + 4 = -3*l, l - 3*g + 2 = -4. Suppose 3*x - 9 = l, -2*y - 8 = -3*y - 2*x. Solve -y*v + 5 = -v - 3*f, 0 = -5*v + 4*f + 14 for v.
2
Suppose 5*l + m = 26, 3*l + 14 = 6*l - m. Let t be 48/18*-3*1/(-2). Suppose -t = -4*o - 4. Solve l = -w - 4*h - h, o = -5*h for w.
-5
Let v = 2354 - 2350. Solve -2*m + 3*k + 9 = -2, -v = 4*k for m.
4
Suppose -4*r + 117 = -t + 6*t, -5*r + 171 = -2*t. Suppose -7 + r = 13*j. Solve -k + 24 = -4*h + j*k, -k = 5*h + 11 for h.
-3
Let t = 12 - 70. Let x = -42 - t. Solve 0*i + 5*i = -g + 14, g = 5*i - x for i.
3
Let g be 5*(-24)/(-4) + -2. Let k = g - 24. Solve 2*c = d + 8, d + k = -c + 11 for c.
5
Let j = -415 - -425. Solve -2*t - t - 10 = 5*v, 0 = -5*v - j for t.
0
Let t(h) = 3*h**2 - 11*h - 5. Let z(j) = -j**2 + 5*j + 2. Let c(u) = 2*t(u) + 5*z(u). Let i be c(-4). Solve 3*s = o + 3, -i*o + 7*o - 1 = -s for o.
0
Let b = -16 - -13. Let g be (0 + -5 + 4)*b. Suppose p - 4*z = 30, 3*z - g = -3*p + 12. Solve o + 2*n - p = 0, 3*n = 2*o + 4*n - 5 for o.
0
Let t(d) = -124*d - 615. Let j be t(-5). Solve 0*l - 4 = 4*l, j*f + 5*l + 20 = 0 for f.
-3
Suppose -25 = 3*t + 2*v + 8, 2*t + 9 = 3*v. Let a(u) = u**3 + 8*u**2 - 13*u - 11. Let o be a(t). Solve -w - 4 = q - 3, -w - o = -5*q for q.
4
Let h(s) = -s - 1. Let p be h(-6). Suppose -4*d = d - 95. Suppose -p*c + x + 42 = 4*x, x = 2*c - d. Solve 2*b - 11 = 2*z + 3, 0 = -3*z - c for b.
4
Let k(x) = 3*x**2 - 6*x - 2. Let g be k(3). Let p be -4 + g + -3 + 5. Solve -r - 5 = p*m, -1 = -5*m + 2*r - 6 for m.
-1
Let x be (-138)/(-20) - (145/50 - 3). Solve x*k = 4*k, -2*l + 4*k = -10 for l.
5
Let d be (-36)/(-10) - 6/(-15). Let p(r) = -r**2 + 13*r + 5. Let l be p(13). Let w = 8 - l. Solve -a + 5*a + d*h = -8, -w*a - 16 = -2*h for a.
-4
Suppose -u + 4*k = -11, 3*u = 3*k + 7 + 53. Suppose -3*v = 4*x - 24, 5*x + 0*v - u = -2*v. Solve -x*n - 2*b + 16 = 0, -2*n - 5*b = 2*n - 26 for n.
4
Suppose -n - 2*b - b = 40, -3*n = -2*b + 87. Let x = 36 + n. Solve -r = g + 3*r - 4, -x*r = -3*g - 22 for g.
-4
Let h(d) = d**2 + 11*d - 2. Let j be h(-12). Suppose -14*n + j = -9*n. Solve 2*c + 2*s - 6 = 0, s = n*c + 10 - 1 for c.
-2
Let w(f) = f**3 - 6*f**2 + 5*f - 15. Let n be w(6). Let s be (-13)/(-5) - n/25. Solve -4*d - 3*m - s = 0, -3*d - 1 - 9 = -2*m for d.
-2
Suppose 0 = -59*v + 54*v + 50. Suppose u + m = 1, 20 = 2*u - 5*m - v. Solve 5*o + 15 = 0, -d - 3 = o + u for d.
-5
Let p be ((-10)/(-6) + -1)/((-2)/(-9)). Solve -1 = 4*k - r, p*k - 1 = r - 2 for k.
0
Suppose -4*m = -3*c - 2*c + 21, 5*m = c. Suppose -2*w = 4*i, i - c*i = -3*w + 40. Solve 3*k - w = -2*z - 2*k, 5*z - 2*k = 20 for z.
4
Suppose 2*t - 5*w = t + 28, 5*t + 5*w = 80. Let i be (-2)/3 - (-48)/t. Let k be i + 1 - 4 - -3. Solve p - 2*z = -15, -3*p - 30 = -k*z - z for p.
-5
Let k be 0/((-2)/(1*-1)). Let n(b) = b**3 + 22*b**2 + 4*b + 93. Let r be n(-22). Solve 4*i - r*f - 3 = -19, k = -4*i - 4*f + 20 for i.
1
Suppose 0 = 3*n - n + 10. Let o be (-4)/(-10) + (-473)/n. Let z = o + -68. Solve 0 = 4*u + 2*b - 26, -5*b + z = 5*u - 18 for u.
4
Suppose 77*u = 1602 - 62. Solve -4*z = 2*n + 32 - u, -9 = 3*z + 2*n for z.
-3
Let i = -11 + 71. Suppose -8*z + i = -4*z. Let u(v) = 3*v**2 - 7*v - 10. Let k be u(4). Solve -k = -0*m + m - 2*h, 5*h - z = 0 for m.
-4
Let v(x) = -x + 16. Let f(u) = -2*u**3 + 10*u**2 + 3*u - 1. Let z be f(5). Let j be v(z). Solve 0 - 2 = 2*y - l, -2*l - j = -2*y for y.
-3
Let n = -278 - -282. Solve -d = 2*w + 2*w + 10, n*w + 5*d = -18 for w.
-2
Let i = -99 + 119. Solve i = -4*k - g, -2*k - 3 - 7 = g for k.
-5
Suppose 6*x = -32*x + 190. Solve -2*d + x*u - 16 = 0, -u = 2*u - 12 for d.
2
Suppose 0 + 8 = 4*g. Solve -g = -2*m, 2*z + 5*m - 3 = -4 for z.
-3
Let h(w) = w**3 - w**2 + 3*w**2 - 3 + 0*w**2 - 2*w - 3*w. Let o be h(-3). Solve -o*v + 5*l = 3 + 7, 5*v - l = -24 for v.
-5
Let p(y) = -4*y**3 - 4*y**2 + 7*y. Let z be p(-2). Solve -4*w = 0, -z*w - 2 = 2*t - 5*w for t.
-1
Suppose 0 = -4*a - 9 - 3. Let l(o) = o**2 - 3. Let c be l(a). Solve -b = -5*m + 13, 3*b - 15 = c*b - 3*m for b.
-3
Let j be (-188)/(-10) - 25/(-125). Let y = -14 + j. Let k = 36 - 24. Solve 4*c + 4*i = -k, -y*c + 3*c + 4*i - 18 = 0 for c.
-5
Let h = 757 + -754. Solve 3*j + 21 = 3*l + 3, h*l - 3 = 0 for j.
-5
Suppose 10 + 18 = 2*m. Let w = 7 - 2. Solve -3*r - l = -m, 0 = r - w*l - 6 - 4 for r.
5
Let n(j) = 8*j**2 - 6*j - 2. Let v be n(1). Solve 3*d - 16 = 5*t, v = 2*d - t + 1 for d.
-3
Let d(s) = s**3 - 5*s**2 + s + 5. Let w be d(5). Let y = -2 + -3. Let f = w + y. Solve 5*h = 3*v + v + 5, 5 = 5*h + f*v for h.
1
Suppose -84 = -72*r + 44*r. Solve -2*p = -4*n - 14, 1 - 5 = 5*p