 Solve -5*n + i = 1 for n.
2
Let z be 0/6 - (0 - 0). Let j be z/(-1 - -4 - 1). Solve j = -2*x + 5*x - 15 for x.
5
Suppose i - 3 = 3. Let g be 2/(6*(-6)/(-54)). Solve g*l + i = l for l.
-3
Let b(a) = -a**3 + 10*a**2 - 10*a + 9. Let g be b(9). Suppose x - 3*x + 20 = g. Solve 3*o - x = -1 for o.
3
Suppose 3 = -4*l + 19. Solve -8*b + l*b = -12 for b.
3
Let o(i) = i**2 - i + 1. Let x be o(0). Let t be 10 + (-3 + 1)/x. Solve 0 = -4*j - t for j.
-2
Let s = 13 + -11. Solve -s*q - 4 + 2 = 0 for q.
-1
Suppose 8*b = 4*b. Solve 2*m - 4 = -b*m for m.
2
Suppose 4*k = 8 - 0. Suppose -g + 12 = 2*g. Suppose 2 = 4*d + k*o - 14, -3*o = g*d - 20. Solve 4*m = d*m - 6 for m.
-3
Let s = -5 - -8. Suppose g = -4*g - 2*q - 73, 0 = g - s*q + 1. Let z = 22 + g. Solve -2*p = -5*p - z for p.
-3
Let q be 4/(-22) - 1206/(-99). Solve -5*z = q + 3 for z.
-3
Let x be (-1 - (-2 - -21))*9/(-12). Solve 2*j - 5*j = -x for j.
5
Let q = 1 - -6. Suppose -2*y = 1 - 9. Suppose -t = -2*u - 13, 2*t - u - q = y. Solve f = -7 + t for f.
-4
Let n = -10 - -13. Solve n*p = -2*p - 20 for p.
-4
Suppose 4*d + 0*y + 3*y - 39 = 0, 0 = 2*y - 10. Let a(p) = p**3 - 7*p**2 + 8*p - 2. Let n be a(d). Suppose 0 = 3*z + 4 - n. Solve -z*x = 2*x - 20 for x.
5
Let b = 1 + 4. Suppose 4*v - 5 = 3*v. Suppose -v*r + 18 = h, -h + 4*h - b*r + 6 = 0. Solve 4*g + 3 = h*g for g.
-3
Let r(u) = -u**3 + 10*u - 1. Let m be r(3). Solve 3 = -5*v - m for v.
-1
Let d(i) be the second derivative of -i**5/20 + 7*i**4/12 + i**3/6 + 4*i**2 - 4*i. Let w be d(7). Solve 0 = -4*u - u + w for u.
3
Suppose 28 = 3*s - v, 2*s - 5*v = -3*s + 50. Suppose 8 = -7*h + s*h. Solve -2*g = 2*g - h for g.
1
Suppose 7*h - 2 + 2 = 0. Solve 2*b - 6 = -h*b for b.
3
Let q = -51 - -31. Let w be (1 + -11)*10/q. Solve 4*f = w*f - 2 for f.
2
Let y(l) be the third derivative of l**5/60 + l**4/4 + l**3/3 + 6*l**2. Let o be y(-6). Solve 4 + 2 = -o*v for v.
-3
Suppose 0 = -3*w + 2*w. Solve w*u - 8 = -4*u for u.
2
Suppose 4*a = 4*m - 12, -m - 6*a + 18 = -2*a. Solve -2*r - r = -m for r.
2
Suppose 23 - 8 = 5*t. Solve -1 = 4*b + t for b.
-1
Suppose 4*q = -n + 10, 4*n + 3 + 2 = -q. Solve q*c = c + 10 for c.
5
Suppose 0*b - 3*b + 15 = 0. Suppose 0 = q - b*n + 14 - 41, -2*n = -2*q + 14. Suppose 0 = -3*m - q*m. Solve 2 + m = -2*i for i.
-1
Suppose o + 11 = 3*r, o - 2 + 1 = -r. Solve 7*x = r*x for x.
0
Suppose 0 = -8*p + 3*p + 25. Suppose p*u - 3*z = 9, -3*u + 0*z + 7 = -z. Solve u*f - f = 6 for f.
3
Let l = -19 - -27. Suppose o = l - 3. Let k(f) = f**3 + f**2 - f + 1. Let p be k(1). Solve 0 = -o*u + 17 - p for u.
3
Let n(y) = -y**2 + 7*y + 8. Let d be n(8). Suppose -q = -d*q - 1. Solve -a = -4 + q for a.
3
Let k(h) be the first derivative of 10*h**3/3 + h**2/2 + h - 2. Let x be k(-1). Suppose -3*v + 5*z - 12 = -0*z, -5*z + x = -5*v. Solve 3 = 4*w - v for w.
1
Let g be (-160)/(-24) + 4/(-6). Let x = -7 - -12. Suppose -2*f = -x*f. Solve f = 2*o - g*o - 12 for o.
-3
Suppose -5*o + 16 = -o - 4*b, -2*o + 8 = 2*b. Let j = -2 + o. Suppose w + 0 - 1 = 0. Solve -j*c + w = -1 for c.
1
Let q(y) be the second derivative of -y**4/12 + 5*y**3/3 - 4*y**2 + 2*y. Let c be q(6). Let b be (-4)/6 + c/6. Solve i - b*i + 5 = 0 for i.
5
Let r be 3 - (-28)/2 - -3. Suppose 3*p - 3 = -u, 2*u - 1 = 2*p - 11. Let f be p/(-6) - r/(-6). Solve -4*l = -f*l for l.
0
Suppose -6*v + 4*v = 0. Suppose -5*a + 6 + 4 = 0. Solve -4*i + a*i = v for i.
0
Let b(v) = 5*v. Let g be b(1). Solve -u = -g*u for u.
0
Let t be 24*((-14)/(-8) - 1). Solve 0 = 4*o + t - 2 for o.
-4
Suppose -6 = -r - 2*r. Suppose 0 = -4*b - 125 - 43. Let d be 0 - -2 - b/6. Solve -1 = r*m - d for m.
4
Let r = -96 - -111. Solve 0 = 12*q - r*q + 9 for q.
3
Let s be (-710)/(-60) + (-22)/12 + 2. Solve -s - 8 = 4*a for a.
-5
Suppose 6 = j - 7. Suppose j + 27 = -5*u. Let y be (0 + -5)*u/10. Solve 2 = y*t + 22 for t.
-5
Suppose 5*k + 3 = 18. Suppose 4*u + 4 = q, 4*u - 5*q + 20 = k*u. Solve -z = -u*z + 3 for z.
-3
Let i = 194 + -188. Solve 24 = i*l - 6 for l.
5
Let l be 10/6 + 10/(-15). Let o = -1 + l. Let k be (o - -1)*(0 - 0). Solve k = -g + 4*g - 15 for g.
5
Suppose 0 = -6*u + 1 + 5. Solve -p + 2 - u = 0 for p.
1
Let g(q) = q**3 + 5*q**2 - 8*q - 7. Let o be g(-6). Suppose -88 = -5*p - 4*m, 6*p - o*m = p + 70. Let z = p + 4. Solve 4*k + z = -0*k for k.
-5
Let v(a) be the first derivative of -a**3/3 + 2*a**2 + 4*a - 1. Let t be v(4). Solve -4*p + t = -5*p for p.
-4
Let x = 8 + -4. Let n = 14 + -14. Solve n = -p + x*p for p.
0
Suppose 4*o + 1 = r - 11, 5*o + 15 = -3*r. Suppose 2*h - 2*z = 0, r = -10*h + 5*h - 2*z. Solve 0 = -h*k - k for k.
0
Let o(c) = -c**2 - 4*c + 22. Let a be o(3). Solve -b - a = 2 for b.
-3
Suppose -5*m - 12 - 23 = 0. Let s(w) = -w - 7. Let g be s(m). Solve g*c = -5*c + 25 for c.
5
Let o(y) = -3*y**2 + y. Let z(v) = v**3 - 3*v**2 + v - 4. Let i be z(3). Let r be o(i). Let b be 15/(-5) - (r - 0). Solve b - 5 = -q for q.
4
Let p = -15 + 15. Let x(b) = -2*b + 2. Let o be x(p). Solve 0*t - o*t = 2 for t.
-1
Let x(r) = r**3 + 2*r**2 - 3*r + 2. Let i be x(-3). Let w = 6 - i. Solve 0 = -w*g - 10 + 2 for g.
-2
Let v = 55 + -50. Solve j = v*j for j.
0
Let n(d) = 2*d**3 - 3*d**2 - d + 4. Let o be n(2). Solve o*j = 2*j - 4 for j.
-1
Let n be (10/3)/(14/21). Solve n*w + 16 = 1 for w.
-3
Let f(u) = 2*u - 5. Let g be f(4). Solve -19 = 4*l - g for l.
-4
Let f = 1 - 1. Let z be (-15)/25 - (-18)/5. Solve -k - 1 - z = f for k.
-4
Suppose w + 0 = 6. Suppose -3*p + 8*p = 0. Suppose p = -4*d - 10 + 30. Solve d*z - w = 9 for z.
3
Suppose 0 = -8*k + 7*k + 12. Suppose -5*t - 3*g - 43 = 0, -5*g - k = t - g. Let u = t + 8. Solve u = 5*w - 0 - 20 for w.
4
Let i = 7 + -1. Solve -4*a = -a + i for a.
-2
Let u be 1 - (-21)/3 - 1. Suppose -4*x - 3*j - 9 = u, 17 = 3*x - 5*j. Let r be -4 + 7 - x/1. Solve -2 = -r*q + 2 for q.
1
Let u(p) = -3 - p**2 - 2*p - 5*p + 2 - 1. Let x be u(-6). Suppose -19 + 7 = -x*s. Solve -r + s*r = 4 for r.
2
Let z(f) = f**2 + 8*f - 6. Let h be z(-9). Solve h*p = 4*p - 4 for p.
4
Let k = 14 - 11. Suppose 0 = -k*c + 9 - 6. Solve -3*h + c = 4 for h.
-1
Suppose -4*k = a - 18, -12 = -2*k - 3*a + a. Solve -o = -1 - k for o.
5
Let v be (-8)/(-3)*(6 + 3). Suppose 0 = p + 3*p + v. Let i = p + 10. Solve -i*r + 0 + 4 = 0 for r.
1
Let t(w) = -11*w**2 - 1. Let x be t(1). Let s be x*(2 + (-9)/6). Let n be (-2)/3 + (-28)/s. Solve -n*l = l + 15 for l.
-3
Let a = 137 + -135. Solve 0 = -0*p - p - a for p.
-2
Let f = 20 + -19. Solve 0 = -d - f - 4 for d.
-5
Let o(s) = s**3 - s - 2. Let h be o(2). Solve -h*r + 2*r = 4 for r.
-2
Suppose -12 = -10*p + 48. Solve p*s = 7*s for s.
0
Suppose 3 - 13 = -2*x, -3*k = -2*x + 16. Let z be 4 + k/(-1) + -2. Suppose 0 = -3*b - 2*b. Solve b = -z*r + r - 15 for r.
-5
Let p(n) = -n**2 - 8*n + 16. Let z be p(-8). Solve -y + z = -5*y for y.
-4
Suppose -3*w + 22 = -w - 3*u, -12 = -w + 2*u. Let x(p) = p**3 - 8*p**2 + p - 11. Let o be x(w). Let d = 2 - o. Solve -20 = -n + d*n for n.
-5
Let w be (4 - (9 - 0)) + 8. Solve -w*k = 2*k for k.
0
Let a be 224/48 - (-2)/6. Solve j = 6*j + a for j.
-1
Suppose -h - 3 = -4*h, -3 = -i - 3*h. Let w = 6 + i. Solve -3*d = -w*d for d.
0
Let i be 8/(-14) - (-18)/7. Solve 3*c = -i*c + 25 for c.
5
Let t(u) be the second derivative of u**3/6 - 3*u. Let h be t(3). Solve -5 + 20 = -h*y for y.
-5
Suppose k + 0*k = 4. Solve 0 = -x + k*x for x.
0
Suppose 10*j - 4*j - 18 = 0. Solve -j*t + 0*t - 15 = 0 for t.
-5
Suppose -3*m = -26 - 13. Solve 0 = 4*q - m - 3 for q.
4
Let z(d) = d**3 + 6*d**2 - d + 4. Let j be z(-6). Solve 0 = -5*a + j + 5 for a.
3
Let b(j) = -j + 3. Let u be b(-6). Solve v = 4*v - u for v.
3
Let s(i) = -i + 2. Let g be s(-3). Suppose -2*t = -g*t. Suppose t = 5*x + z - 4, -x + 4*z = 2*z + 8. Solve x = 6*l - 2*l for l.
0
Let o be 2*((-36)/(-8) + -3). Solve 2*q = -o*q + 5 for q.
1
Suppose -4*a = h - 61, 2*a - 76 = -2*a - 4*h. Let w = -12 + a. Solve 4*m - 2 = w for m.
1
Let m = 10 - 5. Suppose 37 = m*t + 12. Let v = t + -2. Solve 10 = v*y - 5 for y.
5
Suppose 2*c - 10 = -7*m + 2*m, 0 = 4*m - 3*c - 8. Suppose 3 = -m*s + 13. Solve -s*d + 3 = -2*d for d.
1
Let v be (-1 - (-1 + -1))/1. Let o be (4 - v)/((-2)/(-10)). Solve 2*p = -p - o for p.
-5
Let j be (0 + -2)*(3 - 13). Suppose -p - 1 = x, x - 6*x = j. Solve -p*r = r for r.
0
Suppose -3*a + 15 = 3*j, -8 = -5*j - a + 5. Solve -j*z = -0*z -