z*b - 2*n - 4 for b.
-4
Suppose n = h - 9, -2*h + 0 - 2 = 2*n. Let g be (-7)/(-2) - 1/2. Solve -g*t = -h*m + 3, -5*t - 5*m = -2 + 7 for t.
-1
Suppose -f + 2 - 23 = -4*h, 4*h = -5*f + 39. Suppose 4*s - h = s + 2*u, 3*u + 9 = -5*s. Solve -5 = 5*q - s*q + v, -5 = q + v for q.
0
Suppose -10 = 14*s - 16*s. Solve -s = -5*n + 5*b, b - 2*b + 1 = -2*n for n.
-2
Suppose 40*r + 17 = 41*r. Let q(j) = j**3 + j. Let p be q(-2). Let c = p + 14. Solve i + 0*i = -c*m - r, 2*i = 2*m + 16 for m.
-5
Let y(s) = 3*s. Let b be y(1). Solve -2*a - 2 = q - b*a, 2*q + 10 = 5*a for q.
0
Suppose -2*h - 3 - 29 = 0. Suppose -2*m - 6 = x + 7, 3*m + 17 = -x. Let r be h/(-6)*(-6)/m. Solve 2*v + 4*i - 5 = 3*i, -r*i = 5*v - 14 for v.
2
Let d = 7 - 9. Let w = 12 + -27. Let i be ((-18)/w)/(d/(-40)). Solve 3 = -x + v, -i = 5*x + 2*v + 2*v for x.
-4
Suppose i - 6*t + 11*t + 5 = 0, 5*t = i - 5. Let m be 2/(-3)*(-18)/4. Let c be 30/2*(-1)/(-3). Solve -3*y - b + m*b = i, 3*b - 1 = c*y for y.
-2
Let p(k) = -k + 1. Let x be p(4). Let l(b) = 2*b - 5. Let m be l(4). Let t = x + m. Solve 0 = u - 4*u + 5*s - 14, 3*u + 4*s + 5 = t for u.
-3
Let z = -22 + 25. Solve -23 = -z*u + 5*r, u = 5*u - 4*r - 20 for u.
1
Suppose -3*d = 2*d + 15. Let l be -1 - (-1 + 0 + d). Solve -3 = 5*t - 3*b, -l*t + 4*b + 3 = -4 for t.
-3
Let r(s) = s**3 + 7*s**2 + 7*s + 9. Let q be r(-6). Suppose 12 + q = 3*n, 3*n + 1 = 4*t. Solve -t*p = 2*l + 10, 7*l - 4*l - 4*p = 15 for l.
1
Let u(i) = -i + 2. Suppose 5*b + 5 - 10 = 0. Let l be u(b). Solve 0 = -4*n - 2*w - 3*w - 22, -l = n - w for n.
-3
Let c = -7 - -11. Suppose -c = 4*n - 4*x, n + 13 = 3*x + 2*x. Solve 5*r + 0*o = -5*o + 5, -2*o - n = r for r.
4
Let z = -5 + 11. Let r be (-9)/z*(-2 + 0). Solve r*m = -4*f + 29, 2*m + 10 = -4*f + 36 for m.
3
Let q be (-63)/(-14) - 2/(-4). Suppose d = 2*d - 5. Solve 5*r = -d*m + q, m = -2*r - 0*m for r.
-1
Let u(z) = -z**2 - 12*z + 5. Let b be u(0). Solve -b*m + 3*a - 3 = 0, -m + 2*m - 4*a + 4 = 0 for m.
0
Suppose 0 = j - 3, 0 = q + 3*q - j - 145. Solve 3*n + 15 = 0, -2*n - q = -4*r + 3*n for r.
3
Let l(d) = d**2 - 2*d + 2. Let q be l(2). Let h = 3 - q. Let w(r) = r**3 - 6*r**2 - 6*r + 4. Let p be w(7). Solve 0 = i + 4*f - p, 3*i - h - 11 = -5*f for i.
-1
Let t = 29 - -1. Suppose -2*k + 4*u + t = 0, -4*u - 48 = -2*k - 2*k. Let r = 141 + -139. Solve -4*x + 4*w = r*w, -3*w = 3*x - k for x.
1
Suppose 0 = -5*m + 2*m - 3*v, -8 = -4*m - 2*v. Suppose 3*h + 1 = m. Let x be h*(0 + -2 + 4). Solve -6*c + x*w + 27 = -c, 28 = 5*c - 3*w for c.
5
Let x be 2/(-9) + 0 - 920/(-414). Solve 0 = -2*l - 4*r + 14, l + 3*r - 2 = x*r for l.
-3
Suppose -33 = -2*w - w. Let n = w + -9. Solve 4*k - m = -13, n*m = k + 8 - 3 for k.
-3
Let a be (15/60)/(1 + 19/(-20)). Solve -4*m + 3*m - 29 = -a*w, 2*m = -w - 3 for w.
5
Let w = 71 - 68. Solve 0 = -w*x + 4*z + 15, 5*x - 2*z + 0*z = 11 for x.
1
Let t be (-2)/(-1)*(-7)/(-2). Let x = -2 + t. Suppose -v - x*y = -2 - 10, -2 = -3*v + 2*y. Solve -h + 5 = -2*j, 5*j - 2*h - v*h = -20 for j.
0
Suppose -4*y - 3*y = -49. Solve 0 = 4*p + 2*v, -4*v = -3*p + 15 + y for p.
2
Let j be 5 + 15 - 2/(-2). Solve 0 = -4*h + 5*q - j, -2*q = -4*h + 2*q - 20 for h.
-4
Let w(r) = -2*r. Let t be w(-1). Suppose s - 4 = -3*s. Let z = s + t. Solve z = -4*x - 0*x - a, -4*x - 5*a = -1 for x.
-1
Suppose 14 = -5*x - 2*m, 0*x = 5*x - 5*m. Let q = 2 - x. Solve 5*w + 1 = 4*v, -6*w + q*v - 7 = -3*w for w.
3
Let m = -1 - -24. Let z = m - 9. Solve -z = -4*w - 3*u - 7, 3*w - 5*u - 27 = 0 for w.
4
Let i = -23 - -33. Solve 3*w - 5*p - 14 = 1, -i = -2*w + 2*p for w.
5
Let x = 7 + 3. Suppose 0 = -2*s + x. Solve -s*o - 45 = -4*n, 0*n + 2*o = -2*n for n.
5
Let i = 2 - -2. Let p = -64 + 76. Suppose 0 = -8*k + i*k + p. Solve 5*q - 4*q - t + k = 0, -t = 3*q + 13 for q.
-4
Suppose -k + 3*k = 0. Let h(q) = q + 2. Let a be h(k). Suppose 4*y = -5*j + 74, 2*j - 3*y - 23 = a. Solve j = -2*u - 3*m, -15 = 2*u - 3*u + 4*m for u.
-1
Suppose -2*v = -4*v + 10, -5*i - 4*v = -120. Suppose t = 5*t - i. Solve 0 = -5*m + 2*z - z - 11, 0 = 3*m + t*z + 29 for m.
-3
Suppose 6*n + n = 455. Suppose 2*v - 5*w = 50, v + 5*w = 4*v - n. Solve 3*q + v = 0, -10 + 5 = 4*t - 3*q for t.
-5
Let d be (-148)/(-52) - 2/(-13). Let m = 9 + d. Solve -5*u + 5*p - 2 = -m, -5*u + 16 = -3*p for u.
5
Let t be (-3)/(-4) - 232/(-32). Suppose t*z - 3*z - m + 3 = 0, 9 = -4*z + 3*m. Let q = 6 - z. Solve 2 - 3 = -o - 3*v, -5*o - q = 4*v for o.
-2
Let c = -84 - -65. Suppose -d + 35 = 2*l, d - 5 = 3*l + 10. Let g = d + c. Solve 4*n = g, 4*o = -o + 5*n - 5 for o.
1
Let n be ((-4)/(-12))/(3/117). Solve -2*f - n = 4*k + 3*f, 3*f = -15 for k.
3
Let x(u) = -u. Let p(s) = -6*s + 4. Let b(j) = p(j) - 5*x(j). Let f be b(0). Solve 10 = -3*h - f*n, -8 = h + 4*n + 6 for h.
2
Suppose -3*m + 1 = -8. Solve i + 11 = 3*o, 29 = 5*o + 4*i - m*i for o.
5
Let d = 14 - -11. Let p be (-16)/(-7) + (-6)/21. Solve -t - 5 = a - 2*t, -p*a = -5*t + d for a.
0
Let n be (-12 + 13)*10/2. Solve -3*f + 4*p = -4*f + 19, -5*f + n*p = 30 for f.
-1
Let j = 7 - 1. Suppose -3*k + j = -3. Solve 3*b = -4*r + 11, k*r + 0*r - 15 = 0 for b.
-3
Let a be (357/28)/(3/4). Let k(c) = -c**2 + 11*c - 7. Let v be k(9). Solve -2*i = r - v, a = 2*i - r + 4*r for i.
4
Suppose -8 = -2*z + 16. Let m = 12 - 8. Suppose -2*u - 25 = -3*i, 2*u - 16 - m = -2*i. Solve 3*w = -5*k + i, -3*w + 3*k + z = w for w.
3
Let r be (-8)/2*6/8. Let o be -1*(r + 1) + 17. Suppose -3*d - 1 + 3 = t, 4*t - 5*d - 8 = 0. Solve -m + o = 7*v - t*v, -5*v + 5*m = 5 for v.
3
Suppose -3*r - 82 = -82. Solve -2*q + 5*x + r = 7, 2*q = 4*x - 6 for q.
-1
Let o be 0/(-2*(-1)/(-1)). Let g(b) = b**2 - 4*b - 4. Let z be g(5). Let c be (35/14)/(z/2). Solve o = 5*f + c*k + 45, -4 = 2*k + 6 for f.
-4
Suppose -18 = 2*u - 4*u. Let s = -8 + u. Solve -c + 4 = -3*i, 2*i = -c - 5 - s for i.
-2
Suppose -2*f - 4*l = -28, f + 51 = 5*f + 3*l. Solve 0 = 4*i - 2*k + 22, 4*k = 3*i + 7 + f for i.
-5
Suppose 0 = -f - h - 3*h + 10, 4*f + h = 10. Let u = 6 - f. Solve -u*c + 5*k + 0 = 3, 0 = 4*c + 3*k + 11 for c.
-2
Suppose -2*f + 3*x + 58 = -x, -62 = -2*f + 5*x. Let m be 14/f*9/2. Let i be 2/4*(1 - 1). Solve -4*p - 17 = -m*w - 9*p, i = 5*w + 2*p - 3 for w.
-1
Suppose -3*j - 1 + 10 = 0. Solve 3*g + 2*g - 2*v - 25 = 0, 0 = -3*g - j*v - 6 for g.
3
Let w(z) = -z**3 - 4*z**2 + 2*z - 1. Let n be w(-5). Suppose 2*o = 5*o - 6. Suppose -7 = -q - 4. Solve n = -q*h - 0*i + 4*i, -o = 4*h + 3*i for h.
-2
Suppose -4*q + 2*q = 0. Let d be (-4)/(-2) - q - 3. Let t be 0 + 2 + -1 - d. Solve 2*r + p = -7, 4*p - 19 + t = r for r.
-5
Suppose -2*a = -0*a. Suppose 0 = -h + 5 - a. Suppose -6*v = -h*v. Solve -2*r - 3*u - 23 = v, 0 = 4*u - 2 + 22 for r.
-4
Suppose -2*m + 15 = 3*m. Solve q + 3 = -4*d + 1, -m*d - 8 = 4*q for q.
-2
Let p = 4 - 2. Suppose 0 = -l + 5 - p. Suppose l*z = z + 40. Solve -4*y + 15 = -3*t, 4*y = -0*t + 4*t + z for y.
0
Suppose 6 + 44 = 5*v. Solve -4*g + 6 = -v, -5*w - 9 = -g for w.
-1
Let t = -18 + 43. Suppose 0*v + 5*v - t = 0. Let x(j) = j**3 - 6*j**2 + 5*j + 5. Let r be x(v). Solve 12 + 6 = -w - r*d, 3*w = -d - 12 for w.
-3
Suppose 10 + 2 = -3*x, -4*x + 12 = i. Let s = -10 + 14. Let n be s/(-10) - (-110)/25. Solve -u = -5*u - 12, -4*o + i = -n*u for o.
4
Let t = -3 - -8. Let m = -15 - -18. Solve -a + 3*p - 31 = m*a, t*a = p - 25 for a.
-4
Let i(n) = -n + 10. Let z be i(6). Solve 2*x = 5*c - x + 16, -2*c - z*x - 22 = 0 for c.
-5
Suppose -4 = -2*u - 4*l + 2*l, -1 = -3*u - 2*l. Let t be 2 + u/3 + 1. Solve -t*s = -4*s - 4*a - 30, -2*a = 4*s + 30 for s.
-5
Let a = 10 + -6. Suppose 3*i + 3*w - 3 = -0*w, 4*w + 8 = -i. Suppose -i = -3*k + 2. Solve a = -u, -f + k*u - 2 = 4*f for f.
-2
Let d(c) = -c + 1. Let z be d(-3). Solve g = -3*g - z*l - 12, 2*l = -4*g - 10 for g.
-2
Let j(v) = -v**3 + 10*v**2 + v - 8. Let k be j(10). Suppose 0 = -2*n + 4*s + 8, n + s = k*n - 4. Solve -2*x - n*b - 4 = -b, 0 = 3*x + 3*b + 6 for x.
-2
Let m = 24 + -20. Suppose 9 = b - 3*q, -q - 17 = -b - m*b. Solve -2*k - 3 = -b*y + 3, k = y - 1 for k.
3
Suppose 5*t = -4*m + 54, -3*t + 3*m + 28 = m. Let s be (-4)/t + 18/45. Solve -5*l = -a + 10, -a + 0*a - 5*l = s for a.
5
Suppose 7*w + 8 = 9*w. Solve 2*f = 5*c - 6, 0 = c - w*c + 2*f + 6 for c.
0
Let m(i) = -i - 3 + 0 + 4*i. Let v = -6 - -8. Let u be m(v). Solve -5*z + 5*f = 20, -4*z + z + 12 = u*f for z.
0
Let y(q) = -