- 9 = 6 for v.
3
Let n = 18 - 24. Let p be (-21)/(-14)*(-8)/n. Let k(c) = c + 3. Let m be k(3). Solve 2*w + m + p = 0 for w.
-4
Let b(r) = 4 - 2 + 0 + 5*r - r**2. Suppose 5*h - 16 - 4 = 0. Let k be b(h). Solve i - k = -2*i for i.
2
Let x = 89 + -76. Solve -11*l + 8 = -x*l for l.
-4
Let g(q) = -15*q + 6*q**3 - 14*q**3 + 5*q**3 - 6 + 10*q**2 + 2*q**3. Let f be g(8). Solve -f*t = -2 - 4 for t.
3
Let h be (11 - -1)/((-21)/14). Let u(n) = n**3 + 7*n**2 - 8*n. Let f be u(h). Let a be 2 + -3 + (3 - f). Solve 0 = -a*x - 0*x + 4 for x.
2
Let j be 226/(-8) - 3/(-12). Let f = j - -33. Solve 7 = -3*b - f for b.
-4
Let a be 3*((-1)/(-9))/((-3)/(-18)). Solve 3*q = 2*q - a for q.
-2
Let v(q) = 2*q - 7. Let f be v(5). Let a(c) = -c + 2. Let j be (6/(-4))/((-2)/(-4)). Let h be a(j). Solve 4 = -f*k - h for k.
-3
Let c(i) = -3*i**2 - i + 6. Let b(y) = 2*y**2 + y - 4. Let w(t) = 8*b(t) + 5*c(t). Suppose -m + 2 = -1. Let o be w(m). Solve -6*f = -2*f - o for f.
4
Let i(x) = 14*x + 0*x**2 + 8 - 7*x + 5 + x**2. Let w be i(-6). Suppose 16 = 3*m + w. Solve k + 4 = -m*k for k.
-1
Let y be (4/20 - (-27)/15)*2. Solve -8*k = -y*k for k.
0
Let c(f) be the first derivative of 20*f - 1/3*f**3 - 3 - 8*f**2. Let g be c(-17). Solve 2 = -g*x - 4 for x.
-2
Let n(o) = -9 - 2*o - 11 + 26. Let l be n(-3). Suppose -4*j - 28 + l = -2*y, -14 = -y + 5*j. Solve 0 = -t - y + 5 for t.
1
Suppose 65*u + 272 - 1572 = 0. Solve u*n = 4*n + 16 for n.
1
Suppose 2 = v + 1, -3*y + 15 = 3*v. Suppose 6*r - 3*r = y*j - 26, 4*r + 16 = 3*j. Suppose 186*o - 192*o = -12. Solve 2*p + j = -o for p.
-5
Let v(l) = -l - 4. Let y be v(-5). Let f(h) = h**2 + 2*h - 1. Let j be f(y). Let i be (-10)/(-4)*(13 + -7). Solve i = j*q - 7*q for q.
-3
Let v(p) = -p - 2. Let s be v(-4). Suppose 0 = 3*l + 5*d + 20, 3*l + 4*d - s = -21. Let j be (-6)/(-15) + (-13)/l. Solve 2*o = j*o + 5 for o.
-5
Let h(p) = -3*p**3 - 6*p**2 - p + 3. Suppose 14*w - 11*w = -6. Let n be h(w). Solve 0 = n*t + 19 + 1 for t.
-4
Suppose 0 = -3*b - 3*l + 12, l + 3*l + 26 = 3*b. Let a be (-3)/(-6)*(b - -6). Solve -a = q + 2*q for q.
-2
Let t(o) = -2*o - 2 + 3 - 4. Let m be t(-4). Suppose -7 = 14*n - 8 + 1. Solve -f - m + 4 = n for f.
-1
Let t(d) be the second derivative of d**4/12 - d**3/2 - 3*d**2 - 7*d. Let l be t(5). Solve l - 12 = 4*o for o.
-2
Let j(m) = -m + 4. Let g be j(-5). Let n = -1299 + 1301. Solve -7*i + g*i + n = 0 for i.
-1
Let p be (-3)/(-9) - 172/12. Let v be (-176)/p + 12/(-21). Suppose v = -5*b - 4*t - 3, t + 5 = 0. Solve 2*d - 9 = -b for d.
4
Suppose -3*u - 3*u - 4*u = u. Let s be 4/(-3)*(-3)/2. Solve -2*y + s + 2 = u for y.
2
Suppose -2*p + 5*u - 10 = 9*u, 0 = 5*p + 2*u - 15. Solve j - p + 0 = 0 for j.
5
Suppose 0 = 3*o - 58 - 5. Solve 22*t = o*t for t.
0
Suppose -3*x = 6*x + 153. Let p = x + 17. Solve 0 = -2*w - p*w + 8 for w.
4
Let u(w) = -w**3 + 3*w**2 + 4. Let d = 18 - 15. Let g be u(d). Suppose 8 = 4*t - 40. Solve 0*c - t = -g*c for c.
3
Suppose 3*a - 3*k - 42 = 0, -a + 18 = -0*a + 3*k. Suppose -n = -3*n + 5*j + a, 0 = -4*n - j + 19. Solve -n*h + 4 = -1 for h.
1
Let n = -14 - -19. Suppose 6*g + 5*b = n*g + 20, 2*b = 5*g + 35. Let m(z) = z + 5. Let c be m(g). Solve c = -t - 4*t + 15 for t.
3
Suppose 0 = -3*i + 2*z + 10, i + 19*z - 16*z = -15. Solve w + 4 - 1 = i for w.
-3
Let g(o) = -o**3 - 14*o**2 + o + 17. Let t be g(-14). Suppose -a = -3*a - 8. Let i = a - -6. Solve i = t*w - w for w.
1
Suppose 0 = -5*w - 5*x + 95, -2*w + 19 = x - 17. Suppose -17*l = -w - 51. Solve 7*h - l*h - 3 = 0 for h.
1
Let r = 19 + -14. Let a be (r - 2) + 15/(-3). Let p be (-1 + 1)*1/a. Solve p*d = d + 3 for d.
-3
Let j = 11 - 9. Suppose 5*c - 7 = -2*s, 0 = s + j*s - 5*c + 52. Let f be (-2)/6*3*s. Solve 3*h - 3 = f for h.
4
Let b(u) = 2*u**2 - 2*u - 10. Let p be b(4). Solve -5*d = -p*d - 18 for d.
-2
Let b = -153 - -161. Solve 5*x + b = x for x.
-2
Let g = -947 + 947. Suppose -b + 11 = 5*f, -4*f + 4*b + 24 = b. Suppose -2*r = f*i - 2*i - 4, 3*i + 3*r - 15 = 0. Solve i*x - x + 5 = g for x.
-1
Suppose 50 = -5*v + 5. Let w = v - -14. Suppose -5*n = 3*o - 0*n + w, -29 = -5*o + n. Solve -9 = -o*i + 1 for i.
2
Suppose 6*a = -2*a + 24. Let r be 16/4 + -1 + a. Solve -4*o + o = -r for o.
2
Suppose 0 = -26*l + 23*l + 51. Solve -l*a - 8 = -15*a for a.
-4
Let w(o) = -3*o**3 - 40*o**2 - 14*o - 10. Let d be w(-13). Solve -5 + 2 = -d*s for s.
1
Let g = -257 + 267. Solve g = -q + 8 for q.
-2
Let t(w) = 6*w - 18. Let s be t(-9). Let o = -68 - s. Solve -o*p + 9 = 1 for p.
2
Let w(f) = 11*f - 2. Let o be w(2). Let k = -19 - -19. Suppose k = -3*p - p - 5*v + 41, 20 = 4*v. Solve -p*l + o = l for l.
4
Let o(k) = 3*k**3 + k**2 - k + 1. Let i be o(1). Suppose -t = t - i. Let b be 5/(2/4*t). Solve l + 16 = b*l for l.
4
Let x = -374 + 379. Solve -x*p = -10*p - 5 for p.
-1
Suppose 5*t + 8*t - 52 = 0. Solve -7*h = -t*h - 15 for h.
5
Let x be 1995/630 - (14/12 + -1). Suppose 0 = -4*k + 4*n + 16, 0 = 2*k - 5*n - 3 - 5. Suppose k*u = -4*g - 16, 0 = g + 8 - x. Solve -s = -4 + u for s.
3
Let h(z) = z**3 - 8*z**2 - 8*z - 6. Let y be h(9). Let x(b) = -b - 1. Let c be x(-3). Suppose 4*n + 18 = c*q, 2*q + 1 = n + 10. Solve -q = -y*f - 0 for f.
1
Let o(s) = -13 - 6*s + 15 - 10 + 4*s. Let h be o(-4). Solve 2*b - 4 + h = 0 for b.
2
Suppose 45*h = 37*h + 24. Let i(x) = x**3 - 4*x**2 + 4*x. Let a be i(3). Suppose -11 = -a*o + 31. Solve h*u - 1 - o = 0 for u.
5
Suppose 0 = 79*j - 22*j - 513. Solve j*n - 21 + 39 = 0 for n.
-2
Suppose 62*s - 60*s = 74. Solve s*m - 38*m = 2 for m.
-2
Let s be ((-513)/18)/(((-6)/4)/1). Solve s - 17 = 2*w for w.
1
Suppose -5*l + 2 = -2*p, 3*p - 5 = 8*p - 2*l. Let v be 0/2*(p + 0). Solve v = -q + 5 - 0 for q.
5
Let u(h) = -2*h + 47. Let b be u(-13). Let a = b + -64. Suppose l = -w + 4*w + 4, -8 = -2*l. Solve w = -2*n - n - a for n.
-3
Let s(n) = 5*n**3 - 21*n**2 - 21*n + 11. Let m(f) = 2*f**3 - 11*f**2 - 10*f + 6. Let x(l) = 9*m(l) - 4*s(l). Let a be x(-7). Solve 8*q - a*q = 5 for q.
1
Suppose 14 + 1 = -5*j, 24 = 5*k + 2*j. Solve -b - 2 = -k for b.
4
Let i = 969 - 959. Solve -3*t - 25 + i = 0 for t.
-5
Let u(q) = q**2 - 30*q + 3. Let s be u(0). Suppose -3*j = -j. Solve j = s*o - 4*o + 4 for o.
4
Suppose -s = 27 - 28. Solve 10 = 3*g + s for g.
3
Suppose c = 10 - 5, -2*o + 4*c = -84. Solve o*x - 1 = 53*x for x.
-1
Let o = -366 - -366. Solve -6*p + 11*p + 5 = o for p.
-1
Let t(u) = u**2 + 7*u + 12. Let m = -125 - -122. Let g be t(m). Solve -5*b + 3*b + 8 = g for b.
4
Let m be 14/(-4)*(-32)/28. Suppose -5*f = -3*h - h + 32, -m*f - 4 = 4*h. Solve -h*y = -0*y - 6 for y.
2
Suppose 3*a + 17 + 22 = 0. Let x = a + 14. Solve 4*d = -x + 17 for d.
4
Suppose 2*k - 50 + 146 = 0. Let n = k + 50. Let v = 9 + -5. Solve -n + v = -g for g.
-2
Let x(k) = 3*k**2 + 15*k. Let g be x(-5). Let h(b) = 3*b**2 - b. Let o be h(1). Solve -o*q - 4 - 2 = g for q.
-3
Suppose 5*g - 6 = 4. Let m be -3 + 0 - g - 2. Let v be -3 - (m + 2 + -2). Solve v*f - 1 = -5 for f.
-1
Let r be ((-8)/16)/(2/(-12)) + 1. Suppose 5*v + r = 7*v. Solve 3*s = v*s - 3 for s.
-3
Let o = 62 - 48. Let b be (-4)/(-8) - o/(-4). Solve 0 = b*k - 0 + 12 for k.
-3
Let o(c) be the second derivative of 7*c**3/6 + 8*c**2 + 12*c. Let x be o(-2). Solve -x + 0 = -2*w for w.
1
Let t be 30/(-21)*(-3 - 24/6). Solve t*z - 29 - 1 = 0 for z.
3
Let i = -34 - -49. Suppose -4*k - 3*d - 5 = -3*k, 5*d = -i. Solve -k*x - 9 = -x for x.
-3
Let a(n) = -n**3 + 9*n**2 - 9*n + 8. Let k be a(8). Solve 3*d + d - 8 = k for d.
2
Let f(v) = v - 1. Let o be f(5). Suppose o*j = -4*d + 32, -3*d = 4*j + j - 26. Solve -2*i + d*i + 20 = 0 for i.
-4
Suppose 6*s + 2*r - 15 = s, 6 = 2*s + 2*r. Solve 15 + s = 6*l for l.
3
Let b be (1 - 1) + 1 - 1. Let y = -71 + 93. Suppose -17*w + y*w = 35. Solve -3*z + 2 + w = b for z.
3
Let a(g) = g**3 - 3*g**2 - 4*g + 5. Suppose k - 5*f = -6 + 25, 5*k + 4*f - 8 = 0. Let b be a(k). Solve 0 = b*d - 2*d for d.
0
Suppose 20*n - x = 21*n - 2, -3*n = -5*x + 10. Solve 0 = -4*a - n*a - 4 for a.
-1
Let b(n) be the first derivative of -n**3/3 + 5*n**2/2 + n - 2. Let j be b(4). Suppose w - 3 = -m, 3*m = -m + 3*w + j. Solve -m = -y - 6 for y.
-4
Let z(r) = -r**3 - 17*r**2 - 27*r + 50. Let y be z(-15). Solve y*f = 357 - 377 for f.
-4
Suppose -7*x = 21 - 112. Suppose -2*j = -5*j - 2*f + 7, -4*j + f = -x. Solve -4*r = -r - j for r.
1
Suppose 2*