 b for x.
4
Let u(j) = -j**3 - 19*j**2 + 19*j - 16. Let f be u(-20). Solve 20 = -f*x - x for x.
-4
Let r(m) = m**2 - 10*m - 16. Let f be r(12). Let l = -1 + f. Solve 3*x + 8 = -l for x.
-5
Let y = -34 - -40. Solve 0 = -y*o + 3*o - 9 for o.
-3
Let w = 4 + 12. Let s = 1 + -1. Let a = s - -4. Solve a*h = -w - 4 for h.
-5
Let w(g) = g - 4. Let b(d) = -d + 4. Let o(f) = -4*b(f) - 5*w(f). Let v be o(4). Solve v = 5*t - 27 + 7 for t.
4
Suppose b - 4*d = -16, -24 + 8 = 3*b - 4*d. Suppose -3 = -5*j + 12. Solve b = -o - j*o for o.
0
Suppose 51 = 9*y + 15. Solve 0 = 4*m - y - 0 for m.
1
Let s be -1 + 1 + 5 + -4. Solve s + 1 = -v for v.
-2
Suppose -3*o - 15 = -21. Let a(s) = s**3 + 3*s**2 - 5*s + 1. Suppose -4*f + 2*p = f + 24, -2*f + 5*p - 18 = 0. Let t be a(f). Solve -3*m + o = -t*m for m.
-1
Suppose 2*v - 6 = 4. Suppose 5*p = p. Suppose y - 2*q + 7 = -p*y, 0 = -y + q - 2. Solve -v*m = -y*m for m.
0
Let i be -3 + 0 + (-510)/(-3). Let l = i + -83. Suppose -8*q + 4*q = -l. Solve -4 = -5*w + q for w.
5
Suppose -2*w + d + 4*d = 0, 3*w + d = 0. Solve -2*b = -w - 2 for b.
1
Let h be (-6)/14 - 6/(-14). Let a(f) = -f**2 + f + 16. Let n be a(h). Let c be 86/18 + 4/18. Solve c*x - x = n for x.
4
Let u(g) be the second derivative of -g**4/12 + g**3 + 9*g**2/2 + 5*g. Let x be u(7). Solve 0 + x = 2*o for o.
1
Let m(p) = p - 5. Let t be m(7). Let s be (9/2 - 2)*t. Solve 0 - 10 = -s*r for r.
2
Suppose 8 = 3*r - 3*k + 2*k, -3*r + 11 = 2*k. Suppose 3*b - x = 2, -r*b - b = 3*x - 20. Solve 6*v + 16 = b*v for v.
-4
Let f be 7 - 9/(18/8). Let b = -50 + 76. Let l be b/10 + (-4)/(-10). Solve -3 = f*a + l for a.
-2
Suppose -q = -2*s + 2*q, -4 = -4*s + 5*q. Let h(n) be the first derivative of n**2/2 - 4*n - 2. Let a be h(s). Solve 0*b + a*b = -4 for b.
-2
Let t = 10 - 6. Solve g + 9 = t*g for g.
3
Let p(n) = n**2 - 4*n - 17. Let g be p(7). Solve -5*u - 1 = g for u.
-1
Let k = 5 + -1. Let w be k*(-2 + 22/8). Let a = w + 5. Solve -3*x - a = x for x.
-2
Let p = 44 + -44. Solve p = -0*g + g + 2 for g.
-2
Let s(l) be the second derivative of l**3/6 + 6*l**2 - 5*l. Let i be s(-10). Solve -k - i*k - 15 = 0 for k.
-5
Suppose i + 2*i - 12 = -5*p, -2*p = 0. Let h(b) = -b**2 - 5*b. Let u be h(-5). Solve u*n = -n + i for n.
4
Suppose 0 = 6*u - u - 25. Let m(g) = 3*g**2 - 11*g + 2. Let w be m(4). Solve u*a - w = -1 for a.
1
Suppose 0 = 6*c - 11*c. Solve 3*b = -c - 15 for b.
-5
Let t = -3 + 6. Solve -j + t = -0 for j.
3
Suppose 11*c = 15 + 18. Let f = 2 + 1. Solve -3 = -f*v + c for v.
2
Let b(a) = -3*a**2 + 10*a + 11. Let l(w) = w**2 - 5*w - 5. Let y(x) = 2*b(x) + 5*l(x). Let p be y(-2). Solve -i = -4*i - p for i.
-1
Let n be (-3)/(1*(-3)/20). Let c(t) = t**3 - 9*t**2 - 12*t + 22. Let q be c(10). Solve -q*z + n = 2*z for z.
5
Let t = 53 - 50. Solve 2*h - t = -h for h.
1
Let a be (-3 - -1)/(2/(-4)). Solve 2*z - a = -2*z for z.
1
Let v(n) = -n**2 - n. Let j be v(-1). Let s(b) = -5*b - 7. Let m be s(-3). Solve j*x = 2*x - m for x.
4
Let u = 97 - 94. Solve -8 = 5*l - u for l.
-1
Let c(z) = -z**3 - 7*z**2 + z + 15. Let s be c(-7). Solve -a - a = -s for a.
4
Let i = 8 + -23. Let p = i + 15. Solve 2*c + 2*c + 4 = p for c.
-1
Suppose -2*s + 1 = -w - 10, 4*w = -3*s. Solve -s*k + 2 + 2 = 0 for k.
1
Suppose 4*j = j. Let z = j + -1. Let t be (-9 - (-2 + 1))*z. Solve -5*m - 3 + t = 0 for m.
1
Suppose 0 = j - 5*j. Let q(r) = -r**3 + r**2 - r + 12. Let g be q(j). Solve g = -3*u - 0*u for u.
-4
Let f(t) = t + 5. Let y be f(-5). Suppose -2*w - b + 5 = -30, 5*w - b - 77 = y. Solve 0*a + 4*a = w for a.
4
Let x(o) be the third derivative of o**5/60 - 5*o**4/24 - 2*o**3/3 - o**2. Let k be x(6). Suppose -27 = -5*r + k*g, g - 4 = 4*r - 25. Solve -r*y - 4 = -y for y.
-1
Let m = 23 - 21. Solve m*b - 2 = -4 for b.
-1
Let p be 30/20 - 10/(-4). Let n be (2/(-4))/((-2)/(-8)). Let c = n - -3. Solve f + c = p for f.
3
Let v be 5/((-4)/(5 + -9)). Solve v = -t + 10 for t.
5
Let n = -15 - -9. Let s = n - -6. Solve -3*r + 7 + 8 = s for r.
5
Let y = 13 + -18. Let h be y + -1 - (0 + -3). Let q be 0/(9/h + 5). Solve 2*b = -6 - q for b.
-3
Let m = 10 + -4. Suppose -3*w - m = -5*w. Suppose 2*c = w*y + 2, 5*c - 28 = -6*y + 2*y. Solve 0 = -c*g + 13 + 3 for g.
4
Suppose 4*z + 8 = 2*z. Let r = z + 3. Let w be 3/(r/(-2)*2). Solve -o - 1 = w for o.
-4
Let v(u) = 6*u**2 + 4*u**3 - 5*u**3 - 2 - 3*u**3 + 3*u**3 - 4*u. Let s be v(5). Suppose s*i = -i + 8. Solve -5*w + i + 13 = 0 for w.
3
Let m = 2 - 0. Suppose 0 = -2*w - 3*q - 3, 3*w - 5*q - 3 - m = 0. Solve 0 = -w*f + 3*f for f.
0
Let u(s) = -s - 8. Let c be u(-8). Suppose -3*g = -r, r - 2*g = -c*r. Solve -2*y + y = r for y.
0
Let n(v) = v**2 + v - 4. Let o be n(-3). Let j = -18 - -27. Suppose -3*w = -2*l + 1, o*l - j = -2*l - w. Solve -a = -l*a for a.
0
Suppose -2*p - 2*p = -96. Suppose -q + p = q. Solve -2*n + 2 = q for n.
-5
Let a(j) = -j**2 + 11*j. Let q be a(10). Suppose 11*p - q = 6*p. Solve 0*o = o + p for o.
-2
Suppose 3 = -2*q + 5*q. Let i be q + 2 + -1 + 9. Let x = 16 - i. Solve x*t - 3 - 12 = 0 for t.
3
Let z(a) = 11*a**2 + 2*a + 1. Let y be z(-1). Suppose c + y = 6*c. Suppose -3*x = 3*j, -c*x + x = 3*j + 8. Solve -4*t = -2*t + x for t.
-2
Suppose 20 = -5*c, 2*s = 5*s + 4*c - 20. Solve 3*t + s = -0*t for t.
-4
Let s = -11 + 14. Suppose 8*k - 5*k - s = 0. Solve -k = 2*o + 1 for o.
-1
Suppose -h = -0*h - 2. Let s(c) = 4*c. Let n be s(h). Suppose 5*q + 3*w - 57 = 0, 3*q - 32 = w - 5*w. Solve 4*a = q + n for a.
5
Let b(a) = a**2 + a + 4. Let o be b(-4). Let p = o - 12. Solve 0 = -p*u - 0*u for u.
0
Let k be 3/(-9) + (-218)/(-6). Suppose k - 6 = 5*r. Solve -r = l + 2*l for l.
-2
Let c(o) = 6*o**2 + o + 1. Suppose -2*q = -2*k - 14, 4*q + 2*k + 17 = -3*k. Let d be c(q). Solve d = 5*j + 7 for j.
4
Suppose -2*i + 1 = 7. Let w be (6*i)/((-6)/4). Suppose -w = -4*z + 24. Solve -1 - z = -2*n for n.
5
Let w = 3 - -5. Let d be 4/18 + w/(-36). Let x be (-1)/(d - 1) + -1. Solve -y - 2*y - 9 = x for y.
-3
Let o = 4 + -4. Let t be (4 + -2)*(1 - o). Solve 0 = -t*g - g for g.
0
Let l be 19/(-76) - 61/(-4). Solve -r - 4*r - l = 0 for r.
-3
Let j(k) = -k**3 - 4*k**2 + 4*k + 4. Let t be j(-4). Let l(q) = q**2 + 13*q + 18. Let h be l(t). Solve i = -h + 3 for i.
-3
Suppose t = -0*t + 5. Suppose 5*i = t - 20. Let r be 3 - (3 + i)/(-1). Solve -r*q - 9 = -0*q for q.
-3
Let w be 0/(-1 - (-2)/(-2)). Let d(m) = m**3 + 8*m**2 + m + 7. Let y be d(-8). Let f be 2*y - (-6 - -2). Solve f*r + 3 + 1 = w for r.
-2
Let s = 37 + -5. Suppose 6*b - 2*b - s = 0. Suppose b = m + m. Solve 0*l + m*l + 16 = 0 for l.
-4
Let t(o) = -o**3 + 4*o + 3. Let j be t(-2). Let v = j + -6. Let n(a) = 3*a**2 + 4*a + 1. Let w be n(v). Solve -g + w = 3*g for g.
4
Suppose 4*l = -u + 41, 3*l - 2*u - 23 - 5 = 0. Solve -i = -3*i + l for i.
5
Suppose -4*u = 4*p - 4, 5*u = -2*p + 5 + 3. Suppose 2*t + 5*d - 26 = 0, -3*t - 2*d = 3*d - 29. Solve t*x = -u*x for x.
0
Let l(d) = d - 2. Let r be l(4). Solve r*w + 3*w = 15 for w.
3
Let i be 3 - 3/(-3)*-5. Let a be (-3 - i - 0)/(-1). Solve -3*t - 7 = -a for t.
-2
Let f be 0*(1/2)/(-1). Let k = -3 + 5. Suppose 18 = -k*o - 5*m, -5*o + 0*m + 17 = -3*m. Solve f*p - o = -p for p.
1
Suppose -4*v - 4*i = -12, -2*v - 4*i + 12 = -4*v. Solve 4*j + v*j - 16 = 0 for j.
4
Suppose -11 = -3*r + 5*h, 3*r + 2*h - 6 = -r. Suppose 5*d - r - 3 = 0. Suppose -4*q + 11 = -d. Solve -6*t = -q*t for t.
0
Suppose -2*u - j = -17, 80 = -2*u + 7*u - 5*j. Solve 5*k + u = -9 for k.
-4
Suppose 3 = -r + 10. Solve -r*c = -3*c for c.
0
Let a(p) = -p**2 - p + 2. Let c be a(0). Solve 0 = c*f + 2*f for f.
0
Let t = -2 + 2. Suppose t*i = 4*i. Solve -6*l + l + 5 = i for l.
1
Suppose g + 3*g + 12 = h, -2*g = 2. Suppose h = 4*m - 0*m. Solve 2*f - m = 6 for f.
4
Let a(w) = 4*w + w + 5*w + 0*w - 3. Let y = 2 - 0. Let i be a(y). Solve 4*z + i - 5 = 0 for z.
-3
Let j = -11 - -37. Suppose 3*u - 2*a - j = -5, a + 3 = 0. Suppose -d + 16 = -5*g, 3*d + d = -3*g - u. Solve -2*i = -d + 5 for i.
-2
Suppose -3*h = -4*u - u + 25, 0 = -2*u - 2*h - 6. Let g = 6 - u. Solve 4*n + 24 = g for n.
-5
Suppose -4*v - 195 = 5*n - v, -188 = 4*n - 4*v. Let q(p) = p**2 + 8*p + 6. Let u be q(-5). Let z be (-2)/3 + n/u. Solve 4*j - z = 8 for j.
3
Let i be 3*185/105 + (-4)/14. Solve 2 = -i*z - 3 for z.
-1
Suppose 0 = -2*q - 3*q. Let f(c) = c**2 + 6*c - 4. Let b be f(-7). Su