/((-8)/(-12) - v). Solve s*z = 2*z for z.
0
Let u(d) = d**2 + 17*d + 70. Let h be u(-11). Suppose h*b + b + 5*z = 0, b = 4*z + 15. Solve 9 = -b*k - 3 for k.
-4
Let a = -365 + 365. Solve a*s + 0*s = 10*s for s.
0
Let y(t) = t**2 + 39 - 118 + 41 + 40. Let w be y(2). Solve f + w = 3 for f.
-3
Suppose 3*f - 41 = t - 3*t, -5*t + 2*f + 131 = 0. Solve -7*v - t = 3 for v.
-4
Suppose -128*g + 131*g = 15. Solve 24 = g*a + a for a.
4
Let x = -585 - -588. Solve -13*a - 10 = x for a.
-1
Let v(o) = -95*o**3 + 2 - 3 + 96*o**3. Let z be v(1). Suppose -5*x + 6*x - 2 = z. Solve x = -2*l + 4*l for l.
1
Let r = 1 + 1. Let n = -172 + 172. Solve n - 10 = r*x for x.
-5
Let p(r) = -11*r + 86. Let w be p(7). Solve -w*y + 25 = -4*y for y.
5
Suppose 2*g - 4 + 0 = 0. Suppose -g*f + 3 = -5. Solve 6 = 2*j - f*j for j.
-3
Let r(n) = n**3 + n**2 + 2. Suppose -2*i - 3*o = 12, o - 30 = 5*i - 0*i. Let t be 4/(-6) + (-4)/i. Let w be r(t). Solve -w*p - 6 = p for p.
-2
Suppose -3*j + 5*a = 3*a - 40, -3*a - 67 = -5*j. Let l be -2 + 24/15 + (-12)/20. Let q be (21/j)/(l/(-2)). Solve -n - 4 = -q for n.
-1
Let w(t) = -3*t - 16. Suppose 2*f = -3*f - 30. Let r be w(f). Let x = -37 - -62. Solve r*z + 3*z - x = 0 for z.
5
Let g = 45 + -43. Let t be -1*8*(-2)/1. Suppose -5*x + 14 + t = 0. Solve g*h = -h + x for h.
2
Let r be 20/6 + (-2)/(-3). Let a be 0/((-3 - 1) + 7). Suppose -o - 3*o = a. Solve r = 4*w - o*w for w.
1
Let s(j) = -j**3 - 15*j**2 - 15*j - 11. Let l(w) = -w**2 + w - 14. Let v be l(0). Let o be s(v). Solve a = 2*a - o for a.
3
Let h = -6 + 10. Suppose 4*y + 36 = 2*g, h = y - 5*y. Solve 3*k = -k + g for k.
4
Let s = -1416 + 1416. Let d be 27/18*4/6. Solve 3*q - 2 - d = s for q.
1
Suppose 15*f - 13*f - 4 = 0. Suppose 0 = -f*q + 8, 3*q = 4*t + 6*q - 16. Solve -g + 5 = t for g.
4
Suppose 15*x + 273 = 22*x. Solve 12*p - 15 = -x for p.
-2
Let n = 243 - 234. Solve 4*t + 21 = n for t.
-3
Let j = -22 + 26. Suppose -j = -9*r + 5. Solve 0 = -2*v - 1 - r for v.
-1
Suppose 0 = -2*y - 1 + 9. Let c = y + -2. Let b(w) = -w**2 - 10*w + 3. Let s be b(-10). Solve c*a + 7 = -s for a.
-5
Suppose 8*f + 359 - 391 = 0. Solve f = 12*a - 13*a for a.
-4
Let n = -1957 + 1961. Solve 7 - n = -t for t.
-3
Suppose 0 = -2*p + 4*f + 7 + 17, 4*f + 20 = 0. Suppose p*m + 10 - 12 = 0. Solve -x + 2 = m for x.
1
Let t be (-15)/190*-24 - 4/(-38). Solve 2*c = 3*c + t for c.
-2
Suppose -4*l + 6 = -l. Suppose -y + f + 4*f = 23, 3*y + 4*f = 26. Let z = l - y. Solve 0*v - 2*v - 4 = z for v.
-2
Let t(s) = 2*s**2 - 6*s + 14. Let b(k) = -k**2 + 6*k - 14. Let d(y) = 3*b(y) + 2*t(y). Let g be d(-8). Solve -g*i + 4 = -0*i for i.
2
Let a = -83 - -86. Let p(z) = 5*z + 10. Let k be p(a). Solve 0 = -5*b + k - 0 for b.
5
Suppose 2*o - 25 = z - 15, -o - 5*z + 16 = 0. Solve -g - 1 = -o for g.
5
Suppose -4*a + 3*a + 4*q = -15, -5*q + 60 = 4*a. Let b = 5 + 1. Let u be (-3)/b*2*0. Solve u*j + 3*j - a = 0 for j.
5
Let q be (0/(3 + -9))/2. Solve q = -11*a + 1 - 12 for a.
-1
Suppose 5*t = 23 - 8. Suppose t*f + 0*s = -s + 14, 3*f - s = 4. Solve 2*k - 5 = f for k.
4
Let k(z) = -z. Let c(q) = 2*q + 11. Let s(n) = c(n) + 3*k(n). Let w(x) = 3*x - 1. Let o be w(3). Let v be s(o). Solve -v*h - h = 8 for h.
-2
Suppose -2*p + 10 = 0, 49*q = 50*q - p - 57. Solve q = -4*n + 42 for n.
-5
Suppose -2*f + 3*a = 9, 5*a - 25 = -5*f - 10. Suppose 2*u = -2*u + 12. Let s = u - 0. Solve f = s*m - 5 - 7 for m.
4
Let r = 2 - 1. Let x = 5 + -8. Let n be (x/(-3))/(1 - 1/2). Solve -n*t + t - r = 0 for t.
-1
Suppose -5*n + 10 + 10 = 0. Suppose -n*q + 1 = -15. Let z be 67/4 - (-3)/12. Solve -1 = q*p - z for p.
4
Let h be 6/18 - 140/(-12). Solve -3*i = i - h for i.
3
Let k(y) = -y. Let l be k(0). Suppose 2*o - 16 = -l*o + 4*x, 3*o + 5*x = 46. Solve 8*h = 4*h - o for h.
-3
Let n(p) = 2*p - 12. Let d be n(9). Let w = -360 - -363. Solve 0 + d = w*x for x.
2
Suppose 5*s = 4*x - 5, -s + 3*x - 1 = -x. Let q(p) = 25*p**3 + 2*p**2 - 1. Let y be q(s). Let h be y*2*2/(-12). Solve z - 3*z = h for z.
-4
Let r be -5 - (-10)/(-15)*-15. Suppose 0 = 5*y - 10*y + 3*c + 31, 2*y + 4*c = 2. Solve r*o = -y - 0 for o.
-1
Let h = 17 + -14. Suppose 4*f = -5*m + 9*m + 8, -2*m = f + 1. Suppose 0 - 11 = -4*k - z, -4*z = -12. Solve -h + f = k*o for o.
-1
Let w be (3 + 57)*2/6. Suppose -w = -0*s - 4*s. Suppose -2*r - 5*u - 6 = 0, 0*r - 4*u + s = 3*r. Solve 2*h - r*h = 0 for h.
0
Let m = 5 + 29. Suppose m*u = 35*u. Solve u = 4*i + 3 + 1 for i.
-1
Let k(f) be the second derivative of -f**5/20 + 2*f**4/3 + 4*f**3/3 + 13*f**2/2 + 13*f. Let m be k(9). Solve 2*t - m = 2 for t.
3
Let c be (243/(-18))/((5/12)/(-5)). Let j be c/198 - 4/(-22). Solve -z + 0 = j for z.
-1
Let j(n) = 6*n + 7. Let a be j(-5). Let v = -15 - a. Suppose 8*c = 10*c - v. Solve c*o + 15 = -5 for o.
-5
Let z(p) = p**2 + 12*p + 13. Let d(y) = y**3 + 7*y**2 - 7*y - 2. Let s be d(-8). Let k be z(s). Let u be (28/k)/(4/(-10)). Solve -u = -4*q + 6 for q.
4
Suppose -s - s - 5*c = -24, 14 = 5*s + c. Solve 0 = -7*i + 6*i - s for i.
-2
Let v(h) = 16*h - 10. Let o be v(4). Let u be 150/o - 4/(-18). Suppose -3*b - 4*x = 2, -5*x - 13 = -3*b + u. Solve b*g = -3 - 7 for g.
-5
Let k = -22 + 26. Let i be 6 + 1/(-2)*(-16)/k. Solve -5*x + 33 - i = 0 for x.
5
Suppose 5*j - 2*n = -n - 91, 2*j - 3*n + 26 = 0. Let m = 22 + j. Solve 1 = m*h + 13 for h.
-4
Let q = -139 + 142. Solve -6*r - 2*r = -q*r for r.
0
Suppose 0 = -11*g + 9 + 13. Solve -g = 6*p + 28 for p.
-5
Let k(y) = 12*y - 81. Let j be k(9). Solve -3 = -6*v - j for v.
-4
Suppose -4*r + 68 = 2*k, -2*r = -5*r - 5*k + 58. Solve 7*s = 3*s - r for s.
-4
Let g(y) = -10*y**2 + 2*y + 3. Let f(w) = -9*w**2 + w + 3. Let z(n) = -4*f(n) + 3*g(n). Let b be z(1). Solve -b*p = 16 - 1 for p.
-3
Suppose -s - 1 = -w + 11, 2*s = w - 12. Let f be -2 - (-171)/w - (-1)/(-4). Solve -x + f = 2*x for x.
4
Suppose -x - 3*l - 11 = -0*x, 0 = -x + l + 5. Let z be (-1)/8*-26 + 9/12. Solve -z*m - x = -5*m for m.
1
Let x = 16 - 13. Suppose 3*p + 11 - 47 = -x*l, -4*l - 105 = -5*p. Let s = p + -16. Solve -1 - s = -2*z for z.
1
Let v(d) = -10*d - 129. Let f be v(-13). Let a = -3 + 6. Solve 0 = -2*o - a + f for o.
-1
Let l(i) = -2*i**2 + 18. Let w be l(6). Let a = 54 + w. Solve -y + 3*y + 8 = a for y.
-4
Let a = 63 + -53. Suppose 14*k = a*k. Suppose 4*u = -9 + 25. Solve u*b - 20 = -k for b.
5
Let o(s) = s + 8. Let p be o(-8). Solve -2*y - 3*y = p for y.
0
Suppose 0 = 3*s + b - 230 + 13, s - 71 = b. Solve 75*x + 12 = s*x for x.
-4
Let c = 2 + 2. Let d(i) = i**2 - 5*i + 7. Let z be d(3). Let u be ((-11)/z)/(-2 + 1). Solve -5*v + c = -u for v.
3
Suppose 168*d = 55*d + 226. Solve 16 = -d*b + 26 for b.
5
Suppose -4*c - 10 = 2*i, c - i + 12 = 2. Let q be (-18)/c + (-4)/(-10). Let g be 3/(q/((-128)/(-6))). Solve 3*o + g = -o for o.
-4
Let v(w) = -w**3 - 3*w**2 + 6*w + 2. Let y be v(-4). Let b be 16/y*((-15)/(-10))/(-1). Solve -b = -p - 3*p for p.
1
Let u be 17 - (24/(-3))/4. Suppose -4*j - 2 = -18. Solve -j = 5*y - u for y.
3
Let s be 3*137/3*-1. Let n = s + 137. Solve 4*b + b - 5 = n for b.
1
Let r(w) = -w**3 + 12*w**2 - 10*w - 10. Let c be r(10). Solve 17*t + t = -c for t.
-5
Let h be (-2)/(-3) + 352/48. Let f(c) = c - 5. Let j be f(h). Let x(p) = p**2 - 3*p + 3. Let z be x(4). Solve -j*m = -2 - z for m.
3
Let a be (8/(-14))/(22/(-231)). Solve -14 = -a*z + 16 for z.
5
Let m be -3 + -2 + 8 + -1. Suppose 2*u - u = 4. Let o be (-1 + u)/(m/2). Solve 1 + 8 = o*z for z.
3
Suppose 0 = 5*d + t - 73, 5*d + 8*t - 3*t - 85 = 0. Solve 0 = -5*f + d*f + 18 for f.
-2
Let w(u) = u**2 - u - 14. Let z be w(8). Let l = z - 42. Solve -12 = 3*v - l*v for v.
-4
Let c be (3*(-15)/9)/(-1). Suppose -c*z - 3*f + 18 = -2*z, -z + 5*f = 12. Solve a - z*a = 0 for a.
0
Suppose w + 5 = 2*w - 3*p, 0 = 3*w - 5*p - 11. Suppose 0 = -w*i + 6*i. Solve 2*x + 2*x = i for x.
0
Suppose 6*c - 3*c = 4*k + 8, -k = 2*c - 9. Suppose 4*m = -35*m + 195. Solve 0 = -m*p + p - c for p.
-1
Suppose -4*c - 2*j = -2, -2*j - 7 = -5*c - 6*j. Let x be ((-17 + c)/(-3))/(-1). Let b be (-9)/x*2 + -1. Solve 6*o - 4 = b*o for o.
1
Suppose -5*b + 5*k + 25 = 0, 4*b = k + 9 + 2. Solve -4*x = b*x for x.
0
Let n be 0/(4*3/(-12)). Solve n = -4*j + 4 for j.
1
Suppose -m - 3*m + 5*x - 38 = 0, -5*x = 10. Let d(o) = 2*o + 29. Let f be d(m). Solve 0 = 2*n - f*n for n.
0
Let n be (-3)/(-6)*8*(-27)/(-108). So