 5*f - f for f.
2
Suppose y + 169 = 5*s + 10, 4*y = -s + 15. Let f be (-1)/(0 + 1/(-7)). Suppose 0 = -5*o - 2*n + f*n + 55, 0 = 3*o - n - s. Solve 4*w + w = o for w.
2
Let l(c) = 7 - 10*c + 5 + c**2 - 1. Let d be l(9). Solve 3*z - 2*z = -d for z.
-2
Suppose 5*v - 3*m = 20 + 44, -3*v + 5*m = -48. Suppose 4*z = 5*b + 10, -1 = -2*z - b + v. Solve -z*i = -0*i for i.
0
Let a(d) = -d**2 - 9*d - 16. Let k be a(-6). Let i be k*(6 + -4)/4. Solve q - i = -0*q for q.
1
Let d(u) be the second derivative of -u**4/12 - u**3/6 + 3*u. Let b be d(0). Suppose b*c = -c + 2. Solve c = -3*k + 4*k for k.
2
Let w = 2 - 1. Let k(q) be the third derivative of q**5/15 - q**4/24 + q**3/6 - q**2. Let t be k(w). Solve t*s = 2*s for s.
0
Suppose -21 + 23 = 2*a. Suppose 2*f + f - v + a = 0, 2*f = 2*v - 2. Solve 10 = 2*u - f*u for u.
5
Let c be (-36)/(-20) - 2/(-10). Let x be (1 - 3) + (c - 0). Solve 5*q - 1 - 19 = x for q.
4
Let r = 1 + -6. Let y = r + 7. Suppose 0 = -v + y*v. Solve v = -4*c - 4 for c.
-1
Let o be -18*(2/(-4) + 0). Suppose 12 = 4*x - 8. Solve o + 1 = -x*f for f.
-2
Suppose i = -3*i + 2*s + 66, -20 = 4*s. Suppose 5*l - i = 16. Let g be ((-6)/4)/((-3)/l). Solve -b + 10 = -g*b for b.
-5
Suppose 7*s = -4*s + 33. Solve s = 2*k + 7 for k.
-2
Let i(y) = y - 1. Let r be i(6). Solve 0*l + 25 = r*l for l.
5
Suppose -12 = 3*w - 3*u, -20 = 3*w - w + u. Let f(g) = -g**3 - 8*g**2 - g + 2. Let h be f(w). Suppose -2*s + h = 3*s. Solve -s = -k + 1 for k.
3
Suppose 3*y - 3*d = -93, -3*d + 18 = 4*y + 170. Let s = -22 - y. Suppose c - b = 3, 4*c - s = c + 5*b. Solve c = w - 1 for w.
2
Let m be (4/6)/((-10)/(-45)). Suppose -5*s = -4*y - 9, -s = -y + m - 5. Solve -o + 3 = -s for o.
4
Let g(j) = j**2 + 8*j + 8. Let x be g(-6). Let l be 72/(-9)*(-2)/4. Let p = l + x. Solve -3*r - 2 - 7 = p for r.
-3
Let o be (2/2 - 1)/1. Solve q + q - 4 = o for q.
2
Let x be ((-24)/(-14))/((-4)/(-42)). Let m = x + -13. Suppose -m*u - 4*d = -29, -u + 6*d - 3*d = -2. Solve 0*g = g + u for g.
-5
Let l(a) = 3*a**2 + 2*a + 5. Let s be l(0). Solve -s*n = 14 + 6 for n.
-4
Suppose 4*m = -20, -i - 16 = -2*m + 5*m. Let u = i - -5. Suppose -u*d = -0*d. Solve 0 = -q - 5 - d for q.
-5
Suppose 51 = 2*g + 5*o, 4*o - o + 37 = 4*g. Suppose 1 = -3*j + g. Solve -j*f = 11 - 3 for f.
-2
Let l(o) = -2*o - 5. Let g be (-1 + 1)/(-1 + -1). Suppose g = 2*q + 6, 6*q = 5*p + 3*q + 11. Let c be l(p). Solve 0 = -c*a - a + 4 for a.
1
Suppose -g + w - 6 = -5*g, -g - 1 = -w. Solve -3*c - g = 2 for c.
-1
Suppose k - 3 - 1 = 0. Suppose -6 = -d + k. Solve -5*w + d = -15 for w.
5
Let q be (-11 - 1)*6/(-12). Suppose 2*u - q = -u. Let s = 0 - -3. Solve -u = l - s for l.
1
Let v = 33 + -31. Solve -x - 6 = -v for x.
-4
Let h(b) = b**3 - b + 3. Let j be h(0). Let u be (-51)/(-3) + -1 + j. Let p = -7 + u. Solve 4*x + 0*x - p = 0 for x.
3
Let j be (12 + -12)/(-1 - 1). Solve j*c = -3*c - 3 for c.
-1
Let o = 50 + -48. Solve -2*p - 4 = o for p.
-3
Suppose 0*c = c - 8. Suppose 20 = 4*j + c. Suppose g + 4*g = -3*a + 15, j*a = 5*g - 15. Solve a = -3*u - 9 + 24 for u.
5
Suppose 4*n = 15 - 7. Let u = 0 - 0. Solve n*l = -u*l for l.
0
Suppose -3*c + 4*r = -3, -c + 6*c - 3*r - 16 = 0. Suppose -c*h + 22 = 7. Solve 2*l + l = -h for l.
-1
Let d be (16/(-28))/((-4)/70). Suppose 2*o = -2*n - 0*o + 74, -5*n + 185 = 4*o. Let g = n + -2. Solve d = 5*f + g for f.
-5
Let c = 3 + 2. Solve -6*o = -c*o for o.
0
Suppose -v = 8 - 14. Solve v*r + 10 = r for r.
-2
Let s(q) = q - 4. Let j be s(6). Suppose 0 = j*z - 4*z. Suppose -2*v + 2 = -2*n, z = -n + 2*n + v - 7. Solve 3*y - 2*y = -n for y.
-3
Suppose 0 = -3*h - 0*h - 30. Let n = h + 10. Solve n = -0*v + 2*v + 4 for v.
-2
Let p be (0 - 0)/(-4 - -6). Solve p = 2*t + 5 + 1 for t.
-3
Let j be -10 + 11 + (-1)/1. Let d = -3 + j. Let q be 2/(-6) - 1/d. Solve -6*g + g - 20 = q for g.
-4
Suppose -3 = -3*o, -r + 1 = o - 6. Let k be r/(-30) + 1/5. Suppose 2*g - 8*z = -3*z + 5, 2*g + 3*z + 3 = k. Solve g*w - 3*w + 3 = 0 for w.
1
Let d = 16 + -11. Solve 3 = d*a - 2 for a.
1
Let z(u) be the first derivative of u**6/120 - u**5/20 + u**4/24 - u**2 - 2. Let n(w) be the second derivative of z(w). Let i be n(3). Solve -i*f = -5*f for f.
0
Let o = 1 - 1. Let p = 241 + -237. Solve o = -p*i - i for i.
0
Suppose -a - 4 = 4*d, 0*d = 3*a + 4*d + 4. Suppose 3*b - 6*b - 36 = 0. Let s = 15 + b. Solve s = -3*q - a*q for q.
-1
Let t(h) = -h**3 - 4*h**2 - h + 1. Let b be t(-3). Let y(r) = r**2 + 4*r + 1. Let j be y(b). Solve -j = -2*v + 2 for v.
4
Let n = 1 + 5. Let d = 13 - n. Solve 0 = d*u - 3*u - 8 for u.
2
Let x(s) = 2*s**2 - 4*s - 1. Let c be x(3). Suppose -6 - 29 = -c*f. Solve 0 = 3*u - 4 + f for u.
-1
Let d(k) = -37*k + 1 + 43*k + 2. Let z be d(2). Solve 2*w + 3*w = z for w.
3
Let t(k) = k**3 - 7*k**2 - k + 6. Let u be t(7). Let d = u - -4. Solve -4*i + 5 = -d for i.
2
Let q(j) = j + 11. Let c be q(-6). Solve p + c = 1 for p.
-4
Let k be 0*(1 - 0) - 0. Let d(s) = s**2 + 2*s - 4. Let h be d(-5). Let t = -14 - -16. Solve k = -3*n + h - t for n.
3
Let o = 10 + -9. Let u(p) = 9*p**2 + 2*p - 1. Let z be u(o). Solve 6*w - w = -z for w.
-2
Let a(y) = -4*y. Let z(d) = -d**2 + 2*d + 2. Let s be z(3). Let r be a(s). Suppose -20 = -4*m - r. Solve m*l = 2*l for l.
0
Suppose -3*q + 6 = 2*f + 2*q, -2*f - 3*q + 6 = 0. Solve -v - 2*v = f for v.
-1
Let k = 9 - 9. Suppose g + k*y = 4*y - 8, -5*g - 3*y + 6 = 0. Solve 0 = 2*t - g*t + 10 for t.
-5
Let k(c) = c + 7. Let q be k(-5). Suppose q*a + 0*a = -18. Let w be (3/a)/(2/(-18)). Solve w = 2*m + 1 for m.
1
Suppose 0 = -3*o + 2*o. Let h = -3 - -6. Let w = 1 + h. Solve o = -w*g + 2*g for g.
0
Let c(j) = 4*j**3 + 2*j - 2. Let y be c(1). Solve -y*m = -0*m - 20 for m.
5
Let p = 13 - 5. Suppose -10 = -p*c + 3*c. Suppose 2*y - 6*f + f = c, -3*y = -f - 3. Solve -t - 1 = y for t.
-2
Let x(s) = -s**2 + 4. Let a(w) = -w**2 + 7*w. Let r be a(7). Let g be x(r). Solve -j + 2 = g for j.
-2
Let u be ((-2)/6)/(6/(-72)). Solve 5 = -3*a - u for a.
-3
Let w = -29 + 41. Solve 2*i + i = w for i.
4
Suppose 0*a + a = w + 18, 3*w = 2*a - 34. Let h be (-3 - a/6)*-6. Solve 5*y - h = -13 for y.
5
Let m be (2 - -3)*1*1. Suppose -i = -3*i - 3*u + 15, -u = -m*i + 12. Solve -2*g + i = -3 for g.
3
Let d be 4 - 3 - (-1)/1. Suppose 3*r = -d*r. Solve 2*l + r*l = 0 for l.
0
Let b be (23 - 2) + 3/(-3). Solve b = 4*q - 0 for q.
5
Let v(b) = b**2 + 6*b + 2. Let k be v(-6). Suppose -k*j = j. Solve j*q - q = -2 for q.
2
Let h(b) = -7*b**2 - 5*b**2 + 15 + 5*b**2 + b - 6 - b**3. Let q be h(-7). Solve q*d - d = -5 for d.
-5
Let u be (36/45)/(4/(-30)). Let m = -6 - u. Solve m = -4*v + 4 for v.
1
Let j = 6 - 3. Let a be ((-24)/10)/(j/(-10)). Let r be -3 + (-5)/((-5)/a). Solve -r*n - 3 - 12 = 0 for n.
-3
Suppose 2*v = 5*v - 24. Let t = v - 6. Solve 4*d = t*d for d.
0
Suppose 2*h + 0 = 10. Let o = h - 1. Solve o*f - f - 6 = 0 for f.
2
Let b = 110 - 110. Solve 0 = -b*c - 5*c for c.
0
Let j(k) = 4*k. Let t be j(-7). Let f be 7/t - 1/(-4). Let v = 2 - -2. Solve -v*z + 4 = -f for z.
1
Let x(l) = l**2 + 28*l + 27. Let q be x(-27). Solve q = 2*v - 4*v for v.
0
Suppose -4*u + 19 + 1 = 0, -2*d + 3*u = 9. Suppose -3*c + 9 = 3. Let x be (8/24)/(c/24). Solve x*k - k - d = 0 for k.
1
Let a(d) = -d + 6. Let t be a(0). Suppose 0 = -2*o - t, 0 = i - 3*i - 2*o. Solve i = -w + 4 for w.
1
Suppose 2*g + 8 = 18. Suppose -g*r + 0 + 35 = 0. Solve 0 = 3*i - 5 - r for i.
4
Let u = -118 + 120. Suppose j - 6 = 3*d + 2*d, 4*j = -3*d + 24. Solve -j*t + u*t = 0 for t.
0
Let f be (-2 - -1)*-1*1. Let k(w) = -w**2 + w + 2. Let z be k(2). Solve -o + z - f = 0 for o.
-1
Let r be (-2)/(-6) - 10/(-15). Solve 5*i - r = 4 for i.
1
Suppose -2*u + 5*u = 0. Suppose 7*r = r + 36. Solve 2*z = -u*z + r for z.
3
Suppose -g - 4 = -0. Let k = g - -4. Suppose k*v = v - 2. Solve -4 + v = -2*f for f.
1
Let f = -5 + 5. Suppose -4*g - 8 = 0, f = -5*i + g + 48 + 4. Let r be -2 + i + (1 - -1). Solve 3*a - r = a for a.
5
Suppose -2*p - 1 = 9. Let d = p + 5. Solve -3*l + d*l = 6 for l.
-2
Suppose 4*a + 0*a = -5*u + 26, -u - 5*a + 22 = 0. Let v be (6 - 4)*3/u. Solve l = -v*l for l.
0
Let s(b) = -b**2 - b + 3. Let a be s(0). Suppose 21 = 4*h + 5. Solve h*d = a*d for d.
0
Let x(s) = -s - 5. Let v be x(-6). Let n = v - -3. Solve -9*d - 10 = -n*d for d.
-2
Let i(d) = 2*d - 6. Let z = 7 + -1. Let j be i(z). Supp