. Let b = 47 - n. Solve -4*o - b - 5 = 0 for o.
-5
Let y(c) = c**2 - 9*c - 6. Let x be y(9). Let q be x/(-9)*(-27)/(-6). Solve 12 = -q*h - 3 for h.
-5
Let x = -2 - -10. Let f = x - 8. Suppose 0*j + j = -2, 5*j = v - 15. Solve f = -v*o + 12 - 37 for o.
-5
Let h(b) = b**3 + 2*b**2 - b - 2. Let p be h(-2). Solve -d + 1 = -p for d.
1
Let t(c) = 5*c + 8. Let a(p) = 5*p + 7. Let h(l) = -7*a(l) + 6*t(l). Let x be h(-3). Solve -6 - x = -5*b for b.
4
Let b be -10*9/(180/(-8)). Solve 5*t = b*t for t.
0
Suppose -8*b + 6 = -2*b. Solve 1 = j - b for j.
2
Let m = 9 + -6. Solve m*q + 2 + 13 = 0 for q.
-5
Let a = -1 - -1. Let n = 2 - a. Solve -4*s = -n - 2 for s.
1
Suppose -4*c + 0*c = 12, r + c - 23 = 0. Let m = 28 - r. Solve m*k = 7*k + 15 for k.
-3
Suppose -2*c = 4*j, -5*j + 5*c - 28 = 2. Let o = j + 0. Let x be (1 + -7)*o/4. Solve -2*i = -3*i - x for i.
-3
Let g = 4 - 2. Suppose 0 = 173*s - 169*s - 4. Solve -s + g = -k for k.
-1
Let q(x) = x**2 - 5*x - 4. Let p be q(6). Suppose -4*g - t + 7 = 0, -5 = 2*g - t - 4. Solve p*n - n = g for n.
1
Let u = -7 - -3. Let y(z) = -z - 2. Let q be y(u). Solve -3*g = -4 - q for g.
2
Let u(j) = j**2 - 10*j + 11. Let s be u(9). Suppose -g + 0*o - s*o = 4, 3*g - 9 = o. Solve -2*c + c = g for c.
-2
Let z be 2/4 + 10/4. Let p = -22 - -33. Suppose p = -2*q + 5*b, -3*q - 2*q = z*b - 19. Solve 2 + q = a for a.
4
Suppose 2*n + z = 12, 4*n - 30 = -5*z - 0*z. Solve n = -4*f - 11 for f.
-4
Let l(m) = m - 11. Suppose 14*a - 55 = 9*a. Let u be l(a). Solve 3*y + 2*y - 10 = u for y.
2
Let n(p) = -5*p - 5. Let m be n(-6). Suppose 0*u + 5*k + 10 = u, -5*u = 2*k + 4. Suppose 0 = o, -2*y + 16 = -u*y - o. Solve -y*j = -3*j + m for j.
-5
Let s be 2/1*(-28)/(-8). Suppose 4*x - 15 + s = 0. Solve -x*q + 6*q - 8 = 0 for q.
2
Suppose -2*p + 4*p = 0. Suppose -5*n + 3 + 7 = p. Solve 2*l + n = 4*l for l.
1
Suppose 4 = 7*w - 17. Solve -w*c = -4*c + 5 for c.
5
Suppose 0 = 2*w - 3*k - 12, 5 = 3*w - 3*k - 7. Let d be (2/15 - (-19)/95)*12. Solve w = d*h - 3*h - 2 for h.
2
Suppose -q + 9 = 2*q. Suppose q*w = 6*w. Solve w = -3*d + 6 + 9 for d.
5
Suppose -4*c = 5*s - 49, -2*c - 5*s + 13 = -4*c. Solve -c*b + 2 = -4*b for b.
1
Suppose 0*g = -5*g + 15. Suppose 0 = -g*h + 4*h. Solve 2*w + 0*w - 10 = h for w.
5
Let n = -157 + 158. Solve 3*s - 4 = -n for s.
1
Let z(i) = -2*i**2 - i + 1. Let m be z(1). Let q = 4 + m. Let r(b) = -b + 2. Let v be r(q). Solve 3 = o - v for o.
3
Let l be (-198)/(-8) + 2/8. Suppose 5*p + l = -2*k, 5*k = 2*k + p + 5. Let z be 2 - (k - 1)*0. Solve z*x = x + 5 for x.
5
Let f(a) = 13*a**3 - 2*a**2 + 2*a - 1. Let s be f(1). Suppose x = 2*m - 3, -m = -4*m - x + s. Solve -3*g - m = -0*g for g.
-1
Let x(v) = -v - 6. Let y be x(-12). Let d be (15/(-6) + 3)*y. Solve d = -3*r - 0*r for r.
-1
Suppose -4*p + 5 = b, 4*b = 4*p + b - 17. Suppose 3*w = 3*a + 5*w - 20, -a = -2*w - 4. Suppose -c = p*c - a. Solve j = -c*j + 9 for j.
3
Let n be (-3 - -1)/((-6)/6). Solve -n*o + 7 = 1 for o.
3
Let g = -3 + 7. Suppose 0 = g*u - 9*u. Let l = -6 + 11. Solve 5*t = -u*t - l for t.
-1
Let x be ((-75)/10)/((-3)/4). Let f = 26 + x. Suppose 3*h - 6*h + f = 0. Solve -3*t = t - h for t.
3
Let z(p) = p**2 - p. Let q(b) = 4*b + 12. Let w(h) = -h - 1. Let n(g) = q(g) + 5*w(g). Let c be n(5). Let j be z(c). Solve 3 = -5*o - j for o.
-1
Suppose -4*z + 5*v + 22 = 0, -z - 3*v + v = 1. Suppose z*n - 24 = -0*n. Solve d + n = 3*d for d.
4
Let p = 4 + 1. Suppose 0*n - 5 = -4*n + 3*r, -11 = -3*n - p*r. Solve -n*x = -x - 2 for x.
2
Suppose 2*z - 9 + 6 = 5*k, -5*k + 4*z = 11. Let y(n) = -n**2 - 9*n + 2. Suppose 0 = -2*m + 2, l + 10 = -2*m + 3*m. Let f be y(l). Solve -3 = f*q + k for q.
-2
Suppose -5*c - 13 = b - 2*c, 0 = 4*b + c - 3. Suppose i - 4*q = 3*i - 92, 5*q = -2*i + 95. Let a be (i/25)/(b/10). Solve 4*h - a = 2*h for h.
4
Suppose 5*h - 2*p = -4 + 2, -p = -1. Suppose -2*j = 2 - h. Let u be j/3 - 21/(-9). Solve -u - 7 = 3*x for x.
-3
Let g = -4 + 7. Suppose -g*d = x + 4*x - 15, 0 = -4*x - 2*d + 10. Suppose 3*j + 12 = -x*v + 3*v, -j - 2 = 0. Solve 3*a + 10 = -v*a for a.
-2
Let p(n) = -12*n - 2. Let a be p(2). Let f = a - -17. Let u be 19/4 + f/12. Solve -u = -6*i + 2*i for i.
1
Suppose l - 3*y - 5 = 0, -35 = -5*l - 0*y + 5*y. Suppose -4*s + l*s = 0. Solve -4*v + 4 = -s*v for v.
1
Let f be (-2 - -1)*8/(-8). Suppose -2*v + 5*x = f, 3*x - 12 = -4*v - x. Solve -v*r = -3*r - 4 for r.
-4
Let b(t) = -10*t - 6. Let l be b(-1). Solve 2*v = l*v - 8 for v.
4
Suppose 9*o = 3*o + 102. Let a = -14 + o. Solve -m + 8 = a*m for m.
2
Let v = -7 + 5. Let t = v + 6. Suppose t*x = -0 + 4. Solve 0 = -2*m - x - 1 for m.
-1
Suppose 5*c - 10 = 10, 2*s = -2*c + 12. Solve s*w + 16 = 6*w for w.
4
Suppose 0 = m - 4, -2*m + 33 = 6*h - h. Suppose 0*n + 10 = 5*n. Suppose -n*b = -4*b + 28. Solve -h*c = -1 - b for c.
3
Let u = -12 + 14. Solve 12 = -2*x + u for x.
-5
Let s = -18 - -20. Solve 0 = -s*v - 11 + 5 for v.
-3
Suppose -5*j + 4*v + 21 = 0, 4*v + 13 = -4*j + 1. Solve 0 = -2*m + j + 1 for m.
1
Suppose -6 = -2*y + 2*j, 1 = y - 4*j - 5. Let m be (-2)/4*-1*4. Solve -h + y = -m*h for h.
-2
Let g(u) = -u**3 + u**2 + 5*u + 6. Let h be g(3). Solve -1 - 5 = -h*k for k.
2
Let j = 10 + -17. Let s = -2 - j. Suppose 2*w - s = 27. Solve -3*a + w = a for a.
4
Let u(p) = p**3 + 7*p**2 + 4*p - 6. Let f be u(-6). Let g(j) = j**2. Suppose 0 = z - 0*z. Let r be g(z). Solve r = -2*k - k - f for k.
-2
Let i(v) = -v - 1. Let p be i(-4). Let t(g) = 6*g + 21*g**2 + g - 6*g. Let z be t(-1). Solve -8*c + p*c = -z for c.
4
Let t be (1 - (-1 - -5)) + 5. Solve -5*z = -t*z for z.
0
Let m be (-1 - 0)/(-4 + 5). Let t = -11 - m. Let i be t/(2 - 1 - 3). Solve 6*u - i*u - 4 = 0 for u.
4
Let m be 2/(-8) - 34/(-8). Let u(v) = v + 1. Suppose -3*r - 5*q = 18, 5*r - 8*q = -4*q + 7. Let z be u(r). Solve -f + z*f = m for f.
-4
Let h(t) = -6*t + 2. Let u be h(-6). Suppose u = 5*f - 42. Suppose -3*w - w = -f. Solve g + g + w = 0 for g.
-2
Let h be (3/(-6))/(1/(-14)). Solve h = 3*j - 2 for j.
3
Let p be 3/1 - (3 + -2). Solve k = -p*k for k.
0
Suppose 5*g + 0*p - 23 = 3*p, -3*g + 17 = -5*p. Suppose -7*x = -9*x. Suppose x = -4*w + 3*n, w - g*w = 5*n. Solve 3*k + 1 - 10 = w for k.
3
Let r(g) = -g**3 - 5*g**2 - 5*g. Suppose -6 = 4*s - 2*v, 0 = s - 2*v + 5*v + 19. Let f be r(s). Solve 5*z + f = -1 for z.
-1
Let t = -8 + 12. Suppose -3*h - 2*n - 45 = 3*n, -62 = 5*h + t*n. Let x be (h + 8)*10/(-4). Solve -x*y + 8 + 2 = 0 for y.
2
Suppose 0 = 4*u - y - 41, -3*u + 0*y - 3*y + 27 = 0. Suppose 4*z - 12 = -4*q, -5*q - 4*z + 13 + 2 = 0. Let c be 3 - (0 - (-1)/1). Solve -u = q*s + c*s for s.
-2
Let y = 7 - 0. Suppose p = -p + 2, -2*p + y = f. Let l = 6 - f. Solve v + l + 2 = 0 for v.
-3
Suppose -f + 2*f = 2. Solve f = o + 5 for o.
-3
Let s = 36 - 32. Solve 2*p = -s + 10 for p.
3
Let d(g) be the first derivative of -29*g**2/2 + 4. Let n be d(-1). Solve -4 = -5*f - n for f.
-5
Let b = -20 - -22. Solve -9 = -b*n + 5*n for n.
-3
Suppose -d + 2 = 1, 4*t = 2*d + 10. Suppose -40 = -8*w + t*w. Solve -2 = -2*h + w for h.
5
Let h be 5 + -3 - (-2 - 0). Suppose l - 2 = 3*l. Let u = 3 + l. Solve 2*q + h = -u*q for q.
-1
Suppose -3*x = -j + 8, -12 = -j + 2*x - 3*x. Solve -j = -3*l + 1 for l.
4
Suppose -7 = z - 5*y, 3*y + 2 = -z - 5. Let u(t) = 6*t + 2*t**2 + t - t**2. Let h be u(z). Solve 4*w = -h*w - 12 for w.
-3
Let g(f) = f - 2. Let l be g(8). Let r = 1 - -2. Suppose -l = -r*t + 6, -4*a + 3*t = -4. Solve -a*q - 20 = -8*q for q.
5
Let v = -7 + 14. Suppose -2*x + v - 3 = 0. Solve 3 = -x*n + 1 for n.
-1
Let c = 13 + -8. Suppose u = -0 + c. Solve -2*s = 3 + u for s.
-4
Suppose -21 = -5*k - 1. Solve 0 = -k*h - h + 15 for h.
3
Let z(l) = -3*l - 4. Let s be z(-4). Let h = 13 - s. Suppose h*y - 2 - 18 = 0. Solve 3*t = 5 + y for t.
3
Suppose 0*w = -w + 4. Let i be 1 + 0 + w/2. Solve -i*x + 2*x = 2 for x.
-2
Suppose -w + 3 = 2. Let b = -3 + 11. Solve -3*p = -w - b for p.
3
Suppose 13 - 2 = t. Let v = -3 + t. Solve -3*l = -l + v for l.
-4
Let x be 1/1*(-1)/(-1). Suppose 16 = -3*y + x, 5*y = -5*u + 20. Let j be (0*(-3)/u)/(-2). Solve 2*z + j*z = 0 for z.
0
Let c(w) = w**3 - 10*w**2 + 9*w + 4. Let r be c(9). Suppose 0 = 3*l - 4*s - 0*s + 4, 0 = -r*l + 5*s - 4. Solve 2*t + l + 0 = 0 for t.
-2
Let w(s) = s**3 + 2*s**2. Suppose 0 = -4*u + 2*u - 4. Let c be w(u). Solve -q = -c*q for q.
