1 for o.
4
Let x = 14 + -8. Let t = x - 3. Solve t*h + 9 = -0 for h.
-3
Let a(n) = -n**3 - 10*n**2 + 5. Let g be a(-10). Solve 0 = g*f - 0*f for f.
0
Let x(c) = c**3 - 4*c**2 + 5*c - 4. Let o be x(3). Suppose -o*g - 8 = -4. Let f be (0 + 1/g)*-4. Solve -4*b - 8 = -f*b for b.
-4
Let s = -17 - -32. Suppose f + 4*c - 2 = -0*f, -5*c - 4 = -2*f. Suppose 5*z + 4*t + f = 0, 0 = -3*z - 0*z + 3*t + s. Solve 0 = -3*u + 10 + z for u.
4
Let r be 4/14 - (-120)/21. Suppose 0 = 5*o - 2*o - r. Let m be (2/(-6))/((-3)/27). Solve m*a - o*a = -5 for a.
-5
Let m(j) = -j**3 - 4*j**2 + 2. Let i be m(-4). Suppose 0 = 3*s - s - 4. Solve -i*o - s*o = 0 for o.
0
Suppose 6*o = 3*o + 3*s - 6, -5*s + 37 = 4*o. Suppose -u + 0*d = -d + 3, 3*d = -o*u + 9. Solve -i = -u*i - 2 for i.
2
Let o(i) = -i + 2. Let g be o(0). Solve -c + g = c for c.
1
Let n = 18 - 18. Solve n = -2*l - 4 for l.
-2
Suppose 0 = -3*a + 6 - 3. Solve -1 = 2*i + a for i.
-1
Let u(z) = z + 7. Let k be u(0). Suppose 3*r - 4*j = 1, -3*j + 1 = -4*r + k. Solve -c - r = -2*c for c.
3
Suppose 0 = 3*t - 6 - 6. Solve -6*s = -t*s for s.
0
Suppose -y + 4*w - 16 + 5 = 0, -4*w + 8 = -4*y. Suppose 0*b - 15 = 3*b. Let z(c) = c**2 + 4*c - 5. Let p be z(b). Solve p = 4*l - 11 - y for l.
3
Suppose 4*s - 2*r = 68, 0 = -2*s + r + 2*r + 42. Let a = s - 15. Solve a*p = 4*p + 16 for p.
-4
Let h(k) = 5*k + 12. Let a be h(-2). Solve 0*r + a*r - 10 = 0 for r.
5
Let s(i) = -3*i - 19. Let k be s(-6). Let f be (-5 - -5)*(k - 0). Solve w + 4 + 0 = f for w.
-4
Let y(h) = 2*h - 11. Let k be y(7). Solve k = 4*p - 3*p for p.
3
Suppose 0 = 2*d + 32 - 50. Solve 2*o + d = -1 for o.
-5
Suppose d + 0*d - 2 = 5*r, 10 = 5*d. Solve 3*a + r - 9 = 0 for a.
3
Let r be 3/6 - 23/(-2). Let t be ((-4)/10)/((-4)/20). Solve t*w = 6*w - r for w.
3
Let y be 2/8 - (-27)/4. Let p = 7 - y. Solve 5*x + p*x = -10 for x.
-2
Let l = -4 - -17. Solve 5*g - l = 12 for g.
5
Let x(s) = s - 1. Let v be x(3). Suppose u + g + 2*g = -8, 0 = -3*u - 5*g - 8. Suppose -4*a = -u*w, -24 = -5*w - 2*a - a. Solve v = w*i - 10 for i.
4
Let b = 64 + -55. Solve -k = 2*k - b for k.
3
Let y(f) be the first derivative of -f**3/3 + 3*f**2 + f + 4. Let n = 19 - 13. Let z be y(n). Solve 2*p + 5 = z for p.
-2
Let f = -1 - -4. Let l be (-4)/f*(-6)/(-4). Let g be (-10)/(-1 - (l - -2)). Solve 4*h = 2*h + g for h.
5
Suppose -g = 2*c - c - 9, -5*g = -c - 15. Let l be -1 + 4 + 2/2. Suppose l*u + 2*x = -2*x + 20, x = 0. Solve -u = -z - g for z.
1
Let l be (2 - (0 + 2))/2. Suppose 4*k + 4 = -t, t - 5 = -l*t + 5*k. Solve -c + 5*c = t for c.
0
Suppose 3*h = 4*t + 3, -2*h = 5*t + h + 24. Let y = t + 3. Solve -i + y*i - 3 = 0 for i.
-3
Suppose 0 = 3*g - 0*g. Suppose g = 7*i - 3*i + 4*f + 4, -5*i = 3*f - 3. Solve 5*m + 2 = -i for m.
-1
Suppose -4*s + 20 = s. Suppose -3*f - 5*o - 5 - 1 = 0, -4*f - s*o = 0. Solve -1 - f = -2*r for r.
2
Let d(x) = -x**3 + 9*x**2 - 10*x + 9. Let g be d(8). Let y(j) = -j**2 - 9*j - 10. Let z be y(g). Solve 9 = z*c - 3 for c.
3
Suppose 5 = 3*f - 1. Suppose -4*s + a - 3 = 2*a, 0 = -f*s + a + 3. Solve -y - 3 + 5 = s for y.
2
Suppose -4 = -6*f + 8. Solve 16 = -2*c - f*c for c.
-4
Let m(x) = x**2 + 6*x + 2. Let j be m(-6). Suppose -4*s - 4*q + 3 + 1 = 0, 0 = -5*s - 2*q + 11. Suppose s + j = k. Solve -r + k = -0*r for r.
5
Suppose 2*k - 5*k = 5*i - 55, -5*i = -3*k + 95. Solve 0 = -6*y + y + k for y.
5
Let h(c) = -c**3 - 2*c**2 + 4*c. Let d be h(-4). Let n = -6 + 8. Suppose n = -5*x + 27. Solve -x*g + g - d = 0 for g.
-4
Let b be 18/12*(-8)/(-3). Let f = -1 + 1. Solve -b*s + f = -8 for s.
2
Let g(a) = -a**2 + 9*a + 4. Let y be g(8). Solve 5*l = l - y for l.
-3
Let u be -4 + -2 + 7 + -1. Solve -d = 3 - u for d.
-3
Suppose 36 = -0*f + 3*f. Suppose m - f = -m. Solve -m*o - 8 = -2*o for o.
-2
Let f(q) = -q**3 - 8*q**2 - 6*q - 1. Let d be f(-6). Let r be d/(-4) + (-1)/4. Let p = r - 1. Solve 0 = -5*v - 12 - p for v.
-4
Let x be -2*((-1)/2 - 2). Suppose j = -2*u + 2*j, -x*u + 6 = -j. Solve s + 0*s = u for s.
2
Suppose -2*q = -2*l - 50, -5*l = -2*q - 2*q + 105. Solve q = -0*f - 5*f for f.
-4
Suppose 7 = r + 4*r + 2*b, 2*b = -8. Solve 5*z = r + 2 for z.
1
Let s = 8 + -7. Let p(w) = -w**2 - 4*w. Let n be p(-3). Let q be 3 - (0 + n/3). Solve s - 3 = -q*o for o.
1
Let n be (-1 - -5)/(-4)*-1. Solve y = 2*y + n for y.
-1
Suppose h - 2 = r, 3 = -2*h - 2*r - 1. Let x = h + 3. Suppose 0*k - x = k - 3*i, -k - 3*i + 3 = 0. Solve k*o - o = 0 for o.
0
Suppose -5*i + 0*i = -q - 14, -5*i = -20. Let l = -10 - -14. Let n be 1/l - (-11)/4. Solve -15 = q*m - n*m for m.
-5
Suppose 9*u - 4*u = 10. Suppose -q = -0*g - u*g - 7, -4*q = g - 19. Suppose q*o + c - 1 - 9 = 0, -5*o + 3*c + 10 = 0. Solve -x + 5 = -o*x for x.
-5
Let y(p) = p**2 - 1. Let s be y(-2). Suppose -5*j + 3*z + 10 = 0, -j = s*j - 5*z - 8. Solve j*d - 1 = 7 for d.
4
Let t(g) = -g**2 - 10*g - 8. Let v be t(-9). Let n = v + 2. Let o = 6 - n. Solve 2 + 13 = o*y for y.
5
Let m be (-15)/35 + (-62)/(-14). Solve 0 = m*w - 5*w - 1 for w.
-1
Suppose 4*g = -64 - 20. Let f = 57 + g. Suppose -f = -2*z - z. Solve 0*o = 4*o + z for o.
-3
Let a = -10 + 15. Solve 7 = a*s - 3 for s.
2
Let h(t) = -t. Let d be h(2). Let o(q) = -q - 2. Let x be o(d). Solve x*l = l for l.
0
Suppose 2*h + 13 + 1 = 0. Let n(v) be the third derivative of -v**6/120 - v**5/10 + 7*v**4/24 + v**3/3 + 3*v**2. Let f be n(h). Solve 0 = q - f*q - 1 for q.
-1
Let o(q) = q**2 - 4*q - 3. Let w be o(5). Suppose -12 = -w*n - n. Solve r - n*r = -15 for r.
5
Suppose -4*g + 105 + 95 = 0. Suppose 7*h - 2*h + g = 0. Let v be (-1)/2 + (-5)/h. Solve 3*k + 1 + 14 = v for k.
-5
Let v(j) = -j**3 - j**2 + 2*j - 2. Let a be v(-3). Suppose a = -2*u, 0*z - 3*z - 13 = 5*u. Let r = 8 + z. Solve 0*i = -4*i - r for i.
-3
Let f = -22 - -13. Let z(s) = s + 9. Let c be z(f). Suppose c = 2*w + 2*w. Solve w = -2*a - 3*a - 5 for a.
-1
Suppose 0 = -5*o + 3*o + 4*p - 10, -21 = -3*o - 3*p. Solve o*m - 8*m = 25 for m.
-5
Let p = -12 - -14. Solve -p*w + 6 = 2 for w.
2
Suppose 3*y = s - 17, -4*y - 16 = -3*s + 10. Suppose 1 + 17 = -s*r. Let x = -7 - r. Solve 0*i = -x*i for i.
0
Let x be -2 + 0 + (-6 - -11). Solve 3*b = -0*b + x for b.
1
Let o = 12 + -11. Let v be 4/8*(1 - o). Solve v = 3*c + c for c.
0
Let f be (1 - (4 - 2))*-2. Let b be f*1/((-2)/(-7)). Solve -2*l + 5 = -b*l for l.
-1
Let x(j) = 0*j**2 - 9*j - j**2 + 12 - j**2 + 3*j**2. Let h be x(8). Solve 5*v = -h - 11 for v.
-3
Let k be (-1 + 0 - 1) + 14. Suppose -3*c = -5*c - 5*r + 18, -4*c + 2*r + k = 0. Let a be (5 - c)/(2/6). Solve -a - 3 = 2*i for i.
-3
Suppose 0 = 4*q - 16 - 8. Suppose 8 = 4*p - 0. Suppose 2*a - 3*n - 6 = 0, n + 3 - 1 = -p*a. Solve -2*c + 4*c + q = a for c.
-3
Let p = -43 + 43. Solve p = 3*w + 2*w + 25 for w.
-5
Let s be 1/(7/54) + (-76)/(-266). Suppose 0*z + 12 = z. Let j = -10 - -15. Solve -j*x + z = -s*x for x.
-4
Suppose 0 = -3*s + 1 + 14. Suppose o - s = 1. Solve -o*m = -3*m - 6 for m.
2
Suppose 3*j - 42 - 3 = 0. Solve -35 = -5*t - j for t.
4
Let f(z) = 5*z - 15. Let v be f(4). Solve -4*s + 3*s - v = 0 for s.
-5
Let x(l) = l - 6. Let q be x(7). Let v = q - -3. Suppose -y + 2*m - 7 = 3, -20 = -y - v*m. Solve y = 5*h - h + 8 for h.
-2
Let d = 6 + -6. Solve 0 = 3*a + 6 - d for a.
-2
Let p be 1/3 + 44/12. Let y(c) = p - 3 - 5 + c. Let a be y(8). Solve a*k = k for k.
0
Let f(n) = n - 4. Let j be ((-6)/(-1))/3 + 10. Suppose -2*p + 0 + j = 0. Let z be f(p). Solve 0*i + 2 = z*i for i.
1
Suppose 2 - 18 = -2*w. Let x(c) = -c**3 + 3*c**2 - 2*c + 6. Let a be x(3). Solve a*r = -4*r - w for r.
-2
Let b(z) = -z**3 - z**2 - z + 13. Let w be b(0). Solve -4*q = 7 + w for q.
-5
Let p = -5 - -5. Solve -3*i - 15 = -p for i.
-5
Let p = 28 - 25. Solve p*q + 2*q = -20 for q.
-4
Let m be (-81)/(-45)*10/3. Solve 3 = l + m for l.
-3
Let o be ((-4)/(-2 - 2))/1. Solve 2*w - 5 = o for w.
3
Let o be (-5)/(-2)*48/30. Solve 2*w - 4 = o*w for w.
-2
Let x = 3 + -3. Let b = 7 - x. Solve -b = -2*r + 3 for r.
5
Let c(d) = -d**3 + 10*d**2 + 11*d + 8. Let a be c(11). Let i(f) = -f**3 + 7*f**2 + 7*f + 11. Let t be i(a). Solve 15 = -3*w + t for w.
-4
Let v be (12/15)/(2/(-10)). Let s be 2/((-2*1)/v). Suppose -s*a = -10 - 2. Solve -o - a = -4*o for o.
1
Suppose -4*p - 3*d = 3, -4*p + 19 = -p - 2*d. Suppose -p*j + 6*j = b + 10, 2*j - 2 = 3*b. Solve -j*q = -q for q.
0
Let d = 5 + -1. Suppo