
Let o be ((-6)/(-4))/(3/2). Let a be (-1 + (4 - o))/1. Suppose -12 = -a*k - 0*k. Solve 4*s - s = -k for s.
-2
Let r(h) = h**2 - 19*h - 14. Let n be r(20). Solve 0*g = 2*g - n for g.
3
Suppose 2*u - 42 = -3*f, 0*f + u = f - 9. Let b = -8 + f. Solve -5*g = -7*g + b for g.
2
Let d(t) = -t**2 - t + 5. Let s be d(0). Suppose -s*y + 179 = 19. Suppose 0*i = 2*i - y. Solve i = 5*f - f for f.
4
Suppose v = 24 - 4. Solve -6*n - v = -2*n for n.
-5
Suppose 31*n - 5 = 30*n. Solve 4*x + 15 = -n for x.
-5
Let z = 5 - -2. Let c(m) = -m**3 - 5*m**2 + 5*m - 3. Let i be c(-6). Solve -i - z = 2*a for a.
-5
Let m(n) = n**3 - 4*n**2 + 3*n - 1. Suppose d + 1 = 5. Let g be m(d). Let i = g - 0. Solve -2*b - 3 + i = 0 for b.
4
Let g(n) = n**3 - 5*n**2 + 4. Let v be g(5). Solve -2*f + 6*f = -v for f.
-1
Let u(s) = -5*s**2 - 19*s - 1. Let d(r) = -2*r**2 - 9*r. Let c(b) = 7*d(b) - 3*u(b). Let j = 20 + -14. Let w be c(j). Solve 2*z - w*z = -1 for z.
1
Suppose -10 = -3*b - 2*b. Solve 1 + b = -m for m.
-3
Let j be ((-68)/(-6))/(8/12). Let t = 17 - j. Solve -c + t + 1 = 0 for c.
1
Suppose -6 = 2*f + 2*c, -4*f = -8*f - 5*c - 15. Let b be (f - 0)/(3 + -1). Solve b*m + 4*m = 16 for m.
4
Suppose -x - 13 = 4*z, -4*x - 3 = z - 11. Solve 0 = x*r - 1 - 2 for r.
1
Suppose 30 = b + 2*b. Let s = b - 4. Let x be s/(-2)*(-2)/2. Solve -2*r = -x*r for r.
0
Suppose -p = -3*p. Let l(h) = -h**2 + 8*h + 9. Let m be l(9). Solve m = d - p*d for d.
0
Suppose -4*o + 3*f + 20 = 7*f, 5*o + f = 21. Solve 3*d + 5 = -o for d.
-3
Suppose 3*o = -13 + 1. Suppose 0 = -0*q + 4*q - 4. Let w = q - o. Solve -3*h - 4 - w = 0 for h.
-3
Suppose -2*r + 4*r = 8. Suppose -17 = -w - 2*b, 3*w - r*b = -w + 32. Solve 4*o - 27 = -w for o.
4
Suppose -14*u - 2*i + 84 = -10*u, 66 = 3*u + 3*i. Suppose 4*t = -2*m - 1 + 9, -t + 5*m + 2 = 0. Let v be (0 - 1)/((-1)/t). Solve 0 = v*o + 2*o - u for o.
5
Let c(o) = 6*o + 1. Let v be c(-1). Let x = 10 + v. Suppose 0*z = -x*z + 20. Solve -z*w - 12 = -7*w for w.
4
Suppose -12*r + 14*r - 4 = 0. Solve 0 = d - r*d - 4 for d.
-4
Suppose -4*k = -3*k. Solve c + k*c = 1 for c.
1
Suppose 7*i - 18 = i. Solve -8*r + i*r = -20 for r.
4
Let p(j) = j**2 - 28*j + 53. Let l be p(26). Let n(t) = -t**2 + 5*t - 2. Let r be n(3). Solve 0 = r*i + 3 + l for i.
-1
Suppose f - 6*f + 4*q = -12, 5*f + q = 22. Solve -3*n + 4*n = f for n.
4
Let n(z) = -z + 10. Let t(p) = -8*p**3 + p. Let a be t(-1). Let x be n(a). Let m = 4 + 4. Solve x*b + b + m = 0 for b.
-2
Suppose -5*i + 6*i - 10 = 0. Solve -4*l - l = i for l.
-2
Let t be (-12)/3 + 9 + -4. Suppose 5*z = j - 9, 2*j - 14 = 4*z + 16. Solve 4*g + t = -j for g.
-5
Suppose -7*j = -18 + 11. Solve 3 = 2*y + j for y.
1
Suppose -7*w + 28 = -3*w. Suppose -12 = 2*m - 4*u, 2*m - 3*u - w = -19. Let l = m - -9. Solve -l*t - t + 16 = 0 for t.
4
Let a(v) = -v**2 + 1. Let s(h) = 2*h**2 + 4*h - 2. Let m(k) = 3*a(k) + s(k). Let r be m(6). Let j = r - -27. Solve 2*q + 2*q = -j for q.
-4
Suppose 6*d + 4 = 4*f + 3*d, -5*d + 20 = 0. Solve 0 = -3*k + 5 + f for k.
3
Suppose -3*a + 2*a = 0. Let y(m) = -m - 5. Let w be y(-9). Suppose 2*s - 14 + w = 0. Solve a = s*o + 10 for o.
-2
Suppose -10*l - 5 + 45 = 0. Solve 2*w = l*w - 10 for w.
5
Suppose -7*y = -11*y - 44. Let t = y + 13. Solve f + 6 = t for f.
-4
Let u(r) be the second derivative of -r**4/12 - r**3/2 + r**2 + r. Let p be u(-2). Let c(j) = 20*j**2 + 2*j - 1. Let q be c(1). Solve -p - q = -5*k for k.
5
Suppose 14 = 4*k + 4*a - 82, 0 = k - 5*a - 6. Suppose 4*i = k - 5. Let b = -1 + i. Solve -3*j + 0*j = -b for j.
1
Suppose 5 = 4*x - 3*x. Suppose 0 = -5*z - 3*m + 17, 2*z - 3 + 0 = -x*m. Solve 0 = -z*l + 5 + 7 for l.
3
Let m = 1 - -6. Solve 3*a = m - 4 for a.
1
Let q(f) = f + 2 + 0 + 1 - 2. Let j be q(0). Solve u + j = 3 for u.
2
Let z(q) = 3 - 7 - q + 1. Let u be z(-8). Solve -19 - 1 = u*x for x.
-4
Let n(u) = u**2 + 4*u - 2. Let w be n(-4). Let m = w - -5. Suppose 2 = m*g - g. Solve 0 = -s - g - 4 for s.
-5
Suppose 4*z + 0*x - 26 = -2*x, -1 = -x. Suppose -c = 5*b - 15, -z*b + b + 30 = 4*c. Solve 4*k - 2 = b*k for k.
1
Let b be (-1 - 2) + 5 - 8. Let w = 2 - b. Solve -5*o + 3*o = w for o.
-4
Let w = -2 - 1. Let m = w + 3. Solve 0 = -m*i + i + 2 for i.
-2
Let f(m) = 6*m. Let j be f(-1). Let y(k) = -k - 4 - 1 - 2 + 1. Let g be y(j). Solve g = h + 6 - 5 for h.
-1
Suppose 0 = 2*r - 3*p - 31, 5*r + 3*p - 8 - 59 = 0. Let v = r + -9. Solve 0 = -0*z + v*z for z.
0
Let x be ((-2)/2)/(2/14). Let h = x - -11. Solve h*d = -0*d for d.
0
Suppose -2*x = 2*x + 4*q, 4*q = 3*x. Suppose x = u + 2 - 4. Let a = -14 - -20. Solve -u = -2*d + a for d.
4
Suppose d - 7 = -0*d - 2*l, -d - 3*l = -9. Solve -1 + d = -2*p for p.
-1
Suppose -6*h + 7*h = -2*d - 8, -3*h - 4 = d. Let f(u) be the third derivative of u**5/20 + u**2. Let n be f(-2). Solve 4*v + h = -n for v.
-3
Let z(s) = 10*s - 1. Let q be z(1). Let x = -5 + q. Solve -2*y = -x*y - 8 for y.
-4
Suppose w + 0*w = 0. Suppose -b - 3 = -7. Let n(s) = 2*s - 3. Let u be n(4). Solve w = b*l - u - 3 for l.
2
Let h(v) be the first derivative of -v**3/3 + 3*v**2 + v - 7. Let u be h(5). Solve 0 = -n + u*n + 5 for n.
-1
Let a be (-4)/28 - (-87)/21. Solve 0 = a*x - 17 + 5 for x.
3
Let h be (-2)/(-5) + (-1683)/(-55). Suppose 4*p - 17 = h. Solve -5*a - 2 = -p for a.
2
Let r be ((-18)/(-15))/(36/15 - 2). Solve -4 = -r*k + 2 for k.
2
Suppose 4*s - 3*s + 7 = 2*t, -3 = 3*s. Suppose 3*y = u + 16, -t*y - 2*u = -y. Solve -10 = y*l + 6 for l.
-4
Let r(o) = o**3 - 4*o**2 + o - 2. Let x be r(4). Suppose 0*t + x = t. Solve -t*n - 3*n = 0 for n.
0
Suppose 69 = 3*g + 2*g + 4*d, g = 4*d + 33. Solve 0 = -5*r + g + 3 for r.
4
Let y = -3 - -3. Let a = y - -1. Let b be 8 + -4 + -1*a. Solve -b*n + 16 = n for n.
4
Let t be (10/15)/((-1)/(-6)). Suppose -3*o + t = -2. Let h = o - -3. Solve 0 = p - h for p.
5
Suppose -3*q = -12, -3*q + 16 = -p + 2*p. Solve -p*d + 8 = -0 for d.
2
Let f(n) be the third derivative of n**5/60 + n**4/8 + 2*n**2. Let u be f(-3). Let r be 4 + -1 - (-1)/1. Solve u*q - 20 = -r*q for q.
5
Let j(z) = -2*z**2 - 4*z**2 + 6*z**2 + 2 + z**2. Let r be j(0). Solve 5*d = r + 18 for d.
4
Suppose -14*p = -5*p - 63. Solve p - 11 = -2*u for u.
2
Let o(q) = 2*q**2 - 2*q - 1. Let d be o(-1). Suppose 0 = 2*m - 10 + 6. Solve 5*b + m = d*b for b.
-1
Suppose -2*w + w = 0. Suppose 4*d + 2*l - 18 = w, -l + 5 = d + 2. Solve -d*u + 20 = -u for u.
4
Let g(l) = l**3 - 2*l**2 + l + 3. Let r be g(2). Solve 0 = r*z + 4 + 16 for z.
-4
Let f be (4 - (-2)/2) + 1. Let w be 0/(7/(21/f)). Solve w = 2*o - 3*o for o.
0
Let p(u) = u**2 - 4*u + 3. Let n be p(4). Let h be 2 + (-17)/(3 + -2). Let r be 74/10 - (-6)/h. Solve n*k - 5 = r for k.
4
Suppose -g = 5 - 19. Suppose 5*f - 11 = g. Solve 0*z + 25 = f*z for z.
5
Let g be (-132)/9 + 1/(-3). Let w = g - -21. Suppose -2*l - 24 = -w*l. Solve 0*c = -2*c - l for c.
-3
Suppose 2*r - 5*r + 15 = 0. Solve -r - 3 = -2*b for b.
4
Let m(y) = -y**2 - y + 5. Let u be m(0). Let c(r) = -r**2 + 5*r + 4. Let h be c(u). Solve -h*o - 5 = -5*o for o.
5
Suppose -4*f + 0 + 16 = -4*h, -4*h - 22 = -5*f. Let c be (45/f)/(9/6). Solve -c*t + t = -8 for t.
2
Let t be (2/5)/(7/70). Let u(r) be the first derivative of 2*r**4 + r**3/3 - 2. Let a be u(1). Solve w + t = a for w.
5
Suppose 0 = -d + 4*d + 3. Let y = 2 + d. Solve 2 = -x - y for x.
-3
Suppose 0*g + 2*g = 12. Let o = 46 + -46. Solve -f + g*f = o for f.
0
Suppose -5*b + 10 = -10. Suppose 13 = 3*l - 2*s + 2, -3*l - b*s = 13. Let c be 8/(-2)*(-1)/l. Solve -2*u + 0 = c for u.
-2
Suppose -3*n + a + 14 = 0, -n + 3*n + 3*a = 2. Suppose -n*i + 2*q = -0*i - 54, 2*i - 32 = 2*q. Solve -i = -3*m - 2 for m.
3
Let h be -1 + 4 - 4 - 1. Let p = 4 + h. Solve -i = -p*i - 2 for i.
-2
Let h = -6 + 10. Solve h*j - 6*j - 2 = 0 for j.
-1
Suppose -6*q + 25 = -5. Solve 4*a + q = 25 for a.
5
Suppose -t + 0*t = -5. Suppose -5 = -3*x - a, t = x - 4*a - 1. Solve -3*s - x*s + 25 = 0 for s.
5
Suppose 0 = -5*n + 2*z + 35, 2*n - 28 = -4*z + 10. Suppose 13*s = n*s + 40. Solve -2*y + 7*y + s = 0 for y.
-2
Suppose 3*p - 9 = 3*o, -4*o - 11 - 3 = -5*p. Suppose -w - p*w - 12 = 0. Let a be (-10)/w + (-3)/6. Solve -1 = -a*f - 7 for f.
-3
Suppose -5*g - p = 34, 0*p - 3*p + 6 = -3*g. Let m = g + 5. Let y(r) = 3*r**2 + r. Let s be y(m). Solve b = -s + 7 for b.
5
Let h(g) = g + 2. Let k be h(-8). Let v = 8 + k. So