 = 4*k - 4*c for k.
-4
Let c = 17289 - 17278. Solve a = 7*u - 2*u - c, 4*a - 5*u = 1 for a.
4
Let j(k) = 110*k + 2753. Let c be j(-25). Solve b - 11 = -4*m, 0 = c*b - 8*b - 4*m + 7 for b.
-1
Suppose -2*g - 466 + 152 = 0. Let b = g + 157. Solve m - 2*t + b = 1, 1 = m - 4*t for m.
1
Let l = -70 - -70. Suppose 6*v - 304 - 98 = l. Let n = v + -62. Solve 0 = 4*h + n*m + 6, m = -5*h - 0*h + 3 for h.
1
Let s be (7 - 14)/(-14)*0/(-1) - -2. Solve -4*r + 4*n - 8 + 32 = 0, -s*r + 5*n + 24 = 0 for r.
2
Let o be (-949)/(-65) + (-136)/(-40). Solve -7*n + 10 = -9*n - 4*i, 0 = 6*i + o for n.
1
Let q(j) = -59*j + 1123. Let h be q(19). Solve i = -3*s - 8, -i + 3 - h = 0 for s.
-3
Let h(v) = 4*v**2 - 8*v - 24. Let l(y) = y**2 - 1. Let j(w) = -h(w) + 3*l(w). Let z be j(-2). Solve -2*c - 9 = -4*r + c, r - 4*c = -z for r.
3
Suppose 0 = -4*t + 2*w + 666, 75 = t - 2*w - 90. Let z = 167 - t. Solve -x = -z*h - 3*h + 13, -4*h = -3*x - 14 for x.
2
Let z = 9350 + -9335. Solve 4*p - 7*p - 10 = 2*l, -z = 3*l - 3*p for l.
-5
Let b(i) = i**3 - 6*i + 6. Let o be b(1). Let l = 12 - 9. Let j = l + -1. Solve -j - 2 = u + g, -u = 4*g + o for u.
-5
Suppose 4*r - d = -5, 20*r - 15*r - d = -5. Solve 5*h - 16 = 9, 3*k + 4*h - 26 = r for k.
2
Suppose 213 = -2*c - 4*g + 237, 3*c + 2*g - 20 = 0. Solve 2*b + 17 = -c*l + 3, 3*l + 27 = 4*b for b.
3
Let t(r) = -r**2 + 13*r + 0*r - 4 + 22. Let v be t(14). Suppose -3*j + v*j - 8 = 0. Solve -j = 2*c - 4*a, 5*a = -c + 2*a - 4 for c.
-4
Let t(v) = -4*v - 32. Let d = 90 + -109. Let b(c) = c**3 + 18*c**2 - 16*c + 41. Let s be b(d). Let j be t(s). Solve -4*o = 4*u - j, -4*u - 9 = -7*u + 2*o for u.
5
Suppose -6*i = -11*i - 8*i. Let r(t) = t**3 - 2*t**2 + 2*t - 1. Let v be r(2). Let l = i + v. Solve 11 = 3*b - 4, -l*y + 4*b = 32 for y.
-4
Let x = 121831 - 121825. Let m(o) = -o. Let s be m(2). Let l be (-1)/s*(2 - 0). Solve 5*q = -5*n + 25, -n = -2*q + l - x for n.
5
Let l(u) = u**2 + 10*u + 64. Let p be l(0). Let w be (90/(-40))/((-12)/p). Solve w = 3*g, 37 = -5*k + 3*g - 0*g for k.
-5
Suppose m - 119 = 2*c, 0 = 5*m - 4*c - 0*c - 607. Let g be (-2)/6*1 - (-533)/m. Solve 7*y - 14 = g*b + 4*y, 2*b + 5*y - 6 = 0 for b.
-2
Let z = 1 - -2. Let l = 398 + -393. Suppose 4*m - 22*o = -24*o + 8, -23 = -l*m + 4*o. Solve -v + 2*g = z, 0 = m*v - 2*v + g - 3 for v.
1
Let x(a) = 220*a - 864. Let n be x(4). Solve 2*m = 3*t, n*m = 13*m + 2*t for m.
0
Let m = -6190 + 6195. Solve m*j - 5*k - 12 + 7 = 0, 2*j + k = -10 for j.
-3
Suppose 6*n = -669 - 3. Let j = n - -114. Solve q - 3*u + 5*u = 0, -j*q + 2*u = 0 for q.
0
Suppose 41 - 10 = -f - 5*o, -8*o - 109 = -5*f. Solve h - p + 3 = -0, 0 = -3*h - 3*p + f for h.
0
Let t be ((-12)/(-28))/((-1)/(-7)). Suppose 0 = 14*s - t*s. Solve -2*g + 6 = s, g + 3*g = -4*p + 8 for p.
-1
Let l = 4114 + -4104. Solve 0 = 4*t - 5*x - 41, -l*t + 2*x - 6 = -14*t for t.
4
Let l = -287 - -289. Suppose -2*t + 12 = 5*o, l*o + t = 5*t + 24. Solve 3*u - 2 = 5*f, 0 = 2*f - 3*u + u + o for f.
2
Suppose -3*q - y = 0, 33*q - y - 8 = 32*q. Solve -3*b = 2*u + 13, -u + 5*b = q*b - 16 for u.
1
Suppose 5*g - 150 = -0*g. Suppose -g*r = -32*r + 260. Let i = -121 + r. Solve -3*z + i + 3 = 3*u, 5*u = z + 2 for u.
1
Let h(w) be the first derivative of -w**3/3 - 9*w**2 - 74*w + 127. Let k be h(-11). Solve 0 = -2*j - k*m - 8 - 5, -4 = j - m for j.
-5
Let c = -79 + 73. Let a be 4/c*1 + 26/3. Suppose -3*t = -8 + a. Solve t = -2*b - 5*v - 22, 2*b - 6 = 2*v - 0*v for b.
-1
Let f = 365 + -613. Let i = f - -252. Solve -2*q - 5*n + 12 + 5 = 0, 0 = -q + i*n - 24 for q.
-4
Suppose 18 = 27*r + 2 - 11. Solve 5*j - r = 14, -4*j + 21 = -3*q for q.
-3
Suppose 15 = 2*x + 27*q - 30*q, -3*q = -5*x + 60. Solve 0 = -5*t - x, -12 = -3*w - t - 0*t for w.
5
Let m(b) = -b**3 + 12*b**2 + 300*b - 3803. Let p be m(14). Solve -41 = p*k + 3*c, 0*k + 2*c - 3 = k for k.
-7
Let b = 4312 + -4308. Solve 4*w + b = 5*l + 10, l = -w + 6 for l.
2
Suppose -5*v - 14 = -s - 84, 2*s = 0. Suppose -4*m + v = 2*l, -l + 6 = m + 3. Solve -c = -3*g + m*c - 7, 3*g + 4*c = 11 for g.
1
Suppose 4*b + 1818 = -5*f + 1844, -2*f - 8 = -3*b. Solve -7*w - 5*c = -3*w - 23, -14 = -b*w - 2*c for w.
2
Let u = 4368 + -4365. Solve 3*q + u*h - 2 = -h, 0 = 2*q + 3*h - 1 for q.
2
Suppose 5*c = 20, -3*d + 260 - 1239 = -c. Let x = 330 + d. Solve 2*k + x = -2*s - s, -5*k - 5*s = 0 for k.
5
Let u be (3/(-2) - -1)*-10. Suppose -5*n + 274 = 199. Suppose 0 = -2*w, 0 = -0*m + 5*m + 4*w - n. Solve 4*y - 6 = m*p, -u*y - 4*p = -22 - 1 for y.
3
Let a = 13 + -27. Let q = a - -14. Suppose -43*p - 165 = -76*p. Solve q*i = -2*i + p*v - 2, 0 = -2*i - 4*v - 2 for i.
-1
Suppose -q + 4*q + p = 4, -p = -2*q + 11. Solve 19 = -3*d - 2*x, q*x = -3*d + 19 - 40 for d.
-5
Let b(d) = 11*d - 130. Let f be b(12). Suppose -m + 32 = -2*z, 12*m - f*z = 7*m + 120. Solve -4*g = -0*g + 2*a - 12, -m = -2*g + 3*a for g.
5
Suppose 4*s - 20 = 327*l - 329*l, 2*s = 5*l - 2. Solve -m = -8*m + 2*m - 4*h, 0 = -s*h for m.
0
Let v be (762/254)/(6/8). Solve -7 = 4*d - 3, -24 = 5*b + v*d for b.
-4
Suppose 3*i + 2*v = 9, 2*i - 6*v = -v + 25. Suppose 4*j + 9 = 5*g, -6*j = -i*j + 5*g - 29. Let h be 2 + 0*1/2. Solve n + p - h = 0, 5*n - j*p + 7 = 26 for n.
3
Suppose -186 + 65 = -4*q - b, 0 = -q + 5*b - 17. Solve 7*n - 2*n = -5, -5*x + 3*n = -q for x.
5
Let l be (-1)/(1/(-21)*-1). Let g = -1093 + 1074. Let o = g - l. Solve -5*m + 4*b + 16 = 0, 3*m - 2*b - 16 = o*b for m.
0
Let k = 251 - 247. Solve -5*t + 3*s = 6, -k*t - t - 2*s + 4 = 0 for t.
0
Let y = -4618 + 4623. Solve -4*a - 5*s + 40 = -0*a, 13 = y*a - 3*s for a.
5
Suppose l = 4*i - 11, -4*i + 5*l = -109 + 86. Solve -5*m - i*s = -9, -2*s + 0 = m + 3 for m.
3
Let l be 3/((-10 - 12) + 23). Solve 17*w - 2*o = 18*w - 11, -5*w = l*o - 20 for w.
1
Let l be (10/7)/((-820)/(-2870)). Solve -7*t - 3*p = -4*t + 18, 0 = l*p + 10 for t.
-4
Let l = 36 + -27. Suppose 7*m = 4*m - l. Let a be ((-3)/6)/(3/(-12)) - m. Solve 13 = -d - 4*j, -4*d + 4*j = -a - 3 for d.
-1
Suppose 0 = 3*q - 0 - 6. Suppose -116 = -11*v - 158 + 97. Solve 3*n - 2 + 1 = -4*w, -4 = v*w + q*n for w.
-2
Let g(m) = -3*m**3 - 28*m**2 - 6*m + 21. Let y be g(-9). Let o be (120/18 + y)/(2/3). Solve -3*z + o = 2*q, 3*z = 2*z + 3 for q.
-4
Let s = -23082 - -23110. Solve 0 = -4*c - 5*b - s, 5*c + 5*b - 1 = -31 for c.
-2
Let w(r) = -47*r + 814. Let o be w(17). Solve -m + 7*s - 3*s = -3, -5*m = -4*s - o for m.
3
Let o(l) = -2*l**2 - 15*l - 13. Let k be o(-6). Suppose -k*w + 7 = -63. Suppose -4*s + w*s = 60. Solve -5*q - 33 = 2*b, -4*b + s*b + 2*q = -18 for b.
-4
Let s(c) = -c + 6. Let o be s(4). Suppose -17*x - x + 64 = -170. Solve 5*p - x = -v, 0 = -2*p + v - o*v + 4 for p.
3
Let j(n) = n**2 - 7. Let c = -87 + 90. Let w be j(c). Suppose w*o = -3*f - 6, 4*f + 0*f = 4*o + 12. Solve f*x + 3*x - 3 = -3*a, -4*a = -3*x - 11 for a.
2
Let m = 54 - 45. Suppose 6*g + 36 = m*g. Let b be (24/18)/((-6)/(-9)). Solve b*p = -2*p + 4*a - 8, 3*p + g = -3*a for p.
-3
Let x(o) = -2*o + 19. Let p(c) = -6*c + 6 + 2*c + 5*c - 2. Let i be p(3). Let q be x(i). Solve 2*s + q = -l - 3*s, 3*s = l - 3 for l.
0
Let o = 3097 + -3092. Solve 5*j + 4*f + 7 = -9, -15 = 5*j + o*f for j.
-4
Let s be (10/(-7))/((-20)/70). Suppose -4*t = -16*t + 480. Solve 5*f - t = 5*d, 4*f - d - 18 = s for f.
5
Suppose -s = 2*s - 648. Let g = -214 + s. Suppose -22 = -2*c - 5*r, 2*c = 5*r + 2 + 40. Solve 16 = -5*y - 4*v + 3, g*v = 2*y + c for y.
-5
Let r(y) = 7*y + 3. Let i(l) = -6*l - 3. Let o(z) = -4*i(z) - 3*r(z). Let w be o(0). Let c = 46 + -42. Solve -4*a - s + 14 = -w*s, 5*a = c*s + 22 for a.
2
Let p(c) = 5*c - 7. Let g = 165 - 161. Let y be p(g). Solve 0 = 3*n - 12, -o + 4*n + 2 = y for o.
5
Let s be ((-12)/9)/1*-3. Suppose 3*d + 4 = s*d. Suppose 5*i = -5*a + 25, 4*a - 22 = -5*i - 2. Solve 4*v - 20 = -d*k, -3*k = -a*k + 5*v + 10 for k.
5
Suppose 72*b - 290 = 14*b. Solve 4*v + d = 3*v - 3, -30 = -b*v + 4*d for v.
2
Let p be (22 + -31 - -9)*1. Solve j + 6 = 8*u - 5*u, -5*j = p for u.
2
Suppose 16*p = 14*p, 4 = -q - 5*p. Let d be q*2*2*3/(-24). Solve -x = 3*y - 4, y - 6 = -d*y - 3*x for y.
1
Suppose 183 = -3*h + 189. Solve 0 = -z + 5 - 8, 0 = j + h*z + 4 for j.
2
Let w be (3/12 + 0)/((-15)/9360*-12). Solve 10*p - 6*p - 5*q + 3 = 0, 0 = 4*p + 5*q + w for p.
-2
Let v(y) = 2*y**2 + 36*y - 23. Let q(b) = -b**2 - 1. Let d(a) = 3*q(a) +