= k for v.
-4
Let s be 5/2*(-36)/(-45). Suppose -2*u - 4*b = -22, -s*u - 10 + 0 = -4*b. Suppose 0 = -5*j + 3*j + 32. Solve u*n = j - 4 for n.
4
Suppose 20 = -n + 6*n - 2*l, 16 = 4*n - l. Solve n*y + y = 0 for y.
0
Suppose -15*k + 258 = -87. Solve 6*s + k = -1 for s.
-4
Let m(t) = t - 1. Let x be m(4). Suppose f - 44 = -3*q, 3*q - x*f - 44 = q. Suppose 0 = 5*i + 14 - 44. Solve -2*j + q = -i*j for j.
-4
Let g(w) = -8*w + 22. Let j be g(-11). Let u = j + -94. Solve -u*a + 3 = -15*a for a.
3
Suppose -56*j = -59*j + 21. Solve -j*s + 24 = -s for s.
4
Let b(o) = -o**2 + 10*o + 5. Let x be b(10). Let p be x*((-5)/25 - (0 + -1)). Solve -p = -3*h + 2*h for h.
4
Let l(t) be the second derivative of t**4/12 - t**3/6 + t**2 + 2*t. Let b be l(2). Solve b*p - 1 = 3 for p.
1
Suppose -4*o - 12 = 5*a - 2, 0 = 5*a + 2*o + 10. Let v be ((-6)/3 - -2)/a. Suppose 0 = -v*w + 5*w - 25. Solve -f + w*f = -8 for f.
-2
Let j = -114 - -118. Solve -5*u = -j*u + 4 for u.
-4
Let b be (5/2)/((-6)/(-60)). Suppose 4*w + w = b. Suppose 0 = -3*n - m + 10, 5*m - 22 = -w*n + 4*n. Solve -2 + 6 = n*l for l.
2
Let j(n) = -n**2 + 5*n - 2. Suppose 5*z = -z + 42. Let d be j(z). Let l be (-2)/8 + (-84)/d. Solve m = -4*m - l for m.
-1
Let v(w) = -w**2 + w + 108. Let l be v(0). Suppose -104*u = -l*u + 24. Solve 0 = u*x - 3*x - 3 for x.
1
Let p be (12/10)/(12/200*5). Solve p = 3*r - 2 for r.
2
Let k(d) = -3*d - 5. Let b(p) = p + 1. Let i(x) = -4*b(x) - k(x). Let t be i(-1). Solve -6 = f + t*f for f.
-2
Suppose 11 = -k + 3*v, 2*k - 25 = -3*v - 2. Let m be (-60)/(-18) - k/(-6). Solve m*i = -i for i.
0
Let o = -3 - -3. Suppose -x = -o*x. Let b(s) = -7*s + 217. Let h be b(31). Solve -2*r + h*r = x for r.
0
Suppose 2*w + 4 = -w - 5*k, 0 = -2*w - 5*k - 6. Suppose 0 = 6*r - 8*r + w. Solve -3*n - r = -16 for n.
5
Suppose -4 = -54*m - 4. Solve -13*i - 21 - 5 = m for i.
-2
Let a be (6/(-36)*-1)/((-3)/(-18)). Solve 4*q + a + 15 = 0 for q.
-4
Suppose -364 = -13*i - 13*i. Solve 4*l = -2 + i for l.
3
Let r = 182 + -179. Solve p + 20 = -r*p for p.
-5
Suppose -4*z + 15 = -3*z. Suppose -z = -11*o + 29. Solve -6 = -o*n + n for n.
2
Suppose -b + 73 = b - 3*w, -5*w - 175 = -5*b. Let l = b + -28. Solve l*i - 9 = i for i.
3
Let d = 5 - 1. Let r = d - 7. Let u = r - -9. Solve -u*w + 20 = -w for w.
4
Suppose -4*h - 55 = -2*b - h, 3*b + 5*h = 35. Suppose 31*c + 352 = -c. Let a = b + c. Solve -2*o = o - a for o.
3
Let a be (-185)/(-7) + 3/(-7). Suppose -a = -c - 5*i, -3*i = -2*c - 2*i + 8. Suppose -1 = z - c. Solve 0*v = v - z for v.
5
Let v = 5 - 3. Suppose 8 = 6*g - 10. Suppose g*a + v*a = 5. Solve -i = -2 - a for i.
3
Let y be (85/(-34))/(1/(-6)). Solve -y + 4 = -11*g for g.
1
Suppose -2*j = -5*b - 108, -60 = -2*j - 3*b + 16. Let c = j + -18. Let n = 136 - 132. Solve -n*f + c = 6 for f.
5
Let a be 2/4 - (-42)/12. Suppose a*c - 6 = -3*w - 3, 0 = w - 1. Suppose 4*v - 11 = -5*b, c = -5*b - 0 - 5. Solve v = -3*g + 1 for g.
-1
Let i be ((64/28)/(-4))/((-4)/14). Solve -i*l - 2*l - 4 = 0 for l.
-1
Let n = 1 + -3. Let y be (3 - 3 - 1)*n. Solve 3*h + 5 = y for h.
-1
Suppose 7*z + 3 = 38. Solve -3*a + z*a = 2 for a.
1
Suppose 2*b + 22 = 4*v - v, -v - 6 = 2*b. Suppose -7 + 7 = -v*u. Suppose 5*t - t = 8. Solve -t*f + 0*f = u for f.
0
Suppose u - 2 = 1. Suppose q + u = 4*q. Solve 3*h + 4 = q for h.
-1
Let i be 1*7*(8 - 14)/(-3). Solve 0 = -i*n + 18*n for n.
0
Let f = -21 + 41. Suppose 0 - f = -2*c. Solve s = -s - c for s.
-5
Let r = 548 + -538. Solve r*p - 30 = 4*p for p.
5
Suppose -3*j + 4 = -5*j - 3*v, 3*j + 2*v = -1. Solve r + 2 = -j for r.
-3
Let l = 0 + 46. Let i = l + -44. Solve -i*r = -r for r.
0
Suppose -5*b = -4*p, 5*p + 23*b - 20*b = 0. Solve p = 2*t + 631 - 635 for t.
2
Suppose 8 = -3*l + 5*k, -2*l + 4 = -0*l - k. Let m = -309 + 345. Suppose 4*h + 8*h = m. Solve l*p = 3*p + h for p.
3
Suppose 109 = 3*w + 46. Suppose -b + 2*y = -6*b + 105, 4*y = 0. Let j = b - w. Solve j*h = 5*h - 15 for h.
3
Let w(m) = m**3 - 4*m**2 - 4*m + 10. Suppose -i = -4*i + 15. Let l be w(i). Suppose 12*y - 17*y + l = 0. Solve 6 = f - y*f for f.
-3
Suppose -4*p + 4*b = -24, 3*p - 3*b + 8*b = 50. Solve -p*j + 6*j + 8 = 0 for j.
2
Suppose 0 = o - k - 7, 5*o + 3*k - 1 + 6 = 0. Let g(c) = -5*c + 3*c - o*c - 1 - 5*c. Let m be g(-1). Solve 0*a = -4*a - m for a.
-2
Suppose -2*s = s. Suppose -11 - 13 = -4*t. Suppose 3*f - l - 25 = -2*f, 4*f - 20 = -4*l. Solve f*b - 3*b - t = s for b.
3
Let d = 43 - 30. Suppose 5*w = k - d - 12, 2*k = 2*w + 10. Let c be (-18)/18 - (-1 - k). Solve 0 = -c*i - i - 2 for i.
-2
Suppose -5*z = w - 74, z = -3*w + 6*w + 18. Solve -13 = -7*x + z for x.
4
Let a = -26 - -89. Let t = a + -43. Let k = -18 + t. Solve -2 - 2 = k*f for f.
-2
Suppose 107 = 4*t - 161. Solve 7*s - 95 + t = 0 for s.
4
Let j(w) = -13*w + 3. Let u(b) = -38*b + 8. Let y(z) = -z**2 + 7*z + 5. Let i be y(6). Let h(g) = i*j(g) - 4*u(g). Let v be h(1). Solve v = 3*k + 2*k for k.
2
Let q = 30 - 34. Let m be 688/240 - q/30. Solve m + 1 = h for h.
4
Let r(f) = f**2 - 8*f - 10. Let x be r(7). Let i = -2 + x. Let b = i + 19. Solve -2*o + 14 - 4 = b for o.
5
Let t = 263 + -226. Solve -35 = -18*s + t for s.
4
Suppose -7*a + 2*a = -105. Let b be ((-2)/6 + 1)*a. Suppose 3*q + 4*w = 24, b + 9 = 5*q + w. Solve q - 29 = 5*n for n.
-5
Let f be (-6 - 76/(-12))/(2/18). Solve -f*d - 122 = -116 for d.
-2
Let v = -1110 - -1112. Solve 0 = v*d + d - 12 for d.
4
Let b = 481 - 476. Solve 0 = b*d - d - 12 for d.
3
Suppose 0 = -9*m + 4*m + 30. Suppose 0 = 2*n + 4 - m. Let k be n - (-2 - 0 - 0). Solve k*v + 4 = v for v.
-2
Let q(h) = -h**3 - 3*h**2 - 2*h + 1. Let s be q(-3). Suppose -15 = 2*y - s*y. Suppose 0 = 3*p + 4*k - 62, -4*p - k + 76 = y*k. Solve -5*i = 1 + p for i.
-3
Suppose 7*q - f = 6*q, -3*q + 5*f - 10 = 0. Solve q*y = -0 - 5 for y.
-1
Let m(z) = 7*z - 102. Let g be m(15). Solve 0 = g*q + 4 + 11 for q.
-5
Let l(x) = x**3 - 9*x**2 + 9*x - 5. Let f be l(8). Let a = -1 + f. Let q(b) = -b**3 - 5*b**2 - 5*b + 2. Let s be q(-4). Solve s = a*k + 2 for k.
2
Let o(r) = -3*r**3 + 3*r**2 + 7*r + 4. Let j be o(-2). Let d be (-20)/(-130) - (-1)/(j/100). Suppose 36 = 3*u - 12. Solve -3*w + u = d for w.
4
Let z = 70 - 54. Suppose 6 = -2*u + z. Solve -u*f = -4*f for f.
0
Let u = -81 - -85. Suppose -p + u*x = -6, 10*p - 13 = 5*p + 3*x. Solve p*r - 4*r + 10 = 0 for r.
5
Suppose -i + 0*i = -2. Suppose 0*r = -4*r - 2*j - 34, 46 = -5*r + j. Let s be (-165)/99*r/5. Solve s - i = -n for n.
-1
Suppose -b = 3*t - 9 + 3, 0 = 3*b + 5*t - 22. Solve -4*g - 7 = b for g.
-4
Let a be 2/(-9) + (-60)/(-27). Let w be 3/(21/6 - a). Suppose w*q = 10 - 2. Solve 5*o = q + 6 for o.
2
Let a(f) be the first derivative of f**3/3 - f**2/2 - 3*f - 24. Let g = 7 + -4. Let r be a(g). Solve r*t - 10 + 1 = 0 for t.
3
Suppose 3 = 9*k - 8*k. Suppose k*z + 20 = 5*z + 4*c, 5*c = -2*z + 25. Solve n = -z*n for n.
0
Suppose 2*p + 2*b - 50 = 0, p - 5*b + 17 = 12. Solve 10 = -6*k - p for k.
-5
Let a = 26 - 24. Let p be 3*(a + 0 - (-2)/(-3)). Solve -k + 3*k + p = 0 for k.
-2
Suppose k + 16 = 7*x - 3*x, x = 3*k + 4. Solve -3*f + f - 8 = k for f.
-4
Let c be -12*1/((-6)/(-8)). Let w = -33 - c. Let r = w + 18. Solve 0 = -m - 1 - r for m.
-2
Let k be (-3)/10*-356 + (-42)/(-210). Let c = k + -107. Solve c = -0*z + 3*z - 12 for z.
4
Suppose -8*o + 2*o = 8*o. Solve o = -5*r + 30 - 5 for r.
5
Let l(m) be the second derivative of -m**5/20 + 5*m**4/4 + 5*m**3/2 + 9*m**2 + 16*m. Let g be l(16). Solve -2*k + g = -k for k.
2
Let v = -65 + 117. Let h = -51 + v. Solve 5*c - h - 19 = 0 for c.
4
Let h(s) = 2*s + 35 - 74 + s + 32. Let k be h(5). Solve i + k = -i for i.
-4
Let f(i) = 46*i - 510. Let n be f(12). Solve 38 - n = 2*p for p.
-2
Let a(f) = f**2 + 8*f + 1. Let v be a(-7). Let l(i) = -i**3 - i**2 + i - 3. Let t be l(-2). Let d be (v/(-21))/(t/(-14)). Solve d*s = 3*s - 3 for s.
-3
Let c be 0 - -1*3/3. Let z be (-1)/c*(15 + -4). Let w(q) = -q**2 - 10*q + 13. Let g be w(z). Solve g*r - 3 = 5*r for r.
-1
Let n(r) = -r**3 - r**2 - 2*r - 2. Let g be n(-2). Let f(z) = 9*z - 139. Let m be f(16). Solve -v + m = -g*v for v.
-1
Let a(i) = -i**2 + 4*i + 2. Let o be a(4). Let z be (0 + 0)/((90/(-5))/6). Suppose 4*l + h - 22 = 0, z*l + 28 = 5*l + h. Solve -o = -c - l for c.
-4
Let h(n) be the second derivative of -n**3/6 + 5*n**2/2 - 8*n. Let g be h(2