+ 14 = 0, -2*c = -2*s + 6 for c.
-5
Let m(u) = 6*u - 31. Let i be m(6). Solve 0*c - i*c - 25 = 5*t, 5*c - 5*t + 15 = 0 for c.
-4
Let d = 0 - -3. Let r(k) = -k**3 + 8*k**2 - 8*k + 7. Let f be r(7). Let o be f/((-10)/(-25)*5). Solve a - d*w - 5 = 0, 3*a - 3*w - 3 = -o*w for a.
-1
Let y(w) = -w - 20. Let h be y(-19). Let u = h + 15. Suppose 3*r = -m - m + 4, 2*r - 5*m = 9. Solve -4*v = r*i + u, -4*v + 5*i = -5*v - 26 for v.
-1
Suppose 3*c + 304 = -c. Let o = 153 + c. Let x = 81 - o. Solve -x*r - 4 + 12 = 2*y, -5*y - 2*r + 4 = 0 for y.
0
Suppose 26 = 613*b - 612*b - l, -4*l - 20 = 0. Solve 5*u - y + 5 = 0, -2*u = 5*y - 4 - b for u.
0
Suppose 6*b + 1902 - 1902 = 0. Suppose b = 6*r - 14*r + 96. Solve -6*j - r = -m - 4*j, 0 = 3*m + 4*j + 4 for m.
4
Suppose -3*h - 5*f + 13 = 0, 5*h + 5*f = 8*h - 53. Solve 2*y + h = p, -4*p + 0*p = -5*y - 32 for y.
-4
Let a(w) = -2*w - 18. Let y be a(-18). Suppose 3*o = -y + 75. Let g be ((-72)/96)/(6/(-40)). Solve 2*p + o = -g*b - p, 0 = -2*b - 5*p for b.
-5
Suppose -3*m + 131 = -2*y, 28*m + 4*y + 82 = 30*m. Solve -5*i - 5*j = m, -5*j - 32 = 4*i - 2*j for i.
-5
Let t(c) = -c**3 - 28*c**2 + 29*c + 4. Let n be t(-29). Let b be 4/10 - (-3)/(-15)*-8. Solve 5*x = b*z - 15, x + 4*z - 1 = -n for x.
-3
Suppose 0 = -64*z - 344 + 1880. Solve 3*k - 4*s + z = -1, -3*s = -4*k - 24 for k.
-3
Let v be (14 - 0)*((-54)/(-12) + -4). Solve 5*q + 4 = v*q + 5*r, 4 = 2*q - 4*r for q.
2
Suppose 0*w - 126 = 9*w. Let j = w + 26. Suppose -j = 4*m - 8*m. Solve 0 = m*r - 5*c + 28, -r - 3*c + 19 = c for r.
-1
Suppose -4 = -2*g + g. Let d = 251 + -248. Let r be d*12/((-144)/(-20)). Solve -g*t = h + 11, -t = 2*h - 1 - r for h.
5
Suppose -4*f - 17 = -5*f. Suppose -4*t = 153 - 5. Let r = t - -37. Solve 5*m - f - 3 = r, 3*k - 5*m = -26 for k.
-2
Let a be 3/15 + 38/10. Suppose -6*v = h - 2*v + 9, 0 = 2*v + 6. Suppose 0 = -h*g + a*g - 10. Solve -6*j = 5*w - j - 5, 2*j = -4*w + g for w.
4
Let u(w) = w**2 - 8*w - 30. Let q be u(14). Let h = 57 - q. Let n be (24/(-3))/(-1 - -2 - h). Solve -4*a = 2*o, -n*o = -3*a - o for a.
0
Suppose 0 = -r + 3*r - 10. Let b(a) = a**2 - 8*a + 14. Let d be b(6). Solve -5*g = -o, r*o + 32 - 5 = -d*g for g.
-1
Suppose 110*g = 126*g - 32. Solve -3*r - g*i + 5 = 0, 0 = 5*r - i + 5 - 9 for r.
1
Suppose 9*y - 49 = -31. Suppose 0 = y*n + l - 6, 0 = -5*n + 7*l - 9*l + 17. Solve -n*s + 5*a + 5 = 0, 2*s + 3 = -2*a + 13 for s.
3
Let p be (3/2)/(((-33)/18)/(-11)). Let o be p + -3 + (-3 - (-2 + 2)). Solve 0 = -5*j + 20, -c + o*j - 5 - 9 = 0 for c.
-2
Suppose 0 = 5*w - 6*z + z, -3*z + 8 = 5*w. Let l(a) = w - 6*a + 4*a + 4*a + a**2. Let q be l(-5). Solve -4*o - 3*x = -7*o - 15, 4*o = 2*x - q for o.
-3
Let j be 2/16*2*52. Let t = 15 - j. Let y be ((-46)/69)/(t/18*-1). Solve 2*g - 4 = -f, -4*f + f + 3*g = y for f.
0
Let p = -184 - -175. Let q(r) = -r**3 - 12*r**2 - 28*r - 4. Let t be q(p). Solve -5*l = -5*a + 20, 10*l + 4 = t*l + a for l.
0
Let m = -15 + 21. Suppose 10*b - 88 = m*b. Let k be (-8)/16 - b/(-4). Solve w + 2*r + 2 = k, -r = -w for w.
1
Let j(a) = -2*a**3 - 3*a**2 - 2*a - 3. Let t be j(-2). Let c = 1313 - 1311. Solve r - 2*w - 11 = -t*w, c*r = -3*w + 16 for r.
5
Let q(o) = 16*o - 161. Let v be q(12). Solve 18*c = -4*d + 15*c + v, 5*d + 2*c - 30 = 0 for d.
4
Let t(h) = -h**2 + 37*h + 122. Let a be t(-3). Solve -g + 3*l = 5*l + 2, -4*g = a*l + 2 for g.
0
Suppose -29*c = -16*c + 12*c - 450. Solve 3*j = 2*i + c, 28*i - 25*i - 2*j = -17 for i.
-3
Let m(r) = 2*r**2 - 18*r + 54. Let y(c) = -c**2 - c - 1. Let q(a) = -m(a) - 4*y(a). Let x be q(-13). Solve t + 0*u = 5*u - 10, -x*t = u - 2 for t.
0
Let q(r) = -3*r**3 - 7*r**2 + 59*r - 35. Let l be q(-6). Solve -3*x - 5 = 5*p, -5*p + 28 = -5*x - l for p.
2
Let x(i) = 62*i**3 + i**2 + 4*i + 3. Let w be x(-1). Let v = w - -62. Suppose v = -r - 7 + 12. Solve 3*d - r*a = -d + 22, 4*a = -3*d + 1 for d.
3
Let t = 67 - 67. Solve 0 = 5*a + 2*j - 19, 4*a - 32 = -t*a + 4*j for a.
5
Suppose 4*o - 19 = 1. Suppose l - 6 = 0, 2*z - 14 - 14 = -5*l + 2. Solve -o*q - 25 = -2*j, 4*q + 3*j - 4*j + 17 = z for q.
-3
Suppose -3*s + 2*r + 29 + 31 = 0, s - 28 = 2*r. Solve 10 = -5*l + k, -s - 8 = 3*l + 3*k for l.
-3
Let f = -46 + 54. Let b be (f/(-6))/(((-24)/27)/2). Solve 0 = 5*t + b*h - h + 21, -h - 3 = 0 for t.
-3
Let y = -57 + 169. Suppose 0 = -104*j + y*j - 24. Solve -5*v - 10 = 5*p, -j*v - 3 = -4*p + 3 for v.
-2
Suppose -24128 = 2*r - 34*r. Let i = r - 749. Solve 0 = i*v - 5, 0 = 4*t - 5*v - 2 - 5 for t.
3
Let j be 0/((1 + -15 - -7) + 6). Solve -x = x, -3*h + 3*x + 15 = j for h.
5
Suppose -18*i + 19*i + 3*j = 25, -2*j - 42 = -3*i. Solve 2*o + i = -2*o - 3*l, 20 = -5*o + 5*l for o.
-4
Let w be -35 + 32 - (4/(-3) - (-56)/(-12)). Solve q + 3*o - w = 5*o, 18 = -q - 5*o for q.
-3
Let l = 3918 + -3915. Solve 0 = l*t, 19*h + 5 = 18*h + t for h.
-5
Suppose 5*r = -6*a + 8*a + 10, 4*a + 5*r - 10 = 0. Suppose -5*w = -5*c, a = -0*c - 5*c - 2*w + 14. Solve 20 = -4*t + 4*s, -4*s + 6 = -c for t.
-3
Suppose 0 = p - 3*w + 536, -5*w = 3*p + 565 + 1057. Let d = 543 + p. Solve 4*u + 0*u + 6 = -2*o, d*o = 4*u + 36 for o.
5
Suppose 4*h = -5*j + 25, 19 - 26 = -2*h + 3*j. Solve 0 = h*s + 5*r - 10, -8 + 1 = 4*s - r for s.
-1
Let m = -7 - -10. Let d be 8 + -2 + (m - 1). Let p be 10/6*1*444/370. Solve -n - 4 = -5*z, d*z - p = 3*n + 3*z for n.
1
Let s be ((64/14)/(-1)*1)/(410/(-1435)). Solve -13 = -6*k + 5*k + 5*j, s = 2*k - 5*j for k.
3
Suppose -5*m = -181 - 39. Let k = -41 + m. Let x be 12/(-1*(-6)/4). Solve -6 = -k*d + 3*c, -4*d + x*d + 13 = -3*c for d.
-1
Let x = -261 - -262. Let d(h) = 13*h**2 + 3*h - 1. Let c be d(x). Solve -3*f - o = -f + 9, -3*o - c = 2*f for f.
-3
Suppose 2*n = m + 14, -3*m + 206 - 220 = n. Solve -2*l + 12*w - 17*w = 5, -17 = n*l + 3*w for l.
-5
Let g be (-11 - 1)*(-6)/9. Suppose -140 = -g*b - 2*b. Solve 5*i - 7 + 1 = -c, -4*c - i - b = 0 for c.
-4
Suppose 0*v = v. Suppose 0 = -2*p + 4*s + 58, v = p - 0*s + 4*s - 11. Let z = p - 19. Solve 5*b - 16 = -3*j, 4*j = z*b - 4 - 28 for b.
5
Let j be ((-8 - -5) + -9)/2. Let t be ((-8)/j)/(204/765). Solve c - 17 = 4*s, t*c - 8 = s + c for s.
-4
Let t be (-8)/20 - 324/(-60). Let r be (0 + t)*12/15. Solve -4*s - 1 + 2 = -w, 0 = 4*w + 4*s + r for w.
-1
Suppose 6 = -9*i + 24. Suppose 5*y + t - 2*t - 22 = 0, 0 = i*y + 3*t - 2. Solve -17 = 4*x - 3*x - y*h, -3*x = 2*h - 5 for x.
-1
Let m = -856 - -861. Solve m*b = 3*n + 54 - 58, 5*n + 18 = -4*b for n.
-2
Suppose -16*u + 163 = -8*u + 99. Solve -5*c - 4*q = -u, 3*q + 14 = 5 for c.
4
Let z be (-68)/(2 + -6) - (1 - 1). Suppose -21*f = -z*f - 12. Solve -f = 3*d, 4*b - 1 = -b + d for b.
0
Let n be (3/(-15) - (-5)/25)/2. Suppose -p + n*p - 3*y + 17 = 0, -4*p - 5*y = -75. Solve 3*o + p = -f, -o - o + 2*f = 0 for o.
-5
Let r(v) = v**3 - 27*v**2 + 27*v - 37. Let w be r(26). Let u = w + 14. Suppose 0 = l - 0*l - u. Solve 12 = -c + 5*c, -l*z + 4*c = 24 for z.
-4
Let h = -3 - -5. Let r = 5 - h. Let i(n) = -46*n**2 + 324*n - 12. Let w be i(7). Solve -3*d + 0 - 15 = r*z, 4*z = -w*d - 18 for d.
-1
Suppose 0 = -5*t + 15, i - t = 91 - 25. Suppose -17*q + i = 35. Solve -3*r - 2*v + 7 = -v, q*v = -r - 1 for r.
3
Suppose -20*u + 6 = -18*u. Suppose 4*i + 4 = -4*b, 0 = 2*b - u*i + 1 - 4. Solve 0 = 3*n + 15, b*r - r = -3*n - 10 for r.
-5
Let t(u) = -13*u**2 - 1007*u - 460. Let k be t(-77). Solve 2*b + k*w - 112 + 96 = 0, 5*b + 2*w = 28 for b.
4
Suppose 0 = -18*j + 13 + 293. Suppose -o - 5*x - j = 0, 5*o - x - 45 = -0*o. Solve -d + 3*n = o, 27 = 3*d + 5*n + 9 for d.
1
Let l = 47 + -45. Let c(q) = -q - 1. Let i be c(-3). Suppose 5*g = i*m + 3*m - 80, m - 18 = -g. Solve -2*s = -3*s + 4*a - m, a = -l*s - 7 for s.
-5
Let r be 3/5 + 18/(-30). Let h = -27 + 34. Solve -5*i - h = -r*i - 4*y, -8 = 2*i + y for i.
-3
Let w be 2 + (3 + 3 - -3). Let f be ((-2)/(-5))/1 + 16/10. Suppose -c + f*b = 7*b + 3, 0 = -3*c + 3*b + 9. Solve 3*l = 3*k + 4*l - w, c*k - 2*l = 2 for k.
3
Let l = 4128 + -4100. Solve -2 + 16 = -2*i - 4*s, i - l = 5*s for i.
3
Suppose v - 54*v = 39*v - 368. Solve -123*y = -122*y - 5*f - 10, -v*y + 18 = 2*f for y.
5
Let z(r) = -16*r**3 + r**2 - 4 - 2*r - 9*r**3 + 4*r**2 + 26*r**3. Let b be z(-4). Solve -2*d = -4*j - 22, 5 = 5*j + b for d.
5
Let f(s) = s**3 + 12*s**2 - 62*s + 35. Suppose -7*l = 310 - 198. Let j be f(l). Solve -4*r + 31 = -5*i, 3*i