y.
-3
Suppose -2*k = -5*k + 6. Suppose 3*u = -2*z + 8, -3*z = -k*u - 18 + 6. Solve 8*m - 4*m + 8 = u for m.
-2
Let b = 41 - 37. Solve -2*l + b*l = 0 for l.
0
Let c = 6 - -1. Suppose v = 2*z - 5, 0 = -10*v + c*v + 5*z - 10. Solve -v = -4*b + 3*b for b.
5
Let k be -9*3/27*-3. Solve -k + 0 = x for x.
-3
Let i be (-2)/(-4)*(-1 + 21 + -6). Suppose 22 = i*a - 83. Solve 2*w + a = 5 for w.
-5
Suppose -66 - 147 = 4*l - i, -3*i - 9 = 0. Let v be l/(-18) + (1 - 0). Solve 0 = 3*y - v*y + 2 for y.
2
Suppose 0 = -2*z + 3*g + 20, -2*g + 10 = z - 0*g. Let k = z + -6. Let y(i) = -i**2 + 7*i + 13. Let n be y(8). Solve n*r = -14 + k for r.
-2
Let q be (3/9)/(2392/(-1200) - -2). Solve 32 = 6*n + q for n.
-3
Suppose -b - 63 + 19 = 0. Let d = 54 + b. Solve 6*c = c - d for c.
-2
Let c = -26 + 47. Let h = -11 + c. Solve 6*f - h = f for f.
2
Let w(a) be the second derivative of a**5/20 - 5*a**4/4 + 3*a**2/2 + a. Let z be w(15). Suppose d + 7 = s, -3*s + d - z*d + 6 = 0. Solve -f - s = -0 for f.
-4
Let g(q) = -6*q + 238. Let n be g(25). Solve -10*d - 68 = -n for d.
2
Let s(h) = -38*h**2 + 37*h**2 + 18*h + 3 + h. Let q be s(19). Solve -g - q*g = 0 for g.
0
Let r(d) = d - 1. Let b(g) = -2*g + 3. Let p(l) = 2*b(l) + 5*r(l). Let v be p(0). Solve -3*j + 4*j = -v for j.
-1
Let h(p) = -p**2 + 6*p - 2. Let o be h(5). Let d(z) be the third derivative of z**5/60 - 5*z**4/24 + 7*z**3/6 + 54*z**2. Let q be d(o). Solve q = a - 0*a for a.
1
Suppose -62*k + 61*k + 5 = 0. Solve 0 = 2*s + 3*s + k for s.
-1
Let u be -6 + 1/((-5)/(-10)). Let q be (-104)/(-28) + 1/(-14)*u. Solve -q*n = -0*n + 16 for n.
-4
Suppose 5*f = -5, 4*t - 4*f - 87 = -f. Suppose -m = -h + 3*m + t, -5*h + 37 = -3*m. Solve 0 = -0*n + 5*n - h for n.
1
Let s(g) = g**2 + 8*g + 8. Let r be s(-7). Suppose -82 = 18*v - 154. Solve 5*c - v = r for c.
1
Let g be ((-3)/2 - 1)*-2. Let r(w) = -14*w - 863. Let d be r(-62). Solve 10 = d*y - g for y.
3
Let g(j) = 6*j - 28. Let r be g(8). Let c = r + -19. Solve 0*i = -i - c for i.
-1
Suppose 0*y = 2*y - 10. Solve -2*s - y = -9 for s.
2
Let i = -34 + 12. Let r be i/(-5) - 4/10. Solve -3*b + r = -5 for b.
3
Suppose 5*n = -0*n - 120. Suppose -39 = -4*t + 3*k, 0 = 4*t + 4*k + 23 - 55. Let l be 123/t + n/(-18). Solve 4*v - l = v for v.
5
Let i be 3/4 + (-9)/(-4). Suppose 3*o + 18 = 3*q, 11 - i = q - 3*o. Let w(g) = -g**3 + 4*g**2 + 6*g - 1. Let p be w(q). Solve a - 15 = p*a for a.
-5
Let t = 5 + -1. Suppose -t = -2*u + 2*y, -5*y + 8 = 2*u - u. Suppose u = 4*a - 13. Solve a*n + 8 = 2*n for n.
-4
Let w be (-16)/60*-10*9. Solve w*i - 92 = i for i.
4
Let q = -21 - -105. Suppose q = -3*o - o. Let j = -15 - o. Solve -2 = -4*l - j for l.
-1
Let k be ((-34)/(-2))/((-1)/(-3)). Let r be (k/(-6))/(2/(-4)). Let m = -36 + 39. Solve 0 = -4*f + r + m for f.
5
Let i = -136 - -141. Suppose -5*h + 5*v + 15 = 0, i*h - 15 = -0*h + 3*v. Solve 0 = -5*u - h - 2 for u.
-1
Let b(z) = z**3 + z**2 - 16. Suppose -4*n - 2*l - 4 = 2, l + 3 = 2*n. Let s be b(n). Let h = s + 18. Solve 3*d - 4*d = h for d.
-2
Let h(x) = 3*x**2 - 4*x - 1. Let r = 7 + -4. Let j be h(r). Let f = -8 + j. Solve 0 = 2*m - f + 14 for m.
-4
Let g = 83 - 68. Suppose 5*p + 22 = d - 8, -d - 4*p = g. Solve d*z - 24 = 1 for z.
5
Let a = 206 + -200. Solve -3*x - a = -6*x for x.
2
Let h be (-12)/2 - (3 - 11). Solve 8*d - 6*d + h = 0 for d.
-1
Let a(x) = x**3 + 16*x**2 - 17*x - 40. Let r be a(-17). Let f = r + 56. Solve f = -5*j - 9 for j.
-5
Let r(n) = -n**3 - 4*n - 2. Let v be r(-1). Suppose 0 = -4*j + 6 + 26. Solve j = v*i - 7*i for i.
-2
Let f = 863 + -856. Solve 4*y + f = 3 for y.
-1
Suppose 3*u + 3*t = 7*u - 6, -2*u = -3*t - 6. Solve 19*w - 18*w = u for w.
0
Let t be (3 - 0)*(-6)/(-9). Suppose b = -t*b - 2*g + 2, -4*g + 12 = 2*b. Let k = b + 10. Solve -3*o = -k*o + 5 for o.
1
Suppose -q - 3*q + 8 = 0. Let h be ((-7 - -5) + (-1 - -4))*0. Let r be 15 - ((3 - 0) + h). Solve -2*i + r = q for i.
5
Let n = -167 + 174. Solve 0 = -11*m + 4*m + n for m.
1
Suppose -54 + 184 = 5*h. Suppose 31*c = h*c + 15. Solve -c*v = -0*v for v.
0
Suppose -4*y + 13 = 3*b, 3*y + b + 74 = 90. Solve m = -y*m + 32 for m.
4
Suppose 0 = -5*o - 5*t + 35, 0 = -4*o + 3*t - 4 - 3. Let u(f) = f**2 + 2*f + 2. Let y be u(3). Let l = y - 11. Solve 4 + l = o*v for v.
5
Suppose -2*x + 731 - 725 = 0. Solve 0 = x*k - 2*k - 4 for k.
4
Let u = -6 + 12. Let w be (-144)/(-54)*2/(8/u). Solve -w*i = -3*i - 1 for i.
1
Let x = -4 - -10. Let q = 8 - x. Solve q - 5 = 3*p for p.
-1
Let v(u) be the third derivative of u**6/120 + u**5/30 - u**4/6 + 3*u**2. Let g be v(-3). Solve g*r - 5*r = 0 for r.
0
Let v = 381 + -222. Let y = 159 - v. Solve -2*n = -y - 6 for n.
3
Let l be 0*(118/295)/(4/10). Solve l = 6*t - t + 10 for t.
-2
Let h(u) = 4*u**2 - 22*u + 19. Let o(f) = -3*f**2 + 9*f - 13 - 4*f + f + 9*f. Let j(s) = 5*h(s) + 7*o(s). Let a be j(-3). Solve 30 = -4*c + a for c.
-5
Let l be (-24)/(-48) - 19/(-2). Suppose 4*y = 2*z + 42, l = 5*y - 4*z - 38. Solve 3*o + 0*o = y for o.
4
Let b(r) = r**3 + 5. Let o be b(0). Suppose -i - o = -5*h + 13, 0 = -h + 4. Solve 0*x = i*x for x.
0
Let r be ((-2)/12)/((-4)/168). Solve -r - 3 = -5*f for f.
2
Suppose 0*z - 9*z = -90. Solve -z*n + 24 = -4*n for n.
4
Let a = 7 + -7. Let n be 2 - 0 - 1 - -10. Suppose -2 = 3*d - n. Solve a = 4*l + d + 1 for l.
-1
Let q(k) = k**3 - 8*k**2 - 7*k - 44. Let j be q(10). Solve j*v - 91*v - 20 = 0 for v.
-4
Let m(h) be the second derivative of h**3/6 + 5*h**2 - 2*h. Let g be m(-7). Suppose -2*v + i + 0*i = -17, -3*v = i - 13. Solve -v = g*b - 5*b for b.
3
Let n be 2*-2 + 11/((-77)/(-14)). Let s be (-2)/(-5) + (-8)/(-5). Let g = n + s. Solve p - 2 = -g*p for p.
2
Suppose 5*p - 2*l = 456, 4*p + 5*l - 321 = 24. Solve 6*g - p = -90 for g.
0
Let r be -3 + 5 - 16 - -2. Let d = -11 - r. Let u = 3 + d. Solve -u = -4*m - 0 for m.
1
Let q = 0 + 0. Let y = 11568 - 11564. Solve q = -y*o + 2*o for o.
0
Let r = 14 - 11. Suppose 20 = 4*b + 4*x, r*x - 30 = -4*b - 13. Let l(z) = 2*z**2 - 5*z + 2. Let k be l(3). Solve -15 = -b*n + k*n for n.
-5
Let i be (125/30*3)/((-10)/(-20)). Solve 6*c + 13 = i for c.
2
Suppose -58 - 56 = -19*h. Suppose 0*t + 8 = 4*t. Solve -h = t*y - 0 for y.
-3
Let l(y) be the third derivative of y**6/120 - y**5/60 + y**4/24 - 2*y**3 + 4*y**2. Let z be l(0). Let n be 150/39 + z/(-78). Solve 0 = n*i - 0*i for i.
0
Let v(q) be the first derivative of -7*q**2/2 + 4. Let f be v(3). Let s = 25 + f. Solve 7 = s*t - 9 for t.
4
Let x = -27 + 37. Suppose p = -2*n + 5, -n + p = 2*n - x. Suppose -o + 65 = 5*f - n*o, -f + 5*o - 10 = 0. Solve -4*k + f = -1 for k.
4
Let m = -1141 + 1144. Solve m*r + r = -3*r for r.
0
Let j(s) = -2*s**2 + 3*s + 2. Let u be j(-1). Let i be (((-21)/9)/1 + 2)*u. Solve 2 + i = 3*g for g.
1
Suppose 0 = -c - 5*f + 2, -2*f = 3*f. Let x(a) = a**2 + 3. Let k be x(c). Solve -5 = -k*m + 2*m for m.
1
Suppose 2*w + 2 = 4*i, -5*w + 10 = i - 7. Solve 0 = -i*y + y - 3 for y.
-3
Let y be 5*6/20*4. Let f(s) = -s + 8. Let n be f(y). Suppose 8 = 2*d + 2*c, -30*d - 2*c + 12 = -26*d. Solve -n*w = d*w for w.
0
Let u be 6/(-2) + 33/3. Suppose 10*t + 2*t - 2*t = 0. Solve -2*l - u - 2 = t for l.
-5
Suppose -4*a + 20 = a. Let p be (-130)/(-14) - 12/42. Let l be (-4)/(-18) - (-61)/p. Solve 3*k - l = -a for k.
1
Let f = -563 + 563. Solve -20 = -4*h - f for h.
5
Suppose 3*x = x - 4*x. Suppose -5*c + 6*c + a - 3 = x, 5*c - 20 = -4*a. Solve -2*t - c = -0 for t.
-4
Let t = 131 + -76. Solve t*n = 65*n for n.
0
Let y(w) = w - 31. Let h be y(-10). Let a = h - -45. Solve 10 = -2*x + a for x.
-3
Let g be ((-3)/1)/(16 + -15). Let n be (-2)/g + 2/(-3). Solve -5*p - 5 + 25 = n for p.
4
Let d = -310 + 314. Solve -d*z + 3 = 11 for z.
-2
Suppose -20 = -5*x - 5*q, -4*q = -2*x - 7*q + 12. Suppose 0 = -2*f - x*f + 3*f. Suppose 7*w - 4*w - 9 = 0. Solve -w*o + 2 - 8 = f for o.
-2
Suppose -25 = -0*x - x + f, 2*f - 6 = 0. Let m = -19 + x. Solve -m = 5*b + 1 for b.
-2
Let y = 951 + -951. Solve y = 13*z - 9 + 74 for z.
-5
Suppose -33*h = 7*h. Let v be (-1 + 0)*(6 - 9). Solve v*x + 2 + 4 = h for x.
-2
Let z(h) = h**2 + 7*h - 4. Let k be z(-8). Suppose -k*q = -q - 12. Solve 0 = -q*o - 8 for o.
-2
Let u be -1*(-3 + 2) - -3. Let b(w) = 3*w**2 + w + 14. Let s(v) = -v**2 - v - 1. Let m(n) = b(n) + 2*s(n). Let r be m(0). Solve 0 = u*a - 0 - r for a.
3
Let j be ((-10)/4