 -c = -2*w + 7 for w.
4
Let v = 6 + -3. Suppose v*t + 2*t + 3*i - 35 = 0, t + 5 = -3*i. Solve t = -3*f + f for f.
-5
Suppose 5*h + 4*t = 105, -t + 3*t = -5*h + 115. Suppose -3*s + h = 2*s. Solve 0*m = s*m + 5 for m.
-1
Suppose 11*f - 2 = 10*f. Solve 0 = 4*t - f*t for t.
0
Let t be -3 + 2 + 0 + -1 + 2. Suppose -r - 10 = -6*r. Solve -r*z - 2*z = t for z.
0
Let c be (-4)/(-6)*18/4. Let p(g) = -g**3 + 4*g**2 - g - 3. Let n be p(3). Suppose 0 + 9 = 3*a. Solve a = -c*i - n for i.
-2
Let r be (-14)/63 - 29/(-9). Solve -r*t = -4*t for t.
0
Let x = 0 + 4. Suppose 5*w - x = 3*w. Solve 0 = l - 3*l - w for l.
-1
Let f be -1 + 0 - 9/(-3). Suppose 2*b - 2 = 4. Suppose -40 = -b*h - 13. Solve 5*r - f*r - h = 0 for r.
3
Suppose 3*u = -5*o + 16, -4*o + 4*u - 2*u + 4 = 0. Suppose 1 = 2*h + 3. Let r be h + 4/6*12. Solve -r - 3 = o*n for n.
-5
Let g(l) = -l**2 + 13*l - 2. Let d be g(12). Solve 2*a = -0*a + d for a.
5
Suppose -v - 30 = 4*v + 5*o, 5*v = 5*o + 10. Let r be (-4)/(-8) - 15/v. Solve 0 = w + r - 3 for w.
-5
Let r = 0 + 2. Suppose -4*j - r = 6. Let u(b) = -b**2 - 2*b + 1. Let m be u(j). Solve 3*f - 2*f - m = 0 for f.
1
Suppose -4 + 1 = -t. Suppose 4*c = 3*i + 7*c - 51, -2*i - t*c = -39. Solve 5*x = 13 + i for x.
5
Let c = 0 + -1. Let o be (-3 - -4)/c*-4. Let s = -1 + 2. Solve o + s = 5*q for q.
1
Let u = 10 - 3. Solve -u*d = -3*d - 4 for d.
1
Let i be 14/6 + (-4)/(-6). Let c(b) = -b - 2. Let z be c(-2). Suppose z = -5*s + 2*s. Solve i*p - p + 8 = s for p.
-4
Let s = 7 + -7. Let c = 7 - s. Solve 0 = -c*t + 5*t + 6 for t.
3
Let u be (-1)/(-1) - 1 - 0. Suppose -w + 4 + 4 = u. Suppose -3 = -3*s, 3*v - 5*s - 11 = -v. Solve v*o - w = -0 for o.
2
Let k(x) = -x**2 - 4*x + 2. Let o be 51/(-12) - 3/(-12). Let q be k(o). Solve h + 5 = q for h.
-3
Let b(k) = k**3 - 3*k**2 - 2*k - 3. Suppose 5*t - 15 = 5. Let w be b(t). Solve -25 = w*r - 0*r for r.
-5
Let a be ((-2)/4)/(2/(-36)). Let c(n) = -2*n - 8. Let v be c(-4). Suppose -5*z + a + 6 = v. Solve 2*q + z = -7 for q.
-5
Let m be (4/12)/(3/18). Suppose -39 = m*g - 5*g. Solve -4*z = -g - 3 for z.
4
Let u(t) = -t + 8. Let f be u(6). Suppose -c - 6 + 3 = 0. Let r be (-4)/c - (-4)/6. Solve 0 = f*d + r for d.
-1
Let f = -5 - -25. Solve -4*c + 0*c = -f for c.
5
Let g be -1 - (1 - 7)/(0 - -2). Solve -o = -3*o - g for o.
-1
Let v = 3 + -1. Let a be v/4 - 3/6. Solve a*z - 3*z = 12 for z.
-4
Let i = -95 + 114. Solve 0 = -4*m + i - 3 for m.
4
Let g(p) = p**3 - 4*p**2 + 4*p - 3. Let m be g(3). Let w be (m/(-6))/(2*1). Let t = 0 - w. Solve t = r - 0 - 5 for r.
5
Suppose 65 = 3*d - 2*i, 0 = -5*d + 2*i + 82 + 33. Let o(b) = b**2 + 2*b + 1. Let c = -12 + 11. Let t be o(c). Solve t = 6*a - a + d for a.
-5
Let s = 12 + -28. Let y = -14 - s. Solve 0 = -y*b - b + 12 for b.
4
Let x = -25 - -28. Solve -2*m - x = -m for m.
-3
Let d(w) = -1 + 0*w**2 - w**2 + 7*w**3 - 8*w**3. Let y be d(-2). Suppose -3 - 8 = -y*g + 2*s, -3*s + 11 = g. Solve -13 = g*l + 12 for l.
-5
Let n = -8 + 20. Solve -3 = -3*b - n for b.
-3
Suppose 2*g - 5 = 3*g - 2*s, 12 = -3*g + 5*s. Solve -g = -o - 3 for o.
-2
Suppose 2*w = -0*w - 12. Let k = w - -10. Solve 0*b - k*b = 4 for b.
-1
Suppose -2*n = -f - 2, -4*f + 30 + 1 = 5*n. Solve -f*w + w = -6 for w.
2
Let v(m) = -3*m - 20. Let i be v(-9). Let c = 13 + -8. Solve 4*z - c = i for z.
3
Suppose -3*d - 6 = -0*d. Let m be 1/(-1*1/d). Let r be m - (-2 + (0 - -1)). Solve -1 - 2 = r*x for x.
-1
Suppose 0 = -2*m - 3*m + 15. Let o(y) = -y**3 - 6*y**2 + y + 5. Let j be o(-6). Let b = j + m. Solve 10 + b = -3*x for x.
-4
Suppose 5*t - 2*d = 19, 2*t + 3*d - 4 = 2*d. Solve t*j + 0*j = 3 for j.
1
Let h = 6 - 5. Suppose -4 = 4*l - 0*l. Let y(o) = -14*o - 1. Let f be y(l). Solve f - h = -3*p for p.
-4
Suppose -4*w = w. Suppose w*a + 4 = 2*a. Let c = 6 - 0. Solve c*p = a*p for p.
0
Suppose 0 = -3*a - 8 + 29. Let v = -3 + a. Solve 0 = 5*c - 1 - v for c.
1
Let p be 2/9 - (-3 + (-174)/(-54)). Solve p = 4*s - 3*s - 1 for s.
1
Let p = 5 + -2. Suppose -2 + 12 = w. Let j = 14 - w. Solve 7*v + j = p*v for v.
-1
Let v be -3*(-15)/9 - 1. Let r be 126/10 - v/(-10). Solve -4*n - r = 7 for n.
-5
Suppose 0 = -0*a - 5*a + 4*r + 10, -6 = -3*a - 2*r. Let u = 5 - a. Solve -6 = -u*b + 6 for b.
4
Let k be 2/10*50/5. Solve 1 + k = 3*f for f.
1
Suppose p = -0 + 4. Suppose 2*u + 12 = p*i + 2, u - 5 = -3*i. Solve -i*m - 2 = 6 for m.
-4
Suppose -3*y - 16 = -49. Let c = y + -9. Solve 11 = -c*n + 3 for n.
-4
Let u be ((-1)/(-1))/(-2*5/(-20)). Suppose 5*l = -5*b - 2 - 18, -15 = 3*b. Solve -l = u*y - 3 for y.
1
Let p(w) = w**2 + 3*w - 4. Let j be p(-5). Solve c + 5 = j for c.
1
Let s = -8 + 8. Solve s*k - 10 = 2*k for k.
-5
Suppose -2*z = -6*z. Suppose -2*f + z*f = 0. Suppose -2*o = -4*r + 12, 2*o = -4*r + 7*o + 6. Solve f = r*y - 6*y for y.
0
Let t(u) = u + 9. Let h be t(-6). Solve -k - h*k = 16 for k.
-4
Suppose -5*q + t = -12, -5*q - 4*t = t. Let c(l) = -l**3 + 21*l**2 - 37*l - 19. Let w be c(19). Solve w = -0*z - q*z - 8 for z.
-4
Let h be (20/15)/(4/6). Solve -o = h*o for o.
0
Suppose 12 = 2*h + 2*h. Solve 0*p = -h*p for p.
0
Suppose 0 = g + s - 2, -4*g - s = -5*s - 16. Solve 5*u = g*u - 4 for u.
-2
Suppose 17*k = 58 + 10. Solve y = k*y - 12 for y.
4
Suppose 0 = -4*d + 6*o - 4*o - 4, -2*o - 2 = 2*d. Let m = d + 4. Solve 0 = -u - m*u + 20 for u.
5
Let t = 37 - 29. Suppose 0 = u - 4, 0*g + 3*g = 5*u - t. Solve -2 = q - g for q.
2
Let u be (-15)/(-2)*16/5. Let y be (0 - -2) + 1 + u. Suppose 0 = 4*v - 1 - y. Solve v*m - 2*m = 0 for m.
0
Let t(h) = 2*h**2 - 8*h + 7. Let i be t(5). Let k be 3/(-5) + (-72)/(-20). Solve k*n = -i + 5 for n.
-4
Let m(s) be the third derivative of s**6/120 + 7*s**5/60 + s**4/4 + s**2. Let y be m(-6). Let v = 1 - -1. Solve 2*f + v*f + 8 = y for f.
-2
Suppose 5*g + q - 18 = 0, 4*g + 2*q - 4*q - 20 = 0. Let p = 14 + -8. Let n be (10 - 0)/(4/p). Solve -g*o + 1 = -n for o.
4
Let r be (-19)/(-3) - (-1)/(-3). Let j(w) = -6*w**2 + 1. Let u be j(1). Let i be (u/(-3))/(1/r). Solve f + i = 6*f for f.
2
Suppose -4*x = -x - 12. Suppose -5*q - l + 9 = 0, 0*l = -5*q + x*l + 14. Suppose q*j - 7 = 9. Solve a + a = -j for a.
-4
Suppose 4*c - 3*c = 5*u - 15, -4*u + 12 = 3*c. Solve u*a + 2 = 11 for a.
3
Let u = 2 - -3. Suppose 0 = -j - 2*t - 1, -u*j + 3*t + 0*t = -21. Solve 2*b - j*b = -2 for b.
2
Let s be 6/(-4)*(0 - 2). Solve 0 = -2*w - s*w - 5 for w.
-1
Let m = 0 - 2. Let o(i) = 3*i**2 + 4*i + 2. Let y be o(m). Let w(n) = -n + 7. Let x be w(y). Solve -5*u - 14 = x for u.
-3
Let y be ((-3)/(-2))/(15/20). Suppose 4*r - u - y = 1, 6 = -4*r - 2*u. Solve -4*x - 3 + 11 = r for x.
2
Let v(d) be the third derivative of d**6/120 - d**5/12 - d**4/4 + 7*d**3/6 + 2*d**2. Let m be v(6). Solve 20 = -m*y + 2*y for y.
-4
Let v = -95 + 95. Solve 4*j + j = v for j.
0
Suppose -x - h + 20 = -5*h, 8 = x - h. Suppose -3*l - 4*g + 41 = 0, -x*l = 4*g - 6 - 42. Solve -l + 1 = 3*u for u.
-2
Suppose 0 = -y + 1 - 0. Let m be 9 - 3 - (y + 2). Solve 2*g - m = 5 for g.
4
Let q = 0 + 1. Suppose -4 = -n - q. Solve 0 = n*w - w for w.
0
Let t(o) = o**2 - 5*o + 3. Let p be t(5). Let r = -4 + 4. Let q be (r - p)/(3/(-4)). Solve q*n = 2*n - 2 for n.
-1
Let s be (-4)/(-14) - 136/(-14). Solve -z - s = -6*z for z.
2
Suppose 12*x - 19*x = -70. Solve -2*u + 0*u = x for u.
-5
Let s(q) = q**2 + 9*q - 2. Let f be s(-9). Let r be 0/(-3)*f/(-6). Solve -5*h + r*h - 20 = 0 for h.
-4
Let c = 69 + -60. Solve 5*f - 1 = c for f.
2
Let s = 58 - 55. Solve -17 - s = -5*j for j.
4
Let y(k) = -5*k + 8. Let a(c) = -4*c + 7. Let u(p) = -4*a(p) + 3*y(p). Let b be u(6). Solve -f + b*f = -3 for f.
-3
Let y(p) = p**2 + 5*p + 6. Let t be y(-5). Let k = 10 - t. Solve k*c = -4 + 12 for c.
2
Suppose -3*b + 21 = -5*u, -4*b + 2*u + 4 = -5*b. Solve 5*h + 9 = b*h for h.
-3
Suppose -20 = -2*s + 30. Suppose 0*r + 78 = 5*a - 2*r, 2*a = 2*r + 30. Suppose -5*x = 3*w - 8, -x + a = -2*w + 5*w. Solve s = w*q - q for q.
5
Let y(d) = -d**2 + 5*d + 1. Let l be y(5). Let h be (-6)/48 - (-5)/40. Solve 4*n - 3*n - l = h for n.
1
Suppose 0 = -4*a - 12, 5*g = -7*a + 2*a + 20. Suppose g + 3 = 5*z + 5*k, -z = 4*k - 2. Let l(v) = 4*v + 66. Let y be l(-15). Solve 4*m - y = -z for m.
1
Let f = 77 + -76. Solve 2 = 3*k - f for k.
1
Suppose 0 = 2*m + 10 - 0. Let u = -2 - m. Solve -5*o = -u*o + 2 for o.
-1
Let p(m) be the first derivative of -m**3