 -y. Suppose -4*f + 5 = -w - 4, y = 5*w - 5*f. Solve -w*j = -3 - 0 for j.
1
Let k(i) be the second derivative of i**5/20 + i**4/6 - 2*i**3/3 - i**2/2 + 4*i. Let t be k(-3). Solve 0*o + 4 = t*o for o.
2
Let f be -1*(-20 - 0)/(-2). Let x be (-4)/20 - 2/f. Solve -u + 0*u + 3 = x for u.
3
Suppose -4*r - 4*n + n + 10 = 0, 0 = -3*n + 6. Solve -2*o - r = 9 for o.
-5
Let o(z) = 4 - 1 - 1 + z - z**3 + 3*z**2. Let i be o(3). Suppose i*l - 5 = 0, -3*f = -2*f + 2*l - 2. Solve 2*j + 6 = -f*j for j.
-3
Let r(a) = -2*a + 6. Let k be r(3). Solve o = -k*o - 4 for o.
-4
Let p be 0 - (2 + -2)*1. Suppose 4 = -2*o - p. Let m be 6/9*3 + o. Solve -b + 3 + 0 = m for b.
3
Let m be (-22)/(-33) + 8/6. Solve 0 = -f - m*f for f.
0
Let m be 86/10 + (-12)/(-30). Suppose m = 2*i - 1. Solve -2*h + i = 3*h for h.
1
Suppose 6*z = 5*z. Suppose 24 = 3*m - 4*l, -m - l + 1 = -0*m. Solve z = m*j + 3 - 23 for j.
5
Suppose 4*b - 31 = g, 4 = 6*g - 2*g. Solve 5*x = -b - 2 for x.
-2
Let c(u) = 2*u + 6. Let p be c(-5). Let b be 5 - 5 - (p + -1). Suppose -2*j + j = 0. Solve 5*r + j*r = b for r.
1
Let b(j) = -2*j + 12. Let d be b(6). Suppose -2*o + 6*o - 12 = d. Solve o*y - 15 = -2*y for y.
3
Let x = 17 - 17. Solve x = w - 1 - 1 for w.
2
Let z(j) = 8 + 2*j + 0*j - 6 - 4*j. Let g be z(-2). Solve 5*w - g = 19 for w.
5
Let i be (-12)/(-4 + 2) + 2. Suppose 0*j - 5*w = -2*j + 23, 5*j + 4*w = i. Solve -d = -j*d + 6 for d.
2
Let w(j) = -j**2 - 11*j - 10. Let h be w(-10). Let x be (-32)/12*(-3)/2. Suppose o - 18 = -2*a - 3*o, 2*a - 22 = -5*o. Solve h = i - a - x for i.
5
Suppose 8 - 2 = 2*p. Suppose 4*w = 11 - 3. Suppose 0 = -w*o + 4*h + 4, -4*o + 3*h + 19 - 1 = 0. Solve a - o = p*a for a.
-3
Let o(n) = 7*n**2 + n. Let a be o(-1). Let k = a + -10. Let u be 44/10 - k/(-10). Solve -4*c + 16 = -u for c.
5
Let h = -3 + 4. Let z be (h + 0)/((-2)/(-66)). Let m(p) = -p**3 - 10*p**2 - 9*p + 8. Let q be m(-9). Solve -5*i = z - q for i.
-5
Let c(t) be the first derivative of 2*t**3/3 + 7*t**2/2 - 5*t - 6. Let f be c(-6). Solve -10 = -5*b - f for b.
-3
Let d be (3/1 + -3)/2. Let z = 4 - 2. Suppose t + z*t = d. Solve t*b - b + 5 = 0 for b.
5
Suppose 0 = 4*t - 0 - 8. Solve 2*p - p + t = 0 for p.
-2
Let j(d) = -d**3 - d**2 + 2*d - 3. Let c be j(2). Let n = c - -6. Let y = 10 + n. Solve 0*f + y*f = 15 for f.
3
Suppose 0 = -0*k + 2*k. Suppose -3*o - 5*r = 5, 3*o - 4*o + 3*r + 17 = k. Suppose -13 + 5 = 4*g, l - o*g - 10 = 0. Solve l = -q + 2*q for q.
0
Let v be ((-4)/(-6))/(2/15). Let c(a) = -a**2 + 8*a + 22. Let o be c(-2). Solve o*r = 3*r + v for r.
-5
Let i be (6/4 + -2)*-10. Solve 0*o - 5 = i*o for o.
-1
Suppose -w = 2*p - 7*p + 5, w = 0. Let q be 3*(8 - (4 - p)). Solve -f - 2*f = q for f.
-5
Suppose 0 = 4*v + 5*d + 10 - 4, -2*v + d + 4 = 0. Solve 2*o + 5 - v = 0 for o.
-2
Let n = 18 - 13. Solve 10 + 0 = n*z for z.
2
Let n = 6 + -2. Suppose 1 = -z - 4*g - n, 3*g = 3*z + 30. Let h(b) = -2*b - 12. Let w be h(z). Solve -2*p + 0 = -w for p.
3
Let x(d) = -d - 3. Let u(a) = a**2 - 5*a - 5. Let f be u(5). Let r be x(f). Let c(g) = g + 1. Let h be c(2). Solve -z + h*z = -r for z.
-1
Suppose -5*y = -4*i + 71, -5*i - 2*y + 17 = -80. Solve -5*m = 6 + i for m.
-5
Suppose 0 = 5*i + 3*n - 37, 4*i - 13 - 3 = n. Solve i*c + 3 = -7 for c.
-2
Suppose 3 + 7 = 2*r. Suppose -r*x - 3 = 7, 0 = 4*u + 2*x + 20. Let s be ((-6)/4)/(2/u). Solve 0*i = -s*i for i.
0
Let i(s) = s + 4. Let j be i(3). Let l(q) = -1. Let h(a) = -a - 4. Let r(c) = -h(c) + 6*l(c). Let p be r(j). Solve -w = -0*w + p for w.
-5
Let y(s) = -2*s**2 + 14*s + 5. Let c be (0 - 14)*(-2)/4. Let n be y(c). Solve -n*v - 2 = -3*v for v.
-1
Let y be 5/3 + 1/3. Suppose 0*t = y*t - 12. Let z be 1408/66 + 3/(-9). Solve t - z = -5*w for w.
3
Let f be 10/(-15) - (-2)/(-6). Let n be (9/(-6))/f*-4. Let w = 8 + n. Solve z - 2 = w*z for z.
-2
Suppose -j = -4*m + m + 3, -4 = 3*j - 4*m. Solve a - 5*a = j for a.
0
Let j be (-51)/(-119) + 6/(-14). Solve -y = -j*y + 1 for y.
-1
Suppose -2*c - c - p + 79 = 0, 5*c = 5*p + 145. Suppose 8 = 4*a + 2*m + 2, 4*m + c = 5*a. Solve 5*x + a = -2 for x.
-1
Let d(p) be the second derivative of p**4/12 - p**3/2 + p**2 - 3*p. Let s be d(4). Solve -s*y = -y for y.
0
Let l(d) = d**3 - 10*d**2 - 10*d - 9. Let z(q) = q + 3. Let j be z(8). Let u be l(j). Solve 0 = -0*m + m - u for m.
2
Let c(u) = 2*u - 10. Let t be c(6). Suppose -10 = t*g - 3*g. Solve -15 = -5*a + g for a.
5
Suppose -5*u + 32 = -3*g, 2*u - 12 = 4*u + 5*g. Solve -7*r + u*r = 0 for r.
0
Let v be 3 + 4/(3 - -1). Solve -v*s = -0*s - 16 for s.
4
Let q = 180 - 180. Let a(c) = c - 4. Let k be a(5). Solve q = i + k for i.
-1
Let h = 97 - 89. Solve 3*i - h*i - 15 = 0 for i.
-3
Let u = 2 - -4. Solve 4*w - 2*w = -u for w.
-3
Let h be -3 + (3 + -2)*47. Suppose 0 = 4*g + 4*b - h, -3*b + 3 = g - 0. Solve 4*z + g = z for z.
-5
Let g(j) = -j + 0 - 3 - 3 + 0*j. Let m be g(-6). Suppose m = -3*b + 3 - 0. Solve -2*v = -v + b for v.
-1
Suppose 0 = 4*t + 2*x - 4*x - 24, -2*t - x = -4. Let r = 14 + -24. Let u be 4/(r/(-6) + -1). Solve -u = t*v + 2 for v.
-2
Let o be 5*1 - (7 + -4). Solve h - o*h - 4 = 0 for h.
-4
Suppose 2*h = -5*f - 0 + 3, 9 = 4*f - 5*h. Solve -f = 3*q - 13 for q.
4
Let i = 43 - 31. Let w be (-30)/4*i/(-10). Solve -3*p - 3 = w for p.
-4
Suppose 0 = 4*q + v, 6*q + 5*v = 3*q. Solve 0 = -5*n + 20 - q for n.
4
Suppose 4*d - 20 = 0, 3*d + 4 = -4*r + 31. Solve r*a - 4*a = 4 for a.
-4
Let b(n) = n**3 + 4*n**2 - 6*n - 2. Let d be b(-5). Suppose 3*a + 27 = 33. Suppose -v + 2 = -t - 4, 16 = d*v - a*t. Solve -v*i + 8 = -8*i for i.
-2
Let n = 31 + -20. Solve -1 = -4*f + n for f.
3
Suppose f - 14 = -0*f. Suppose -f = 2*h - 5*h + v, -5*v - 30 = -5*h. Suppose 0 = 3*i + m + h, -i = 2*m - 1 + 9. Solve i = -4*x - x - 25 for x.
-5
Let n be (0 + -9)/(9/(-6)). Solve -4*r + 2 = n for r.
-1
Let q = -26 + 27. Solve 0 = -5*t + q + 14 for t.
3
Let g(m) = m**3 + 2*m**2 - 3*m. Let q = -14 + 9. Let y be ((-3)/4)/(q/(-20)). Let z be g(y). Solve z = 3*k - k - 2 for k.
1
Let j = -13 - -21. Let h = j - 4. Solve -4 = -h*z + 3*z for z.
4
Let q be (2 + 0)/(1/2). Suppose 7*n = q*n. Let z = 2 + n. Solve 2*t + 2 = -z for t.
-2
Let x be (-14)/(-4)*(-8)/(-14). Let n(b) = -b**3 + 3*b**2 - 3*b + 2. Let i be n(x). Let p be 6/(-9)*(i - 9). Solve 3*l + p = -0*l for l.
-2
Suppose -5*a + v - 1 = 2*v, -2*v - 2 = -a. Suppose -2*k + 2 = -a*k. Suppose -5*c = 2*i - 15, -4*c - k - 5 = -2*i. Solve 0 = -3*f + 17 - i for f.
4
Let o(d) = 2*d**2 + 5*d + 4. Let n be o(-3). Let i = 27 - 25. Solve -i*r + n + 1 = 0 for r.
4
Suppose -3*h - 17 + 26 = 0. Solve k + h*k - 20 = 0 for k.
5
Suppose 2*y - g - 18 = 0, 5*y - 51 = 4*g - 0*g. Let p(s) be the second derivative of -s**5/20 - s**4/12 + s**3/6 + s. Let m be p(-2). Solve -m*c = -y*c for c.
0
Let g be (-8)/2 + (-2)/(-1). Let n = g + 2. Suppose -7*l = -3*l - 20. Solve -3*u + 4*u - l = n for u.
5
Suppose -6 = c + 2*c. Let x(z) = -z. Let t be x(c). Let m = 6 + -4. Solve m*q + t*q - 4 = 0 for q.
1
Let j(u) = 8*u + 1. Let r be j(2). Let b = r + -7. Solve 0*z + b = 5*z for z.
2
Let i be 36/20*(6 - 1). Suppose -4*x + i*x = 4*p + 30, -4*x + 2*p + 30 = 0. Solve -4 = -3*q - x for q.
-2
Suppose 2*w = 4*u + 2, -4*u - 7 = 5*w + 2. Let y be -1 - -2 - (w - 0). Let t = 17 - 9. Solve t = 2*v - y for v.
5
Suppose 0 = 7*c - 3*c + 16. Let z = c + 6. Solve z*b = -10 + 4 for b.
-3
Let p = 170 + -167. Solve 17 = -p*m + 5 for m.
-4
Let x(v) = -v**2 + v + 1. Let d = -1 - -1. Let a be x(d). Suppose 7 - a = -2*u - 2*y, u + 4*y + 18 = 0. Solve s + 3 = u for s.
-1
Let a = 8 - 5. Let o(s) = -s + 12. Let p be o(6). Suppose -a*j - p*x + 3*x + 15 = 0, -x = 2*j - 5. Solve d = -j - 2 for d.
-2
Let j = 8 + -4. Suppose 0 = 40*z - 30*z - 90. Solve 7*t + z = j*t for t.
-3
Let r be 2/(-3) - (-2)/3. Let m = -37 - -39. Solve r = -m*g - 0*g for g.
0
Suppose 0 = 4*w - 2*d + 8, -w - d = -2*w - 3. Let j be w*(-2 - -2) + 4. Suppose -j*g = -9*g. Solve -o + g = 2 for o.
-2
Suppose -3*n - n - 4 = 0. Let u(m) = 5*m**3 - 5*m. Let l(v) = -v**3 + v**2. Let g(z) = n*u(z) - 6*l(z). Let b be g(5). Solve b = 4*a - 11 - 1 for a.
3
Let c = -8 - -12. Suppose -2*n + 17 = 3*i, 0*i = -3*i + c*n + 11. Solve -2 - 3 = i*v for v.
-1
Let t = 9 + -9. Solve t*s + s = -1 for s.
-1
Let n = -13 + 15. Solve -4 = -n*y + 6 for y.
5
Let w be 6/4*56/12. Let a(t) = t**3 - 7*t**2 + 2*t 