n for n.
2
Let l(d) = 2*d**2 + 1 + 0*d + 1 - 5*d + 0. Let h be l(5). Let b = h + -15. Solve -c - b = 2*c for c.
-4
Suppose 0 = 5*j - 3*q - 18, j - 11 + 1 = -q. Suppose -6*k - 10 = -k + 5*v, 4*k + v = -20. Let i = k + j. Solve 3*m + 12 = -i for m.
-4
Suppose 0*y - 18 = -3*h + 3*y, 0 = -2*h + 4*y + 20. Suppose 3*w = -3 - 3. Let o be w/(-5) + (-4)/10. Solve o = -x - h - 0 for x.
-2
Suppose -n + 5*n - 2*t - 10 = 0, 3*n - 5*t = 4. Let h(d) = 8*d - n*d**3 + 4*d**3 + 2*d**2 - d + 6*d**2 + 1. Let c be h(-7). Solve -b - c = 2 for b.
-3
Let h(o) = o**2 - 7*o + 8. Let u be h(6). Let a(p) = 0 + 0*p + 3*p + 1 + 2*p**u. Let m be a(-2). Solve -g + m*g = -8 for g.
-4
Let l = -41 - -41. Solve l*j = 3*j - 15 for j.
5
Let q = 6 + -4. Let y = 6 + -3. Suppose -y*j - 2*n = 4, -2*j + 3*n + 0 = -6. Solve -b - q*b = j for b.
0
Suppose 5*w = 3*x - 8*x - 5, 3*x - 4*w - 11 = 0. Solve -s - x + 0 = 0 for s.
-1
Suppose -5*i = 4*g + 13, 4*i + 6 = -g - 11. Solve g*r = 4*r - 2 for r.
2
Suppose 4*l - 7*l + 9 = 0. Suppose 4*x + 1 - 6 = l*a, 4*x - 25 = -a. Suppose a*m = 3*m + 10. Solve -m*i + 7 = -8 for i.
3
Suppose -4*c = -6*c. Suppose -5*v + 40 = -c*v. Let n = v - 8. Solve n = -9*i + 4*i for i.
0
Let c be 1/(-4) + (-7)/(-28). Solve 5*r + 7 + 18 = c for r.
-5
Let n(z) = -10*z + 72. Let l be n(7). Solve l*x = -0*x for x.
0
Let z = 0 - -10. Suppose z = 2*v - v. Solve 3*k = k + v for k.
5
Let k = -10 + 13. Let n be 24/9 + (-1)/(-3). Solve k*q + n = -0*q for q.
-1
Let b be 12/30 + 6/(-15). Solve 4 + b = -2*i for i.
-2
Suppose -11*j = -13*j + 12. Let c(h) = -h**3 - h**2 - h - 1. Let a be c(-1). Let x(w) = w**3 - 7*w**2 - w + 7. Let b be x(7). Solve b = -a*v - 2*v - j for v.
-3
Let z be (2 - (7 - 0))/1. Let s(o) = o**3 + 5*o**2. Let p be s(z). Solve p = 2*x - 0 - 2 for x.
1
Suppose -5*g + 29 = -1. Suppose j - 4*c = -0*j - 7, 16 = 4*c. Let s = 14 - j. Solve s*p + g - 1 = 0 for p.
-1
Let t = 2 + -2. Let a be (-9)/15 + (-26)/(-10). Suppose 0 = v + a - 5. Solve t*p = -v*p for p.
0
Let b(m) = 2*m**2 + 2. Let u be b(3). Suppose q + 2*f = -2*q - u, 0 = q - 4*f + 2. Let n(r) = r**2 + 7*r + 6. Let a be n(q). Solve 2*g + a*g = -10 for g.
-5
Let r be -4 - 1 - (-10 - -3). Solve c = r*c - 2 for c.
2
Let w = 7 - 3. Solve -w*p = p - 5 for p.
1
Suppose 3 = -5*c + 2*c. Let s be -1 - -2*(c + 3). Let k = 6 + -6. Solve k = s*b - 0*b - 6 for b.
2
Let f = 28 + -19. Suppose -y + f = 2. Solve -15 + y = 4*r for r.
-2
Let t = 14 + -5. Let u be (-1 - (1 - 1))/(-1). Let g = u + 0. Solve 2*v + g + t = 0 for v.
-5
Suppose 0*p + 15 = 5*y - p, 0 = 3*y + 4*p + 14. Solve -1 - 9 = y*q for q.
-5
Let r(g) = -2*g - 9. Let i be r(-12). Suppose -f - 2*f = -i. Solve 0*b = f*b + 5 for b.
-1
Let v be 0/((0 - 2)*1). Let s be 12/(-21) + 12/21. Solve s = -v*z - z - 4 for z.
-4
Let a = -52 + 67. Solve 2*w + a = -w for w.
-5
Let q = -11 + 15. Solve -4*v - q = -0*v for v.
-1
Let s be 2/12 + (-10)/(-12). Solve 3*g - s - 5 = 0 for g.
2
Let w be 10/45 - (-60)/(-27). Let i(o) = -o**3 + o**2 + 3*o - 3. Let t be i(w). Solve 0 = -t*j - j - 16 for j.
-4
Suppose -2*l + 1 = -3*w - 0*w, l - w - 3 = 0. Solve 0 = 3*v - v - l for v.
4
Let l(d) = -2*d - 4. Let o be l(-5). Suppose p + o = 4*p. Suppose -p*y + 23 = 5*b - 0*y, 4*b = 4*y - 4. Solve -3*g + b + 3 = 0 for g.
2
Let b be (1 + -3 - -3)/(3/24). Solve -w + 3*w + b = 0 for w.
-4
Suppose 4*s - 1 = 15. Solve 0 = w - s + 1 for w.
3
Let t(j) be the first derivative of j**3/3 + 9*j**2/2 - 10*j - 3. Let v be t(-7). Let o be v/(-2)*7/21. Solve 3*a - 3 = o*a for a.
-3
Let v = 33 - 33. Let p be 2/(-6) + 13/3. Solve v*m = -p*m for m.
0
Suppose 0 = -2*j + 5*j. Suppose -2*y + 6 + 2 = j. Solve -y*h = -3*h - 2 for h.
2
Let j(z) = -2*z**2 - 5*z - 3. Let o be j(-3). Let r = -3 - o. Suppose 0*n = r*n. Solve 2*b = -n*b - 2 for b.
-1
Let g(q) = q**3 - 8*q**2 - q + 7. Let r be g(8). Let j be r/((4 + -1)/(-12)). Suppose 2*f = j*f. Solve 5*k + f*k + 15 = 0 for k.
-3
Let v = -114 - -116. Solve -v*z = -6*z - 12 for z.
-3
Suppose -12 = -3*m - m. Suppose 0 = m*t - 4*t + 18. Suppose 2*f = 4*w - 0*f - t, 0 = 3*w + 3*f - 18. Solve -w*j = -j for j.
0
Let f = -2 - -2. Let b = f - -3. Solve 0 = b*x - x for x.
0
Let n be 1*-3*(-4)/3. Suppose -5*x + 113 = -2*k + 4*k, -5*k = x - 41. Let s be (-20)/(-10) - 3/(-1). Solve -s*o = -n - x for o.
5
Suppose a + 33 = -3*d, 2*d + 2*a + 0*a = -26. Let u = d + 10. Solve u*s = -s for s.
0
Suppose 0 = -5*x + x - 4*z - 40, 2*z - 4 = 0. Let c = x + 31. Let u = -13 + c. Solve u*w - 2*w = 8 for w.
2
Suppose -4*d = -2*d + 5*o - 17, -5*d - o + 8 = 0. Solve -w - d = 4 for w.
-5
Suppose -5*a + 429 = -51. Let h = a + -56. Let t be (6/4)/(6/h). Solve 0 = -0*k - 2*k + t for k.
5
Let a(o) = -o**2 + 4*o + 15. Let f be a(6). Solve -f + 6 = -b for b.
-3
Let f be (0*(-5)/(-5))/2. Solve -4*c + 7*c - 6 = f for c.
2
Suppose 2*r = -2*b + 6, -r - 4*r + 15 = 3*b. Solve b*m + 4 = 2*m for m.
2
Let x(t) = 0*t + 2 + t - 6. Let l be x(4). Solve l = -o + 2*o - 2 for o.
2
Let r(s) = s - 2. Let i be r(0). Let l be (5/i)/((-5)/10). Solve 3 = -l*t - 2 for t.
-1
Let s = -14 - -20. Let a(q) = q**3 + 5*q**2 + 3*q. Suppose 3*w + 4 = -5. Let l be a(w). Solve -3*h + s = -l for h.
5
Suppose 3*g = -37 + 4. Let p(u) be the first derivative of -u**2/2 - 8*u + 15. Let t be p(g). Solve 2*n - 1 = t for n.
2
Let h(k) = -k. Let f(l) = 6*l - 7. Let z(s) = -f(s) - 5*h(s). Let g be z(9). Let t be 25/9 - g/9. Solve t - 6 = -u for u.
3
Let q(h) = h - 6. Let c be q(10). Suppose z = 5*l - 11, c*l - 7 = l + z. Solve 5 = -l*u + 3*u for u.
5
Suppose -2*l + 3 = -l. Let m be (6 - l - 0)/1. Suppose -m*z + 0*z = -3. Solve -z = c + 3 for c.
-4
Suppose -4*q = 20 - 4. Let o be 8/q + 9 + -2. Solve 4 = o*n - 4*n for n.
4
Let v(q) = q**3 - 4*q**2 + q - 5. Let m be v(4). Let o be -2 + (m - -3) - -3. Solve -o*s + 1 = 4 for s.
-1
Let h(b) be the third derivative of -b**2 - 1/60*b**5 + 0 + 1/24*b**4 + 0*b + 0*b**3. Let u be h(1). Solve u + 4 = i for i.
4
Let f = 165 - 162. Let a(b) = b + 2. Let q be a(0). Suppose -5*p + 83 = -r, 0*r = -q*p + 2*r + 38. Solve o - p = -f*o for o.
4
Suppose -26*j = -35*j + 27. Solve 0 = -0*s + j*s + 3 for s.
-1
Suppose 6 = 4*q - 2*q. Let o = q + -1. Solve -5*m = -o*m for m.
0
Let w(o) = o**3 + o**2 + o - 1. Let t be w(0). Let i be (0 - 1) + (t - -4). Suppose -x - f + 4 + 5 = 0, -4*x + 28 = i*f. Solve x*a = -15 - 5 for a.
-4
Let x(h) = -h**3 + 3*h**2 + 2. Let p be x(3). Let u(c) = 2*c**3 - 2*c**2 + 2*c - 1. Let l be u(1). Suppose -m = l - 3. Solve -p*g - m = -3*g for g.
2
Let v be (6 - 62)/(-7) - 2/2. Suppose 5*f - 31 = -3*y, 0*f + 2*f - 12 = -y. Solve f*z = v*z for z.
0
Let x(f) = -f**3 - 4*f**2 + 2*f + 5. Let t be x(-4). Let u be 5 + t/((-3)/(-2)). Suppose -3*y + 2*y = -4*b + 40, -5*b - 3*y = -50. Solve -u*s = -s - b for s.
5
Let i(n) = -n**2 + n. Suppose 3*u - 1 = -t, u - 5*u = -4*t + 4. Let g be i(t). Let b = -5 - -7. Solve g = -b*m - m for m.
0
Suppose 5*i = 4*p + p + 55, -5*i + 5 = 5*p. Let g(n) = -4*n - n**2 + i*n + n + 0*n + 3. Let w be g(3). Solve 0*j + w = j for j.
3
Suppose 4*x = -2*u - 6, -5*u = -0 + 15. Suppose 0 = 3*g - c - x*c - 14, 4*g - c - 17 = 0. Solve 4 = -2*w + g*w for w.
4
Suppose -3*k + 7*k + 2*f = -14, -3*f - 18 = 5*k. Let b be (1 - (k + 3))*1. Suppose 2*i + i - 15 = 0. Solve i*a - b = -16 for a.
-3
Suppose -5*k + 30 = 5*p, 2*p - 7 = -3. Solve 2*o + k = -6 for o.
-5
Suppose f - 220 = -3*f. Suppose 3*j = -19 + f. Suppose j = -3*w + 3*b, -2*b - 2 + 10 = 4*w. Solve -4*s - 12 = -w*s for s.
-3
Let d(b) = 2*b**2 - 3*b + 2. Let t be d(2). Let q = -35 + 62. Solve -q = t*f - 11 for f.
-4
Let v be (-72)/(-33) + (-8)/44. Solve 0 = v*n + 6 - 2 for n.
-2
Let y(g) = -g**3 + 11*g**2 + 13*g - 12. Let r be y(12). Solve r = -3*f - 2*f - 15 for f.
-3
Let d = 0 + 3. Let g = 11 - 5. Suppose 0 = -5*z + k + 22, -g*k = -d*z - 2*k + 3. Solve -z*f = 3 + 7 for f.
-2
Let p(o) = -o**2 + 8*o + 8. Let a be p(8). Let f = 1 - -4. Suppose -4*n + 5*h = -f + 2, 3 = 3*h. Solve -2*u - n = a for u.
-5
Let z be 2*2 - 3*(-4)/12. Solve -5*x = z - 0 for x.
-1
Let i = 12 + -8. Solve o + 0 = -i for o.
-4
Suppose -2*p + b + 14 = 0, -b + 2*b = 0. Let n = p + -3. Solve -6*a + n*a = -2 for a.
1
Suppose j - 6 = -2*j + 3*a, 2*j = 4*a. Solve -u = -j*u for u.
0
Let p be (-6)/(-9)*15/10. Suppose -13 = -5*v + 4*s, 3*v - 30 = 4*s - 9*s. Solve 4*b - p + v = 0 f