 10 = f for f.
-5
Suppose -16*s + 56 = -12*s. Suppose x = 9 - s. Let n(k) = k**3 + 4*k**2 - 5*k + 4. Let v be n(x). Solve -b - v = -3 for b.
-1
Let y = -14 + 17. Suppose -t = 3*t. Let w = t + y. Solve 0 = z + w*z for z.
0
Let z(p) be the third derivative of p**4/24 - p**3/6 - 5*p**2. Let g be z(3). Suppose g*l + 3*l = 75. Solve -3*i - l = -0*i for i.
-5
Let t be ((-2)/(-6))/((-29)/(-435)). Solve 3*v = t*v - 4 for v.
2
Let k be 10 - (3/(-2))/((-1)/2). Solve 12 = -11*l + k*l for l.
-3
Let l be 0 - -2*(-4)/8. Let d be (0 + l)/(3/(-6)). Let u = 2 - d. Solve 0 = -u*q - 4*q - 20 for q.
-5
Let y(b) = -b - 1. Let i(t) = t**3 + t**2 + 13. Let g be i(0). Let j be y(g). Let v = 20 + j. Solve -2 + v = o for o.
4
Let b be 2/3*18/4. Suppose 5*o = f + 5, -2*f - 18 = -o - 8. Let y be -30*3/(-6) + -3. Solve -b*q = -o*q + y for q.
-4
Suppose 0 = -6*q + 4*q + 80. Let o be (-8)/((q/(-5))/(-4)). Let i be o/3*(-21)/14. Solve 4 + i = 2*j for j.
3
Let n(u) = u + 9. Let s be n(-7). Suppose -2*v - s = -3*v. Suppose 0 = 4*h - 4*y - 4, -2*h - y = -0*y - 8. Solve 5*j - v = h*j for j.
1
Let h be 40 - (-6 + -6)/(-3). Solve 26 = 2*v + h for v.
-5
Let f = 96 - 95. Let j be (-8 + f)*-2*27/63. Solve 15 = -j*n + n for n.
-3
Let l(t) = -6*t - 158. Let b(m) = 2*m + 52. Let r(i) = -10*b(i) - 3*l(i). Let c be r(-23). Solve -s = -3 - c for s.
3
Let a be 6 - ((-6)/(-4))/(19/38). Solve -41 = a*h - 38 for h.
-1
Let a = 61 - 54. Let i = -5 + a. Solve 0 = -4*s - 6 + i for s.
-1
Let b(g) = 27*g + 14. Let r be b(2). Let c = 70 - r. Solve c*m = -2*m - 4 for m.
-1
Suppose s + 0*s = 0. Let l = 3298 + -3297. Solve -y + s*y = l for y.
-1
Let n = 120 + -29. Let x = n + -91. Solve -2*t - t = x for t.
0
Suppose 30 = 2*q + h - 29, 2*q - 2*h = 50. Let r be (q/(-12) - -3)*6. Solve -a = r*a + 15 for a.
-3
Let f be (-4)/14 - 65/91. Let v = 3 + f. Solve -6 = -v*p - 4 for p.
1
Suppose 0 = -0*p - 3*p - w - 57, 0 = -2*p - 4*w - 28. Let d be -2 - p - (3 - -1). Let c be (-7)/(-21)*(d + 1). Solve -k + c = -2*k for k.
-5
Let i be 1/(-3 - -1)*-6. Suppose -2*u - 2*u = 152. Let m = -36 - u. Solve v - m*v = i for v.
-3
Let x(r) = -10*r - 20 + 4*r - 10. Let z be x(-6). Solve -s - z = s for s.
-3
Let z be 1344/64*(-2)/(-6)*1. Let b = z + -3. Solve -2*p = -b - 6 for p.
5
Suppose n + 4*o = -0*o - 11, 0 = -n + 4*o + 21. Suppose 4*m - y - 19 = -2*y, n*y = 2*m + 7. Let a be (-4)/6 - 38/(-3). Solve -g = -m*g + a for g.
4
Suppose -4*y + 2 = -3*f, 4*y - 11*f - 14 = -14*f. Solve -y*b = -1 - 1 for b.
1
Suppose 0*b + 8*b = 3*b. Suppose q + 65 - 69 = b. Solve 0 = 4*g - 0 + q for g.
-1
Suppose 2*w + n = 23, 3*w + n - 55 + 20 = 0. Solve 0 = 3*y + 6 - w for y.
2
Suppose 0 = 4*v + 2*u + 3 - 45, 0 = 3*v + u - 30. Suppose 2*n + v = 3*y - 8, -3*y = 2*n - 37. Suppose y*a - 4*a = 0. Solve 3 = z - a for z.
3
Let i(k) = 2*k + 1. Let s be i(0). Suppose 2*b + a = -8, -b - a - 10 = a. Let w be ((-5)/(-2) + b)*4. Solve w = 3*j - s for j.
1
Let u(r) = 2*r - 6. Let q be u(13). Suppose q*l - 24*l = -96. Let b = l - 22. Solve 2 = b*o - 8 for o.
5
Let c be 1 + (-6)/4*(-128)/48. Solve c*l - 18 = -l for l.
3
Let n(a) = -2*a - 47. Let b be n(-26). Suppose 1 = 2*l + b*w - 10, -5*l + 19 = 4*w. Let q be (-1 - (-2)/6)*-3. Solve q*k = l*k - 1 for k.
1
Let c(s) = -s**2 + 13*s - 8. Let w be c(12). Suppose 2*z = w*z. Solve -2*g + 10 + 0 = z for g.
5
Suppose 5*x = -2*r - r + 69, -5*x = -2*r + 21. Suppose 51 = 4*w - t, -w + 3*t = t - r. Let d be 0 + 1 - (-24)/(-8) - -5. Solve -w = -0*n - d*n for n.
4
Let p(t) = t**2 - 8*t - 5. Let z be p(8). Let a = z + 1. Let b be a/(-16)*(1 - 1). Solve b = -3*q - q - 4 for q.
-1
Suppose -6*d + 4*d = 4. Let m(a) = -6*a + 3*a**3 + 2*a + a**3 - 3*a**3. Let x be m(d). Solve x = 5*h + 10 + 15 for h.
-5
Let i = -3 + 12. Let m be i/6 + (-1)/(-2). Suppose -5*s + m = -3. Solve -r - 2 = s for r.
-3
Suppose 0 = 4*u + 4*a - 140, -14*u + 9*u + a + 157 = 0. Solve -10*y + u = -8 for y.
4
Let k(x) = -x**3 + 3*x**2 + 15*x + 11. Let g be k(5). Solve 10*o - 4 = g for o.
4
Let y be (1/(-2))/(12/(-1920)). Let o = y + -78. Solve 2*r + o*r = -20 for r.
-5
Let g(a) = -2*a**3 - 6*a**2 + a + 1. Let b(c) = 5*c**3 + 13*c**2 - 2*c - 2. Let d(f) = 3*b(f) + 7*g(f). Let o be d(3). Solve -2*v - o = 2*v for v.
-1
Let g = 2 + 0. Let n be 0 - 36/((-8)/g). Let q(t) = -2*t + 16. Let b be q(8). Solve 0 = -b*r + 3*r + n for r.
-3
Let d(x) = -2*x**2 + 45*x - 24. Let t be d(22). Let b be ((-3)/15*t)/(1/15). Solve -b = -f - 2 for f.
4
Let z be ((3 - 3) + 8 + -3)*1. Let f be 2*(2 + 1 + 1). Let u = f - z. Solve r = u*r for r.
0
Let b be 11/(-4) + (-36)/(-48). Let a be (-65)/(-52) - b/(-8). Solve t + 2 = a for t.
-1
Suppose -2*k = -0*k - 6. Suppose 2*c - 3 = k. Let b be (-2 - (-45)/5) + -3. Solve c*i - i - b = 0 for i.
2
Suppose 2*v - 17 = s - 2*v, -6 = 3*s - 3*v. Solve -8*f = s + 13 for f.
-2
Suppose -4*b = 11*m - 12*m - 6, -4*m - 3*b = -14. Solve -4*w - m*w = 0 for w.
0
Suppose 2*s + m + 16 = 4*s, 4*s + 3*m = 32. Let g be (1 + s/(-6))*-6. Let w(u) = 2*u + 4. Let q be w(2). Solve -g*c = -0 + q for c.
-4
Let p = 7 - 1. Suppose -4*k - p = -18. Suppose -k = w - 2*w - i, 0 = 2*w - 2*i + 6. Solve 2*f + 4 - 12 = w for f.
4
Let j(a) = a - 4. Let g be j(-2). Let q be (g/3)/((-4)/4). Solve 3*w = -8 + q for w.
-2
Let i = 1 - -1. Let v = 14 - i. Suppose -6*s = -3*s - v. Solve -s*k = k for k.
0
Let z = 502 + -488. Solve -11*w - 9 = -z*w for w.
3
Let a = 25 + -19. Suppose 3*p = x + 5 + 4, -a = 3*p + 4*x. Solve -3*y + y = p for y.
-1
Let w = 286 + -283. Solve -2 = -w*v - 5 for v.
-1
Let a = 60 - 88. Let c = -26 - a. Solve 5*g - 9 = c*g for g.
3
Suppose -y - 83 = -88. Suppose -3 - 4 = -3*h - 5*o, y*h - 2*o = 22. Solve h*c = 13 - 1 for c.
3
Let d be 2/(-13) + 3591/273 + -1. Solve -7*r = -3*r - d for r.
3
Let s(h) = -2*h + 11. Let w be s(-11). Suppose -w*f = -31*f. Solve f*a + 2*a = 10 for a.
5
Suppose 3*m = -2*v - 15, -2*m - 15 = -5. Suppose v = 5*p - 3*p. Solve p = 3*t - 2*t + 3 for t.
-3
Suppose 9*o + 146 - 245 = 0. Solve 12 = -o*a + 12 for a.
0
Let x be (-2)/9 + (-33)/(-27). Suppose 5*g - 9 = x. Let n = 5 + -1. Solve n = g*z + 12 for z.
-4
Suppose 0 = 20*g - 63 + 3. Solve 0 = -g*a + 3 - 18 for a.
-5
Suppose 0 = -3*s + f - 1, -3*s - 2*s + 5 = 5*f. Suppose -a + l + 21 = 2*a, -3*l = s. Solve a = 4*d - 5 for d.
3
Suppose -4*g + 7*g = 15. Suppose 0 = g*z - 4*z. Solve 7*t - 2*t - 10 = z for t.
2
Suppose 0 = 31*a - 21*a - 320. Solve -35*o - 6 = -a*o for o.
-2
Let c(t) = t - 7. Let m(g) = g - 2. Let o be m(-2). Let f be (0/(-3) + o)*-2. Let a be c(f). Solve -u - a + 0 = 0 for u.
-1
Let r be -1 + 6/((-42)/(-427)). Solve 2*l - 14*l = -r for l.
5
Let d be (8/(56/(-3)))/((-1)/7). Solve -5*m + d = -2*m for m.
1
Let s(x) = -3*x - 27. Let g be s(-8). Suppose 0 = -3*c + d + 19, -2*c - 2*c = -5*d - 7. Let j be c/6 + 1/g. Solve j - 11 = 2*z for z.
-5
Let i(z) = z**3 + 13*z**2 + 12*z + 5. Let h be i(-12). Suppose h*p + 4 = -1. Let m be p/((-2)/16*1). Solve -4*a + m = -8 for a.
4
Suppose 0*t - 45 = 9*t. Let c be t/(20/6)*-2. Solve -c*v + 2 = -10 for v.
4
Suppose -4*t + 122 = 118. Solve -2*w + 7 = -t for w.
4
Let c be (-18)/(-45)*5/1. Suppose -2*r = -5*u + 2 - 12, 5*r = 4*u + 25. Let d = 1 - u. Solve 0 = o - c*o + d for o.
1
Suppose 3*h + 20 = -4*w, 0*w + 5 = -h - w. Let d be (-1 - -1)*3/(-9). Let a = h + d. Solve a = 3*m + 2*m for m.
0
Let x(y) = -y**2 - 23*y - 66. Let o be x(-17). Solve o = 4*j + 16 for j.
5
Suppose -2*q = -0 + 4, -13 = -j - q. Let s be (3 + j/(-4))*-4. Suppose -3*f - 5*z + 2 = 0, 4*f + 3*z - 16 = -6. Solve f - s = -p for p.
-1
Suppose 0*d - 3 = -d - 2*i, -5*d - 3*i + 36 = 0. Suppose d = 3*h + 3. Solve -6 = h*m + m for m.
-2
Let j(w) = w - 23. Let v be j(31). Suppose 0 = v*z - 3*z - 10. Solve -z*c + 1 = -9 for c.
5
Suppose -19 - 8 = -3*g. Suppose 0 = g*w - 36 - 9. Solve -6*u = -11*u + w for u.
1
Suppose 2*l + 40 = 5*h + 3*l, -l = 4*h - 31. Solve h + 0 = -3*t for t.
-3
Let j = 683 + -680. Solve 7 - 10 = -j*a for a.
1
Let s = 859 + -857. Solve -2*y + 2 = -s for y.
2
Let u be (-1)/4 + (3 - (-150)/24). Solve 7*w + u*w = 0 for w.
0
Let r be ((176/12)/2)/(1/(-3)). Let m = 25 + r. Solve 4*o - 5 - m = 0 for o.
2
Let z(b) = b**2 - 4*b - 8. Let y(c) = c - 4. Let m be y(7). Suppose -m*l - 2 = -20. Let o be z(l). Solve 0 = -2*d + o*d for d.
0
Let a be ((-4)/6)/(7/21). Let l be a/(-13) + (-48