-2). Solve x = q*w - 4*w - 10 for w.
5
Suppose 2*m + 60 = 7*m. Suppose 0 = -4*r - p + m, -4*p + 7 + 13 = 2*r. Solve 3*f + 20 = -r*f for f.
-4
Let r be (-2 + 1)/(-1) - -3. Suppose -5*z + 6 + r = 0. Solve 2*b - 8 = z for b.
5
Suppose 0 = 5*m - 4*m - 5. Suppose 0 = r - 2*h + 6, 4*r + 13 = r + m*h. Solve -6*l = -2*l + r for l.
-1
Let f = -4 + 7. Solve 2*i + i = f for i.
1
Suppose -12 + 4 = -4*o. Let t(i) = -4*i. Let a be t(-6). Suppose -4*r + 6*r - 3*d - a = 0, 5*d + 24 = 2*r. Solve -2*c - r = o*c for c.
-3
Let a(p) = -p**3 + 6*p**2 - 4*p - 4. Let k be a(5). Let b(y) = y + 4. Let l be b(-5). Let c be l + -3*(1 + -2). Solve 3*u - k = c*u for u.
1
Suppose -4*z = 5*o - 1, -2*o - 32 = -5*z + 2*o. Let j be (z/6)/((-2)/(-9)). Suppose -j*i + 12 = -i. Solve -i*v = -v for v.
0
Let u = 44 - 32. Solve -3*t + u = 3 for t.
3
Suppose 12 = 2*j - 4. Solve n + j = -3*n for n.
-2
Let m(y) = -3*y**3 + 3*y**2 + 4*y**3 + 5*y + 2 + 2*y**2 + 4. Let r be m(-4). Solve 7*f - 10 = r*f for f.
2
Suppose 0*d = 5*d. Let j(t) = -7*t + 1. Let f be j(-1). Suppose f - 7 = l. Solve d = r + 3 + l for r.
-4
Let c = -6 + 6. Suppose -3*h = -9 - c. Suppose w = -h*w. Solve w = 5*v - 4*v + 2 for v.
-2
Let i(v) = -5*v + 42. Let c be i(8). Solve 5 = c*m - m for m.
5
Let i(f) = -f**3 + 7*f**2 - 6*f + 3. Let n = 4 + -4. Suppose 2*a - 8*m = -4*m + 28, n = 5*a + 5*m - 10. Let h be i(a). Solve -4*v + h - 19 = 0 for v.
-4
Suppose 0*v + 10 = 5*v. Let l be (-20)/(-6)*3/v. Solve -l*p = -0*p + 15 for p.
-3
Suppose 0 = -b + 5*c + 40, 3 - 13 = -b - 5*c. Let n = b + -20. Solve n*v + 7 = -8 for v.
-3
Suppose 2*b - 18 = 4*g, -4 = 4*g - 24. Let s be 8/24*(-1 + b). Solve -n - n = s for n.
-3
Let z be (4/(-12))/((-1)/9). Suppose 0 = n - 4*n - y + 18, -34 = -5*n - z*y. Solve -f - 12 = -n*f for f.
3
Let x(i) = i**2 - 9*i + 1. Let k be x(9). Solve 9 = -2*t + k for t.
-4
Let d be ((-6)/12)/(1/(-4)). Solve -d*s + 1 + 7 = 0 for s.
4
Let f(g) = g**3 - 3*g**2 + g + 2. Let w be f(3). Suppose 0 = -0*r - w*r + 395. Suppose 4 - r = -5*q. Solve -3*b = 2*b + q for b.
-3
Let c be 652/18 + 6/(-27). Suppose -5*l - r + 48 = 3*r, 0 = 5*l - 2*r - c. Solve 2*q = -2*q - l for q.
-2
Let n be (-9)/((-3)/6*-3). Let f(l) = -2*l - 8. Let g be f(n). Suppose -4 = -g*h, -3*w - 4*h - 21 = -8*w. Solve -w*u = -0 - 5 for u.
1
Let n(h) be the third derivative of 0 + 0*h**4 + 1/120*h**6 + h**2 - 2/3*h**3 + 1/15*h**5 + 0*h. Let k be n(-3). Solve 0*f = -k*f for f.
0
Let g(d) = -d**3 + d**2 + 3*d - 2. Let n = 6 - 4. Let u be g(n). Solve 3*a + 2*a = u for a.
0
Suppose 5*q - 15 = 0, 4*h - 2*h - 15 = -3*q. Solve -h*m = 4 + 2 for m.
-2
Let o(k) = 4*k - 23. Let w be o(6). Solve w + 2 = -3*u for u.
-1
Suppose -40 - 8 = -4*m. Suppose 4*v - m = 3*v. Solve b + 2*b + v = 0 for b.
-4
Let x(h) = h**3 - h**2 - 2*h + 1. Let i(f) = f**2 - f + 1. Let z be i(0). Let t be x(z). Let b be 0/t + -1 - -4. Solve -b*w - 15 = 2*w for w.
-3
Let z be (-164)/(-32) + (-2)/16. Solve 0*p + z = -p for p.
-5
Let c(a) = -6 + 2*a + 4*a - 2*a - 3*a. Let j be c(6). Suppose j = 3*u + 2*u. Solve 5*g + u + 10 = 0 for g.
-2
Let u = 15 + -10. Suppose 5*k - 2*q = 2*q + 8, u*k - 5*q - 5 = 0. Suppose -k*f + 6 = -2*f. Solve -m - f = -4*m for m.
1
Let r be (2/6)/((-413)/105 - -4). Solve 15 = 2*c + r for c.
5
Let w(t) = -t**2 - 5*t + 6. Let o be w(-6). Suppose -5*d + 3*l - l = -2, 0 = 5*d + 5*l - 30. Solve -d*r + o = 2 for r.
-1
Suppose g = 2*g - 3*w, 2*w + 13 = 5*g. Solve 0 = g*i + i for i.
0
Let p = -13 + 13. Solve z + p*z + 4 = 0 for z.
-4
Let y(p) = -p**2 + 4*p + 4. Let s be y(5). Let z be s + (-1 - 6/(-3)). Solve z = -x - x for x.
0
Let h(d) = -d**2 + 10*d - 17. Let m be h(7). Solve m = 2*x - 2 for x.
3
Let i = -16 + 19. Solve -2*n + 15 = i*n for n.
3
Let c = -22 + 10. Let h = c + 32. Solve 0*x + h = 4*x for x.
5
Let n(p) = 4*p - 6*p + p. Suppose -4*u - 2 = 5*d, 9*d - 4*d - 2*u + 14 = 0. Let f be n(d). Solve -g + 1 = -f*g for g.
-1
Suppose 0 = -y + 1 - 5, 4*p - 4*y + 56 = 0. Let t = -14 - p. Solve -d + 0 = t for d.
-4
Suppose 0 = 4*i - 4*q - 48, 4*i - 83 = q - 4*q. Solve 4*t - i = -1 for t.
4
Let x be 0/(-2) - 60/(-12). Suppose -b + 3*n = 0, 2*n = -x*b - 0*n. Solve 2*r = -b*r for r.
0
Let d be 26/6 + (-4)/24*2. Solve -3*o = -d - 8 for o.
4
Suppose 0 = 4*x - 0*x, 0 = 4*q + 3*x. Solve q = -m + 3*m - 6 for m.
3
Let u(k) be the third derivative of k**4/24 - k**3/6 - k**2. Let m be u(4). Let w be -2 - (4/(2 + -6) - 6). Solve 0 = m*c - w*c for c.
0
Let l be 9/15 + (-66)/10. Suppose 2*x - 21 = d, -3*x - 2*d = -d - 24. Let z = l + x. Solve z*q - 11 = 1 for q.
4
Let u(o) be the third derivative of o**4/12 + 6*o**2. Let r be u(0). Solve -2*h - h - 12 = r for h.
-4
Let k be 2*-2*1*1. Let o(w) = -w**3 - 6*w**2 - 4*w + 1. Let l be o(-5). Let b = l - k. Solve b*x = -2*x for x.
0
Let y be 12/114 - 6/57. Solve y = 2*i + i for i.
0
Let x(a) = -a**3 - 6*a**2 - 4*a + 1. Let w be x(-5). Let c(j) = j**3 + 7*j**2 - 7*j + 2. Let g be c(-8). Let n = w - g. Solve 0 = -n*d + 2 - 0 for d.
1
Let m be (-1)/1 + -6 + 6. Let o be 0 - (0 + m + -1). Suppose 3*v = -o*v + 125. Solve 0 = -l - 4*l - v for l.
-5
Let s(c) = -c + 10. Let l be s(8). Solve 2 = 4*t - l for t.
1
Suppose -2*s = r - 10, 2*r + r = 2*s + 6. Solve -2*f - 5 = -s*f for f.
5
Suppose -3*k - k + 5*s - 15 = 0, 2*k - 2*s + 6 = 0. Solve x - 3*x = k for x.
0
Let i be (-9)/4 + (-6)/8 - -8. Let z(d) = -4*d - 2. Let l be z(-3). Solve -l - 10 = -i*n for n.
4
Let m(v) = -v + 17. Let y be m(8). Solve -y*t + 5*t + 16 = 0 for t.
4
Suppose -8*k + 3*k = -10. Solve -r = k*r + 12 for r.
-4
Let l(z) = z**3 - 4*z**2 - 6*z + 7. Let b be l(6). Suppose 0 = -5*u + b - 8. Solve -3*t + u + 2 = 0 for t.
3
Suppose 2*k - 5*p - 27 = 2, 0 = k - 3*p - 17. Solve b = k*b for b.
0
Let u(f) be the first derivative of -f**4/4 - 2*f**3 - 2*f**2 + 7*f - 1. Let w be u(-5). Solve z = -w*z - 3 for z.
-1
Let z(j) = -3*j**2 + j. Let f be z(-1). Let c be (3 + -1)*(-10)/f. Solve r = c*r - 8 for r.
2
Suppose 3*j + 1 = -4*h, 7*j = 4*h + 2*j + 41. Let x = h + 4. Solve -s + 4*s + 9 = x for s.
-3
Let o be (-4)/6 + (-8)/(-3). Let j(s) = 12*s. Let h be j(1). Solve -o*k = -5*k + h for k.
4
Suppose 0 = -2*y - 3*y + 25. Suppose y*g - 2*g = 75. Solve -g = -5*q - 5 for q.
4
Suppose 5*h = 10, 0 = -5*f + 5*h - 2 - 3. Suppose -5*k + 1 = -9. Solve k*p + f = p for p.
-1
Let z = -7 - -9. Suppose z*l + 34 = 5*g - l, 0 = -2*g - 4*l - 2. Solve 6 = -g*n + 1 for n.
-1
Let k(d) = d**2 - d + 5. Let l be k(0). Solve -12 = 2*t - l*t for t.
4
Let w = -6 - -14. Let r be (4/10)/((-4)/(-10)). Let j be 3 + (-4)/2 + r. Solve -j*z = 2 + w for z.
-5
Let t = 1 - 1. Let x be 12/(-4) + (2 - t). Let a be x + -1 + (7 - 3). Solve -12 = a*s + s for s.
-4
Suppose 3*l - 3 = 4*d + 9, 4*l + 6 = -2*d. Solve l = -q + 1 - 0 for q.
1
Suppose -4*m + 2*m = -84. Let k = m + 4. Suppose -4*i = 5*u - k, -2*u = -3*u + i + 11. Solve -2*v + u = 2 for v.
4
Suppose 1 + 7 = 2*c. Let j = 1 + 0. Let l be 15/4 + j/c. Solve -l*v + 15 + 5 = 0 for v.
5
Let v(f) = -2*f**2 - 22*f - 6. Let y be v(-10). Solve 4*p - y = -6 for p.
2
Let z be ((-32)/(-12))/((-12)/(-18)). Solve -1 = h + z for h.
-5
Let c be ((-3)/(-2))/((-3)/(-8)). Suppose -4 = -c*k - 0. Suppose -4*t + 12 = 0, -4*u + 9 - k = -4*t. Solve -4*r + u*r - 5 = 0 for r.
5
Let t(h) = -3*h**2 + h. Suppose 5*x + 2*g - 4 + 5 = 0, 0 = 2*x - 4*g - 14. Let u be t(x). Let o = u - -4. Solve -o*y = -7*y - 15 for y.
-3
Let y be 1/(-5) - 48/(-15). Suppose -n = 5*t - 3 - y, -n + 1 = 0. Suppose -t + 9 = 4*j. Solve j*m - 6 + 14 = 0 for m.
-4
Let s(j) = -4*j + 3 + 3*j - 4. Let g be s(-1). Solve g*v - 2*v + 10 = 0 for v.
5
Let i = 59 - 56. Solve -i*z = 4 + 2 for z.
-2
Suppose -2*g = 4*l - 0*l + 4, 4*l = -5*g - 10. Suppose l = r + 3*r. Solve 2*q + q + 6 = r for q.
-2
Let z be -1*4*-12 - 0. Let p = -4 - -4. Suppose 0 = 4*y + 4*u - z, p*y + 5*u = 5*y - 60. Solve -q + y = 3*q for q.
3
Let c = -6 - -8. Let w = -3 + c. Let a be (3 + (-6)/2)/w. Solve -u - u = a for u.
0
Let x(p) = p + 14. Let t be x(-11). Suppose t*w + 9 = 24. Solve z - 6*z = -w for z.
1
Suppose 2*n = 5*x + 41, 0*x = -2*n - 2*x + 6. Solve -5*l + 3 - n = 0 for l.
-1
Let y = 0 - 1. Let x(b) = 2 - 3*b - 3 + 3 - 3. Let l be x(y). Solve l = -r - 3 for r.
-5
Suppose -3*d = -7*d + 20. Suppose d*i - 30 = -5*b, 3 = 4*b - 13. Solve 0 = -i*n + n + 3 for n.
3
Let x(z) = -z + 1. Let 