k(t) = -t**2 + 9*t - 5. Let l be k(7). Suppose -2*z + l = -9. Solve 3*u = -i + z for u.
2
Let x = 4 + 0. Suppose x*k = k + 45. Let w = 17 - k. Solve w*c = -c for c.
0
Let u = -56 - -61. Solve -u*n = -4*n + 3 for n.
-3
Let r be (-25)/(-7) - (-5)/(-35)*-3. Solve 4*i - 6*i = r for i.
-2
Suppose -39*p - 38 = -38. Solve p*r = r - 3*r for r.
0
Suppose 4*g = 3*k + 14, g + 0*g - 4 = k. Let z be (5 + 0 - g) + 0. Solve 1 = -4*p + z*p for p.
-1
Let o(r) = -7*r**3 + 3*r**2 + r + 9. Let t(g) = 6*g**3 - 3*g**2 - 8. Let d(b) = -5*o(b) - 6*t(b). Let w be d(1). Solve w*n = n + 4 for n.
-4
Let k = 170 - 168. Solve -2*n - k*n = 0 for n.
0
Let o(b) = 6*b**2 + b + 1. Let d be o(-1). Let q = -5 - -3. Let w be (6 + -3)/(q/(-6)). Solve -5*r + w = -d for r.
3
Let y(o) = o**3 + 9*o**2 - 9*o + 14. Let i = -23 - -13. Let b be y(i). Solve b*a - 12 = a for a.
4
Let t(o) = -14*o**2 + 7*o + 7. Let r be t(-1). Suppose 3*i = 2*i - 9. Let k = i - r. Solve k + 0 = -5*a for a.
-1
Let t be 14/1 + 9/(-3). Suppose u - t = 5*i, 3*u - 2 = -u - i. Solve -5*b - 11 = -u for b.
-2
Suppose 2*l = -2*l. Let d = 10 + l. Let z = 14 - d. Solve -j = -z*j + 3 for j.
1
Suppose -2 = 4*i - 14. Suppose -2*d + i*d = 2. Solve 0 = -d*h - 4 - 0 for h.
-2
Suppose j = -4*w + 3, -9 = j - 2*w - 12. Solve -17 = j*i - 5 for i.
-4
Let g(o) = -3*o + 17. Let b be g(5). Suppose 2 = -c + b*c. Solve 5 = c*d + 3 for d.
1
Let x(n) = -n**3 - 4*n**2 - 3*n - 9. Suppose -5*g + 37 = -3*m, -2*m + 5 = 3*g - 2. Let i be x(m). Solve -i*b = 2 - 8 for b.
2
Let a(m) = 2*m**2 - 2*m - 16. Let t be a(5). Let g be 45/t + (-1)/(-8). Solve -g - 1 = -y for y.
3
Let r(l) = -l**3 - 7*l**2 - 4*l + 3. Let h be r(-6). Let q = 3 + h. Let u(g) = -g**3 - 6*g**2 - g - 4. Let s be u(q). Solve 0 = a + s - 0 for a.
-2
Suppose -180 = -h + 4*h. Let v = -28 - h. Suppose -2*d + 4*d - v = 0. Solve k - 5*k = d for k.
-4
Let m = 115 - 98. Suppose 0 = m*o - 5*o - 36. Solve -o = -a + 2 for a.
5
Let f = -19 - -18. Let w be (1/(-4) + f)*-12. Suppose -i + w = 3*x + 2*i, 3*i - 15 = 4*x. Solve -t + x*t = 0 for t.
0
Let m be ((-15)/(-3) + 16)*7/21. Solve 0 = -m*l + l - 6 for l.
-1
Let v be (6/(-10))/(5/25) - -9. Suppose -v*t - 2*i + 8 = -t, -5*t - 4*i + 16 = 0. Solve t = f + 2*f for f.
0
Let a(v) = 5*v**2 - 2 + 2 + 1. Let w be a(1). Suppose 2*i + w = 4*i. Solve i*r = 2*r - 5 for r.
-5
Let b(i) = -i - 11. Let r(d) = 3*d + 33. Let m(g) = 8*b(g) + 3*r(g). Let h be m(-7). Solve -7*c + 6 = -h*c for c.
2
Let t(g) = -3*g + 186. Let j be t(-7). Solve -3*u + 198 - j = 0 for u.
-3
Let h be (-2)/(-15) + (-26)/195. Solve 3*q - 10 + 1 = h for q.
3
Suppose -s = -5*s + 8. Let j be 0/(s + 0) - -2. Suppose -4*x - 38 = -3*z, -5*z - 2*x + 30 = 10. Solve j*k = 2 - z for k.
-2
Let q = -452 - -458. Solve v = -q + 1 for v.
-5
Suppose -115*w + 2363 = -972. Solve 13*d + 23 = -w for d.
-4
Let x = 434 + -431. Solve x*q - 1 = -13 for q.
-4
Suppose -3*v + 8*v - 15 = 0, -i = -4*v + 9. Let j be (-5)/2*(-12)/15. Solve -j*g - i*g = 10 for g.
-2
Suppose 7*t = 4*t - 3. Suppose 0 = -2*m + 3*n + 3, 0*n = 2*m - 2*n - 4. Let w be t/m - 154/(-21). Solve q - w = -2 for q.
5
Let f be (19/((-38)/(-12)) - 14)/(-1). Solve f*v + 4*v = 48 for v.
4
Suppose -4*r + 3*k - 24 = -38, r + 2*k = 9. Solve r*m - 10 = 10*m for m.
-2
Let r = -34 + 36. Let b be (0 - (1 + -7))/r. Solve u + b*u = -8 for u.
-2
Suppose 2*z = -4*i - 56, z - i + 33 = -4*i. Suppose -y + 120 = 3*y + 5*m, -5*y + 133 = 2*m. Let r = y + z. Solve -r = -4*q + 13 for q.
5
Suppose 0 = 237*c - 233*c - 16. Solve c + 8 = 3*b for b.
4
Suppose -n - 2*o + 4 = 0, 4*o + 2 = 4*n - 2. Suppose 4*k + b - 12 = n*k, -5*b = -5*k. Solve -c - k = -0 for c.
-4
Let f be 6/(-27) - 119/(-9). Suppose 67 + f = 5*r. Solve 4*u = -0*u + r for u.
4
Let z(y) = -5*y + 7. Let d be z(1). Suppose k - 3*k - 3*i - 3 = 0, 2*i = 3*k - d. Solve -p - p = k for p.
0
Suppose 6*q - 4 = 8. Let k be q/(-11) - 114/(-22). Let c(f) = 3*f + 3. Let o be c(4). Solve -o = k*b + 10 for b.
-5
Let w be (135/12)/3 - (-2)/8. Suppose -4*f = -2*f + 2*k - 16, 8 = -w*f + 4*k. Solve -u = -f*u for u.
0
Suppose -11 = -h + 2*c, 5*h + 10 = -4*c + 23. Let z = -2 + 2. Solve -h*t + z = -20 for t.
4
Let y be (-2)/(-2) + -1 + 5. Suppose -143 = -44*w - 11. Solve w*b = y*b for b.
0
Let l(g) = -2*g - 2. Let d be ((-1)/3)/((-10)/(-60)). Let k be l(d). Solve 0 = -q + k*q + 2 for q.
-2
Suppose a + 8 - 2 = 0. Let t = a - -11. Suppose 71*m = 76*m - 20. Solve 6 = -t*x - m for x.
-2
Suppose 28*g = 26*g + 8. Suppose -8 = -8*h + g*h. Solve -6*r = -4*r - h for r.
1
Let p be ((-66)/(-5))/((-20)/(-50)). Suppose -24*u + p = -21*u. Solve -u - 9 = -5*a for a.
4
Let u be 3 + -5*9/(-15) + -2. Solve u*d - 29 = -21 for d.
2
Suppose 0*d = d - 10. Let a be (-2)/d - 22/(-10). Solve n = a*n for n.
0
Let d be ((-2)/3)/(1 - 42/45). Let k be (d/15)/((-4)/30). Solve -k*o - 4 = 1 for o.
-1
Let o(l) = -l**2 + 7*l. Suppose -2*w + 8 = -6. Let m be o(w). Solve m = -6*t + 8*t for t.
0
Let k be (19 + -5 + -2)*(-2)/6. Let v be 9/4 - (5 + 19/k). Solve 5 = -j + v for j.
-3
Suppose -r - 2*r = -9. Suppose 12*k = 13*k. Let j = k + 7. Solve j*f = r*f - 8 for f.
-2
Let b(y) = 2*y**3 + 61*y**2 - 33*y - 58. Let q be b(-31). Solve q*p = -27 + 43 for p.
4
Suppose 0 = -4*m + 3*k + 59 - 8, m - 19 = 2*k. Solve -63 = 18*y + m for y.
-4
Suppose -2*p - 7 = -33. Suppose -2*n = 7 - p. Let l = 3 + n. Solve 0*j - l = 3*j for j.
-2
Suppose 0 = 5*d - 17*d + 48. Solve 1 = d*g - 15 for g.
4
Let o = 283 + -279. Solve -7*x = -11*x - o for x.
-1
Suppose -4*k = -4*z + z - 3, 4*k - 6 = 2*z. Let f(a) be the second derivative of a**3/3 - a**2/2 + a. Let r be f(z). Solve -x + r = 4 for x.
1
Suppose 2*n - 5*n - 63 = 0. Let r be (-4)/(-14) - (-48)/n. Let y be (-4)/(-16)*0/r. Solve 0 = -y*m - m + 5 for m.
5
Let f be (0*2/4)/(-18 + 21). Solve f = -26*m + 31*m - 25 for m.
5
Suppose o = -5*y + 22, -2*o - 4*y = -2*y - 20. Solve 2*b - o*b - 15 = 0 for b.
-3
Let d be ((-2)/2)/((-2)/6). Suppose 38*m - 37*m = 2. Suppose -5*r + m*p = -6, 3*r = p + 3 + 1. Solve -5 = d*h - r for h.
-1
Suppose 0 = 15*s - 19*s + 16. Let x be 4 - s - (-16 + 4). Solve -5*p - x - 13 = 0 for p.
-5
Let j = 501 + -342. Solve -3*a - j + 153 = 0 for a.
-2
Let f = 163 + -151. Solve 0 = -d + 5*d - f for d.
3
Let s be (-2 + -3)/5 + 191. Let b be s/35 - 4/(-7). Solve 0 = 2*o - 4*o + b for o.
3
Let h = 1738 - 1717. Solve 0 = a + h - 20 for a.
-1
Let w(o) = -o**3 + 6*o**2 - 5*o + 1. Let k be w(5). Let p(l) = -2*l**3 + 2*l**2 - 4*l + 3. Let q be p(1). Let a be 6 + (q/k - 2). Solve a*b - 6*b = -3 for b.
1
Let m(h) = -2*h**3 + 4*h - 7 + h**3 - 5*h - 12*h**2. Let k be m(-12). Solve -i = -k*i for i.
0
Suppose 4*c - 21 = y, 9*c = 4*c + 4*y + 18. Suppose -2*n = -5*f + 6, n - 4*f + 18 = c*n. Let h be (n + 0 + -3)*0. Solve -d - 3 = -h*d for d.
-3
Suppose 0 = -5*u - 3*h + 31, 3*u + 0*u - 11 = 2*h. Suppose 3*i = 10 - 1. Suppose 5*d + 3*a - 138 = 0, -d + 4 + 14 = i*a. Solve u*v + 10 = d for v.
4
Let z(w) = -w + 6. Let b be z(6). Suppose b = 4*j + 27 + 1. Let c(h) = h**2 + 8*h + 7. Let y be c(j). Solve t - 3 = -y*t for t.
3
Let t be (-92)/(-28) - (-4)/(-14). Suppose 43*r - 48*r + 5 = 0. Solve l - r = -t for l.
-2
Suppose 0 = 19*g - 21 - 93. Solve -g = -w + 3*w for w.
-3
Suppose -2*v = -215*o + 212*o - 50, -4*o - 8 = 0. Solve 8*k - 14 = v*k for k.
-1
Let w(t) = -20*t - 18. Let z be w(-5). Let o = z + -60. Solve -3*g = -o + 10 for g.
4
Suppose -2*w - 3*k - 76 + 10 = 0, -w = 4*k + 38. Let s = 30 + w. Solve -3*i - i - 12 = s for i.
-3
Suppose 2*q = o - 22, -82 = -4*o + 6*q - q. Let n = o - 18. Solve 0*i + 2*i + 6 = n for i.
-3
Let d = -711 + 719. Solve -8*u = -6*u - d for u.
4
Suppose -4*w + 5*i + 170 = 0, -5*i - 130 = -3*w - 0*w. Suppose -5 = 5*v - w. Let y be (-22)/77 - (-37)/v. Solve 5*g = y + 10 for g.
3
Suppose 2*v = 0, v + 44 = 4*l + 2*v. Solve l = -3*w + 2 for w.
-3
Let j(v) = -v - 10. Suppose -4*s = 5*x + 71, 0 = -5*x - s - 19 - 55. Let g = x - -3. Let z be j(g). Solve -1 = z*f + 1 for f.
-1
Let t = 95 + -210. Let c = t + 124. Solve -10 = c*u - 4*u for u.
-2
Let o be ((-5)/(-10))/(2/(-8)). Let v be 34 + (o - 1 - 1). Let x = v + -30. Solve -3*z - z + 16 = x for z.
4
Let v(o) = o**2 + 5*o + 12. Let b be v(-8). Solve -b*w = -31*w - 15 for w.
3
Let x be (-4)/(-22) + (-20)/(-11). Suppose 5*j = 5 + 230. Let p = -43 + j. Solve -x*u = -p*u for u.
0