r = -6 - z. Let t = -1 + r. Solve 6 = 5*g - t for g.
2
Let i = 12 + -11. Solve -2 = 3*n + i for n.
-1
Let b(i) = -i**2 + 6*i - 4. Let p be b(4). Let m = p + -2. Solve m*t - 4 = 6 for t.
5
Let m(v) = -v**3 - 9*v**2 - 7*v + 8. Let q be m(-8). Suppose 2*p - p + 7 = q. Let c = p - -12. Solve c*a + 3 + 22 = 0 for a.
-5
Suppose 3*b + 10 = -8. Let o(j) = -j**3 - 7*j**2 - 8*j - 7. Let x be o(b). Suppose 3*i = 9 + 3. Solve 0 = -g - i*g - x for g.
-1
Let g = -20 + 20. Suppose -2*o - 2*o + 4 = 0. Let s = o + 5. Solve -s = 2*r - g for r.
-3
Let p = 10 + -10. Let o = -5 - -8. Solve -o*m + 15 = -p*m for m.
5
Suppose 2*p + 5*g = -3, 0 = -g + 2*g + 5. Let b = -11 + 16. Solve 0 = -b*z - 14 - p for z.
-5
Let d(z) be the first derivative of z**2/2 + 4*z + 1. Let k be d(-4). Solve 2*y + 0*y = k for y.
0
Let u(g) = g**2 - 4*g + 3. Let m be u(5). Let s be (6/(-4))/((-2)/4). Suppose 3*y = j - s, -5*y - m = 3*j - 3. Solve j = 2*h + h for h.
0
Let r(n) = n**2 + 4*n + 1. Let i be r(-4). Let h be 0/(1*-2*i). Let p be 6 - ((0 - 0) + h). Solve -p - 2 = -2*f for f.
4
Let a be 15/(-9)*(-6)/5. Solve -a*f = -9 - 1 for f.
5
Let r be (57/(-38))/(2/(-4)). Solve -r = 5*s + 2 for s.
-1
Let u be (-13)/78 + (-1)/(-6). Solve 2*o - 1 + 3 = u for o.
-1
Suppose 5*w - 33 = -4*c, 0 = 3*w - w - 10. Solve -10 = -2*k - c for k.
4
Let y be (-8)/(-5) - 4/(-10). Let k = y - 0. Suppose 4*i - 4*s - 10 = 3*i, -i + k*s + 6 = 0. Solve 6 - i = x for x.
4
Let u = -7 + 11. Suppose -2*s = u*k + 2*s, -2*k = 5*s + 6. Solve 0*o - 6 = -k*o for o.
3
Let z(f) = -2*f**2 - 7*f + 7. Let s(r) = -3*r**2 - 11*r + 11. Let v(c) = 5*s(c) - 8*z(c). Let u = 8 + -6. Let b be v(u). Solve -b*j = -j for j.
0
Suppose -3*q + 6 = -0*q. Suppose -3*v - 4 = -4*v. Suppose v*f = 8, 4*r - 6*f + f - 2 = 0. Solve q*y - r*y = 1 for y.
-1
Let x(n) = n - 1. Let k(b) = -b**3 - 7*b**2 - 5. Let s be k(-7). Let i be x(s). Let z be 14/6 - (-2)/i. Solve l = 2*l + z for l.
-2
Let d be -2 + 16/4*1. Solve d*b = -0*b + 6 for b.
3
Suppose 3*v - 2 = 4*a - 32, 0 = -5*a + 4*v + 38. Solve a*f - 3*f = 0 for f.
0
Let b be 3 + (-1)/2*0. Suppose -p - b*k = -4*k - 9, p - 2*k = 13. Suppose 0 = 4*m + p - 9. Solve -4*s = -3*s - m for s.
1
Suppose 3*a + o = 2*o - 44, 2*o + 88 = -5*a. Let j be 10*(-2)/a*4. Suppose 1 = 3*b + j*g + 7, g = -b. Solve 0 = -0*d + d + b for d.
-3
Let q(o) = o**3 + o**2 - 2*o + 1. Let d be q(0). Let v be d/(-6) + 4/24. Solve v = -n - 3 + 1 for n.
-2
Let i(a) = 2*a**3 + 5 - 3*a**3 + 0*a**3 + 8*a**2. Let s be i(8). Let j be ((-4)/10)/((-1)/s). Solve -4 - j = -3*n for n.
2
Let m(o) = o + 8. Let p be m(-5). Let u = 4 + 0. Let n be (-4)/(-3) - u/12. Solve 4*f = -p - n for f.
-1
Suppose 9*x = 4*x + 25. Suppose z - 3*t = 6, 2*z + 6*t = t + 34. Solve x*n + z = n for n.
-3
Let f(l) = -l**2 + 7*l - 6. Let a be f(4). Suppose a*b = 2*b + 4. Solve 0*v - b = -v for v.
1
Let j(g) = g**2 + 8*g + 12. Let s be j(-7). Solve -40 = s*v - 15 for v.
-5
Suppose 0*y + 15 = 5*y. Suppose -32 = -3*z - 3*o + 7*o, o = -y*z + 22. Suppose -i = -5*i + z. Solve -i = t - 7 for t.
5
Let k be 5/2*(-36)/(-45). Solve -2*n + k = -4 for n.
3
Suppose 0 = 12*n - 8*n - 140. Solve -15 = -4*v - n for v.
-5
Let z(y) = y**2 + 6*y - 5. Let p be z(-7). Solve -d = -0*d + p for d.
-2
Let b be 10/6 - (-4)/12. Suppose -x - 1 = -i, -b*i - 13 = x + 2*x. Let f = i - -4. Solve 2*j = -f*j for j.
0
Suppose h = 2 + 2. Let t be h - 1*(-1 - -2). Solve t*s - 6 = 9 for s.
5
Suppose -3*b + 2*g + 7 = -0*b, -b - 4*g = -7. Let w be -2 - b/((-6)/20). Solve -4*n = w + 8 for n.
-4
Let s = -5 - -7. Suppose n - 4 = -z, 5*z - n = -2*n + 16. Let d(f) = -f + 4. Let u be d(4). Solve s*l + z*l = u for l.
0
Suppose -2*n + 10 = 2. Suppose -4 = -z - z. Suppose -i = z - n. Solve -i*b = 5 - 3 for b.
-1
Let g(t) = t**3 - 4*t**2 - 4*t + 5. Let u be g(5). Let y = 5 + u. Suppose -4*s - 5*j - 13 = -s, 5*s + j = y. Solve 0 = s*k - 11 + 31 for k.
-5
Let j(m) = 22*m**2 + 16*m + 13. Let b(n) = -7*n**2 - 5*n - 4. Let u(t) = -7*b(t) - 2*j(t). Let v be u(-1). Solve 2*q = -v + 14 for q.
5
Suppose -12 = 9*u - 13*u. Let g = u - -1. Solve -8 = -g*o + 4 for o.
3
Suppose -3*m = -0 + 12. Let w be -1 + -1 - 8/m. Let o(q) = -q**3 - q**2 - q. Let x be o(w). Solve -3*f + 1 - 10 = x for f.
-3
Let r be 3/2*8/6. Suppose -2*f - r*f = 0. Let v be (-3)/6*f*1. Solve v*o - o = 2 for o.
-2
Let j = -1 + 5. Suppose j*w + 26 = -70. Let g be (-6)/(-21) - w/14. Solve g*h + 20 = -2*h for h.
-5
Let n(a) = a**2 - 2*a + 3. Let b be n(2). Suppose -4*s = -4*d - 40, 23 = 4*s - 3*d - 12. Solve b*u - 2 = s*u for u.
-1
Let q(g) be the first derivative of -g**4/4 + 8*g**3/3 - 3*g**2 - 5*g + 8. Let v be q(7). Solve i = -v*i - 6 for i.
-2
Let v be 38/(4/2) - -1. Let f be 1/(-6)*-9*2. Solve -v = -2*k - f*k for k.
4
Suppose -4*k - k - 4*q + 45 = 0, 3*q = 5*k - 10. Let b(o) = k + 2 + 3*o - 3*o - o. Let i be b(4). Solve 5*z - i = 2 for z.
1
Suppose 5*m - 18 + 8 = 0. Solve m*r + 3 = 3*r for r.
3
Let t be 3/((-7)/((-175)/15)). Solve 9*v + t = 4*v for v.
-1
Let a be (0 - 2) + (-16 - -20). Solve a*w = 7*w + 25 for w.
-5
Let g = 16 + -8. Let w(n) = n**2 + 2*n + 1. Suppose 4*m - 6 + 10 = 0. Let r be w(m). Solve 3*d - g*d = r for d.
0
Suppose 51 - 12 = 13*j. Solve -2 = 2*d - j*d for d.
2
Suppose 0 = 2*k - 8 - 16. Suppose t + 0*t - 5 = s, 2*t - 4*s - k = 0. Suppose -5 = -a, t*n + 0*a + 4*a = 36. Solve n*w = 2*w + 2 for w.
1
Let v(d) = -d + 2. Let l be v(-6). Suppose 0 = l*j - 4*j - f - 12, -5*j + 15 = -3*f. Solve q = 1 - j for q.
-2
Let j be 1*(2 - -5 - 2). Suppose -2*q - 12 = -j*q. Suppose -2*w + q*w = 10. Solve w = -n + 2*n for n.
5
Suppose 7*q - 22 = 20. Solve -5*n = -q - 19 for n.
5
Suppose 0 = -2*q - 3*u + 1, -8 = 4*q + q + 4*u. Let b be 0/(q/((-12)/9)). Solve -2*c - 2 - 2 = b for c.
-2
Suppose 0 = 2*d + 2*d. Suppose 3*y + 3*v = -v - 20, -2*v = 10. Solve y*b - 5*b + 15 = d for b.
3
Let r be 2 - (-1 + 1 - 0). Let n = r + -2. Suppose n = -3*y + 4 + 2. Solve y = f + f for f.
1
Suppose 3*l = -0*l + 12. Solve 0*u = -4*u + l for u.
1
Let i(v) be the third derivative of -v**4/24 + 4*v**3/3 - 4*v**2. Let h be i(6). Solve -h*s + 8 + 0 = 0 for s.
4
Let j = -6 - -31. Solve 0*i = -5*i - j for i.
-5
Let c(l) = l**2 - 15*l - 13. Let f be c(16). Solve 0*s = 3*s + f for s.
-1
Let a = 11 + -8. Let l(v) = -v**3 - v**2 - v - 1. Let y be 5/(15/(-12)) - -2. Let p be l(y). Solve 0 = -a*s + p*s + 10 for s.
-5
Suppose x + 1 = d - 22, 97 = 5*d + 4*x. Let u = -10 + d. Let z(f) = f**2 - 8*f + 10. Let m be z(7). Solve m*h - 4 = u for h.
5
Let m be -2 - 0 - (-2 - -18). Let u be 1*m/(-3) + 0. Solve 0 = -4*p + u - 2 for p.
1
Let u = 29 - -1. Suppose -4*d + u = 5*a - 3, 5 = 5*d - a. Let v(x) = -x**3 + 4*x**2 - 2*x - 1. Let w be v(3). Solve -w - d = q for q.
-4
Let t(g) = g**2 + 11*g - 8. Let p be t(-12). Solve 2*r = p*r + 4 for r.
-2
Suppose -3*t = -t - 4, -4*k + t = -18. Solve -k*u - 8 = 17 for u.
-5
Let o = 9 + -8. Let g(w) = 3 + o - 10*w**3 - 4*w + 11*w**3 - 3*w**2. Let v be g(4). Solve -v*x - 2 - 14 = 0 for x.
-4
Let b be ((-1)/(-3))/(3/54). Suppose 2*u - b = 2. Solve 20 = -u*p + 8 for p.
-3
Let g be (1 + -3)/((-2)/4). Suppose -j + 14 = -0*r - 3*r, -g*j + 41 = 3*r. Let y = j - 3. Solve -k - y = k for k.
-4
Let s = -7 + 11. Let c = -5 + s. Let i be c/(15/(-6) - -2). Solve i*y - 4 = 2 for y.
3
Let k(f) = -f**3 - 8*f**2 + 9*f + 10. Let y be (-2)/(-9) + 332/(-36). Let p be k(y). Solve -z = z - p for z.
5
Suppose 0 = -5*m - h + 35 - 8, 5*h - 10 = 0. Suppose 0*p + m = p. Solve p*b - 15 = 2*b for b.
5
Let r = -108 - -114. Solve p = -p + r for p.
3
Let m(c) = c + 1. Let d be m(-3). Let w = 6 + d. Solve w*p + 10 = -10 for p.
-5
Let n(z) = z**2 + 6*z - 4. Let o be n(-7). Suppose o*j = -0*j. Solve -4 = k - j for k.
-4
Let h(t) = -t**3 - t - 4. Let w be h(0). Let s = 3 - w. Suppose -4 = -4*i + c, 0 = 2*i + c + 3*c - 2. Solve i = -4*z - s for z.
-2
Let b be 1*(-2)/(-4)*0. Suppose 120 = 4*v - b*v. Suppose -r = r - v. Solve 1 = 4*x - r for x.
4
Let p(t) = t**2 + 6*t - 11. Let u = -8 + 0. Let v be p(u). Solve 0 = v*x - 5 for x.
1
Suppose 2 = 2*j - v, -3*v = -v - 4. Suppose 3*a - 12 = -3*h, a - 7 = -2*h - j. Solve a*r + 2*r = 0 for r.
0
Let c = 7 + 2. Let l = c + -9. Solve -3*f = -l*f + 6 for f.
-2
Let v = -8 - -16. Solve -3*w - 10 = -v*w for w.
2
Let y = -24 - -38. Let s be y*3/6 - 3. Solve s*c - 2 = 2 for c.
1
S