 b = -5 - -5. Solve m = -b*m for m.
0
Let h = -12 - -17. Let b be 6/h*10/3. Suppose b*r - 6 = -2*v, 3*r - 4*v + 4 = 14. Solve 3 = -r*u - 1 for u.
-2
Let t(l) = -l**2 + 13*l - 15. Let q be t(10). Let h = 21 - q. Solve 2*y = 5*y - h for y.
2
Let h be (-1 + -1)/(12/(-18)). Solve -h*p - p = 20 for p.
-5
Let p be 0*(-1)/(-6)*-3. Solve 0*l + l - 4 = p for l.
4
Let w(d) = d**3 - 22. Let v be w(0). Let m = v + 25. Solve m*o - o + 4 = 0 for o.
-2
Suppose -5*c = -2*r + 30, c + 3*r = -0*r - 6. Let b be 0*1/c*-2. Solve i + 3 + b = 0 for i.
-3
Let h = -51 + 56. Solve 2*x = -3*x - h for x.
-1
Suppose 3*d = -0 - 3. Let r be 9*d*(-2)/6. Solve 2*s - r*s + 2 = 0 for s.
2
Let d be (14 + -2)/3 + -2. Solve 0*j + d*j + 2 = 0 for j.
-1
Let k = 19 + -11. Suppose -12*m = -k*m. Solve m*t - 3*t + 12 = 0 for t.
4
Let z be (-1 - -4) + (-3)/1. Solve z = v + 2*v for v.
0
Let t(q) = q**2 - 5*q. Let k be t(6). Suppose d + 4*d = 40. Let o = d - k. Solve -4*m = -2*m + o for m.
-1
Let n = 0 - -2. Let v = 4 - n. Solve -v*j + 1 = 9 for j.
-4
Let c be (5 - (-6)/(-4))*4/7. Solve c*n = -0 - 2 for n.
-1
Let x = -7 - -17. Suppose 0 = 3*g + 10 - 28. Solve 0 = n - g*n + x for n.
2
Let a(v) = -v - 5. Let c be a(-9). Solve 0 = 4*y + 8 - c for y.
-1
Let j(i) = i**2 + 4*i - 7. Let h be j(-6). Let d = -9 + h. Let c be 0 - (d + (-2 - -3)). Solve c = 3*v - 9 for v.
4
Let n(v) = v**3 + 8*v**2 + 5*v - 4. Let r = -10 - -3. Let b be n(r). Solve -4*o - b = o for o.
-2
Suppose -2*z + 0*z = 0. Suppose -4*u - 20 - 12 = z. Let k = u + 11. Solve d + 2 = -k for d.
-5
Let h(k) = k**3 + 9*k**2 - 20*k + 25. Let f be h(-11). Solve -4*d + d - f = 0 for d.
-1
Suppose 61 = 11*w - 5. Solve w + 4 = 5*n for n.
2
Let x(f) = f**3 - 5*f**2 - 6*f + 3. Let k be x(6). Suppose -2*j + 12 = 2*j. Suppose -j*c = -c - 30. Solve c = k*w - 6*w for w.
-5
Let i be 1*-1 - 104/(-26). Solve i*w + 1 = 4*w for w.
1
Suppose t + 3*t - 12 = 0. Solve -l - 8 = -t*l for l.
4
Let d be (-88)/14 - (-4)/14. Suppose 5*n = -c - 19, 4*c - 2*c - 5*n = -8. Let y = d - c. Solve -2*v = y*v + 10 for v.
-2
Suppose 4*p = 5 - 17. Let d be -9 + 2 + p + 2. Let u be 2/7 + d/28. Solve u*t = t for t.
0
Suppose 2*q + 2 = -5*f + 5*q, -3*f = -2*q + 2. Solve -f*x + 4 = 2*x for x.
1
Suppose w - 2 - 1 = 0. Solve -2*k - w*k = -5 for k.
1
Let j(k) be the second derivative of -k**7/840 + k**4/24 - k**3/3 - 2*k. Let i(r) be the second derivative of j(r). Let t be i(-2). Solve -2*y + t = -5*y for y.
-3
Let f(b) = b**3 + 7*b**2 - 3*b - 4. Let n be f(-7). Solve 0 = -5*r - 3 - n for r.
-4
Suppose -2*p + 60 = 2*p + 4*t, -5*t + 27 = p. Let n be (p/(-15))/((-1)/5). Solve 0 = -4*v + 8 - n for v.
1
Suppose -6 = -a + 3*a. Let z = 5 + a. Suppose 3*v + z*w - 17 = 0, 2*v - 5*w = -7*w + 8. Solve -5*s + 6 = -v for s.
3
Let l(m) = m**3 + 2*m**2 - 5*m - 2. Suppose -1 = -5*b + 4*p, 0 = 3*p - p + 8. Let t be l(b). Solve -10 = t*v + 10 for v.
-5
Suppose 3*o - 4*x = 4*o + 23, -5*o - 5*x - 40 = 0. Let j be 2/2 - (-1 - -1). Let c = j - o. Solve -c*w + 11 = 3 for w.
2
Let j(h) = 2*h - 12. Let z(q) = q + 8. Let s be z(0). Let n be j(s). Suppose n*x = -x. Solve -3*w - w + 16 = x for w.
4
Let c(k) = 4*k**3 - 2*k**2 + k. Let l be c(1). Solve -l*t = -2*t - 4 for t.
4
Let h(j) = 2*j**3 - 2*j**2 + 2*j - 8. Let p be h(2). Solve 0 = -15*a + 17*a + p for a.
-2
Let p = 111 - 51. Suppose 0 = -3*m, -p = w - 6*w - 3*m. Solve 5*j - j = -w for j.
-3
Suppose -4*b = 5*o - 13, 2*b + 2*b + o - 9 = 0. Suppose 0 = -b*d + 2 + 6. Let y = d - 1. Solve -2*j + y = 1 for j.
1
Let n = -6 - -9. Suppose 20 = n*m - 2*y + 8, 3*m + y - 12 = 0. Let a(v) = -v + 8. Let d be a(m). Solve -w - d*w = 10 for w.
-2
Let u = 114 + -82. Solve 0 = -x + 31 - u for x.
-1
Suppose -4*o = -o - 12. Suppose -o*u + 0*u + 16 = 0. Solve -3*w = -1 + u for w.
-1
Suppose 33 = 4*a + 13. Solve -n = 4*n - a for n.
1
Let t be 0 + -1 - (-7)/1. Let n(l) = -l**2 + 16*l - 24. Let w be n(14). Solve z - t = -w for z.
2
Let x be 12/(12/(-3)) - -2. Let u = 3 + x. Solve 3*k - 5 = u*k for k.
5
Let a be 385/15 + (-4)/6. Let c = 3 + 2. Suppose -c*l + 15 = -4*x, 0 = -4*l - l + 15. Solve x = -4*j - j - a for j.
-5
Let h(l) = -l**3 - 4*l**2 - l - 8. Let s(v) = v - 1. Let r(m) = h(m) - 4*s(m). Suppose f + w = 2*f + 1, -5*w + 2 = -4*f. Let u be r(f). Solve u*j = j + 1 for j.
1
Let m(c) = -2*c**3 + 11*c**2 + 6*c. Let o(s) = s**3 - 15*s**2 - 15*s - 10. Let j be o(16). Let q be m(j). Solve 4*p - p - 9 = q for p.
3
Suppose -1 = w - 5, -16 = k - 5*w. Solve x + 15 = k*x for x.
5
Let t be (-2)/(-2)*(2 + -1). Let v be (1/t)/(-2)*-6. Suppose 7 - v = 4*h. Solve -c - h = -5 for c.
4
Let b = -76 + 76. Solve b*k - 8 = -2*k for k.
4
Suppose 0*s - 3*f + 36 = -s, -4*s - 4*f - 112 = 0. Let h be 16/4*s/(-8). Suppose 7*c = -5*q + 2*c + 20, -q - 4*c = -7. Solve 6*k = q*k + h for k.
5
Let u(l) be the first derivative of -l**5/20 - l**4/24 + l**3/3 + 4. Let m(o) be the third derivative of u(o). Let j be m(-1). Solve -j*q + 14 = 4 for q.
2
Suppose -5*t + 18 = -2*o, 3*o - o = -4*t. Solve t*s = 4*s - 2 for s.
1
Let x(p) = -p**3 + 6*p**2 - 3*p + 18. Let n be x(6). Solve 6*y - 7*y + 5 = n for y.
5
Suppose 0 = b + b - 4. Solve -3*w - b*w = 0 for w.
0
Let t(v) = -4*v**2 + v. Let n be t(1). Let y be 9*2*n/(-9). Solve 0 = c + 2*c - y for c.
2
Suppose -4*g - 8 = -0*g - 2*u, 5*g - 12 = -3*u. Solve g*o + 6 = 2*o for o.
3
Suppose -5*a + 1 = f - 3, -3*a = 0. Let u = f - -2. Let b = 10 - u. Solve 0 = -w - 3*w + b for w.
1
Suppose -15 - 9 = 4*a. Let m = a - -5. Let h be 1/(-1) - 3/m. Solve 0 = f + 1 - h for f.
1
Suppose 0 = 10*u - 7*u - 18. Suppose 4*p = 2*p. Solve p = -2*x + u*x - 8 for x.
2
Let d = 1 + 7. Suppose -7*n + 2*n + 30 = 4*h, 4*n + 17 = 5*h. Suppose 3*i + d = n*w - 0*i, -w = i - 4. Solve -m - w*m = 5 for m.
-1
Let m(i) = -6*i + 1. Let y be m(-1). Let r = y - 4. Solve -2 + r = w for w.
1
Let n = -95 + 251. Let p be (2/(-3))/((-8)/n). Suppose 3*v + 2*g = 6, 5*v + g - p = v. Solve -5 - v = -3*i for i.
3
Let d be 2 + 2 + (41 - -3). Let w be ((-1)/(-1))/(12/d). Solve w = j + j for j.
2
Let o(g) = g**3 + 8*g**2 - g - 4. Let z be 0 + 6/3 - 10. Let k be o(z). Let f(s) = -s + 8. Let x be f(k). Solve -2*i - x = -2 for i.
-1
Suppose -6*l = -5*l. Solve l = -3*x + 2*x - 2 for x.
-2
Suppose -5*n + 33 = v, 3 = -2*v + 3*v. Suppose 2*i - 5 = 3*p - 2*p, -5*i - 4*p = -n. Solve -i*r - r + 6 = 0 for r.
2
Suppose -16*t + 54 = -26. Let o = -7 - -14. Suppose x - 5*c = -23, -o*c = t*x - 2*c - 35. Solve -8 + 2 = x*u for u.
-3
Let g(d) = -d + 12. Let u be g(6). Suppose -3*l - 1 = -u*l + k, k + 1 = -2*l. Suppose l = 3*r - 5*r + 16. Solve -r*c + 4*c = 12 for c.
-3
Let p(w) = 4*w - 7. Let a(u) = -5*u + 8. Let l(m) = 5*a(m) + 6*p(m). Let r be l(-6). Suppose 5*y - 25 = -5*h, h = -2*h + 5*y - 1. Solve h*f + f = -r for f.
-1
Suppose -2*u + 2 = -n, 0 = -4*n - u - u + 12. Solve n*m + 0 = 4 for m.
2
Let q = -26 + 26. Solve 0 = -3*y - 3 - q for y.
-1
Let m be 19/7 - 2/(-7). Let x = m - -1. Solve -b = -2*b - x for b.
-4
Let t be -1*(-4)/(8/10). Let u be (-1 + 6)*3/3. Suppose -3*c = 0, -3*j + 75 = -0*j - 5*c. Solve -u*x = -t + j for x.
-4
Let j(l) = l**3 - 6*l**2 + 7*l + 3. Let b be j(6). Suppose -4*a = -15 - b. Solve n + a = -4*n for n.
-3
Let g be 8*(-4 + (-45)/(-10)). Solve -u = g - 0 for u.
-4
Suppose -3*v + 6 = -0*v. Suppose 2*a - v = 38. Solve -6*n + 2*n + a = 0 for n.
5
Let y be ((-2)/(-3))/(6/45). Solve y*n - 2 = 13 for n.
3
Let u(o) be the third derivative of -o**4/8 - o**3 + 5*o**2. Let t be (7/(-3) - -1)*3. Let j be u(t). Solve -z + 25 = -j*z for z.
-5
Let n be (2 + (-24)/18)*48. Solve -7 + n = -5*z for z.
-5
Let x be (-2)/(-14) - 34/(-7). Solve 5*c + x = 20 for c.
3
Suppose 0 = -0*d + 3*d - 12. Solve 5*x = x - d for x.
-1
Let c be -8*(2 + (-8 - -1 - -4)). Solve 5*x = -c - 17 for x.
-5
Let d = -71 - -83. Solve -n + d = -4*n for n.
-4
Let z = -1 + 1. Let k be (3 - z) + (3 - 1). Suppose -3*c + k*c - 2 = 0. Solve 2*l + 5 = c for l.
-2
Let n(k) = 5*k - 21. Let f(t) = 3*t - 14. Let i(v) = -8*f(v) + 5*n(v). Let y be 15/(-12)*2*2. Let x be i(y). Solve -l = -x*l - 5 for l.
-5
Suppose -17 = 2*i - 5*t, i + 3*t + t + 15 = 0. Let w = i - -11. Suppose w = -3*j - 0*j. Solve y = -j*y for y.
0
Let h be 1/(-1)*18/(-6). Solve 5*j + 12 = -h for j.
-3
Suppose 8*q - 10*q - 8 = 0, -5*q - 24 = -a. Solve -8*r - 20 = -a*r for r.
-5
Let g be ((-4)/