 - 40 for w.
4
Let g = -1136 + 1153. Solve 3*k - g*k + 56 = 0 for k.
4
Let c(q) = -q**3 - 9*q**2 + 10*q + 8. Suppose -g - 2*z - 12 = -0*z, -2*g - 19 = -z. Let x be c(g). Solve 3*i - x*i = 20 for i.
-4
Let r(h) = -h**3 - 9*h**2 + 88*h - 22. Let k be r(-15). Let a = 15 - -2. Suppose 0*n - 4*n + a = -5*q, 3*n - 5 = -4*q. Solve -5 = -k*f + n*f for f.
1
Let t be (2/(-2))/(1/(-3)). Suppose 29*l = 23*l + 24. Suppose 2*m = 2*u - 8, 3*m + 5 = -l*u + 49. Solve -c - u = t*c for c.
-2
Let h(u) = -u + 5. Let m be h(-7). Let y be 2 + ((-2)/(8/m))/(-1). Solve -y*i - 12 = -i for i.
-3
Suppose -n + 3 - 2 = 0. Suppose -2*w = -5 - n. Suppose 1 = x + l - 3, 4*x = 4*l - 16. Solve x*i - 3*i = -w for i.
1
Let n(s) = -4*s - 34. Let q be 21/(-3) + 5 + -8. Let z be n(q). Solve 0 = 3*f - z*f for f.
0
Let d = -32 + 35. Let r be (-10 + d + 4)*-1. Solve 0 = r*a - a - 4 for a.
2
Let k = 16 + -8. Let x(z) = 12 - 3*z**2 + 7*z + 6*z + 4*z**2 - 21*z. Let o be x(k). Solve u + o = 5*u for u.
3
Let h = -224 - -232. Solve 0 = -h*k - 21 - 3 for k.
-3
Let a be (-2)/(-2) + -5*9/(-3). Suppose 0 = -12*k + a*k - 8. Solve -5*x = -7*x + k for x.
1
Let g = -135 - -140. Solve -g*d + 0 = 10 for d.
-2
Let z(j) = j**3 - 6*j**2 - 11*j - 9. Let r be z(6). Let h = 78 + r. Solve 2*g + 5 = -h*g for g.
-1
Let b(g) be the second derivative of g**5/20 + g**4/2 - g**3 + 17*g**2/2 + 3*g. Let c be b(-7). Solve -4*r + 10 + c = 0 for r.
5
Let f(y) = -y + 8. Let x(l) = l**2 - 3*l - 6. Let m be x(5). Let d be f(m). Suppose 4*r + 12 = 4*j + d, -3*j - 5*r = -38. Solve 0 = -7*i + 4*i + j for i.
2
Suppose 4*n = 4*z + 20, -7*n + 5*n + 7 = -z. Let s be n/(-8) + (-17)/(-4). Solve -s*d = d - 20 for d.
4
Let b(h) = -h**2 - 4*h + 4. Let x be b(-4). Let u be (-60)/(-15) - x/2. Solve 0 = u*g - 4*g - 2 for g.
-1
Let p = 26 + -15. Let o = p + -4. Solve 0 = -o*r + 2*r for r.
0
Let j(k) = k**2 - 17*k - 13. Let y be j(18). Let v(o) be the first derivative of -o**4/4 + 7*o**3/3 - 3*o**2 + 5*o + 1. Let c be v(6). Solve c*u - 5 = y for u.
2
Let f(a) = a**3 + 6*a**2 + 2. Let v be f(-6). Solve r + 15 = -v*r for r.
-5
Let f be 3*(-3)/9 + (-99)/(-9). Solve 62*j - 60*j - f = 0 for j.
5
Suppose 0 = 9*g - 8*g - 45. Let c = g + -45. Solve 2*o + 2 = -c for o.
-1
Let s be ((-2 - -3) + 1)/(2/3). Solve 0 = -6*h - 9 + s for h.
-1
Let u be 61/305 + 114/5. Solve -2*a = -u + 21 for a.
1
Let s(g) = -14*g - 24. Let m be s(-8). Let q = m + -86. Solve 0 = q*n + 1 + 5 for n.
-3
Suppose -w + 0*k = 3*k - 5, 5*k = w + 3. Solve w = j + 6 for j.
-4
Let z be ((-2)/3*-123)/2. Suppose -3*r = 4*d - 2*d - 15, -5*d = 4*r - z. Let p(c) = -c**3 + 9*c**2 - c + 13. Let b be p(d). Solve -b*u = -2*u for u.
0
Let m(r) = 2*r**2 - 2. Let n be m(2). Let b(i) = -4*i + 52. Let h be b(11). Let d be (h/28)/((-6)/(-84)). Solve 0 = -n*f + 2*f + d for f.
1
Suppose -5*q + 7 = -3. Suppose -2*w + 12 = o, w = 4*w + o - 16. Solve q*c - 2 = -w for c.
-1
Let y(k) = -2*k**3 + 47*k**2 + 28*k - 92. Let n be y(24). Solve -3*q - 7 + n = 0 for q.
-1
Suppose -a = c - 151, 4*a - 136 = -c - 0*a. Let k = -147 + c. Solve k = 5*g + 4 for g.
1
Suppose -4 = 3*b - 4*p, 4*p = 7*b - 2*b - 4. Solve -b*t - 6 = -2 for t.
-1
Suppose -5*r = -w + 26, -2*w - r - 13 = 2*r. Let a be (4/6)/(w/6). Let g be (-836)/57 + 17 + (-2)/6. Solve g*s = a*s + 6 for s.
-3
Let s(v) = 19*v - 54. Let c be s(3). Solve 1 - c = -x for x.
2
Let n(d) = 2*d**2 - 22*d + 85. Let u be n(6). Solve -u = -5*g - 5 for g.
4
Let k be 12/(-18) - (-2168)/12. Suppose 0 = -4*r + k - 168. Solve 1 = -m + r for m.
2
Suppose -29 = -5*z + 2*o, -3 = 2*z - z + 4*o. Solve 0 = -z*x + 3*x - 8 for x.
-4
Let t(j) = -j + 55. Let u be t(17). Suppose -u + 46 = 2*i. Solve 0 = 8*p - i*p - 8 for p.
2
Suppose -42 = -23*h + 16*h. Solve 10 = i - h*i for i.
-2
Suppose 2*k = -5*k + 63. Solve z + k = 4*z for z.
3
Let r = -159 - -163. Solve r*o - 5*o = -4 for o.
4
Suppose 2*p + 101 = 6*p - 3*i, 0 = p - 5*i - 38. Let z = -27 + p. Let h = z + 10. Solve -5*q - 31 = -h for q.
-5
Suppose 0 = 9*i - 16 - 29. Let d be 1 - (0 - 1*-1). Suppose 5*f = -d*f + i. Solve 4 = h - f for h.
5
Let m = 349 - 347. Solve 4*d - m*d = -10 for d.
-5
Let h(l) = -l**2 - 14*l + 19. Let m be h(-12). Suppose -44*y + 6 = -m*y. Solve 6*o = 3*o + y for o.
2
Let c(s) = -s**2 - 9*s - 12. Let w(a) = 2*a**2 + 8*a + 12. Let i(p) = -3*c(p) - 2*w(p). Let h be i(12). Solve h = 3*j - 2*j for j.
0
Suppose -2*d + 4 + 2 = 0. Let b be -7 + 3 - (-12 + 1). Suppose 30 = -2*l + b*l. Solve d*j + 0*j = l for j.
2
Let n = -8 - -6. Let v = n - 1. Let u = v + 5. Solve -c = u*c - 9 for c.
3
Suppose -12 = -19*b + 13*b. Let y be (b/(-3))/(-2 - 4/(-3)). Solve y + 7 = 4*u for u.
2
Let i = -2 + 42. Let t = 148 - 186. Let u = i + t. Solve -u = -3*o + 13 for o.
5
Let l(p) = p**2 + 6*p - 2382. Let b be l(-52). Let v(r) = -r**2 - r + 2. Let o be v(-2). Solve o*a = 5*a + b for a.
-2
Let o be 48/(-36)*3/(-2). Let a be (-4)/(-6) + (-4)/(-3). Solve o*f - 16 = -a*f for f.
4
Suppose -4*l + 10 = l. Suppose 4*t - 29 = -3*q + 37, -24 = -l*q + 4*t. Let m = q + -15. Solve -m*c - 2 = -2*c for c.
-2
Let i = -11 - -14. Let j(c) = 28*c. Let v be j(0). Solve v*x = x - i for x.
3
Let k(h) = -4*h**3 - 3*h + 3. Let l be k(2). Let m be (l/(-20) - 3/(-12))*2. Solve m*z + 0*z = 12 for z.
3
Let s be 44234/102 - (-14)/6. Solve -439*t + s*t = 0 for t.
0
Let a = 1 + -1. Suppose v + 12 = -16. Let j be -4 - (v/(-6))/(2/(-6)). Solve -2*m + 0*m + j = a for m.
5
Let x = 45 - 40. Let a be x/(-10)*(-1 + -1). Solve -3*v - 4 = -a for v.
-1
Let k(z) = -4*z + 29. Let v be k(6). Suppose 5*f - 2 = -3*x - 5, v*x - 17 = -f. Solve -x*s = s for s.
0
Suppose 5*p + 14 = v, -2*v - 3*p = v + 30. Let s = v - -9. Let k be (-1)/((-7)/s + 2). Solve 0 = -3*n - 12 - k for n.
-5
Let w(f) be the first derivative of f**3/3 + f**2/2 - 11*f + 27. Let p be w(-4). Let s = 0 + 2. Solve 11 = -s*n + p for n.
-5
Let d = 625 - 618. Solve 13 = -d*r - 8 for r.
-3
Let f = -2 + 4. Let m(j) = -7*j**3 + 2*j + 2. Let l be m(-1). Let s be ((-2)/(-4))/(-3*l/(-42)). Solve -5 = -f*v + s for v.
3
Suppose 14*y = -7*y + 714. Solve -y = 7*h - 6 for h.
-4
Let p be 6 - ((-45)/4)/(-9)*-4. Solve -30 + 8 = -p*s for s.
2
Let x(q) = -5*q + 4*q**2 - 3*q**2 + 3 + 4 - q. Let o be x(5). Suppose -w = -u - 16, 7*w = o*w - 4*u + 35. Solve 4*l + 5 = -w for l.
-4
Let b be (1 - -3)*(0 - -1). Suppose 0*h + b*n + 2 = 3*h, -2*n + 2 = 0. Solve -2*v - 4 = h*v for v.
-1
Let b = -44 - -25. Let f = 21 + b. Solve 5 = -f*d + 7*d for d.
1
Let s(c) = 3*c**3 - c**2 + c. Let h be s(1). Suppose -o = 22*o - o + 15*o. Solve h = m - o*m for m.
3
Suppose -x - v = 0, 0*v + 3*v = 3*x. Let r(t) = -2*t. Let o be r(-1). Suppose 0 = 3*h + 3*h + o*h. Solve 5*u + h*u = x for u.
0
Let y = -540 - -562. Solve 0 = 24*d - 35*d + y for d.
2
Suppose -39 + 201 = 9*l. Let p(q) = q**3 - 17*q**2 - 18*q + 12. Let b be p(l). Solve 0*u - b = 3*u for u.
-4
Let d = -25 - -28. Let o be (d + -3)/(-6 + 4). Solve -4*k = -o*k + 4 for k.
-1
Let o = -14 + 15. Suppose d = 1 + o. Suppose w + d = 3*w. Solve -u - w = -3 for u.
2
Suppose 3*f - 4*h - h - 1 = 0, 0 = 2*f - 4*h. Suppose -f*g + 3 = 1. Suppose -o - 1 = -b, -4*b - 2*o - g - 1 = 0. Solve -5*t - 15 = -b*t for t.
-3
Let d be ((-4)/3)/1*9/(-6). Let r be d*(-2)/16 - (-3)/12. Solve 5*s - 25 = -r for s.
5
Let t be (2/(-5))/(4/140). Let q be 77/t - 2/4. Let f(x) = -x - 4. Let j be f(q). Solve 2*h + j*h = 16 for h.
4
Suppose 0 = 2*a + 2*l - 8, -a = -6*l + 5*l. Let h(q) = -q**2 + 5*q - 4. Let g be h(3). Solve a = -g*o + 6 for o.
2
Let m be (2 + 0)/(4/8). Suppose 8 = 2*h + m. Solve -h*x - 2 = -x for x.
-2
Suppose -40 = 3*x - 0*z + 2*z, 3*x + 55 = -5*z. Suppose 4*t - 10 = 30. Let j = t + x. Solve -c + 6 - 4 = j for c.
2
Let o(f) = f**2 - 2*f - 28. Let w be o(-6). Let l(c) = -c**2 - 9*c - 8. Let q be l(-8). Solve 0 = 4*g - q*g + w for g.
-5
Let x be 1/8 + 276/96. Let t be (-2)/(-2)*0/(-1). Suppose t = -4*u - x + 27. Solve 4 = -5*k - u for k.
-2
Let i be 1*-6 - -4*72/32. Solve i*d + d = 0 for d.
0
Let q be 0*(60/24 - (1 + 1)). Solve 4*h + q*h = 8 for h.
2
Let y = 3052 + -3052. Let c be 2 - (1 - (-2 - -2)). Suppose -x - c + 12 = 0. Solve 2*v - x + 1 = y for v.
5
Let i(o) be the second derivative of o**3/2 - 57*o**2/2 + 29*o. Let j be i(22). Solve 6*v - 3*v = j for v.
3
Let s(c) = -2*c**2 + 33*c + 28. Let w be s(17). Solve -5*k - w =