). Let v be 1/3*(-36)/r. Suppose -2*t + t = -v. Solve -17 = -t*g - 5 for g.
4
Let a = 6 - 4. Let s = 2 - 0. Suppose 2 = s*x + 4*n - 0, 0 = -5*x - 2*n + 5. Solve -a*w - x = 9 for w.
-5
Let a = 1 + -1. Let u(g) = g**2 - 5*g + 5. Let z be u(5). Let l = a + z. Solve 3*j = l*j + 4 for j.
-2
Suppose g + 2 = 5. Suppose -4*j + g*l + 10 = 0, 8*l + 6 = -4*j + 3*l. Let f be (j + -9)*2/(-4). Solve -6 = -f*a + 6 for a.
3
Let y(i) = i**2 + 9*i + 10. Let g be y(-8). Solve -g*n - 9 = n for n.
-3
Let l be ((-1)/1 - 3)/(-1). Suppose -17 + 43 = 2*i + l*c, 0 = 5*i + 3*c - 30. Solve i*q + 3 + 3 = 0 for q.
-2
Suppose -4*u - q + 15 = 0, 0*q - 4*q = 2*u + 10. Solve 0 = -0*f - u*f - 25 for f.
-5
Let a(h) = h - 5. Let o be a(0). Let l be (2/o)/((-2)/(-10)). Let q = -2 - l. Solve -2*w + 5*w - 6 = q for w.
2
Let p(f) = -f**2 + 5*f + 2. Let m be p(6). Let l(n) = -n - 4. Let w be l(m). Suppose -1 + 3 = s. Solve 2 = s*d - w*d for d.
1
Let u = -10 + 17. Suppose 2*r + 3*m = 19, 2*r - u = -4*m + 15. Suppose 5*n = r + 20. Solve -3*j + n = -7 for j.
4
Let r = -5 + 5. Solve r = -4*t + 11 - 3 for t.
2
Let z(d) = -9*d + 2*d**2 + 1 + 10*d - 4*d**2 + d**2. Let k(j) = -j. Let g be k(0). Let q be z(g). Solve 3*p + 11 = -q for p.
-4
Let q(y) = -y**3 + 4*y**2 - y + 1. Let k be q(2). Solve 3*l - k*l + 12 = 0 for l.
3
Let y be (-18)/(-42) + 128/28. Solve -4 = y*l - 24 for l.
4
Let u = -20 - -18. Let r = u + 29. Solve 0 = 4*m + 7 - r for m.
5
Let k(n) = 2*n + 5. Let w be k(-1). Solve 4*y = w*y for y.
0
Let u(n) = n**3 + 18*n**2 + 17*n + 4. Let q be u(-17). Solve 2*x - q = -0*x for x.
2
Let g be 1*(1 - (5 + 0)). Let c(r) = r**3 - 4*r**2 + 2*r - 3. Let u be c(4). Let x = u + g. Solve 5*s + 9 = -x for s.
-2
Let i(w) = -w**3 - 11*w**2 + 3. Let a be i(-11). Solve -2 = j - a for j.
1
Let s(y) = -y + 15. Let t be s(15). Suppose 0 = -2*p - 5*j - 4, t = -4*p - 6*j + j + 2. Solve p*h - 2*h = 0 for h.
0
Let j be ((-4)/(-3))/((-6)/(-27)). Suppose 0 = 2*i - 13 + 3. Suppose -4*u - 20 = -j*u + i*f, -4*u + 18 = f. Solve 3 = 2*m + u for m.
-1
Let k be (-4)/(-10) - (-28)/5. Solve 0 = g - 1 + k for g.
-5
Let t = -140 + 146. Solve -t = -0*v - 2*v for v.
3
Let a(v) = 6*v + 1. Let t be a(4). Solve 7*m - 2*m = t for m.
5
Suppose 4*p = -p. Solve p = -3*f + 6*f + 3 for f.
-1
Suppose 5*t = 7*t - 4*b, 3*t - 4 = 2*b. Let c(y) = -y**2 + 5*y - 2. Let k be c(3). Suppose -2*i + 0*n = -2*n, -6 = 2*i - k*n. Solve -t = 5*h + i for h.
-1
Let y(p) be the second derivative of p**4/24 + 5*p**3/3 - p**2 + 2*p. Let w(j) be the first derivative of y(j). Let u be w(-7). Solve 0 - 3 = u*h for h.
-1
Suppose w - 12 = -2*r, 4*w - 15 = 1. Let m be (-64)/36 - r/18. Let o be 4 + m + 0/(-2). Solve -6*n = -4*n - o for n.
1
Suppose 2*g + 3*k = 6, 2*g - 2*k = 3*g - 4. Suppose -l = -6*l + 15. Solve w - l*w + 4 = g for w.
2
Suppose 0 = -7*f + 6*f. Suppose -3*n + 4*o - 1 = f, -6*n + 5*o - 5 = -3*n. Suppose 3 = 2*r - 3*z + 2, 5*z + 3 = 4*r. Solve n*s = r*s + 12 for s.
4
Let x(h) = 1 - 4*h + 12 + 1 + 3*h. Let n be x(10). Solve 2*t = n*t for t.
0
Let n be 4*4/8 + (-12)/(-6). Solve 7 - n = -h for h.
-3
Suppose -1 + 4 = 2*c + 3*v, 4*c - 1 = -v. Suppose 4*r = -3*u + 29, -r + 4*u + c*u = 7. Suppose 0*p + 4*p - 12 = 0. Solve -2*h + p = -r*h for h.
-1
Let i(w) = 2*w**3 - 3*w**2 - 2*w - 4. Let j be i(3). Suppose f - j = -4*d, -6 + 1 = 2*d + 5*f. Let r = d + -3. Solve 0 = r*k - 6*k - 16 for k.
-4
Let b(u) = -u**2 + 4*u + 10. Let i be b(5). Solve i = 4*c - 7 for c.
3
Let p(k) = 2*k - 2. Let s be p(3). Suppose 66 = s*c + 3*g, -c + 1 = -5*g - 4. Suppose -4*a + 2*t + 91 - 31 = 0, -a + c = -5*t. Solve -a = -0*n - 5*n for n.
3
Let b be -1*(2 + -6) - 2. Suppose 4*i - 1 = 7. Suppose -2*j + 0*j = -4*h + 6, -i*j = -2*h. Solve j*v = 4 + b for v.
2
Let a(j) = -2*j. Let m be a(-1). Suppose -2*c + 20 = m*c. Suppose 2*l + 2*l - 11 = -r, -c*l = -2*r - 30. Solve -l*i + i = 3 for i.
-1
Let r(a) = 3*a + 32. Let z be r(-10). Solve 3*u = 4*u - z for u.
2
Suppose 4*m + 11 = 5*a - 30, -4*a - 5*m = 0. Solve a*w = 4*w + 3 for w.
3
Let d = -125 + 131. Solve d*i = i + 5 for i.
1
Let r = -19 + 19. Solve r = -y - 2*y - 9 for y.
-3
Suppose -30 = -6*k + k. Let f be (k - 5)/((-2)/(-8)). Solve f*y = -0*y + 4 for y.
1
Let t = -13 + 21. Let x(g) = g**2 - 8*g + 7. Let f be x(8). Suppose -f = -q - 2. Solve q*y - t = y for y.
2
Let y(w) = 3*w**2 + 13*w - 6. Let n be y(-5). Solve 0 = 2*m - 4*m + n for m.
2
Let x = -1 + 4. Let a = -3 + x. Solve a*p = 3*p + 15 for p.
-5
Let o(r) = r**3 - r**2 - 2. Suppose 2*s - i + 1 = 0, 8*s - i - 5 = 3*s. Let g be o(s). Solve 0 = -2*c - g*c for c.
0
Let x(n) = n - 2. Let y = 15 - 13. Let m be x(y). Solve -3 = -r - m for r.
3
Suppose -a = 2 - 5. Suppose 3*y + 35 + 16 = 3*j, 3*y = -j + 29. Suppose -x + j = a*x. Solve 0*h + x = h for h.
5
Let n(z) = z**3 + 8*z**2 - z - 4. Let y be n(-8). Suppose -5*g + 24 = y, -4*r - 20 = g. Let k be (r/5)/(9/(-30)). Solve 0 = -k*h - 0*h - 12 for h.
-3
Suppose -7 = -5*a + 43. Let n be ((-3)/5)/((-2)/a). Let w be n/(-4)*(-5 - 3). Solve -d - 2*d + w = 0 for d.
2
Let i = 15 - 11. Solve -3*x = -2*x + i for x.
-4
Let q(x) = -x + 14. Let b be q(6). Let h = -5 + b. Suppose 2*z = 5*l + h*z - 11, -4*z - 4 = -4*l. Solve l*y = y + 3 for y.
3
Let t(v) = 3*v - v + 3*v - 4*v + 5. Let j be t(0). Solve 3*z - 4 = j*z for z.
-2
Suppose 0 = -5*u + 3*t - 46, 4*u + 24 = t - 10. Let w = 16 + u. Suppose y = -y - w, -23 = -5*p + 2*y. Solve p*o = 4*o for o.
0
Let i(w) = -96*w + 1. Let p be i(-1). Let x = p + -66. Suppose -25 = -5*v, -4*v + v + x = 4*j. Solve -l = j*l for l.
0
Suppose -5*c - 2*x + 48 = 0, 2*x - 4*x = -2*c + 8. Solve -2*t + 0*t = c for t.
-4
Let p = 5 + -1. Suppose 0 = 5*j + 5*u, 5*j + p*u - 6*u - 14 = 0. Let v be (-7)/(-4) + j/8. Solve v*a = 6*a for a.
0
Let h = -2 + 9. Solve -h = 3*n + 2 for n.
-3
Let s = 103 - 70. Suppose 2*t + 3*i - 20 = 7, 2*t - s = 3*i. Let n be 2 + 3/3 + -1. Solve -n*g = 3*g + t for g.
-3
Let d(q) = 2*q - 18. Let g be d(11). Solve g = 3*a - 11 for a.
5
Suppose -81 = -4*x + 5*r, -5*x + 81 = -2*x + 3*r. Let v be x/4 - (1 - -1). Solve -n + 5 = v for n.
1
Let v(s) = -s**2 + 6*s + 2. Let i be v(5). Suppose 12 = 2*x + j, -5*x - 5*j + 42 = i. Solve 0 = x*o - 3*o + 2 for o.
-1
Let w(d) = 5*d**2 + 2*d + 1. Let q be (1/3)/(3/(-9)). Let a be w(q). Solve 10 = l + a*l for l.
2
Suppose 5*d = 8 - 3. Let b = d - -4. Solve 4*q = -b + 17 for q.
3
Let r be (7/21)/((-1)/(-3))*0. Suppose -n + 4 = 2*k, -3*n - k + 4 = -3*k. Suppose r = -n*j - j. Solve j*m = -m + 1 for m.
1
Let z(j) = j**3 - 10*j**2 - 9*j - 19. Let o be z(11). Solve o = v + 6 for v.
-3
Let u(n) = -n**3 - 4*n**2 - 2*n - 2. Let y be u(-4). Suppose y = 3*t - 24. Solve -t = 2*v - 2 for v.
-4
Suppose -3*m = u - 5 - 4, -3*m + 15 = 3*u. Let b be -4 + 24 + 0 + 0. Suppose -2*t = -4*j, 0*t + j = -4*t. Solve k + u*k + b = t for k.
-5
Let s be (-6)/21 - (-37)/7. Suppose 11 + 4 = s*j. Solve a + 4 = j*a for a.
2
Let p = 124 - 120. Solve 2*h - 2 = p*h for h.
-1
Let b(p) = -4 - 3*p**2 + 0*p**2 - p + p**3 + 0*p**3 + p**2. Let d be b(3). Solve h - d = -0*h for h.
2
Let f = -12 + 17. Let u = 21 - 17. Solve f = -u*n + 3*n for n.
-5
Let z(s) = s**2 + s. Let o be (-4 - (-1 - -1)) + 2. Let x be z(o). Suppose -4*m - 2*d + 12 = -10, -28 = -4*m - 4*d. Solve -2*q = -m*q - x for q.
-1
Let k(r) = -r**3 - 4*r**2 + 2*r + 3. Let s be k(-5). Solve 3 = -5*g + s for g.
3
Let l(o) = -o**3 - 5*o**2 - 6. Let d be l(-5). Let t = 9 + d. Let x be ((-6)/(-2))/1*t. Solve x = r + 2*r for r.
3
Let d = 14 + -11. Solve q - 2 = d*q for q.
-1
Suppose 3*k + 10 = 5*q - 92, 2*k - 86 = -4*q. Suppose -4*u = 1 - q. Suppose w - u*a + 7 = 0, -4*a = 5*w - 2*w - 17. Solve i = -4 + w for i.
-1
Suppose 2*h + h + 3*o - 12 = 0, 4*o = 5*h - 56. Solve 4*r + h = 4 for r.
-1
Let y(f) = 3*f**3 - f**2 + 1. Let h be y(1). Suppose 0 = r + r. Solve -u + h*u + 4 = r for u.
-2
Suppose 9 = 3*d, 5*z = d - 9 - 4. Let s be 9/3 - (-2 - z). Solve -2*q = s*q + 15 for q.
-3
Suppose 4 = -3*i + 13. Let k = -37 - -37. Suppose k*m - i = -3*m. Solve -11 = 4*a + m for a.
-3
Let w = -23 + 27. Solve 2 - 18 = -w*f for f.
4
Suppose -2*n = -4*n + 88. Let j = n - 31. Suppose -27 = -5*a + j. Solve -8 = 4*q + a for q.
-4
Let p(x) = -9*x - 6. Let u be p(-2). Solve -o = -5*o + u for o.
3
Let d be (-3 - 5)*3/6 - -6. Solve -d*w = -6*w for w.
0
Suppose -3*q + 30 = 2*q.