
3
Suppose 12 = -2*f - 4*w, -f + 0*w - 6 = -3*w. Let i be 15/2*f/(-9). Let y be (-70)/(-15) - 6/9. Solve y*d = -0*d + 5*o, 3*d + i*o + 35 = 0 for d.
-5
Suppose 0 = 12*m - 2 - 34. Solve -m*v - 24 + 9 = -h, 0 = 3*h + 2*v + 10 for h.
0
Let x be (3 + 12 + -18)/(-1). Solve -x*m - 16 + 4 = 0, 3*m = -3*c - 21 for c.
-3
Let i be (-1868)/(-14) - 44/(-77). Let p = i - 129. Solve 0 = -p*h + d + 9, 3*h - 6 = 4*d + 13 for h.
1
Suppose -4*n - 10 = -2*q, -5*q = -2*n - q - 20. Let j be n/(0 + 2 + -1). Solve w = d - 6, j*w + 3*w - 4*d = -22 for w.
-2
Suppose 15 = -6*j + 69. Suppose -o + 4*o = j. Solve 2*m + x - 22 = -o*x, 3*x = -5*m + 20 for m.
1
Let o(d) = -2*d**3 + 13*d**2 + 6*d + 12. Let n be o(7). Solve n*y + 0*p - 5 = 2*p, 2*p = 0 for y.
1
Let v(h) be the second derivative of 5*h**3/3 + h**2/2 - 5*h. Let w be v(2). Suppose w = 2*t - 11. Solve t = -5*m - u + 2, 8 = -3*m - u for m.
-3
Let m = -259 + 264. Solve -4*l - 8 = 3*w, -2 = -w + m*w + l for w.
0
Suppose 0 = -5*k + 2*t + 5 + 1, 4*t = 8. Suppose k*a = -2*u + 10 - 40, 0 = -5*u + 2*a - 103. Let h = u + 22. Solve 0 = -r - p, h*r + 2*r = -p + 16 for r.
4
Let k = 254 - 250. Solve k*q - 2 = y + 7, 9 = 5*y - 2*q for y.
3
Let f be (-595)/28 + 1/4. Suppose -2*i - 77 = -3*x - 0*i, 3*x = -i + 83. Let c = x + f. Solve 3*s - c*h + 2*h - 29 = 0, -5*s + 20 = -h for s.
3
Suppose 0 = 3*j + 12, -2*k + 8 = 2*k + 3*j. Suppose k*d + 0 = 15. Solve 10 = -5*f + 5*w, -d*w + 27 = 2*f + 2*f for f.
3
Suppose -3*b - 4*q - 4 = 0, 4 = 3*b - 2*b - 4*q. Suppose b = 4*d + 5*m, -3*d + m + 27 = -2*m. Solve -r + 7 = 3*w - 1, 4 = -3*w + d*r for w.
2
Let c(s) be the first derivative of -3*s + 1/4*s**4 + 5 + 1/3*s**3 - 2*s**2. Let k be c(-2). Solve 2*m + 5*i = -3, -k = -5*m - 3*i - i for m.
1
Let y = -7 + 7. Suppose y*r = -2*r + 10. Solve 3*k + 3*v = -3, -5*k - r = -v - v for k.
-1
Suppose -3*v = -12*v + 36. Solve 0 = -b + v*s - 9, 10 = 2*b + s + 1 for b.
3
Let f be (3/(-2))/((-6)/8). Let j(t) = t**2 - 20*t - 6. Let k be j(23). Suppose -f*s = -19 - k. Solve 4 = -5*y + 5*x - s, -3*x + 32 = -4*y for y.
-5
Suppose 4*y - 5*v + 7*v - 26 = 0, -y = -3*v + 4. Solve -3*h + y*s - 21 = 0, 4*s + s - 23 = 4*h for h.
-2
Let d = -1687 - -1693. Solve x + 3*n - d = -2*n, -5*n + 9 = 4*x for x.
1
Suppose 3*o = o. Suppose o = -t - 6 - 2. Let j = 14 + t. Solve 0 = j*y - 3*y - 4*u + 14, -4*y - 6 = u for y.
-2
Let u(c) = c**2 + 5*c - 8. Let w be u(-6). Let m = w + 5. Suppose 8*r - 9*r = 0. Solve -2*v + 5*h = 3 + 3, r = m*v + h - 8 for v.
2
Let o be (-304)/2888 + 1 + 17/(-19). Solve -2*q + b + 6 = 0, o*q - 5*b = 3*q - 35 for q.
5
Let o be -1*(-4 + 3 + -4). Suppose 16 = -3*h - g, 14 = -3*h - 4*g + o*g. Let m = h + 8. Solve 0 = -3*a + 5*t - 23, a = 3*a + m*t - 10 for a.
-1
Suppose -8 = q - 6*w + 8*w, -4*q - 2*w = 8. Solve 0 = -5*z - q*t - t - 27, t - 18 = 4*z for z.
-5
Let q be (2 + -4 + -2)*1 - -8. Suppose -3*m = -2*m - 14. Suppose m - 4 = 5*g. Solve v = -3*v + g*y, 0 = -q*y - 8 for v.
-1
Let k = -42 - -47. Suppose 0 = 4*o - 2*g - 4, o - 4*g - k = 3. Solve 0 = f - 2*z + 1, -3*z - 1 + o = -4*f for f.
1
Suppose 3*k + 5 = -i + 12, -3*i + 9 = -3*k. Suppose i*d - 10 = 6. Solve -2*s - 5*l - 6 = -4*s, d*l = 0 for s.
3
Let v = -70 - -74. Solve r - 5*s + 0*s - 16 = 0, v*r = s + 7 for r.
1
Suppose 4*a + 2*j + 4 = 0, -2*a - j = -3*a - 7. Let s be 2 + 42/(0 + a). Let l = -10 - s. Solve 3*f + 3*c + l = -7, -f = 5*c - 5 for f.
-5
Let n(j) = -7*j - 57. Let p be n(-9). Suppose p = -k + 24. Solve -3*o + k = 3*s, -2*s = -5*s + 3 for o.
5
Suppose 2*d - 13 = -5*h + 3, 0 = 5*h - 10. Suppose 18*q - 5*c = 16*q + 10, -4*c = 3*q - 15. Solve 2*m + d*i = -0*i + 6, 5 = 5*m + q*i for m.
-3
Suppose a = u, 3*a - 10 = a - 3*u. Solve k = 4*i + 6*k + a, -5*i + 4 = 3*k for i.
2
Let a(x) = -x**2 + 10*x + 58. Let o be a(14). Solve 0 = -2*t + 8, -4*t = 2*c - o*t - 8 for c.
0
Suppose 0 = -17*x + 15*x - 68. Let r be -5 + (-168)/(-30) + x/(-10). Solve 2*u + 6 = r*k, 4*k - k = 2*u + 6 for u.
-3
Let j = -16 - -20. Suppose 0 = j*b - 9 + 1. Let n(r) = -2*r - 8. Let y be n(-5). Solve -4*i - 26 = 5*l, b*l + 0*l = y*i + 4 for l.
-2
Let u = -7 - -11. Suppose g = 2*v - 30, -u*v + 7*v + 3*g = 27. Solve -b + 0 = n + 1, 2*b - v = 3*n for n.
-3
Let s = -524 - -526. Solve 8 = s*o, 3*o - 5*o = -3*i + 4 for i.
4
Suppose 4*c - 3 = 5*c. Let o(g) = g**3 + 2*g**2 - 3*g - 4. Let h be o(c). Let k be (-3)/1 - h*3. Solve 4*y - k = j, 4*y + 7 = 3*j + 26 for j.
-5
Let i = -18 - -20. Suppose 0 = i*t - t. Suppose t = -p + 2*p - 5. Solve 0 = 5*y - p, h = -2*h - 3*y - 9 for h.
-4
Suppose -u = -2*s, 4*u = 4*s + 2 + 6. Solve -u*w - 1 = 5*v, -w + 5*v = w - 7 for w.
1
Suppose 5*r = -3*a + 56, 11 - 29 = -a - r. Suppose -26 = -a*x + 16*x. Solve 0 = 4*f - 2*t - 12, 4*t = -2*f - 0*f + x for f.
5
Let n(o) = -21*o - 204. Let y be n(-10). Solve -3*i = 5*v + 11, y*i - 2*i - 3*v = -5 for i.
-2
Let i be -1 + (6 - -4 - 4). Suppose 2*y = 3*j + 5*y - 24, 0 = -5*j + 4*y + 4. Solve -g - j = -4*a, -a + i*g = 3*g - 8 for a.
0
Suppose -2*o - 4*h + 84 = 0, 5*h = 3*h + 8. Let p = -34 + o. Solve u - 6*u + 5*f - 25 = p, -4*f = -2*u - 20 for u.
0
Suppose -2*q = 3*m - 24, -24 = -2*m - 7*q + 3*q. Suppose -m*r = -33 + 3. Solve 0 = 5*z - 0*z - r*f + 25, 2*z = 5*f - 13 for z.
-4
Suppose 24*y - 11*y = 18*y. Solve -t + y = 4*j - 1, -5*t - 4*j = -21 for t.
5
Let p = 8 + -4. Suppose 4*c - 51 = 5*t, 5*c = -3*t - t + 74. Suppose -5*q + 11 = 5*m - c, 5*q + m - 13 = 0. Solve p = -2*w + q*b, -3*w + b - 6 = 2*w for w.
-1
Let i = -22 - -32. Let a = -28 - -33. Let w = i - a. Solve 0 = -3*u - 9, 2 = -w*v - 3*u - 12 for v.
-1
Let a be (8/(-6))/(48/(-72)). Solve 4*p = 3*s - 4*s + 13, -a*s + 2*p - 4 = 0 for s.
1
Suppose -3*u - l - 4 = 0, -4*u = 3*l + 13 - 1. Solve -2*d - 3 = z, d + u = -3*z - 4 for z.
-1
Let s(p) = p + 15. Let t be s(-15). Let x be 6 + t + -4 + 3. Suppose -x - 7 = -3*l. Solve -5*c - u = l*u - 5, c + 5*u = -15 for c.
5
Suppose s = -r - 3, -11 = 4*r + s + 1. Let g be 2/r*((-4 - -4) + -12). Solve -g*a - 5*n + 32 = -4*a, -a + 2*n = 5 for a.
3
Let s be (141/282)/((-1)/(-2)). Solve -l - o + 2 = 0, 5*l - s = 2*o + 2 for l.
1
Suppose 3*n = -4*f - 3 + 7, -4*f = -2*n - 24. Solve -s - 4*s + 2*z = 11, 4*z = f*s + 4 for s.
-3
Let b be (-4)/30 - (-22)/165. Suppose b = -2*v + u + 26, 3*u - 6 = -3*v + 33. Solve -3*r + 29 = -4*o, 0*o + 2*o = r - v for r.
3
Suppose 3*q = 11 + 10. Suppose -5*y - 18 = -4*g, 0 = 10*y - q*y - 6. Solve 16 = 4*j + 5*n, 2*j - 4*n - 1 = g for j.
4
Let d be 7/28 - 550/(-8). Suppose 4*a - d = 3*q - 0*q, -66 = -4*a + 2*q. Let z = -12 + a. Solve p = 3*p + v - 10, 3 = 5*p - z*v for p.
3
Let f be 6 + 3*2/(-6)*3. Solve 0 = 4*d, -2*y + f = d + 11 for y.
-4
Let w(k) = -32*k + 173. Let j be w(5). Solve -2*z + 1 = 5*b, 5*z = -2*b - 0*b + j for b.
-1
Let n be (-9 - -10)/(1/2). Suppose -n = -5*j + 4*j. Solve 3*h - 11 = 1, -j*z + 16 = 2*h for z.
4
Let h = 1 - 1. Let r(n) = -n**2 + 16*n + 22. Let b be r(17). Suppose -4*t - 4*v = -0*t - 4, -4*t + b = 5*v. Solve -5*d - 7 = -t*d + z, h = 4*d - 2*z + 14 for d.
-2
Let v(a) = -a - 8. Let k be v(-10). Suppose -5*z + 27 = -3*u, z = 2*u + k*z + 5. Let l = u - -6. Solve -3*i + 5*x - 15 = 2*i, -15 = 5*i - l*x for i.
-3
Let k = -740 - -745. Solve 17*u - 16 = 15*u + k*m, -18 = 5*u + 2*m for u.
-2
Let h be ((-9)/(-12))/((66/(-48))/(-11)). Suppose -17*r - h = -19*r. Solve 0 = 2*j - r*z + 7, j - z + 4 = 1 for j.
-2
Let t(j) = 2*j**2 + 2*j - 1. Let o(p) = -2*p - 3. Let x be o(-2). Let k be t(x). Solve 0*h = -5*h + k*b + 19, -2*b = 6 for h.
2
Suppose 0 = 69*n - 74*n + 100. Solve -3*m - 4*v + n = m, 0 = -5*m + 4*v - 20 for m.
0
Let u = 2 + -5. Let w be (-149)/3 + 1/u. Let f be 3/(-18) + w/(-12). Solve 3*x + g + 6 = -x, 2*g + f = 0 for x.
-1
Let u(m) = m**3 - 8*m**2 + 6*m - 42. Let q be u(8). Solve -i = -2*n - q, 4 = 4*i - 2*n - 2*n for i.
-4
Suppose 2*q = -3*q + 50. Let f = -836 + 836. Solve f = -2*c + z - 4, 2*z = -5*c + 4*z - q for c.
-2
Let g = 35 - -62. Let v = -93 + g. Suppose -3*y + y = -8. Solve 5*z = -4*x + 4*z + 8, -4*z = y*x + v for x.
3
Let o(q) = 0*q + q + 16 - 41 + 18. Let x be o(7). Solve 0 = u - 5*b - 15, x*b + 14 = 2*u - 2*b for u.
5
Let s = -12 - -6. Let z be (-3 + -4 + 1)*2/s. Solve -2*x + 1 = 3*h, 0 = -2*h + h + x + z for h.
1
Suppose -12*a + 25*a - 39 = 0. Let q = 1 - -2. Solve 10 = -a*s + s + 4*h, -9 = -q*s - 2*h fo