8*o for o.
5
Let m(y) = y**3 - 16*y**2 + 12*y + 56. Let f be m(15). Solve -h - f*h + 36 = 0 for h.
3
Let n be (-4)/10 - 4/(-10). Let h(s) = -s**2 - 1 + 10 - 2 + s**3 + 5. Let q be h(n). Solve 5*w - 8 - q = 0 for w.
4
Suppose -89 = 10*f - 309. Solve -f*a + 20*a = 0 for a.
0
Suppose 4*t - 16 = -5*n, -5*n = t - 3 - 1. Suppose -t*o = -3*o - 33. Let f = o - 30. Solve f*z + 0*z = 6 for z.
2
Let u be 20 + (0 + 0)*1. Let f = 31 + -22. Suppose -f = -8*r + 31. Solve r*v = v - u for v.
-5
Let w = 38 + -32. Let r be 0*1/w*2. Solve r = -2*m + 2 + 6 for m.
4
Let q(t) = 10*t + 11. Let f be q(-4). Let n = -27 - f. Suppose -2*u = -3*c + 12, -4*c + 0*u - u + 5 = 0. Solve -c*g - n = 6 for g.
-4
Let i = -15 - -15. Suppose -2*t - 3*t - 4*l + 33 = i, 3*l + 9 = 3*t. Suppose -8*z + 3*z - 20 = 0, -3*d - 5 = t*z. Solve 7*v - d = 2*v for v.
1
Let y(h) = -2*h**2 - 7*h - 2. Let r be y(-2). Suppose -r*f + 2*f + 24 = -3*u, 25 = 3*f + u. Solve 0 = -4*q + f*q - 10 for q.
2
Suppose 2*o - 26*c - 17 = -25*c, -3*c + 9 = 4*o. Solve o*y + 15 = 11*y for y.
3
Let a be (11 - -19) + -1*20/4. Solve a = p + 4*p for p.
5
Suppose 4*n - 20 = -4*w, -3*n + 5 = -5*w + 2*n. Solve -9*a + 16 = -w for a.
2
Let b be (176/(-48))/(-2*2/(-24)). Let m = b + 22. Solve r + m*r = 1 for r.
1
Let x(v) = -v**3 - 10*v**2 + 4. Let a be x(-10). Suppose a*f - 36 + 0 = 0. Suppose f*p = 4*p + 15. Solve p*z = z for z.
0
Let i(l) = -l**3 - 5*l**2 + 5*l - 3. Let r be i(-6). Suppose 3*g = 2 + 37. Suppose 0 = -9*t + g + 23. Solve -3 = t*q - r*q for q.
-3
Let l(j) = -3*j - 6. Let t be l(-5). Let s = t + -7. Solve 3*z - s = 1 for z.
1
Let k(q) = -4*q**3 - 3*q**2 + q + 2. Let u = -135 + 134. Let s be k(u). Solve -s*g = 2 - 6 for g.
2
Let n(b) = b**2 - b + 2. Let d be -3 - (-2 + (-8)/2). Let v be n(d). Solve -i + 3*i = -v for i.
-4
Let b = 8 + -5. Solve 0*y = -b*y + 9 for y.
3
Let m(o) = 15*o**3 + 1. Let x be m(-1). Let s = 25 + x. Solve 2 = -3*j + s for j.
3
Suppose -129 = -4*u - 41. Suppose 4*m - 88 = -3*b, b - m - u - 5 = 0. Suppose 0 = -4*k + 4*w + b, -5*k + 4*w = -32 - 0. Solve -k*l - 6 = -l for l.
-2
Suppose 0 = -3*g + 5*k + 3, 2*g - 23 = -5*k + 4. Solve -16*o + 18*o = -g for o.
-3
Suppose 5*b - 10 = 0, 12 + 7 = 5*p - 3*b. Suppose p*t = 3*t. Solve h + t + 2 = 0 for h.
-2
Suppose -1 = -7*w + 8*w - x, 3*x - 3 = -4*w. Solve u - 6*u + 5 = w for u.
1
Let w = -183 + 185. Solve -12*b + w*b = 0 for b.
0
Let c(m) = -m**2 + 7*m + 6. Let l be c(7). Suppose z = 3, -8*z + 3*z + 9 = -3*q. Suppose 3*h - 2 = 3*j + 4, -4*h + 12 = -q*j. Solve -2*r + h*r + l = 0 for r.
-3
Suppose 4*q = 21 - 9. Suppose q*f + 8 = 5*f. Solve -5*z = -f*z + 4 for z.
-4
Let v be 1615/20 - (-2)/8. Let o be 5526/v - (-4)/(-18). Suppose 5*s - 3*s + 5*g = 44, 5*g = -4*s + o. Solve a + 3*a = s for a.
3
Suppose -20 = -5*l - 7*d + 6*d, 2*l + 2*d = 0. Solve 0 = 5*n - l + 30 for n.
-5
Suppose 0 = -17*u + 21*u. Let k(h) = 4*h**3 + 2*h**2 + 3*h - 4. Let y be k(1). Suppose 3*a - 15 = -2*a. Solve u = y*c - 2*c - a for c.
1
Let g be (3/(-2))/(12/(-32)). Suppose 4*o - 2*x = -x + 124, 0 = -5*o + 2*x + 158. Solve g*w - 10 = -o for w.
-5
Let c = -1 - -1. Let o(z) = -2*z - 11. Let l be o(-6). Let y be (-2 + l)/(2/(-8)) + -4. Solve c = x - y*x for x.
0
Let d be 2/(39/(-12) - -3). Let i be (2 + 22/d)*4. Let j be (-7)/i - 4/(-6). Solve -1 = j*y + 8 for y.
-3
Suppose -6*d = -4*d - 2*q - 10, 2*d + 11 = -5*q. Let i = 29 - 21. Solve -d*f = 2*f - i for f.
2
Suppose -11*y - 4 = -114. Solve -y*o + 13*o + 9 = 0 for o.
-3
Suppose b - 29 = -0*b + 2*u, -4*u = -8. Solve j - b = -38 for j.
-5
Let u be 4 - (24/6 + 0). Solve -10*j + j = u for j.
0
Suppose 2*n + 5*s + 114 = 0, -5*n - s - 105 = 180. Let k = n - -64. Solve -16 + k = -3*f for f.
3
Suppose -3*y - h + 14 = 0, -13 + 0 = 4*y - 5*h. Solve -y*d = -8*d - 25 for d.
-5
Let m(t) = -t**2 - 5*t + 2. Let b be m(-5). Let l(k) = -k + 1. Let j be l(-2). Let y be -1 + j - (-2 + -4). Solve -b*s = -y + 2 for s.
3
Suppose 4*m - 4 = 3*m. Solve 5*l = l - m for l.
-1
Let w(y) = y**3 + 6*y**2 - 8*y - 4. Let p be w(-7). Let i(d) = -d**2 + 3*d. Let u be i(p). Solve 0 = -f - u*f for f.
0
Let s be (-84)/(-8)*-6*2/(-7). Let r be s/27*(-2 - -5). Solve 25 = -3*q - r*q for q.
-5
Let y be 6 - (-3 + (6/(-2))/(-1)). Solve 0 = -9*c + 12*c - y for c.
2
Let p be 4/(-6)*(-1 - 2). Suppose 5*k = 5*b + 4*k + 1652, 5*b + 1644 = -3*k. Let o be (-946)/b - (-4)/30. Solve -p*f = -o*f + 5 for f.
5
Let b(f) = f**3 - 9*f**2 - 20*f + 1. Let y be b(11). Solve 4*m - 3 + y = 0 for m.
-5
Let y = 322 + -322. Solve 2*g + y*g = -10 for g.
-5
Suppose 2*i - 22 = -2*s, 3*s = 5*i - 53 + 38. Solve -3*l + i - 18 = 0 for l.
-4
Suppose 0 = -4*h + 3*t + 176, -t = -h - 1 + 46. Let w = h + -25. Let v be (3 - 0)*w/3. Solve -3*k - k = v for k.
-4
Let c(f) = -f**2 + 9*f + 1. Let a be c(5). Let r = -21 + a. Solve 4*o + o - 25 = r for o.
5
Let h(g) = -10*g + 104. Let m be h(0). Let z = m + -103. Solve -4*v + 5*v + z = 0 for v.
-1
Let c = -853 + 885. Solve 34*l - c*l = 6 for l.
3
Let z be ((-36)/27)/((-3)/18). Let v be (-4)/z*(-1 + -5). Suppose 38 = 3*r - 2*p - v, 27 = 2*r - p. Solve -4*a = r - 5 for a.
-2
Let t(i) = 7*i - 2. Let p be t(7). Suppose -n = -5*m - 18 + p, 2*m - 9 = 3*n. Let w = -121 - -121. Solve w = k + m - 2 for k.
-4
Let m(z) be the third derivative of -7*z**2 + 0 + 0*z**4 - 1/2*z**3 + 1/60*z**5 + 0*z. Let b be m(-2). Solve b = 4*d + 5 for d.
-1
Let d(l) = l**2 + l - 2. Let t be d(-2). Let a(g) be the second derivative of 5*g**3/6 - 3*g. Let i be a(4). Solve -5*p - i = -t*p for p.
-4
Let a(j) = -8*j + 26. Let f be a(2). Solve 0 = x + 4*x - f for x.
2
Suppose -6*l - 335 = -821. Suppose -2*s = l + 57. Let g be s/(-12) + 2/8. Solve g*d = 2*d for d.
0
Let h = 15 + -8. Let p(t) = t**2 + 8*t. Let g be p(6). Let i = g - 82. Solve -1 = -i*d + h for d.
4
Let l = 68 - 54. Let n be (-1 - -1)*14/l. Solve -w + 3*w + 2 = n for w.
-1
Let x(z) = z**2 + 5*z - 22. Let u be x(-9). Suppose -u = 2*r - 4*r. Solve 3*t = -5 - r for t.
-4
Suppose 63*j - 72*j = -90. Solve -20 = j*x - 0*x for x.
-2
Suppose 4*a = 5*a - 3. Suppose -4*u - v - 7 = -4*v, -5*u = a*v - 25. Solve d + d = -u for d.
-1
Let i(h) = 5*h + 1. Let k(w) = w**2 + 8*w - 7. Let a be k(-9). Let g be i(a). Let x(s) = -s**3 - 2*s**2 - 2*s. Let d be x(-2). Solve -3*m + d = -g for m.
5
Let n be (-4)/12 + 70/(-6). Suppose -67 = -3*w + 5*t, w + 4 = -4*t - 2. Let a = w + n. Solve a - 4 = -k for k.
2
Suppose -3*g = -v + 28, 2*v = -v + g + 84. Solve -25*m = -v*m + 12 for m.
4
Let u(n) = n**2 + 9*n + 12. Let l be u(-8). Suppose q - l - 1 = -3*p, 3*q = -3. Let w be (9/3)/((-6)/(-20)). Solve 0*a = p*a - w for a.
5
Suppose 6*u - u - 80 = 0. Let x = u - 11. Solve 0 = -4*n + x*n + 2 for n.
-2
Suppose 3*o - 2*q + 11 = 0, 5*q - 2 - 9 = 2*o. Let n be 6 + o/1 + 0. Solve 9 = -n*t + 3 for t.
-2
Suppose 3*d + 4*d - 49 = 0. Solve -w - d*w - 40 = 0 for w.
-5
Let n be (-585)/(-42)*4 + 6/21. Solve -22*m = -8*m - n for m.
4
Suppose -x - 3*x + 23 = -3*l, -5*l - 20 = -3*x. Suppose x*p - p = 16. Let c be (2/p)/((-1)/(-40)). Solve -c = -3*h + 7*h for h.
-5
Let m = 487 - 472. Solve -3*n - 2*n - m = 0 for n.
-3
Suppose u + m = 5 - 1, 2*u - 14 = m. Let a = -2 + 4. Suppose n - a = 2. Solve -h + n*h = -u for h.
-2
Suppose -5*t + t + 24 = 0. Suppose -6 - 12 = -t*y. Suppose y*s = -s. Solve -2*i + 0*i = s for i.
0
Let u(m) = -m**2 + 7*m + 5. Let x be u(7). Let h(t) = 21*t - 1. Let r be h(1). Suppose x*g = g + r. Solve -4*a + g = -3 for a.
2
Suppose -4*x + 12 = -4*p, 5*p + 2 = -x + 5. Solve 0*m + 4*m - 12 = p for m.
3
Let n(c) = -c**2 + 16*c - 35. Let j be n(13). Let h(t) = -t**2 + 7*t. Let i be h(5). Suppose -5*q - 3*r + 26 = 0, 5*q - 7*r + 2*r = i. Solve -8 - j = q*p for p.
-3
Let v(b) = b**3 + 6*b**2 - 12. Let q be v(-5). Let k = -19 + q. Let s(j) = -j**2 - 8*j - 10. Let d be s(k). Solve -d*t = -t for t.
0
Let v = -689 - -697. Solve 0 = a - 10 + v for a.
2
Let l be 0 + (-6)/(-3) + 1. Solve l*n + 3 - 9 = 0 for n.
2
Suppose -4*v = 51*o - 47*o - 172, -2*o + 71 = -3*v. Solve 19*s = 9*s + o for s.
4
Let q(d) be the second derivative of -d**5/20 + 7*d**4/12 - d**3 + 5*d. Let r be q(6). Let j(h) = -h**2 + 9. Let i be j(r). Solve -i = -4*z + z for z.
3
Suppose 0 = 3*q + 8*m - 12*m, -2*q = m. Solve -4 = -y - q*y for y.
4
Let r(w) = 65*w**2 + w + 1. Let d be r(-1). Suppose -4*h + 2*h - 5*j = -