 m = 2 - 2. Solve m*u - 25 = -o*u for u.
5
Let p = 10 + -1. Let f = -12 - -14. Let h be (f/2)/(3/p). Solve 0 = -h*c - 2*c - 25 for c.
-5
Suppose v + d - 6 = 0, v = -3*v + d + 14. Solve -2*f + v*f = 0 for f.
0
Suppose -x = -3*w + 9, x = 4*w - x - 10. Solve 0 = -w*s - 24 + 4 for s.
-5
Let m(q) = q**2 + 5*q - 1. Let n be m(-6). Let u = -3 + n. Suppose -5*l + 12 = -u*l. Solve 0*b + l*b = 0 for b.
0
Let j = -6 + 8. Suppose -3*m = m + 20, 5*v - 3*m = 30. Solve 0 = -v*z + j - 8 for z.
-2
Let f(i) = i**3 + i**2 - i + 2. Let t be f(0). Suppose 8 + 2 = t*w. Solve -w*j + 4*j - 3 = 0 for j.
-3
Let x(w) be the third derivative of -w**4/24 + w**3/6 + 2*w**2. Suppose 3*n = -7*i + 2*i + 5, 0 = 2*n - i + 1. Let v be x(n). Solve 4 - v = -q for q.
-3
Let m(i) be the third derivative of i**6/120 + i**5/10 + i**4/24 + 4*i**3/3 - 6*i**2. Let d be m(-6). Solve 3*l = -d - 13 for l.
-5
Let y be 5 - 2 - (2 + 1). Let v(p) = -p**2 + 2*p + 3. Let c be v(y). Solve 0 = c*w - 4 - 11 for w.
5
Suppose -4*i + 2*x + 64 = 0, 0 = 2*i - 5*x - 22 - 26. Let r = 14 - i. Solve r = -0*w - w for w.
0
Suppose h + 2 - 4 = 0. Suppose -8 = -h*x - 0. Solve 4*c - 4 = x for c.
2
Let v be (15/(-10))/((-1)/(-1 + 3)). Solve -5 = 2*z - v*z for z.
5
Let g = -1 - -2. Suppose 2*y = 3 + g. Solve -y*r + 3*r = 0 for r.
0
Suppose -7*r = -2*r + 2*v + 4, -r - 2*v = 4. Solve t + 4*t = r for t.
0
Suppose 5*q + 16 = 2*u + 3*q, -3*q + 4 = 4*u. Solve u*k - 14 = 6 for k.
5
Suppose -n - 15 = -6*n. Suppose -88 = -4*f - 3*g, -n*f - 2*g = -0*f - 67. Let w be 5/(-20) + f/4. Solve -2*y = -w*y - 16 for y.
-4
Let h(y) = -2*y**3 + 2*y**2 - 2*y - 3. Let t be h(-1). Solve 0 = -t*b + 7*b for b.
0
Let u = -83 + 56. Let i = u + 27. Solve 4 + i = -4*q for q.
-1
Let h(f) = f**2 + 3*f - 5. Let w be h(-5). Let o(i) = 1 + i + 1 - w. Let u be o(5). Solve -u = -a - 7 for a.
-5
Let z be (-9)/(22/(-8) - -2). Suppose 0 = k - z - 17. Let n = -15 + k. Solve 4*l + n = -6 for l.
-5
Suppose 5*u = 9*u. Suppose u = -3*p - 2*l + 4, 6*l = 5*p + 4*l - 28. Solve -p*q = -2 + 6 for q.
-1
Let x be (0 - (-1 + 0 + 2)) + 6. Solve 0 = -6*n + x*n - 4 for n.
-4
Let o = 3 - -2. Suppose o*z = 18 - 3. Suppose 10 = z*i - 2. Solve -6 = 2*f + i for f.
-5
Suppose -6*t = -7*t - 3*l - 7, 0 = 4*t + 2*l - 2. Solve j = t*j - 3 for j.
3
Suppose 3*x = n - 9, x - 18 + 1 = -3*n. Suppose 2*a = n*a. Solve a = -4*v + 22 - 2 for v.
5
Let i be 80/14 + (-12)/(-42). Suppose -i*q = -3*q - 39. Suppose -4*f + q - 1 = 0. Solve -k = f*k for k.
0
Suppose 4*a = -5*k, -k - 4*k + 4*a = -40. Solve 3*t + 1 = k*t for t.
1
Let v be (-1)/(((-1)/(-1))/(-5)). Suppose 5*q - b + 54 = -0*b, -20 = -5*b. Let c = q - -11. Solve -v*y - 6 = -c for y.
-1
Suppose 39 = 3*k - 9. Let w be k - 16 - (0 - 0). Solve w = v + 5 for v.
-5
Let j be 35/(-14) + (-1)/2 - -3. Solve x + 3*x + 8 = j for x.
-2
Let f = 2 - 0. Let i(a) = -a**3 - 6*a**2 - 6*a - 3. Let s be i(-5). Suppose -5*t - l = -29, -f*t + s = l - 3*l. Solve -t*y - 4 = -y for y.
-1
Let d = 8 + -12. Let y(m) = -m + 2. Let x be y(d). Solve 4*i = x + 10 for i.
4
Suppose 2*g = -1 - 5. Let y be 12/(-2 - 12/g). Let l be 5/(-2)*(-8)/5. Solve y + 10 = l*s for s.
4
Let l(z) = z**2 + 3*z - 14. Let m be l(-6). Solve m = -q + 1 for q.
-3
Suppose -5 = -p - 0. Suppose 0 = -2*r + 4. Suppose -3*g = -r*g. Solve -p*d + 5 + 10 = g for d.
3
Suppose 3*w = -31 + 10. Let b = 9 + w. Solve f = -b*f for f.
0
Suppose 0 = 2*a - 3*a + 1, 0 = 5*i - 4*a - 6. Suppose 2*r - 12 = -i*r. Solve r = 2*y - 5 for y.
4
Let o be (-2)/(-5) + (-28)/(-5). Let b = o + -1. Solve b*v = 2*v - 6 for v.
-2
Let t = -9 + 11. Solve -5*s + t = -13 for s.
3
Let j(r) = 3*r - 4. Let i be j(3). Suppose 3*y - y = 5*m - 14, -y - 12 = -i*m. Solve l = -1 - m for l.
-3
Let d = 77 + -74. Solve d*o + o = 8 for o.
2
Let z = -12 - -10. Let h be 1 - -1*z/(-1). Solve 5*t + 18 = h for t.
-3
Suppose -3*y + 2 = -3*o - 1, -5*o = -2*y - 4. Solve 4 - o = -i for i.
-2
Suppose 4*r + 11 = -41. Let c = 21 + r. Solve 20 = -c*k + 3*k for k.
-4
Let l(z) = -3*z - 4. Let u be l(-2). Suppose -3*w + 4 = 4*s, u*w - 1 = 3*s - 21. Solve 3 = -s*r - 9 for r.
-3
Let q be -2 + (0 + -1 - -3). Let p be (-1)/(q + 0 - 1). Let z be (p/2)/((-2)/(-16)). Solve 0*l - 2*l = -z for l.
2
Let a be 2/4 + 38/4. Let k = -16 + 14. Let i be 3/k*20/(-6). Solve -a = -0*q + i*q for q.
-2
Let m = 0 + 1. Solve 0 = -c - 2 - m for c.
-3
Let b = -4 - -6. Suppose 0 = -b*t + 8 + 2. Suppose -2*h = 2*z - 5*h + 3, -t*z + h - 1 = 0. Solve w = -z*w for w.
0
Suppose -7*z + 4*z = m + 23, -4*z + 4*m = 4. Let t = 0 - z. Let l be (t/4)/(6/80). Solve -7*o + 2*o = l for o.
-4
Suppose -4*b = 16, 2*f = 3*b + 23 + 3. Solve -5*g + f = 2 for g.
1
Let j be (2*1)/((-210)/(-49) + -4). Suppose -12 = 3*x - 6*x. Solve -3*u = -j*u - x for u.
-1
Let z be (-2 - 0) + 4 + -3. Let h(x) = 3*x**2 + x. Let s be h(z). Solve 3*q - 4 = s for q.
2
Suppose -14 = -3*r - 2*j, 5*r = r - j + 17. Suppose -r*a = -6*a. Solve -2*b + 0 - 6 = a for b.
-3
Let a = 0 + 12. Let b(f) = -f**3 + 6*f**2 + f. Let z be b(6). Let s = z + -4. Solve 6*x - s*x = -a for x.
-3
Let p(h) = h**3 + 6*h**2 + 8. Let y be p(-6). Suppose -y*o + 4*o = 0. Suppose 0 = 5*a - 86 + 36. Solve o = -4*n - n - a for n.
-2
Suppose 5*n = 11 + 14. Let i be -2 + 6 + -14 + 10. Solve i = -n*b - 12 + 2 for b.
-2
Let f = 9 - 5. Let l = f + 0. Solve l*o - 9 = o for o.
3
Suppose 6 = -0*z + 2*z, -5*w = 4*z - 32. Let k = 14 - w. Solve -2 + k = -4*b for b.
-2
Suppose 2*o = 2 + 4. Suppose g = -o*g. Solve g*z = -4*z for z.
0
Suppose 2*b - 5 = z + 6, 5*z - 29 = -4*b. Solve 0*h - b = -2*h for h.
3
Suppose -4*t - u + 10 = 0, -3*t + 0 = -2*u - 2. Let v = t + 0. Let h(y) = y**2 + 6*y - 4. Let c be h(-7). Solve -v = -c*n + 4 for n.
2
Let q = 8 - 1. Let f = 13 - q. Let t = 2402 + -2399. Solve 3 + f = -t*d for d.
-3
Suppose 2*z + 2 = -0*z. Let f be (z + 2/4)*2. Let d = 1 - f. Solve d*r = -2*r + 8 for r.
2
Suppose j + 5*i - 16 = 0, 0*j - j + 16 = -4*i. Let n be (-2)/7 + j/56. Solve -2*a - 3 + 1 = n for a.
-1
Let g(n) = -n - 1. Let i be g(-4). Let r = -1 + i. Solve 0 = r*a + a + 3 for a.
-1
Suppose 0 = 3*k - 2*k. Suppose -5*q - 3*n + 34 = k, 2*q - n - 4*n + 5 = 0. Suppose 0 = q*x - 2*f - 12, -2*x + 32 = 2*x + 4*f. Solve x*t = 8 - 28 for t.
-5
Let j be 6/9 - 28/(-12). Let o(w) = -w**2 + 11*w - 6. Let m be o(10). Suppose -m*v = -0*v. Solve v = -4*y + 1 + j for y.
1
Let z be (-1)/(-4) + (-25)/4. Let c = z - -11. Solve c*g - 1 + 6 = 0 for g.
-1
Suppose 10*l - 10 = 8*l. Solve l*i = 9*i + 8 for i.
-2
Suppose -3*x + 5 = 3*o + 2, x + 15 = 3*o. Let q(y) = -y**2 + 4*y + 5. Let g be q(o). Solve g = -5*t - 0 for t.
-1
Let b be (6 - 5)/(1/7). Solve 4*x - b - 5 = 0 for x.
3
Let g(v) = -5*v + 1 + 3 - 1 - 1 - v**3 + 5*v**2. Let y be g(3). Solve 0 = -0*q - y*q + 20 for q.
4
Let u be (4 - (-3 + 12)) + 5. Solve u = m - 0*m for m.
0
Let m be (-1)/(-2*2/(-20)). Let h = -2 - m. Let x(l) = l**3 + 7*l**2 + 7*l + 8. Let d be x(-6). Solve d*g + h = -1 for g.
-2
Let d = -2 - 12. Let x = d - -25. Solve 4 + x = -3*q for q.
-5
Let t(i) = -2*i + 20. Let o be t(10). Solve -5*l - 6 - 4 = o for l.
-2
Suppose -7*b + 4*b + 57 = 0. Solve 3*d - b = -7 for d.
4
Let y(b) = b + 8. Let d be y(-4). Solve -d*q = -7 - 9 for q.
4
Let y be (-1 - -2)*(-1 - -5). Let k(x) = -x + 8. Let p be k(8). Let u be (-1 + p)*(3 - 13). Solve -y*b - u = b for b.
-2
Let y(h) = -h**3 + 9*h**2 + 13*h - 25. Let l be y(10). Solve -2*s + 5 = -l for s.
5
Let o be (-2 + -1)*(4 - 3). Let b be -2 - 0 - (-9 - o). Solve 0*w + b = 2*w for w.
2
Suppose 5*j + 54 + 1 = 0. Let u = -11 - j. Solve 5*o - o + 20 = u for o.
-5
Let d = 30 - 24. Suppose -v = -d*v. Solve v = -2*i + 2 - 6 for i.
-2
Suppose -3*z = -2*b - 7, 0 = 4*z - b - 9 - 7. Let u be (-48)/(-20) - 2/z. Solve -u*d + 9 = 1 for d.
4
Let o = -8 + 17. Suppose 2*k + b = -4*b + 3, 0 = b + 1. Solve -k*h = -o*h + 10 for h.
2
Suppose 5*k - k = -3*p + 6, 10 = k + 5*p. Solve -4*x + 2*x = k for x.
0
Let p(o) = 2*o**2 - 4*o + 4. Let n be 3/((-6)/(-4)) - -2. Let z be p(n). Solve -4*r + 0 = -z for r.
5
Suppose 0 = -2*p + 2*b + 14, -b = -5*p + 3*b + 34. Suppose -30 = -p*c + c. Let v = 13 - c. Solve v = -5*z - 13 for z.
-4
Let n be (-8)/12*9*2/(-4). Solve q = -4 + n for q.
-1
Suppose 4*t - 6 = 5*s, 2*s = 2*t - s - 2. Solve g = -g + t for g.
2
Let v(n) = n**3 - 9*n**2 + 6*n + 1. Let r be v(8). Let b be r/(-2) 