
1
Let n(w) = -w + 11. Let u be n(7). Let o be (0 + 0)*(-4 + 63/14). Suppose -u*l + 18 - 14 = o. Solve 0*b + b = l for b.
1
Let w(u) be the second derivative of -u**3/6 + u**2 - 9*u. Let n be w(-1). Let t be n/(-4) + 49/28. Solve -t = l - 0*l for l.
-1
Let c(t) = -t**2 + 15*t - 21. Let o(u) = -3*u + 4. Let a(z) = -2*c(z) - 11*o(z). Let b be a(1). Solve k + b*k + 20 = 0 for k.
-5
Let c(a) = -a**3 - 27*a**2 - 154*a + 8. Let i be c(-8). Solve i = -11*n + 23*n for n.
2
Let z be 8 - 2/((-8)/(-12)) - 3. Let g be -8 + 11 + 2 + 0/z. Solve -7 = g*x + 3 for x.
-2
Let f be 0/(-3)*30/30. Solve -8*x - 5*x = f for x.
0
Let f(v) = -1. Let c(m) = -m**2 + 6*m + 9. Let b(j) = c(j) + 6*f(j). Let o be b(5). Let g be ((-8)/6)/(o/(-12)). Solve 0 = d - 0*d - g for d.
2
Let y = 161 + -153. Solve y*l = 12*l - 4 for l.
1
Suppose 3*x = 65 - 41. Let r(d) = d**3 - 6*d**2 - 16*d. Let m be r(x). Solve m = 3*b + 2 - 8 for b.
2
Suppose -9 = -3*w - 12. Let h(s) = -3*s**3 - s**2 - s. Let y be h(w). Solve -3*a = 12 - y for a.
-3
Let u = -206 - -207. Solve 4*h - u - 7 = 0 for h.
2
Let s be (2 + 2 - 6)*(-1 - 1). Suppose 7 = -s*r + 23. Solve r*a - 4 = 5*a for a.
-4
Let r(b) = b**3 - 8*b**2 + 8*b - 6. Let u be r(7). Let g be -6*u/2 - -3. Suppose -2 = -g*f - f. Solve -2*a - f = -a for a.
-2
Let x be 33/55*(0 - -25). Let a = 35 - x. Let c(d) = -d**2 - 3*d + 3. Let z be c(-3). Solve -h = z*h + a for h.
-5
Let i(u) = -u**2 + 2*u + 6. Let z be i(3). Suppose f = 2 + z. Solve j = f*j for j.
0
Suppose 6*d - 7*d = d. Suppose d = -4*j - 0*f - 4*f + 20, 3*j - 15 = f. Solve 0*s = -j*s - 10 for s.
-2
Suppose f = 3*u, -u = -5*f + 3*u. Suppose f = 8*z - 10*z + 10. Solve 7*b = z*b + 6 for b.
3
Let y be 0*3/9 - -13. Suppose -14*q = -y*q - 2. Solve -l = -3 - q for l.
5
Suppose -12 = 11*j - 14*j. Suppose 125*c - 127*c + j = 0. Solve c*q = q for q.
0
Let k be (24/4 + -2)/1. Let w = 61 - 36. Solve k*c = -w + 5 for c.
-5
Suppose -2*l + 2 = -0. Let n be 42/(l + 2) + -1. Suppose -n - 17 = -2*u. Solve -u = -4*x - 7 for x.
2
Let c = -47 - -55. Suppose -c = -4*t - 0. Solve -j + t = -2 for j.
4
Suppose 4*o - 22 = n + 2*n, 2*n = -5*o + 16. Let p = 2175 + -2175. Solve j + p = o for j.
4
Let z(p) = -p**3 + 5*p**2 - p - 1. Let x be z(4). Let h be 28 + -33 - 0/1. Let k = h + x. Solve -2*a = k - 0 for a.
-3
Suppose -592 = 33*x - 25*x. Let b = -69 - x. Let q be 3/(-2)*(-1 - 1). Solve -q = -b*l + 7 for l.
2
Suppose -4*g + 82 = -5*t, 2*g + 2*g - 94 = -t. Let j(q) = -q + 8. Let m be j(5). Solve 5*d = -m + g for d.
4
Suppose 4 = 4*y + 5*j, -15*j - 4 = -14*j. Solve 8*d + 4 = y*d for d.
-2
Suppose 25*q + 0 = 100. Solve -q*w + 6 = -10 for w.
4
Let n be (96/(-40))/((-6)/40). Suppose -5*b - n = 94. Let w = -18 - b. Solve -w*k + 10 = -6*k for k.
-5
Suppose -3*i = -5*d - 6, -d - 3*d = 2*i - 4. Let o(w) = w**3 - 16*w**2 + 25*w - 147. Let v be o(15). Solve d*l = v*l + 3 for l.
-1
Let i(j) = j**3 - j**2 - 12*j. Let u be i(4). Let a be 0*(u - 3/(-15)). Solve s + a = 3 for s.
3
Let q = -42 + 7. Let t be (-2)/(-7) + (-1110)/q. Suppose -2*f - 13 = -i, -66 = -5*i - f + t. Solve 4 = 5*v + i for v.
-3
Let f be 2 - (20/(-25))/((-4)/(-10)). Suppose 5*z + 7 = 5*u - 8, -u - 3*z = 9. Solve u - f = -q for q.
4
Suppose 0 = -2*l - l. Let m be 0/(-1 - (4 - 3)). Suppose -3*x + 6*x - 6 = 0. Solve m*h - x*h = l for h.
0
Let z be (-54)/(-15) - 4/(-10). Suppose 43 = 4*l + 11. Let a = l - 4. Solve -3*r + z*r = -a for r.
-4
Suppose -3*i - 4*x = -1, 3*i - 12 = -x - 5. Let z = -4 + 6. Solve 0 = -i*u + z + 4 for u.
2
Suppose 2*c - t - 26 = 0, -3*t + 0*t = 4*c - 72. Suppose 4*z = -0*z + 20. Let s be 75/15 - (0 - -1). Solve 0 = s*r - z - c for r.
5
Let v be 6/(18/12 - 3) - -6. Solve -10*z = -0*z + v*z for z.
0
Let u(b) = -b - 1. Let d be u(-3). Suppose -4*t - q - 5 = 0, q = d*t - 2 - 3. Let i = 8 - t. Solve 0 = -3*r - 7 - i for r.
-5
Let h = 10 - -29. Suppose 75 = h*p - 36*p. Solve -p = 8*r - 3*r for r.
-5
Let x = 233 + -210. Solve 9*u + x - 5 = 0 for u.
-2
Let x(n) = 5*n**2 + 6*n + 5. Let i be x(-1). Suppose 2*c - 4 = 0, -4*w + i*c + 7 = -1. Solve -p + w*p - 15 = 0 for p.
5
Let g = 139 + -214. Let p be (2*-1)/(30/g). Solve 8*y - 3*y = p for y.
1
Let r = 2 - -1. Suppose r*w - 16 = 4*w + 5*c, 5*w + c - 16 = 0. Let x(l) = -l**3 - 2*l**2 + l - 8. Let s be x(-4). Solve -i = w*i + s for i.
-4
Let x be ((-54)/(-30))/((-292)/(-40) - 7). Solve -15*o = -13*o + x for o.
-3
Suppose 3*q - 41 - 85 = 0. Let p = -10 + q. Suppose 4*k + 12 = 4*h + p, 5*k = -2*h + 4. Solve k*u + 1 - 7 = 0 for u.
3
Let y(s) = 2*s**3 - s**2 + 2*s - 7. Let u be y(3). Let k = u + -39. Solve 0 = k*n - 1 - 4 for n.
1
Let s be 4*((-3 - -3) + 2). Suppose 2*p = 2 + s. Suppose 0 = -3*m + 4*m - 25. Solve -m = p*x - 0*x for x.
-5
Let p = -1 + 1. Suppose -s = -p*s - 3. Suppose 4*w - 2 = 3*v, 0 = 2*v - 4*w + 70 - 66. Solve 5 = -s*m + v for m.
-1
Let v = 2 + 0. Let l be 21*4/8*2. Suppose w = 4*w + r - 4, 2*w - 3*r - l = 0. Solve -w = c - v for c.
-1
Let g be ((-17)/(-2) - 8)/((-2)/(-92)). Solve -11*u + g*u = 0 for u.
0
Let b be (2/(-3))/(2/24). Suppose -18 - 126 = 8*s. Let v = b - s. Solve -v + 1 = -3*x for x.
3
Let n(z) = -z**3 - 5*z**2 - 5*z + 3. Let a(p) = -p**2 + 11*p - 4. Let x be a(11). Let o be n(x). Suppose 2*i - 30 = -22. Solve -5 = -i*u + o for u.
3
Let q(w) be the second derivative of -w**5/20 - 5*w**4/6 + w**3/6 + 6*w**2 - 2*w. Let p be q(-10). Solve p = -2*r + 3*r for r.
2
Suppose -9*h = -5*h + 4. Let b be h + 17 + 0/(-2). Suppose 0 = 3*d - b - 2. Solve 0 = -0*w - 2*w - d for w.
-3
Suppose y + 38 = 50. Solve -165*l = -161*l - y for l.
3
Let k(o) = o**3 + 8*o**2 - 8*o + 13. Suppose 0 = 5*c + 2*c + 63. Let s be k(c). Solve -3*g - g - s = 0 for g.
-1
Let y(f) = 9*f + 2. Let a be y(2). Suppose 0 = 3*w - 2*o + 4*o - 36, -w + 13 = o. Suppose -w*s - 16 = -46. Solve -2*c = s*c + a for c.
-4
Let q(g) = -12*g - 4. Let t be q(-2). Let y = 7 + t. Let m = y + -24. Solve -h = m*h for h.
0
Let k = 10 + -7. Let v(w) = 2*w - 4. Let d be v(4). Suppose -5*u + k*z = 1, -2*u + 0*z + d = z. Solve -4*b = -5*b + u for b.
1
Suppose -4*i = l - 76, -5*i = 5*l - 48 - 32. Solve 5*x = -0*x - i for x.
-4
Let j be (21 - 21)/((-2)/1). Solve j = -n - 6 + 7 for n.
1
Let v(s) = -s**3 + 23*s**2 + 25*s - 12. Let x be v(24). Suppose -21*p + 17*p = -x. Solve -p*u = u for u.
0
Let x = 113 - 110. Suppose -r + 14 = 4*p, x*p - r - 18 = -p. Solve p*u + 2 = 3*u for u.
-2
Let a be (-25)/(-10) + 0 + 3/6. Let j be (0 - -1)/(6/90*a). Solve -17 = -3*o - j for o.
4
Let p(f) = -2*f. Let u be p(-2). Suppose 2*z + 6 = 3*w + 2, 0 = -5*z + 4*w - 17. Let t(v) = -3*v - 12. Let l be t(z). Solve -5*o = -l*o - u for o.
2
Let v(z) = -z**2 + z - 1. Let y be v(-4). Let r = -17 - y. Suppose -2*o + 0*n - r*n - 4 = 0, 4*o - 4 = 4*n. Solve -6*g + 2*g - 12 = o for g.
-3
Let d(k) = 19*k + 180. Let q be d(-9). Solve -2*i = -i - q*i for i.
0
Suppose -715*n + 714*n + 3 = 0. Solve -n*k - 6 = -0 for k.
-2
Suppose -36*k = -3*k - 66. Solve k*d = -3*d - 25 for d.
-5
Suppose 0 = -6*s + 4*s + 96. Suppose -2 - s = 5*o. Let y = -8 - o. Solve y*m = 3*m for m.
0
Let x(m) = -m**3 - 26*m**2 - 74*m - 115. Let s be x(-23). Solve -17*n + 23*n - 24 = s for n.
4
Let t = -105 - -108. Solve l + t = -0 for l.
-3
Let c(b) = -3*b**3 - b + 8*b**2 - 3257 + 6*b + 3253. Let i be c(3). Solve 2*w + 12 = -i*w for w.
-3
Let t(m) = -m**3 + 8*m**2 + 15*m - 23. Let g be t(9). Let f be (-2)/3 + 8/3. Suppose 0*u + f*u = 0. Solve u = -5*r + g - 6 for r.
5
Let z be 50/18 - 2/(-9). Suppose 3*b = i + 48, 7*b - 2*b - z*i - 84 = 0. Suppose -3 = 3*k - b. Solve j = -k*j for j.
0
Suppose -16*s + 145 - 1 = 0. Solve 2*u + 14 = s*u for u.
2
Let a(k) = -k**3 + 16*k**2 + 17*k + 6. Let p be a(17). Suppose 2*q = -2*r + 36, 3*r - 35 = -2*q + p. Let m = -10 + q. Solve -4*h - m = -3*h for h.
-3
Suppose o + 2*o = 6*o. Suppose 4*v - y = 3*y + 4, o = -4*y. Solve 4 = a + v for a.
3
Let m = -506 + 531. Solve -4*r = -m + 5 for r.
5
Let v(b) = 2*b + 19. Let o be v(-7). Let t be o/(35/13) + (-2)/(-14). Solve -6*f + t*f = 4 for f.
-1
Let c(l) = -7*l - 72. Let m(g) = -g**2 - 31*g + 20. Let d be m(-32). Let t be c(d). Solve -3*n + t = -6*n for n.
-4
Let f be 8/((-16)/4) + 5. Suppose 5 = f*p + 8. Let o be p/(-4) + 6/(-24). Solve q + o*q = -3 for q.
-3
Suppose -5*i + 8*i = 24. Suppose -25*v = -29*v + i. Solve -x + 3 = -v*x for x