= 5 - o for k.
4
Let o(y) = y + 9. Let z be o(0). Let c = -34 + 48. Suppose c*i = z*i. Solve b = 3 - i for b.
3
Suppose 0 = -2*a + 4*g + 8, -2*g + 36 = -2*a + 5*a. Suppose -a*h + 80 = -0*h. Solve -4 = -4*j + h for j.
3
Suppose r + 5*t = 23, -11*t + 14*t - 12 = 0. Solve j - 8 = -r for j.
5
Let a be (-18)/(-10) - (-21)/105. Suppose 3*v = 5*v - 96. Suppose -4*l + v = 5*y, -5*y + 0 + 20 = 0. Solve l = a*t - 1 for t.
4
Suppose 3*f = -0*f + 2*o + 72, 0 = -4*f - 2*o + 96. Let l = 27 - f. Let q be l + 3 + 20/(-5). Solve -q*i - i - 3 = 0 for i.
-1
Let h(u) be the third derivative of u**4/12 - 7*u**3 + 7*u**2. Let y be h(22). Solve -y*t + 5*t + 3 = 0 for t.
-1
Suppose -9*o = -53 + 8. Solve -21 = -o*s + 12*s for s.
-3
Let y = 2 - -1. Suppose y*p + 12 = 5*b, -3*p - 8 = b + 4. Let m be p/16 + 1/4. Solve -u - u + 4 = m for u.
2
Let f(d) = -51*d + 60. Let g be f(4). Let m be -4 - ((-8)/(-28) + g/14). Solve -s = -m*s for s.
0
Let s = -128 - -142. Solve -5*i + 1 + s = 0 for i.
3
Let x(r) be the second derivative of -r**5/20 + r**4/4 - r**2 + 13*r. Let w be 7/3 + 2/(-6). Let h be x(w). Solve -7*o - 20 = -h*o for o.
-4
Suppose -2*k - w = -10, 0 = -3*w - 3 - 9. Solve 0 = 3*r - k*r for r.
0
Let m(t) be the first derivative of t**6/120 - t**5/60 + t**4/24 - 2*t**2 - 5. Let x(d) be the second derivative of m(d). Let u be x(0). Solve u*j = -j for j.
0
Let z = -143 - -143. Let q be (-33)/(-6) - (-1)/2. Suppose 2*r - q = -0*r. Solve -y + z = r for y.
-3
Suppose w + 15 = -3*x, -8*x - 25 = -3*x. Solve -21*p - 21 = -w*p for p.
-1
Suppose -3*q + 3 = 0, -2*k = k - 2*q - 13. Suppose -5*j - 12 = n - 3, k*n + 22 = -2*j. Let b be 0/(n/(3 + -5)). Solve 3 = -l - b*l for l.
-3
Let o(a) = -a**2 + 5*a + 378. Let r be o(-16). Solve 19*b - r = 5*b for b.
3
Let t be (-2)/(-6)*(1 + 5). Solve 0 = t*j - 9*j + 28 for j.
4
Let b(f) = -f**2 - 20*f - 34. Let v be b(-18). Solve -5 = -v*k + 1 for k.
3
Let h(c) = 34*c - 124. Let l be h(4). Solve -3*a = -6*a + l for a.
4
Let n = -477 + 498. Solve 4*l = 1 - n for l.
-5
Suppose -5*t = -4*v + 4, 2*v = -0*v - 5*t + 2. Let f be (-16)/(v - -3)*-1. Solve -f*j = -0*j - 4 for j.
1
Let j(k) = -3*k - 3 - k**2 - 4*k + 12*k. Let s be j(4). Let p be (-2 + s)*(-7 + 4). Solve -5*l - p = -4*l for l.
-3
Suppose 0*d - 2*t + 14 = 3*d, 0 = 2*d + 2*t - 12. Let y be (12/(-10))/(7/((-35)/(-1))). Let u be 2 + -1 - y/(2 - -1). Solve u = -d*p - p for p.
-1
Let b(n) = -n**3 + 13*n**2 - 11*n - 12. Let j be b(12). Suppose 0 = -4*q + 5*v + 18, j*q - 4*v - 18 = -5*q. Solve q*a + a = -15 for a.
-5
Suppose 0 = -4*a + 19 + 73. Suppose 3*n - 8 = -a. Let y = -3 - n. Solve -3*v - 8 = -y for v.
-2
Suppose 4*o - 2*c = 0, 2*o = o + 5*c. Let s(x) = x + 2. Let b be s(1). Solve o = -b*y + 7*y + 16 for y.
-4
Suppose 0 = -52*r + 45*r + 49. Solve -4*k = r - 27 for k.
5
Suppose 4*x = -a - 7, 3*a = -5*x + 8 - 1. Suppose 2*n - 5*b - a = n, -8 = -n + 4*b. Solve -6 - 14 = n*o for o.
-5
Let k(w) = -15*w - 12. Let x be k(-6). Suppose -2*l - 2*a = a - 52, 3*l - 3*a = x. Solve -l + 6 = -5*v for v.
4
Let k be (-4300)/(-129)*(-6)/(-8). Solve 0 = 4*v + v + k for v.
-5
Let q = 21 - 33. Let a be q/(-7) - (-6)/21. Suppose -3*t - 2*t - t = 0. Solve t*r + a*r + 6 = 0 for r.
-3
Let q = 1058 - 1042. Solve -28*y = -q + 44 for y.
-1
Let o(v) = v**3 + 8*v**2 - 23*v - 27. Let x be o(-10). Solve 0 = 4*h - 3*h - x for h.
3
Let a(v) = -v**2 + 18*v - 28. Suppose 0 = -3*y - 3, 4*y + 1730 = 5*c - 954. Let t be c/32 - (-3)/(-4). Let b be a(t). Solve p - b*p = 3 for p.
-1
Let o(w) = -3*w**2 + 22*w - 33. Let r be o(5). Solve -4*u - r*u = -2*u for u.
0
Suppose -2*d - 6*d = -32. Suppose d*o = 2 + 10. Solve -6*i - o = -7*i for i.
3
Let d = -22 + 27. Suppose -2*b + 17 = d*w, -5*w = -b - b + 7. Solve 9 + b = 5*q for q.
3
Let t be 7/((-3)/((-9)/1)). Let s = t + -19. Solve s*k = 4*k - 6 for k.
3
Suppose -4*q + 3*j + 12 = -0*q, 2*q + 2*j - 6 = 0. Let o be 33/99*(-3)/(-2)*2. Solve -4*a = -o - q for a.
1
Let k(z) = 6*z - 1. Let q be k(4). Suppose -19*w + q*w = 12. Solve 0*x - x = -w for x.
3
Let f(r) be the second derivative of -5*r**3/6 - 3*r**2/2 + 10*r. Let n be f(-1). Solve -k - n*k - 3 = 0 for k.
-1
Suppose -14*a + 3 = -15*a. Let v be 1 + a + 8 - 1. Solve -v*f + 1 = -14 for f.
3
Let a = -556 + 588. Solve 10*d + a - 2 = 0 for d.
-3
Suppose 2*u = 4 - 2. Let w(g) = g**3 - 8*g**2 + 2*g + 3. Let t be w(7). Let r be t/(-14) + 4/(-14). Solve u + 7 = -r*f for f.
-4
Suppose h - 1 = 3. Suppose 6 = -t + h*t. Suppose -2*q + t = -6. Solve 2*s = -2*s - q for s.
-1
Let d(w) = 8*w**2 + 28*w - 13. Let k be d(-4). Suppose -12 = -2*g - 0*g. Let n be 1*5/(5/g). Solve -n = f - k for f.
-3
Suppose -5*n = 504 - 514. Solve -m - n*m = 3 for m.
-1
Suppose 0 = 11*l - 2*l - 6*l. Solve w + 3 + 0 = l for w.
-3
Suppose -3*a = 19*u - 16*u - 78, u + 61 = 2*a. Solve 12 = -a*l + 32*l for l.
4
Let o(f) = -2*f**3 + 6*f**2 + f + 2. Let h be o(3). Solve h*y + 1 = 26 for y.
5
Let n be 3*-1 + (-43 - -108). Solve -65*j - 15 = -n*j for j.
-5
Let f(g) = -g + 8. Let h(i) = 5*i**3 + i**2 - 1. Let j be h(1). Let s be f(j). Solve -2*c = -c - s for c.
3
Let h(d) = -3*d + 20. Let m be h(16). Let r = m + 28. Solve -t - 1 = -r*t for t.
-1
Suppose y = -35 - 5. Let q be 32/y - 14/(-5). Solve 7*v = q*v - 15 for v.
-3
Suppose -11*x + 8*x = -12. Let f(m) = -11*m**2 - 1 - m**3 + 0*m**3 - 3*m + 10 + 2*m. Let p be f(-11). Solve -4 + p = x*t for t.
4
Let l = -503 + 515. Solve 0 + l = -3*k for k.
-4
Suppose -f = 0, 5 + 2 = j - 4*f. Solve -10 + j = 3*z for z.
-1
Suppose 4*c - v - 17 = 0, -5*c - 12 + 47 = -4*v. Suppose 8*s = -s + 54. Let d be s/12 + (-1)/2. Solve x - 2*x - c = d for x.
-3
Suppose b - 5 = -w + 3, -4*w = 2*b - 28. Solve j - w = -2 for j.
4
Suppose -153 = -5*p + 187. Solve 69*u = p*u + 1 for u.
1
Let n be (-8)/36 - 58*(-6)/108. Solve n*d - 2 = 1 for d.
1
Let i(u) = u**2 - 13*u - 28. Let m be i(15). Suppose -5*f + m*y + 1 = 3, -3*f = 3*y - 3. Solve 10 + f = -2*k for k.
-5
Let y = 838 - 832. Solve -a = -y*a + a for a.
0
Let p be (-83)/((-3)/1*(-5)/(-15)). Suppose -27 + p = 4*g. Suppose 4*a - 2*a - 6 = 0. Solve -a*b - 5 = -g for b.
3
Suppose 0 = 4*z - 5 - 3. Suppose 2*p + 0*r - r - z = 0, -r - 2 = 2*p. Solve p = 5*q + 6 + 9 for q.
-3
Let h = 76 - 74. Solve 1 = h*j - 9 for j.
5
Let p = -359 + 367. Solve -4*c = -6*c + p for c.
4
Let f = 34 - 23. Let h be 20/f - 1/(44/(-8)). Solve -h*s = 3*s - 5 for s.
1
Suppose -3*j + 6*j = 9*j. Solve 9*w + 11 - 47 = j for w.
4
Let c = -34 - -31. Let v be 1/4 - c/(-12). Suppose -5*s - 4*y + 2 + 14 = 0, -4*s - y + 4 = v. Solve -2*a = 2 - s for a.
-1
Suppose -6 = 3*a - 6*a. Let v(x) = x**3 - 2*x + 3. Let g be v(a). Suppose o = 5 + g. Solve 2*p = -2*p - o for p.
-3
Let y(l) = -l + 1. Let t be 3/(-12) + (-14)/8. Let r be y(t). Let g(b) = b**2 + 8*b - 7. Let f be g(-9). Solve f*m = r*m - 3 for m.
3
Let p be 2/(-4)*(0 + 0). Let o(j) = j**3 - 4*j**2 - 5*j + 4. Let u be o(5). Suppose -4*n - k + 9 = -u*k, k - 1 = p. Solve 3 = n*i - 0 for i.
1
Let o = 7 - 9. Let v be o - -5 - 12/12. Solve z + v = -z for z.
-1
Let l = -114 + 117. Solve -l*w + 8 = w for w.
2
Let j = 677 - 669. Solve 63*z = 61*z + j for z.
4
Let g(p) = -4*p - 70. Let v be g(-18). Suppose -19 = -4*t - 3*u, -8 = -t - u - 3*u. Solve 2 = -v*o - t for o.
-3
Let u be (-4 - 618/(-12))*(-4)/5. Let n = -30 - u. Solve 0 = 5*c - n - 17 for c.
5
Let z(k) = -k**2 - 8*k - 8. Let f be z(-6). Suppose -b - 5 = 5*l - 8*l, -5*l = -5*b - 5. Suppose 8 = 2*m - 2*o, -2*m - 3*o + 0 = -3. Solve -m*u = -f - l for u.
2
Suppose 119 - 77 = 3*v. Solve -4*s + 6 = v for s.
-2
Suppose 3*z + 3*b - 2 - 4 = 0, -4 = z - 5*b. Suppose -2*q = -z - 3. Let t be 3/(-6)*q - -1. Solve t*i + 4 = -2*i for i.
-2
Let w(m) = -m**2 - 10*m - 20. Let t be w(-9). Let i be (2/3)/(-3 - t/3). Solve -d + i = -2*d for d.
-1
Let v(q) = 2*q + 16. Let i be v(-8). Suppose -5*m = -5*z + 115, -3*z - 2*m = -i*m - 79. Let j = z + -19. Solve -w = w + j for w.
-3
Let w(q) = 4*q - 30. Let g be w(10). Solve 6*l = l + g for l.
2
Let o = 125 + -117. Suppose m = 6*m - 15. Solve -m*g + o = g for g.
2
Let w be 1/((-2 - -5) + -1)*6. Solve -4 = w*x + 2 for x.
-2
Let n(j) = -j**2 + j + 4. Let f = -3 - -3. Let o be n(f). Suppose 6*a = 29*a. Solve 5*x + o + 1 = a for x.
-1
Suppose -3*v - 14 = -8. Let w be 7 + (12/(-4) - (1 + v)). Solve -6 + 21 = w*z for z.
3
Let n be (1