Let k = d - -2. Solve 3*g - k + 4 = 0 for g.
4
Let x be 3 + (-4 - -1) + 2. Suppose -x*a = a + 6, g - 2 = -2*a. Solve -5*y + g*y = 0 for y.
0
Let q be ((-4)/14)/((-8)/56). Solve q*t = t for t.
0
Let h(z) = z**3 + 4*z**2 - 2*z - 2. Let w be h(-5). Let r = 11 + w. Let p be 30/(-4)*(r + 4). Solve -4*i + p = -i for i.
5
Let j be ((-2)/5)/(1/(-5)). Let p(g) = g**3 + g**2 - 2*g + 2. Let k be p(j). Suppose 0 = -4*t + 2*f - 1 + 21, t = 2*f + 11. Solve 5 = t*q - k for q.
5
Suppose 2*p + p = 0. Solve j + 3*j - 20 = p for j.
5
Let c = -5 + 1. Let s be (-8)/(-28) + c/14. Solve -5*h + 8*h + 12 = s for h.
-4
Let b(s) = s**2 + 12*s + 23. Let q be b(-10). Solve q*w - 12 = -3*w for w.
2
Suppose 11*l - 16 = 28. Solve -y + l = -3*y for y.
-2
Let m be 0 - 1 - (-42)/2. Suppose 8 + 0 = 2*c - 2*a, -c = 5*a + m. Solve -3*l = -c*l for l.
0
Let u(f) be the third derivative of -f**6/120 + f**5/10 - f**4/8 - f**3 - 5*f**2. Let q be u(5). Let w be ((-3)/(-2))/((-9)/(-24)). Solve -16 = q*j - w for j.
-3
Suppose 4*z = 5*f - 9, 3*z + 2*z + 5*f - 45 = 0. Let t = 6 - 7. Let w = t + z. Solve -w*u + 6 = -u for u.
3
Let c(z) = z - 10. Let i be c(10). Solve -4*v + 7 + 13 = i for v.
5
Suppose -15 = 3*m - 8*m. Suppose -2*q + 3*n - 13 + 1 = 0, 0 = 5*q - m*n + 12. Solve -r + 4*r + 9 = q for r.
-3
Let h(i) be the second derivative of -5/2*i**2 + 0 - 1/6*i**3 + i. Let m be h(-5). Solve 0 = z + 2 - m for z.
-2
Let k = 13 - 7. Suppose -o = -2*r + 4*r + 19, 4*o + 3*r + 51 = 0. Let g = o - -13. Solve -22 = g*q - k for q.
-4
Let v(q) = q**2 + 3*q - 8. Let s be v(-6). Let g be ((-2)/(-4))/(1/s). Solve 9 = -g*f - 1 for f.
-2
Suppose -4*f + 119 + 21 = 0. Let j = f - 15. Solve -3*p = p + j for p.
-5
Suppose 2*y = -5*m + 35, -5*m + 50 = 5*y - 0*m. Let n be 3/9*1*27. Suppose -1 - n = -y*l. Solve -13 = -3*r + l for r.
5
Let p(b) = b**3 + 6*b**2 - 9*b - 9. Let d be p(-7). Let n be 151/(-2) - 3/(-6). Let r be ((-16)/10)/(10/n). Solve -d*o + r = -o for o.
3
Let f = 9 + -7. Suppose -4*p + 7*n - 3*n = 8, p = 5*n - 18. Solve 2*k - p = f for k.
2
Suppose -4*f - 4*l + 4 = 0, -f + 3*l = -2*l - 7. Suppose i - f*i = 0. Solve i*m = -m - 4 for m.
-4
Let z = -72 - -112. Suppose -2*s - 2*s + z = 0. Solve s = -g - g for g.
-5
Suppose -w + 8 = 3. Solve 0 = w*q - 0*q - 5 for q.
1
Let c be 3/9*((2 - 4) + 2). Solve c = -m - m for m.
0
Suppose 2*q - 12 = -2*n - 0*q, 0 = 4*n - 4*q. Solve -n*p = -10 + 1 for p.
3
Let u be 0/(-1)*(-1)/(-2). Solve u = d + 2 + 3 for d.
-5
Suppose -5*c + 65 = -5*t, -7*t + 12 = 4*c - 3*t. Solve -10 = 3*h - c*h for h.
2
Let w be (-12)/(-3) - (0 + -1). Solve 10*i = w*i + 5 for i.
1
Let x = 34 + -29. Let b = -1 - -1. Solve x*j = 5 - b for j.
1
Suppose -3*z = -3*b + 27, 0 = -b - 4*b - 3*z + 29. Suppose -23 = -2*n - 1. Let q = n - b. Solve 5*d - q*d = 0 for d.
0
Suppose -45 = -5*s - 3*d, s - 3*d + 0*d = -9. Solve s = -z + 1 for z.
-5
Let s = 5 - 2. Suppose 3 = s*o - 9. Suppose 0 = o*w - 4*a - 16, 0 = -2*w - a + 11. Solve 5*i = -w - 5 for i.
-2
Let l be 1*(-6)/(-3) + -1. Let m be -3*((-6)/9)/l. Suppose -15 = -3*u - g, m*u + 3*g = 3*u + 5. Solve 0*t = -4*t - u for t.
-1
Let a = 21 + -15. Solve -2*n - 4 = a for n.
-5
Let q(o) = -o**2 + 6*o - 1. Let u be 2/3*(-15)/(-2). Let m be q(u). Suppose 3*c - 3*l = 15, -3*l + 6 + 7 = m*c. Solve r = -c*r for r.
0
Let x(w) = -w**3 + 14*w**2 + 2*w - 26. Let a be x(14). Solve 3*i - a*i = -4 for i.
-4
Let c = 4 + 1. Suppose u - c*u - 5*a - 9 = 0, -4*u - 4*a - 4 = 0. Solve u*z = z + 12 for z.
4
Suppose -3*i - 3*m = -8*m + 17, 0 = -3*i - 3*m - 9. Let t be (i + 6)/((-2)/(-2)). Let n be (12 - -2) + 2/t. Solve n = -3*c - 0*c for c.
-5
Suppose 7 = 2*t - 3. Suppose 0*b + 210 = 2*b. Suppose -t*m + b - 5 = 0. Solve -x = -6*x + m for x.
4
Suppose 2*m = 4*m - 6. Suppose r + 0 = 5. Suppose 5*l = -15, 16 + 15 = 2*j - r*l. Solve -x - j = -m for x.
-5
Let a(m) = m**2 - 5*m - 9. Let u be a(7). Suppose 2*p - u + 3 = 0. Suppose 48 + p = 3*v + 2*s, 4*s = -3*v + 41. Solve -7 + v = -4*h for h.
-3
Let s = -1 - -1. Solve 4*d = -s*d - 12 for d.
-3
Suppose -3*l = -2*j + 15, 3*j - 2*l = 6 + 4. Let m be 1 - (-1 - -2)*-3. Suppose j = m*p - 97 + 17. Solve -4*d + 0*d = p for d.
-5
Suppose -2*f = -3*z - 10, -5*z + z + 2*f - 10 = 0. Solve z = -5*s + 11 + 9 for s.
4
Let z = -2 - -5. Suppose t - 3*o - o = 16, -2*o - 8 = z*t. Let u be (t + -1)/((-1)/2). Solve -u*v = -v for v.
0
Let p = 4 + -1. Suppose 2*s + 21 = p*n, -5*n - 3*s = -8 - 8. Solve 4*c + n = -11 for c.
-4
Let x be -2 - ((-1 - -3) + -9). Suppose 3*c = 4*c + x, b + 2*c = -12. Let d = b - -4. Solve 0 = -3*j - d*j for j.
0
Let m(l) = -5*l**2 - 9*l - 9. Let y(i) = -4*i**2 - 8*i - 8. Let w(k) = 5*m(k) - 6*y(k). Let g = 1 + 2. Let t be w(g). Solve b = t*b for b.
0
Let i be 11/3 - (-2)/6. Suppose -5*n + i*p + 46 = 0, 2*n + 0*p - 4 = -2*p. Let r = 8 - n. Solve 0*y = r*y + 6 for y.
-3
Suppose -3*u + 2*h = 2, -2*u - 10 = 3*u - 2*h. Let t = u + 6. Solve 10 = 4*g + t for g.
2
Let q(b) = 2*b - 26. Let c be q(13). Solve 3*g + 2*g + 25 = c for g.
-5
Let x(q) = q**3 + 3*q**2 + q. Let c(a) = a**3 + 2*a**2 + a. Let j(f) = 4*c(f) - 3*x(f). Let m be j(0). Solve m = 5*y - 10*y + 10 for y.
2
Let l be 1*-2*15/(-6). Suppose -4*f + 5*z + 0 + 10 = 0, -5*f + l*z = -10. Solve f = -d - d for d.
0
Let b be ((-6)/(-5))/((-2)/(-10)). Let d be 1/(1*2) - 23/46. Solve -2*u + b*u = d for u.
0
Let d be -2*1 + 38 + 0. Let g(h) = h. Let j be g(2). Suppose -2*s + 39 = -x, 5*s - j*x - 62 = d. Solve 9*v - 4*v = s for v.
4
Let a be 3/(-1 - -4) - 1. Let x = 0 - a. Let t = 2 + 0. Solve -t*f - f - 12 = x for f.
-4
Let g(n) = n. Let o be g(4). Solve 0 = r - 0 + o for r.
-4
Let r = -21 - -12. Let n = r - -13. Solve 0*x - n*x = 8 for x.
-2
Let c = 45 + -30. Let t be (24/c)/4*10. Suppose -3*n + 4*r - 28 = -7*n, 5*r + 61 = 3*n. Solve -v = -t*v + n for v.
4
Let c(d) be the first derivative of -d**4/4 - d**3 + d**2/2 - 3*d - 3. Let f be c(-4). Suppose -2*i + f = i - 2*t, i - 14 = -3*t. Solve -i*w = 18 + 7 for w.
-5
Let l be (10 + 2)/((-4)/(-4)). Solve -5*b + 3 = -l for b.
3
Let a(i) = -i + 1. Let r be 1/2 - (-1)/2. Let n be a(r). Let k(p) = 2*p - 9. Let f be k(6). Solve -f = -w - n for w.
3
Suppose 0 = p + 4. Let m be 4/26 + p/26. Let h = 0 - 0. Solve h = 3*j - m*j + 12 for j.
-4
Let t be 44/3 + (-4)/6. Suppose 4*h = -m + 31, -3 = 2*h + 5*m - t. Let i = h + -8. Solve i*z + 3 = -z for z.
-3
Suppose 3*l - 52 = -t, 3*l = -2*l + 2*t + 94. Let y = 20 - l. Solve 0 = -y*u - 1 - 1 for u.
-1
Let n = 18 - 17. Suppose -c - 8 = -3*c. Solve n = -v + c for v.
3
Let r = -6 + 10. Let i = r + -2. Solve -6 = -i*s - 0*s for s.
3
Suppose -2*x - 19 = -5*b + x, -x - 3 = -b. Suppose -b*d + 6 = -4. Solve -i + 3 + d = 0 for i.
5
Let z be 2/3*(5 - -7). Let m be ((-18)/12)/((-3)/z). Solve m = -h + 3 for h.
-1
Let m be (10/(-8))/(8/32). Let p = m - -16. Suppose 0 = -4*q + 1 + p. Solve q*t = t + 2 for t.
1
Suppose 0 = -3*w + 4*w. Let s(f) = -f**2 - 8*f - 7. Let d be s(-7). Solve w*c - 2*c = d for c.
0
Let f(m) = -m - 2. Let p be f(-6). Let k = 2 - -3. Let l(g) = -g + 5. Let w be l(k). Solve -p = -4*b - w for b.
1
Suppose -2*f + 8 = -0. Suppose 2*p - 24 = f*c, -5*p + 4*c + 21 = -15. Suppose -13 = -3*t - p. Solve -a - t = 2*a for a.
-1
Let d = 11 - 11. Let m be 5 + (-2 - d - 1). Let g be 10/(-2)*m/(-5). Solve -g*a + 0 = -10 for a.
5
Suppose r - 2*r - 7 = -2*g, -r - 5 = 0. Let m be (-2)/(g - 2) + 1. Solve -n + 1 = m for n.
-2
Suppose j + 0 + 1 = 0. Let x be 0 - (-5)/(-1)*j. Suppose 0 = -0*w + 3*w. Solve w = x*t + 3 + 2 for t.
-1
Let r(n) = 126*n - 28. Let c(l) be the third derivative of -23*l**4/24 + 5*l**3/6 - l**2. Let m(u) = 28*c(u) + 5*r(u). Let f be m(-2). Solve 5*z - 3 = -f for z.
-5
Let z(a) = -2*a**3 - 2*a**2 + 1. Let n be z(-2). Suppose 2*d = -3 + n. Solve -10 = -q + d*q for q.
-5
Let r = 10 + 7. Suppose 5*f - r = -2. Solve -f*q + 2 = 11 for q.
-3
Suppose -5*y + 9 = -6. Suppose -2 = -o + y. Solve -i - 4*i = o for i.
-1
Suppose 6 + 6 = 4*h. Suppose -h*w + w - 20 = -4*x, 16 = 4*x - w. Solve -x*d = -2 - 10 for d.
4
Let x(y) = -3*y - 21. Let j be x(-9). Solve 7*w = j*w + 4 for w.
4
Suppose 4*l - 14 = 2. Solve -l*w = -2 + 10 for w.
-2
Let z be (18/4)/((-2)/(-4)). Let c be ((-15)/z)/((-2)/6). Suppose 6*k - 2*k = 20, -5*k + 5 = -2*u. Solve -u = -5*d + c for d.
3
Let m(y) = 23*y**2 - y - 1. Let s be m(-1). Suppose 0 = -