 - u - 5 for o.
1
Let f be (-1)/4 - 17/(-4). Suppose 7*a = f*a. Solve y + a*y + 5*z + 15 = 0, -9 = 3*y + 3*z for y.
0
Suppose 3*l - 8 = -s, 5*s + 5 = l + 3*s. Suppose 3*g + 2*p - 5 = -0, l*p - 5 = -4*g. Solve -2*x - 19 = -g*x - 4*t, 3*x = 4*t + 11 for x.
5
Suppose -3*s - 10 + 19 = 0. Suppose -4*q = -4*b + 140, -2*b - 2*b + 140 = -s*q. Solve -b = 4*p - 5*l, -l - 15 = -6*l for p.
-5
Let m = 54 + -41. Solve -l - m = s + 2*s, l = -s - 5 for l.
-1
Let l = 13 - 9. Suppose -l*o + b = -o - 4, -12 = -4*o - 2*b. Let m be (-32)/12*(-3)/o. Solve 6 = m*k - 2*k - c, 3*k - 3*c = 6 for k.
4
Suppose 5*d = -22 + 127. Solve 0 = 5*b - 0*h + h + d, -3*h - 15 = 3*b for b.
-4
Suppose 0 = -5*a - 42 + 192. Suppose 0*h - a = -5*h. Solve -17 = 3*o + 2*t, 0 = o + 2*t + 17 - h for o.
-3
Suppose 3*a + 0*a = -9. Let p be 3 - (0 + -2 + a). Let y = 6 + -3. Solve 3*t = h - p, 3*t = t + y*h - 17 for t.
-1
Let o(d) = -d**3 - d - 1. Let f(j) = -2*j**3 + 9*j**2 - 7*j - 3. Let p(n) = f(n) - o(n). Let v be p(8). Solve -3*b = 5*l - v, 4*b + 0*l - 14 = -2*l for b.
3
Suppose -3*g - 12 = 0, -4*k + 4 = -5*g - 16. Solve -3*w - 2 = 2*h - 2*w, -h - 2*w + 2 = k for h.
-2
Let y(q) = 5*q**2 + 7*q - 2. Let r(p) = -9*p**2 - 14*p + 4. Let m(h) = 4*r(h) + 7*y(h). Let z be m(-7). Solve 0*o + 4*o + 16 = 0, 4*o + 14 = z*d for d.
-1
Let q = -7 - -12. Suppose -q*j + 14 = -1. Solve 0 = -h - 3*v + 9, -4*v + 4 = j*h + h for h.
-3
Let g be 9/2*(1 + -3). Let a = 14 + g. Suppose 1 = 2*q - 5, 0 = -2*r - a*q + 15. Solve 4*w - i - 14 = r, -3*i + 3 - 9 = -3*w for w.
4
Suppose -2*b = 4*a - 96, 4*b - 2*a - 2*a - 180 = 0. Let p = b - 28. Let o = p - 13. Solve 3*h + 8 = -h - 5*i, -10 = o*h + 5*i for h.
-2
Let u be 2*9/6 + -1. Suppose -x + 9 = u. Solve -2*n = 4*i - 4*n, x = -5*i - n for i.
-1
Suppose -7 = -2*n + 15. Let m(d) = 4*d + d**2 - 4 + 5 - 1. Let t be m(-4). Solve t = 4*p + 3*j + 3 - n, -3*p + 3 = 3*j for p.
5
Let b(g) = -g**3 + 5*g**2 + 9*g - 7. Let y be b(6). Let i = -17 + y. Let t = -4 - i. Solve 22 = 5*a - 3*j, -t*a = -3*a + j + 4 for a.
5
Let r(t) = 2*t + 24. Let b be r(-5). Solve -5*i - b = d, -3*i - 13 = 2*i + 2*d for i.
-3
Let a(d) = d**3 - 7*d**2 - d + 6. Let r be a(7). Let s = r + 1. Solve -t - 2*k + 8 = 0, -5*t = -s*t - 4*k + 16 for t.
0
Let f(r) = r + 10. Suppose 0 = -0*h + 2*h + 16. Let a be f(h). Solve 0 = -4*v + w - 7, -1 = -4*v - w - a for v.
-1
Let q be 7*(4/14)/1. Let y = -1 + -2. Let x be 16/(-12)*y/q. Solve x*b - 10 = -4*f - 0*f, 5 = b + 5*f for b.
5
Let h be (-4*1)/((-1)/(-2)). Let l be (-18)/h - 1/4. Suppose -4*m + 4 = 2*x, 0*m + 8 = m - 3*x. Solve -p - 1 = -2*p - l*g, -m*g - 4 = 0 for p.
5
Let r(h) = -h + 11. Let v be -15 + 13 - 4*-2. Let q be r(v). Solve q*z = 4*n + 16, -n + z + 17 = 5*z for n.
1
Suppose 3*t - 15 = -0*t. Let o = 6 - t. Let s = 2 + 0. Solve 3*r - 3 = -g + o, -s*g - 4*r = -4 for g.
-2
Let g = 13 + -9. Suppose -g*r + 14 + 12 = -z, -3 = -r + 2*z. Solve -3*k - 3*x + 3 = 0, -r = -4*k - x - 2*x for k.
4
Suppose -o = -2*u - 10, -2*u + 98 = 3*o + 2*o. Solve 2*t - 5*g - o = 0, 5*t + g + 7 = 2*t for t.
-1
Suppose 3*t - 3*v = 9, 2*t + 3*v = 7*t - 9. Suppose t = 3*x - x. Suppose -k + 4*b + 2 = 5*b, x = -2*b. Solve 5*o = -5*m + 25, 7*o - k*o = 3*m - 15 for m.
5
Let t be 3 + ((-29)/(-1) - -2). Let k be 9/12 - t/(-8). Let f(w) = 2*w**2 - 7*w - 2. Let g be f(k). Solve 5*q - g = 2*s - s, 1 = -s + q for s.
2
Suppose 0*q + 15 = 5*q. Suppose 0*k = -k. Suppose k = -g + q + 2. Solve -15 = -3*b - t, 2*b + b = -g*t + 15 for b.
5
Let c = 1 + -1. Let k be (-2 - -1) + 0 + 6. Suppose 4*r + r = 75. Solve 0*p + 3*x = 4*p + r, c = -4*p + x - k for p.
0
Suppose -f - 10 = -3*f - 4*s, 13 = 4*f + s. Solve k + i = 2*k - 9, -f*k + 5*i + 35 = 0 for k.
5
Suppose 0 = 6*g - 3*g - 9. Suppose s - 20 = -g*s. Suppose 3*r - 12 = 2*r - 2*w, -3*r = s*w - 33. Solve r = 2*v - o, 0*o = 4*v + o - 12 for v.
3
Let b = -23 - -25. Solve -4*u - 1 = -4*f + 3, 0 = b*f - 5*u - 2 for f.
1
Let h(q) = 3*q**2. Let s = 9 - 8. Let f be h(s). Solve 3*w = -f*k - 0*w + 6, 0 = 4*k - 4*w + 32 for k.
-3
Let z(d) = -d**2 + 2*d + 6. Let v be z(6). Let x = 25 + v. Let o = -4 - -11. Solve -2*t + 2*l - x*l - 11 = 0, 2*t + l = -o for t.
-3
Suppose -2*w = -s - 3*s + 4, -5*w - 4*s + 4 = 0. Solve -5*h = w, -h - 4 = -0*c - 4*c for c.
1
Let h = -11 + 14. Suppose -4*p = -h*p. Solve c + r = 6*c + 20, -3*c - 5*r - 12 = p for c.
-4
Let h = 9 - 1. Let p be 2/((h/(-5))/(-4)). Solve -p*z - 21 = r - 2*r, 5*z = -4*r - 16 for z.
-4
Let k(o) = -o**2 - 6. Let r be k(0). Let z = r - -9. Solve -2 - 2 = -4*u + a, z*u - 5*a - 20 = 0 for u.
0
Let q be (0 + 1)*(19 - -2). Suppose -m + 3 = -2. Let v = -3 + m. Solve 5*i + 20 = -4*n + 2*n, v*i - 5*n = q for i.
-2
Let s = 11 - 8. Suppose -t + 52 = s*t. Suppose t = 2*b - 7. Solve 5*k + 2*l = -2*l + b, 2*l + 4 = 2*k for k.
2
Let q = 50 + -34. Solve -2*v = -2*a + q, 3*v + 27 = -v + 3*a for v.
-3
Let d(k) = k**2 + 8*k - 7. Let j be d(-9). Suppose 3*z + 5*s = 6, 2*s = -z + 7*s + j. Solve 3*q + p - 1 = 0, -q - 2*q + 2 = z*p for q.
0
Suppose -a + 5*z - 4 = 0, -3*a - 2*z - 3*z = -28. Let k(t) = 2*t**2 - 6*t + 9. Let j be k(a). Suppose 0 = -c - 2*c + j. Solve q = 4*y + c, q + y + 11 = 1 for q.
-5
Let g be 2/4*0/2. Solve 0 = -2*w + 8, 3*w = -g*l - l + 10 for l.
-2
Suppose 4*d = -p - 445, 142 = -2*d - 5*p - 67. Let x be (-210)/d + 2/16. Solve 3*v = -0*v + 2*l + 14, 3*l + 8 = -x*v for v.
2
Let d be (-6)/5*15/(-2). Let t = -7 + d. Solve -5*c + z - 13 - 16 = 0, 0 = -3*c + t*z - 23 for c.
-5
Let u(s) = s**3 - 8*s**2 + 7*s + 1. Let y be u(7). Let w be y - -1 - (5 - 3). Solve 0 = -3*t + 5*k + 17, w = t + 5*k + 28 - 7 for t.
-1
Let l(c) = c + 11. Suppose -3 - 9 = 3*s + 3*a, -5*s - 2*a - 32 = 0. Let n be l(s). Solve n*r = t, -4*t = -0*r + 3*r + 15 for t.
-3
Let n be 11 + 12/(-4) - -4. Let s = n - 4. Solve 4*l = 3*u - s*u, 4*l - 5*u = 0 for l.
0
Let r = 12 - 6. Suppose 4*n - 11 = 13. Let c = n - 2. Solve -r = 2*a - 0*a - 4*x, -4*x - c = 0 for a.
-5
Let l = 8 - 4. Solve -2*w + l*q + 16 = 0, -q = 2*w - 0*q + 4 for w.
0
Let s(m) = -4 - 1 - 3*m**3 + 2*m - 8*m**2 - 4*m + 2*m**3. Let n be s(-8). Solve -3*a - 7*v = -3*v + 23, -a - n = 2*v for a.
-1
Let x be 1 + 1 + (-9 - -7). Solve -3*n + 13 = -f, -2*n = 2*f - x*f + 2 for f.
-4
Suppose 0 = q + 4*r + 22, 3 - 8 = r. Suppose 3*g - 3 = 0, -2*p + g = -3*g - 4. Let d be (q + p/5)*-10. Solve -4*a - 3*n - 21 = 0, -d = 3*a + 2*a - n for a.
-3
Suppose w + 2*w = 12. Solve -c = w*c - 2*z - 31, -3*c - 3*z = -6 for c.
5
Suppose -2*g = -14 - 22. Solve -3*r = -3*f - g, -2 = -2*f - 3*r + 1 for f.
-3
Let h(b) = -b**2 + 7*b - 2. Let n be h(6). Suppose 3*p + n = 4*m - 3*m, 4*m + 3*p = 46. Solve 5*s - c + 2*c + 25 = 0, -2*c - m = 0 for s.
-4
Let w be (-9)/2*(3 + -5). Let b = 21 - 30. Let k be 8 + 1/((-3)/b). Solve 0*o - 2*o - 3*t = k, 0 = o + 5*t + w for o.
-4
Let d be -2 + (-5)/(25/(-20)). Solve w + 12 = d*f, 2*w - 23 = -5*f + w for f.
5
Suppose -a + 12 = 2*a, 0 = y - 5*a + 8. Solve 5*v = 5*h - 10, -5*v + 4*h - y = -0*v for v.
-4
Suppose -w - 3*z = 2*w - 36, 5*w - 57 = -2*z. Solve -9 = -4*v + w, 0 = -3*f - v + 20 for f.
5
Let r = 7 - 7. Let f be (-36 - r)*4/(-6). Solve -4*g = 4*j, -3*g + g = -4*j - f for j.
-4
Let i(m) = 2*m + 5*m - 6*m - 2. Let n be i(2). Suppose n*y = -y. Solve -3*j + 4*l + 20 = -y*l, 4*j + 25 = -5*l for j.
0
Suppose -4*i - 4*t + 10 = -18, 4*i + 3*t - 31 = 0. Let c = i - 5. Solve c*m + 1 + 9 = p, 0 = 4*p + 3*m + 6 for p.
0
Let u = 8 - 7. Suppose -26 = 3*y - 122. Let s be (1/(-2))/((-4)/y). Solve s*t - f + 5 = 4*f, 2*t + u = f for t.
0
Let j be ((-5)/(-2))/(((-2)/12)/(-1)). Solve t - 2*b = -0*t + j, 4*t + 2*b - 10 = 0 for t.
5
Let r(a) = a**2 + 6*a + 3. Let w be r(-6). Let y = -7 + 13. Solve -m + w*k = -3, 0 = y*m - m + k - 15 for m.
3
Let a(x) = -x + 9. Let g be a(-8). Solve 3*b + 2*b - 3*q + 30 = 0, -q = -4*b - g for b.
-3
Suppose -2*u + 0*u - 4*b - 4 = 0, 2*u - 4*b = 4. Suppose t = -4*s + 19, u = s - t - 1. Let x = s + 3. Solve 2*k = -2*f + 8, -x = -3*k + 3*f - f for k.
3
Let n(z) = -z**2 - 5*z + 5. Suppose -j = -5 + 3. Suppose -4 = j*k + 4. Let u be n(k). Solve -2*m + 7*m + u = 4*q, 0 = q + 4*m + 24 for q.
-4
Suppose 0 = 3*t + 4*u - 18, 2*t + 4*u = -2*t + 20. Solve -7 = 3*q - 5*w, 8*q - 3*q + 22 = -t*w for q.
-4
Let k be -3*(8/(-6) - 4). Solve -h = -5*p + k, -p + 3*p - 11 = 5*h for p.
3
Let r 