 f(-16). Solve -3*y + k = 13 for y.
-4
Let a(h) = -4*h - 47. Let i be a(-13). Suppose 0 = i*c - 25, 9*c - 5*c = -2*g + 36. Solve -9*t + g = -5*t for t.
2
Suppose 0 = -563*s + 579*s. Let a = 13 - 10. Suppose -c + 6 = -2*z, -5 = -a*c + z + 3. Solve -2*q + 4 + c = s for q.
3
Let j = 1 - -20. Let u = -828 + 834. Let d be u/j + 66/14. Solve 4*i = d - 1 for i.
1
Let r(b) = -b**3 + 4*b. Let y be r(-4). Suppose y = q + 46. Solve 12 = q*w + 2 for w.
5
Suppose -4*j = -26 + 86. Suppose r = -5*o + 28, r - 2*o - 30 + 9 = 0. Let g = r + j. Solve -g = 2*y - 0*y for y.
-4
Let v(w) = -94*w - 1406. Let q be v(-15). Solve -q*z + 0 = 28 for z.
-7
Let l(x) = 6*x**2 - 65*x + 5. Let z be l(11). Solve -14*u + 6*u - z = 0 for u.
-2
Let t(c) = -1369*c + 2766. Let v be t(2). Solve 10*o - v = -4*o for o.
2
Let j(q) = -7*q - 44. Let l(s) = -8*s - 44. Let v(n) = -4*j(n) + 3*l(n). Let i be ((-4)/70)/((-1)/(-25))*7. Let f be v(i). Solve 4 + 16 = -f*w for w.
-5
Let u(y) = -26*y + 1334. Let b be u(51). Solve b = 16*g - 40 for g.
3
Let d = 2548 - 2541. Suppose 4 = -2*v + 4*v. Solve 0 = 3*f - v - d for f.
3
Suppose -132*v - 210 + 2190 = 0. Solve v*s = 16*s + 2 for s.
-2
Let s be ((-13)/11 - 2/(-11))*-172. Solve -29*h + s + 2 = 0 for h.
6
Let g = 116 - 182. Let p = 70 + g. Solve -13 = -p*m - 5 for m.
2
Let h = -105 + 117. Solve 0 = h*u - 24*u - 72 for u.
-6
Let y = 86 - -6. Let x = y - 83. Let t be (-3)/(-2) - 1 - x/18. Solve t = -m - 0 - 3 for m.
-3
Suppose 46*y = 10*y + 504. Solve 80*t = 73*t + y for t.
2
Suppose -5*m - 57 = -9*b, -2*b - m = b - 27. Solve -155 = -23*l - b*l for l.
5
Let u(c) = -c. Let j = 42 - 47. Let i be u(j). Suppose -5*t = -i, -3*t + 0 + 1 = -x. Solve g + g = x for g.
1
Let a be (-20)/(12 - 1490/120). Solve 45*y = a*y for y.
0
Suppose 24*q + 29*q + 54 = 56*q. Solve 0 = -q*g + 30*g + 24 for g.
-2
Suppose 1967 = -3*k + 2309. Let s be ((-36)/(-21))/6 - k/(-42). Solve 2*l + s = -1 for l.
-2
Suppose 979 = 158*y - 285. Solve -y*r + 51 = 11 for r.
5
Suppose 3*h = -2*h + 15. Suppose 3 = 4*y - h*y. Suppose -3*s = y*s. Solve 0 = -s*u - u for u.
0
Let g(a) = -3*a + 9. Suppose -5*t = -10*t - 100. Let w be g(t). Let n = 71 - w. Solve 4*b - 10 - n = 0 for b.
3
Let l be (-14)/56*2*-142. Solve 14 = 19*a + l for a.
-3
Let x(t) be the first derivative of -7*t**2/2 - 266*t + 137. Let n be x(-39). Solve 0 = n*d - 0*d + 21 for d.
-3
Let i be 31 + -6 + -16 + 4*19. Solve -30 = -95*m + i*m for m.
3
Let u be (-4)/(28/12 + -3). Suppose -2*x - u + 2 = 2*k, -2*x + 2 = -k. Solve j + x*j + 2 = 0 for j.
-2
Suppose -4*a + l - 2 = 0, 27*l - 30*l = -5*a - 6. Solve a = 5*t + 89 - 69 for t.
-4
Let y = 7211 + -6895. Solve -y*r + 311*r = 5 for r.
-1
Let k be -198*(13 + (-944)/72). Solve -27*h + k*h = 45 for h.
-9
Let q = 95 + -69. Suppose -34 = -4*a + q. Solve -a = 3*f - 6*f for f.
5
Let f(w) = 398*w - 2786. Let h be f(7). Solve -14*c + 429 - 485 = h for c.
-4
Let v(k) = k**2 - 3*k - 6. Let m be v(6). Suppose 2 = -2*p + 2*s, 3*p + 0*p + 2*s - m = 0. Solve 6*d = p*d + 4 for d.
1
Suppose 6 + 2 = 2*k. Let j be 0/((k - 3)*2) - -4. Let h = 162 - 162. Solve -j*w + h*w = 12 for w.
-3
Let z = -13 - -17. Suppose -z*p + 1 - 14 = -5*v, 5*p - 35 = -4*v. Suppose -3*s = m - s - 10, -3*m = -s + v. Solve m*f - 4 = f for f.
-4
Let f(s) = s**2 + 3*s + 3. Let p be f(-2). Let m be (p + -2 + 2)*-1. Let i be (0 + 2)/((m - -2)*2). Solve -2*j = i + 5 for j.
-3
Suppose 2*g = 2*l + 236, g + 3*l = 116 + 10. Solve 41*d + g = 81*d for d.
3
Let q = -190 + 161. Let b = 44 + -13. Let h = q + b. Solve -3*s = h*s - 10 for s.
2
Let c(y) = -239*y + 1855. Let p be c(7). Solve k + p = 183 for k.
1
Suppose -144 = 3*n - 15*n. Suppose -2*p + n = -12. Solve 0 = 7*y - 3*y + p for y.
-3
Suppose 0 = -22*n + 2511 - 12807. Let s = -466 - n. Solve -4 = -4*k + s*k for k.
2
Let c be (-6)/4 - 117/6*-3. Suppose c*u + 42 = 63*u. Solve -9*l = -u*l + 10 for l.
-5
Let u be (1 + -2)/(3 + (-267)/90). Let v be 400/u*12/(0 - 4). Solve 4*w + v = -6*w for w.
-4
Let t(u) = 11*u**3 + 5*u**2 - 6*u - 28. Let o(r) = -7*r**3 - 3*r**2 + 4*r + 18. Let h(d) = 8*o(d) + 5*t(d). Let q be h(0). Solve 0 = -s - q*s + 25 for s.
5
Suppose -66 = -3*q + 6. Suppose -6*x + 60 = -q. Suppose 5*k = -4 + x. Solve 0 = 5*l - 12 + k for l.
2
Let z(s) = -s**2 - 56*s + 897. Let d be z(13). Solve 37*o - 54*o - 102 = d for o.
-6
Let i be 7/7*2*4. Suppose -2*u + 2*x - 13 + 9 = 0, -x = 4*u - 2. Let t = u + i. Solve 0 = -4*s + 2*s + t for s.
4
Let o(i) = 90*i + 585. Let v be o(-6). Solve -16*z - 35 - v = 0 for z.
-5
Let a be (-5)/(-6) - 16/(-96). Let q be ((-30)/(-12))/(a/2). Suppose -f - 2*o = -7 + 2, 5*f - q*o = 10. Solve 4*l + f - 7 = 0 for l.
1
Suppose 3*u = 13*u. Suppose 3*w - 3*n + 18 = 0, u*w - 2*n - 51 = 5*w. Let p(o) = -2*o**3 - 18*o**2 + o + 12. Let i be p(w). Solve -2*c + 3 = -i*c for c.
-3
Let p = 421 + -400. Suppose -p*t + 30*t = 54. Solve 5*y = t - 21 for y.
-3
Let d(x) = x**2 + x - 57. Let w be d(-8). Let u be w + 2 + 1 - -72. Let v = 78 - u. Solve -3*b = -5*b + v for b.
2
Let y be (16/5)/((-1)/(-5)). Let l = -6 - -8. Let q = 21191 + -21185. Solve l*k - y = q*k for k.
-4
Suppose 7*g - 9*g - 258 = 0. Let o = g + 127. Let v be 17/2 + o/(-4). Solve -4*w = -v*w for w.
0
Suppose -84*v - 156 = -1332. Solve 11*l + 3 = v*l for l.
1
Let b = -4488 - -4563. Solve -b*g + 94 = -28*g for g.
2
Suppose t - 4*r = -192, 3*r + 8 = -7. Let y = t + 216. Solve -5 = -y*i - 1 for i.
1
Suppose d - s = 67, -3*s - 270 = -4*d + 2*s. Suppose 3*i + d = 2*i. Let c = i - -66. Solve x = -3 - c for x.
-4
Suppose 2*h - 780 = -3*a, 3*a + 5*h - 837 = -57. Let m = a + -260. Let l be 1*2 + 0 + 1. Solve m - l = 3*x for x.
-1
Let x = 240 - 229. Let m(w) = -w**3 + 13*w**2 - 20*w - 19. Let y be m(x). Solve -b + 1 = y for b.
-2
Let h(a) = -a**2 - 39*a + 960. Let w be h(-53). Solve w = 10*o + 248 for o.
-3
Suppose -40 = -2*k - 2*k. Suppose 3*i = f - 7, -16 = -5*f + i - 5*i. Suppose f = -g + 10. Solve -g - k = -4*r for r.
4
Suppose 3608 = 200*f - 4992. Solve -f*r + 108 = -64 for r.
4
Let i(u) = -u**3 - u**2 + 1. Let o be i(-2). Let a(w) = 2*w**3 - 20*w**2 + w + 3. Let y be 9/72 + (-79)/(-8). Let t be a(y). Solve -o*d + 2 = -t for d.
3
Let v = 48 - 54. Let r be ((-38)/v - 6)/((-2)/(-12)). Suppose -3 = 2*d - d - 3*g, -2*g + r = 0. Solve d = -3*k + 1 - 4 for k.
-1
Suppose -39*q + 87 = -69. Solve 0 = q*i + 2*i for i.
0
Let d(i) = 8*i + 4*i - 3*i + 18 + 6*i - i**2. Let l be d(16). Let t = 112 + -112. Solve -2*s + s - l = t for s.
-2
Let f = 8348 - 8335. Solve -7*y - f = 15 for y.
-4
Let l = 339 - 331. Suppose 4*w + l*a - 5*a - 54 = 0, 3*a = 6. Solve -2*o - w = -6 for o.
-3
Let z = 2881 + -2860. Solve v + z = 21 for v.
0
Let p(z) = -27*z**2 + z**3 + 4*z - 2*z**3 + 29*z**2. Let d be p(3). Suppose -5*l - 4*y = -d*l - 20, -3*l + 3 = -3*y. Solve l*t + t - 20 = 0 for t.
4
Let u be -2*(((-33)/6)/11 + -4). Solve 33 + u = -21*v for v.
-2
Let b(k) = 10*k + 500. Let y be b(-37). Solve -y + 148 = 3*t for t.
6
Suppose 22*m - 8 = 3*z + 20*m, -3*z - 2*m = -8. Solve z = -106*t + 98*t + 40 for t.
5
Let d(u) = -u**3 + 70*u**2 + 625*u + 246. Let n be d(78). Solve -n = 46*g + 8*g for g.
-6
Let l = 23277 + -23273. Let d(w) = 3*w**2 + w + 1. Let p(k) = -k - 7. Let a be p(-6). Let t be d(a). Solve 5*o = t*o - l for o.
-2
Let y = -455 - -547. Let u be y/6*(-69)/(-46). Solve -2*j + u = 31 for j.
-4
Let p(t) = 6*t + 19. Let w be p(-2). Let r be 5 + (-6 + w - -1). Solve 12 = i + r for i.
5
Let a(p) = -p**3 - 50*p**2 - 144*p + 84. Let n be a(-47). Solve 250 = -5*o + n for o.
-5
Suppose c = 4*k - 2*c + 317, c = -5*k - 420. Let l = -80 - k. Solve w = -l*w - 16 for w.
-4
Let u(h) = h**3 + 19*h**2 + h + 21. Let m be u(-19). Let p be -1*(2 - m)*(-10)/(-20). Let x = -38 + 43. Solve x*l + 10 - 35 = p for l.
5
Suppose 216*x + 880 = 5*b + 221*x, 4*b - 669 = 3*x. Solve -98*p = -b*p for p.
0
Let n(b) = -5*b**3 + 160*b**2 - 11*b - 136. Let s(k) = -2*k**3 + 54*k**2 - 4*k - 45. Let g(p) = -3*n(p) + 8*s(p). Let a be g(-48). Solve -f - 10*f = -a*f for f.
0
Let o = 939 - 900. Suppose 306 = o*s - 123. Solve 4 = 3*y - s for y.
5
Let w = 223 + -211. Let n be 16/w - (-77)/3. Solve -9*g - 72 + n = 0 for g.
-5
Let x(w) = -93*w - 1573. Let h be x(-17). Solve 0 = 31*p - 29*p + h for p.
-4
Let h = -550 - -553. Let k(v) = v**3 - 6*v**2 + 8*v + 6. Let z be k(h). Solve r + 2*