-c + 3*c - 5*k - 21, -3*c - k + 6 = 0 for c.
3
Let p be 2/1*4/4. Solve 2*y + 5*u + 11 = 37, -4*u + 10 = -p*y for y.
3
Let w = 85 - 83. Solve -12 = 4*j + 4*d, -w*d - 10 = 4*j + d for j.
-1
Let o = -18 + -41. Let r = 62 + o. Solve -4*t - 5*l + 1 = -4*l, -2*t = r*l - 3 for t.
0
Suppose 4*n = 7 + 1. Let h = 48 - 39. Suppose 0 = -h*x - 6 + 33. Solve -n*g + 0*j = -5*j + x, 7 = -3*g + 5*j for g.
-4
Let n(a) = a**3 - 6*a**2 - 6*a. Let z be n(7). Solve -4*c - 5*x - 1 = 0, -c - 3*x = -4*x + z for c.
-4
Suppose -2*l = -5 - 5. Suppose l*y + 15 = -2*p + 45, -y + 24 = 4*p. Let o(r) = -r + 15. Let b be o(p). Solve 0*i + 2*i + 4*h = b, -i - 3*h = -6 for i.
3
Let k(j) = -j**3 - 28*j**2 + 28*j - 23. Let f be k(-29). Solve -f*x + 15 = -5*r - x, -5*x = 3*r + 9 for r.
-3
Let j(n) = n**2 - n - 2. Let d be j(3). Suppose 108*h - 10 = 107*h. Solve -4*v = 2*k - h, -d*v + 3*k = -2*k - 45 for v.
5
Let q be 3 - (1 + 0/1). Suppose -g = -5*r + 20, 3*g + 466*r - 470*r + 16 = 0. Solve 5*n + 15 = g, 2*l + 3*n - q*n + 11 = 0 for l.
-4
Let w = -173 - -196. Suppose -2*x + 4 = -6. Suppose -x*r = -y - 14, r + 4*y + 5 - 12 = 0. Solve -3*m - 3*a = 15, -w + 3 = -r*m + 4*a for m.
0
Let c be (-2)/((-6)/3) - -4 - 1. Solve 5*g - 10 = -5*i, g = -c*i + 14 - 3 for i.
3
Let l be ((8 - 4) + -4)/(-2). Let k be -5*((-24)/20 - l). Suppose k*j - 13 - 17 = 0. Solve 5*a - 3*d - 20 = 2*d, 0 = -j*a + 2*d + 17 for a.
3
Let j = 9 + -6. Suppose j*b - 159 = -4*l, -l - 2*b - 5 = -51. Let i be (7/(-14))/((-1)/l). Solve 3*f - u + i = 0, u - 6 = -u for f.
-5
Let w = 116 + -122. Let n be -5 + 343/42 + 1/w. Solve -2*d + 3*h = 7, 5*h = -n*d - 17 - 3 for d.
-5
Let z(o) = -o**2 + 6*o - 3. Let k be z(4). Suppose k = -3*f - 58. Let r = -18 - f. Solve r*h + 0*h - 5 = 4*i, h - 9 = 5*i for i.
-2
Suppose 5*y - 32 = 3*x, -3*x = 4*y - 27 - 4. Suppose -3*l + 24 = -2*w + y, -5*w - 23 = -l. Solve 0*z - 15 = -l*z, 0 = 2*n - 5*z + 25 for n.
0
Let m(d) = -4*d. Let y be m(-1). Suppose 4 = -y*t + 5*t. Solve 3 = 5*a + 2*r, 3*r - r = 2*a - t for a.
1
Let g = 561 + -556. Solve 2*l = 2*i + 10, g*l + i - 5 = 2 for l.
2
Let l(c) = -2*c. Let t be l(4). Let q(y) = -45*y + 13*y + 20*y + y**2 + 3 + 20*y. Let x be q(t). Solve 2*b + b - 16 = -2*k, x*b + 3*k - 21 = 0 for b.
2
Let x(v) = 3*v**3 + 20*v**2 + 6*v - 4. Let u be x(-7). Let n = u + 115. Solve -2*b = 5*z - n, 2*b - 3*z = -1 + 5 for b.
5
Let y be -7 + 210/24 - 3/(-12). Solve 5*u - x - 22 = 0, -2*u - y*x + 4 = -0*u for u.
4
Let o be -30*(4/(-6) - 0). Suppose -9*h = -4*h - o. Solve 6 = -k + h*f, 0*f + 3*f = k + 5 for k.
-2
Let b(u) = -u - 11. Let g be b(-14). Suppose 0 = j - g. Solve -j*o - f = -1 + 12, 4*f = -o - 22 for o.
-2
Suppose -5*s + 26 = u, -3*u - 2*s + 45 = 2*s. Solve -u*k = -13*k + d - 6, -3*k = -d + 7 for k.
-1
Suppose 0 = -13*q + 8*q + 25. Suppose -a - 26 = -q*j, 0*j + 4*a - 46 = -5*j. Solve 8 = -2*i - k, -12 = -3*i + j*i - 2*k for i.
-4
Let a be 4 - 9*8*(-6)/(-216). Solve -4*g + 2*u - 6*u + 8 = 0, a*g - 3 = -3*u for g.
3
Suppose 42 = -54*q + 75*q. Solve 0 = q*p - 2*h + 6, -5*h - 5 = -0*p - p for p.
-5
Suppose 3*y - 13 = -4*o, 4*o - o + 2*y = 10. Let c be 9/(27/8) - o/6. Solve 5*a - c*l = 17, a + l = 4*l + 6 for a.
3
Let o be -3 + -10*1/(-2) + 1. Solve o*n - 5*m = -31, -6*m + 4*m = -10 for n.
-2
Let m = 257 - 251. Solve 3*f + 3 = n, 3*n + 5*f = m + 3 for n.
3
Let x be 296/80 - (-12)/40. Solve x*w + 30 = 10, -w - 25 = -4*a for a.
5
Let z(s) = -s**3 - s**2 + 17. Let x be z(0). Let b = -142 + 158. Suppose 27*o - 19*o = b. Solve h - c = -o*c + 7, -x = -h - 3*c for h.
2
Let q(o) = 58*o + 119. Let g be q(-2). Suppose -111 - 44 = -5*s. Solve -b + g*f = 4*b + s, f = -b - 3 for b.
-5
Let m = -26 + 14. Let y be ((-45)/30)/(2/m). Suppose 4*v - 1 + 5 = 3*x, -5*x + 16 = -2*v. Solve 3*q + 0*n - 14 = -5*n, 0 = v*q + 3*n - y for q.
3
Let v be (-2*1)/(-4) + (-135)/(-90). Suppose -4*b - 6 = -3*y, 2*y - 3*y = b - v. Solve 2*w + 4*r + 12 = b, -3*w - 1 + 23 = -4*r for w.
2
Suppose 3*d - 4*d + 15 = 0. Let t(k) = k**3 - 14*k**2 - 15*k + 2. Let s be t(d). Solve -2*j = -3*h + s*j + 31, 5*j + 40 = 4*h for h.
5
Suppose 32*p - 114 - 494 = 0. Solve 2*g + 14 = 2*a - 2, -2*g = -3*a + p for a.
3
Suppose -y = 2*k + 4, -2*k + 3*y = -6*k - 12. Solve -7*c + 2*c = g + 15, 5*c - 2*g = k for c.
-2
Let f be (-66)/(-9) - 2/6. Suppose -o = -f*o. Solve 8 = 3*c - 2*i, -4*c + o = -4*i - 16 for c.
0
Let x(u) = u**3 - 15*u**2 + 14*u + 4. Let f be x(14). Suppose -f*a = -5*a + 7. Solve -a = 5*q - w - w, 3*q = 5*w + 11 for q.
-3
Suppose -4*t = 4*i - 9*i + 23, -5*t - 10 = 0. Solve 0 = 4*a + 3*x + x - 8, i*a - 6 = 4*x for a.
2
Suppose -4*v = -3*v - 2. Suppose -5*m - 11 = v*f - 5*f, -4*m - 28 = -4*f. Let k = f + -8. Solve 2*i + 2*a = 6 + 2, -3*i - k*a = -12 for i.
4
Let k be (0 - 0)*64/(-64). Solve a = 4*y - 0*a - 4, k = 5*y + 5*a - 30 for y.
2
Let c be 60/48 - 6/(-8). Suppose c = 6*w - 40. Solve -w = -3*t + 2*v - 24, 3*v = 12 for t.
-3
Let z be (-4)/(16/6)*-2. Solve z*f + 5*g - 32 = 0, -4*f - 4*g + 24 = -2*f for f.
4
Suppose 2*f = -h + 5, 2*h - 7*f - 19 = -8*f. Let r be (-3 - (-52)/20)*25. Let z = r - -12. Solve -4*x + p = 8, 4*p - 7 - h = z*x for x.
-1
Let q = 66 - 66. Suppose -v = -5*z + 4*v + 125, 4*z + 3*v - 93 = q. Solve -4*h - 28 = -4*a, -5*a + 4*h + z + 9 = 0 for a.
5
Suppose 0 = -9*c - 937 + 973. Solve 11 = d - 2*x, -c*x = 2*d - d + 13 for d.
3
Let l be 1*-5*12/(-10). Let o(f) = -f + 8. Let m be o(l). Suppose -2*s = -4*v - s + 7, 6 = 4*v - m*s. Solve -v*c - 3*z = 1, 34 = -5*c - 2*z + 5*z for c.
-5
Suppose -3*z = -2*z - 14. Suppose q = -4*y + z, 4*y - 6*q = -2*q + 24. Suppose 23 - 13 = 2*d - 2*i, -12 = -3*d + 4*i. Solve -s - y*w = 20, 0 = 2*w + d for s.
-4
Let z(x) = x + 14. Let t(k) = k**3 - 4*k**2 - 15*k + 8. Let n be t(6). Let d be z(n). Solve 0 = -0*y - 3*y + 6, -y = -d*b - 6 for b.
-1
Let f(w) = -5*w - 24. Let i be f(4). Let r = 44 + i. Solve 4*a - 2*v - 22 = -r*v, 0 = 4*a + 5*v + 13 for a.
3
Suppose -5*v - 3*w = -12, 0 = v - 11*w + 12*w - 4. Solve 8*z - 4*z + 2*r = 10, -3*z - 3*r + 3 = v for z.
4
Let s be (-1)/(-3)*-15*(-4)/5. Suppose -5*f = -7 - 3. Suppose -2*p = 2*h - 4, 3*p + f*h - 5 = 3. Solve -s*k + p = -2*j - 0, 0 = 3*j + 2*k + 6 for j.
-2
Let y = 893 - 871. Solve -5*r = -3*o + y, -4*o + 8*r - 11*r - 19 = 0 for o.
-1
Let j be (-2)/6*(1 + -13). Suppose 33 = j*g - 11. Let k be 2*1/(-4) + 49/14. Solve -2*b - g = -z - 2*z, 0 = -3*b - 2*z + k for b.
-1
Let p be 10/(-6)*(102 - 108). Solve 0 = -r + 2*b, -p + 3 = -r - 5*b for r.
2
Let s = 685 - 682. Solve -5*i + s*z = 35, 2*i - z + 2 = -11 for i.
-4
Suppose -20*g + 35*g = 60. Solve -g*l - 5*z = 11 - 1, -2 = -3*l + z for l.
0
Let p = -247 + 251. Solve 3*q = 4*z - 32, -z - 41 = -6*z + p*q for z.
5
Let k(c) = 142*c + 288. Let o be k(-2). Solve -2*f - 3 = 9*s - 10*s, -3*s - o*f = 21 for s.
-3
Let z(b) = -10*b + 105. Let c be z(10). Solve l + 4*r = 20, -5*l + l + 36 = c*r for l.
4
Suppose -6*h - 2*h = 5*h. Solve -4*w - 2 = 2*r - 8*w, -4*r + 4*w + 4 = h for r.
3
Let w = 11 + -8. Let n be ((-16)/(-6) - 2)/((-2)/174). Let s = n - -62. Solve 25 = 3*h - 0*a - s*a, w*a = h - 15 for h.
3
Suppose -246*m = -240*m - 24. Solve 3 = -m*j - 5*x + 1, 0 = -x - 2 for j.
2
Let l = 796 - 794. Solve -5*p = 2*y - 8, -y + 2 + l = 5*p for p.
0
Suppose -3*m + 1 - 25 = -o, -2*m + 26 = 4*o. Solve -2*t + d + 18 = -3*d, 3*t + 3*d = o for t.
5
Let a be (1/(-2))/(7/42). Let d be (3 - 8) + 5 + -1. Let z be d - -6 - (3 + a). Solve 3*b = r - 4, 23 + 14 = -z*r - 4*b for r.
-5
Let r(t) = -3*t**2 - 2*t. Let a be r(-2). Let k be (46/a)/((-3)/12). Solve -j - 4*j = 2*w - k, 5*w - 2*j = 14 for w.
4
Let k be (-1)/(-2)*(-15 - -15). Suppose -2*x = -4*s - k + 2, 3*x + 3 = 0. Solve 5*n + 5*p + 20 = s, -21 = n + 4*p - 8 for n.
-1
Let u(l) = 2*l**3 - l**2 - l + 2. Let m = -62 + 64. Let a be u(m). Solve 3*v + 19 = c + 3*c, -a = -3*c for v.
-1
Let y = 9992 - 9988. Suppose -f - f = -24. Solve -5*a + 12 = -y*g, -2*g - 2*g - f = a for g.
-3
Suppose -n + 4*n = 3*g - 21, 0 = -5*n + 2*g - 29. Let q be (n/(-4))/(8/32). Solve -q*l + 41 = -4*d, 4*d - 4*l + 26 = -2*l for d.
-4
Let u = 95 - 92. Solve -4*k = -q - 3, 2*k - k = q + u for q.
-3
Let h(m) = 0 + 5*m - 1 + 3*m**2 + 3 + 0. Let g be h(-3). Let t be 10*(g/10 + -1). Solve 2*z + 7 = -4*f - 3, t*z + 5*f = -17 for z.
-3
Let j = -210 + 215. Solve -2*p + 0*p = -j*z + 5, 0 