-m - u for m.
5
Suppose 0 = -4*q + u + 3, -5*u + 14 = q - 13. Let i = -2239 - -2242. Solve m + 5 = 2*t + q*m, -4*t = i*m - 9 for t.
3
Suppose w - 11 = k, 55 = 5*w + 2*k + 2*k. Let f(l) = 4*l - 28. Let v be f(17). Let z = v - 38. Solve 0*y - 2*y - 6 = z*s, 0 = 3*s + y + w for s.
-4
Let r = 13 + -11. Suppose -m + 3*k + 7 = 1, r*m - 3 = -3*k. Let v be m/(-2)*(-48)/18. Solve 2*d + 1 = -3*g, 5 = -v*g + 4*d - 3 for g.
-1
Suppose -2*o + 34 = -5*z, z + 4 = -z. Suppose -9*b + o = -5*b. Solve -3*r = 2*h - 8, -5*r = h - 7 + b for h.
4
Let u(l) = -l. Let z be u(-3). Suppose x = -z*x + 8. Suppose x*j - 28 = -2*o, -2*j + 2 + 1 = -3*o. Solve -3*n + 7 = n + b, -3*b = -j for n.
1
Let c(u) = -2*u**2 + 49*u - 175. Let v be c(20). Solve -5*h = 2*w - v, -4 = w - 4*h - 0 for w.
0
Let v be (-2)/(-21) + 748/84. Let s be 5 - (1*-2)/2. Solve h = -3*j - 1 - v, 3*j + s = -3*h for h.
2
Let l be 4/(-3)*135/(-90). Solve 0*h + l*h = 5*b + 4, -3*b = -h + 3 for b.
-2
Suppose -q + 3*q = 5*c - 14, 0 = -q - 4*c + 19. Suppose 0 = q*t + 5*z + 6, 9 = t + 4*t + 2*z. Solve 5*n + 27 = 2, -t*b - 4*n - 26 = 0 for b.
-2
Suppose 3*p - 35 = -4*t - t, 5*t = -5*p + 45. Solve -t*j + 2*h + 13 = 1, -5*h = 0 for j.
3
Let t(c) = c**2 + 4*c - 1. Let y be t(-5). Let s be 1*((-4)/1 - 2). Let w be s/(-10) - (-9)/(-15). Solve -12 = -4*i - 5*g + 7, -i - g + y = w for i.
1
Suppose -2*q + 21 = 5*o, -o + 3*o + 3*q - 15 = 0. Let b be 29*(4 - 3) - 2. Let c = -1078 - -1078. Solve 3*z = -3*t + b, -o*z + t + 11 = -c for z.
5
Let d be (-20)/3*(-273)/26. Suppose 6*c + 8*c - d = 0. Solve -5*v + c*j - 10 = -30, 4*j = 5*v - 16 for v.
0
Suppose -14*f = 41 - 279. Solve 4*y + 5*j = -f, 4*y = y + 2*j - 7 for y.
-3
Suppose -1962 = 6*c - 612. Let o be (-625)/c - 2/(-9). Solve -21 = 5*j + w, -2*w - 15 = o*j + w for j.
-4
Suppose 4*q + 18 = 5*q + 3*m, -m = -5. Solve -5*a = h + 2 - 9, -1 = 4*a + q*h for a.
2
Suppose 4*h + 6 = 26. Suppose g + v = -h, v = -g + 4*v + 15. Solve -2*t - 19 = -5*i, g*t + 4*t + 3*i - 1 = 0 for t.
-2
Let v be -3 + 13 + -7 - 0. Solve 0 = -v*q - 5*i - 1 - 14, 5*i = -q - 15 for q.
0
Let l be ((-39)/(-15) - 2)/((-4)/(-20)). Solve -q - 2 = y - l, -4*y - 3*q = 0 for y.
-3
Let r(i) = i**3 + 8*i**2 - 8*i + 13. Let o be r(-9). Suppose o*x + 8 = 3*a, -10 = 2*x + 3*x. Let k = 373 + -367. Solve -l + k = -u + 3, a = 2*l for u.
-3
Let a(s) = -s. Let x be a(-11). Suppose 13*d - 4 = x*d. Suppose 3*o - 4*i - 12 = -2*i, o + 1 = -i. Solve -3*c - 8 = -5*c, d*k = -o*c + 18 for k.
5
Suppose 4*z = 4*x + 4, -4*z + 26 - 4 = 5*x. Suppose 0 = 2*i + 4*u - 15 - 7, x*i - 37 = -u. Let q = i - 19. Solve -3*y - 2*v = q*y - 6, -6 = -2*v for y.
0
Suppose 0 = 3*o + 32*o. Let j be (-4)/(-10) - 24/10. Let f = 5 + j. Solve o = f*g - p - 5, 2*g + 1 = 6*p - p for g.
2
Let u be (-15 + 5)/((6/9)/1). Let v = -13 - u. Solve -3*n - 15 = 5*y + 12, -n = -v*y - 2 for y.
-3
Let h(n) = -4*n + 1. Let l be h(-1). Suppose -2*s + 25 = 3*s, 0 = -4*f + l*s + 15. Let z = f + -5. Solve -2*t + z*q - 5 = -28, 3*t - 6 = -2*q for t.
4
Suppose 3*z + 4*w = -0*z + 12, 2*w - 16 = -4*z. Suppose 0 = z*f + 1 - 105. Let r be (1 - 1)*13/f. Solve -j + 4*b + 12 = 0, r = -2*j - 2*b - 3 - 3 for j.
0
Let k = -1 + 5. Let j = 7 - 4. Let v(t) = t**2 + 17*t + 9. Let x be v(-17). Solve -h + 2*a = 4*a - x, k*a - 23 = j*h for h.
-1
Let y(r) be the second derivative of 0 - 2*r - 1/6*r**3 + r**2 + 1/12*r**4. Let u be y(0). Solve u*t + 0*k + k = 0, -k = -4 for t.
-2
Let p(q) = -2*q + 14. Suppose -4*l - 7 = -31. Let n be p(l). Let h = n + -2. Solve -3*x - 2*x - 5*j + 10 = h, 3*x + 5*j - 14 = 0 for x.
-2
Let s be 1 + (4 - -2)/2. Suppose 2*w + s*z = -42, 3*w + 4*z + 39 + 20 = 0. Let h = 26 + w. Solve 0 = 3*c - 2*k - 3 - h, -3*c + 3*k + 15 = 0 for c.
2
Let k be (((-189)/12)/7)/((-12)/16). Solve -5*v - 8 = 3*g, k*g - 4*v = 5*g + 6 for g.
-1
Let w(p) = p**2 + 7*p - 17. Let t be w(-9). Solve -2*f - d - 2*d - 4 = 0, t = 3*f + d for f.
1
Let v be (-3)/(-1)*105/(-9). Let x = v + 38. Solve 2*r = u, u = -2*r - x*u for r.
0
Let g be (8 - 316/(-10)) + (-4)/(-10). Solve 0 = 3*v + m + 20, -v + 6*v + 3*m = -g for v.
-5
Let v = 823 + -819. Solve 2*k - 2 = 5*j, j - 5*j + 3*k = -v for j.
-2
Suppose -2*i + 4*j + 10 = -0*i, 2*i + j = 30. Let k = 13 - i. Let w be 0 + k + 0 + 1. Solve -z + 3*y + 11 = 0, 3*z - 14 = 3*y + w for z.
2
Let v = -453 + 456. Solve d - v*i - 9 = 0, d + 4*d + 4*i + 12 = 0 for d.
0
Let w = 44 + -43. Suppose -2*f + w = -f. Solve f = r + r - u, 0 = -2*u - 10 for r.
-2
Suppose 15*v = -10*v + 125. Solve -v*y = x - 7, -3*x + x - 12 = -3*y for x.
-3
Suppose -545 = -5*c + 4*i + i, c + 3*i = 125. Suppose 7*t - c - 62 = 0. Solve 0 = 2*z - 5*l + t, -2*l = -3*z - z - 26 for z.
-5
Suppose -2*x - 9 = 55. Let m be (x/(-3))/(22/33). Solve -n = a - 5*n - m, -2 = 3*a - 2*n for a.
-4
Suppose 19*i = 15*i + 7*i. Solve -x + 2 = i, 5*m + 0 + 1 = -2*x for m.
-1
Suppose 11*i - 8 = 7*i. Solve m = i*h - 6, -h + 4*h - 3*m - 6 = 0 for h.
4
Let r(o) = 2*o**3 - 2*o**2 - 2*o + 1. Let a be r(0). Solve -d = -3*i - 2, 4*i + 1 = d - a for d.
2
Let n = 157 + -153. Solve -j - 3*l + 10 = 0, -3*l + 32 - 10 = n*j for j.
4
Suppose 0 = 4*k - 38 + 26. Solve k*t - 3*q - 40 = -2*t, -2*t - 2*q = 0 for t.
5
Let r = 71 - 55. Suppose r*p = 6*p + 20. Solve -5*z + 17 = 2*b, 33 = -p*b + 7*z - 2*z for b.
-4
Let x(v) = 4*v**2 - 9*v + 7. Let j be x(2). Solve 3*n = -j*i - 14, i + 2 = -2*i - 5*n for i.
-4
Let y(b) = b**2 + 9*b + 14. Let g be y(-10). Let k = g + -21. Solve 0 = -4*q + k*d - 9 - 4, 3*q - 5*d + 18 = 0 for q.
-1
Suppose 5*h - 1 = 99. Let a(d) = d**3 - 20*d**2 + 2*d - 40. Let p be a(h). Solve p = 5*c + 2*z - 18, 8*c = 4*c + z + 4 for c.
2
Let z = 390 - 385. Solve 1 = -3*q + q + 3*b, -q - 20 = z*b for q.
-5
Suppose 6*z - 10*z - 84 = 0. Let k = z + 25. Solve -o - 11 = k*i, -2*o + 12 = -4*i - 14 for o.
5
Let r be 13 + (-28)/(-21) + 2/3. Solve r = 5*p - 5*b, -b = -p - 3*p + 15 for p.
4
Suppose -2*k - 2 = -3*k. Let z = -28 + 28. Suppose 5*w + 1 - 6 = z, 0 = c + 2*w - 5. Solve -c*i - 3 - k = -5*m, 4*i = m - 18 for i.
-5
Let b(i) = -i - 2. Let z be b(-7). Let f be 5/((-25)/(-2))*z. Let l = -2 + f. Solve 2*s + 3*d - 14 = d, l = -s - 4*d + 22 for s.
2
Suppose 6*b - 2 = l + 7*b, 0 = 5*l + 2*b - 5. Solve 0 = 3*x + 2*q + 7, 1 = -l*x + 3*q + 19 for x.
1
Let d(g) = 2*g**3 - 3*g**2 - 2*g + 4. Let v be (-4)/8*(-1 - (1 - -2)). Let o be d(v). Solve 5*n - o*x = -5*x - 6, 2*n = 2*x for n.
-1
Let v = 90 + -87. Suppose v*j = -0 + 18. Solve 14 = 4*x - 2*h, -4*h - j = 6 for x.
2
Let c(i) = i - 12. Let j be c(18). Solve 2*t = -2, -4*o - 5*t = -j*o + 1 for o.
-2
Suppose -34*z = 37*z - 65*z. Solve 4*j + 3*x - 3 = z, -4*x = 2*j + x + 9 for j.
3
Suppose -6 = 4*b - 3*b. Let r be (3*(-2)/(-15))/(b/(-30)). Solve 5*q - r*q = 5*l - 10, 0 = -2*l + q + 5 for l.
5
Suppose -m + 5*a = m, 3*a = 0. Let g be m/(-3*(-1)/(-3)). Let f be 4 + (0/2)/(-2). Solve -4*q - f + 0 = g, q + 1 = 3*l for l.
0
Let b be (-3 - (3 - 2))*-1. Suppose -y + 2*y + 4*p + 2 = 0, b*p = -4. Suppose -1 - y = -u. Solve m + 4*q = -23, -16 + 1 = u*q for m.
-3
Let f be (-2)/(-4)*(-5 - -3). Let a be (f + 1)/(0 + 1). Suppose a = -y + 4*y. Solve y = 3*s + 4*i + 20, 6*s - 5*i = s + 25 for s.
0
Let w be (1*-2)/(-2) - (-6 + 6). Let s(x) = 8*x**3 + x**2 - x. Let p be s(w). Solve -5*k = b - 2*k - p, -15 = 3*b - 4*k for b.
-1
Suppose -3*j + 1 + 4 = z, -5*j = -5*z - 35. Let n = -53 - -83. Solve -3*d = 4*w + 8, -n = -j*w + 4*d - 11 for w.
1
Suppose 91*v = 90*v + 2. Solve s = 3*s + 5*c, 0 = -2*s - v*c + 6 for s.
5
Suppose 5*k + 7 = 3*v, 1 = v - 5*k + 2. Solve 2*a = u - 3, 2*a = -v*u - a - 32 for u.
-5
Suppose 2 = -h, 0*h = -2*a + 3*h + 24. Suppose -4*p + 69 = a. Suppose 6*l - 3*l = p. Solve w - q = -l, -2*q + 8 = 2*q for w.
-3
Let p = 52 - 52. Suppose -q - 3 = 0, p = -5*l + q + q + 81. Solve 0 = -5*g + l, -4*o + 0*g + 27 = 5*g for o.
3
Suppose -24 = p - 21. Let n be (-44)/(p + 2) - (2 + -1). Solve 4*l - w = 18 - n, -25 = 3*l - 2*w for l.
-5
Suppose 0 = -0*l + 6*l - 12. Solve p - 6 = -l*z + 3*p, -3*z = 4*p + 5 for z.
1
Let f(h) = 6 - 2*h + 4*h**2 - h + 3 + h**3 - h. Let m be f(-5). Solve -3*n - m*l = -6, -l + 4*l - 2 = -n for n.
2
Let d be 1/(-5) + (-30)/(-150). Solve -4*l + 3*t - 5 = d, -40 = 3*l + 5*t - 0*t for l.
-5
Suppose 2*q + q = -6. Let o be (4 - 32)/(q*1). Let w = 14 - o. Solve -2*j + 8 = 2*j, w = 4*m - 