m - b*i + 10, i = -m - 2*i + 10 for m.
-2
Let i be (11 - 13)*1/(-1). Solve 5*w = n, -i*n = w + 4*w + 15 for w.
-1
Let n(h) = -h**2 + 7*h - 6. Suppose 3 = -o + 7. Let g be n(o). Solve 2*w = 2*d + g, -5*w + 19 = -d - 2*d for w.
5
Suppose 4*u + u + 30 = 0. Let h = u + 6. Solve 3*k + 5*s + 3 + 1 = h, 0 = -4*k - s + 6 for k.
2
Let o(i) = -i**2 - 10*i + 10. Let k be o(-10). Solve 2*b = 5*c - 35, -5*b = 5*c - 2*c + k for b.
-5
Let p(d) = 23*d - 15. Let x(k) = -34*k + 22. Let h(i) = -7*p(i) - 5*x(i). Let o be h(2). Solve w = -4*m + o, 8 = 5*w - w + 5*m for w.
-3
Let i be (2/4)/(3/12). Let q = 3 + i. Suppose q*f = w - 15, f + 1 + 2 = -w. Solve -u = -2*c + 2*u - 19, -5*u + 15 = w for c.
-5
Let u be (-1)/(100/32 - 3). Let i be -1 + 20 - (7 + u). Solve -2*c + 2*j + 8 = -0, 5*j = 4*c - i for c.
0
Let p = -33 - -36. Solve -3*y + 12 = 5*c - 3*c, 3*c - 12 = -p*y for y.
4
Let p be (2 - (-4)/(-1)) + 40. Let t be (-1)/(-5) - p/(-10). Suppose -5*w + 0*w - 106 = -4*v, -32 = -v + t*w. Solve z - v = 5*x, -z - 2*z = 5*x + 8 for x.
-4
Let a(f) = -f**3 + 6*f**2 - 8*f + 7. Let u be a(5). Let w = 14 + u. Solve 3*m - w = -m - 2*c, 10 = 2*c for m.
-1
Suppose -a = -4*f + 3*f - 4, -3*a + 12 = -4*f. Suppose 5*n - 3*n - a = 0. Suppose 1 = n*i - 3. Solve -15 = -5*s + 5*z, 4*z - 6 = i for s.
5
Let g be (-3)/((-9)/6) - 1. Solve -3*v + 7*v = 3*z + 31, -g = -4*v - 3*z for v.
4
Suppose 8 = l + 3*l. Let y be 34/8 + 3/(-12). Suppose 5 = -3*s - 3*b - y, 0 = -b - 5. Solve -4*x - 8 = l*c, -s*c + 4*x + 0*x = -16 for c.
2
Let l = -1 - 0. Let f be l*2 + 2 - -2. Suppose -j + 4*q + 16 = -q, -f*j - 5*q = 13. Solve -4*r = -5*x + j, -3*r + 2*r - 4 = -5*x for r.
1
Suppose -50 = -10*o - 0. Let l be 6 - 1/((-1)/(-2)). Solve 5*v = -3*g + 8, l*g - 5 = -o*v - 1 for v.
4
Let y = 12 - 11. Let v be 2 + 0/y - -8. Solve s - 4*s + 3*q + 6 = 0, 0 = 5*q + v for s.
0
Suppose 1 = 2*h - 3. Let t = 5 + -2. Suppose 0 = 5*f + 4*p - 58, -4*f - 3*p = -8 - 38. Solve -i = t*x + f, -2*x + h*i - 7 - 5 = 0 for x.
-4
Let h(v) = -v - 7. Let a be h(-5). Let w be 5 + a + (1 - -1). Solve 0 = -0*t + 2*t + 10, 0 = 4*u + w*t + 41 for u.
-4
Let i be (3/6)/(1/6). Solve -5*r + i*b - 3 + 0 = 0, 0 = -2*r - 5*b + 5 for r.
0
Let g = -1 - 6. Let b(a) = -a**2 - 8*a - 2. Let k be b(g). Solve 2*p + 3 = 2*v - p, -16 = -k*v - p for v.
3
Suppose -l = 3*l. Let c(r) = -4*r + 40. Let n be c(9). Solve l*s + 2*y - 15 = 5*s, 4*s - n*y + 12 = 0 for s.
-3
Suppose 0 = -3*o + 4*s + 17, 3*s + 6 = -0*s. Let q be (-14)/o*234/(-91). Solve -4*y = 4, -y - q = 2*t - 3 for t.
-4
Let m = -15 - -15. Let w(k) = k**3 - 6*k**2 + k - 3. Let z be w(6). Let d = -2 - -5. Solve z*i + 5*a + 6 = m, 2*a + a = d*i + 6 for i.
-2
Let x(i) = -2*i - 3. Let p be x(-3). Suppose k = -3*o + 25, p*k + 25 = -2*k. Let s = 0 + 3. Solve t + 2 = 0, -s*z - 5*t = -0*z + o for z.
0
Let v be (-38)/(-9) + (-2)/9. Let l(s) = -6*s + 3 - 2*s**2 - 2 + 2*s**3 - s**3. Let c be l(v). Solve 4*h = o - 3, -5*o + h = 14 + c for o.
-5
Let j(o) = o**2 + 4. Let y be j(0). Suppose 0 = 5*k - 3*k - 10. Solve -2*h + k*q = 14 + 1, y*h - 2*q = -6 for h.
0
Let z = -4 + 12. Let y = 15 - z. Solve 2*s + h = y*s, 0 = 2*h + 10 for s.
-1
Let m be (-2)/(-3) - (3/(-9) - 2). Solve 2*d - d - 12 = -m*o, 2*d - 18 = -4*o for o.
3
Let b be 0 + -2 - 28/(-4). Suppose -b*j + 30 = -g, j - 2*g = 3*g + 30. Solve j*o - 27 = -4*r, -3*r - 5*o + 18 = -2*o for r.
3
Let p(a) = 2*a**3 - 2*a**2 + 1. Let y be p(1). Let w be y/(-1 - -2) - -3. Suppose w*q - 123 = -51. Solve 2*o = 3*m + 16, 5*o - o + m = q for o.
5
Let w be (-126)/33 + (-2)/11. Let z = w - -9. Let k be 3/6*8 + -2. Solve -o - z = k*i, -4*o + 2*o + 5*i + 35 = 0 for o.
5
Let k(j) = -4*j - 6. Let p be k(-4). Solve -4*r + 15 = w, -5*w = -5*r + p + 15 for w.
-1
Suppose 0*v = 5*v - 60. Solve 2*t + 6 = -4*p, 6*t - 2*t - p + v = 0 for t.
-3
Let s be 0 + 0 + (-5)/(-1). Suppose -47 = -s*a - 12. Solve 3*q = 5*w, 4*w = 4*q - 1 - a for w.
3
Suppose j - u - 4 = 0, -3*u = -3*j + 2*u + 10. Let o = j + 23. Suppose -5*n - 6*p + 10 = -2*p, n - 2 = 5*p. Solve v - n*v + 20 = -4*d, 4*v = 3*d + o for v.
4
Let f(w) = w**2. Let n(s) = s**3 - 3*s**2 - 2*s + 4. Let r be n(3). Let o be f(r). Solve -2*x + z - 12 = -3*z, 0 = o*x - 2*z + 18 for x.
-4
Let g = -42 - -28. Let r = 18 + g. Let t = 11 - 7. Solve 3*u - r*q = 2 + 26, -3*u - 4*q = t for u.
4
Let w(b) = -b**2 + b + 5. Let l be w(0). Let o = 14 - 12. Solve -3*z + o*m = 31 - 14, -2*z + l*m - 26 = 0 for z.
-3
Let f(y) = y**2 + 2*y - 1. Let l be f(-3). Suppose 5*u + 4*i + i - 50 = 0, 1 = -l*u + 5*i. Let r = 7 - u. Solve 6*p - p - 20 = r, 5*p - 17 = -3*j for j.
-1
Suppose 26 = -10*u + 8*u. Let s = -8 - u. Solve 0 = t - 2, 1 = 2*l - 2*t - s for l.
5
Let a be (12/(-5))/((-9)/60). Solve -x + 4 = 4*x - 3*i, 4*x + 4*i + a = 0 for x.
-1
Suppose -30 + 5 = -5*u. Let j(k) = k + 1. Let p(x) = -x**2 + 3. Let m(y) = 4*j(y) - p(y). Let w be m(-6). Solve 2*b + u = -i, -i - 5*b - w = -b for i.
3
Let l = -2 + -2. Let s(z) = -2*z - 6. Let n be s(l). Let y = 10 + -3. Solve 2*o = -4*q - 16, -y*q - 20 = -n*q for o.
0
Let q be (6/7)/(7/49). Suppose k = -k + q. Solve -l = 5*i - k, l + 4*l + 5*i = 15 for l.
3
Let u(t) = -t**2 - 2*t. Let i be u(-2). Suppose i = -0*q + 3*q - 12. Let p = -4 - -13. Solve -m = v - p, 5*m + q = m + 4*v for m.
4
Suppose -5*s + 2*s = 5*j - 29, -3*j - 4*s + 24 = 0. Solve -r + 5 = -4*h + j, 0 = 5*h + 4*r - 25 for h.
1
Let n(p) be the third derivative of -p**4/8 - 5*p**3/6 + p**2. Let r be n(-3). Solve 3*i + 2*u - 15 = -r, 0 = 2*i - 5*u - 1 for i.
3
Suppose -4*d = -3*w - 12 + 1, w - 8 = -d. Solve -2*f = -3*l - 2*l - 25, 2*f = -w*l + 1 for f.
5
Suppose -3*i + 7*i = -4*a + 60, 4*i - 3*a - 60 = 0. Suppose d = 3*s - i, 3*d - 8 = -3*s + 7. Solve c = 4*y - 8 - 7, s*y - 5*c = 0 for y.
5
Suppose -35 = -5*w - 5*a, -7 = -w - 2*a + 5. Solve i = -4*h - 14, 5*i - w*h + 4 = -0*i for i.
-2
Let p(m) = 2 + 0*m - 2*m + 3*m. Let s be p(-8). Let k be s/(-24) + 2/(-8). Solve k*c = -5*c - 4*j - 4, c - 2*j + 12 = 0 for c.
-4
Let l(f) = 5 - 2 - 4*f**2 + 6*f + 3*f**2. Let w be l(6). Solve w*c + k + 2*k + 21 = 0, 3*c - 3 = 5*k for c.
-4
Suppose 3*z - 3*n = -15, -3*z + n - 13 + 6 = 0. Let l = z - -5. Solve -x + 9 = -3*a, -8 = -l*a - 2*x - 20 for a.
-3
Let a(n) = n**2 - 4*n + 3. Let m be a(4). Solve -5*y = m*s - 40, 2*y = -3*y + s + 20 for y.
5
Let v = 28 + -26. Solve 3 = -3*o + q, v*o = -3*o - 3*q + 9 for o.
0
Let k(u) = u + 3. Suppose 0 = -4*l + 26 + 10. Let a = -5 + l. Let v be k(a). Solve y = 3*t, -v*y - 7 = -4*y - 2*t for y.
-3
Suppose 0*k - 3*k + 6 = 0. Let z be 1 - (-5 + 6/k). Solve 4*b = -5*j - 5, 1 - 4 = 2*b + z*j for b.
0
Suppose -2*y = x - 15, -2*y = -3*x + 2*x - 1. Let i = 10 - x. Suppose 2*m - 3*p - 22 = 0, -6*m + 3*p = -2*m - 32. Solve -3*w + 4 = m*j + w, i*w - 3 = 5*j for j.
0
Let y(l) = -2*l + 37. Let o be y(15). Solve 3*k - o = 5*n, 4 - 9 = -2*k + 3*n for k.
4
Let v be 2 - 0 - (-4 + 1). Let i = v - 1. Solve -i*c + 4*p - 8 = 0, 3*p = -p + 12 for c.
1
Let l be (-2)/(2/(-3) - 0). Let x be ((-1)/3)/(8/(-168)). Suppose 0 = -4*w + 12, -24 = -5*h + w - x. Solve -l*q - 10 = 4*m, 0 = -7*m + 4*m - 4*q - h for m.
-4
Suppose 2*z + 186 = -54. Let f be z/(-54) + (-4)/18. Solve -p + c = 4*p - 11, -3*p + f*c + 8 = 0 for p.
2
Let b = 6 - 11. Let y(r) be the first derivative of -r**2 - 7*r - 1. Let h be y(b). Solve 5 = 3*p + 5*x - 10, -h*p + 6 = 2*x for p.
0
Let h(x) = -1 + 12*x - 4 - 5*x + 3. Let b(j) = -j. Let a(t) = -6*b(t) - h(t). Let v be a(-2). Solve -5*s + 2*s - v*q = -7, 3*s - 4 = -q for s.
1
Let t be (2 + -3 - -4) + (-2 - -1). Solve -t + 5 = 5*s - u, -3*s - 1 = -2*u for s.
1
Let d = 15 - 11. Suppose 14 + 2 = d*v. Solve 5*a = p - 20, -4*a + 13 = v*p + p for a.
-3
Let k be ((-2)/(-4))/((-3)/(-18)). Solve -z - 2*c + 1 = -8, z = c - k for z.
1
Suppose -3*y = -16 + 1. Suppose 2 = g + 5*m, 4*m - 31 = -y*g - 0*g. Suppose 0 = -5*x + 3 + g. Solve 0 = a + 3*k - 5, -x = 5*a - 2*k + 7 for a.
-1
Suppose -8*r + 3*r = 0. Solve 4*a - q + 3 = r, -9 = -3*a - 3*q - 0 for a.
0
Let a be (-1 - 0)*(-3 + 1). Suppose a*q - 8 = -2. Suppose 5*c - 2*w = 19, q*w - 2*w = 5*c - 17. Solve 4*j - r + 0*r = -10, -3*r = -j + c for j.
-3
Let i(f) = f**3 - 3*f**2 - 6*f + 2. Let c be i(5). Solve 5*o = 3*o + 4*m - c, 23 = -o + 5*m for o.
-3
Let h be -2 - (1 + -1) - -6. Let n = h + -1. Solve -r - 7 = r - 3*i, n*r