3*m for m.
-4
Let z = -8 - -18. Suppose -5*j = -0*j - z. Solve -j*s + 4*s = 0 for s.
0
Let z = -19 + 27. Let t(k) = -k**3 + 7*k**2 + 10*k - 7. Let m be t(z). Solve 0 = 3*d - m - 3 for d.
4
Let u(v) = 4*v + 16. Let i be u(-4). Solve -3*k + 7 + 5 = i for k.
4
Suppose 2*n = -1 + 7. Solve 0 = -4*u + n*u for u.
0
Suppose -6 = -2*j + u, 0*u - 3*u = 3*j. Let r(d) = d**2 - d + 5. Let p be r(0). Suppose -p = -5*y + 5, -3*y + 6 = 4*o. Solve o = j*x - 0*x - 8 for x.
4
Let k(u) = u**2 + u. Let n = 4 + -5. Let v be k(n). Solve v*o = -o - 1 for o.
-1
Let i(u) = 2*u + 7 + 3*u - 5*u - u. Let q be i(5). Solve 0 = r + q*r for r.
0
Let m = -2 - 0. Let p be 1 - (0/(-2) + m). Let j be -1*((-63)/3 + 1). Solve -j = -p*o - o for o.
5
Let g(p) = 2*p - p + 2 + 9. Let i be g(-6). Suppose -c = -i*h - 6*c + 5, -c = -4*h + 9. Solve -3*z - 25 = h*z for z.
-5
Let t(n) = 6*n - 3. Let v be t(1). Let x be v + 5/(5/(-3)). Solve x = -5*h - 0 + 5 for h.
1
Suppose -5*p + 4*d - 44 = -125, -5*d - 7 = p. Let x(a) = a**2 - 2*a - 3. Let c be x(4). Solve c*b + p = -12 for b.
-5
Suppose 3*m = -m + 12. Suppose -t = m*t. Solve t = -2*p + 4*p for p.
0
Let u = 3 + 2. Suppose k - u*t = -t - 16, 0 = 4*k + t - 4. Solve k = 2*m - 8 for m.
4
Suppose 0 = -0*w + 3*w - 27. Suppose -5*s + 56 + w = 0. Suppose 5*o = 4*q + s + 18, 4 = -q. Solve 0 = o*d - 4*d for d.
0
Let c(s) = s**3 + 5*s**2 + 7*s + 12. Let k be c(-4). Solve k = v + 2*v for v.
0
Let r be ((-16)/24)/((-6)/45). Solve 2*q + r = q for q.
-5
Let v(o) = 2*o**3 + 11*o**2 - 7*o + 6. Let h be v(-6). Suppose -4 = -2*n - 2*s + 4, 0 = 3*n + s - 8. Solve -n*b - h = b for b.
-4
Let z(w) = w**2 + 8*w + 5. Suppose -5*u = -2*u. Let j(t) = -t**2 - 8. Let d be j(u). Let q be z(d). Solve -i = -q*i + 4 for i.
1
Let z(s) = s + 14. Let g be z(-7). Suppose 2*b - g - 3 = 0. Let x = b + -5. Solve x*n = -4*n + 20 for n.
5
Let b(c) = -2*c - 6. Let v be b(-4). Suppose 0 = o - 5, j - v*o = -j - 6. Let u = -6 - -8. Solve -j*m = u*m for m.
0
Suppose -5*n - 6 = 4. Let a be 4/16 - n/(-8). Suppose 3*d - 8 = -d. Solve -5*m + d*m + 3 = a for m.
1
Let b(n) = -n**3 - 5*n**2 - 2*n - 6. Let w be b(-5). Solve w*d - 2 = -6 for d.
-1
Let r = -46 - -47. Solve -1 = -o + r for o.
2
Let l(g) = g**3 + 16*g**2 + 14*g - 15. Let m be l(-15). Solve -3*a - 15 = -m for a.
-5
Let k(h) = h + 6. Let s(d) = 1. Let o(x) = -k(x) + 2*s(x). Let l(q) = q**3 + 3*q**2 - 4*q - 4. Let u be l(-4). Let c be o(u). Solve 4*a + 5 + 15 = c for a.
-5
Suppose 4*y + 5*s = 35, -2*y - 4*s + 6*s = -22. Solve -3*i - y - 5 = 0 for i.
-5
Suppose a = -4*b - 0*b + 22, 32 = 5*b - a. Solve 0 = -b*p + 2*p - 16 for p.
-4
Let l be ((-3)/(-9))/(2/(-6)). Let g = 7 + l. Solve 0 = 2*a + g - 2 for a.
-2
Let k(v) = 21*v**2 - 1. Let p be k(-1). Suppose -5*o + 0*b + p = 5*b, 0 = -2*o + 5*b - 20. Suppose o = 4*m + 3 - 19. Solve 3*n - m - 2 = 0 for n.
2
Let z(p) = p**3 + 7*p**2 + p + 1. Let s be z(-7). Let r be (-6)/(-3)*(-3)/1. Let m = r - s. Solve m = 3*k - 4*k for k.
0
Let w(q) = q**3 - 5*q**2 + 5*q - 1. Let v = -1 - -5. Let z be w(v). Suppose -2*b = -4, 0*f + f = z*b - 2. Solve -f = -0*g - 4*g for g.
1
Let y = 12 + -7. Suppose 4 = -2*a, -u + 3 = -a - 3. Let z = -5 + 8. Solve u*s - z = y for s.
2
Let f be (3 - 1)*(2 + -1). Suppose -1 = q - f*q. Suppose z = q + 4. Solve -5*i - z = 5 for i.
-2
Suppose 3*f = -2*f + 140. Suppose -a - 3*a + f = 0. Solve -5*w + 8 = -a for w.
3
Suppose -g + 15 = -4*g. Let w = g - -8. Solve 4*b = w*b for b.
0
Let r be -3 + 0 + (2 - -1). Solve 0 = 4*n - 12 - r for n.
3
Let n be (5/3)/(2/(-6)). Let b be (5 + n)/(2/1). Let t(i) = -i + 2. Let v be t(b). Solve 0 = -v*m - 1 + 7 for m.
3
Suppose -g - 2 = 2*b, 4 = -5*g - 6. Solve -5*p = -b*p - 25 for p.
5
Let h(o) = -8*o - 1. Let u be h(-1). Solve -5*k - 3 - u = 0 for k.
-2
Let s(y) = -y**3 - 3*y**2 - 3*y - 2. Let k be s(-2). Solve k = -6*o + o - 10 for o.
-2
Let u(c) = -c**3 - 3*c - c + 1 - c**2 + 3*c. Let a be u(-2). Suppose -2*l + 21 = 3*l + 3*y, -l + 5*y = a. Solve 8 = -l*w - w for w.
-2
Let o(p) = 3*p**3 - 1. Let v be o(1). Solve 2*w = -v*w - 20 for w.
-5
Let s(c) = -c**2 + 8*c - 6. Let g be s(5). Suppose -4*n + 23 = -g. Let a be (-6)/(-4)*n/6. Solve a = -b + 5 for b.
3
Suppose 4*a + s = 9, -4*a + 3 = -3*a + s. Suppose 3*v + 0*f - f = -a, 4*v + 4*f - 8 = 0. Let g = v + 3. Solve g*u + 6 = -0*u for u.
-2
Suppose 4*a + 0*w = -2*w + 10, 0 = 5*a + 5*w - 5. Suppose j - a = 1. Suppose -5*h - 19 = -j*d - 7*h, 4*h = 5*d - 7. Solve -2*k = -k + d for k.
-3
Let x(i) be the first derivative of 5*i**3/3 - 2. Let y(n) = 9*n**2 + n + 1. Let f(u) = -5*x(u) + 3*y(u). Let c be f(-2). Solve -8 = v - c*v for v.
2
Let j(y) = y**2 + 3*y + 1. Let a be j(-5). Let h = -7 + a. Suppose 0 = 2*o + h*k - 70, -2*k + 20 = 2*k. Solve -3*n + 8*n + o = 0 for n.
-5
Let n(r) = r**2 - 7*r - 4. Let j be n(8). Let z(q) = -2*q + q - j + 0*q. Let k be z(-4). Solve k*a = -a - 5 for a.
-5
Let c(m) = m**2 + 5*m + 4. Let d be c(-5). Suppose 2*f - d*k + 2 = 0, 3 = 2*f - 2*k - 1. Let h = 7 - f. Solve 3 = -h*w + w for w.
-3
Suppose -n + 6 = -k, -2*k + 20 = 2*n - 6*k. Suppose -3*d + 21 = -9. Suppose -l = -5*p + d, 4*l - l + 4*p = 8. Solve l = 4*r - 6 - n for r.
2
Let u = -3 + 9. Suppose 12*h = 2*h. Solve h = -u*o + 7*o - 4 for o.
4
Suppose -4*v - 24 = -64. Let x be (-2)/v + 202/10. Solve 8*i = 4*i + x for i.
5
Suppose 0*z + 5*m + 1 = z, -z = -2*m - 1. Let d be z/((-1)/4) - -2. Let s be 3/((-5)/d - 1). Solve -2*t + t = -s for t.
2
Let x be (-3)/(-3) + -1 - -1. Suppose -v = -2*v + x. Let c be (-2)/(-2) - (0 + v). Solve c = -4*n - 0*n + 20 for n.
5
Let n(x) = x**2 + 9*x - 13. Let w be n(-11). Solve -5*d + w = -1 for d.
2
Let r = -36 + 38. Solve 3*t = -r*t for t.
0
Let m = 0 + 8. Suppose -3*b = 3*l - 27, -3*l + 2*b - 33 = -m*l. Suppose -u - 64 = -l*u. Solve 2*d + u = 6*d for d.
4
Suppose 0 = 5*h - 4*h - 5*h. Suppose -12 = -4*x - 0*x. Solve -u + h*u = -x for u.
3
Let l(d) = -d + 5. Let n be l(0). Suppose -n*b = -c - 7, 4*c + 8*b - 3*b = 22. Solve c*w + w = 0 for w.
0
Let z(j) = 2*j - 1. Let i be z(1). Let n be (i/4)/((-5)/(-20)). Let y be (n + -6)*6/(-10). Solve -2*d + 5 + y = 0 for d.
4
Let p be 5/(-15) - (-2)/6. Suppose p = -3*k + z + 14, -3*k + 5 - 1 = z. Solve k*g = -0*g for g.
0
Suppose 0 = 4*l + 2*j - j - 32, 3*l + 3*j - 33 = 0. Solve 4*h + 5 = -l for h.
-3
Let y(z) = z**2 - 5*z + 1. Let x = -2 + 2. Let n be 10/(0 + (x - -2)). Let l be y(n). Solve -h + l = 4 for h.
-3
Let n = -23 + 23. Solve n*a = 3*a - 6 for a.
2
Let d(u) = -u**2 - 7*u - 1. Let n be d(-6). Solve n*j - 16 = 4 for j.
4
Let y(c) = c**2 - 8*c - 3. Let f be y(8). Let v be 12/2*f/(-9). Solve 5*n = 4*n + v for n.
2
Let h be 2 + -1 + (2 - 3). Solve 2*s + 2 = -h for s.
-1
Let r(z) = -z**2 + 11*z - 8. Let m be r(10). Suppose 0 = b - 4*b + 18. Suppose 3*t + 3*q - 24 = 0, -t - 3*q = -b*q + 8. Solve -m*x = -t*x + 8 for x.
4
Let v be 10/2*(-6)/(-15). Suppose 2*c = 4*b + 2, v*b + 0*b + 13 = 5*c. Solve 3*t - c = -0*t for t.
1
Let y be (-1 - -1)*4/(-8). Solve y = 6*s - 2*s - 20 for s.
5
Suppose 2*x + i - 10 = -i, -4*i = 4. Solve w - x + 1 = 0 for w.
5
Let o = -4 - -4. Suppose -2*c - 2*a + 4 = o, -c + 4*a - 4 = -3*c. Let n = 23 - 21. Solve c*u = -n*u + 16 for u.
4
Let g(w) = w**3 + 7*w**2 + 9*w + 2. Let i be g(-6). Let a be (-8)/(-20) + 64/(-10). Let z be 63/28*i/a. Solve -3*r = -z*r for r.
0
Let f(y) = 3*y - 1. Let k(w) = -w - 6. Let a be k(-9). Let i be f(a). Let b = 4 + -1. Solve -b*u = u - i for u.
2
Let s be 130/14 + (-2)/7. Suppose -66 = -9*p + 42. Let x = p - s. Solve x*f = -0 + 3 for f.
1
Let s be 15 - 0/4 - -3. Solve -4*r - s = -2 for r.
-4
Let z(r) = r + 8. Let q be z(-4). Let p = q - 3. Suppose 4*l - 3 = 9. Solve -l*k + p = 13 for k.
-4
Let t(g) = 1 - 5*g + 5*g - 2*g. Let x be t(-1). Solve 0*z - 3*z + x = 0 for z.
1
Let x be (-20)/(-35) - 20/(-14). Solve 4 = -x*m + 10 for m.
3
Let p be (-2 - (-4)/2)*(-5 - -6). Solve p = 2*f + f for f.
0
Let u be 3 - (1 - (0 - -2)). Suppose t - 10 = -5*q + 27, 2*t = -u*q + 32. Solve -2*k + 25 = -q*k for k.
-5
Let h = 18 + -16. Solve 2*a = -4 - h for a.
-3
Suppose -2*f + 1 = -3. Solve 3 = h - f for h.
5
Let j = 22 + -7. Solve -5*d - j = -10*d for d.
3
Let z(l) = -l**3 - 2*l**2 - 3*l - 3. Let v be z(-2). Solve 0 = p - v*p for p.
0
Let z = -1 - -11. Let t = z - 7. Suppose -16 = -3*q - 4. Solve -q = t*a - 4*a for a