 u = -2*k - 2, -2 = -q*k + 5*u for k.
4
Let x be 11/((-55)/235) - 5. Suppose -27 = -l + 27. Let t = l + x. Solve -3*q + k = 4*k - 6, -t*q + 3 = k for q.
1
Suppose 0 = -54*t + 47*t + 35. Suppose -2*p - 64 = -4*u + 3*p, -9 = u + t*p. Solve u = 3*o + 4*m, 2*o + m + 11 = 2*m for o.
-3
Suppose y - o = 7, -28 = -118*y + 116*y + 4*o. Solve y = -4*w + 11*k - 13*k - 10, -4*w - 11 = 3*k for w.
-2
Suppose -4*t - 5*v = 11 + 48, 36 = -t + 3*v. Let g(x) = x**3 + 22*x**2 + 21*x + 6. Let i be g(t). Solve -5*j + 2*n = -10, -5*j - n - 5 = -i*j for j.
0
Let f(d) = -175*d + 352. Let u be f(2). Solve -17 = 4*p + u*b + 5, 3*p - 4*b = -11 for p.
-5
Suppose 5*b - 15 = -s, 59*s = 57*s - 2*b + 14. Let o = 36 - 72. Let g be 4/(o/(-15))*3. Solve g*x - 4*m + 1 = 5, 0 = -s*x + m + 1 for x.
0
Let b(a) = a**2 + 159*a + 2030. Let k be b(-145). Let s = 3 + -1. Suppose 0 = -j - s*y + 1, 0 = 2*j + 7*y - 2*y. Solve k*l = j*p - 3*l - 5, -p - 6 = -2*l for p.
4
Let c(t) = -17*t - 374. Let h be c(-22). Let a(g) = 2*g**2 - 2*g - 1. Let i be a(-1). Solve -3*l + 4*b - i + 4 = h, 5*b + 5 = 5*l for l.
3
Let b(l) = 28*l - 559. Let f be b(20). Solve 0 = 5*q - j - 19, -5*j - 7 = 4*q + f for q.
3
Let p be 162/189 - 8/(-7). Solve 16*f = -p*j + 19*f + 16, 2*j + 5*f + 16 = 0 for j.
2
Let o = -1403 - -1407. Let t(w) = -w**3 - 4*w**2 - 3. Let b be t(-4). Let d(p) = -p**2 - 4*p + 2. Let r be d(b). Solve r*m + 21 = 2*u, 4*m + 2 + 10 = o*u for m.
-5
Suppose 6*u - 101 = -71. Suppose -4*g + 6 = 4*x - 2, -5*x - u = 0. Let j(b) = -5*b - 1. Let i be j(-1). Solve -5*s = -i*r + g, -r + 5*s - 2 = s for r.
2
Suppose -l + 70 = -3*s - 88, 2*s + l = -102. Let t = 56 + s. Suppose t*g - 3*g = 4*z + 10, -g + 3*z = -8. Solve p + 25 = -5*r, r + r = -g*p - 10 for p.
0
Let t = 9851 - 9846. Solve 0 = 5*k + t*q + 30, 2*q + 24 = 3*k - 8*k for k.
-4
Suppose -3*d - 303*l + 39 = -307*l, 3*l + 28 = 2*d. Solve -3*h = d*m - 13, 5*h - m + 1 = 4 for h.
1
Let f(q) = -q**3 + 2*q**2 + 5*q - 10. Let r be f(4). Let g = r - -24. Solve 0 - 9 = -k - g*c, 3*c - 24 = -5*k for k.
3
Suppose -20*q + 4*q + 218 = -934. Solve 0 = y - 5*w - 19, 3 = 5*y + q*w - 74*w for y.
-1
Let m(s) = 3*s + 5. Let k(h) = h. Let w(y) = -5*k(y) + m(y). Let g be (-2)/13 + (-532)/91 + 6. Let x be w(g). Solve -4 = 4*p - 2*v, 2*v + 4 - x = p for p.
-1
Suppose 5*h = 3*f + 7, -4*h + f - 67 = -74. Solve t = 4*r + 12, 0*r = -h*r + 3*t + 4 for r.
-4
Let j be (28 + -27)*(-121)/(-11). Solve -j*k = -15*k, -5*c + 5 = -2*k for c.
1
Let i be (-1 - -2) + (-4 - (-19 - -12)). Solve -4*f - 15 = -3*u - 3*f, -i*f - 12 = -4*u for u.
6
Let g(f) = -10*f**3 - 18*f**2 - 6*f + 4. Let k be g(-1). Solve -5*x = -k*p + 6, 3*p - x = 7*p - 12 for p.
3
Let k be (-77)/22*3/(6/28). Let t = k + -24. Let j = t + 78. Solve 3*v - 15 = r, -j*v + 0*v = -20 for r.
-3
Let o(s) be the first derivative of -s**4/4 + 11*s**3/3 + 20*s**2 + 34*s - 16. Let c be o(14). Solve -2*k = -4*f - c, -5*f - 3*k + 6 = -k for f.
0
Let n = -13297 + 13328. Solve 5*f + 4*i + n = 0, 0 = -4*f - 4*i - 28 for f.
-3
Suppose -42 + 25 = -465*j - 17. Let d be 22/(-5) + 4/10. Let y be 11/2 + (-2)/d. Solve -2*f - 4*w = -y, 3*f - w - w - 17 = j for f.
5
Suppose -m + 5 = -0*m + 4*i, 5*i = 2*m - 23. Suppose 3*q = 3*v - 33, -v = -7*q + 2*q + m. Solve 3 = 3*c - 5*u + 14, 4*u = v for c.
3
Suppose -20*t + 21*t + 3 = l, 5*l + 4*t - 24 = 0. Solve -6*q - 3*d = -2*q + 9, l*q = 4*d + 12 for q.
0
Let c = 4673 - 4607. Solve g - 11 = 3*i, 0 = 5*i + 2*g - c + 77 for i.
-3
Suppose -4259*v = -4266*v. Solve 0 = 2*s + 3*u - 23, v = -4*s - 4*u + 22 + 14 for s.
4
Let t = 101 - 100. Let u(y) = 2*y + 10. Let g be u(-4). Suppose 0 = -3*l - f + 11, 2*l + 2*l - 17 = f. Solve j + 4 = -k, -t + g = -l*j - k for j.
1
Suppose 0 = -888*a + 1805*a - 903*a - 42. Solve -18 = -2*f + k - 27, -2*f + 11 = a*k for f.
-2
Let x = 10 + -7. Let m(v) = v**2 + v + 2. Let y be m(3). Solve -5*s = -5*j + 5, -13 - y = -x*j - 5*s for j.
4
Suppose 0 = -2*o - j + 3, 16*o - 13*o = -4*j + 12. Solve -4*h = 5*i - o*h + 31, -4*i + 2*h = 4 for i.
-3
Let n(p) = -p**3 + 8*p**2 + 12*p + 12. Let g be n(8). Let f = -99 + g. Solve 3*i + f = 3*w, i - 2*w - 12 = 5*i for i.
-3
Let c = -510 - -340. Let r = -167 - c. Solve -4*n + 2*t = -2*t - 8, 4 = -r*n + t for n.
-3
Suppose 173 + 407 = 5*n. Suppose n - 66 = 10*z. Solve 0 = -z*q - 2*m + 20, 3*q - 4*q - 4*m + 4 = 0 for q.
4
Let w(t) = -41*t**2 - 164*t + 5. Let f be w(-4). Solve -5*j - 7*b = -6*b, 0 = f*j + 3*b + 10 for j.
1
Suppose 5*v = -4*x - 10, -28 = -2*v - 2*v + 4*x. Suppose 12*k + v*l = 9*k + 18, 0 = -3*k + 4*l. Solve -4*d + k*p + 7 = -13, -3*d + 15 = -5*p for d.
5
Let d be 3/1 - 0 - (-60)/4. Solve 0 = 2*y - 3*k - d, -2*y + 22 = 12*k - 16*k for y.
3
Let x(m) = -16*m**2 + 3*m**3 + 14 + 2*m**3 + 7*m**3 - 11*m**3 + 18*m. Let w be x(15). Let a = w - 54. Solve -4*y - 4 = 2*j - 14, -5*j - 50 = -a*y for j.
-5
Let p = 3048 - 3036. Let a be (0 - 0)/(3/(-1)). Solve 4*n + 18 = -a*k + k, -3*n - p = 0 for k.
2
Let b = 206 + -119. Let v = 182 - b. Let u be 1/5 + v/25. Solve -y = -2*r + 2, 3*r = -u*y - 0*y + 14 for y.
2
Suppose -f = -2*f - 176. Let p = f - -183. Solve 3*w = 2*b - p, -6*b + b - 17 = 4*w for b.
-1
Suppose 0*t + 16 = 4*t. Suppose -t*v + 7*v = -159. Let b = -24 - v. Solve 4*j + 9 = 5*m, -b = -0*j - j - 5*m for j.
4
Suppose -33 = -5*x + 107. Let a = 48 + -54. Let h be x/(-42)*(a + 0). Solve -2*s - 4*n = -6, -2*s - 2*s + 4 = h*n for s.
-1
Suppose 2*b = 5*n - 6, -2*n - 3*b - 9 = n. Let o be n + 1 + (-5)/(10/(-2)). Let m be 1*(1 - 2)*(-12 - o). Solve 3*k - 2*z - 19 = 0, -2*k + 5 = 3*z + m for k.
3
Let o(m) = m**3 + 4*m**2 - 9*m - 31. Let h be o(-4). Suppose 0*c + k = -2*c, -2*k = -h*c. Solve c*a = -5*j - 3*a + 1, -4*j = -3*a - 17 for j.
2
Let b(r) = -r**3 - 9*r**2 - r + 13. Let o be b(-9). Let c = 52 - o. Suppose -12 = 2*n - c. Solve -3 + 11 = -2*s, -5*m - n = s for m.
-1
Suppose 2*t = 4*d - 22, 7 = -t + 2*d - 4*d. Let y be (-12 - t)/((-9)/6) + 3. Solve 0 = 3*i + u + 8, -2*i - y*u = -20 + 8 for i.
-4
Let h be 5/((-5)/3)*(3 + (-22)/6). Solve -58*p + 59*p = h*s + 9, 0 = 5*s + 4*p + 3 for s.
-3
Let o = -3759 - -3763. Solve o*l = -5*u + 33, -14 = 3*l - 46*u + 42*u for l.
2
Let q be (-4 + -1)/((-1)/(4 - (-5 + 5))). Solve -15 = 4*h - k, k = -28*h + 33*h + q for h.
-5
Suppose 0 = 40*b - 22*b - 18. Solve u - b - 4 = 0, -5*x + 15 = u for x.
2
Suppose 52*x - 67*x + 60 = 0. Solve n + 14 = -5*i - 6, 4*n - x*i = -8 for n.
-5
Let g be (62/(-3))/(0 - 6/36). Let k = g + -122. Let c be ((-1)/k*10 - -1) + 7. Solve 4*i - 5*u + 9 = 3*i, -3*u + 15 = -c*i for i.
-4
Suppose -61*i + 240 + 1834 = 0. Solve 35 = -5*g - 4*r, 0 = 3*g + 5*r + i - 0 for g.
-3
Let z(q) = 4*q**3 - 1. Let p be (7*(-1)/(-7))/1. Let n be z(p). Solve -4*u + 4*k = 3 + 13, -u - n*k = -8 for u.
-1
Suppose 3*j = -q + 2819, 14*q + j = 10*q + 11287. Let z be q/102 + (-1)/(-3). Solve 0 = 5*u + 3*x + 10, 2*u - 5*x = -u + z for u.
1
Let z be 2/(-8) - (-4 - 426/8). Suppose z*a = 53*a + 16. Solve a*k = -0*k - f - 1, f + 6 = k for k.
1
Suppose 4*f + 7 = -13. Let x(a) = -a**2 - 6*a. Let p be x(f). Suppose 4*g + 3*n = 37, -110*n - 6 = 2*g - 112*n. Solve -g = p*o - 4*o, -4*s + 4*o + 20 = 0 for s.
1
Let f(w) = 2*w**2 - 9*w. Let t be f(5). Suppose i - t = 5. Suppose i - 29 = -r. Solve 2*z = 2*k + 6, -z + 7 - r = 2*k for k.
-5
Let r = 8 + -5. Suppose -48*c + 49*c + 222 = 0. Let k = 229 + c. Solve -r*m - k = -4, -2*v + 2*m = -6 for v.
2
Suppose 29 = 22*t - 15. Let q be ((-8)/10)/(6/105). Let c = -1 - q. Solve 3*j = 5*o + c, -o + 0 = 4*j - t for j.
1
Suppose 1771 = -6*u - 89. Let n be (-49)/(-10) - 31/u. Solve 5*l = -0*l - 2*z - 9, l - n = 3*z for l.
-1
Suppose p - 5*h = 70, 4*p - 5*h = 22 + 228. Suppose 0 = -200*z + 203*z - p. Suppose -z = 3*f - 7*f. Solve -3*c = -2 + 5, -f*c = j + 6 for j.
-1
Let m = 9 + -6. Let t = 23 - 19. Suppose 0 = 5*c + t*u - 46, -3*c + 3*u = -8 - 25. Solve -4*q = o - 0*o + 13, -o - c = m*q for q.
-3
Let m = 376 + -371. Let y be 11/11*(0 + m)/1. Solve 5*r + 17 = -4*g + 2*g, -y*g + 20 = 0 for r.
-5
Let z be (4 + -5)*(-3 + -2)/5. Suppose 0 = s + n + z, -2*s = -4*n + 1 - 23. Solve -s*p + 12 = -0*f + 4*f, -8 = -f - 2*p for f.
0
Let r(q) = -2*q**2 - q - 3. Let g be r(4). Suppose 5*x - 67 = j + 170, -228 = -5*x + 4*j. Let a = x + g. Solve -19 = 3*y - 5*v, -5*y - a - 8 = -v for y.
-3
Let n(x) = 24*x**2 + 220