-144)/(-64)*(-8)/(-6). Let r(a) = -4*a - 1. Let p be r(-1). Solve t*i + p = -3 for i.
-2
Suppose 3*f = -4*m - 1, 0*f - 11 = -m + 3*f. Suppose 3*s - 4*k - 32 = 0, 5*s - m*s + k = 37. Let y = 1 - -3. Solve -s = -y*r - 4 for r.
2
Suppose -3*x + 5 = 5*a + 13, 0 = a + 4. Solve 0*u - 2*u + x = 0 for u.
2
Let t be ((-2)/4)/((-1)/14). Solve 2*h = -t*h + 5*h for h.
0
Suppose 141 = -25*g + 841. Solve -g = -2*s - 20 for s.
4
Let y(d) = -3 - 4*d + 4*d - 2*d. Let x be (-19 - -25)/((-6)/4). Let i be y(x). Solve -i*g + 6 = -4 for g.
2
Let t = 22 + -16. Suppose 4*h - 10 = -t. Solve 16 - h = -5*f for f.
-3
Let j(h) = h**2 + 7*h + 3. Let t(x) = -x**2 - 7*x - 4. Let r(d) = -7*j(d) - 6*t(d). Suppose 0 = -0*l - 4*l - 24. Let i be r(l). Solve -4*a = -a + i for a.
-3
Let x = 2935 - 2923. Solve -8 - x = -5*o for o.
4
Let a be (0 - -1)*(245 + 14). Suppose -5*b - 148 = -3*i, 5*i - a = b - 5*b. Suppose 3*p - i = -3. Solve -4*w = -0*w - p for w.
4
Let z be (-1 + (-2 - -1))*1. Let q = z + 7. Let g be (28 + -30)*1/(-2)*0. Solve 3*m - q*m = g for m.
0
Let h(t) be the second derivative of t**5/20 + 5*t**4/12 - 5*t**3/2 - 2*t**2 + 17*t. Let v be h(-7). Solve 0 = -4*a - 13 - v for a.
-4
Let i(m) be the second derivative of -2*m**3/3 - 5*m**2/2 - 5*m. Let s be i(-5). Suppose 0 = -j + 4*a + s, -3*a = 5*j - 2*a - 33. Solve -2*r - 1 = j for r.
-4
Let v(i) = i**2 - 4*i - 16. Let c be v(9). Suppose -3*t = 4*s - c, -3*s - t + 23 = -0*t. Solve 0 = -s*z + 3*z for z.
0
Let a = 6 - 1. Suppose a*s - 27 = -7. Suppose -4*q = 16, -s*q = -m + 4*m + 1. Solve 3*u = m*u for u.
0
Let t = 144 - 140. Let o be (t/((-6)/6))/(-2). Solve 15 = 3*l + o*l for l.
3
Let z = 76 + -63. Solve -10*b = -z*b - 3 for b.
-1
Suppose 3*y + 0*y - 18 = 0. Let s be (-16)/(-4)*((3 - 1) + -1). Suppose -s*j - 11*a = -15*a - 40, -2*j - 5*a = -55. Solve -y*m + 3*m + j = 0 for m.
5
Let p = 713 + -518. Solve -p*g + 187*g = 24 for g.
-3
Suppose 5*g = 4*g - 2. Let r be 1 + g + 6 + -4. Let y be 5 + 2 - 3/r. Solve y = b + 8 for b.
-4
Let m be ((-3)/5)/((-5)/25). Let y be 4 + m + -2 + 0. Solve y = -0*r - r for r.
-5
Let l be 14/1 + (-7)/(63/(-54)). Suppose -4*n + 5 = -3*n. Solve -l = -q + n*q for q.
-5
Let a = -1536 + 1808. Solve 7*s - 237 + a = 0 for s.
-5
Let n be 8/4 + (2 - -36). Let z be (-15)/(-60)*n/2. Let y = 8 - z. Solve 0 = y*t + 6 for t.
-2
Let j = -20 + 12. Let y(q) = -q - 2. Let i be y(j). Suppose i*o = o + 10. Solve 1 = -o*m - 3 for m.
-2
Suppose 4*k = -h - 27, -4*k + 5*k + 59 = -5*h. Let t = 15 + h. Solve w + t - 5 = 0 for w.
1
Let s = 10 - 8. Suppose 0 = -4*u + 8, -16 = -5*y + s*u + 20. Solve 2*v = -0*v + y for v.
4
Let v = -24 + 27. Suppose -v*p = -2*p - 2. Solve -6*m + 12 = -p*m for m.
3
Suppose 0 = -12*n + 10*n. Let j = 43 - 41. Let m(s) = -s - 2. Let f be m(-5). Solve n = f*r + 4 + j for r.
-2
Let u be 2*(95/(-10) - -2). Let l = 22 + u. Let r(h) = -h**2 + 9*h + 1. Let s be r(7). Solve -l*t + 2*t = s for t.
-3
Let p be (-8)/(7*(-10)/875). Solve 96 = -u + p for u.
4
Let v(z) = z + 6. Let l be v(-2). Suppose 4*d + 2*o = -0*d + 8, -5*d = l*o - 4. Solve 2 - d = 2*f for f.
-1
Suppose 2*g - h = 40, 7*g + 2*h - 80 = 3*g. Solve 6*f - 10*f - g = 0 for f.
-5
Let s(a) = 70*a - 10. Let x be s(-1). Let w = -65 - x. Solve -f - 2*f - w = 0 for f.
-5
Suppose 13*t + 17 = 18*t - 3*z, -4*t + 5*z + 24 = 0. Suppose -f = -0*f - 11. Let u = f + -7. Solve 5*x - u = t for x.
1
Suppose 0 = -3*d + 5*l - 152, -d = -0*l - 3*l + 48. Let r = d - -58. Solve i = -r*i for i.
0
Let h(s) = -26*s + 13*s - 7 + 9*s. Let o be h(-8). Suppose 6*u - o = u. Solve -1 + u = 4*n for n.
1
Let z be (-7)/28 - (-119)/28. Solve -x + z*x + 0*x = 0 for x.
0
Let d = 16 - 14. Let i = -2 + d. Suppose 3*k + k - 16 = i. Solve k = -2*w + w for w.
-4
Let y(v) = -v**2 - 7*v. Let i be y(-6). Let a = -4355 - -4364. Solve a*f = 11*f - i for f.
3
Let t(z) = 3*z - 1. Suppose 9*x - 2 = 7*x. Let o be t(x). Solve -o*b + 2 = -3*b for b.
-2
Let l(u) = 12*u - 345. Let k be l(31). Solve 1 = -13*v + k for v.
2
Suppose 4*a - 5*b - 32 = 0, 0*a + 11 = 5*a + b. Suppose -6*f - 5*l + 27 = -a*f, 15 = 5*l. Solve -f*p = p for p.
0
Suppose -8*t + 6*t + 72 = 0. Let y = t + -31. Solve -y*w + w = 16 for w.
-4
Let g = 153 + -134. Solve -3*t - g + 10 = 0 for t.
-3
Suppose 4*v - 273 = -213. Solve -2*q = -5*q + v for q.
5
Suppose 3*j = 0, -4*c + 2*j + 21 = 9. Suppose d - 2*u = 0, 0 = -2*d - 3*d + c*u. Solve 5*x + 5 + d = 0 for x.
-1
Let k(h) = -8*h**2 + h - 2. Let o be k(1). Let z be 3/(o/(-12)) + (-4 - -2). Solve 20 = 2*s + z*s for s.
5
Suppose 16 + 7 = -u + 4*f, 5*u - f + 20 = 0. Let o = 0 + 4. Let m = u + o. Solve 0 = 3*a + 10 - m for a.
-3
Let c = 42 - 42. Let o be (2 + c)/((-2)/(-3)). Solve -2*n - 5 = o*n for n.
-1
Let v be 60/(-14) + 6/21. Let w(t) = 1 + 0 - 13*t - 5 + 8*t - t**2. Let o be w(v). Solve -x + 1 = -o*x for x.
1
Let t be (-3)/(-4)*40/10. Solve -t*m + 12 = m for m.
3
Let v = -163 - -165. Suppose 2*f + 8 - 2 = -2*r, -6 = 2*r. Solve f*q - v = -q for q.
2
Let y(o) = -22 + 5 + o + 2*o. Suppose -6*v + 12 = -30. Let f be y(v). Solve -1 = -3*i - f for i.
-1
Suppose 4*s = 3*a + 26, 0*s - 22 = -2*s + 6*a. Solve -6*p = s + 7 for p.
-2
Suppose -4*o = d + 3 - 15, 5*d = 4*o - 12. Suppose 3*z - 21 = -o*x, 7*z - 4*z - 18 = -2*x. Solve 4*f - x = 1 for f.
1
Suppose 48 = 68*u - 60*u. Solve u*y = -2*y + 24 for y.
3
Suppose -5*o = 25, -2*a + 51*o - 52*o = -23. Solve a - 17 = -l for l.
3
Suppose 2*z - 3*z - 24 = -3*g, 3*z - 8 = -g. Solve -g*l = 24 - 8 for l.
-2
Let q(x) = -10*x - 4. Let l be q(-1). Solve 4*a - l = 2*a for a.
3
Let s = 48 - 47. Let t be s*(0 + 1) + -37 + 39. Solve -t*g + 2 = -7 for g.
3
Let t(d) = -d**3 - 9*d**2 + 8*d - 20. Let o be t(-10). Let s = 16 - 8. Solve o = 2*b - s - 2 for b.
5
Let c be (-2)/((-3)/(-9) + -1). Suppose -2*s = -15*i + 10*i + 5, 0 = 3*s - 4*i - 3. Let n be -1*(1 - 2) - -1. Solve -n*p + c = -s for p.
4
Let d(v) be the second derivative of -v**4/12 + v**3/6 + 3*v**2 - 19*v. Let p be d(3). Solve p*u - 9 = -3*u for u.
3
Suppose o = -3*c + 6, o - 4 = -c - 0*c. Suppose -5*f - 35 = 10*w - 5*w, -4*f + 2 = -2*w. Let g be (-3)/4*f*12/9. Solve -g = -y - c for y.
1
Let a(n) = -n**2 + 2. Let p be a(0). Let k(m) = -3*m + 8. Let y be k(p). Solve 3*w - y = 5*w for w.
-1
Let b = -13 - -15. Let v be b*15/(-6)*1. Let f = -5 - v. Solve 0 = -f*h - 2*h - 6 for h.
-3
Suppose -32*t + 44 - 12 = 0. Solve -11*p + t = -12*p for p.
-1
Let s(x) = 3*x**3 + 2*x**2 - 4*x + 3. Let h be s(1). Suppose -4*m + 2*u = 21 - 79, -h*u = 2*m - 44. Solve 4*t + m = -0 for t.
-4
Let o = 24 - 24. Suppose o*k = 5*k. Suppose i - 3 = -k. Solve i*h = h for h.
0
Let q be -3 - (2/(-8) - 11/4). Let f be (6 + 2 - q) + -4. Solve 2*u + f = 14 for u.
5
Let z be 11/(-88)*-12 + 1/(-2). Solve z = 2*v - 7 for v.
4
Suppose 5*g - 16 = -l, -5*l + 2*g - 4 = -g. Solve -l = -2*j + 5 for j.
3
Let w = 0 + 0. Suppose w*b = 4*b - 16. Let x be 22/3 - ((-12)/(-9) - 2). Solve b = 4*y - x for y.
3
Let a(r) = -r**2 - 14*r - 21. Let k be a(-12). Suppose 5 = 3*j - 4. Suppose 4*o - 15 = j*o. Solve -k*h - o = -0 for h.
-5
Let r(o) = o**3 + 13*o**2 + 18*o - 38. Let y be r(-11). Solve 3*p + 6 = -y for p.
-4
Let d = -84 + 60. Let o be (-1)/(-3) - d/9. Suppose -r - 40 = -o*r. Solve -2*p - 2*p + r = 0 for p.
5
Let q(o) = -2*o + 3*o**2 - 656*o**3 + 7 + o + 657*o**3. Let w be q(0). Solve -w = 2*s + 1 for s.
-4
Let n(d) be the third derivative of d**5/60 + 5*d**4/24 + d**3 - 5*d**2. Let x be n(-3). Solve -5 = m - x*m for m.
-5
Let c(l) = -l + 61. Let n be c(36). Solve 0 = n*v - 29*v + 8 for v.
2
Let o be (-154)/(-55) + (1 - (-18)/(-10)). Solve -4 + 2 = -o*u for u.
1
Let g = -6 + -7. Let f = 13 + g. Suppose 4*y + 3*a - 22 = 0, -a - 3 = -5*y + 15. Solve k + y - 3 = f for k.
-1
Suppose a - 4 = 3*a, 5*a = -5*t - 20. Let o = -2 - t. Solve 3*d + 4 + 5 = o for d.
-3
Suppose 8*t = -3*o + 3*t + 34, 4*o + 3*t = 38. Solve -2*f + o + 0 = 0 for f.
4
Let u = 15 - 12. Let l be (-12)/8*(-4)/u. Solve 0 = l*x - 5*x for x.
0
Suppose 0 = 3*d + 2*d - 3*s + 7, 3*d + 5*s = 23. Let p = 8 - 2. Let h be (2 + d)/6*p. Solve -w = -1 - h for w.
4
Let i = -1160 - -1167. Solve -l + 24 = i*l for l.
3
Let u be (3 - -1) + -1 - 1. Suppose 0*y = u*y + 10. Let n = y - -5. Solve 0 = 4*z - n*z + 4 for z.
-1
Suppose -778*c + 783*c - 25 = 0. Solve -10 = -3*k + c*k for k.
-5
Let c = -887 + 894. S