 - k for c.
-1
Suppose 4*b - 28 = 3*h, 4*h + 16 = -0*h. Suppose 5*d - 9*d = 4*g, -3*d = 4*g + b. Solve -2*a = 4*o - 17 - 7, d = -2*a + 3*o for a.
4
Let h be (1/4)/(8/32). Solve -8 = -4*t - q - h, 0 = -2*t + 4*q + 8 for t.
2
Suppose 21*v = -29 + 92. Let i be (1*(v + -4))/(-1). Solve i = -0*p + 2*p + 3*f, 37 = 5*p - 4*f for p.
5
Suppose 2*p - 3*k + 3 = 0, -14*k + 15 = -9*k. Solve 10 = a - 4*d, -3*d = 8*a - p*a - 4 for a.
2
Let q(i) = 2*i + 6. Let r be q(-9). Let k be r/20 + (-23)/(-5). Let w be ((8/(-4))/4)/((-18)/324). Solve m + w = -2*o, 2*o + 2*o = k*m + 12 for m.
-5
Let w = 5437 - 5432. Solve 30 = -3*a - 3*l, -46*a + 47*a - w*l - 20 = 0 for a.
-5
Let n(g) = -g**3 - 28*g**2 - 188*g - 8. Let d be n(-11). Solve 0 = -h - d*o - 5, 20*h - 5*o = 16*h + 31 for h.
4
Suppose 2*o = -8*w + 24, 14 = 4*o - 2. Solve 2*a = 4*k, -1 + 10 = -w*a - 5*k for a.
-2
Suppose -4*f - 8 = 0, 11*z - 16*z + 21 = 2*f. Solve -3*i + 5*g = 11, -z*g = -12*i + 14*i - 1 for i.
-2
Let i = -271 + 275. Suppose -10 = -3*p + 5*w - 2, 4*w = -i*p + 32. Solve 0 = 3*j + p, -3*d + 3*j + 5 + 1 = 0 for d.
0
Let u(a) = -a**2 - 6*a - 2 + 7 - 11. Let g be u(-2). Let d be (-6)/(-4) + 1/2. Solve 3*n - d = g*x, 3*x - 16 = -x + n for x.
5
Let z(b) = -2*b**3 + 4*b**2 + 79*b - 158. Let p be z(2). Solve f - 8 = -3*w, -30*f + 28*f + 2*w = p for f.
2
Let s(r) = 382*r + 9552. Let n be s(-25). Solve -f - 16 = 4*q + f, -n*q = -2*f + 2 for q.
-3
Suppose -78 = 54*o - 80*o. Let c(r) = -r**3 + 3*r**2 - r + 4. Let m be c(3). Let b be m*8 + -4 + 2. Solve -2*v = -3*v - o, 2*v + b = 2*x for x.
0
Let k be (-24)/(-9)*(-3)/(-2). Let a = -37780 + 37782. Solve 4 = -4*h + a*y, -4*h + 4*y - 9*y = k for h.
-1
Let w(v) = v**3 - 7*v**2 + 11*v + 8. Let k be 3 - 2/((-10)/5). Let h be w(k). Solve -2*y + h*m = -0*y - 12, -m - 5 = 0 for y.
-4
Let v(g) = -g**3 + 17*g**2 - 40*g - 3. Let y be v(3). Solve n + 3*r + 6 - 7 = 0, -y*n - r + 3 = 0 for n.
1
Let r be 6/(-2)*(19 - (-2 + 22)). Solve 1 + 12 = -5*g + 2*b, 0 = g + r*b + 6 for g.
-3
Let o(m) = -442*m - 3975. Let w be o(-9). Solve w*r + 2*r - 5*b - 25 = 0, -2*b + 2 = r for r.
4
Let b(s) = 2*s**2. Let d be b(1). Suppose d*j = j + 3*j. Suppose -2*m - 4*w + 24 = 2*m, j = 3*w - 3. Solve -c + k + m = -0*k, -2 = k for c.
3
Suppose -4*m = 5*i - 56, -5*m - 3*i + 70 = -2*i. Let n be m + ((-5)/3 - (-9)/(-27)). Solve n = -3*k, 6*y + 2*k + 4 = 2*y for y.
1
Suppose 5*c - 95 = -3*i, 4*c = -3*i + 204 - 110. Solve -i = -4*l - 202*t + 204*t, -t + 10 = 3*l for l.
5
Let j = 14547 - 14542. Solve 0 = -2*z - 3*q + 6, -j*q = 5*z - 12 - 3 for z.
3
Suppose 0 = -4*z + 12 + 28. Suppose 2*q - 18 = -2*o, -3*o - q = -5*o + 18. Solve -c = -6*c + z, p + o = 3*c for p.
-3
Suppose 0*i - 2*c = -2*i + 186, -5*i + 2*c = -468. Let o = -148 + i. Let p be ((-174)/o - 3) + (-2)/9. Solve -2*w + 7 = 3*n, -4*n - 4*w + p*w = -8 for n.
3
Suppose -12*t + 9*t - 12 = 5*l, -t - 4 = -4*l. Let r be (t/3)/(-1)*(-39)/(-13). Solve 0 = m + 3*y + 7, 4*y + 25 + 11 = r*m for m.
5
Suppose -849 + 713 = -7*u - 27*u. Solve 0 = u*w - 2*b + 2, -21*w - b + 6 = -18*w for w.
1
Let q = -49 + -12. Let i = 67 + q. Suppose d + 2*h + i - 2 = 0, -4*d = -4*h - 8. Solve 5*w = -2*f + 13, d = -2*w + w - 4*f - 1 for w.
3
Let k = 11272 + -11267. Solve -3*y + 4*n - 13 = 0, k*y + 29 = -8*n + 11*n for y.
-7
Suppose 0 = -t + 6*t - 545. Let q = -107 + t. Suppose -3*u - q*u + 30 = 2*r, 26 = 4*u + 2*r. Solve -20 = -4*b + u*f, -b + 1 + 0 = f for b.
3
Let j(m) = -2*m**2 + 14*m + 35. Let b be j(9). Let l(c) = -22*c - 17. Let s be l(b). Solve 3*a - s*t = 22, -3 = -a - t - 1 for a.
4
Suppose -28*m = -7*m - 231. Solve -y - 7 = z - 6, -y = -3*z - m for y.
2
Let h(a) = -a**3 + 20*a**2 - 84*a + 1. Let l be h(14). Solve -3*u + q = -4*u + l, -3*q + 9 = -3*u for u.
-1
Suppose 29*g + 3*c - 11 = 31*g, 5*c - 25 = 0. Let d be 6 + (4/2)/(-1). Solve 2*p - 4*w = -g*p - 8, 0 = 5*p + d*w + 28 for p.
-4
Let w(x) = x**2 + 4*x + 5. Let u be w(-4). Suppose 1 = t - 2*m + m, -u*t - m + 29 = 0. Suppose 288 - 848 = -28*n. Solve 20 = -4*j - 0*j, -n = f + t*j for f.
5
Let j = 2120 + -2115. Solve 0 = v - 3*s - 12, 28 = -6*v - j*s + 3*s for v.
-3
Suppose 82 = 2*o + 4*x, 63*o + 92 = 67*o - 4*x. Solve -b - 25*j + 25 = -o*j, 4*j = -4*b for b.
5
Let c be 4101/117 + 420/(-8190). Solve 3*t + 4 = m, 2*m + t - 22 = -c for m.
-5
Suppose -3*m = -439 + 463, 44 = 2*g - 5*m. Solve b - 3*q + 4 = -8, 5*q = -g*b + 9 for b.
-3
Let s be -147 - (-11)/((-44)/(-32)). Let q = 143 + s. Solve -5*l = -4*p + 8*p - 9, -q*p = -4*l for p.
1
Let a(i) = 7*i**2 + 165*i - 72. Let x be a(-24). Solve -b + x*b + 5 = -2*h, 2*h + 2 = 0 for b.
3
Let b be 3268/(-342) + 26 - (-8)/(-18). Solve 5*d + 4*y = -b, -y + 5 = -8*d + 7*d for d.
-4
Suppose -93*r + 2675 = -88*r. Let q = -532 + r. Solve -o = 5*u - 5*o - 11, -2*u + 3*o = -q for u.
3
Suppose -44*p = -225 - 435. Solve j + p = -2*j, -3*c = -3*j - 27 for c.
4
Let m(p) = 3*p**2 + 10*p + 7. Let n be m(-4). Suppose -n = 5*l - 55. Let s be 174/45 + l/60. Solve -s*w - 2*v + 6 = 0, -4*v + 18 = -2*w + 4*w for w.
-1
Suppose 0 = -22*p + 3*p. Suppose -2*i + a + 5 = -p*i, 0 = i - 2*a + 5. Solve 2*n + k - i = 0, -5*n + k + 13 = 4*k for n.
2
Let w be (16/(-4) - -2)*26. Let y = 57 + w. Suppose 0 = -y*l - 3*r + 5, 21 + 14 = 5*l - 3*r. Solve d - 12 = 2*h, 0*d = 2*h + 3*d + l for h.
-5
Suppose 0*y + 20 = 2*x - 5*y, 2*x = -3*y + 36. Let r be -1 - (-78)/x - (-10)/(-50). Suppose -11 = -5*q + 9. Solve r*n + 4 = 0, 2*z + q*n + 11 = 3 for z.
-2
Suppose 0 = -5*w - 10*g + 12*g - 1831, 0 = -w - 3*g - 373. Let x = w - -377. Solve -2*u = 4*y - 8*y - 6, -5*y = x for u.
-1
Let o = -8531 - -8536. Solve -2*z + 0*s + 3 = s, 0 = -o*z - 5*s + 5 for z.
2
Let h = 7056 + -7054. Suppose 3*t + 3*u - 15 = 0, 2*t - u - 10 = -2*u. Solve -5*r = t*n + 40, -r + 0 + 4 = -h*n for r.
-4
Let g = -258 + 269. Suppose q + g*q = -5*q. Solve -4*b + 3*a + 9 = 0, 5*b - 2*a + q*a - 6 = 0 for b.
0
Suppose -17*m + 12 = -13*m. Let u(p) = 8 - p**3 + 101*p**2 + 0*p**m + 3*p - 98*p**2. Let d be u(4). Solve 2 = 2*c - h, 4*c + 6*h = d*h + 12 for c.
2
Let r(z) = 88*z + 354. Let d be r(-4). Solve 3*u = -d*b + 3 - 16, -11 = -4*u + 3*b for u.
-1
Suppose -2*a + 3*a - 18 = 4*s, -4*a - 4*s + 12 = 0. Suppose -22 = -2*r + a. Let v = -16 + 20. Solve 4*q + 5*h = -33, -2*q + v*h + r = q for q.
-2
Let m be 198/33 + (10 - 5). Suppose -5*o - 3*a = -31, 0*o + 2*a = 3*o - 11. Solve 3*u - m = 2*f, -4*f + 3*f = -o*u + 23 for f.
2
Let n be (45/3 + -9)*20/(-15) + 12. Solve 0 = -5*y + 30*g - 33*g + 31, n = 2*g for y.
5
Suppose 3*c = -4*n + 34, -4*n - 4*c = -343 + 303. Solve -4*h = n*p - 20, -2*p + 25 = -p + 5*h for p.
0
Let h(g) = 14*g + 90. Let x be h(-6). Let f be (-4)/x*((-13)/2 - 1). Solve f*j = 2*a + j + 12, 2*a = j + 3 for a.
4
Let q = -11981 + 11983. Solve b - 10 = -3*k, -10 = -q*k + 4*b - 3*b for k.
4
Let q(s) = -s**3 + 7*s**2 - 9*s - 8. Let r(v) = -v**2 - 20*v - 15. Let w be r(-19). Let l be q(w). Solve -4 = -2*p - 2*i, -l*p - 4*i = -3*i - 17 for p.
5
Let o(g) = 2*g - 2. Let r be o(2). Suppose 0 = 14*s - 955 + 927. Solve -r*x - 3*q + 9 = s*q, x + 5*q - 12 = 0 for x.
-3
Suppose 17 = 5*s - 3*x, 6*x = 3*s + 3*x - 9. Suppose 22*g + 21*q = 18*q + 41, q = 2*g - 5. Solve 4 + s = -g*m - 4*h, -3*m - 1 = -5*h for m.
-2
Let x be (304/(-342))/((-2)/9). Solve x*l - 20 = 2*w, -14 = -5*l + w + 8 for l.
4
Let i be 66/(-88) + (-91)/(-4). Solve -2*y + 3*u - 14 = 0, 11*u - 8*u - i = 4*y for y.
-4
Let n = 521 + -519. Let p be (n/(3 + -1))/(17/204). Suppose 0 = -t + 4*i - 18, 3*t + 6*i - 31 = i. Solve -p = u - t*k, 3*k - 2*k + 1 = -3*u for u.
-2
Suppose 399*n - 410*n = 0. Let v = -1 - -4. Suppose 2*z + v*z = 40. Solve -4*k + 3*b + 0 - z = n, 4*k - 24 = -5*b for k.
1
Suppose 3*v = -9*i + 7*i - 86, -4*v = -3*i + 143. Suppose -2*n = -0*n - 76. Let p = n + v. Solve 2*k - p = 5*k, -4*q + 4*k = 12 for q.
-5
Suppose 0 = c + 2, 2*c = -a - 0*c - 5. Let g be (-2 - (-45)/10)*(3 + a). Solve g*q = 5*p - 40, p + 2*p = -q + 8 for p.
4
Suppose 115*w + 62 = -10*w + 812. Solve 18*l + w = 2*f + 22*l, -3 = -5*f + 2*l for f.
1
Suppose 15*w = 11*w. Let u = -6 + w. Let t be 2/u - (2 + 100/(-12)). Solve -t*i - 2 = -2*r - 4*i, r - 4*i - 1 = 0 for r.
1
Let b(f) = 7*f + 90. Let w = -2 + -7. Let g be b(w). Solve -2*q - 14 + 2 = 2*a, 5*a = -4*q - g for q.
-3
Let x = 1370 - 1365. Solve 5*g = 3*y - 0*y, 5*g + 