 -8*c = -12*c - 4*x + 20, -9 = -5*c + w*x for c.
3
Let s be 9*-2*(-38)/76. Suppose 3*y = 3*p - 3, -s = -5*p - 25*y + 29*y. Solve 3*z + v - 18 = 0, 2*v + 9 + p = 4*z for z.
5
Let w = -6155 - -6160. Solve w*h + 1 = -3*f, -f - 7*h - 3 = -4*h for f.
3
Let g(w) = w**2 - 53*w + 289. Let k be g(47). Solve 2*s - k = 3*d, 0 = 43*d - 44*d - s - 4 for d.
-3
Let a = 1438 + -1410. Solve -y = 5*o - a, -36*o = -2*y - 33*o - 9 for y.
3
Let t = 270 + -276. Let l be 3/9 - 82/t. Suppose -5*k + 0*k = 3*v - 24, 0 = -3*v - 6. Solve -3*p = -k, -6*r + 2*p - l = -r for r.
-2
Let x(q) = -q. Let r be x(-2). Let o be 3 - 36/30*(-20)/(-6). Let t be (r + (-15)/10)/(o/(-4)). Solve 2*f + 5 = -3*i, -4*f = -3*i - t*f + 11 for i.
1
Suppose -8*p - 3*p = -22. Suppose -3*a - 2*i = -4, -a - a + 16 = -p*i. Let g(t) = -4*t - 17. Let z be g(-5). Solve 2*c = 2*k - a, -2*k + z*c + 6 = -0*k for k.
0
Let j be ((-1236)/18 + 4/(-12))/(1*-3). Solve -2*c - 28*s = -j*s - 15, s = 5 for c.
-5
Suppose 0 = 50*q + 33 - 75 - 58. Solve -2 - 8 = 4*w + h, 3*w = 2*h - q for w.
-2
Let i = 4872 - 4868. Solve -i*k = 5*p + 7, -33 + 21 = 3*k - 3*p for k.
-3
Let w = 7 + -10. Let r = 5 + w. Let i = -406 - -406. Solve 4*y = -3*g - i + 7, r*g + 2 = 4*y for y.
1
Suppose -26*t - 138 = -29*t. Let b be t/4 + 3/6. Let i(k) = -2*k + 26. Let p be i(b). Solve 2*c + 4 = o + 13, -24 = -p*c + 4*o for c.
2
Suppose 23*h - 604 = -128*h. Solve -2*b = -h*s - 14, 0 = 5*b + 5*s + 9 + 1 for b.
1
Let y(k) = -9*k + 71. Let d be y(-15). Let z = 214 - d. Solve -4*g - z = 0, -5*i + 3 = -4*g - 0 for i.
-1
Let c be ((-1)/2)/(13/(-130)). Suppose 3*o - 2*j = 32, -3*o + 4*j = o - 44. Suppose -c*x + o = -3*x. Solve -2*a = -a - 4*b + 7, 2*a + x*b = 25 for a.
5
Let b(l) = 181*l + 1814. Let f be b(-10). Solve 41*a - 5 = 42*a - f*w, 4*a = -w - 3 for a.
-1
Suppose -79*f - 4*j = -76*f + 19, -24 = -f + 3*j. Solve -17*g = -12*g + 3*q - 5, q = -g + f for g.
-2
Let r(x) = -x + 13. Let b = 644 - 639. Let s be r(b). Solve -2*t + 8 = -2*k, -3*t + 3*k - 28 = s*k for t.
-1
Suppose -2*u = 5 - 1. Suppose k - 3*g = -27, -2*k - 5*g + g = 34. Let h be 4/6 - (-35)/k*u. Solve 12 = -h*l - 0*l + 4*d, d = 1 for l.
-2
Let q(s) = s + 7. Let z be (-3 + 1)/(-6) + (-12)/9. Let f be z - (4/7)/(28/98). Let p be q(f). Solve 3*g = u - 0*g - 7, 0 = 4*u - p*g - 4 for u.
-2
Let k be (((-108)/15)/(-12))/(18/150). Solve 8*z - k*z - 9 = -s, 3*z - 18 = -4*s for z.
2
Suppose -58 = 2*i - 31*i. Suppose 10 = i*t + h - 3, -37 = -5*t - 4*h. Solve 0 = k + g - t, 3*k + 0*g - 3*g + 3 = 0 for k.
2
Suppose -75*c = -90*c. Let n(q) = q**2 + 6*q + 4. Let m be n(c). Solve -12 = 2*a + m*b + 10, -3 = -3*a + 3*b for a.
-3
Let o be (275/(-22) + 20)*2/3. Solve -o*a = -4*i + 7, -20 = 4*i + 3*a + a for i.
-2
Suppose 5*d = -2*u - 20 + 5, -u = 3*d + 9. Let a(s) = s + 6. Let h be a(d). Solve 5*r = 3*v + 5, -h*r + 3*v = 5 - 2 for r.
4
Let r(p) = -2*p**3 + 5*p**2 + 3*p - 2. Let v(n) = -n**3 - 18*n**2 - 31*n + 15. Let t be v(-16). Let o be r(t). Solve 0*m + 4 = 3*u + m, o*u + 3*m - 5 = 0 for u.
1
Let k be 10 + 6 + (-21 - -8). Solve -5*n + 0*n + 5*z = 50, -n = -k*z + 20 for n.
-5
Suppose 1051 = -b + 1055. Let h be -3 + (73 + -5)/b + -2. Let g = 0 - -3. Solve 5*m - 3 = -g*o - h, -m + 15 = -5*o for m.
0
Let w(x) = -3*x - 12. Let k be w(-6). Suppose -g - g = -k. Suppose 0 = -0*t - 2*t + 8. Solve -5*d = -5*o + 3*o - 24, t*o - 4 = -g*d for d.
4
Let b = 10262 - 10258. Solve 0 = -3*u - 4*c - 8, -142 = -b*u + 3*c - 161 for u.
-4
Let c(x) = -17*x - 332. Let j be c(-19). Let b be 2 - -5 - (j + 13). Solve -h = 4*h - 5*d, b*d = -5*h for h.
0
Suppose -8*b = -9*b - 20*b + 42. Solve 2*g - 4*x + 8 = 0, -20*x + 23*x = -b*g + 13 for g.
2
Let x = 191 - 182. Suppose x*a + 18 = 15*a. Let f = -6 - -10. Solve 4*h + 4 = y, -20 + f = 2*h + a*y for h.
-2
Let a(o) = -537*o - 3184. Let z be a(-6). Solve -5*h - 125*w + z = -129*w, -28 = -4*h + 2*w for h.
6
Let d = 59 + -55. Suppose 0 = d*s + 10*s - 56. Let i be (s + 3 + 2)*(2 - 1). Solve 5*f - 27 = 2*m, 0 = f - 4*m - 0*m - i for f.
5
Let t be (-16)/(-10)*(3 - (-392)/16). Let b be (-3 - 2)/((-55)/t). Solve -3*o - 21 = 3*f, -2*o - b*f - 26 + 6 = 0 for o.
-4
Suppose -123*d - 158 = -244 - 160. Solve -d*t = -5*j + 5, 11*t - 8*t + 5*j = 5 for t.
0
Let d be (-48)/(-132)*11 + (-1 - -1). Solve 8*y - 6*y = v + 4, 0 = -d*v - 8 for y.
1
Let j(o) = -o**3 - 74*o**2 - o - 59. Let y be j(-74). Solve -5*s - 5*m + 15 = 0, -7*m + 12*m + y = 5*s for s.
3
Let r(d) = 12*d + 42. Let m be (6*1)/((-28 - -6)/11). Let t be r(m). Solve 3*a = -6, 0*o + 2*o = 3*a + t for o.
0
Suppose 32 = 16*v - 8*v. Let n be ((-3)/12)/(45/12 + -4). Let h be 4*n/(-2)*-2. Solve 4*d + h = -v*r - 4, -4*d - 2*r = 6 for d.
-1
Suppose 34 + 190 = -8*f. Let w be (12/(-4) - f) + -3. Suppose 0 = -4*m + w - 6. Solve 4*v - t - 3 + 1 = 0, -10 = -m*v + 5*t for v.
0
Let f be (90/10)/27 - (224/(-12) + -2). Solve -3*k - f*g = -19*g - 16, 0 = 4*k - 3*g + 7 for k.
2
Let a(g) = 31*g + 347. Let c be a(-11). Solve 6 = -3*x - c, 5*v = 5*x + 30 for v.
2
Let b be -4 + 7 - (-2 + 1). Suppose -25*g + 6 = -24*g. Let z be 45/6*g/9. Solve 0 = -u - 3*r + 1, z*r - b - 11 = u for u.
-5
Let s = 1 - 1. Let h be (5 + (-3 - 0))*206/1. Suppose 0 = -22*k + h + 28. Solve -5*p = -k, z + p + s - 4 = 0 for z.
0
Suppose -4*s = 5*z - 45, 12*z - 124 = 4*z + 4*s. Solve 4 = 5*u - o, -11*u + z*u - 16 = 4*o for u.
0
Let g be (-120)/180 - (-50)/(-6). Let m be (-238)/(-63) + (-2)/g. Solve 0 = m*x - 0*y - 2*y + 10, 2*x = 3*y - 3 for x.
-3
Let h(k) = -2*k**2 - 21*k - 55. Let w be h(-5). Solve -2*r + 16 = -5*d - 5*r, 3*d + 5*r + 16 = w for d.
-2
Suppose -25*j - 31 + 11 = -30*j. Solve -j*a - 2 = -5*o, 5*a + 2*o - 9 = 5 for a.
2
Suppose 0 = -0*k + 3*k. Let q be 4/14 + 2/7*-1. Suppose q = 6*f - 4*f - 4. Solve 0 = f*a - 3*p - 14, k = -3*a + 3*p + 18 for a.
4
Let v = -67 - -70. Let d be (-5)/60*v + (-13)/(-4). Solve 5 = -3*k + 2*p - 0*p, -d*p = k - 2 for k.
-1
Let o(w) = w**2 - 3*w. Let m be o(4). Let t(j) = 4*j + 22. Let q be t(-5). Let v be q/((-7)/(-2) - (-1 + m)). Solve 5*z - 8 = -u, 3*u - 8 = 5*z - v*z for u.
3
Let k = -3711 + 3718. Solve 6*o = -5*j + 9*o + 14, -4*j + k = -o for j.
1
Let z = -126 - -45. Let p = z - -94. Let n = p - 8. Solve 0*c - 13 = -3*c + n*g, 3*g = -5*c - 35 for c.
-4
Suppose -11*s = 179 + 6300. Let l = -584 - s. Solve 0 = 3*b - r - 4, -l*b + 2*b + 4*r = -7 for b.
1
Let c = -951 + 966. Solve 2*b = -5*d + 8 + 17, -2*b + c = 3*d for b.
0
Let t = -12942 - -12946. Solve -6*m = -7*m + 2, -4*f - 2*m - t = 0 for f.
-2
Let t be 202/10 - (1/5 + 174 + -174). Solve -j - 4*o - 14 + 1 = 0, -5*o - t = 5*j for j.
-1
Suppose -58*g + 52 = 12 - 1120. Solve 5*d = 3*m + 32, 4*m + 44 - g = 2*d for m.
-4
Let m = -16411 - -16421. Solve d - 19 + m = -3*b, -5*b + 1 = -3*d for b.
2
Suppose 310*q - 314*q = -20. Suppose -k + q = 4*p, -5*k + 0 + 25 = -4*p. Solve 2*u - n = -u + 16, 2*u + k*n - 5 = 0 for u.
5
Suppose 0 = -672*y + 2156 + 1204. Solve q - 21 = 4*f, -y*q - 61*f + 57*f = -9 for q.
5
Suppose 0 = -u - 5*f - 22, 5*f - 3*f + 16 = 2*u. Solve 2*i = -i - 3, -4*i = u*m + 19 for m.
-5
Let g(c) = c**3 + 5*c**2 - 7*c - 12. Let h be g(2). Solve 2*y + h*j = 5*y, 2*y = j - 1 for y.
-2
Suppose -13908 + 14745 = 31*i. Solve -18*y + 22*y = -2*p - 32, 0 = 3*p + 3*y + i for p.
-2
Let g(b) = -143*b - 1430. Let a be g(-10). Solve c - 4*c - u + 8 = a, 3*c = -4*u + 23 for c.
1
Suppose 3*t + v - 44 = 8, 3*t = v + 44. Let o = -12 + t. Suppose o*p - 2*y - 22 = 0, -29 = -4*p + 3*y - 8. Solve z = 2*b + p*z - 8, -5*z = -b - 11 for b.
-1
Let m(f) = -f**3 - 2*f**2 + 4*f + 5. Let t be m(-4). Let l(q) = q**2 + 2. Let r be l(0). Solve -3*h = k + 14, -r*h = -4*k - t + 7 for k.
-5
Suppose 0 = 14*f - 9 - 11 - 22. Solve 4*d + 37 - 9 = 4*j, -15 = -j + f*d for j.
3
Suppose 3*g - m - 222 = 0, 0 = -3*g - 2*m + 136 + 95. Let v be (-2)/5 - (-1380)/g. Solve 6 = a - y, -2*y - v = -5*a - 3*y for a.
4
Suppose -19*g + 36*g = 10*g. Solve 3*f = 12, g + 15 = -v + 3*f for v.
-3
Suppose -4*q - q = -2*m - 5, 2*m - q = -9. Let f(w) = -w**3 - 7*w**2 - 14*w - 10. Let a be f(m). Solve -5*r - a = -4*z - 30, -2*r + 8 = 5*z for z.
0
Suppose -4*a + 3*r = -17, 11*r = -3*a + 7*r + 19. Suppose -2*p = -4*p - 5*g + 15, a*p + 5*g - 30 = 0. Solve 3*s + 0*s = p*m + 29, -3*m = 2*s + 6 for s.
3
Suppose -472 + 31 = -63*z. Solve 5*t = -2*o + 19, 9*t = -4*o 