Let q be ((f/1)/(-1))/(-2). Solve q = 3*o - 7*o - 12 for o.
-3
Suppose -2*s = -9 + 3. Solve -12 = -0*y + s*y for y.
-4
Let c(i) = i**2 + 4*i - 3. Let w be c(-5). Suppose -w*o + 1 = -29. Solve -2*p = -5 + o for p.
-5
Let w be -5 - -6 - (2 - 1). Solve -o + 5 = -w*o for o.
5
Suppose -m + 2*m = 3*o + 1, -4*m = -4*o - 12. Solve -m*v - 16 = -0*v for v.
-4
Let a(d) be the second derivative of d**5/20 - 5*d**4/12 + d**3/3 - 5*d**2/2 + d. Let t be a(5). Let c(x) = 3*x + 57. Let f be c(-18). Solve f = t*o - 7 for o.
2
Let o(r) = r**2 - 4*r + 5. Let b be o(4). Let s = b + -2. Solve 8*a - s*a + 15 = 0 for a.
-3
Suppose -3*l = -5 - 10. Solve -y + l*y = 4 for y.
1
Suppose -4 = -j - 3*s, -4*s + 16 = 2*j - 2*s. Let r(u) = u - 6. Let o be r(j). Solve 0 = 5*h - 3*h + o for h.
-2
Suppose 3*g - 4*s = -0*s, 26 = 5*g + 2*s. Solve g*v - 7 = 9 for v.
4
Let u(p) = -p**2 + 0*p**2 - 4 + 0 + 3*p - p**3. Let z be u(-3). Let n(i) = i + 1. Let j be n(1). Solve 3 = z*m - j for m.
1
Suppose -5*r + 25 = 0, 0 = a + r + 4 + 3. Let b = a + 22. Solve -b = 6*j - j for j.
-2
Suppose -7 = -8*m + 9. Solve 2*q + 8 = m for q.
-3
Suppose -u + 28 = u. Let n = 0 + u. Suppose -3*w = -2*x + 8 - 0, 4*w = 3*x - n. Solve 0 = 7*m - 2*m - x for m.
2
Let w(t) = t**2 - 9*t - 14. Let l be w(10). Let n = l + 11. Let y = -3 + n. Solve -y*c + 11 = 3 for c.
2
Let p(v) = -v**3 + 6*v**2 + 7*v + 1. Let a be p(7). Let x be -12 + 9 - (a + -7). Solve -x*f = -f + 6 for f.
-3
Let a = 44 + -9. Let i be 7/(-2)*(-20)/a. Solve -6*l + i*l = 12 for l.
-3
Let z be ((-60)/8)/((-1)/8). Suppose -5*j = 5*t - z, 0 = -3*t + 5*t - 10. Solve 2*a + 5 = j*a for a.
1
Suppose 5*s + 2 = 17. Let v = s - -2. Suppose o = -4*c + 19, v = -3*o + 2. Solve 0 = -c*t + 2*t for t.
0
Let p = 29 + -26. Solve p*c - 20 + 5 = 0 for c.
5
Let o be (-4 - -4)/(4/2). Suppose 41 - 1 = 2*x. Let d be -1*2/(-2)*x. Solve 0*f - 5*f - d = o for f.
-4
Suppose 0 = -5*y + 4*o - 4 - 12, -20 = -y - 5*o. Suppose 5 - 1 = 2*s. Let p = s + 1. Solve -a - p*a - 20 = y for a.
-5
Let b(t) = t**2 + 14*t - 15. Let u be b(-15). Solve u = -j - j for j.
0
Let a(d) = 2*d**2 + d + 1. Suppose 2*w + 3*o = 4*o - 5, -w + o = 4. Let p be a(w). Solve -j + p*j = 0 for j.
0
Suppose -o - 4 = 0, 2*r - 7 = -3*r - 2*o. Solve 2*k - 1 = -r for k.
-1
Let r be (-3)/(2/(8/(-3))). Suppose 3 = t + 3*n, 3*n = -r*t + n + 2. Let q be 2 + t + 14 + -1. Solve 3*x - q = -0*x for x.
5
Suppose -3*g - 2*k + 8 = -7*g, 4*g - 16 = -4*k. Let m be 4 + 0 + (1 - -1). Suppose -7 - 1 = -3*t - a, 4*t - 7 = -5*a. Solve -m = -t*r - g for r.
2
Suppose -4*m = -3*t - 3*m + 22, 3*t + 5*m = 52. Solve -5*k + t + 6 = 0 for k.
3
Suppose -q - a = 2*q - 19, -16 = -4*q + a. Suppose 4*z - 10 = i, -3 = -3*i + 3*z + 3. Let m = 2 + -1. Solve -q*v - m = -i for v.
1
Suppose -3*r + 9 = -3*s, r + 4*s - 3 = 2*s. Let k be (27/6)/(r/4). Solve -j - 2 = -k for j.
4
Suppose 0*f = -f. Solve -5*v + 0*v = f for v.
0
Let u(v) = -v**3 + 12*v**2 + v - 9. Let w be u(12). Solve -w = -3*k + 3 for k.
2
Let u = 2 + 4. Suppose -5*q + 19 + u = 0. Solve -1 + q = -4*w for w.
-1
Suppose 2*q = -4*s - 6, 4*s + 3*q = -2 + 1. Let b be 20/11 - s/22. Solve 2*c = -b*c + 16 for c.
4
Let y(x) = x + 9. Suppose -3*g + 34 = -4*b, -4*b + 0*g = 2*g + 24. Let f be y(b). Let l be 105/25 + 1/(-5). Solve l = i + f for i.
2
Let g be 6/(-21) - (36/(-14))/2. Suppose 3*h = -h + 16. Solve -h*n - g = 15 for n.
-4
Suppose -5*g = -4*g + 5*a - 20, 0 = -g - a + 4. Solve -2*x + 7 + 1 = g for x.
4
Let p = -1 + 3. Let w = 2 - p. Suppose v + 0*v - 2 = w. Solve v = l + l for l.
1
Let d(a) = -a**3 + 2*a**2 + 9*a - 2. Let z be d(4). Solve -z*v = v for v.
0
Suppose -5*b = w - 6, 0 = -0*b + 4*b + 2*w. Let u = -3 + 3. Suppose -i - 5*x + 10 = 2*i, -6 = -i - 3*x. Solve -a + u - b = i for a.
-2
Let a be -3*(-5)/(-15) - -3. Solve 0 = 3*b - a - 1 for b.
1
Suppose u = 5*l - 20 + 5, 4*l - 2*u = 6. Let p(t) = -t**3 - 5*t**2 + 3. Let b be p(-5). Solve -4*a - l = -b*a for a.
-4
Let y(a) = -a**2 + 5*a + 8. Let v be y(6). Solve -v = -3*x + 7 for x.
3
Let c(i) = -i**2 - 8*i + 21. Let r be c(-10). Solve 0 = -z - 0*z - r for z.
-1
Let r be (-3 - 0)/((-1)/(-4)). Let f be (r/(-4))/(3/2). Suppose f*c + 0*c - 3 = 3*b, -2 = -2*b. Solve k - c = 1 for k.
4
Let f(z) = -z - 10. Let y be f(-7). Let b(x) = x**3 + 4*x**2 - 4. Let p be b(y). Suppose 3*q - p = 7. Solve 5*w - q = w for w.
1
Let m(k) = -3*k + 28. Let d be m(8). Solve -5*r = -r + d for r.
-1
Let b = 4 - 2. Let a = -2 - b. Let v = a + 9. Solve -3*l = -2*l + v for l.
-5
Let n(d) = 3*d - 3. Let i be n(2). Suppose -6 = -u - i. Solve u*w - 8*w = 10 for w.
-2
Suppose 0 = -5*l + l. Suppose l*i - 4 = -2*i. Let t = i - -3. Solve 8 = t*v - 2 for v.
2
Let s(h) be the third derivative of -h**4/24 - h**3/3 - 3*h**2. Let n be s(-7). Solve -x - 10 = -n for x.
-5
Let s(z) = 11*z**2 + 5*z + 5. Let k be s(-1). Solve -5 + k = 2*y for y.
3
Suppose -32 = -u - u. Solve u = -2*m + 6*m for m.
4
Let z = 186 - 182. Suppose 0 = -5*p + 12 + 13. Solve z*j - p*j = 2 for j.
-2
Suppose 2 = 6*l - 28. Solve 0 = -l*n - 5 for n.
-1
Let k(p) = -2*p + 47. Let q be k(22). Solve -20 = -r - q*r for r.
5
Suppose 6*x = -3*u + 3*x - 6, -19 = -3*u + 2*x. Solve 8 = u*l - 7*l for l.
-2
Suppose -4*c + 0*c = -16. Suppose -c*r + 9*r = 5. Let h(i) = 2*i. Let x be h(r). Solve -u = -x*u for u.
0
Let l be (-3 - 25/(-7)) + 12/28. Solve 4*j - 5*j = l for j.
-1
Suppose 3*w = -3*b - 2*w + 28, -4*b + 4*w + 16 = 0. Suppose 0 = 8*u - b*u - 6. Solve 6 = -u*s + s for s.
-3
Let s(y) = -5*y**3 + 2*y**2 + y. Let w be s(-1). Let i = w + -4. Solve 0 = 2*l + i*l + 12 for l.
-3
Suppose w - 43 = -5*c, -3*w + 3*c = 8*c - 159. Suppose 0 = -5*f - 18 + w. Suppose -3*v = -10 - f. Solve r = v*r for r.
0
Let r = -10 + 14. Suppose -56 = -r*y - 2*k + 4*k, 5*k = 0. Suppose -4*c + 46 - y = 0. Solve -3*j + c = -7 for j.
5
Let x = -6 - -7. Let c(r) = r**2. Let g be c(x). Suppose 0 = -k - 0 + g. Solve b + k = -2 for b.
-3
Let b be 955/45 - (-2)/(-9). Solve b = 3*h + 6 for h.
5
Let i(f) be the first derivative of f**2 - 5*f - 7. Let o be i(5). Solve -o*p = -p for p.
0
Let y(j) = -j**2 - 4*j + 11. Let p be y(-5). Solve -p = -4*g + 2*g for g.
3
Let u(n) = n**3 + 7*n**2 + 7*n. Let k be u(-5). Suppose -2*v + 2 = -o - 6, k = 5*o + v. Let d = -2 + 2. Solve o*i - 3*i + 1 = d for i.
1
Suppose 12*w = 4*w + 40. Solve w*t = t - 16 for t.
-4
Suppose -j = -0*v + 3*v - 3, -5*j = -3*v - 15. Let m be (2 + 4)/(-3) + j. Suppose -3*n = -n. Solve n = -f + 2*f - m for f.
1
Suppose 3*t + t + 21 = 5*w, -24 = t - 5*w. Suppose 0 = 5*s - 2*u - 66, -t - 2 = s + 5*u. Let m = -21 - -21. Solve m*b + s = -3*b for b.
-4
Suppose 2*u - 5 = 1. Solve -u*k + 7*k - 12 = 0 for k.
3
Let t(y) = 2*y**2 + 4. Let f be t(0). Solve 0*x + 20 = f*x for x.
5
Let n = -23 - -8. Let s = n + 19. Solve 2*r + 0 = s for r.
2
Let x = 35 + -25. Suppose 0 = -3*w - 4*l + 16, l = w - 0 - x. Solve -2*m + 4*m = w for m.
4
Suppose -7 + 37 = 5*p. Solve -4*f + 2 = -p*f for f.
-1
Suppose 0*j = -7*j + 14. Solve h + 1 - j = 0 for h.
1
Suppose -3*b = -0*b. Solve b = 2*x + 2*x + 20 for x.
-5
Suppose 18*v - 5*v = 0. Solve -b - 1 - 3 = v for b.
-4
Let r be 53/11 + 12/66. Suppose 1 + r = p. Solve -2*o = -0*o + p for o.
-3
Let g(f) = -f**2 + 4*f + 3. Let h be g(4). Suppose -h*u = u - 8. Solve -7 - 3 = -u*b for b.
5
Suppose -60 = -2*a + 5*w, -4*w + 0*w = 4*a - 64. Solve 0 = -0*k + 5*k + a for k.
-4
Let z = 52 + -49. Solve -h - 1 = z for h.
-4
Suppose 0 = 8*t - 6*t - 40. Solve 0 = 2*k - 6*k - t for k.
-5
Let c = 3 + -6. Let u = c - -6. Solve u*y + 3 = 15 for y.
4
Let g = 1 - -1. Let p be (3 - g)/1 - -3. Solve -p*n - n - 15 = 0 for n.
-3
Let o be 1/(-2)*0 + 4. Let m be (6 - 9) + 6*1. Suppose 0 = 3*u, 4*h - o*u = m*h. Solve -4*p + h = 12 for p.
-3
Let v = -3 - -6. Solve h + 2*h = -v for h.
-1
Let c be 2/4 - (15/6 - 7). Solve 0 = -5*v - c for v.
-1
Suppose 11 + 9 = -4*a. Let w = a + 9. Solve 4 = 2*u - w*u for u.
-2
Let a(q) = 5*q + 2. Let d(z) = -14*z - 7. Let f(o) = 17*a(o) + 6*d(o). Let w be f(8). Let r(g) = -g + 15. Let v be r(w). Solve -c - 2*c = v for c.
-5
Let q be (-32)/(-24) - 16/(-6). Solve 5*b - q = 21 for b.
5
Let r(t) = 4*t + 1. Suppose -3*w - 3 = -0. Let y be r(w). Let f be 2/(2*y/(-9)). Solve -f*c = -2*c - 5 for c.
5
Suppose -2*f = -5*q - 23, -4*f - q - q = -10. Solve 4*k = -24 + f for k.
-5
Let f(t) = -