Let v be (18/15)/(1 + (-14)/20). Suppose 115 = -5*s - 0*s. Let g be v/2 - s - -2. Solve 5*y - 7 = -g for y.
-4
Let u(a) = a - 2. Let b be u(7). Solve b = -3*d + 2 for d.
-1
Let s(w) = 2*w + 3. Let m be s(0). Let h be (-2)/(-2) - 0/1. Let l be 31/3 - h/3. Solve -m*q + 8*q + l = 0 for q.
-2
Let y = -57 - -58. Solve 0 = q + y - 2 for q.
1
Suppose -4*q - 2*q + 2*q = 0. Solve -3*d + 0*d - 9 = q for d.
-3
Suppose 2*v + 36 = 6*v. Let q = v + -36. Let f be ((-4)/6)/(6/q). Solve 8 = h + f for h.
5
Let b(h) be the second derivative of -1/6*h**3 + h - 3/2*h**2 + 0. Let v be b(-5). Solve 5 = f + v for f.
3
Let t(w) = -21*w**2 - 6*w + 6 - 3 - w**3 + 14*w**2. Let r be t(-6). Solve -6*l = -r*l for l.
0
Let n be (-19 + -1)*7/(-14). Let i = 13 - n. Let y be 2 + -2 + 2 + -2. Solve -4*m - i - 13 = y for m.
-4
Let a(k) = k + 6. Suppose -5*t = -11 + 41. Let s be a(t). Solve 3*v - 10 + 1 = s for v.
3
Let t(r) = r**2 - 6*r + 12. Let g be t(4). Solve 0 - g = 2*n for n.
-2
Let k be -1*(3 - (-2)/(-2)). Let o = 2 - k. Solve -2*r + 0*r - o = 0 for r.
-2
Suppose -5*x - 2 = -7*x. Suppose 0*s - x = -4*i - s, 0 = -5*i + 3*s - 3. Solve 2*m + 0*m - 4 = i for m.
2
Let i = -24 - -26. Solve 3*p - i*p = -2 for p.
-2
Let o(j) = 2*j**2 - 4*j - 5. Let t be o(-2). Solve -t = 5*h - 1 for h.
-2
Let h be (2/(-3))/((-4)/18). Let y(z) = 2*z - 16. Let x be y(8). Solve x - h = -u for u.
3
Suppose 5*n + 35 = -t, 0*n + 2*n + 17 = -t. Let d be (n/5)/((-1)/5). Solve -2*v - d = v for v.
-2
Suppose o = 4*r + 2*o - 9, 5*r = 5*o + 5. Let g be 0 - (3 - 4/1). Solve r*x = -3 - g for x.
-2
Suppose -q = -4*i + 2*q + 10, 2*i = -q + 10. Suppose -3 + 15 = 2*m + i*s, 28 = 3*m + 4*s. Solve 2*d + m = -2*d for d.
-4
Let h(j) = 2*j + 4. Let y be h(-4). Let q = -2 - y. Let g be q*(-2 - 18/(-3)). Solve 3*l = g*l - 15 for l.
3
Suppose -63 = -2*d - 21. Let p = d + -13. Solve -p = -3*v + v for v.
4
Let g(d) = -4*d**3 + 2*d**2 - 1. Let t be g(-1). Suppose -4*a = -t*a + 4. Solve 4 = a*m + 24 for m.
-5
Suppose 0*b + 5*b + s = 5, -21 = 2*b + 5*s. Solve -6 = -b*w - 0*w for w.
3
Suppose 0 = -4*q - 5*t + 50, -2*q - t = 3*t - 28. Solve 4*x - q = 2*x for x.
5
Let w be ((-8)/(-6))/((-2)/(-21)). Let h = 40 - 24. Let b be 1/(h/w - 1). Solve 4*u - b = -23 for u.
-4
Suppose -2*v - v + 27 = 0. Suppose -1 = 4*s - v. Let k = 6 + s. Solve -15 = -k*m + 3*m for m.
3
Let w(t) = -t**3 + 3*t**2 + 4*t - 2. Let d be w(3). Suppose -q - q + d = 0. Solve -a - 6 = -q for a.
-1
Suppose 3*h - 9 = -0*h. Suppose -2*f - 5 = h*f. Let i be (-3)/(-6)*(9 + f). Solve -y = -i*y - 6 for y.
-2
Let t = 7 - 7. Suppose t = -2*l - p + 10, 3*p - p = -l + 11. Solve l*i + 2 = -7 for i.
-3
Let k(r) = -6*r + 2. Let j(f) = 6*f - 2. Let o(i) = 6*j(i) + 5*k(i). Let g be o(1). Solve -25 = g*w + w for w.
-5
Let o = 2 + 2. Solve 3*c = o*c for c.
0
Suppose -23 = 5*a - 98. Let n be (a/6)/(4/8). Solve n*c + 18 + 7 = 0 for c.
-5
Let m be 6/((-4)/(48/(-9))). Solve 4*v - 2*v + m = 0 for v.
-4
Suppose 3*b + 0*b = -3. Let l be (-6)/b*(-5)/(-10). Solve -p - l = -2 for p.
-1
Let l be ((-3)/2)/(4/(-8)). Let k = -1 + l. Solve 0*m + k = -2*m for m.
-1
Let p(d) = -d + 8. Let v be p(8). Suppose 0 = 2*y - v*y + 14. Let g(t) = t**3 + 8*t**2 + 6*t + 1. Let b be g(y). Solve -4*c + b + 12 = 0 for c.
5
Let k(q) = -2*q + 1. Let y be k(-2). Suppose 3 - 13 = -y*m. Suppose -4*p = -3*p. Solve p = -0*z - m*z - 4 for z.
-2
Let m(k) = 7*k**3 + 11*k**2 + 14*k - 1. Let f(z) = -10*z**3 - 17*z**2 - 21*z + 1. Let u(b) = -5*f(b) - 7*m(b). Let j be u(-7). Solve 2*g + 8 = -j for g.
-5
Let h(f) = f**3 - 4*f**2 + f - 3. Let d be h(4). Let c be d/(-2) - (-165)/6. Suppose 3*x = 4*b - 115 + c, -5*x - 58 = -2*b. Solve -5*m - b - 6 = 0 for m.
-5
Suppose -3*n = -2*b + 6 - 34, -2*b - 34 = -4*n. Let u be (1 - 10)*n/(-18). Solve 0 = -0*z - u*z - 3 for z.
-1
Suppose -5*x = 6*v - 9*v - 20, -5*x = -4*v - 20. Let f(n) = -2*n. Let l be f(-4). Suppose v = -5*r - l + 23. Solve 3 = r*t - 0 for t.
1
Let d be (19 - 20)/(2/(-4)). Solve -d*n + n = 1 for n.
-1
Let s = 9 + -9. Solve m - 2*m - 4 = s for m.
-4
Let a(q) = q**3 - 3*q**2 - 3*q + 1. Let k be a(4). Suppose -12 = 3*v - 7*v - 4*d, -3*v - k*d = -11. Solve -v*s = -0*s for s.
0
Suppose 4*j + 4*x = 3 + 5, -4*j + 40 = -4*x. Solve t = j*t - 15 for t.
3
Let l = -3 - 1. Let b = l + 6. Let g = b - -6. Solve p = 3*p - g for p.
4
Suppose 2*b - 7*b = -75. Let q(l) = -l**2 + 3. Let a be q(0). Suppose -4*o = z + 3*z + 12, -a*z - 5*o = b. Solve 0*n + 2*n + 2 = z for n.
-1
Let m(w) = -w**3 + w - 1. Suppose 5*a - 2*a = -6. Let r be m(a). Solve r = -4*z + 5*z for z.
5
Let p(w) = 2*w + 4. Let u = 0 - -2. Let f be p(u). Solve -3*m + f*m = 0 for m.
0
Let n(m) be the third derivative of -m**5/60 - 5*m**4/24 - m**3/3 + m**2. Suppose 2*g - 4 + 10 = 0. Let u be n(g). Solve -u*p = -3 - 5 for p.
2
Let f(w) = -w**3 + 3*w**2 + 4*w - 3. Let y be f(3). Solve -2*s = s + y for s.
-3
Suppose 2 = -6*g + 20. Let d = 5 - g. Solve -w + d*w = -2 for w.
-2
Let j be (-2)/(-7) + 132/28. Let s be (2 - j/3)*9. Let r(w) = -w + 13. Let z be r(8). Solve s*t + z = -7 for t.
-4
Let r be -6*(-3)/9 + 0. Solve r = 2*n + 4 for n.
-1
Let v(t) = -2*t**2 + 3*t**2 + 4*t**2. Let j(p) = p + 9. Let i be j(-8). Let b be v(i). Solve 1 = -3*x - b for x.
-2
Let i(d) = -d**3 + d**2 + d + 13. Let y be i(0). Let r(f) = 29*f**3 + f**2 - f + 1. Let b be r(1). Let v be y/5 + (-18)/b. Solve 0 = -v*k + 1 - 11 for k.
-5
Let i be -4*9/(-24)*2. Suppose -7 = -2*z - i. Solve 0 = -0*x + z*x - 10 for x.
5
Suppose 0 = -v + 5*s - 11, -5*v + v = -3*s - 7. Solve -6 = 2*f - v for f.
-1
Let o be -2 - (-3 + 2 - 1). Solve -4*z - 20 = -o*z for z.
-5
Let w = -6 - -10. Suppose 3*d - 3 = 2*d. Suppose r = 4*c + 35, c = 5*r + d*c - 87. Solve r - w = -5*u for u.
-3
Let k be ((-3 - 0) + 2)*3/(-1). Solve k*r = 5*r for r.
0
Let q = -3 - -11. Solve -3*y - q = -y for y.
-4
Let k = -4 - -9. Solve h = -k + 3 for h.
-2
Let c be 52/(-65) + (-8)/(-10). Solve c*t - 20 = -4*t for t.
5
Let q = 20 + -7. Suppose -23 = -5*w + 12. Let g = q - w. Solve g = a + a for a.
3
Let c be 129/27 - 8/(-36). Suppose t - 13 = -3*r + 4, -t - 23 = -c*r. Solve t*d + 0 - 2 = 0 for d.
1
Let v be (-4)/8*(-7 - 1). Suppose -2*k + 2 = -v. Suppose -4*g + 2*o = -k*g - 4, 0 = -g - 5*o - 3. Solve -4*i - 2 = g for i.
-1
Suppose -s - 3*o + 1 = 0, -3*o + 11 = -3*s + 38. Suppose 0 = -r + 27 - s. Solve 0 = -5*d + 9*d + r for d.
-5
Let c(g) = g**3 + 10*g**2 + 8*g - 2. Let f be c(-9). Suppose -4*w + 3*n + 2*n = 8, 2*w + 3*n = 18. Solve f = -u + w for u.
-4
Suppose -392 + 92 = -12*k. Solve 3*m - k = -2*m for m.
5
Suppose -93 = -5*z + 72. Suppose 3*c + 5*a = z, 52 = 5*c - c + 4*a. Suppose 4*y + c = 0, 4*y + 2 = -2*n - 8. Solve 23 - n = 5*m for m.
4
Let q(l) = 2*l**2 - 3 + 6*l - 3 - 3*l**2. Let b be q(4). Let u(j) = 2*j - 2. Let y be u(b). Solve -7*n - 25 = -y*n for n.
-5
Let p(d) = d**3 - 6*d**2 + d - 6. Let k(h) = h**3 + 7*h**2 + 2*h. Let g be k(-3). Suppose 6*l = l + g. Let n be p(l). Solve 3*y = -n*y + 3 for y.
1
Suppose 0*c = -c + 4. Suppose w + i - 2*i - 1 = 0, 2*w - 8 = -4*i. Let m be 1 + -3*w/(-3). Solve -c*v - 23 = -m for v.
-5
Suppose 3 + 29 = 4*x. Suppose t - 3*t + 10 = p, -2*t + 14 = 2*p. Suppose -4*n = -p*j + 28, 2*n = -j - n - 9. Solve s - x = -j*s for s.
2
Suppose 4*l - 4 = -0*l. Suppose y - 4*w = -4*y + 5, -5*w = 0. Let q = l + y. Solve q*c + 3*c + 25 = 0 for c.
-5
Let h = 6 - 8. Let z = h + 3. Suppose -3*u + 6 = -0*u - a, 2*u + a = 4. Solve 3*d = -u - z for d.
-1
Suppose 0 = 2*l + l + 2*j - 11, 0 = l - 4*j - 13. Suppose 0 = -n + 5*f + 22, 2*n = -f - 3*f - 12. Let o be n + 0 - 1*-2. Solve 3*g - o = l for g.
3
Suppose 3*v - 4 = -7. Let o be (2/4)/(-1)*8. Let m = v - o. Solve 0*i + m*i = 6 for i.
2
Let w be 0 + (-1)/((-2)/6). Let y be 714/153 + 2/(-3). Solve y = -w*g - 8 for g.
-4
Let b(x) = x**3 + 4*x**2 + x - 3. Let o be b(-2). Let q(g) = -g**3 + 5*g**2 + 8*g - 6. Let u be 1 + 1 + 1*4. Let i be q(u). Solve -o*v + i = -3 for v.
3
Suppose 0 = -3*v - 3*v + 36. Solve 0 = -h - h - v for h.
-3
Suppose -5*c + 5*p = 10, -3*c - p + 9 = p. Solve -u - 3 - c = 0 for u.
-4
Let k(b) = b**3 + 2*b**2 - 4*b. Let j be k(-3). Let p be 144/45 + 2/(-10). Suppose 30 = 8*g - p*g. Solve -j*w - g = -w for w.
-3
Let i be ((-3)/2)/(6/(-8)). Suppose 4*d + z = 29, d + i*d - 24 = -3*z. Solve -d - 3 = -5*c for c.
2
Let n(f) = f**