/f. Solve -4*c + l*c - 4 = 0 for c.
-4
Suppose 3*u - 61 + 34 = 0. Solve -4*n = -n + u for n.
-3
Let o = -1030 - -1050. Solve 69*r - 64*r = -o for r.
-4
Suppose -13*y = -29 - 62. Solve -2*q = 5 - y for q.
1
Suppose 4*b = 18 - 6. Suppose -10 = -b*k - 2*k. Suppose -2*t + k*y = 0, t + 2*y + 3*y - 6 = 0. Solve -r = t - 4 for r.
3
Let x = -3 + 6. Suppose 6 = 3*a - x. Solve a*i = -0 + 6 for i.
2
Let w be (7/(-3) + 2)/(5/(-15)). Let j be 28 + -14 + (-4)/w. Solve p + j = -p for p.
-5
Suppose 4*a - 70 = 38. Solve 0 = 2*t - a + 31 for t.
-2
Let j be -2*(4 - 0) - -28. Suppose 5 = 5*i, -3*h + 10 = -0*h - 2*i. Suppose 14 + 6 = -5*u - 4*t, 0 = -u - h*t - j. Solve -2*s + 7*s - 10 = u for s.
2
Suppose 2*j + 5*j - 462 = 0. Let x = j - 54. Solve m - 4*m - x = 0 for m.
-4
Suppose 2*a = 5*y - 74 - 288, -5*y - 4*a + 356 = 0. Suppose -3*j - 18 = -y. Suppose 0 = m + 2*m - j. Solve d - m*d + 20 = 0 for d.
4
Let q be (6/(-15))/((-7)/70). Suppose -t = q*t - t. Solve t = 2*o - 2 for o.
1
Let l be ((-49)/(-3) + -14)/(7/6). Solve l*c - 20 = -8*c for c.
2
Suppose -8*y + 2*y = -y. Solve -6*d + 4*d + 6 = y for d.
3
Suppose 19*k - 32*k = -39. Let i be 3/(4/(-10) - -1). Solve 0 = i*y - k*y + 6 for y.
-3
Let m(z) = z**2 + 5*z + 4. Let j be m(-4). Suppose 58*y - 273 + 41 = 0. Solve -g + j = y for g.
-4
Suppose 0 = -5*f - 5*z + 15, -z + 0*z - 11 = -f. Suppose -65 = -f*h - 51. Suppose -2*c = c + 9, -2*c = 3*j - 36. Solve -j = -3*g - h for g.
4
Let h = -1487 - -1496. Solve g + 5 = h for g.
4
Let b(w) = -w**3 - 6*w**2 - 8*w + 6. Let n be b(-5). Solve 5*r - n = -1 for r.
4
Suppose 9*i = 10*i + 51. Let x = i - -53. Solve -4*d - x = -22 for d.
5
Let k = 469 - 452. Solve -k*v + 13*v = 0 for v.
0
Let m(g) = 5*g - 196. Let o be m(40). Solve o*k + 12 = 8*k for k.
3
Let d = -957 + 963. Solve -12*k + d*k - 12 = 0 for k.
-2
Let m(u) = -u + 4. Let c = 57 + -53. Let z be m(c). Solve z = -3*d - 0*d for d.
0
Let r = -8 + 27. Let w = r + -15. Suppose 0 = -x + 5*q - 0*q + 23, -w*q = 16. Solve 3 - 6 = -x*u for u.
1
Let o = -990 - -1023. Solve 3*w - o = -21 for w.
4
Let q(z) = -5*z - 37. Let n be q(-10). Solve -2 - n = -3*o for o.
5
Let y(q) be the third derivative of 0*q**3 + 0*q + 0 + 1/120*q**6 + 0*q**4 - 7/30*q**5 - q**2. Let a be y(14). Solve a*p - 8 = -2*p for p.
4
Let c(j) = j**2 + 11*j - 21. Let l be c(-13). Let s be 0*(-2 - -1) + -5 + l. Solve -p = -1 - s for p.
1
Suppose 17*i - 138 = -6*i. Solve -i*b = -3*b + 3 for b.
-1
Suppose 7*h - 5*h = 3*k - 12, 9 = -k + 5*h. Solve 5*z = -k + 26 for z.
4
Let z be 5*(-5)/((-125)/135). Let j = z - 22. Let d be 8/j*85/34. Solve d*a - 4 = 8 for a.
3
Let t = 15 - 10. Suppose m + 4*s = 26, m - 4*s = -6*s + 26. Solve -t*y - m = -11 for y.
-3
Let c = 81 - 79. Suppose -2*n + 4 = -f, -3*f - n = -2*n + c. Solve -5*y + 2 + 8 = f for y.
2
Let k = 14 - 10. Let h be 1503/668*(-4)/(-3). Solve k*j - h = 9 for j.
3
Suppose -3*x + 3*u + 20 = 2*x, -2*u = 10. Let z = x - 1. Solve z = -3*d - 6 + 3 for d.
-1
Suppose 2*q = -q + 42. Let a = -15 - -22. Let p = q - a. Solve f + p = 4 for f.
-3
Let f(g) = -140*g**2 + 139*g**2 + 5*g + 2 - 6. Let p be f(4). Solve -2*n + n = p for n.
0
Suppose 11*b - 18 + 18 = 0. Solve -5*l + 43 - 53 = b for l.
-2
Let z(i) = -i**2 - 9*i + 1. Let j be z(-9). Let t = 4 + 2. Suppose 0 = -f + t*f. Solve f = 3*m - j - 2 for m.
1
Let g(c) = c**3 - 10*c**2 + 8*c + 13. Let y be g(9). Suppose -n + 25 = 5*s, y*n = s + 9 + 7. Solve 0 = -3*o - 10 - n for o.
-5
Suppose 0 = 8*f - 170 - 14. Solve -18*v - 25 = -f*v for v.
5
Let y(x) = -x - 2. Let l be y(-1). Let r be (1 - (4 + -3))/l. Suppose 4*z = -r*z + 16. Solve -4 = z*n + 12 for n.
-4
Let s(p) = -p**2 - 15*p + 18. Let v be s(-16). Suppose -v*i + 51 = 1. Solve -6*g + g + i = 0 for g.
5
Let h(m) = m**2 - 21*m + 41. Let s be h(2). Solve -s + 0 = l for l.
-3
Suppose -16 = 7*m - 5*m + 5*g, m - 2*g = 10. Solve 15 = 7*b - m*b for b.
3
Suppose 0 = 2*m + 4*m - m. Solve m = 11*r - 10*r for r.
0
Let p = 6 + -7. Let b be (-35)/10*(15/(-21) + p). Let v = -1 + 6. Solve -v + b = s for s.
1
Let f(g) be the second derivative of g**4/6 + 5*g**3/3 + 3*g**2/2 - 25*g. Suppose 5 = -5*j + 4*j. Let m be f(j). Solve b = m*b for b.
0
Let v = -139 + 139. Solve 3*t - 12 + 3 = v for t.
3
Let t(m) = 4*m**2 + m. Let a be t(-1). Solve -7*l = -a*l + 4 for l.
-1
Let u(c) = c**2 + c + 11. Let m be u(0). Suppose 65*w = 141*w - 760. Solve o = m - w for o.
1
Suppose p + 2 = -14. Let f be (-21)/9 - p/12. Let i = 1 + f. Solve 3*h - 3 - 3 = i for h.
2
Suppose 3*q = -5*r + 2*q - 3, -2*r = -3*q - 9. Solve 5*o - 25 = -r*o for o.
5
Let u = 21 + -6. Let x(s) = -s**3 + 15*s**2 - s + 18. Let a be x(u). Solve 0 = 7*t - a*t for t.
0
Let a be (-82)/656 + 66/16. Solve -a*b + 17 = 29 for b.
-3
Suppose -4*j + 360 = 8*j. Solve -5*x = -j + 10 for x.
4
Suppose -11*a + 6*a + 10 = 3*f, 4*f - 4*a = -8. Solve 0*c + 5*c + 15 = f for c.
-3
Suppose -5*q - 70 = -15*q. Suppose -5*n - 17 = 3. Let z be n + q/(14/12). Solve -z = -y + 2*y for y.
-2
Let s = 3 + -12. Let u = -8 - s. Let w(g) = 24*g + 1. Let z be w(u). Solve -z + 5 = -4*f for f.
5
Let p = -12 + 13. Let d(t) = t**2 + t. Let w be d(p). Let y be 4 - (-1 + w + -1). Solve -y*r + 2 = -2*r for r.
1
Let d(b) = -13*b - 101. Let k be d(-8). Solve 3*p + 18 = -k*p for p.
-3
Suppose -2*j - 140 = -2. Let m = -67 - j. Solve 0 = m*d - d - 2 for d.
2
Let l(i) = i**2 + i - 9. Let v be l(-7). Let y = v - 29. Let z(n) = n**2 - 12*n + 16. Let x be z(11). Solve o - y = x*o for o.
-1
Suppose 210 = 11*q + 10*q. Solve 0 + q = -2*i for i.
-5
Let i be (-3)/12 + 11/(-4). Let w = 12 + i. Let s(r) = 14*r + 493. Let j be s(-35). Solve -w = -0*g - j*g for g.
3
Let y = 74 - 49. Solve -8*z + 7 + y = 0 for z.
4
Let o = 5 + -12. Let g(r) = -r - 4. Let t be g(o). Solve t*i + 2*i = -10 for i.
-2
Let i = 144 - 56. Suppose -3*x - 21 = -5*p + i, -27 = -p - 2*x. Solve -4*h + 15 - p = 0 for h.
-2
Let g(t) = t**2 - 14*t - 35. Let c be g(15). Let l(x) = x**3 + 19*x**2 - 20*x. Let a be l(c). Solve 2*j + 1 + 9 = a for j.
-5
Suppose 3*d - 3*r = 48, 2*d - 35 = r - 5. Let x be (-10*1)/((-7)/d). Suppose -9*a = -4*a - x. Solve -a*q + 0 = -8 for q.
2
Let l(x) = x**2 - 23*x + 102. Let s be l(17). Solve -2*o + s*o - 6 = 0 for o.
-3
Suppose -5*w = -j, 2*w - 27 = 3*j - 8*j. Solve 21 - 21 = -j*r for r.
0
Let b be 4/3 + (-4)/3. Solve b*x + 4*x = -4 for x.
-1
Let p = -29 - -85. Let c = -51 + p. Solve -c*a + 8 = -7 for a.
3
Let z(s) = s - 7. Let g be z(10). Suppose -g*a + 36 = -2*p + 6*p, 36 = 3*a + 2*p. Solve -a = 4*b - 8*b for b.
3
Suppose -4*i = -5*k + 373, -4*i + i + 4*k - 281 = 0. Let f = 91 + i. Solve 0 = f*b - 9*b + 20 for b.
4
Let h(l) = 12*l - 1. Let q(a) = 11*a. Let c(z) = -5*h(z) + 6*q(z). Let f be c(5). Suppose 5*p - p - 120 = -5*j, -2*j = -p - f. Solve -t = 3*t + j for t.
-5
Let y(x) = -19*x + 133. Let s be y(7). Solve 3*r + r - 20 = s for r.
5
Suppose 7 + 14 = -3*f. Let n(m) = -m**2 - 9*m - 14. Let u be n(f). Solve -3*p - 11 + 2 = u for p.
-3
Let t(b) = -b**2 + 7*b + 3. Let j be t(6). Let w(s) = s**2 - 9*s + 4. Let k be w(9). Suppose v + 2*p = -4, p + k = -0*p. Solve j = 7*o - v*o for o.
3
Suppose 16 = -13*c + 224. Solve c = -3*q + 22 for q.
2
Let z(v) = v**3 + 10*v**2 + 4*v + 24. Let b be z(-10). Let w = 18 + b. Suppose 0 = -3*l + 4 + 5. Solve 0 = -j + l - w for j.
1
Let k = -246 + 256. Let a be (10/(-35))/((-3)/21). Solve 2*i - k = -a for i.
4
Suppose 3 = 2*t + 1. Let n be -3 + (-1)/(t/(-11)). Let u = -29 - -29. Solve 2*s + u = n for s.
4
Let u(n) = -n**3 + 30*n**2 + 34*n - 73. Let j be u(31). Solve -3*x - j = -8 for x.
-4
Let z be (-3)/(276/(-24) + 10). Solve z - 5 = p for p.
-3
Let p(i) = i**3 - 4*i**2 + 2*i - 5. Let l be p(4). Suppose l*b - 5*b + 6 = 0. Solve 16 = -b*q - q for q.
-4
Suppose -17*j = -7*j - 250. Solve 4*n = -n - j for n.
-5
Suppose 0 = -0*k - k - 2, -5*k = -5*j + 35. Let h = -107 - -150. Let w = 47 - h. Solve -3*s = -w - j for s.
3
Suppose -30 + 22 = -2*q. Solve q = -5*p + 9 for p.
1
Suppose a + 4*n = 54, 4*a = -0*n - 2*n + 146. Suppose -s - f + 10 = 0, -5*f + f = 3*s - a. Suppose s*r - 2*r - 4 = 0. Solve 5*x = -r + 6 for x.
1
Suppose 2*c + 10 = 7*c + 5*z, -5*z = 10. Solve b = 5*b - c for b.
1
Let v(r) = -9*r - 7. Let t be v(-1). Solve 15 = t*l + 7 for l.
4
Suppose 15 = 23*a - 18*a - 5. Suppose -5*f - 1 + 31 = 0. Solve -a = f*g - 2*g for 