g) + 3/(-3). Suppose 2*n = -d*n. Solve n*o - o = -5 for o.
5
Let m be 10/(-20) + 26/4. Suppose -2*u = u - m. Suppose 0*z = z - 6. Solve n = -u*n + z for n.
2
Suppose -t - 10 = -3*t. Suppose 0 = t*i + 10 - 35. Solve 20 = -0*u - i*u for u.
-4
Let k = 26 + -16. Suppose 4*z - 1 = -3*s - 21, 0 = -s - 2*z - k. Solve 5*c + s*c = -15 for c.
-3
Let p(z) = z**2 - z. Let s be p(2). Let r be 1/((-5)/s - -3). Solve -3*a = -r*a for a.
0
Suppose d - 3 = 2. Let s be (-36)/(-10) - (-2)/5. Suppose g - 31 = -s*h, 3*g + 58 = d*g + 4*h. Solve -g + 7 = 5*r for r.
-4
Suppose -10 = -5*k + 3*k. Solve s + k = -0*s for s.
-5
Let g = -25 + 58. Let k be g/7 + 2/7. Suppose u - 4 = -2*p + 13, k*u = -5*p + 55. Solve -6*l + 4*l = p for l.
-3
Let f be (352/20)/4 + 4/(-10). Solve 6 + 2 = f*t for t.
2
Suppose -3*t - 15*f = -10*f + 19, -3*t + f = -11. Solve 5 = t*s - 1 for s.
3
Let s be 315/20 - 2/(-8). Let b = s - 2. Solve 0 = -5*w - b + 4 for w.
-2
Suppose -4*j + j + 15 = 0. Suppose 5*v = 25, -3*v + 7 = -2*q - 0*q. Solve -i + j*i = q for i.
1
Let g be -1 - 12/(0 + -2). Suppose 3*l - 5 = -2*b, 5*l = 1 - 6. Solve -b*v + 3 + g = 0 for v.
2
Suppose y - 21 = -2*d - 2*y, -d + 3*y = 12. Let m(i) = i**2 - 17*i + 2. Let n be m(17). Solve -5*o = -n*o + d for o.
-1
Let s be 40/30 - 1/((-6)/4). Solve -u - 2 = s for u.
-4
Suppose 2*y + y - 6 = 0. Suppose -3*n = -4*x - 108, 42 = -4*n - y*x + 164. Suppose 0 = -5*v - 2 + n. Solve 3*h = h + v for h.
3
Suppose 4 = y - 2*t, -2*y + t = 6*t - 8. Solve y - 8 = h for h.
-4
Let b be (12/(-3))/(-12)*12. Solve 2 = -b*n - 2 for n.
-1
Let w(b) = b + 8. Let u be w(-5). Solve -2*i + u*i = 0 for i.
0
Suppose -p + 4*p = 138. Suppose -5*r - p + 11 = -5*g, -3*g - 2*r = -6. Solve 6 = -2*f - g for f.
-5
Suppose -2*a - 5*m + 14 = -4*m, -4*a - 4*m + 36 = 0. Solve 0*o + a = -5*o for o.
-1
Let d = -4 + 4. Let v be (-5 + d)*(0 + -1). Solve v = 3*l - 4 for l.
3
Let s(t) = t**2 - 6*t + 1. Let d be s(6). Suppose 5*u + d - 21 = 0. Suppose u*z = 5*z. Solve v = -z*v for v.
0
Let b be 8 + 3 - -3*1. Suppose o - 33 = -4*q - 10, -b = -4*q + 2*o. Suppose -2 = h - q. Solve 5*z + 2 + h = 0 for z.
-1
Let a be (-18 - -10)*2/(-4). Solve -a - 2 = 3*c for c.
-2
Let x(k) = 4*k - 6. Let b be x(7). Let f = -18 + b. Solve 19 = -5*o + f for o.
-3
Suppose 4*t - 9 = -0*t - 3*s, 2*s = -4*t + 6. Solve -3*a + 0*a + 6 = t for a.
2
Let d = -8 - -5. Let y be (-10)/3*d/2. Suppose 0*k = y*k. Solve k*w = w for w.
0
Let r(f) = -f**2 - 6*f. Let c be r(-8). Let z = -16 - c. Solve 2*x = -z*x - 4 for x.
-2
Let s = 4 + -7. Let o be 3*((-4)/s + 1). Solve 0 = -5*d - o - 18 for d.
-5
Let a(r) = r**2 + 8*r - 6. Let o be a(-10). Let h be (3/(-2))/(o/(-28)). Solve 0 = b + h*b - 20 for b.
5
Let c(g) = -g + 8. Let t be c(5). Suppose -4*v + 18 = 2*r - 2, -5*v = 4*r - 19. Solve v = t*m + 1 for m.
2
Let n(z) = z + 4. Suppose 4*s = -s - 15. Let u be n(s). Suppose -b = u - 9. Solve -4*g - 4 = b for g.
-3
Let q = -36 - -53. Suppose -2 + q = 3*u. Let h be (0 + (-16)/(-10))*u. Solve -3*j + h = -j for j.
4
Let d = 13 + -8. Suppose -d*q + 17 = 7. Suppose -3*v + 5*w + 18 = 0, 0*v + q*w = 4*v - 38. Solve 27 = -4*z + v for z.
-4
Suppose 0 = -5*c - 4*d - 10, 3*c + 2*d + 8 = 2*c. Solve c = -i - 3 for i.
-5
Suppose -2*x + 4*b + 2 = 2*b, 4*x + 3*b = -3. Suppose 2*o + 3*s = -o + 9, -4*o - s = x. Let q be (-16 + 1)*o/3. Solve q*u + 0*u = 0 for u.
0
Let d(j) = 3*j**2 + j + 1. Let p be d(-1). Let f = -2 + 2. Suppose 0*v + 4*v = f. Solve -5*s + 2*s - p = v for s.
-1
Suppose 0 = -71*l + 73*l - 8. Solve -l*v - 2 = -5*v for v.
2
Let v(j) = 3*j + 1. Let r be v(-1). Let p(o) = o**2 + 9*o - 5. Let h be p(-9). Let d be (4/h)/(r/5). Solve 6 = -2*y + d for y.
-2
Let z be 18/45 + (-4)/10. Suppose z*l - 3*y + 6 = -4*l, -2*l + 5*y = -4. Let c be (l + (-4)/(-2))*-2. Solve -c*o + 3 = -o for o.
3
Let f(g) = 6*g + 4. Let j be f(-4). Let m = -34 - j. Let w be m/(-3) + 2/(-3). Solve -s - s = w for s.
-2
Suppose 3*b - 8 = -4*d + 5, -b = -3. Solve d = -i - 1 for i.
-2
Suppose 6*f = -f. Solve f = -0*r - 4*r - 20 for r.
-5
Suppose 0 = f - 21 + 1. Suppose -f = -4*h + 28. Solve -k - 3*k = h for k.
-3
Let t(i) = -i**2 + 3*i. Let j be t(3). Let n be (3/(-9))/(3/(-261)). Suppose 51 = 5*w - n. Solve -2*y - 2*y + w = j for y.
4
Suppose -5*j + j - 84 = 0. Let s = j + 23. Solve 1 = s*b - 3 for b.
2
Let k be (3/(-12)*0)/1. Solve k = -0*u - 2*u - 4 for u.
-2
Suppose -5*t - 1 = -11. Suppose 5*c - 6 = 4. Solve t*d + c*d + 4 = 0 for d.
-1
Let f(n) = n + 16. Let w be f(-8). Let x(y) be the first derivative of -y**3/3 + 4*y**2 + 2*y + 1. Let v be x(w). Solve v*a = 4*a - 10 for a.
5
Suppose -11*h + 12 = 1. Suppose z + 1 = 5. Solve -5*g + z = -h for g.
1
Suppose 3*c - 4 - 6 = -2*s, -3*c - 20 = -4*s. Let a(t) = -t**3 + 6*t**2 - t - 3. Let y be a(3). Suppose -4*x + y = -59. Solve -s*d = -0*d - x for d.
4
Let n be (-6)/(-27) + 230/18. Let v = n - 7. Suppose v + 0 = 3*m. Solve -u - m = -0*u for u.
-2
Let i = -126 - -128. Solve 7 = -y + i for y.
-5
Suppose -7*r - 35 = -2*r. Let b = r - -13. Solve b = -x + 4*x for x.
2
Suppose -17 = -5*c + 2*d, 0 = 3*c - 5*d + 5 - 0. Suppose 0 = 2*w + 1 - c. Suppose 4*h - 18 = -3*v, 3*v + w*h + 0*h - 18 = 0. Solve 0 = -0*u - 3*u + v for u.
2
Let n(u) = u + 23. Let j be n(-14). Solve 3*w - j - 6 = 0 for w.
5
Suppose -2*g - 4 = -4*g. Suppose 5*w = g*w. Let o = 4 - 1. Solve w = 4*l + o + 9 for l.
-3
Let g(o) = -o**3 - 2*o**2 + 6*o - 4. Let h be g(-4). Suppose 0*k - 8 = -4*k. Suppose -k*b = -h*b + 10. Solve 10 + 10 = b*n for n.
4
Suppose 2*k - 8 = 8. Let n(p) = -p**3 + 7*p**2 + 9*p - 4. Let t be n(k). Solve -t*u + 3*u = 1 for u.
-1
Suppose 8*p = 19 - 3. Solve p*f - 1 = -7 for f.
-3
Let y(u) = 2*u - 34. Let r be y(17). Solve 2 + r = -k for k.
-2
Suppose -3*x = -4*p + 1, 5*p + 3*x = -9 - 10. Let w(j) = j**3 - 15*j**2 - 15*j - 16. Let z be w(16). Let d be ((z/1)/p)/2. Solve 2*l + d*l = 0 for l.
0
Let i(s) = 3*s - 2. Let l be i(2). Suppose -3*x + l = -5*x, g + 3 = -2*x. Solve -f + g = -4 for f.
5
Suppose -l = 2*h - 13, -3*l + 5*h + 0*h = 16. Suppose -4*d = -2*y + 4, -3*d = l*y - 18 - 6. Suppose 4*x - 2 = y. Solve -r = -x + 7 for r.
-5
Let y be ((-1)/(-2))/((-4)/(-40)). Suppose h - 17 = -y*m, 0 = -3*h + 5*h - 4. Solve 0*c + m*c + 6 = 0 for c.
-2
Suppose 4*g + 2 = 2*y, 17 = 2*g - g + 3*y. Suppose -3*h = 5*n - 30, -9 = -4*n - 4*h + 23. Suppose n*m - 9 = -0*m. Solve g*b + m*b = 0 for b.
0
Let q = -1 + 7. Solve -q - 10 = -4*y for y.
4
Let b = 2 + 2. Suppose -b*p + 22 = 2. Solve 4 = 3*x - p for x.
3
Let o(p) = -2*p**2 - 5 - 4*p - 3*p + p**2. Let v be o(-5). Solve -t - 12 = -v*t for t.
3
Let x = -1 + 2. Solve -h - x = -5 for h.
4
Let o = 28 - 26. Solve -o*q + 12 - 2 = 0 for q.
5
Let h(b) = -b + 4*b - 1 + 20*b**3 - b**2 - b. Let m be h(1). Suppose -3*t + 7*t = m. Solve 2*k = t*k + 15 for k.
-5
Let j(f) = -f**3 - 7*f**2 + 16*f - 16. Let t be j(-9). Solve -t*k = -7*k + 10 for k.
2
Let d be (2 - 6/2)*-1. Solve 0 = 2*o - o + d for o.
-1
Suppose 0 = -m - 1, 3*c - 8*c - 1 = m. Let q be 2/7 - 38/(-14). Suppose -l = -c*l - q. Solve t - 1 = -l for t.
-2
Suppose 2 = c + f, c + 6 = 3*f - 0. Let m be (2 - 5/2)*c. Solve m*p = p + 2 for p.
-2
Suppose 0*x + 96 = 2*x. Let v be x/9 + 2/(-6). Solve -v*o = 4 + 11 for o.
-3
Let h = -18 + 11. Let c = h - -10. Let o = 1 + 2. Solve o*v - c = 3 for v.
2
Let i be ((-6)/(-8))/(11/44). Solve x - 5 = -i for x.
2
Let n(r) = 4*r**2 - 1. Let t be n(-1). Solve 0 = -2*a - t*a - 25 for a.
-5
Let b = -6 - -8. Let a = b - 1. Solve 0 = -n - a for n.
-1
Let q = -65 - 30. Let m = q + 67. Let w be (-4)/14 - 64/m. Solve w = x + 4 for x.
-2
Let l be (-3)/(-7) - 5/(210/(-24)). Solve -2*p + 5 + l = 0 for p.
3
Let f be 16/(-10) - -1 - 33/(-55). Solve f*u = 2*u for u.
0
Let r = 8 + -2. Solve 0 = 2*i - 4*i - r for i.
-3
Let w be -2 + 0 + (4 - 0). Let m be (-4)/(-2) + -1 + w. Suppose -t + 8 = 2*h + 2*h, -2*h - 3*t = 6. Solve -m*k + h = -0*k for k.
1
Let k(d) = d + 20. Let v be k(-16). Suppose v*q - 19 = -5*t, -3*t + q + 12 = 4. Solve 4*a - t = 5 for a.
2
Suppose -4*b = z + 22, -5*b - 5*z = -b + 14. Let k = 7 + b. Let c(x) = -2*x + 1. Let p be c(-1). Solve 0 = p*l - 2*l - k for l.
1
Let c(l) = l**2 + l - 16. Let u be c(4). Suppose b - 6 = -2*b. Let z be 0/1 - (b + -8). Solve -z = -u*o + 6 for o.
3
Let n(s) = s. Let j be n(2). Solve 3 = j*w + 9 for w.
-3
Let