ve -c*a + 0*a - 6 = k for a.
-2
Let q be (-9)/15 + 9/15. Let f(x) = -x**2 + 9*x - 2. Let m be f(6). Let s be 26/8 - 4/m. Solve q = -s*n + 4 - 1 for n.
1
Suppose -5*q + 63 = -2*q. Let g = 25 - q. Solve -g = -4*h + 16 for h.
5
Let l be (-460)/(-21) + 30/315. Solve -4*w - l + 10 = 0 for w.
-3
Let m(c) = 2*c**2 - 24*c + 47. Let n be m(12). Solve 27 = 4*y + n for y.
-5
Let y(c) = -c**3 + 6*c**2 - 6*c - 5. Let u be y(5). Let d = 12 + u. Let r be (-2 + d + 4)*1. Solve r*f + 4 = 5*f for f.
4
Let t = -198 - -68. Let w be t/(-20) + (-2)/4. Solve -v = v + w for v.
-3
Suppose 4*g = 12*g - 88. Let i = g - 4. Solve 2*v = -i + 1 for v.
-3
Let p(m) = -m**2 - 20*m - 47. Let a be p(-17). Suppose -3*g + 18 + 2 = -a*c, 2*g = 3*c + 12. Solve g = 5*d + 37 for d.
-5
Suppose -831*j = -842*j + 121. Solve 3 = -2*t + j for t.
4
Suppose -2*o = -0*o - 4. Let w(d) = d + 1. Let r be w(o). Suppose -n = -2*n - 5*l - 24, -r*l - 18 = -3*n. Solve 3*q + 2 + n = 0 for q.
-1
Suppose -14*b + 12 = -2*b. Solve -b = -j + 4 for j.
5
Let i = 22 + -23. Let d be 16 - i/(4/(-16)). Let u = d - 9. Solve 0 = u*b + 3 for b.
-1
Let x be (200/(-80))/(15/(-24)). Solve -16 - x = -5*q for q.
4
Let b(d) = -5*d**3 + d**2. Let n be b(-1). Let f = n + -2. Let c = -47 - -48. Solve g + c = f for g.
3
Suppose 5*v - 15 = 5*j, -4*v + 12 = -2*v - 4*j. Suppose -4*d = -v*k + 3*k + 15, 5*k + 25 = 2*d. Suppose -5*a + 6*a = d. Solve 5 + a = -5*x for x.
-1
Let n = -36 - -33. Let i be 20/(n - (-2 + -3)). Solve -2*y - i = -2 for y.
-4
Let h be (4 - (-300)/(-80)) + 62/8. Solve -h*l + 8 = -0 for l.
1
Let k(h) = -13*h**3 + 1. Let g be k(1). Let j be (-4)/g + (-33)/(-9). Let v be j/18 + (-136)/(-36). Solve y = v*y - 6 for y.
2
Let l = -42 - -82. Suppose c = -3*b - l, -5*c = -4*b - c - 32. Let d = 22 + b. Solve y + d = -y for y.
-5
Suppose -64 = -17*v - 64. Solve v = -2*b + 1 - 3 for b.
-1
Let b = 714 - 704. Solve -8*m + b + 22 = 0 for m.
4
Let x(f) = -f**3 + 24*f**2 + 23*f + 50. Let m be x(25). Solve 4*o - 3 - 1 = m for o.
1
Let x = -7 + 10. Let s = 79 + -44. Suppose -15 = 5*f - s. Solve 5*w = f*w - x for w.
-3
Suppose 0 = 5*p + 3*c - 17, -22 = -5*p + c + c. Suppose -4*j + 2 = -j + 4*m, -p*j + 6 = 2*m. Suppose -n = -j*n. Solve -9 = 3*w - n*w for w.
-3
Suppose -l = -41 - 3. Let h = l + -42. Solve 0 = h*x + 13 - 3 for x.
-5
Let h = 14 - 9. Suppose 13*l + 113 = 139. Solve -l*i = -i + h for i.
-5
Let g = 24 - 30. Let x be g/(-12) + 1/2. Let f = 1 + x. Solve f*t = 4 - 0 for t.
2
Suppose -2*l + 26 = 3*b, b + l = 2*l + 2. Suppose -b*w + 5 = -w. Let q(h) = 5*h**3 - h**2 + h. Let z be q(w). Solve 4*a = z*a + 2 for a.
-2
Let t be ((-9)/4)/(16/(-64)). Solve -t = 5*f + 11 for f.
-4
Let c(m) be the second derivative of 7*m**4/12 - m**2 - 9*m. Let y be c(-1). Solve -9 = y*z - 29 for z.
4
Let x = 14 - 24. Let r be 6/x + (-56)/(-10). Solve r*z + 25 = -0 for z.
-5
Let h(x) = 2*x + 22. Let p be h(-7). Suppose -p*f - 4 = -9*f. Solve -v + f = 3*v for v.
1
Suppose y + 22 = 5*v, -v + y = -3*v + 6. Suppose 0 = v*p + 56 + 84. Let g = p + 36. Solve -q = -0*q + g for q.
-1
Suppose 112*v - 1224 = 61*v. Solve 4*x = v - 8 for x.
4
Let p(m) = -m**2 - 8*m - 5. Let u be p(-8). Let s be ((-3)/u)/(12/40). Solve 4*l - 2 = s*l for l.
1
Suppose 54 = 3*v + 3*d, 3*v = -2*v - d + 82. Suppose 4*r - v = -4*m, 5*r = -4*m + 20 - 5. Solve -1 - 4 = m*k for k.
-1
Suppose 0 = -6*q + 32 - 8. Suppose 4*o = -2*k + 16, 6 = -3*k - 0*k + q*o. Let v be (-1 - 1)*-1 + 2. Solve -v - k = -2*t for t.
3
Let m(c) = 29*c + 784. Let p be m(-25). Solve -p*u = -62*u + 9 for u.
3
Let n(c) = 5 + 5 + 4*c + 10. Let t be n(-5). Solve t*d - 10 = -5*d for d.
2
Suppose 6*k - 2*k + 4*i - 28 = 0, -5*k + 47 = i. Let f be 0/(2/6*3). Let t be 4/2 - (-3 + f). Solve -t*j + 0 = -k for j.
2
Suppose 10 = -z + 23. Solve -z + 29 = -4*i for i.
-4
Suppose 2*d - 3*x = 880, 33*d + 440 = 34*d + 2*x. Solve 2*c - 436 + d = 0 for c.
-2
Let b = 9 - 5. Suppose 5*h = 3*h + 4. Suppose -21 = h*p - 9*p. Solve -x - b = -p*x for x.
2
Suppose -2*o = 2*q, -4*o = -2*q - 3*q - 18. Suppose -293 = -139*k + 52*k - 32. Solve o = x + k for x.
-1
Let t = 33 - 28. Let y(p) = 10*p**3 + 1. Let x be y(1). Suppose 0 = -5*n + 4*a - 11, 0 = -3*a + 1 + x. Solve -t + n = -2*r for r.
2
Let x be 0 + (-5)/(-1) + (10 - 5). Let g(n) = -2*n - 5. Let a be g(-4). Solve -5*i = -a*i - x for i.
5
Let q = 66 + -31. Solve -44 = 3*a - q for a.
-3
Suppose z + z = -0*z. Suppose 5*c - 2*u = 29, c = 4*c - u - 17. Suppose -v = -c*v + 48. Solve z = -b + 5*b + v for b.
-3
Let f(c) = -c**3 + 4*c**2 + c. Let o be f(4). Suppose o*r = 5*r. Solve q + r*q = 3 for q.
3
Let u = -6 + 8. Let k be (-50)/(-13) - 54/(-351). Suppose 0 = 2*z - 5*y + 2, k*z - u*y + 7*y - 26 = 0. Solve 0 = -w + 2*w + z for w.
-4
Let b = -36 - -36. Suppose 4*i - 35 + 3 = 0. Solve 0 = -b*r + 4*r - i for r.
2
Suppose -2*k - 18 = -4*g, -2 = g - 4. Let y = -1 - k. Solve -u + y = -2*u for u.
-4
Let u(w) = -w**2 - w + 23. Let f be u(4). Suppose n + f*n = -n. Solve n = -4*i + 6 - 22 for i.
-4
Let o = -205 + 210. Solve c + 12 = o*c for c.
3
Let i be (0 - -1 - 3)/((-10)/100). Let f(w) = -9*w - 1. Let c be f(-2). Let g = i - c. Solve 2*s - 1 = g*s for s.
-1
Suppose 0*a - 3*a - 5*t = -40, 0 = -4*a - 3*t + 46. Solve -9*y = -7*y + a for y.
-5
Let j = -60 + 65. Suppose 0 = -3*s + 3 + 3. Suppose -s*x + i - 5 = x, j*x + 5*i - 25 = 0. Solve -l - 4 + 1 = x for l.
-3
Suppose -17*p - 4*o = -20*p + 20, 6 = -p - 5*o. Solve 8*x - p*x = 0 for x.
0
Let g = 29 + -22. Suppose -54 = -g*y + 86. Solve 0*c + y = -4*c for c.
-5
Let w be (-32)/80 + (-22)/(-5). Solve -12 = 4*z + w for z.
-4
Suppose 5*l - 6 = 5*j - 1, 0 = l. Let g be 8*2/j*3/(-3). Solve 4*o + g = -0*o for o.
-4
Suppose b = -b - 0*b. Let m be b/((-5)/(-3 + -2)). Solve m = 2*i - i + 4 for i.
-4
Suppose 88*n - 207 = 19*n. Let r be 27/(0 - -1) - 0. Suppose -t = 2*t - r. Solve t = n*o - 0 for o.
3
Let y be -10 + 5 + 5 + -1 + 4. Solve 0*u + y*u = -u for u.
0
Let j = -2 + 2. Suppose 9*m - 5*m = j. Let r(v) = v**3 - v. Let t be r(0). Solve t = -2*w - 8 - m for w.
-4
Suppose 5*a + r + 4*r + 55 = 0, 5*a + r = -71. Let w be 27/a*10/(-6). Solve -w*n + 2*n + 4 = 0 for n.
4
Suppose 4*u = -5*o - 249, 3*u + 2*o + 163 = 3*o. Let b = -54 - u. Solve 0 = -b*y + 2 - 8 for y.
-3
Let t = -101 + 109. Let y be -2 + 1*(-12)/(-1). Suppose -4*w - 4 = 2*i, 3*w + y = 3*i - t*i. Solve f - 6*f - 25 = w for f.
-5
Suppose -4*f - 1 = -21. Suppose -3*u + 70 = -f*u. Let s = u + 64. Solve -9 + s = -5*h for h.
-4
Suppose -2*g + 2 = -2. Solve 0*y = g*y for y.
0
Let j = 6 + 0. Let a(z) be the third derivative of z**6/120 - 7*z**5/60 + z**4/3 - 3*z**3/2 - 2*z**2. Let w be a(j). Solve 0*k + w*k = 0 for k.
0
Let k = 32442 - 32439. Suppose 3*i + 0*i + 9 = 0. Let t(d) = -d - 2. Let c be t(i). Solve k = -4*z - c for z.
-1
Let h be (135/(-180))/((-6)/32). Let q be (-34)/(-8) + 3/(-12). Suppose -8 = -q*l - 3*d, 5*l = -3*d + 6 + h. Solve -l = a + 2 for a.
-4
Let h(j) = j**2 + 6*j - 5. Let g be h(-7). Let q(x) = 6*x**2 + 3 + 3 - g*x + 0 - x**3 + x. Let p be q(6). Solve p = 4*i + 2 - 10 for i.
2
Let u = -36 - -50. Suppose 2 = t + 4*w - w, -3*t + u = w. Let h = t - -7. Solve 6*q - 2*q - h = 0 for q.
3
Let b = -2028 - -2031. Solve 0 = o - 1 - b for o.
4
Let s be (-1 - -2)/(2/(-34)). Let u(h) = 17 + 64*h**2 - 14*h**2 - 19*h**2 - 18*h**2 - 17*h - 14*h**2. Let b be u(s). Solve 4*j = -3 - b for j.
-5
Suppose 198*i = 194*i. Suppose i = 163*h - 160*h - 18. Solve -s = -h*s for s.
0
Let q = 63 - 61. Suppose -q*s + 21 = 4*a + a, a + s - 6 = 0. Solve a*h - 2*h = -1 for h.
-1
Suppose -2*k + 39 = 41. Let a be (k/3)/(1 + 95/(-90)). Solve 2*g + 2 = -a for g.
-4
Let a(m) = 6*m**3 - 22*m**2 + 5*m - 4. Let v be a(4). Solve -53*p = -v*p - 5 for p.
1
Let f(i) = 6*i. Let p be f(1). Let w be 27/5 + p/(-15). Suppose -2*r = -w*r + 6. Solve r*q - 3*q = -1 for q.
1
Suppose 3*z = 4*s + 2*z - 65, -5*s = -z - 81. Let x = -12 + s. Let v(f) = -f**2 + 6*f. Let d be v(x). Solve -u - d = -5*u for u.
2
Let n be ((-12)/(-18))/((-6118)/1533 - -4). Solve 61 - n = 3*u for u.
-4
Let i(q) = -2*q**3 + 3*q**3 + 12*q**2 - 6*q - 5 + 12*q**2 - 20*q**2. Let n be i(-5). Suppose n = -3*v + 15, 5*k + v - 105 = -4*v. Solve -d = 3*d + k for d.
-4
Suppose -4*d = 1722*w - 1726*w - 44, -3*d - 3*w = 21. Suppose -u + 0*u - 28 = 0. Let x = -13 - u. Solve 5*a - x = d