
Let q(j) = -j + 4. Let y be q(0). Suppose -y*h + 20 = 3*m, -4*m + h - 10 = -h. Solve m = 2*u - 3 - 1 for u.
2
Let u be 3 - 3*(-21)/(-9). Let z be (-1)/(10/u - -2). Solve z*c = -c - 3 for c.
-1
Suppose -2*w = 4*v - 54, 3*w + 18 = 3*v - 0. Let y = 15 - v. Solve 0 = -y*t + 2*t + 8 for t.
4
Suppose 3*s + 1 - 10 = 0. Suppose 5*v - 2*o = 3*o + 10, 0 = s*v - 5*o. Solve 0 = -n - 0 - v for n.
-5
Suppose 5*n = 1 + 4. Suppose -i - n = 3*f, 5*i - 4*i - 5 = 3*f. Solve i = -h - 0*h for h.
-2
Let b(s) be the first derivative of s**3/3 - 9*s**2/2 - 4*s + 4. Let k be b(10). Solve -2*l + 20 = -k*l for l.
-5
Let x be 11 + 0/(4 + -2). Let w = x - -4. Suppose -w = -z - 4*z. Solve 0*t + z*t = 15 for t.
5
Suppose 0 = 4*n - 7*n + 27. Solve n*m + 25 = 4*m for m.
-5
Let v = -3 - -5. Solve 0 = -z + v*z for z.
0
Let a be 4*((-28)/(-8) + -3). Suppose -3*c - 17 = -2*c - 5*q, 4*c + a*q - 20 = 0. Solve 0 = 4*t - c*t for t.
0
Suppose -7*y + 4 = 4. Solve y = 2*f - f + 1 for f.
-1
Suppose u = 6 - 2. Suppose -u*t - 5 = 3. Let o be 0/t*1/2. Solve o = j - 5 + 1 for j.
4
Let d be (10/4)/(2/12). Suppose -2*n - 5*w = -0*n - 1, -4*n + d = -3*w. Let k = n - 1. Solve -i - i = -k for i.
1
Let q = -1 - -4. Solve x - 2 = q for x.
5
Let b(z) be the second derivative of -z**4/12 + z**3 + z**2 - 2*z. Let y be b(6). Suppose y*j = v + 1, 4*v + 0*j - 2*j = 8. Solve n + 8 = -v*n for n.
-2
Let a(k) = -k + 7. Let g be a(5). Suppose 20 = 3*y - 4*l, g*y = -2*y + 4*l + 20. Solve y*b + 6 = -3*b for b.
-2
Suppose 0 = -5*i + z - 52, 3*i + 24 = -0*z - 3*z. Let n(s) = s**2 + 10*s + 7. Let b be n(i). Solve 2*l - b*l = 0 for l.
0
Let w be 6/(-4)*(-10)/5. Let v(f) = -5*f - 6. Let m(x) = -9*x - 11. Let n(k) = 6*m(k) - 11*v(k). Let d be n(0). Solve d + w = -i for i.
-3
Let k = -15 + 17. Solve 0 = -0*u + k*u for u.
0
Suppose 7 = d + 5*k, -5*k = -5*d + 84 - 19. Let r(g) = g**3 + 8*g**2 - 10*g - 9. Let u be r(-9). Suppose u*a = -3*a + d. Solve -6 - 14 = a*f for f.
-5
Let g(y) = 2*y**2 + y + 4. Let c be g(3). Suppose -7*l = -3*l + 3*k - 39, -2*k = l - 16. Solve -l*s = -s - c for s.
5
Let l = 1 + -1. Let m(x) = 1 - x + x**3 + 1 + 3 - x**2. Let i be m(0). Solve l = b + i - 2 for b.
-3
Let r(a) = 2*a. Let c be r(4). Suppose -104 = -4*t - c. Suppose -4*x + t = -x. Solve 3*p + x = p for p.
-4
Let s = 34 - 34. Suppose -5*r = 2*v + 13, 0*v - 11 = -5*r + 4*v. Let b be r - 6/(-4)*2. Solve -b*w = -s*w for w.
0
Let t be (-3 + 4)*2*-2. Let m be 13/3 - t/6. Solve -m*q + 14 = -6 for q.
4
Let n(r) = r**3 - 4*r**2 + 2*r + 1. Let y be n(3). Let i = y - -6. Suppose i*s = -0*s + 12. Solve 9 = -6*d + s*d for d.
-3
Let b(m) = m**3 - 18*m**2 - 40*m + 4. Let k be b(20). Solve i - k + 0 = 0 for i.
4
Suppose 0 = 9*g - 10*g + 2. Solve g + 4 = -2*f for f.
-3
Suppose 4*v + 1 = -5*q + 4, 5*q + 60 = 5*v. Let f = v - -3. Suppose 46 = 3*n + f. Solve -4*z = -z + n for z.
-4
Let o = -7 + -3. Let k = -16 - o. Let u = k + 14. Solve 0 = -y - y + u for y.
4
Let p be (2/(-8) + 0)*-12. Suppose 0 = 3*t + 2*t + 10, -5*t - 7 = p*g. Solve 0 = d - 2 - g for d.
3
Suppose 0 = -2*j - 2*j - 2*k + 20, 7 = 5*j - 2*k. Suppose -d + 1 = j. Let o be (d + 2)/(-3) + 0. Solve 0*p - 2*p - 2 = o for p.
-1
Suppose 2*z + 4*w = -z + 6, -5*z + w = -10. Solve 0 = -b + 7 - z for b.
5
Let x be 12/(-24) - (-7)/2. Solve -x*f = -5*f - 10 for f.
-5
Let m = 1 + 1. Suppose -z = -m*z. Solve z*l - 3*l - 6 = 0 for l.
-2
Let j(z) = -z**2 - 11*z. Let s = 12 + -23. Let k be j(s). Let f(q) = q**2 - 4. Let h be f(-3). Solve k = 3*x - 4 - h for x.
3
Suppose 3*g + 0*g = 0. Let n = g - -2. Let q be 2/(n - 6/4). Solve 0*x = -2*x + q for x.
2
Suppose -h - d = 0, -h - 4*d + 1 = 4*h. Let b be -10*h*1/(-2). Solve 11 = b*p + 1 for p.
2
Suppose -3*k = -5*m - 12, 0*m + 7 = -2*m - k. Let r be m/9 - (-8)/6. Let d be -4*(-1)/2 + r. Solve 0 = f - 2 - d for f.
5
Suppose -4*m - 4*n - 4 = m, 4*m = 3*n + 3. Solve -2 = -t - m for t.
2
Suppose -4*l + 4*h - 8 = 0, -5*h + 14 + 10 = 2*l. Suppose 2*z - 2 - 2 = 0. Solve l*a - 2 - z = 0 for a.
2
Let o(y) = y**2 - 10*y + 5. Let d be o(10). Suppose 0 = 3*k - 0 - 9, d*g - 4*k = -2. Let c be ((-2)/g)/(1/(-2)). Solve c*z - 10 + 0 = 0 for z.
5
Let a(l) = l**2 - 6*l + 10. Let u be a(3). Let x be (-135)/(-25) - 4/10. Let m be (-1 + 1)*(-3 - -2). Solve m = q + x - u for q.
-4
Let i(r) = -r**3 - 6*r**2 - 7*r - 5. Let y be i(-5). Let n = y + 4. Let t be 106/n - (-6)/27. Solve 6*w = 3*w - t for w.
-4
Suppose 2*r - 2 = 10. Suppose -3*c + 21 - 9 = 0. Solve 0 = c*g + r + 2 for g.
-2
Let g(v) = v**3 - v**2 + 2*v. Let w be g(0). Solve w = 5*i + 4 + 1 for i.
-1
Suppose 0 = -0*m + m - 2. Suppose 3*g = -m*q + 12, 6*q - 18 = -3*g + 2*q. Let y be ((-20)/6)/(4/(-18)). Solve 0 = -g*d - d - y for d.
-5
Let l = 31 + -4. Let z = -17 + l. Solve 10*d + z = 5*d for d.
-2
Let t be 2/4*(-3 - -3). Let r = t - -4. Solve -r = -p + 3*p for p.
-2
Suppose 5 = m + 5*p, -3*p = 2*m - 0*p - 3. Let z = m - -6. Suppose z*b = b + 15. Solve -2*q + 15 = b*q for q.
3
Let i = 4 - 0. Suppose 3*q + q = 2*j - 24, j - i*q = 16. Suppose 2 = 2*z, 0*x - 5*x = 3*z - j. Solve 0 = r + x + 4 for r.
-5
Let i be 0/(1 + -3 + 4). Suppose -5*b + 3*l = -30, -l - 33 + 13 = -5*b. Suppose i*s + b = s. Solve 2 = t - s for t.
5
Suppose -2 = -x, -4*b - 5*x + 10 + 20 = 0. Let w = 6 - 4. Let m = 1 + w. Solve b*t - m*t = -8 for t.
-4
Let u = -11 + 13. Suppose -2*i + 7*i = 0. Solve i*q = 2*q + u for q.
-1
Suppose -j - 4*j - t = -34, 0 = -2*j + 5*t + 19. Let g(d) = d - 5. Let v be g(j). Solve f - 2*f = -v for f.
2
Suppose 4*l = -5*a + 25, -4*a + 20 = -4*l + 3*l. Suppose l = 3*f - 0*f - 6. Suppose f*h - 5*p - 18 = 0, 5*h + 2 = 4*p + 30. Solve 5*d + h = d for d.
-1
Let k = -3 - -3. Suppose -2*s = -5*n + 23, k = s + 4*s - 5. Solve t + 0*t = -n for t.
-5
Let a = -1 - 9. Let y(m) = -m**2 - 10*m. Let j be y(a). Solve -3*o - 2 - 4 = j for o.
-2
Suppose 0 = 49*z - 54*z + 5. Solve 2*l - z = 1 for l.
1
Let a(f) be the third derivative of -f**5/60 + f**4/6 - f**3/6 + 3*f**2. Let h be a(3). Solve -w + h = -3*w for w.
-1
Suppose -3*l = -115 - 101. Suppose -w + l = 12. Suppose 2*d + w = 6*d. Solve -j + d = 4*j for j.
3
Suppose 0 = 3*l - 6, 4*z - 3*l - 10 = 2*z. Let x = 15 - z. Suppose 4*s + 20 = 0, 3*s + 30 = -2*u + x*u. Solve u*c = 4*c - 5 for c.
5
Let b(o) = o + 9. Let i be b(0). Solve -2*s - s + i = 0 for s.
3
Suppose 0 + 4 = 3*v - 4*x, -3*x = -4*v + 10. Solve k - 3 = v*k for k.
-1
Suppose 0 = -v + 2*v - 2. Suppose 6*f + 0 = 6. Solve 3*h - v - f = 0 for h.
1
Let h(o) be the first derivative of 2 + 8*o + 4*o**2 + 1/3*o**3. Let c be h(-8). Solve 0*x - c = -2*x for x.
4
Let w = -107 - -114. Let x = -3 - 3. Let h = x + w. Solve -n = h + 1 for n.
-2
Let a be -4*((-21)/2 - -2). Suppose -3*y + 2*d + a = 0, -2*y = y + d - 37. Solve -5*g = -g + y for g.
-3
Let r(m) = m**3 - 3*m**2 - 4*m. Suppose 2*t + 11 = -0*t - 3*u, -5*t - 25 = 5*u. Let k = 8 + t. Let v be r(k). Solve v*g = -g for g.
0
Let y be 2 - ((2 - 0) + -2). Suppose 3*x = -y + 5, 3*x = 3*o - 36. Solve -3 = -4*d + o for d.
4
Let g(f) = f - f**2 + f + 0 - 6*f + 5. Let o be ((-8)/6)/((-2)/(-6)). Let r be g(o). Solve -c = -2*c + r for c.
5
Suppose -2*p + 10 = -2*o, 0 = 3*o - p + 4*p - 15. Let i be o/(-2 - 2) - 0. Solve i - 3 = r for r.
-3
Let h be (-7)/(-3) - (-6)/9. Suppose n = -2*u - 2 + 5, -n = h*u - 5. Let q = u + 1. Solve q = m - 0 for m.
3
Let m be (-1)/((-3)/27) - 2. Let c = -1 - -3. Solve -c*u + m*u = -5 for u.
-1
Suppose 2*d - 36 = -2*d. Suppose 0*v - 2 = -v. Suppose v*a + 3*p + 25 = 4*a, 3*a = -3*p. Solve -d = a*b + 11 for b.
-4
Let z(s) = -2*s + 4. Let y be z(-3). Suppose r + 0*r - 5*a + 20 = 0, -12 = -r - 3*a. Solve r = -2*k + 4*k - y for k.
5
Let u be (-2 + 48)*(-1)/(-2). Solve 3*o + 8 = u for o.
5
Let c be (-2)/13 + ((-32)/104)/(-2). Solve 8*w - 3*w + 20 = c for w.
-4
Suppose 5*l = 5*q + 20, 5 = 3*l + 4*q + 21. Solve -5*n = -l*n + 25 for n.
-5
Let o(z) = z**2 + 9*z - 7. Suppose -n = -3 + 14. Let t be o(n). Solve s = -4*s - t for s.
-3
Let x be (3 - (-8)/(-4))*7. Let z(h) = 7*h - 3 + 2 - h**2 + 7. Let u be z(x). Solve 0 = -4*p + 2 + u for p.
2
Suppose -v - 2*v = -42. Suppose 3*k + v = 5*n, 3 + 1 = n. Suppose k = -u + 9. Solve -u = 3*f - 19 for f.
4
Let u = 38 + -13. Solve -s - 4*s + u = 0 for s.
5
Let f(v) = -8 + v**2 + 7*v**2 - 4*v - 7*v**2. Let b be f(6). Solve -18 - 2 = -b*w for w.
5
Suppos