*m = h*b - 0*m - 16 for b.
4
Suppose -4*y + 0 = -3*c - 23, 3*c - y + 8 = 0. Let a be 16/(-2)*c + -3. Solve -w + a = -4*r, -r - 25 = -5*w - 4*r for w.
5
Let r = 43 + -37. Solve -2*o + r = q, 5*o + 6*q - q = 20 for o.
2
Let c(i) = -i**2 - 3*i + 2. Let p be ((-5)/5)/(2/6). Let t be c(p). Solve -2*o + 8 + 4 = 2*y, 3*y + t*o - 16 = 0 for y.
4
Suppose -5*d + 3*d + 4 = 0. Suppose 9*t = 4*t + 15. Solve -t*n + 15 = 0, -3*z + d*n - 4*n + 25 = 0 for z.
5
Let j(b) = -b**3 + 4*b**2 + 4*b + 7. Suppose -5*r - 12 = -37. Let a be j(r). Solve -4*d + 3*g + 24 = 0, g + 5 = a*d - 5 for d.
3
Let b = 6 - 4. Let h be b*-3*(-4)/8. Solve -h*m + 36 = 2*s + 16, 4*m - 4 = 3*s for s.
4
Suppose 0 + 6 = q. Solve -3*p = 4*v + 8, -3*p - p - 2*v = -q for p.
4
Let l(x) = -x**2 - 6*x - 3. Let u be l(-4). Let s be 34/10 + (-2)/5. Solve 2*v + 9 = -2*v - s*n, u*v + 2*n = -13 for v.
-3
Let r = 5 + -3. Suppose 3*f + 0*f = -u - 4, 4*f + 32 = 4*u. Let t = f + 5. Solve -q + 0*x = r*x, -t*q = -4*x for q.
0
Suppose -3 = 3*n - 18. Suppose -f = n*w - 0*f - 47, 2*w - 2*f - 14 = 0. Solve 2*h - 8 = 3*l, h + 4*l - 2 + w = 0 for h.
1
Let v be (1 + (-4)/2)*-4. Suppose v*h = 3*h + 3. Solve 4*w - 26 = -2*f, 0 = 6*w - 3*w + h*f - 27 for w.
4
Let p = -15 + 19. Solve -p*j + 3*q - 18 = 0, q + 1 = -j - 0 for j.
-3
Suppose -27 = -5*j + 18. Suppose j*t - 14 = 7*t. Solve 0*d = -3*g - 2*d - t, -5 = -5*d for g.
-3
Let t be (15/6 + -1)*2. Let y be 1 - -1 - 6/t. Suppose a - 5*a + 20 = y. Solve 0 = -a*m - 20, -5*j = -4*m - 0*m - 26 for j.
2
Let s(m) = -m**3 - 10*m**2 + 12*m + 33. Let z be s(-11). Let o = 9 - 4. Solve 3*n + 9 + 6 = 0, -o*n - z = k for k.
3
Let f be 6/(-6) + (-20 - 2)/(-2). Solve -3*j + 0*j + i - f = 0, 0 = -2*j - 2*i - 4 for j.
-3
Let v = 4 + -2. Suppose -v*l = -g + 5*g - 4, l + 16 = 4*g. Solve 2*s - 6*s - g*f = -5, 2*s = -4*f - 10 for s.
5
Suppose 3*l = 2*b - 0*b + 21, 4*b = 4*l - 32. Solve 6 = -4*a - 10, -d = -l*a - 21 for d.
1
Let q = -4 + 4. Suppose 0 = -q*j + 3*j - 9. Solve 4*f - 5*k + j*k - 6 = 0, 0 = f + k - 9 for f.
4
Suppose -3*j = 3*m - 63, 5*j + 5*m - m - 102 = 0. Suppose -2*z - 3*v = -18 + 2, 3*v = -3*z + j. Solve z*t + q + 3 = 0, 0*q = -5*t + 4*q - 14 for t.
-2
Let g be ((-9)/27)/((-1)/69). Let u = -20 + g. Solve 0 = 2*c - 2*m + 7*m - u, -3*c + 5*m = 8 for c.
-1
Suppose -7*u + 9*u = 0. Solve -3*g - 1 = -z - u*g, 3*z - 8 = 4*g for z.
4
Let g = 3 - 2. Let z be 3*(2 - (g - 3)). Suppose -4*b = -b - z. Solve -2*n = -4*h + 2, 0 = b*n - 23 + 3 for h.
3
Suppose 0 = -10*g + 6*g + 16. Solve -3*h + 21 - 5 = g*c, h = -c + 5 for h.
4
Let t(s) = -8*s. Let r be t(-1). Suppose 0 = -6*a + 2*a + r. Solve -5*d = -a*m + 3*m - 13, 2*m - 16 = -5*d for m.
3
Let y(o) = 2*o - 1. Let w be y(1). Suppose 3*s = -2*l + 25, -s + 7 + 4 = 2*l. Let g be w/((3/s)/3). Solve -4*f = -3*z - 17, -f - g = 3*z - 0 for f.
2
Let j = -35 - -59. Let h(q) = 2*q**2 + 2*q. Let v(g) = -g + 2. Let i be v(4). Let p be h(i). Solve 0 = -4*l + 4*d - j, -p*d + 0 = -20 for l.
-1
Suppose -t = -3*r + 8 - 23, 3*r = -3*t - 3. Suppose y - 10 = -y, 3*y = t*h - 39. Suppose 2*f = 26 + h. Solve 0*z - 2*z - f = 3*b, 2*b + 8 = 0 for z.
-5
Let f(k) = k**3 + 4*k**2 - 5*k - 1. Let t be f(-4). Suppose 3*b = t + 41. Solve -3*j = -3 - 3, -5*v - 5*j = -b for v.
2
Suppose -b - 3*b = -2*d - 20, -5*b = -5*d - 25. Solve 0 = -2*s - 2*i, 0 = -4*s - d*i - i for s.
0
Let k be 7*-1 - (-7 - -8). Let l be 2/k + 58/8. Solve l*p = -4*o + 2*p + 14, 4*p = -5*o + 13 for o.
1
Suppose -3*n - 4*c - 24 = 26, 3*c + 34 = -2*n. Let l = n + 23. Solve 3 - l = a + 2*b, -3 = -4*a + b for a.
0
Let g be (3 - -1 - 4)/(-1). Solve -4*o + 4*w - 8 = -2*o, o - w = g for o.
4
Suppose 4 = 4*m - 0. Let b be 3 - (m*-6)/(-2). Solve -1 = -2*u - 2*q + 5, -5*u + 2*q + 22 = b for u.
4
Let y(z) = 10*z**2 - 5*z + 4. Let g be y(4). Let a be (-3)/(-4) - g/(-64). Solve 4*d + 19 = 5*j + 3*d, a*j - 7 = 5*d for j.
4
Let n be (0/(-2))/((-36)/9). Solve -5*a - 5*v + 40 = n, -4*v - 16 = -5*a - v for a.
5
Suppose 2*d = -0*d + 4. Solve -d*x = 4*a + 8, -2*a - 11 = -4*x + 13 for x.
4
Suppose -3 = -l - 4*n - 2, n = 2*l - 11. Solve -a + l = v, -a + 4*v = -v + 7 for a.
3
Suppose -4*c = -42 + 34. Solve -5*x - 31 = c*n, 5*n + 25 = -x - x for x.
-5
Let l = -6 + 7. Suppose h = 3 + l. Let u = 0 + h. Solve -5*i = u*y + y + 5, i + 3 = 0 for y.
2
Let b(j) = j**3 - 9*j**2 + 5*j + 12. Let a be b(9). Let q(d) = d - 34. Let k be q(0). Let t = a + k. Solve 0*i = -2*i + 2*g - 2, -2*i = 5*g + t for i.
-4
Let q be (-60)/(-6) - (2 + 0). Suppose n - q = -2. Solve -4*p = -2*w + n, -2*p - 3*w = 6 - 23 for p.
1
Let y(l) be the first derivative of -l**4/4 + 10*l**3/3 - 5*l**2 + 11*l - 7. Let z be y(9). Solve z*o + 12 = -4*d, -3*o + d - 12 = 4*d for o.
-2
Let w = -12 + 10. Let m be (-4 - w)/((-4)/8). Solve 3*s + 26 = -0*s + m*i, 5 = i for s.
-2
Let k = 101 + -101. Solve -5*d - 2*s - 15 = k, 0*d - d - 21 = 4*s for d.
-1
Let n be 0 + (-3 - -1) + -16 + 20. Solve w - 4*f = 21, 4*w - 11 + n = f for w.
1
Let a(y) = -y**3 - 6*y**2 + 2. Let r be a(-6). Solve 0 = -o - h + r, -3*h = o + o - 9 for o.
-3
Let m be (-8)/(-12) + (-14)/(-6). Let u be m/2 + (-2)/(-4). Suppose -u*z = -3*n + 6 - 4, 4*n = 4*z. Solve -4*b = 2*s - 10 - z, -4*b + 36 = -4*s for s.
-4
Suppose 3*n - 5*v - 4 = 11, 5*n + 3*v + 9 = 0. Let o = 5 + -2. Suppose -5 - 1 = -o*p. Solve -3*d + 3 + n = 3*m, -p = -d for m.
-1
Let i be 22/2 + 1/(-1). Let c = 1 + i. Solve 2*z - 4 = -2*o, -4*o = -4*z - c - 5 for o.
3
Let n be 5*(-1)/1*-1. Solve d + 2*d = -n*m - 6, 3*m = 2*d + 4 for d.
-2
Let y be 3 + 5/((-5)/(-2)). Suppose -8 = -y*d + 7. Solve 4*j - d*h - 9 = 0, -3*j + 0*j + 4*h = -12 for j.
0
Let s(f) = 3*f**3 - 2*f**2 + 1. Let y be s(1). Let k be 15/5*1*1. Solve -y*x - 8 - 3 = -k*l, -2*x + 14 = 2*l for l.
5
Let v(f) = 4*f**2 - 1. Let k be v(-1). Solve -i - 2*y = -4*y, -2*i + k*y - 2 = 0 for i.
-4
Let k = 13 + -8. Let h = 5 - k. Let n be (-52)/(-28) + 2/14. Solve n*a + 2*l - 2 = h, 0*a + a - l = 5 for a.
3
Let v(x) = 2*x**2 - 4*x + 3. Let h be v(4). Suppose 3*y = 4*d - 11, 3*y + 2*d = -0*d + h. Solve y*k - 2*r + 3 = r, -7 = -k - 3*r for k.
1
Suppose 9*x = 10*x - 3. Let b(a) = a**3 + 4*a**2 - a - 3. Let o be b(-3). Solve 2*r + 2*h = -6, -h = r + x*h + o for r.
-1
Suppose 0 = -u - 3*u + 20. Let y be (-2)/(-3) - (-5)/15. Suppose 2*x - 11 = -y. Solve -u*m + x = -5*p, -p = -5*m - 0*m + 1 for p.
-1
Let k be 1 - (-3 - -3 - 3). Suppose 2*n = 4*n - k. Suppose 6 = n*c - y, -2 = -0*c - 4*c - 3*y. Solve 6 - 18 = -2*g - c*p, 9 = -2*g + 5*p for g.
3
Let u = 63 + -61. Solve 5*s - u*r + 16 = -9, -5*s + r - 25 = 0 for s.
-5
Let c(u) = u**2 + 3*u - 7. Let i be c(-5). Solve -i*d = -3*g + 4 + 2, -17 = 4*d + 5*g for d.
-3
Suppose -11 = c - 2*c. Solve 2*g + 2 = 2*n, -5*n + 0*n + c = -3*g for n.
4
Let m(x) = 1. Let k(h) = h - 14. Let g(i) = -k(i) - 2*m(i). Let r be g(9). Solve -r*c - 3*z + 7 = -2, -z + 5 = -c for c.
-1
Let f = 17 + -11. Let b be (-3)/18 - (-19)/f. Solve 9 = -3*l - b*x, 0*l = 2*l + 3*x + 11 for l.
2
Suppose b + 5 = 3*n, 2*b = 4*b - 5*n + 12. Let m = 15 + b. Solve 2*c + 4*u - 7 = 5*u, 4*c - 24 = m*u for c.
1
Let x be (-6)/((-9)/(-3)) + 3. Suppose -5*j - x = -3*z, 6 = -z + 2*z + 4*j. Let b(t) = -t + 6. Let w be b(5). Solve -k - w = -z*u, -2*u + 4 = -k + u for k.
5
Suppose -20*u + 25*u = 0. Solve 2*z - 3*a - 15 = u, 5*z + a = -3*a + 3 for z.
3
Let u(l) = -2*l**2 + 0*l**2 + 4 - 3*l + l**2. Let p be (1/(-3))/(19/228). Let i be u(p). Solve -5*q + 12 = -4*o, i = 4*o + 5*q - 0*q - 28 for o.
2
Let g = 8 + -5. Let r = 11 - g. Solve -5*w - 20 = 3*t, 5*w = -3*t + 3*w - r for t.
0
Let l(o) = o**2 - 6*o - 5. Suppose -3*x + 10 - 3 = 5*r, -2 = 2*x. Suppose -r*i - 14 = -4*i. Let n be l(i). Solve -5*t + 16 = -4*s, n*t + 13 = 5*t + s for t.
4
Let h be (-1 + 3)/(0 - 2). Let r = h - -11. Solve b + r = -3*o - 1, 2*b + 6 = -2*o for b.
1
Suppose -p + 30 = -6*p. Let s = 11 + p. Suppose 0 = -2*x + h + 27, s*x - x + 3*h = 69. Solve 10 = 5*z - 3*d, -5*z - d + x = -3*z for z.
5
Let c(a) = a + 13. Let n be c(-9). Solve -19 = n*u - u - b, 12 = 3*b for u.
-5
Let r = 25 - 19. Solve 6 = -3*l - r, 2*p = -4*l - 6 for p.
5
Suppose 0 = -t + 4*t - 6. Let h be 0/1 + 0 + t. Suppose h*v + 0 + 4 = -d, 3*v + 6 = -3*d. Solve -n - 2*n - 4*r + 8 = d, -3*n - 5*r + 7 = 0 for n.
4
Let h be 5*(2 - 32/20). Solve 4*a - 13 = -h*o + 1, -3*o - 15 = -3*a f