Let m be d(9). Let y = -6 + m. Suppose -y*l = -3*s + 30, s - 4 = 5*l + 17. Solve s = 4*h - 10 for h.
4
Let h be 18/63 + 2*1/(-7). Solve -5*x + 8*x + 15 = h for x.
-5
Suppose -5*i + 55 = -5*m, 0 = 4*i + 4*m - 6*m - 34. Let w(j) = j. Let n be w(i). Solve 2*q = n*q for q.
0
Let t(a) = -a**3 + 15*a**2 + 18*a - 22. Let y be t(16). Solve i = 3*i + y for i.
-5
Let v be (-15)/5 - (0 - (-1 + 19)). Solve -v = -3*k - 0*k for k.
5
Suppose 0 = -c - 0*c + 5*h + 12, 4*h = -5*c + 2. Suppose 0 = 5*v - 8 - 2. Solve w + c = -v for w.
-4
Let x be 20/((-5)/(-1)) + 0. Suppose -4 = -f + 3. Let s = f - 4. Solve -7 = x*l - s for l.
-1
Let b = -12 - -19. Let s(p) = -p**2 - 8*p - 3. Let w be s(-6). Let m(x) = -2*x**2 - 17*x - 4. Let h be m(-8). Solve 0 = h*y + b + w for y.
-4
Let m be (-19)/(-4) + 4/16. Suppose -s = -m*s + 12. Solve -s*u + 4*u = 0 for u.
0
Let d be (-15)/(-40)*4*2. Solve i = -2 + d for i.
1
Let c(d) = -d**2 + 7*d - 3. Let k be c(4). Let a = k + -9. Solve 0*j + 4*j = a for j.
0
Let z(r) = r**2 + 11*r - 10. Let j be z(-12). Suppose -j*h - x = 4*x - 2, 1 = h + 5*x. Let w = h - 0. Solve -w = 2*i - 11 for i.
5
Let a be (-4)/8 + (-20)/(-8) + 4. Solve a = 6*h - 4*h for h.
3
Let i = 54 + -50. Solve -i*d = -35 + 15 for d.
5
Let a(y) = -y - 2. Let m be a(5). Let i = m + 16. Solve -i = -b - 4 for b.
5
Let q = 23 + -22. Solve -c - q = 3 for c.
-4
Let y be 0/(0 + 0 + 2). Suppose 4*x + 4*p - 24 = y, 4*x + x - 34 = -p. Solve -x = -2*u - 1 for u.
3
Let h = 7 + 13. Solve 2*s = -2*s - h for s.
-5
Suppose 0 = 2*o + 5*l - 2*l - 56, l = 2*o - 48. Suppose -h - 4*h = -o. Suppose 0 = -5*d + x + 25, 4*d - h*x + 3*x - 20 = 0. Solve 4*b = d*b for b.
0
Suppose -20 = -5*n + 30. Suppose -4 + n = 2*x. Solve -x*s + 20 = s for s.
5
Let d(x) = 2*x**2 + 3*x. Let n be d(-2). Let b(p) = -p**2 - 5*p - 4. Let o be b(-5). Let v = -2 - o. Solve 0*s + v = n*s for s.
1
Suppose 3*p - 40 = p. Solve -4 = -4*n - p for n.
-4
Suppose -3*w - 2*w = 0. Suppose -j - 4*j + 4*m + 26 = w, 0 = -3*j - m + 19. Suppose 3*g = -0 - j, -t = 2*g - 2. Solve -p - 1 = -t for p.
5
Let g(f) = f**2 + 3*f - 8. Let m be g(-6). Let a = m + -3. Let c = 0 + 2. Solve -a*j + c*j = 15 for j.
-3
Let s be -9*(140/12)/(-5). Solve 4*i - 9 = -s for i.
-3
Suppose 5*p = 5*s + 50, -4*p + 19 = -5*s - 22. Solve p*g - 8 = 7*g for g.
4
Suppose 4*t = -2*t. Solve 2*u - 2 - 2 = t for u.
2
Suppose 7 = -5*c - 13. Let r be 8/5*(-10)/c. Suppose r = x - 0*x. Solve 0*q = -q + x for q.
4
Let l = 0 - -4. Let j(y) = -y**3 + 6*y**2 + 6*y + 8. Let f be j(7). Solve f = 3*c - l*c for c.
-1
Suppose 3*a - 5 = 4*f, 0*a - 2*f = a - 5. Suppose 0 = z - 0*z - a. Suppose z*m - 5*o + 2*o = -6, 4*m - 5*o = -12. Solve m*p + p = -9 for p.
-3
Suppose -5*z - 2*j = -4*j - 20, 4*z = -3*j - 7. Solve w + 9 = -z*w for w.
-3
Suppose 2*o + 0*o + d + 3 = 0, -3*o + 15 = -5*d. Solve o = 2*m - m + 2 for m.
-2
Let d(r) = -r + 11. Let i(l) = l - 12. Let z(f) = 3*d(f) + 2*i(f). Let s be z(9). Solve -3*c - 9 = -s*c for c.
-3
Let d be 7 + (2*-1 - -1). Let l be -4 + d - (1 + -3). Suppose -l*t - 22 = -g, -1 = -3*g - 5*t - 3. Solve 3*p = 5*p + g for p.
-3
Let w = -3 + 6. Solve 0 = g - w*g - 4 for g.
-2
Let n be 10/(-4)*2 + 8. Solve 5*m - 6*m = -n for m.
3
Let h be -3 + ((-26)/4)/((-1)/2). Solve h = 2*t + 3*t for t.
2
Let p = -13 - -22. Solve p = -4*s + 1 for s.
-2
Let q(y) = y - 7. Let c be q(8). Solve c = 5*k + 6 for k.
-1
Suppose 0 = 3*c + 4*d - 1 - 15, -3*d = -3*c - 12. Solve c*i - 5 = -i for i.
5
Let j be (1 + 8)/(5 - (-7)/(-2)). Solve 2*m + j = 2 for m.
-2
Let y = -5 + 8. Solve -1 = -y*w + 5 for w.
2
Let r(p) be the first derivative of -p**4/12 - p**3/3 - p**2/2 - 2*p - 1. Let b(f) be the first derivative of r(f). Let t be b(-1). Solve t*s = s for s.
0
Let l(n) = n - 5. Let u be l(8). Solve 0*x + u*x + 12 = 0 for x.
-4
Suppose -5*y - 8 = -103. Suppose 2*w = -3*h + y + 33, 0 = -5*h + w + 78. Solve 5*b + h = -4 for b.
-4
Let x(b) = b**2 + 2*b**2 + 0*b + 6 - 13*b - 2*b**2. Let v be x(6). Let o be 8/v + 20/9. Solve 0 = o*a - 2 - 6 for a.
4
Let x(s) be the first derivative of -5*s**2 + 1/3*s**3 - 1 + 9*s. Let r be x(9). Solve -3*i = -r*i - 6 for i.
2
Suppose -27*x - 20 = -29*x. Solve -x = -0*l - 5*l for l.
2
Suppose 0*t + t - 5 = 0. Suppose 0 = -2*u + t*u - 15. Solve u*r - 5 = -0 for r.
1
Let s be 3/((-6)/(-2)) - 1. Suppose s = q - 3*q + 10. Solve 2 = -4*g + q*g for g.
2
Let i(x) = 2*x**2 - x + 1. Let s be i(1). Solve s*g = 3*g for g.
0
Suppose g = 4*i - 7 - 3, -13 = 2*g - i. Let z = g - -8. Solve z*f + 0 = -8 for f.
-4
Let y = 9 + 6. Suppose -5*w - w + w = 0. Solve w*g = 5*g + y for g.
-3
Suppose -1 = -d + x, 5*x - 6 + 1 = 0. Solve 11*u - 9*u = d for u.
1
Suppose -s = 3*y - 0*s - 20, 0 = y - 3*s + 10. Let t be 0/((-3 - -2)*1). Suppose 2*g - 41 = -7*b + 6*b, -y*g + 3*b + 97 = t. Solve z + g = 6*z for z.
4
Let n(v) = v + 3. Let f be n(0). Suppose -3 = c - u, -2*c + 0*u - f = -u. Solve l + 3 = -c for l.
-3
Suppose -2*b - 14 = -5*t, 0 = -t - 5*b - 8 - 0. Suppose -6 + t = -p. Solve -2*n - 14 + p = 0 for n.
-5
Suppose 52*m - 6 = 49*m. Let r = 6 + 0. Solve m*c = -0 + r for c.
3
Let o be 1/((2/(-2))/(-1)). Solve -c = -o - 4 for c.
5
Suppose 39 + 11 = 5*d. Suppose -6 - 36 = -5*m + 3*u, -2*u = 3*m - d. Let a = m + 0. Solve -a = -2*y - 0 for y.
3
Let c be (36/14)/((-45)/(-210)). Solve 0 = -s - 7 + c for s.
5
Suppose 3*t + t = 4. Let i be (2 - 1) + (0 - t). Solve q + 0*q - 1 = i for q.
1
Let h = 14 + -4. Let p(w) = -w**2 - 5*w - 6. Let o be p(-4). Let g = -2 - o. Solve g = -l - l + h for l.
5
Suppose -3*v + 110 = 2. Suppose 0 = -5*g + v + 14. Suppose 3*l - 9 + 3 = -2*q, -5*l = -10. Solve -4*n + 6 + g = q for n.
4
Let p(x) = x**2 - 9*x + 8. Let w be p(8). Let s = -14 + 16. Solve w*c - 4 = -s*c for c.
2
Let z be (-20)/(-8)*(6 + -4). Solve 2 = z*v - 3 for v.
1
Suppose 3 - 12 = -3*j. Suppose j*y + 15 = 8*y. Solve -4*c + 5 + y = 0 for c.
2
Let w(n) = -n. Let b be w(-5). Suppose k = b*k. Suppose u + u = k. Solve -2*p + u*p = 10 for p.
-5
Suppose -a - 25 = 5*r, 3*a = -5*r - 12 - 33. Let y be 4/10 + (-26)/a. Let f be 3 - 1 - (2 + 0). Solve y*o - 8*o + 15 = f for o.
3
Suppose 2*i + 0*i = 4. Solve 0*d = -i*d - 8 for d.
-4
Let y = 28 - 25. Suppose x + h + 1 = 5*h, 4*x + 2*h - 14 = 0. Suppose 6*a - x*a = 0. Solve a + y = -d for d.
-3
Let u(b) = -b**2 - 11*b. Let f be u(-11). Suppose 4*k - 17 + 5 = f. Suppose 3*a + 6 = -k*t - a, -t = -3*a - 11. Solve t + 2 = 4*p for p.
1
Let q = 5 - 2. Suppose q*o = -6, 4 = -f - 0*o - 2*o. Suppose -j - 2*j + 36 = f. Solve -c = -4*c - j for c.
-4
Let i(d) = -d**2 - 17*d + 18. Let o be i(-18). Solve o*w = -4*w for w.
0
Let j be 3*(14/3 + -3). Suppose 0 = j*a + y - 3*y - 30, 3*a = -3*y + 39. Suppose 3*h + 4 = -a, 2*h = -5*r - 3. Solve -2*k + r = 9 for k.
-4
Let h(d) = -d - 9. Let q be h(-11). Solve q*u = -1 - 3 for u.
-2
Suppose -3*r + 12*r = 36. Solve -11 - 1 = -r*h for h.
3
Suppose 5*g = -4*p + 84, -3*p + 2*g = g - 63. Suppose p = 4*l + 1. Solve l*x = 6 - 1 for x.
1
Let t(g) = g**3 - 5*g**2 - 4*g - 8. Let j be t(6). Solve -7 = j*u + 5 for u.
-3
Suppose -3*v = -4*t + 5*t - 10, -9 = -3*v. Solve -4*q + t - 5 = 0 for q.
-1
Let c be (1 - -1)*(-1)/(-1). Suppose 4*f - c*f = 10. Solve f*y + 6 = 2*y for y.
-2
Suppose 0*f = -3*f + 9. Suppose -f*t = t. Solve 4 = -t*p + p for p.
4
Let p be (-1608)/(-56) + (-2)/(-7). Suppose 5*l - 5 = 4*a + p, 4*l = 8. Let n be 3/(-1) - a - 2. Solve 5*z = -6 + n for z.
-1
Let o(w) = -2*w + 25. Let i be o(5). Solve -4*z + i - 7 = 0 for z.
2
Let p = -4 - -4. Let r be (-6)/(-2) - (p + 3). Suppose 4*t - t = r. Solve t = 5*j - 3 - 2 for j.
1
Let n(q) = 2*q**3 - 2*q**2 - 3*q - 2. Let r be n(3). Suppose -r = 4*g - 9*g. Suppose -10 = i - 3*i. Solve -g*w + i = -15 for w.
4
Let i = -29 + 31. Solve -i*w + 4*w = -6 for w.
-3
Let l(a) = a**2 + 3*a - 2. Suppose 3*r - 3*j = -0*j - 24, 0 = r - 5*j + 24. Let h be l(r). Suppose 0*s - h*s = -8. Solve -4 = -s*v - 12 for v.
-2
Suppose v - 8 - 14 = -m, 2*v = -m + 27. Solve m = -5*i + 2 for i.
-3
Let y = 150 - 135. Solve 4*g + y - 11 = 0 for g.
-1
Suppose -g - 28 = -5*c, 5*g - g - 3 = -3*c. Solve -c*d + 9*d = 0 for d.
0
Suppose 8*d = 21 + 27. Solve d = -0*f - 2*f for f.
-3
Suppose 0 = 5*m - 5*y - 25, -2*m = m + 3*y + 3. Solve -m*o + 5*o = -3 for o.
-1
Suppose 1 = 2*l - 3. Suppose 0 = z - 5*k + l*k - 9, -3 = k. Solve -o = -z*o -