3*v. Solve 12 = -4*z - f for z.
-3
Suppose 0 = -3*y + y - 24. Let q be (1 + (-5)/3)/(8/y). Suppose 0 = 3*z - 2*z - 2. Solve -g = q + z for g.
-3
Let y = -13 - -32. Let w = 28 - y. Let i be 32/6 + (-3)/w. Solve -4 = i*k - 14 for k.
2
Let t(a) = a + 153. Let d be t(-41). Solve 0 = 113*o - d*o - 5 for o.
5
Suppose 0 = -5*v + 9 + 11. Let r(m) = 159*m - 1. Let q be r(1). Suppose -q + 163 = 5*z. Solve -o - z = v for o.
-5
Suppose 1248 = -9*m + 168. Let y = -120 - m. Solve -2*x - 4 = -y for x.
-2
Let c be (6 - 7 - -6) + -3 + 2. Solve -c*j = -0*j for j.
0
Let f(r) = 21*r**2 + r. Let m be f(-2). Let b = m - 69. Solve -5*x - 3 = -b for x.
2
Suppose 2*c = 1 + 9. Suppose 0 = -c*p - 4*y + 1, -6 = 3*y - 3. Solve -3*b - 4 = -p for b.
-1
Suppose 3*i = -4*b + 10, -22*i + 3*b - 12 = -25*i. Solve -i*d + 7*d = -5 for d.
-5
Let r be (102/(-306))/((-10)/(-12) - 1). Solve 5*l - 12 = -r for l.
2
Let p be 3*48/18 - 6. Solve p*i + i + 9 = 0 for i.
-3
Suppose -8*i - 18 + 98 = 0. Solve -23*p = -18*p + i for p.
-2
Suppose u = -5*i + 6, 0 = 7*i - 3*i + 4. Let f(n) = n. Let v be f(2). Solve v*h + u = 5 for h.
-3
Let p(w) = -23*w**3 - w. Let n be p(-1). Let h = n + -25. Let v = h + 5. Solve y + 1 + v = 0 for y.
-5
Suppose 1579 = 11*w + 1546. Solve -38 = -w*a - 47 for a.
-3
Suppose 0 = -5*g + 3*g + 4*x - 8, -32 = -3*g - 5*x. Solve 0 = -i - g + 6 for i.
2
Let r be 1216/288 + (-2)/9. Solve r = -3*q - 5 for q.
-3
Suppose 148*q - 150*q = 0. Solve b + 7 - 2 = q for b.
-5
Let g = 235 - 159. Let u = g - 74. Solve 2*l - 12 + u = 0 for l.
5
Let n(b) = -b**3 + 8*b**2 - 3. Let k be n(8). Let d be (k/(-18))/((-1)/(-6)). Suppose -15 - 1 = 4*o, 0 = 5*h + o - d. Solve 7 = 2*m - h for m.
4
Let a(d) = 12*d + 77. Let v be a(-5). Solve -v*o + 15 = -14*o for o.
5
Suppose 3*v + 4*x = 30, -2*x = 5*v - 27 - 37. Suppose -3*p - p = 3*r - v, r + p - 4 = 0. Solve 15 = -f - r*f for f.
-5
Suppose -3*t + 6*t = -15, i + t = -11. Let u = i - -9. Solve u*x = -0*x + 3 for x.
1
Suppose -69*t + 88*t - 266 = 0. Solve t = 5*b - 6 for b.
4
Let v be ((-84)/98)/(1/21). Let y be -4 - (-9)/(v/(-8)). Solve -2*n + 4*n + 2 = y for n.
-1
Let j be (-5 + (3 - -1))*-5. Suppose -3*g + h = -2*h - 51, g + j*h = 5. Solve 4*o + g = o for o.
-5
Suppose -21 = -3*g + 3*z, z = -0 - 3. Let x(v) = v**3 - 3*v**2 - 7*v + 14. Let k be x(g). Solve d = -k*d - 15 for d.
-5
Suppose 0 = -2*l - 54 + 66. Solve 2*r - l = -0 for r.
3
Suppose 0 = -3*o + 4*w + 35, -6 = o + 2*w - 21. Let g = 18 - o. Let b be 6/((g - 3) + -1). Solve b*l = l for l.
0
Suppose 2*q + 5*w - 10 = 0, -5*q + 25 = -0*w + 3*w. Suppose -3 = 4*a - q*a. Suppose 0*y = a*y - 3. Solve -y - 1 = 2*j for j.
-1
Let j(q) = q**3 - 6*q**2 + 2. Let n(r) = -r**2 + 5*r + 2. Let p be n(4). Let h be j(p). Suppose -t - h*t = -15. Solve t*d + 9 = -6 for d.
-3
Let u = -11 + 2. Let l = u - -13. Suppose 2*j + 10 = l*w, -j - 2 = -w + 1. Solve -d - 5 = -w*d for d.
5
Let z(r) = 2*r + 26. Let s = 8 - 21. Let c be z(s). Solve c*t = -5*t + 5 for t.
1
Suppose -19 = -3*z - 5*s, 2*z - 3*s = -0*s. Let w be z/(5/((-140)/(-12))). Suppose 3*u + w = 31. Solve 3*g = u*g for g.
0
Let q(x) = 1. Let g(t) = -t**3 - 6*t**2 + 8*t + 8. Let o(n) = -g(n) + 4*q(n). Let i be o(-7). Solve 0 = 8*h - i*h + 15 for h.
-3
Suppose -123 + 75 = -6*m. Solve -3 = -m*r + 5*r for r.
1
Let g = -432 + 445. Solve -g*a + 17*a = -16 for a.
-4
Let b(x) = 2*x**2 - 32*x + 99. Let k be b(12). Solve 17 = 4*t - k for t.
5
Let s(o) be the second derivative of o**2 - 1/6*o**3 + 1/4*o**5 - 1/12*o**4 + 0 - 8*o. Let n be s(1). Solve -5*x - 10 - n = 0 for x.
-3
Let z(n) = -n**2 - 13*n + 33. Let h be z(-5). Solve 9 = 16*u + h for u.
-4
Let l be (0 + -5)*(-16)/((-64)/(-20)). Solve 4*w + 5 = l for w.
5
Suppose 3*x = 66 - 57. Solve -x*c + 10 = -2 for c.
4
Let a(q) = 3*q - 2. Let b be 3/((-44)/16 + 2). Let u be a(b). Let c(m) = m**2 + 13*m - 11. Let x be c(u). Solve -2*t + 5 = -x for t.
4
Let z(l) = -2*l + 35. Let x(a) = 4*a - 71. Let u(b) = -2*x(b) - 5*z(b). Let y be u(18). Solve 4*m = y*m for m.
0
Let h(i) = -29 - 13*i + 33 + 0*i**2 - i**2. Suppose -q + 0 = 13. Let a be h(q). Solve -a*p + 7 = -5 for p.
3
Let u(t) = t**3 + 2 + 6*t + 5*t**2 + 2*t**2 + 0*t**2. Let y be u(-6). Suppose 0 = 2*l - 4, -y*l - 3*l = d - 16. Solve -2*v = -2 - d for v.
4
Let t(i) = -i**3 + 3*i**2 - 2. Let b be t(2). Suppose 3*o = w + 15, -32*o = -33*o + 2*w. Solve -16 = b*l - o for l.
-5
Let t(o) = -o + 6. Let m be t(-6). Suppose u = 7*u - m. Let j(w) = 2*w**2 - w - 4. Let r be j(u). Solve -r*c = -c for c.
0
Let l(q) = q - 2. Let n be l(4). Let y be (0 + 10)*-1 - n. Let s be y/(-3 + 4 + -2). Solve -4*g = -0*g + s for g.
-3
Let d(z) = -200*z + 2 + 404*z - 9 - 207*z. Let o be d(-3). Solve -4 = 2*q - o for q.
-1
Let b = -7 - -11. Suppose -b*w + 4*l + 88 - 16 = 0, 3*w - 36 = -3*l. Solve d = 4*d - w for d.
5
Let g = -1047 + 1051. Solve -16 = 4*x + g*x for x.
-2
Suppose 3*z - 3 = -12. Let i(c) = -c**3 - 2*c**2 + c + 1. Let j be i(z). Let k(t) = -t**2 + 8*t - 5. Let s be k(j). Solve -4*q = -s*q + 2 for q.
-1
Suppose -3*v - 6 = -b, 0*b = 3*b + 5*v + 10. Solve -z - z - z = b for z.
0
Let x be (3/((-36)/64))/(4/(-6)). Solve -3*c = -x*c for c.
0
Suppose 5*l - 25 = 5*c, l + 2 = 5*c + 7. Suppose -2*y - y + 78 = c. Suppose -4*a = -2*r + y, 5*a = -5*r + 2*a. Solve r*o + 8 = -o for o.
-2
Let b be -3*19/3 + (-1 - 0). Let v(m) = 2*m + 48. Let w be v(b). Solve 4*n - 12 = w for n.
5
Suppose 4 = 5*t - 81. Suppose g - 57 = -2*y, 3*y - 107 + t = -3*g. Suppose -5*i - 2 = 2*o - 17, -5 = o. Solve i*u + y = 2 for u.
-5
Suppose -59 - 6 = -5*a. Solve a*g + 27 = 1 for g.
-2
Let a(y) = y - 18. Let x be a(43). Solve -3*m = -8*m - x for m.
-5
Suppose 0 = 17*r + 13*r - 90. Solve 0 = -4*y - 5 - r for y.
-2
Let q(l) be the first derivative of l**4/4 + l**3/3 + l**2/2 + 8*l + 11. Let y be q(0). Solve -3*n = -y*n for n.
0
Suppose 5*q = 20, 8*n - 5*q + 20 = 7*n. Solve n = -w + 2 + 1 for w.
3
Suppose 7*k - 360 = -10. Solve -k*h + 27 = -59*h for h.
-3
Suppose -9*i = -10*i - 5*v + 67, 2*i + 3*v - 106 = 0. Solve 4*c - 63 = -i for c.
4
Suppose b - 5 = -b - 5*h, -4*h = 5*b - 4. Let a be 12*(b + (-16)/(-12)). Suppose a*m - 14*m - 4 = 0. Solve -3*v - 1 = m for v.
-1
Suppose -14 = -x - x. Suppose 2*k - x = 3. Solve 4*n = -n + k for n.
1
Suppose s + 3*o - 10 = -2, 0 = 4*o - 4. Let b = -537 + 537. Solve b*u + 5 = s*u for u.
1
Let v(g) = -g**3 + g**2 + 4*g - 4. Let n be v(-4). Suppose 4*s + n = 19*s. Solve 0 = -s*q + 2 + 2 for q.
1
Let q = -30 + 72. Let u = 42 - q. Solve d - 2 - 1 = u for d.
3
Let s(p) = 0*p + p + 2*p**2 - p**3 + 2*p. Let l be s(3). Suppose 57*c + 2*r = 56*c + 6, 0 = -4*r - 4. Solve -3*y + c*y + 5 = l for y.
-1
Suppose 87 = -y + 4*y. Suppose 4*j + y = 165. Let t be (-3)/(-6) + j/4. Solve v = 4*v + t for v.
-3
Suppose 20 = -5*j - 0*j. Let g be 410/25 + j/10. Suppose 2*v - 2*h - g = -0*h, 0 = 5*h + 25. Solve v*u + 18 - 6 = 0 for u.
-4
Let d(x) = 3*x**2 + x - 4. Let h be d(-3). Solve -10*q + h = -6*q for q.
5
Suppose 13*d - 3*d = 7*d. Suppose v + 2*a + 3 = 0, 0*a + 2*a + 6 = d. Solve -v*u + 0*u = -15 for u.
5
Let c = -45 - -45. Suppose c = 5*n - 16 - 14. Solve p = 4*p + n for p.
-2
Let z(m) = -2 - m**2 - 7*m - 4 + 3. Let j = 180 + -186. Let y be z(j). Solve 8*q - y*q - 15 = 0 for q.
3
Let i = -14 - -17. Let k(r) = 7*r**2 + r - 6. Let u(c) = 4*c**2 + c - 3. Let b(s) = i*k(s) - 5*u(s). Let x be b(4). Solve 0*q + q = -x for q.
-5
Let g be -3*((-40)/(-12) + -4). Suppose -5*p - g*i + 4*i + 10 = 0, -10 = -5*p + 5*i. Solve -3 = -p*t - 1 for t.
1
Let w = 4 - 1. Suppose -9 = w*y, -2*a = -7*a + 3*y + 84. Solve a + 5 = 4*i for i.
5
Let r(s) = -s**2 - 25*s + 368. Let l be r(10). Solve -l = 12*p + 18 for p.
-3
Suppose -21*l + 19*l - 26 = 0. Let y = l + 15. Solve -y*j + 0 = -4 for j.
2
Let t(y) = y + 10. Let p be t(-6). Suppose p*i - 35 = -3. Solve -2*g - 2*g + i = 0 for g.
2
Let j = 27 - 23. Suppose 4*y = 12 + j. Solve 4 = y*c - 0 for c.
1
Let n = -16 - -30. Let o = 16 - n. Solve o*p + 3 = 7 for p.
2
Suppose -48*f + 45*f = -90. Let k be (-6)/((2/(-1))/(f/10)). Solve 2*i - 1 = -k for i.
-4
Let q(d) = d**3 + d**2 - 13*d - 5. Let l be q(-4). Let w be (0*l/(-2))/((-2)/(-1)). Solve w*o - 5*o - 5 = 0 for o.
-1
Suppose 2*u - 9 = -m, -9*u + 2*m = -7*u. Solve u = 4*g + 23 for g.
-5
Let d be (4 - 7/4) + (-33)/(-44). Solve d*v + 6 = 6*v for 