-2*y - 10. Suppose 4*s + y*t - 28 = -4*t, 0 = -2*t. Solve u = h, 5*u + 5 = 2*h - s for u.
-4
Let c = 0 - -14. Let z = c - 2. Suppose -u - 8 = -3*p, 5*u - u - z = p. Solve 4*q - 30 = r - 7, 5*q - 37 = u*r for q.
5
Let o(s) = s**2 - 8*s + 35. Let h be o(6). Solve -a = k - 3, 3*a - 6*k - h = -2*k for a.
5
Suppose 2*a + 0*a - 10 = 0. Suppose -3*j - a = -35. Let n be 2*(0 + 15/6). Solve 3 = 3*b + v + j, 3*v - 21 = n*b for b.
-3
Let r(f) = 2*f**2 - 44*f - 42. Let d be r(23). Solve d*q = -2*b - 0*q - 4, -2*b - 2 = 3*q for b.
2
Suppose -170*q = -174*q. Solve 2*r - 4*a - 12 = 0, -30 = 5*r - q*r + 2*a for r.
-4
Let g = -25 - -28. Let p be 3/(g/68) - -4. Suppose 5*c - 128 = p. Solve -5*f + c = -3*x, -f - 10 = 4*x + f for x.
-5
Let w be (-1*1)/((-1)/5). Let m be 3/w*5 + 3. Solve -9 = 5*v - 2*q, 0 = v - 3*q - m for v.
-3
Let j = 110 - 114. Let z be 4/6*3/2. Let w = z - j. Solve 14 = -2*y + 4*h, 4*h + 17 = 4*y + w*h for y.
3
Suppose 3*a + 15 = u - 2*a, -7 = -3*u - 4*a. Suppose 0 = 5*w + 2*d - 18, 0 = -u*d - 5. Solve 5*i = -4*z + 24, 4*z - w*i + 13 = z for z.
1
Suppose -4*b + 5 = -w, -7 = -5*w - 3*b + 14. Solve 2*y = c + 4 - 2, -w*y + 3 = 5*c for c.
0
Let k = -1713 - -1715. Let z = -1 - -1. Let c be 5 + (-1)/(-1)*z. Solve -2*o = 3*b - 13, -c*o - k*b + 5*b = -22 for o.
5
Suppose 2*o + 80 = 5*v, v - o - 8 = 5. Let s be 3*3/(v/170). Let p be (-2)/16 + s/40. Solve -2*y - 2*k = -14, -2*y = 3*y + p*k - 23 for y.
3
Let n = 22 - 45. Let f = n - -36. Solve -l - 4*v + 0 = -f, -2*v = 5*l - 29 for l.
5
Suppose 42*u = 27*u. Solve 3*n + 2*m = -u*n, -5*n + 2*m = 0 for n.
0
Suppose -3*c = c. Let p be 3/2 - (-57)/2. Suppose 3*b - 66 = -3*k, -p = -2*b - 2*k + 7*k. Solve 4*x = i + b, c*x + 2*x - 10 = -3*i for x.
5
Let q(v) = -2*v - 28. Let s be q(-17). Let d be 85/s + 10/(-60). Solve 8 = -2*u + t, -2*t = -u + t - d for u.
-2
Suppose -3*w - 21*w + 72 = 0. Solve n + 2*t = 6, -5*n + w*n + 10 = 2*t for n.
4
Let n(u) = -16*u + 4. Let d be n(4). Let z = 60 + d. Suppose 2*v - 3*v = f - 19, 4*v - 2*f - 46 = 0. Solve o + 3*m - 1 = -z*m, -4*o = 3*m + v for o.
-5
Suppose 0 = -14*z + 17*z + 18. Let x be 1 + -1 + 3 + z + 23. Solve 0 = u + 3*g + 9, 2*g = -3*g - x for u.
3
Let o(u) = 3*u + 5. Let n be o(5). Suppose 79 = -2*f + 5*t + 107, 3*f - t = 16. Solve -w - 3*w = -f*r + n, 0 = -4*w + 3*r - 20 for w.
-5
Suppose 84*r - 20*r - 320 = 0. Solve 3*n + 3 = 0, 6*n + 8 = r*p + 8*n for p.
2
Let m(y) = y**2 - 6*y + 1. Let h be m(7). Let n(z) = z**3 - 7*z**2 - 5*z - 2. Let j be n(h). Solve 5*v + 20 = 3*x, 0 = 5*v + 3*x - 2 + j for v.
-4
Let k(s) = s - 6. Let l be k(8). Suppose -6 = -l*i - 0*i. Solve -i*g = u + 3*u - 15, -2*g = -2*u - 10 for u.
0
Let p(c) = -27*c - 95. Let j be p(-4). Solve -3*s - 20 = s, 0 = -2*u - 3*s - j for u.
1
Let f be -3 - (-171)/21 - (-1)/(-7). Solve -f*y + 5*r = r, -y = -4*r - 16 for y.
-4
Suppose 26 - 16 = 5*d. Suppose d*q - 4*m + 34 = 7*q, 4*q = -5*m + 29. Solve 4 = 4*i + n - q*n, -5*i - 8 = -3*n for i.
-4
Let m(x) = x**3 + 10*x**2 - 3*x + 11. Let p be m(-11). Let q = p + 88. Solve 0 = 5*s - n - 9, -6*n + 3*n - q = s for s.
1
Let v be (-504)/(-84) - (-3 + 0). Solve v = 2*i + r, 4*i = -4*r + 7*r - 7 for i.
2
Suppose 5*v - 2*v = -3*j + 9, 18 = 5*j + 4*v. Let b(t) = -t**2 + 6*t + 3. Let z be b(j). Solve -2*m + 3*w - 10 = -z, -4*m + 3*w = 17 for m.
-5
Let a = 13 - -38. Suppose -16 = 5*m - a. Let b = 0 + m. Solve 0 = 4*v - b*v + j - 15, v + 5*j = -5 for v.
-5
Suppose -8*q = -10*q + 22. Suppose -q = -2*y - 1. Let c be ((-55)/(-10))/(2/4). Solve y*l + 2*b = 5*b + c, 15 = 5*b for l.
4
Suppose 2*w + 41 = -125. Let u = w + 83. Solve 13 = m - 3*h, -3*m + 19 = -u*m - 4*h for m.
1
Suppose 4*n - 5*n = -1. Let h be (-5*(-9)/15)/n. Solve -h*m + 4*m = 2, 3*m = 3*j - 9 for j.
5
Let t = 14 + -13. Suppose 3*y + 4*a = -0 + 20, 4*y = 4*a - 20. Solve -4*v - 5*u + t = -y, 4*v = 2*u + 22 for v.
4
Let z = -132 + 134. Suppose -d + 3*h - z = 8, h = 2*d. Solve 0*u - 3*m = 3*u + 9, d*u - 2*m - 14 = 0 for u.
2
Suppose -z = z - o - 20, 2*o + 24 = 2*z. Let l = -4 + z. Let u be 1/((4/2)/l). Solve 3*h - u*i = -1, -2*i - 8 = -h - 3*i for h.
3
Suppose 4*u + 3*n - 59 = 0, -5*u + 94 = n - 4*n. Solve d - u = -d + 5*b, 5*b + 10 = -5*d for d.
1
Suppose -76 = 3*v + 5*t, -t = 2*v - 5*v - 82. Let u be (-18)/v + 20/6. Solve 3*f + 2*k = -2, k + u = -0*k for f.
2
Suppose 9*s - 16 = 2. Solve -4*a - 15 = 3*b + 2*b, 2*a - 6 = s*b for a.
0
Let l(v) = 2*v + 91. Let w be l(-44). Solve 0 = 3*g - 4*g - 3*z - 5, 5*g = -w*z - 13 for g.
-2
Let b be 16/5 + (-100)/(-125). Solve b*m + 3*z + 7 = 19, -5*m = -z - 15 for m.
3
Let l be (117 - (-4 - -2)) + -1. Let t(v) = -v - 11. Let a be t(-11). Suppose 3*i - 5*i + 4 = a, 5*h - i = l. Solve 3*b + b - k = -14, 2*k = -5*b - h for b.
-4
Suppose s - 20 = -0*s. Suppose -2 = -2*z + z. Let h be (13/5 - z)*5. Solve m = -w - 5, h*w - s = -m + 5*m for w.
0
Suppose 5*i - 2*b = 29, -24 + 39 = i - 5*b. Suppose -3*a = -5*a + 3*g + 43, -105 = -5*a + 5*g. Solve i*p - a = 0, k + p = 4*k + 4 for k.
0
Let k be 5 + -3 + (-2 - 0). Suppose k*x - x + 4 = 0. Suppose -5*u + 0*u + 5*v = -100, -x*u = v - 75. Solve -3*r - 19 = -2*f, -r + 3*f - u + 1 = 0 for r.
-3
Suppose -12 = -o + 7. Let m = 2 + o. Let f = m - 3. Solve -u - 2*u + 5*c = -4, -5*u - f = 4*c for u.
-2
Suppose -7 = -2*o - 3. Let a be (0 - 6/(-3))*13. Suppose 3*f + 6*n - a = n, -2 = f - n. Solve 2*q = j + o*j + 21, -11 = j - f*q for j.
-5
Let m = -21 + 23. Suppose m*t + 7 - 17 = 0. Solve 0 = -4*p - t*u + u - 4, 4*p = 4*u - 36 for p.
-5
Let j = 1195 + -1192. Solve -2*z - 4*p - 15 = 3*z, 0 = j*z + 2*p + 9 for z.
-3
Suppose -2*y = 3*x - 0*x - 27, -2*x + y = -18. Suppose x*f - 41 = -5. Solve 13 = -3*n + 4*u, -6*n + 4*n - 2*u = f for n.
-3
Let o(v) = 7*v - 100. Let u be o(15). Solve u*t = 3*d - 11, d = -3*t - 3*d - 24 for t.
-4
Let q = -771 + 1192. Suppose -4*j + t + q = 0, j + 2*t - 65 = 38. Let g be 2/4 + j/6. Solve 0 = -2*f - 3*m - 11, 4*f = -0*m - 2*m - g for f.
-4
Let q(h) be the first derivative of h - 1. Let n(c) = c + 2. Let i(g) = -n(g) + 4*q(g). Let a be i(-2). Solve -d - 3*m - a - 1 = 0, 2*m = d - 10 for d.
4
Suppose -w + 16 = 4*y, w + 13 - 4 = y. Solve -f = u, -f = 3*f + y*u + 2 for f.
2
Let l = 46 - 24. Let f = l + -21. Let n be f/(152/50 + -3). Solve -3*o + 4*o + 5 = 0, n = -4*y - 5*o for y.
0
Let h(p) = p**3 - 10*p**2 + 7*p + 32. Let x be h(9). Solve -u = 2*o + 1, -4*o - x = -3*u - 37 for o.
2
Suppose 0 = 12*k - 9*k + 12. Let v be 4*(-11)/(-6) - k/6. Solve -2*a + v = 0, -5*n + 9 + 0 = -4*a for n.
5
Let o = -1343 + 1348. Solve 5*f = -o*m + 15, -3*m + 4*f + 13 = -2*m for m.
5
Suppose -10 - 70 = -20*s. Solve 5*i + 5*m + 8 = s*m, -3*m - 13 = 4*i for i.
-1
Suppose -6*l = -2*l + 156. Let i = l + 3. Let j be (-2 + 0)*i/24. Solve -3 = 3*q - j*d, 4*q + 2*d = -0*q - 10 for q.
-2
Suppose 0 = -s, 0 = 5*k - s - 0*s - 40. Let w be ((-3)/(9/(-4)))/(5/(-15)). Let n = k + w. Solve 4*v + 19 = 3*l + 54, n*v = 20 for l.
-5
Let j(v) be the first derivative of 2*v**2 - v - 10. Let i be j(2). Solve -2*x + x + i = 3*o, -4*o = -2*x - 16 for x.
-2
Let l be 16 - (12 + -7) - 4/1. Solve 4*m + 2*w - l = -3, 2*m = 4*w + 12 for m.
2
Let a(f) = f + 9*f**2 - 8*f**2 + f + 4*f. Let h be a(-6). Let u be 1*(-2)/(-2 - h). Solve -3*o - 2 - 3 = m, 3*o + u = -2*m for o.
-3
Suppose 0 = 5*p - 26 - 49. Suppose 4*j - 2*j = 3*c - 25, 0 = 3*j + 15. Suppose 5*s = -5*o + c, 2*o + o + 6 = 0. Solve -q = -s*d - p, 3*d + q + 0*q = -15 for d.
-5
Let h = 4 + 6. Suppose 2*a - 4*l = -0*a + 28, -2*l = h. Solve 2*p - a = 4*p + 2*q, -p - 7 = -4*q for p.
-3
Let w(r) be the first derivative of r**4/4 - r**3/3 - r**2 + 5*r - 9. Let b be w(0). Solve -q - 6*z + 2*z = 8, -4*q = -b*z - 31 for q.
4
Let w be ((-9)/4)/(10/(-40)). Let m = 11 - w. Suppose 3*y + m*y = 50. Solve -5*k = -y*k, -5*k = 4*z for z.
0
Let m(h) = h**3 + 2*h + 6. Let i be ((-4)/(-6) - 2/3)*-1. Let y be m(i). Solve 0 = 3*u + 3*x - y, -1 = -0*u - u - 2*x for u.
3
Let p be (-6)/9 - (-2 - (-52)/(-6)). Suppose l + 3*n = -3, -3*l + p*n - 7*n + 3 = 0. Solve l = q + q - 3*g + 6, -q - 4*g + 19 = 0 for q.
3
Let n(f) = f**2 + 2*f - 1. Let k be n(-4). Suppose 4*a - k = -35. Let b = a + 11. Solve -g + b*y + 23 = 0, -y - 4*y = 2*g + 19 for g.
3
Let x(g) = -g - 1. Let v be x(-6). Let t(a) = -a**3 - 24*a**2 - 22*a + 25. Let k be t(-23). Solve -v*q + 3*d 