0 = t - g + 8 + o for t.
-5
Let p = -101 + 107. Solve 0 = -3*w + 2*z + p, -z = -3*w + 3*z for w.
4
Suppose -9 = -4*a + 3. Solve -10 = -3*y + 4*v - 3, 2*y - a = v for y.
1
Let c = 2 - 3. Let h = 1 - c. Solve -5*t - j = 10 + 13, -h*j = -4 for t.
-5
Suppose -3*o - i + 40 = -o, 0 = 3*o - i - 60. Solve -4*k - 8 = -2*l - 6*k, 0 = -4*l - 5*k + o for l.
0
Let v be (-2)/(-4 + 2) + 69. Suppose o - 37 - 33 = -5*z, -5*o = -3*z + v. Solve -5*c + 15 = 3*f, 0*f + 5*c - z = -2*f for f.
0
Let u = -2 - 8. Let b be u/(-35) + 4/(-14). Let n = b - 0. Solve -3*v - 5*r + 1 = 0, 15 = 5*v - n*v - 5*r for v.
2
Suppose n = -s - 0 + 2, 0 = 3*n - 2*s - 16. Solve -3*a + n*o + 4 - 3 = 0, -5*a - 3*o + 21 = 0 for a.
3
Let q = 88 + -84. Solve -z + s + q = 10, z - 2*s = -9 for z.
-3
Suppose -10*d + 6 = -44. Solve -d*i = -4*t - 20 - 1, -18 = 4*t - 2*i for t.
-4
Let h be (-3 + -4)/(-2 - -1). Suppose h*v - 5 = 2*v. Let z = 2 + v. Solve -2*u = -4, -z*t = -0*t - 2*u + 1 for t.
1
Let k(r) = r**2 - 3*r - 1. Let w be k(4). Let d be w*(-1 - (-3 + 1)). Suppose 0 = -d*t + 5*t - 80. Solve -4*f + 3*j + j = -t, 4*f + j - 15 = 0 for f.
5
Let s(k) = k**3 - 2*k**2 - 3*k + 4. Let t = 4 + -1. Let o be s(t). Solve -o*q + 5*a = 23, -2*q = -4*a + 3*a + 7 for q.
-2
Let q be 4/18 + 34/9. Let a be -3 + -8*((-60)/32)/5. Solve 0 = v - q, -4*v = -a*f + 5*f - 1 for f.
-3
Let p be (-1 - -1) + 32*3. Let u be (-4)/10 - p/(-15). Suppose -5*b + 4 = -u. Solve 2*i - y - 1 = 0, y - 2*y = i - b for i.
1
Let x(k) = k**3 - 6*k**2 + 5*k. Let y be x(5). Solve l - 1 = b - 6, y = -b - 2*l + 5 for b.
5
Suppose 9*j - 54 = 27. Solve 5*t + j = t + 5*v, -t + 2*v - 6 = 0 for t.
4
Let w = 44 + -42. Solve 3*m + 22 = -w*m - 4*c, 0 = -2*m + 3*c + 5 for m.
-2
Suppose -33 - 1 = -2*v. Suppose v - 63 = -4*h + u, 7 = h + 2*u. Solve q = -r - 0*r + 9, 0 = -3*q + r + h for q.
5
Let b be (-85)/(-10)*2 + -6. Solve -2*s = -5*r + b, 0 = -3*r + s + 6 - 0 for r.
1
Let a = 71 - 69. Solve 3*u = -b + 1, -b = -5*b + a*u - 10 for b.
-2
Let m = -29 - -15. Let c(x) = -6*x**3 + 15*x - 11*x**2 - 8*x**3 + 13*x**3 - 2*x**2 + 20. Let h be c(m). Solve -9 = -3*k - 2*s, 2*s + 0*s = h for k.
1
Let w be (-6)/(-15)*40/16. Solve 5 = 3*b - 3*h - w, -3*h = 2*b + 21 for b.
-3
Let v = -1 + 3. Suppose -5*g + x = -18, -g - v*x = 3*x + 12. Solve 0 = 5*q + 15, -6*a = -a + g*q + 19 for a.
-2
Suppose 6*l - 9*l = -9. Solve 3*b - 3*i = l - 9, 3*b = i - 4 for b.
-1
Let l(r) = 3*r - 1. Let p be l(2). Solve 5*n = n + 5*v + 13, -3*v = -p*n for n.
-3
Let s(l) = -l - 9. Let r be s(-8). Suppose 0*x - 102 = -5*x - c, -x = c - 22. Let m = x - r. Solve -6*z + 3*z = -15, 4*d + z - m = 0 for d.
4
Let r = -3 - -1. Let o be (4 + -2)/r - -21. Solve -2*n - 3 = 2*c - n, 4*n + o = 0 for c.
1
Let c(u) = -5*u + 1. Let m(n) = -11*n + 1. Let i(f) = 13*c(f) - 6*m(f). Let d be i(-5). Solve 0 = 3*h + 5*t + 25, -13 = 4*h + d*t - 3 for h.
0
Let b(n) = -2*n**2 + 22*n + 29. Let f be b(12). Solve -1 = j - p, -5*j + j + 5*p = f for j.
0
Let v be 0 + (4/12*0)/(-2). Solve b - q = -1, -4*b + 5 = -v*b + 5*q for b.
0
Suppose 0*o = 3*o + 2*r - 36, 0 = 5*r. Suppose 0 = -3*m - 3*s + s + o, 3 = m + s. Solve y - 5*c = 6, -2*y + 4*c = -m - 0 for y.
1
Let m = 1 + -1. Let x be 0 - (m/(-2) - -2). Let c be ((-12)/x)/(-3) - -4. Solve 0 = -c*l - 3*k - 1, 7 = l + 8*k - 4*k for l.
-5
Suppose 0*o - 2*k - 27 = -3*o, -3*k = 2*o - 18. Suppose -3 - o = -4*l. Solve 0 = l*v + 6, y = -4*y + 3*v + 21 for y.
3
Let j(d) = d**2 + 4*d - 4. Let g be j(-6). Let y(r) = -r - 5. Let b be y(-9). Solve 0 = -b*m - f + g, -5*f - 26 = -m - m for m.
3
Let x be (8/(-14))/((-2)/7). Solve 0*b + x*b = -4*i - 22, 0 = 3*b - i - 2 for b.
-1
Let t(k) be the second derivative of -k**4/12 + k**3/6 - k**2/2 - 3*k. Let v be t(-2). Let x = v - -9. Solve -y + 13 = 4*z, x*z - 3*y = 3*z - 6 for z.
3
Suppose -20 = -4*o - 0. Let x be (-3)/(3*3/(-84)). Let l be x/15 + (-6)/(-45). Solve -o*u = -3*h + 15 + l, -5*u - 21 = h for u.
-4
Let k = -91 - -95. Solve 2*d - 5*g + 29 = 7, -k*d + 12 = 4*g for d.
-1
Suppose 0 = 5*l - 3*g - 9, 3*l - 9 = -4*g + 8. Solve 3*x + 2*j + l*j = 12, 5*j = 5*x + 20 for x.
-1
Suppose 3 = -h + 26. Suppose g + 3*g = -5*m + h, 0 = 5*m + 3*g - 21. Solve -m*v - 2*v = -5*q - 40, -4*v = -5*q - 37 for q.
-5
Suppose 3*y = 7 - 4. Suppose -5*p - y = -s, p + 3*s + 3 = 6. Suppose -48 = -p*u - 3*u. Solve -f - 4*v - 19 = v, f + 4*v = -u for f.
-4
Let l(z) = -z**2 + 7*z + 12. Let c be l(8). Solve 5*q = u - 2 - 2, -5 = q + c*u for q.
-1
Let h = 9 + -4. Suppose -2*k + h*y + 0*y = -95, 0 = 3*k - 3*y - 120. Suppose 5*a = 2*w + 20, 5*a + w - k = -0*a. Solve -3*o = -15, -o - a = 2*g - 3 for g.
-4
Let q = -3 - -18. Suppose -5*i = 4*h - q + 1, -h = -4*i + 7. Solve 5 = 4*z - 3*a + 29, z + i*a - 5 = 0 for z.
-3
Let j(m) = 6*m**2 + 6*m - 5. Let c be j(1). Solve -3 - 7 = -2*q - 2*z, 2*q - c = z for q.
4
Let w be (-9)/18*12/(-2). Suppose -w*p = -9, -4*x - x + 3*p + 41 = 0. Solve -5 = -q - 4*h + 3, -q - 5*h = -x for q.
0
Let l(b) = b - 2. Let s be l(6). Solve -18 = -s*g - 4*c - 6, -c = -3*g + 5 for g.
2
Let g = 9 + -3. Let b be -3*(-2 + 2/3). Suppose 2*d + b = 3*d. Solve 0 = -d*p + 5*i + 16, 3*p + i + g = p for p.
-1
Let u = 6 - 4. Suppose 4*z - 4*s = -5*s + 15, 3 = 3*z - u*s. Let c = z + 1. Solve c*t + 9 - 25 = -5*h, -2*h + 4*t = 16 for h.
0
Let n be 2*(4 + (-11)/2). Let p be n*1 - (10 - 14). Solve -g - p + 3 = 3*q, -3*g = 3*q for g.
-1
Suppose 0 = 3*y - 1 - 2. Suppose 3*r + y - 13 = 0. Solve r*s - 20 = 0, 0 = 3*l - s - 1 + 18 for l.
-4
Let o(y) = -y + 3. Let u be o(-6). Let r(j) = -j**2 - 13*j + 34. Let v be r(-15). Solve 2*t + 2*k = 5*k - 17, -k = -v*t - u for t.
-1
Let s be 12/(-20) + 13/5. Suppose -s*d = -6*d. Solve d = -4*o + 4*j + 16, -2*j + 6 + 1 = 3*o for o.
3
Let w be 1 + (3 + -5 - -5). Solve 12 = 3*a + 3*y, w*a = 3*a - 2*y + 3 for a.
5
Suppose 2*l = -1 + 5. Suppose -2*s + l = -8. Let t = 0 + 1. Solve 2*u + 23 = 3*j, -3*j + s*u + 36 = t for j.
5
Let b be 6/8 - (-5)/4. Let q = 1 - -1. Solve -w - 4*z = -q, 3*z = -w - 0*z + b for w.
2
Let u be 8/2 - (9 + -5). Solve u*d - d + 11 = -3*p, 2*d - 7 = 3*p for p.
-5
Suppose 0 = -3*y - 2*d + 6, 5*d + 35 = 3*y + 2*y. Let g(q) = -2*q - 11. Let s be g(-9). Suppose s = u - 5. Solve -2*n = -0*h + 4*h + u, y*h + 8 = 0 for n.
-2
Let x be 1*2*8/(-4). Let j be (-1 - -3)/(x/(-10)). Let u = -3 + j. Solve -i - 3*i - u*f - 6 = 0, -3*i = 2*f + 3 for i.
-3
Suppose -5*u + 4*u + 17 = c, 2*c - 5*u = 41. Suppose 0*m = 3*m - 5*r - c, -5*r = 0. Solve 0 = q + 3*z - m, q - 8 = -q - 4*z for q.
0
Suppose -2*i - i = 5*b, 0 = -5*i + 2*b - 31. Let d be (3 + -4)/1 - i. Solve 5*n - z = -8, -2*z - d = -0 for n.
-2
Suppose 12 = 4*u - 12. Suppose 16 = -2*w + u*w. Suppose 6*h = w*h + 6. Solve -3*y + 3 = 3*x, -3*x = -h*y + x + 17 for y.
3
Let w(f) = 2*f**2 - 8*f + 3. Let b be w(4). Solve -16 = -4*s - y - 0*y, -24 = -4*s - b*y for s.
3
Let r(w) = w**2 + 2*w + 3. Let u be r(-2). Suppose 0 = -5*g + 2*g - u. Let j be 10*-2*g/4. Solve -j*s + y + 11 + 10 = 0, -5*s + 29 = y for s.
5
Suppose -4*k + 25 = x, 5*x = -3*k + 2*x + 30. Let a = 2 - k. Let h be 3/(-4)*12/a. Solve -p = 3*p + 5*v - 5, 5 = h*p + 4*v for p.
-5
Suppose 6*h + h = 21. Solve -h*r + 3*c + 6 = 0, 2*r - 6 = -r + 2*c for r.
2
Let i be -3 - (1 + -3 + -3). Solve -s = -d - i, d + d = s for d.
2
Let x be (-11 + -1)/(14/(-7)). Solve k + 3*v + 10 = 2*k, -3*v - x = 0 for k.
4
Let x be 0 + 9*2/6. Solve 4*q + x*h = -17, 14 = -q - 2*h - 2*h for q.
-2
Suppose 4*g = -o - 0*o + 3, -4*g = -5*o - 33. Solve 3*u = -2*m + 7*m - 14, -g*u - 2*m = 4 for u.
-3
Suppose 5*g = -3*j - 2, -g + 14 = j - 3*g. Suppose -12 = -j*t + 3*t. Solve -m = o + 3, 3*m + t = -2*o - m for o.
-4
Let j be 1 + (-2 - 1) + 8. Let z be 6 + (-1 - 3) + 0. Suppose -z*v + j = -2. Solve 3*y + 8 = -v*k - 11, -y - 5*k = 10 for y.
-5
Suppose -2*c = 3*c - 85. Suppose 3*i - 10 - 2 = 0. Let j be 12 + 1*(2 - 2). Solve -3*x - j = n, x - c = 2*x - i*n for x.
-5
Let a = -11 + 14. Suppose 0 = -q - 3*l - 0 - 6, -10 = a*q + 5*l. Solve 2*o - 16 = -5*m - q, -5*m + 12 = 4*o for m.
4
Suppose 16 + 8 = 8*r. Solve i = 2*t + 4, -2*i - 4 = -r*i - 3*t for i.
4
Let a be (-3)/(-3 - (2 + -4)). Suppose 0 = -q + a*q - 8. Suppose 1 = -q*d - 3*r + 13, -5*d - 2*r + 22 = 0. Solve 3 = -z - 2*m, -d*z + 4*m - 12 = -2*z for z.
-3
Let k = -41 - -45. Solve -w + 4 = -k*d - 2, 2*d = 2*w for