 = -l + 2 for n.
-3
Let a be (-4)/(10/(-4) - -3). Let d = 11 + a. Solve -2*v + d*v - 1 = 0 for v.
1
Let j = -9 + 17. Solve -4 = -3*i + j for i.
4
Let c be -7*(-2 - -6 - 5). Solve c + 9 = 4*d for d.
4
Let d(n) = n**3 - 3*n**2 - 5*n + 5. Let k be d(4). Let c be k/2 + 6/4. Suppose 8 = -c*r + 6*r. Solve 0*v - 10 = r*v for v.
-5
Let g be (20/6)/(6/63). Let i be 95/g + 2/7. Solve -2 = d - i for d.
1
Let v(l) = l**3 - 2*l**2 - 4*l + 3. Let s be v(3). Solve -4*t + s*t - 8 = 0 for t.
-2
Let o(z) = z**3 - 5*z**2 + 4. Let y be o(5). Suppose i = -2*w - 2, 0 = y*i - w + 4*w + 3. Solve 3*b + b + 8 = i for b.
-2
Let o be (-6)/(-33) + (-60)/(-33). Suppose 16 = 4*m, o*s + 10 = 2*m + 3*m. Solve -s + 1 = i for i.
-4
Let o be 3/(33/(-12) - -2). Let r = -1 - o. Solve 1 = -r*b + 4*b for b.
1
Let j(h) = -h + 10. Let a be j(7). Suppose -5*r - 3*x = 0, a*r + r - 3*x = 0. Solve -l - l + 10 = r for l.
5
Let l(r) be the third derivative of r**5/60 + r**4/6 - r**2. Let w be l(-5). Let d(q) = -q**3 + 6*q**2 - 6*q + 5. Let n be d(5). Solve -o + w*o + 4 = n for o.
-1
Let y be -1 + (-2 - (-16)/4). Solve -16 + y = 3*w for w.
-5
Let a be (4 + -4)/(-5 - -2). Let f = a - 0. Solve -3*p - 6 + 3 = f for p.
-1
Suppose 0 = -5*q - 6 - 34. Let g be -2*-2*(-2)/q. Suppose v = -0*v + 9. Solve -g = -4*r - v for r.
-2
Let c(z) = -z**3 + 6*z**2 - 5*z. Suppose 2*y + 4*s + 2 = -0*y, -5*y + 2*s = -19. Let w = y + 2. Let u be c(w). Solve 2*h = -u*h for h.
0
Let i(m) = -2*m. Let h be i(-3). Let b(d) = -d. Let y be b(-2). Let v be (-2)/(8/(-3) + y). Solve n = v*n - h for n.
3
Suppose i + i + 12 = 0. Let r be (-4)/i - 7/(-3). Solve 3 = -2*m + r*m for m.
3
Suppose -f - 10 = 3*z - 16, 3*z - 6 = 0. Solve -2*x - 13 + 3 = f for x.
-5
Suppose -4*u = -0*u + 40. Let r be (-1)/(1 - u/(-8)). Let v = 18 + -10. Solve -r = -3*m + v for m.
4
Let b = 9 - 7. Suppose -4*u - 2*r + 18 = -3*u, -4*u = -b*r - 32. Let t(k) = -k**2 - 7*k - 7. Let f be t(-5). Solve -2*q = f*q + u for q.
-2
Let s be 12/1*4/(-6). Let d = 10 + s. Suppose -2*b - d*b - x + 20 = 0, 2*x = 0. Solve -b*m + 3*m + 4 = 0 for m.
2
Let u = -16 + 10. Let z = u + 7. Solve 4*v + 3 + z = 0 for v.
-1
Suppose -26*y - 10 + 62 = 0. Let p = 0 - -5. Suppose i - 7 = -0*i - 5*s, 13 = p*i + 3*s. Solve d = -i - y for d.
-4
Let m(q) = -q**3 - 2*q**2 + 2*q + 3. Let t be m(0). Solve -t*n = -2*n - 3 for n.
3
Let o = -35 - -37. Solve -2*x - o = 4 for x.
-3
Suppose 4*z - 16 - 4 = 0. Let m = z - 2. Solve -m*k = -4*k + 4 for k.
4
Let q = -9 + -12. Let g = 33 + q. Solve 2*f - g = -f for f.
4
Let j be (-1)/(-2)*(-1 - 19). Let a(w) be the third derivative of w**5/60 + 5*w**4/12 - 9*w**2. Let h be a(j). Solve 2*i = -h*i for i.
0
Let a be (-84)/(-24) - 1/2. Solve -k + a = -0 for k.
3
Let f = -1 + 30. Let d = -10 + f. Solve 3*t = 7 - d for t.
-4
Let v(p) = -p**3 - 6*p**2 + 6*p - 4. Let q be v(-7). Suppose 0 = h + y + 2, h + 5 = -q*y - 1. Solve 0 = -5*f - h*f for f.
0
Suppose -3*h + 12*h = 0. Solve h = c - 6*c - 15 for c.
-3
Let n(d) = -13*d. Let y be n(1). Suppose 2*b - 1 = -3*s, 6*b - 5*b + 3*s = 8. Let l = b - y. Solve 0 = l*a - 2*a - 4 for a.
1
Let m be (0/(-1) - -6)*1. Let l be ((4 - 4)/1)/(-2). Suppose d - z - 6 = 0, z - 3 - 1 = -4*d. Solve l = m*x - d*x for x.
0
Let o be -2 + ((-12)/2)/(-1). Let k(w) = w**2 - 5*w + 5. Let s be k(o). Solve -n + 2 = -s for n.
3
Let m(g) = g**2 + 4*g - 7. Let n be m(-6). Let x(k) = k**2 - 2*k - 3. Let q be x(n). Solve -q = 5*o + 8 for o.
-4
Let j be -2*(-2 + 21/6). Let h = j + 3. Let u be ((-2)/9)/(8/(-72)). Solve -u*i + h*i = 0 for i.
0
Let j(i) = -5*i + 1. Let q be j(2). Let u be 3/(q/3) + 3. Solve u*h + 1 + 3 = 0 for h.
-2
Let u be (-5 - 0) + 5 - -5. Solve -u = -t - 0*t for t.
5
Let v be 0 + (3*1 - 1). Suppose -2*m - 16 = 12. Let c = m - -14. Solve c = v*l + l for l.
0
Suppose 205 = 2*r + 57. Let b be (-6)/(-8) + r/8. Solve f = -f + b for f.
5
Let h = -11 - -13. Let o be ((-2)/(-6))/((-2)/(-6)). Solve 0 = -r - o - h for r.
-3
Let g(n) = n**3 - 10*n**2 - 25*n + 14. Let r be g(12). Solve r + 2 = 2*k for k.
2
Suppose 0 = -o + 15. Solve o = -4*h - 5 for h.
-5
Suppose -5*t - 5*t + 80 = 0. Solve -t = -2*r - 2 for r.
3
Suppose 4*l = -f + 143, -2*l + f + 54 = 5*f. Suppose -5*k + l = 4*g, 5*k = 3*g + 3 + 13. Suppose 3*w = w. Solve -b = -w*b + k for b.
-5
Let l = 3 - 6. Let y be l/(2 - (-3)/(-6)). Let t be (-21)/(-4) - y/(-8). Solve 3 = 4*b - t for b.
2
Suppose 4*l - 6*l + 6 = 0. Suppose 3*z = -3 - l. Let b be (z/5)/((-5)/150). Solve -5*a = -a - b for a.
3
Let n = -8 + 10. Let f(t) = -t + 9. Let q be f(9). Solve q = -0*r - n*r for r.
0
Suppose -4*j + 27 = -13. Solve -3*n - j = -5*n for n.
5
Suppose 2*y = 3*x - 5, 4*x = -0*y - 2*y + 30. Suppose y*a - 2 = -4*s - 8, -a - 2*s - 6 = 0. Solve a*c = 4*c - 4 for c.
2
Let k(n) = -n**2 + 4*n + 6. Let c be k(5). Let i be -1 + (4 - c)/3. Suppose i = a - 6*a. Solve j = -a*j for j.
0
Suppose -7*s = -2*q - 3*s, 4*q - 50 = -2*s. Suppose -15 = 3*j - 3, 5*a = -5*j - q. Suppose r - 24 = -a*r. Solve l + r = 5*l for l.
2
Suppose 0*l + 25 = 4*l + 5*t, 2*l + 4*t - 14 = 0. Solve -8*q = -3*q + l for q.
-1
Let q = -8 - -9. Solve 0 = 3*s - 2*s - q for s.
1
Let b(z) = -z**3. Let m be b(1). Let s be 0/((m - 2)/(-3)). Let v = 5 - 2. Solve -3*u + s*u = v for u.
-1
Suppose 3*p + 5*j = -p + 2, 2*p = 4*j + 14. Suppose 4*m + p*d + 8 = -d, 2*d + 16 = 4*m. Suppose 5*k - 9 = 4*n, m*n = k + 4*k - 17. Solve -g = -5*g + n for g.
1
Let u(s) = -s**3 - s**2 + 2*s + 3. Let t be u(-2). Suppose -4*q = -t*q + 2. Let z be (q + 0)*(-20)/8. Solve -16 = z*m - 6 for m.
-2
Let w be -5*4/(-5) - 2. Solve 0 = -w*h - 2*h for h.
0
Let g(r) = r**2 + 3*r + 3. Let f be g(-3). Let i = f - 3. Let t = -4 - -4. Solve t = a + 5 - i for a.
-5
Let d be (1/3 - 1) + (-212)/(-318). Suppose c + l = 5, 3*c - 4*l = -0 + 1. Solve c = 3*p - d for p.
1
Let s be 1*-7*12/(-14). Let k(i) = i**3 - 5*i**2 - 8*i + 8. Let c be k(s). Let p = c + 6. Solve m = p + 2 for m.
4
Let u = 0 - -2. Let c be 6*(u + (-9)/6). Let r be 3 + ((-6)/c - -1). Solve 3*n = r*n + 5 for n.
5
Let d = 22 - 20. Solve -d - 2 = -i for i.
4
Suppose -2*t = 2*n - 14, 0 = -4*t + n - 0 + 3. Let b(g) = g**3 - g**2 - 3*g + 2. Let q be b(t). Solve u + 2 - 3 = q for u.
1
Let i = 3 + -3. Suppose -m + 11 = z - 2, i = -2*z + 2*m + 6. Solve -z*d + 3*d = -15 for d.
3
Let o be (-6)/45 + 276/45. Suppose -s - o = -4*s. Solve 0*y + 2*y = -s for y.
-1
Suppose l + 13 = 23. Solve 5*k + 10 + l = 0 for k.
-4
Suppose 3*z + i = 7, 5*i - 7 + 32 = 0. Suppose -5*x = -10, g - 3 = -z*x + 1. Let r = g + 4. Solve -3 = -r*t - t for t.
3
Suppose 0 = -3*a + 5*i + 5 + 1, -5*a = i + 18. Let c(q) = q**3 + 3*q**2 + q + 4. Let o be c(a). Solve -3 = -p - o for p.
2
Let t(i) = i**3 + 10*i**2 + 8*i - 3. Let b be t(-9). Let f(g) = 2*g**2 - 2*g - 1. Let d be f(2). Solve l = d*l - b for l.
3
Let o = -3 - -6. Let y(i) = i**2 - 28*i + 136. Let x be y(22). Solve o*d - 3 = x*d for d.
-3
Suppose -3*j = -7 - 29. Solve 0 = -4*x + x + j for x.
4
Suppose -4*x - 5 = -9. Let a be (0 + (0 - 0))/(-1). Suppose 10 = -2*k - 5*v, -7*k + 3*k - 2*v + 12 = 0. Solve -4*t - x + k = a for t.
1
Let k be 32/(-12)*3/(-2). Suppose -3*g - k = -7. Let p = g - -1. Solve 2*f = -p*f - 4 for f.
-1
Suppose 3*o - 15 = 2*j, -j + 24 - 9 = 3*o. Solve -o + 1 = 4*r for r.
-1
Suppose 4*i - i = -6. Let q be 3*3/((-9)/i). Suppose 2*t - 3*o = 6*t - 19, t + 2*o = 1. Solve -t = -a - q for a.
5
Let l(a) = -3*a**3 - a**2 + 1. Let y be (3 - 1)/(-2) + 6. Let h be 1 - 0 - (-3 + y). Let m be l(h). Solve 0 = -v - m - 0 for v.
-3
Suppose 9 - 9 = 7*x. Solve 3*f - 7 - 5 = x for f.
4
Let l(g) = -g**3 - 4*g**2 - 3*g + 3. Let w be l(-3). Suppose 2*s = -w*s. Let a = 1 - s. Solve a = b - 3 for b.
4
Let x = 8 - -7. Suppose 0 = -v - x + 36. Let u(l) = -3*l - 15. Let c be u(-7). Solve -5*a - v + c = 0 for a.
-3
Let x(k) = -5*k + 3. Let q be x(-4). Let b = -12 + q. Suppose 5*z + 2 = 4*m, -5*m + b = -4. Solve -d - z = d for d.
-1
Suppose -4*g - 23 = 5*p - 0*p, -g = -2*p - 4. Let a be (-4)/14 - g/7. Solve 4*y - 5*y + 2 = a for y.
2
Suppose -4*w + 55 = -3*f, -85 = -5*w - 3*f + 4. Let z be (w/12)/(2/(-165)). Let s be z/(-8) + 2/8. Solve 4*c - 6 - s = 0 for c.
5
Let v = -3 - -6. Let w be (-3)/6 - v/(-2). Solve 0 = o + w - 2 for o.
1
Suppose -5*l = -36 - 4. Suppose -c = g - 3*c - l, -2*c - 2 = 2*g. Solve -g = -d - 5 for d.
