1 - k**3 + 2*k - k + 3*k**2 - 1. Let a be d(4). Suppose -a*f = -4*f - 30. Solve -c = -4*c - f for c.
-5
Suppose 20 = -0*c + 5*c, -3*b - 5*c + 26 = 0. Suppose b*p = 2*h - 12, 2*p = -h + 5*h - 16. Solve -4*n = -h*n - 10 for n.
5
Let c = 1292 + -1284. Solve -15 = c*g - 11*g for g.
5
Let x be ((-102)/(-7)*1)/((-12)/(-56)). Solve -11*l = -x + 13 for l.
5
Let z(q) = -20*q - 1 - 1 - q**2 + 12*q. Let o be z(-4). Suppose -3*a - 5*g + o = 0, -5*a + 20 = -0*a + 5*g. Solve 6 = -6*h + a*h for h.
-2
Suppose -y = 3*s - 4, 4*y = 4*s + 6 + 10. Solve 0 = -s*q - 6*q for q.
0
Let r(l) = l**2 + l. Let d be r(0). Suppose 3*y - 206 - 226 = d. Let f be (-2)/4*y/(-6). Solve -5*o = -f + 32 for o.
-4
Suppose -2*w - 44 = -2*a + 44, -5*a = 3*w + 108. Let s = -8 - w. Let f = -4 - -9. Solve 8 - s = -f*n for n.
5
Let t = 513 + -512. Solve -3 = -2*l + t for l.
2
Suppose -2*z = 3*q - 5 - 37, 58 = 2*z - 5*q. Solve 3*i + z = -5*i for i.
-3
Suppose -8*o = -7*o + 8. Let m be (-2)/2*8/o. Solve 2*j + m = 3 for j.
1
Suppose -4*p = 0, -2*v - 4*p = -4 - 2. Let g be ((-2)/(-3))/(2 + (-16)/9). Suppose 0 = 4*a - 8, 8 = g*y + 5*a - 17. Solve -v*n + y*n = -2 for n.
-1
Let c be 2 - (-2 + 124/4). Let r be (-4)/6*(24 + c). Solve r = u + 3 for u.
-1
Let r(q) = -q**3 - 7*q**2 - 10*q - 20. Let u be r(-6). Solve d + u*d = -10 for d.
-2
Let k be ((-45)/27)/((-5)/6). Suppose -5*a = -6*a + 4. Solve a*n - 4 = k*n for n.
2
Let a be 6/(-30)*-25 + 0. Solve -a*r = -10*r - 15 for r.
-3
Let u = 201 - 285. Let p be (-10)/(-35) + (-3)/(u/104). Solve p*m + 0*m = 8 for m.
2
Let t(o) = 6*o - 74. Let l be t(13). Solve 24 - 16 = l*g for g.
2
Suppose -3 = -17*o + 184. Suppose -19*c + 96 = -o*c. Solve -c = 4*q - 8*q for q.
3
Suppose -3*k + 5*l - l = 19, k - 4*l = -17. Let w be 0 - (k + -1 + -2). Suppose 22 = 3*y + w*a, -3*y + 18 = -2*y + 4*a. Solve 2*s + y*s - 8 = 0 for s.
2
Let a be -2 - ((9 - 6) + (-8)/1). Solve -2 - a = o for o.
-5
Suppose -7*d + 88 - 46 = 0. Solve -7 + 25 = -d*v for v.
-3
Let j = 236 + -229. Solve 2*k = j*k for k.
0
Suppose 13*u + 36 = 22*u. Solve u*d = -1 + 21 for d.
5
Suppose 3*g - 5 = 10. Suppose 5*i + 32 = 4*b, 2*i + 3 + g = b. Suppose 2*w - b = -6. Solve -p + w - 3 = 0 for p.
-2
Let u be 2/(10/(-15)*-1). Suppose 5 = 3*v - 5*w, 4*v = u*w - 6*w + 26. Solve -2 = -v*c + 8 for c.
2
Let a(r) = 25*r - 20. Let h be a(3). Let z = 65 - h. Solve -3*j = 2*j - z for j.
2
Let c(s) = -s**3 + 22*s**2 - 40*s + 10. Let j be c(20). Solve 14*h - j*h + 16 = 0 for h.
-4
Suppose 0 = -2*l - 3*m + 42 - 13, -5*l - 5*m + 60 = 0. Solve -l*o = 49 - 21 for o.
-4
Let y(k) = -k**3 + 8*k**2 - k + 9. Let r be y(8). Let l = 2 + r. Let c = 53 - 49. Solve l*d = d + c for d.
2
Let f be -1 - (-9)/(4 + -1). Suppose 2*n = -5*o - 10, -6 = 5*o - f*o. Solve 3*l + 9 = -n for l.
-3
Suppose -29 - 11 = -2*j. Suppose 10*k - 70 - j = 0. Solve 6*l - 9*l = -k for l.
3
Let o = -59 - -103. Suppose -v - 40 + o = 0. Let s(c) = -c**3 + 4*c**2 + 4*c + 4. Let n be s(v). Solve -5 - n = -5*w for w.
5
Suppose -s - 2*y = -3*s - 6, -3*y + 3 = 3*s. Let q be s + -3 - (-5 - 3). Solve q*a = a for a.
0
Let r be 3/5 + (-352)/20. Let w = r - -20. Solve -c - 1 = w for c.
-4
Let l be 9/12*4/12*20. Suppose l*r + 4*s = 13 - 6, -5*r - 5*s + 5 = 0. Solve -p = -r*p - 4 for p.
-2
Let v be 5/(-2) + 6 - (-12)/(-8). Solve -13*j = -15*j + v for j.
1
Suppose -5*c - 30 = -5*x - 0*c, 2 = -3*x - c. Let r be 11/3 - x/(-3). Solve 12 + 4 = r*z for z.
4
Suppose 20 = 5*x, 0 = -n + 5*x - 2 - 14. Solve 0 = -j + n - 3 for j.
1
Let m(o) = -3*o - 5. Let w be m(-2). Let x(f) = 13*f**2. Let j be x(w). Let u = 17 - j. Solve 0*d = u*d for d.
0
Suppose -4*z + 101*s + 31 = 98*s, 0 = s - 3. Solve 90 = 8*f + z*f for f.
5
Let n(h) = -4*h**2 - 3*h**2 - 5*h + 0*h - h**3 - 8*h + 1. Let r be n(-4). Solve 15 - 5 = -r*v for v.
-2
Suppose -5*n + 3*g + 0*g + 3 = 0, 5*n + g + 1 = 0. Suppose 0 = -n*h + 4*h. Solve h*q = q for q.
0
Suppose -5 = v + 3*p - 7, v - 2 = 5*p. Solve 16 = v*d + 6*d for d.
2
Let l = 97 - 93. Solve -l*q - 2 = -5*q for q.
2
Let m = 673 - 669. Solve m = -2*z - 0*z for z.
-2
Let v(y) = 18*y - 75. Let w be v(5). Solve 6*k - 15 - w = 0 for k.
5
Suppose 0 = -r + 3*k - 7, -r - 3*k + 5*k - 3 = 0. Let d(c) = -c**3 - 5*c**2 - 2*c. Let a be d(-5). Solve -15 = r*j + a for j.
-5
Suppose -66 = g + 3*z, -2*g - 104 = 4*z + 34. Let k be (-16)/(-20) - (-5)/(g/(-168)). Solve -k = -5*v + v for v.
3
Let r = 46 - 76. Let d be (r/12)/((-5)/4). Suppose -d*a - 3*v + 61 = 0, -v = -2*a - 0*v + 73. Solve -5*c + a = 10 for c.
5
Let x = -172 - -174. Suppose -15 = -3*l - 5*v, -v + 3 = -0*l + 4*l. Suppose q = -l*q + x. Solve 2*u = 8 - q for u.
3
Suppose 2*u = 3*u - z - 4, -2*u + 29 = 5*z. Solve -u = 5*s + 18 for s.
-5
Suppose -2*h - n + 174 = 0, 3*n + 328 = 30*h - 26*h. Solve 9*i - h = -8*i for i.
5
Let h = -3 - -7. Let n(d) = 6*d + 1. Let l be n(1). Solve h*y = l + 1 for y.
2
Suppose 33 = l + 3*x, -2*l + 3*x - 68 + 179 = 0. Let d = -42 + l. Suppose 0 = -4*a + 3*s + 21, 3*s = -3*a + a - 3. Solve 0*y = a*y - d for y.
2
Let i(x) = -2*x**2 + 27*x + 27. Let a be i(15). Let s(y) = -y**3 - 17*y**2 + 16*y - 34. Let z be s(a). Suppose 2*q = -3*q. Solve q*w + z = -w for w.
-2
Suppose 3*l - 7*l + 2*z - 246 = 0, z - 60 = l. Let h = 67 + l. Solve h*r = 11 + 5 for r.
4
Let u(y) = 4*y + 31. Let j be u(-7). Suppose -w - 4*w + 15 = 2*q, -j*q + 6 = 2*w. Solve 2*r + q*r = 8 for r.
4
Let k(p) = -p**2 - 18*p - 64. Let n be k(-5). Solve 6*d + n = -5 for d.
-1
Suppose 0 = 14*z - 12*z - 12. Solve 6*f + 0 = -z for f.
-1
Let i(v) be the first derivative of 2/3*v**3 - 11 - 8*v**2 + 0*v. Let z be i(8). Solve -u + z = -3 for u.
3
Suppose 5 + 19 = 6*a. Suppose 2*o = 6 + a. Solve 0 = -o*m + 4*m for m.
0
Let s be (-4)/(-1 + (-6)/(-9)). Let i(k) = -k + 16. Let n be i(s). Suppose -n*u - u = -45. Solve -2*z = -u + 3 for z.
3
Let l(j) = -12*j - 225. Let b be l(-21). Solve 0 = -c - 31 + b for c.
-4
Suppose -c - 125 = 3*g, -3*c = 3*g + 2*c + 121. Let w = -34 - g. Solve -w*i = -10*i + 2 for i.
1
Let t be ((-8 - -5) + 21)*(0 - 1). Let z be 14/4*t/(-21). Solve -3*n - z = -6 for n.
1
Let w be (396/20)/(-1 + (-13)/(-10)). Suppose -w = 5*x - 91. Solve 0*q + 5 = -x*q for q.
-1
Let x = 128 - 119. Solve x*o - 5*o = 8 for o.
2
Let o be 5 + 5*(-5)/25. Solve 0 = -o*j - 14 - 2 for j.
-4
Let j(h) = -h**3 - 9*h**2 - 4*h + 33. Let q be j(-8). Solve -6 = -i - q for i.
5
Suppose 4*n - 2*n = 2*y - 8, -4*n + 8 = 4*y. Let d(g) = 5*g + 65. Let t(c) = -3*c + 15. Let z be t(8). Let l be d(z). Solve 0 = p + y*p - l for p.
5
Suppose 3*j + 4*z = 40, 3*j - 19 = -5*z + 22. Solve 17*c - j*c - 25 = 0 for c.
5
Let z be (-2 - 1) + -14 + 6 + 11. Solve z = 4*y - 9*y - 15 for y.
-3
Let n be (-4 - -1) + -2 + 6. Let v be 0 - (-7 + (n - 0)). Let m be v - 2 - (-3 + 2). Solve o - m*o = -4 for o.
1
Let m(s) = -s**3 + 8*s**2 - 23*s + 34. Let d be m(4). Solve -21 = d*i - 13*i for i.
3
Suppose 14 + 7 = 3*f. Suppose 2*o - 217 = -a, 5*a = f*o - 2*o - 505. Let m be o/22 + 20/110. Solve 2*q + m = -3 for q.
-4
Let h = 281 - 272. Solve -28 = -h*a - 1 for a.
3
Let a = -89 + 69. Let d be a/(-8) - 4/8. Solve d = j - 2*j for j.
-2
Let d = -11 - -13. Suppose -l = 2*w + d + 4, 5*l - 5*w = 45. Solve -3 + 7 = l*v for v.
1
Suppose -m + 5 = 2*l, -3*l + 2*m = -0*l - 25. Solve 0 = -2*q + q - l for q.
-5
Let n be (-8)/10 + 8/10. Suppose -3*t - m + 9 + 10 = n, 0 = 2*t - 5*m - 24. Solve 0 = -3*x - 1 + t for x.
2
Let j(m) be the third derivative of -m**6/120 + m**5/15 + m**4/24 + 11*m**3/6 + m**2. Let n be j(5). Let k = n + 11. Solve 2*l + k*l = -12 for l.
-3
Let o be -5 - (-12 - (-6)/2). Suppose o*k + 16 = 0, 3*v - 2*v - 5*k - 24 = 0. Solve -w + v = -0*w for w.
4
Let a be 40/12*(-12)/5. Suppose k + 17 - 31 = 0. Let u = k + a. Solve -u*j = -11*j + 10 for j.
2
Let p be 4 + 16/(-4) + -16. Let y(a) = a**3 + 16*a**2 - a - 12. Let f be y(p). Solve f*c = 3 + 1 for c.
1
Let f = -60 + 61. Solve 10*l = -1 + f for l.
0
Let w = 7 - -5. Suppose 2*j - w = 2. Solve -6*s + j*s = -3 for s.
-3
Suppose -3*i + 3*t = -30, 2*i - 2*t - 23 = t. Solve -i*s - 10 = -3 for s.
-1
Let t be 1 + 30/(-6) + 10. Solve -t*v - 4 = -4*v for v.
-2
Let z(o) = 3*o + 14. Let l be z(-3). Solve 0 = -11*k - l + 49 for k.
4
Suppose s - j = 3*j + 22, 0 = 2*j. Suppose 3*h - 4*u - 8 = 12, -s = -4*h + 3*u. Let t = 0 + 0. Solve t = -2*r - 0*r - h for r.
-2
Let