 2*m + 0*m = -10 for u.
-5
Suppose -6*c + 5*c = 0. Suppose 3*o - 55 - 12 = 5*x, c = -5*o - x + 121. Solve 0*f = 5*f - p + o, -5*p = 2*f + 15 for f.
-5
Let v be 2/(1/(-5)*-2). Suppose 3*x + 3 = 0, -v*x = 3*q - 3*x - 7. Solve -q*f + 12 = 0, -4*f + 3 = -2*i - 11 for i.
1
Let a = -6 + -59. Let m = a - -70. Solve -4*n = -m*d + 41 - 11, -3*d = 2*n + 4 for n.
-5
Suppose -a - 228 = 2*a + 5*k, 4*k = 5*a + 380. Let v = a - -85. Solve -u + 16 = -5*m, -v = 3*u + 4*m - 0*m for u.
1
Suppose -15*z + 624 = z. Let u be (3/(-1))/(z/12 + -4). Solve -4*s = -4*k - u, 2*s + 8 = -2*s + k for s.
-3
Let v(u) = -4*u**2 - 5*u + 2. Let r be v(-4). Let x = r + 73. Solve 4*l - 3*t = x, -5*t = -2*l - 15 + 48 for l.
4
Let q(y) = -1. Let h(d) = 18*d**3 - d**2 + 7. Let b(r) = -h(r) - 6*q(r). Let c be b(-1). Solve 4*f - o - 18 = 0, 2*f + c = 7*f + o for f.
4
Let o(i) = 9*i + 119. Let x be o(-13). Solve 0 = -2*t, -4*t + 1 = -3*m - x for m.
-1
Let h(n) = -n + 10. Let v be h(9). Solve 4*o - 10 + v = 3*t, -15 = 5*o + 5*t for o.
0
Let u(f) = -9*f + 110. Let m be u(10). Solve 0*b - q = -b - 8, -3*q = -2*b - m for b.
-4
Let z = -179 + 183. Solve -5*d + 20 = -5*s - 0*s, 0 = -z*s - d - 6 for s.
-2
Let k be 56/(-12)*3/(-7). Solve k*g - 6*g - i - 21 = 0, -4*i + 1 = -g for g.
-5
Let m be 2/3*15/5. Let v = 1 + 11. Let k = 9 + v. Solve -3*q + 8*q = -m*d + k, -2*d = -6 for q.
3
Suppose 0 = -3*q - 12, -14 = n - 0*q + 4*q. Let c = -7 + 11. Solve -m - 3*m + c = -2*u, m = -n*u - 9 for u.
-4
Suppose -4*k = 4*i - 20, -6*k - 9 = -8*k - i. Solve 4*z + 21 = -p, -9 = k*p + 2*z + 5 for p.
-1
Let s(v) = -11*v - 22. Let x be s(-2). Solve 12 = -3*w + 2*o, 2*w - 4*o + x*o + 8 = 0 for w.
-4
Let q be (-1)/5 + (-6)/15*12. Let z be 4 - (5 + -5) - (1 + q). Solve -f = -b + 3*f + 17, z = 4*b - f for b.
1
Let m = 31 - 29. Solve 2*f - m = -2*n, 2*n + 2*f = -3*f + 14 for n.
-3
Suppose 0 = -8*m + 9*m - 12. Let z be m/10*(-6 - (-168)/18). Solve -3*x + 2*l = -8, -3*x + 3 = -l - z for x.
2
Let c(r) = -r**2 - 12*r - 8. Let a be c(-8). Suppose 6 = 6*x - a. Solve -3*o + 2*s = -2, x*o + 2*s + 22 = -s for o.
-2
Suppose -13 = 3*b - 25. Let w be (-3)/(25/10 - b). Solve 14 = 4*o - 2*m - 0*m, -2*o = -w*m - 4 for o.
5
Suppose -7*p - 40 + 61 = 0. Solve -p = -n + t, 4*n = t + 16 - 4 for n.
3
Let g(h) = -h**2 - 11*h. Let z be g(-11). Suppose x + 0*w - 2*w = 28, -5*w - 20 = z. Solve -14 = 2*l - 3*q - 4, 0 = -5*q + x for l.
1
Suppose 2*x = 4*c - 60, 0*c = 5*c + 5*x - 90. Solve -5*r = -h - 1 - c, -12 = -4*h for r.
4
Suppose -2*w - 2*x = -0*x, -2*x - 6 = 4*w. Let o(j) = 6*j + 3 - 1 + 2*j**2 + 3. Let d be o(w). Solve -5*n = p - 16, 2*p + 5 = 4*n - d for n.
3
Suppose 31*y = 36*y - 20. Suppose 3*w - 18 = -y*s, 4*w - 38 = -2*s - 4. Solve -3*z - 1 = 3*p - w, -4*p - 3*z = -10 for p.
1
Let s = -436 - -441. Solve 5*x = -2*h, 5*x - 35 = -0*h + s*h for x.
2
Let k(r) = -2*r**2 + 8*r - 2. Let h be k(3). Let a = -3 + 8. Let v be 2/(a/((-50)/(-4))). Solve 2*m - h = v*b - 0*b, 0 = -b for m.
2
Suppose 20*d - 10*d - 30 = 0. Solve 3*l - 4*q + 3 + 20 = 0, d*l - q = -8 for l.
-1
Let j(k) = -k**3 - 7*k**2 - 9*k - 16. Let m be j(-6). Solve 2*b + 4 = -0*b - 3*g, m*b + 2*g + 4 = 0 for b.
-2
Let v be (15 - (-696)/(-32))/(3/(-4)). Solve 4*i + 0 = -3*k - 5, 0 = -2*i + 5*k - v for i.
-2
Suppose -5*x - 3*c = 528, 0 = x + 3*x + 5*c + 425. Let k be 2*(x/10)/(-7). Solve 4 = -5*d + k*d, -3*n - 5*d = 22 for n.
-4
Suppose -7*j + 105 = 14*j. Solve -3*b = 2*g - 14, 2*g + 2 = 5*g - j*b for g.
4
Let j = 255 + -275. Let k = -28 + 16. Let t = k - j. Solve -5*s + f + t = -2*f, 2*s = 3*f - 4 for s.
4
Let t be 72/252 - (-5)/7. Solve 2*z - z - p + t = 0, 0 = -2*z - 3*p - 2 for z.
-1
Let x be -1 + (-1 + -1 - (-1)/1). Let q be (4 + 9/((-36)/56))/x. Solve -5*o = -3*i - 10, -i + q*i - 5*o = -5 for i.
5
Suppose 2*a - 5*v = 4, -v = -3*v + 8. Let t be a/7 + (-6)/(-21). Suppose 5*m = -4*f - 20, -1 + 11 = -t*m - 2*f. Solve 3*s + m*u = -u + 1, 5*u = 3*s - 13 for s.
1
Let u = 12 + -6. Suppose -u = -2*d - 2. Let c be (-11)/(-3) + 2/6. Solve -2*h + 9 = 3*x, 0 = -c*h - 3*x + d*x + 13 for h.
3
Let u(r) = -r**2 + 3*r. Let d be u(2). Let t(c) = -172*c - 25 + 4*c**2 - 3*c**2 - 170*c + 339*c. Let p be t(-4). Solve -4*q - d*n + 1 = -3, 4 = p*q + 2*n for q.
0
Suppose s + s + 15 = 3*f, 10 = 4*s + 2*f. Solve -2*t = 3*m - 3 + 13, s = 3*m for t.
-5
Suppose 2*r - 4*r = 0. Let w be (-2 + 10)*((-33)/(-12) + -2). Suppose w*y - 14 - 10 = r. Solve -y*p + 0*p - 3 = l, 3*p = l + 3 for p.
0
Suppose q - 4*q + q = 0. Solve 0*f + f = -4*l - 17, q = -l + 3*f + 12 for l.
-3
Suppose -2*h - 16 = -10*d + 14*d, 3*d + 13 = -h. Solve -5*l + h - 3 = -v, 3*l = 2*v - 2 for v.
1
Let l be 81/(-18)*2/(-3). Let v be ((-18)/12)/((-2)/8). Solve -2*z + v = -5*w - 3, -w + 2*z + l = 0 for w.
-3
Let u(c) = c**2 - 1. Let t be u(2). Suppose -13*n + 54*n + 4*n = 0. Solve t*d - d - 5 = -5*k, -k + 1 = n for d.
0
Let u = 4 + -4. Let d(s) = s**3 - 2*s**2 - s - 15. Let m be d(4). Suppose -5*v + 12 + m = u. Solve 7*i = 2*g + 3*i + 22, -4*g - 35 = -v*i for g.
-5
Let y be (-27)/(-15)*(1 - 21/(-9)). Solve -22 = 4*c - 4*k - y, 3*k + 8 = -2*c for c.
-4
Let k be (32/(-2))/(2/(-3)). Suppose 0 = -0*j - 4*j + 20. Suppose 4 = -2*i + 3*b + 2, 3*b - 37 = -j*i. Solve -4*a - 2*w = -w + 9, 0 = -3*a + i*w - k for a.
-3
Let g = 23 - 19. Solve 0 = 2*c + g*p + 2, -4*p + 4 = -4*c + p for c.
-1
Suppose 4*w - 3*f = 6*w - 35, -f + 81 = 5*w. Solve 5*d = 3*o - w, -4*o - 6*d + 2*d = 0 for o.
2
Suppose -u + 2 = -4*g + 5, -4*g + 12 = -4*u. Let v(a) = -14*a + 453. Let t be v(32). Solve 3*o - b - t = 0, -2*o + 4*b + 10 = -g for o.
1
Let h(d) = d**2 - 19*d - 63. Let x be h(22). Solve 2*a = q - 2*a + 12, -x*a + 9 = 3*q for q.
0
Let c = -63 - -66. Suppose 2*i + 11 = d, 4*i = -0*d - 3*d + c. Solve 10 = d*u, -r + 4*u - 16 = r for r.
-4
Let q(l) = l**3 - 3*l**2 - 3*l + 1. Let b be -1*5/((-20)/16). Let o be q(b). Solve 2*s + 1 - 3 = o*a, -5*a - s = 14 for a.
-2
Let p be (-18)/(-4)*(-84)/18. Let k = p - -9. Let q be (-38)/(-8) + (-3)/k. Solve 2*f = -l + 4*f - 3, 0 = l + q*f + 3 for l.
-3
Let t(x) = x + 13. Let n(l) = -3*l + 8. Let a be n(6). Let m be t(a). Suppose -3*c + 0*c = -15. Solve 2*k + y = c*y, -10 = -k - m*y for k.
4
Suppose -5*h + 6 + 9 = 0. Suppose -29 - 11 = -h*s - 2*z, s - 5*z = -15. Solve 2*c + g = 3, s = -5*g + 25 for c.
0
Let k(x) = -5*x - 18. Let d(w) = -4*w - 17. Let y(a) = 7*d(a) - 6*k(a). Let i be y(8). Suppose -i*u + 1 = -14. Solve 4*m + 13 = -2*o - 1, -8 = u*m - o for m.
-3
Suppose 10 = 6*s - 20. Suppose -5*p + 20 = -10. Solve 0 = -2*z - d - p, -s*z = -4*d + 2 for z.
-2
Suppose 4*y = 7*y - 540. Let k be (2/(-6))/((-5)/y). Solve -c - 6 - 2 = -2*f, 3*f = 4*c + k for f.
4
Let k = -220 + 225. Suppose 0 = 5*q - 2*q. Suppose 17 = 4*o + 3*n, 0 = -3*o + 4*n - q - 6. Solve -15 = -r + 6*r + k*v, -2*r = -2*v - o for r.
-1
Let o(s) be the second derivative of s**3/2 + 7*s**2/2 + 13*s. Let w be o(5). Solve 0 = -3*v - 4*d + w, d = -2*v - 2*d + 16 for v.
2
Let f = -7 - -10. Let x = 72 - 58. Suppose s - 2*r = -2, 2*r - x = -6*s + s. Solve s = -4*g + 5*l, -4*l + l = f*g + 15 for g.
-3
Let j be ((-30)/(-4)*(-18)/(-45))/1. Solve v + 5*d + 25 = -v, 3*v + 6 = j*d for v.
-5
Suppose q + 2*s = -3, 3*q - 5*s = 19 + 5. Suppose 0 = 5*f - f - l - 141, -q*l = 5*f - 189. Let r = f - 21. Solve -r = 5*h - 5*w, -h - h - 12 = w for h.
-5
Suppose 0 = -z - 4, 4*j = -0*j + 5*z + 32. Suppose -j*a = 2*a - 20. Let r be (-1)/a - 4/(-16). Solve 0 = 3*t + 3, -4*t = 3*y - r + 7 for y.
-1
Let o be 8 + (45/(-10))/(-9)*-10. Solve -8 = -4*y - y - o*w, -4*w = 3*y + 4 for y.
4
Suppose m + 3*b + 9 = 0, -b + 5*b = 2*m - 22. Suppose 4*k - 3 - 4 = -5*z, 2*z = -k + 1. Suppose k*q = 10 - 1. Solve -m*s - 19 = o, -2*s - q*o - 7 = 15 for s.
-5
Suppose 7*y = -2*q + 3*y, -6 = -2*q + 2*y. Solve -r = -q*r - z - 1, -5*r - 2*z + 1 = 0 for r.
1
Let t(l) = -l**3 + 12*l**2 - 12*l - 2. Let a be t(11). Let j = a + 16. Suppose 0*w - 6 = -j*w. Solve 4*n - w*q = q - 4, 5*n - 30 = -5*q for n.
2
Let g be ((-105)/(-6))/(-7)*-2. Suppose -49 = -g*c - 5*b - 9, b + 16 = c. Suppose -10*h + 6*h = -c. Solve -3*a = h*r + r - 6, -r + 2 = a for a.
2
Let v be ((-49)/(-21))/(21/54). Solve -2 = 2*n - z, -6 = -3*z + v for n.
1
Let d = 4005 - 4005. Let j = -1 - -3. Suppose 4*t + t = j*r, 2*t - 3*r = -11. Solve z = -2*q - 0 + 6, d = -t*z - q - 3 fo