 -11 + r. Solve 5*o - h = 3*i, i + 4 = -4*o + 1 for i.
-3
Suppose 0 = o + 16 - 20. Suppose 4*q - o = 0, 3*i + q = 5 + 2. Solve 0 = 5*v - i*f + 21, -3*f + 5*f + 6 = -4*v for v.
-3
Let q(a) = -a**3 + 24*a**2 - 40*a - 85. Let j be q(22). Solve -3*y - 5*u = -15, j = 2*y + u - 0*u for y.
0
Let q = -4 + 11. Let a be ((-13)/4)/(q/(-28)). Let v = 22 - a. Solve -4*c - w + v = 0, -4*w = 5*c - w - 20 for c.
1
Suppose 9*k - 5*k = -40. Let q be (-36)/k*200/60. Solve 4*p = 2*a - 8 - 4, q = -3*a for p.
-5
Let p = 13 + -7. Let z be (-3)/p + (-158)/4. Let y be (-6 - -1)/(z/16). Solve 5*s - y*r + 6 = 24, s = 3*r + 14 for s.
2
Let s(l) = -5*l + 118. Let j be s(23). Solve -2*r - 3*r = i - 22, 6 = j*r - 3*i for r.
4
Let d be (-3)/(-18) + (-184)/(-48). Solve -2*b - 3 = -5*y - 11, 4*y + 4 = d*b for y.
-2
Let p(m) = m**3 + 10*m**2 - 10*m - 1. Let g be p(-10). Suppose -2*l - 2*l + g = 3*z, -63 = -2*l + 3*z. Solve 2*r = 7*r + 3*f - l, 26 = 2*r + 5*f for r.
3
Suppose -5*r - 8 = -9*r. Suppose -6*k = -3*n - k - 26, -49 = r*n + 3*k. Let s = 30 + n. Solve -3*b = 5*y + s, -4*b + 6 = y + y for y.
-5
Let a be (-12)/(4 - 1) + 57. Suppose -2*k + k = -4*y + a, 4*y - 28 = -4*k. Solve -4*w + 3*q - y = 0, -5*w - 15 = -4*q + q for w.
-3
Suppose 3*g = -12, -3*z - 68 = -z - 4*g. Let j be (z/(-28))/((-1)/(-2)). Solve 4*o - 10 = 2*q, q + j*o = 10 - 0 for q.
1
Let h = 483 - 481. Solve i - h*q + 5*q - 12 = 0, 0 = -3*q + 12 for i.
0
Suppose -3*d - 6 = -18. Suppose 2*i = i + d. Let q be (-3)/(-6) + 14/4. Solve -i*g + q*n + 11 = -5*g, 3*n + 6 = 0 for g.
-3
Suppose -4*g + 6 = 3*u - 10, 0 = -2*u - 2*g + 10. Solve -j - 7 = 2*i, -3*j + u*j - 18 = 3*i for i.
-5
Let z(g) = 2*g**2 + 18*g + 8. Let q be z(-10). Let f = q - 24. Suppose -6 = -2*m + 14. Solve -5*y + 4*u = m, -3 = f*y + u - 16 for y.
2
Let z = 3 - 5. Let n = 10 + z. Suppose 41 + 9 = 10*h. Solve -3*c = 2*b + 1, 0 = -h*b - 6*c + 2*c + n for b.
4
Let n(u) = 8*u + 2. Let w be (-6)/(-15) + (-26)/(-10). Suppose -19 = -w*v - 4*a, 4 = 2*a - a. Let c be n(v). Solve 0 = 2*q + 2 - c, -3*l + 4*q = 1 for l.
5
Let h be 1/5 + (-54)/(-30). Suppose q - 16 = 3*x, 7*q - 4*x - 36 = h*q. Solve -q*d - 2*l = 14, -4*d = -9*d - 2*l - 15 for d.
-1
Suppose 2*x - 4*x = -46. Let y = 123 + -66. Let l = y + -47. Solve -2*m - l = 0, -3*m = -4*n + 6*n + x for n.
-4
Suppose -3*b - 3*n + 12 = -0*b, -2*b + 2 = -4*n. Suppose -b*u + 217 = -203. Suppose -u = -0*r - 4*r. Solve 8*w - 3*w = s - 20, 0 = 4*s - 5*w - r for s.
5
Let k = 37 - 32. Solve k = 5*u - 5*d, 0 = 3*u - 5*d - 5 for u.
0
Let d(a) = -a**3 + 14*a**2 + 16*a. Let n be d(15). Solve -2*s + c + 3*c = 28, -n = -3*c for s.
-4
Let p = -3 + 11. Suppose -3*o + p*o = 0. Suppose 18 = t + 5*t. Solve o = -m - 4*h - 0*h - 1, t = -3*m - h for m.
-1
Let m be (-9)/(-18) + (-10)/(-4). Let d = -357 + 372. Solve -m*h = h + 5*b + d, -5*b = -3*h + 15 for h.
0
Suppose 21*w = 3*y + 23*w - 10, 0 = 5*y + 5*w - 25. Solve 0*f - 2*f = -l + 11, 4*f - 3*l + 23 = y for f.
-5
Let t(n) be the first derivative of -1/3*n**3 - 5*n + 3*n**2 + 1. Let p be t(4). Solve -5*j - p*u - 8 = 2, 0 = -4*j + 2*u - 8 for j.
-2
Suppose 11*s - 4 = 10*s. Let q be (-54)/(-15)*10/s*2. Solve 3*w = -4*f + 24 - 2, w + 4*f = q for w.
2
Suppose 3*h + t + 53 = 8*h, 3*h - 41 = -4*t. Suppose -h*n = -12*n + 5. Solve -n*y + 2*i + 17 = -i, 0 = -4*y + 4*i + 20 for y.
1
Suppose -8 = -2*y, -2*a + 1 - 5 = -2*y. Solve -2*v - 4*g = 12, 3*g = -11 + a for v.
0
Let w(k) = -7 + 2 + 2*k**2 + 7. Let f be w(0). Solve 0 = -3*s + 2*x + 7, x = 4*s + f*x - 2 for s.
1
Suppose -s = -4*z + 26, 0 = -244*z + 239*z + 5*s + 70. Let q be 0/(1*-1*1). Solve 0 = -z*c + 8, 4*m + q*m + 6 = -5*c for m.
-4
Let f = -502 + 505. Solve -4*h - 16 = -4*x, 7 = 5*h + x + f for h.
0
Let z(n) = 7*n + 4. Let k be z(0). Let t be (-2)/2 + k + 5 + -6. Solve -2*c - 4 = 2*a, -4*a = -6*c + t*c + 32 for c.
3
Let a(m) = m**3 + 23*m**2 - 3*m - 66. Let x be a(-23). Solve -o = p + 1, -x = 2*p - p + 3*o for p.
0
Suppose 5*a = -g - 15, 0*a - 3 = -4*g + a. Let r = 0 - -4. Solve -r*c - 4*x = g, -3*c + 2*x - 3*x = 0 for c.
0
Let u be 4 - 1/((-3)/6). Let f be -1*(u/(-3) - -1). Let x(z) = 2*z**2. Let n be x(f). Solve m - n*o = 7, o = -m - 0 - 2 for m.
1
Let m be -3 + 2 - (-6 - -3). Let q(n) = -3*n + 2*n + 3 + 0*n + n**2 - 2*n**m. Let z be q(0). Solve -2*p + 4*v + 5 = -z*p, 2*v = 3*p + 1 for p.
-1
Let j(r) = -r**3 + 5*r**2 + 3*r - 15. Let u be j(5). Solve w + 2*q + 33 = 6*w, -5*w + q + 29 = u for w.
5
Let g(q) = q**2 - q + 15. Let c be g(0). Suppose 2*n = -4*d + 12, -2*d - 3*d + c = n. Solve 5*b = -2*t - 23 + 1, n = t - b - 3 for t.
-1
Let q = -33 + 33. Suppose -6*d = r - 5*d, q = -2*r - 4*d. Solve 6 = -4*i + 5*j - r, -i = -3*j + 5 for i.
1
Suppose 4*q + 91 = -9. Let p be (-1)/(-1) + -3 + -19. Let n = p - q. Solve 0*l = -5*x + 5*l + 25, -n*l = -x + 8 for x.
4
Suppose 0 = -0*x + 2*x - 4. Suppose 0 = -4*a - a + 15. Suppose 0 = 3*y + 2*s - 16, -x*s + 9 = -a*y + s. Solve y*p = -t - 3*p + 4, -5*t + 4*p = -20 for t.
4
Let h(c) = 2*c - 16. Let g be h(9). Suppose g*y = 9*y. Solve -x - 8 = -p - p, x + 4*p - 4 = y for x.
-4
Suppose 504*b - 493*b = 44. Solve -6*l + 8*l + 3*u + 2 = 0, 2*u = -4*l + b for l.
2
Suppose -2*k = 4*f + 40, -2*f - 3*f - 72 = -3*k. Let a be 4/14 - f/(-42). Solve -1 + 11 = -5*v - 3*z, -5*v - 4*z - 10 = a for v.
-2
Let b = -7 - -13. Suppose 0 = 25*g - 22*g - 6. Solve 26 = -4*p + g*o, 0 = 3*p + o + b + 6 for p.
-5
Suppose -2*g - 4*i - 17 = -i, 2*g + 2*i + 20 = 0. Let z be g/(-6) + (-5)/30. Let q(a) = -a - 3. Let d be q(-7). Solve -5*m = -y, -d*m + 6*y = z*y for m.
0
Let w(p) = 3*p**2 - p - 12. Let v be w(5). Suppose 4*d = -14 - 2, v = 3*r - 4*d. Solve 2*u = -3*b + 7*u + r, b = 2*u + 6 for b.
-2
Let g be (30 - 30) + 3*1. Solve t + 16 = -g*s, 5*t + 2*s - s + 24 = 0 for t.
-4
Let y = -2 - -30. Let r = 31 - y. Solve s + 1 = h, 4*s - r*h + 3 = -2 for s.
-2
Suppose -w = w + g + 5, 5*w - 4*g + 6 = 0. Suppose 6*u - 2*u + 64 = 0. Let j = w - u. Solve 2*a + 3*a - 2*i = j, 3*a = 2*i + 6 for a.
4
Let s(h) = 24*h - 116. Let v be s(5). Solve -2*r = v*k - 9*k + 24, 5*k - 20 = 0 for r.
-2
Suppose 1 = -h, -2 = -5*u - 3*h + 5. Solve 2*l - 2*i + 2 = -3*i, -u*i = 2*l - 2 for l.
-3
Let o = 47 - 44. Suppose 8*n - 65 = 3*n. Suppose -n = 2*i - 7*i - 3*d, -5*i = -5*d - 5. Solve -2*s - i*s - o*x = 35, 0 = -2*s + 3*x + 5 for s.
-5
Let l(d) = d**2 - 2*d + 6. Let m(o) = o**3 - 8*o**2 - 8*o - 7. Let a be m(9). Let x be l(a). Solve 5*u + x = 5*z + 21, z - 1 = 0 for u.
4
Let j be (-20)/6*3*-1. Let m be (1/6*2)/((-18)/(-216)). Suppose 0 = -3*y - 3*h - 4 + 10, -j = -2*y + m*h. Solve 0 = -0*f + f + y*d - 14, 17 = f + 4*d for f.
5
Let n(w) = -w**2 + 7*w + 12. Let b be n(9). Let f be (-1)/((-21)/b - 4). Solve 0*c - 2*c = -4*t + 10, -c - f*t + 7 = 0 for c.
1
Suppose 4*l - 49 + 149 = 2*y, 4*l - 260 = -4*y. Suppose 36 = -3*n - y. Let h be (3/6)/((-4)/n). Solve 4*v + p + 6 = 0, -3*v + 0*v + h*p - 14 = 0 for v.
-2
Suppose -c + 10 = 2*s, -s + 6*s = -c + 25. Let x(p) = 19*p - 30 + 15 + 2*p**2 + 0*p**2 - p**2. Let h be x(-20). Solve -5*w + h*q = 20, 0*q - q = 2*w + s for w.
-3
Suppose 9*m = 4*m + 3*f + 20, 5*f + 20 = 5*m. Solve 3*k = 4*g + 15, -2*g - 10 = -m*k + 10 for g.
0
Suppose -23 = 75*s - 173. Solve -12*l - 5*w + 5 = -13*l, -s*l - 2*w - 10 = 0 for l.
-5
Suppose -u + 5*u - 12 = -i, -i - u = 0. Let h be (3 + i - -3) + -3. Let k be (-3)/((-3)/6 + h). Solve 4*b - 6 = -0*n + k*n, 5*n = 3*b - 8 for b.
1
Suppose 4*v + 2 = -3*x + 8*v, -10 = -5*v. Solve -6*k = -5*k - 5*o - 12, -5*o = x*k + 21 for k.
-3
Suppose -13*m = -17*m + 12. Solve 5 = -m*s - 4*l - 2, -32 = -4*s + 5*l for s.
3
Let d = -50 - -84. Let m = -29 + d. Solve j - 10 = 3*c, -c + m*j + 30 = -2*c for c.
-5
Suppose 0 = -3*z + 4*z - 3. Suppose 0 = z*f - 2*f - 19. Suppose 3*y + 4 = f. Solve 10 = y*k - 3*k, 0 = -3*v + 2*k - 16 for v.
-2
Suppose 0 = 4*n + 24*n - 84. Solve 12 + n = 3*h, -4*x + 3*h - 7 = 0 for x.
2
Let t be -9 + 7 + (1 - -1). Suppose 0 = 2*c - 6*c + 40. Let w = 116 + -114. Solve t = -2*i - 5*r - c, -5*i + 18 = -3*i - w*r for i.
5
Let r = -812 + 812. Solve 2*l + 3*v + 0*v = 3, r = 3*l - 4*v - 13 for l.
3
Suppose -9*t = 7 - 25. Solve t*n - 6 = -3*p + 1, 5*p = -n + 14 for n.
-1
Let w be (11 - 14)*(4 - 0). Let i be w/18*15/(-2). Solve 5*c = -i*v + 5, -4*c = 2*v - 7*v - 31 for c.
4
Suppose -q - 2*q = -18. Sup