+ 0*k = o + 5, 0 = -4*k - 2*o for k.
1
Let a be ((-3)/21 - -1)*-7. Let h = -2 - a. Solve 20 = -5*o + h*k, -4*k = -o + 4*o - 20 for o.
0
Suppose 0 = 16*p + 2*p - 90. Solve 0 = 5*u - p*y - 0*y + 5, 3*u + 11 = -5*y for u.
-2
Let r be ((-35)/(-15) - 3)*3/1. Let b be 3 - r*(-1)/(-2). Solve 0 = -4*k - 12, -5*n + k = -b*n - 3 for n.
0
Let a be (-4)/(-12)*(-1 + 1). Let l be a*((-4)/(-8) + -1). Solve s + 3*b - 10 = l, -15 = -2*s + s - 4*b for s.
-5
Suppose 5*j - 5*h - 3 - 2 = 0, -4 = -j - 2*h. Let l = 49 - 45. Solve -2*y + l*f = 2, 0 = -j*y + f - 4*f + 12 for y.
3
Suppose -5*h - s = -46, -3*h - 3 = 4*s - 17. Solve -5*l - 3*q + 0*q = 40, 5*q = 3*l - h for l.
-5
Suppose n = 3*t + 18, 0 = 5*n - 44*t + 45*t - 42. Solve 3*z + 2*l + n + 6 = 0, 21 = -4*z - 3*l for z.
-3
Suppose 5*a + 91 - 6 = 0. Let z(v) = v**2 + 18*v + 18. Let m be z(a). Solve s + s = 2*r + 12, 4*s + r + m = 0 for s.
1
Suppose 8*r + 12 - 14 = 54. Let z be ((-30)/(-4))/(-3)*-2. Let m be ((-4)/3)/(6/(-9)). Solve 2*n = z*t - m + 9, 3*t - r = 4*n for n.
-4
Suppose 7*d + 122 = 150. Solve -a + o + 0*o = -8, -3*a + d = o for a.
3
Let t(d) = -17*d**3 - 2*d**2 + 1. Let b be (-8)/(-12) + 13/3. Suppose 4*y + b = -y. Let f be t(y). Solve 0 = 4*u - r - f, 5*u + 3*r + 4 = 7 for u.
3
Let c(q) = -11*q + 3. Let z be c(-4). Let i = -47 + z. Let w be 2 + -1 - 2/(-2). Solve -16 = -2*f + 6*j - w*j, i = 2*f + 5*j + 11 for f.
2
Let j = 177 - 172. Let f = 25 - 22. Solve 5*x + f = 2*x - j*q, -x = -2*q - 10 for x.
4
Let c(a) = a**2 - 3*a - 1. Let u be c(4). Suppose -u*w - 22 = -5*w. Let m = w - 6. Solve m*z - 19 = 6, z = -r + 9 for r.
4
Let x = -61 - -41. Let k be (2 + -1)*(-2 - x)/6. Solve -2*r - k = 4*u - 5*u, 0 = 4*r - 3*u + 3 for r.
-3
Let i be 1*(1 - 0)*0. Let x = -141 + 145. Suppose -x*y - 12 = -4*q + 8, 2*y = -3*q. Solve 2*l + 4*f - 2 = i, 5*l - f = -q*f + 5 for l.
1
Let b be 8/3*3/2. Let m = -28 - -60. Let y be 17/7 - m/(-56). Solve 2*l + y*c - b*c - 1 = 0, -5*l = c + 8 for l.
-1
Suppose 0*y - 3*c = -y, -1 = 2*y - 5*c. Let z be -2 - 8*y/6. Solve -z*l - 3*l + 2*a = 15, 0 = 2*l - a + 5 for l.
-5
Let l = -45 + 66. Let b = 8 - l. Let m = -9 - b. Solve 2*z = 5*u - m, 0*z + 3*z = 2*u - 6 for u.
0
Let n(w) = -9*w - 6. Let c be 2/(-4)*(-24)/2. Let b be n(c). Let f = b + 102. Solve 3*s + p - 14 = 0, -4*s - 5*p = -f + 16 for s.
4
Suppose -5*u - 1 = 4*l - 4, 4*l - 23 = -u. Let o = 7 - l. Suppose -d + 2*d - 4 = o. Solve -3*p - d*z - 5 = 0, 3*p - p + 1 = -5*z for p.
-3
Suppose 26 - 10 = -4*y. Let i(h) = h**3 + 3*h**2 - 5*h - 2. Let w be i(y). Solve -j = 3*x - 2 - 4, x + 4*j - w = 0 for x.
2
Suppose 5*k - 6 = 4. Let t(d) = 4*d**2 - 3*d + 4. Let h be t(1). Solve k*j - h*l + 20 = -0*j, 5*j + 23 = -l for j.
-5
Let x be (-24)/(-28)*7 - 4. Solve 0 = -h + c + 11 - x, 3*h - c = 19 for h.
5
Let i be 16/(-28)*-1*14. Let x(z) = 2*z + 6. Let p be x(i). Solve -5*y = -2*o - p, 22 = 3*o + 4*y + 9 for o.
-1
Let x(n) = n**3 - 9*n**2 + 9*n - 4. Let p be x(8). Let m = 4 - 0. Suppose 0 = -2*c + 8, -6*c = 4*w - m*c - 28. Solve -40 = p*r - w*h, -3*h = r + 2 - 9 for r.
-5
Let f(w) = -7*w + 31. Let b be f(10). Let g = 42 + b. Solve -3*v - 5*o = 20, -g*v - o = 1 + 3 for v.
0
Let m = 15 - 11. Let k(d) = -d**3 + 2*d**2 + 4*d. Let y = 16 - 13. Let p be k(y). Solve 0 = g - z + m*z - 7, g + 11 = p*z for g.
-2
Suppose 0 = -14*i + 32 + 122. Solve i = -3*d + 6*d + 5*f, d - f = 1 for d.
2
Suppose 2*h - 40 + 36 = 0. Solve 0 = -f + 5*j - 2*j + 7, -h*j + 14 = 4*f for f.
4
Let r = -336 - -338. Solve -r*h + 1 = u, 0 = -0*u - u - 3*h for u.
3
Suppose 0 = 2*f - 10, 260*w - f = 259*w + 11. Solve -6*t = -7*t + 4*u + 5, w = -2*t - 5*u for t.
-3
Suppose 4*b - 12 = -c, -4*b + 6*b - 6 = 0. Let r = -175 + -8. Let v = -179 - r. Solve -3*g + c*g + 24 = 3*s, -v*s - 3*g = -27 for s.
3
Let p be 4*(6 - (-42)/(-8)). Solve 0 = 5*u + 5*w, 4*u + 2*w + w = -p for u.
-3
Suppose 31*k = 62 + 31. Solve 3*b = -f - 4, -k*b - 2 = -f + 6 for b.
-2
Let q be (-4)/((-24)/102) + -4. Solve h - 3*h + m = -q, 17 = 3*h - m for h.
4
Let a = 926 + -926. Let t be -1*0/(-1 + 0). Solve t = -k - 0*m - 3*m - 1, k + 2*m = a for k.
2
Let l(x) = x**2 + 4*x + 3. Let g be l(0). Solve -3*u - 4 = -3*k + 2, -g = -k for u.
1
Let l = 0 - -3. Suppose -3*h = 0, 22 = 5*w + 4*h + 7. Let j be 2 - (1 - l/w). Solve -j*q + 4*m - 20 = 0, q = -5*m - 0*m + 25 for q.
0
Let l = -32 - -17. Suppose -f + x - 10 = 0, 2*f - 3*x = x - 18. Let w = f - l. Solve w*g + 2*k + 10 = 0, -2*g - 7 = 3*k - 0*k for g.
-2
Let k = -28 - -27. Let m be ((-25)/10)/(k*(-1)/(-2)). Solve -l = d - 4, -5*l + d = m*d - 16 for l.
0
Suppose -5*i + 6*i - 9 = 0. Suppose 24 = -3*x + i*x. Solve -2*t + 3 = -m, x*t - 6 = 5*m - 3 for t.
2
Let w(l) = -3*l - 6. Let h be w(-6). Let k(f) = f**3 - 5*f**2 + 4*f. Let x be k(5). Let b be (x/6)/(10/15). Solve -b*d + 4*v + h = 0, 2*d + 2*v = 4*v + 6 for d.
0
Suppose 5*m - 15 = 5*p, p + p + 3*m + 11 = 0. Let j be (-6)/p - 6/8*-30. Solve 2*y - 6*y = -5*v - j, -2*v = 4*y + 4 for v.
-4
Let g(m) = 5*m - 30. Let k be g(7). Solve 2*z - 10 = -2*n + 6*n, k*z = 25 for n.
0
Let l be (-4)/10 - 56/(-140). Solve 2*n = -3*t - 5, n = t - l*t for t.
-1
Let u(z) = -3*z - 141. Let s be u(0). Let r = 153 + s. Solve -3*g + r = 3*v, -22 = -3*g - 0*g - 5*v for g.
-1
Let g = 270 + -266. Solve -20 = -0*y + 3*y + g*a, 0 = -y + 2*a for y.
-4
Suppose -44*u = -48*u + 60. Solve -5*r + 5*z = -0*z + u, 10 = 2*z for r.
2
Let c = 294 - 273. Solve 5*l - a - a = -c, 5*a - 15 = 0 for l.
-3
Let y = 23 - 19. Suppose 17*u + y = 13*u. Let w be ((-2)/(-1))/(u + 3). Solve -5*i + 5*a + 5 = 0, 0*i - 3*a = i - w for i.
1
Let k = 3 + -7. Let m be (-27)/(-5) + k/10. Let r be -3*(-14)/49*7/3. Solve r*c = 5*c - 2*d + 16, m*c - 2*d = -24 for c.
-4
Let d = 46 + -41. Suppose -5*r = -10, -d*o + 0*o - 2*r + 29 = 0. Solve -2*i + i + 8 = -4*z, -o*z = -5*i + 25 for z.
-1
Let s(z) = -4*z - 91. Let a be s(-28). Solve -3*v + 0*v + a = 2*l, -5*v - 3*l + 34 = 0 for v.
5
Let v(o) = -o**3 + 16*o**2 + 16*o + 23. Let i be (-17)/((-6)/3*(-1)/(-2)). Let g be v(i). Solve 5*q = -z - 21, -5*z = -2*q - g - 24 for z.
4
Let f(r) = r + 9. Let j be f(-7). Let x = 67 + -62. Suppose 4*a = 3*h - a - 15, -4*a - 12 = 0. Solve -j*n = -10, -5*q = -h*q + x*n - 10 for q.
-3
Suppose -2*r + 11 = v - 6*v, 4*r + 23 = v. Let i = 7 + r. Suppose b - 3 - 1 = i. Solve -b*l + 17 = -3*d, 0*d = 4*l - 2*d - 14 for l.
2
Suppose 26 = d + 24. Suppose -4*g = -2*q + 2 + d, 5*g = q + 1. Solve -2*u = -3*o - 5*u, -15 = q*o + u for o.
-5
Let h = 16 - 10. Let g(b) = -4*b - b**2 - h*b + 2*b**2. Let w be g(10). Solve 3*m = 2*m - 3*v - 18, -2*m - 4*v - 26 = w for m.
-3
Let r be ((-6)/(-4))/((-9)/12). Let y be ((r - -4) + -8)/(-1). Solve 3*v - 9 = -s, -y*s = -s for v.
3
Suppose -2*h = 5*n + 2, 5*h + 0*n - 2*n = 24. Suppose 0 = 6*c - 20 - h. Solve 5*o - 20 = 5*i, 2*o = 5*o + 5*i - c for o.
3
Suppose -246 = 8*q - 270. Solve 5*j + 7 = -3*i - 10, 0 = q*j + 2*i + 10 for j.
-4
Suppose -2*x - p = 315, -3*x + 2*p - 479 = -3*p. Let n = 162 + x. Suppose 2*l + 4 = -b + 15, 1 = 3*b - 2*l. Solve o - 4*t = -4, -b*t = n*o - 3 - 0 for o.
0
Let q be 4/18*198/11. Solve -5*s - 7*a = -9*a + q, -4*s + a - 5 = 0 for s.
-2
Suppose -221 = 89*v - 106*v. Solve 2*a = 4*t - 22, -t = -a - 5*t + v for a.
-3
Suppose -2*y + 6*y - 12 = 0. Let z be 9/42*-2 + (-115)/(-7). Solve -u + z = -y*m, 2*u - 13 = -u + 2*m for u.
1
Suppose -3*r - 19 = -3*c - c, -14 = -3*c + 2*r. Suppose -5*b = -5*p + 10, -3*p + 4*b = -c*p + 2. Solve -p*v - 4 - 1 = -5*s, -v - s = -1 for v.
0
Let w(c) be the first derivative of -c**4 + 2*c**3/3 + 3*c**2/2 + c - 32. Let z be w(-1). Solve -4*m = -2*q + 6, -z*m - 16 = -4*q - 0*m for q.
5
Let l(a) = -2*a + 16. Let i be l(7). Let y be (2 + i)/((-2)/(-1)). Solve g = m + 2, -y*g = -9 - 1 for m.
3
Suppose -5 = -10*w + 9*w - 4*v, 0 = -w + 3*v + 5. Solve -2 + 22 = -3*s + w*z, 4*s + 25 = 5*z for s.
-5
Let o(n) = -n**2 - 9*n - 24. Let i be o(-5). Let r be -2 - (-19 + 1)/(5 + i). Solve 4*u - r = -3*d, 3*d + 5*u - 20 = -0*d for d.
0
Suppose 0 = -k + u + 1, 2*k + 0*k - 5*u - 2 = 0. Let l = 11 + -11. Solve 4*f - y + k = l, 0*f - 4 = 5*f - 4*y for f.
0
Let m(h) = 2*h. Suppose -2*q + 4*f - 6 = 0, -2*q = -0*q + 5*f - 30. Let x be m(q). Solve 3 + 3 = -3*a - 3*r, 0 = a + 5*r - x for a.
-5
Let b be 2 + (31 - 2)*-2. Let t(c) = -12*c**2 - 11*c - 11. Let v be t(-1).