, 2*v - 5*z - 18 = 0. Solve -19 = -v*k - 35 for k.
-4
Let w(f) = -f**3 - 3*f**2 + 2*f + 2. Let g be w(-3). Let u be g/5*-2 - (-12)/30. Solve -k - u*k - 9 = 0 for k.
-3
Let q(s) = -s + 7. Let k be q(0). Let t be (-32)/(-7) - (-3)/k. Solve -1 = -4*n - t for n.
-1
Let v(w) = w**3 + 13*w**2 - 15*w. Let z be v(-14). Let j be (6*2/z)/(1/7). Solve -a = -j*a for a.
0
Let j = 110 + -121. Let g = -28 - -17. Let l = j - g. Solve l = -0*y - y for y.
0
Let h = 2050 - 2047. Let i be (-8)/6*6/(-4). Solve h*x = 4 + i for x.
2
Suppose -72*q + 27 = -63*q. Solve 0 = -2*h - 5 - q for h.
-4
Let f(k) = k**2 + 5*k + 7*k - 8*k + 2. Let t be f(-5). Let v = 11 - t. Solve -v*i = i for i.
0
Let o(y) = 4*y**3 - 2*y**2 + 1. Let s be o(1). Suppose s*f = -4*f. Solve f = g + 4*g - 20 for g.
4
Let d = 2 + -26. Let x be (-9)/(-18) + 71/(-2). Let y = d - x. Solve -2*r - y = -1 for r.
-5
Let o(m) = m - 3. Suppose 0 = 3*f + 3*j - 60, 2*j + 0*j = -5*f + 112. Let w = f + -17. Let u be o(w). Solve q - u = 2*q for q.
-4
Let n be 47/6 - (-48)/288. Solve 6*r = 10*r - n for r.
2
Suppose -34*d + 390 = -19*d. Solve 23*b - 15 = d*b for b.
-5
Suppose 36 = 40*g + 36. Solve -3*h - 1 + 10 = g for h.
3
Suppose -y = 5*s - 6*y - 15, 0 = 2*y - 8. Suppose -s*z + 4 = -5*z. Solve 0 = u + z*u + 12 for u.
-4
Let c = -23 - -29. Let s(r) be the second derivative of r**3/6 - 2*r**2 - r. Let d be s(c). Solve 0 = -d*z + 3*z for z.
0
Let r(f) be the first derivative of 1 - 4*f - 3/2*f**2. Let c be r(-4). Solve 0 = 3*d - d + c for d.
-4
Suppose 19*z - 14*z - 20 = 0. Suppose -z*l - 5*r = 9, 2*l = r + 19 - 6. Solve c + 3 = l for c.
1
Suppose -f - 18 = -32*t + 28*t, -16 = -2*t + 4*f. Solve -10*g = t*g + 14 for g.
-1
Let a(f) = f**3 - 10*f**2 + 3*f - 15. Suppose -4*j - 3*h + 4*h + 36 = 0, h - 24 = -2*j. Let o be a(j). Let g be 1*-3 + o/3. Solve 3*r = 4*r + g for r.
-2
Suppose 2*q - 73 = 40*r - 41*r, -r + 4*q + 49 = 0. Solve -r + 64 = -h for h.
1
Let j(i) = i**2 + 5*i + 5. Let g be j(-5). Suppose g*w + 9 = 2*w. Let a be 1/(w - -2) + 5. Solve 3*n - a*n = -1 for n.
1
Let y = -12 + 22. Suppose 0 = -w + 5*u - 3*u - 8, -u = -5*w - 4. Suppose w = z + z - y. Solve -6 = -z*n + 4 for n.
2
Let r = -22 + 11. Let h be (-3)/(9/132*-1). Let c be 8/h - 20/r. Solve -c*m = 2*m - 20 for m.
5
Let m = 324 - 320. Solve 0 = -3*y + m*y + 3 for y.
-3
Suppose -c = -1 - 3. Let q be (-14)/(-56) - 9/c. Let v be q - 1 - (-12 - -4). Solve -n - v = -3 for n.
-2
Suppose 43*g - 89*g = -50*g. Solve 8*u - 1 - 15 = g for u.
2
Let d = 85 - 83. Suppose 0*c + c = 3*y, d*y + 4*c = 14. Solve -7 = 2*q + y for q.
-4
Suppose p = -3*m + 52, 0 = -2*p - 6 + 8. Suppose 2*k - 4*k + m = 3*r, 3*r - 5 = k. Solve 0 = r*i - 4*i - 4 for i.
-4
Let r be (0 - 6)*(0 - (-3)/(-3)). Solve -26*t + r = -23*t for t.
2
Let l = 20 - 32. Let i(c) = -c**3 - 6*c**2 + 15*c - 17. Let u be i(-8). Let o = u - l. Solve -o = 2*t + 3 for t.
-3
Let t(o) = o + 10. Let q be t(-8). Suppose q*s = -0*s + 8. Suppose 6 = -3*j + 5*j - 2*c, -5*j = -s*c - 15. Solve -1 - 2 = -j*a for a.
1
Let m(z) = -z**3 + 6*z**2 + 2*z - 8. Suppose 12 = 5*y - 3*y. Let q be m(y). Suppose -r = r - q. Solve -r = 2*b - 3*b for b.
2
Suppose -4*s = -2*b + 19 + 7, 2*s = -8. Suppose b*c = 10*c. Suppose 4*v - 5 = 3. Solve c = v*i - 4*i for i.
0
Suppose s - 4*t = -s + 50, -2*t - 10 = 0. Suppose z + s = 6*z. Solve 0 = -x + z - 7 for x.
-4
Let z(c) = 32*c - 960. Let r be z(30). Solve r = 12*b + 13 - 25 for b.
1
Let r be 7 - 5 - (-1 - -3). Let d(z) = 5*z - 5. Let l be d(2). Solve r*f = -l*f - 25 for f.
-5
Let u(n) = -19*n**3 - 6*n**2 - 5*n - 3. Let h be u(-1). Solve -10*y = -h*y for y.
0
Let y be ((-5)/10 - -2)*(-14)/(-3). Solve y = -2*a + 9*a for a.
1
Let c = -88 - -92. Solve 31 = c*g + 11 for g.
5
Let o = -324 - -327. Solve 0 = o*l - 6*l + 3 for l.
1
Let f = 113 + -20. Suppose -3*u = 3*b - f, 3 - 15 = -4*b. Let k = u + -21. Solve 2*h + 3 = -k for h.
-5
Let h(w) = 3*w - 13. Let j be h(8). Let c(t) = -t**2 + 13*t - 22. Let a be c(j). Solve -v + 4*v - 9 = a for v.
3
Suppose 0 = 9*n - 4*n - 15. Suppose -25 = -n*k - 4*q, 3*q + 0*q - 6 = 2*k. Solve -k*i - 11 + 2 = 0 for i.
-3
Suppose 3*c + 22 = -0*h + h, 5*h = 2*c + 58. Let l be (-2)/(-7) + 26/7. Suppose -l*s = -5*s + h. Solve -s = -5*a - 0 for a.
2
Suppose -3*g = g. Suppose g = j - 7*j + 60. Solve j = 2*y - 0 for y.
5
Let l be (-10)/15*126/(-28). Solve 16*a - 5*a = -l*a for a.
0
Let i be (9/(-6))/(6/(-16)). Let z be (-396)/(-72)*4/22. Solve l + i = -z for l.
-5
Let n(i) be the first derivative of -i**6/360 + i**4/4 + 4*i**3/3 + 3. Let y(m) be the third derivative of n(m). Let w be y(0). Solve 2*l - w = -0*l for l.
3
Suppose 4 = 2*l + j, 0 = -0*l + 3*l + 5*j + 1. Suppose 9*s = l*s. Solve g - 1 = -s for g.
1
Suppose -z - 2*s + 10 = 0, -4*z + 75 - 5 = 2*s. Let c = 18 - 5. Let j = 20 - c. Solve -j*o = -2*o + z for o.
-4
Let o(w) be the first derivative of -1 + 3/2*w**2 + 1/3*w**3 + 3*w. Let y be o(-3). Solve -3 - 3 = y*g for g.
-2
Let h = 24 - 20. Let x(q) = q - 2. Let g be x(7). Suppose g*l - 55 = 20. Solve h*n = l - 3 for n.
3
Suppose 4 = o - 2*o - z, -5*o - 2 = -z. Let u be (4/(-12))/(o/18). Solve 4*m = -6 - u for m.
-3
Let v(g) be the first derivative of g**3/3 - 5*g**2 - 6*g - 7. Let k be v(11). Let a = -4 + k. Solve 2*j = -a + 5 for j.
2
Suppose 0 = 10*z - 55 + 15. Let h be z/20 - 1/5. Solve h = -3*n + 6 for n.
2
Let d = 5 - 4. Let l be (d/3)/(1/36). Let s be 8/(-6)*l/(-8). Solve 10 = 2*o + s for o.
4
Suppose -21*n + 494 = -2*n. Solve 0 = -r + 26 - n for r.
0
Suppose -5 - 27 = -8*m. Suppose -m*z - i + 13 = 0, -3*z - 5*i - 1 = 2. Solve -16 = -4*s + z for s.
5
Let g(j) = -5*j + 18*j - 8 - 6*j - 8*j. Let l be -2 - (-1)/((-1)/6). Let s be g(l). Solve -3*d + s*d + 15 = 0 for d.
5
Suppose -9*i + 8*i + 15 = 0. Suppose 2*l - i = -l. Suppose 5*o + 3*k = 11 + l, 4*o - 17 = -k. Solve 0 = -5*j - 0 + o for j.
1
Let w(y) = y**3 + 14*y**2 - 73*y - 15. Let x be w(-18). Suppose b - 3 = 4*o, 4*b - o = 3*o + 24. Solve -b*q + x*q = 0 for q.
0
Let r(h) = h + 19. Let n be r(-11). Let a(v) = -v**3 + 9*v**2 - 6*v - 10. Let i be a(n). Solve -i = -2*k + 5*k for k.
-2
Suppose -3 = -2*i + 3. Suppose 2*y = -z - y + 15, -5 = -i*z - y. Solve -o = -z*o for o.
0
Let j = -13 + 23. Let y(n) = -n**3 - 7*n**2 - n - 4. Suppose 5*g = g - 28. Let w be y(g). Solve -k = -w*k - j for k.
-5
Let c(q) = -6*q + 16. Let j(y) = -7*y + 17. Let m(o) = -6*c(o) + 5*j(o). Let l be m(16). Solve -p - l = -3 for p.
-2
Let r = 118 - 84. Let h = r - 1. Suppose 4*f - 20 = 0, 10 = -2*j + 5*j - f. Solve -h = j*v - 13 for v.
-4
Let a(b) = -6*b - 44. Let v be a(-8). Solve -6*i + 2*i + v = 0 for i.
1
Let i(k) = k**2 + 44*k - 43. Let m be i(1). Solve 293*u - 292*u - m = 0 for u.
2
Let t = 46 + -29. Suppose z + 14 = t. Solve -5 = z*d - 8*d for d.
1
Let s be 99/22 + 2/4. Solve 0 = -5*y - 0 + s for y.
1
Let h = 99 + -114. Let w be (-1 - 1)*-10*h/(-20). Solve 8*g - 11*g = w for g.
-5
Let d = -26 - -26. Let t be d/(-2)*8/8. Suppose t = -y + r + 5, 5*y - 2*r - 6 = 13. Solve 0 = y*f - f + 4 for f.
-2
Suppose 1 + 9 = -2*c. Let u(t) = 5*t + 8. Let b be u(c). Let z = 17 + b. Solve 5*f = -z*f - 20 for f.
-4
Suppose -2*x = -4*x + 6. Suppose x*n - n = 0. Suppose -z + 3*z - 12 = n. Solve -3*g + g + z = 0 for g.
3
Let j be 482/6 - (-1)/(-3). Suppose -d + 5*d - j = 0. Let a be (6/4)/(3/8 + 0). Solve -a*n - d = -0*n for n.
-5
Let p = 919 + -912. Solve 3*x + p = 13 for x.
2
Let j be ((-1)/(-2))/(1/6). Suppose -4*t + j*t = 0. Let i be 0 - (t + -2) - -1. Solve i*n - 4 = -1 for n.
1
Suppose 0 = -3*z + 9*z. Suppose -a + 2 = -z*a. Let d be 3/(-2)*(a - 6). Solve m + d = -2*m for m.
-2
Suppose -2*s - s = -3*f - 12, -3*s + 2*f = -7. Let y be 4 - 2 - 3/s. Let g = y - 0. Solve -v = -4 + g for v.
-1
Let f(j) = 17*j - 82. Let s be f(5). Let z = 1 - 1. Suppose z = s*t + t. Solve t = -5*a - 0*a for a.
0
Let i(m) = -m**3 + 17*m**2 + 8*m - 134. Let y be i(17). Solve -y*j + 22 = 12 for j.
5
Let n = 508 + -505. Solve -m + n - 1 = 0 for m.
2
Let i = 22 - -2. Let o = -24 + i. Solve o*r + 10 = 5*r for r.
2
Let z(i) = -i**3 - 7*i**2 - 9*i - 18. Let c be z(-6). Suppose -a - 2*a + 9 = c. Solve -f = a*f for f.
0
Suppose 26 = 7*z + 5. Suppose 5*i = b + b - 2, -z*i + 1 = b. Solve -7 = 2*f + b for f.
-4
Suppose 36*i = 24*i + 60. Solve -2 = -i*v + 4*v for v.
2
Suppose 0 = 23*x - 11*x - 1