37/63. Solve -5*y - 4*h + 31 = -9, -i = 3*y - 5*h for y.
4
Let l = -4 - -16. Suppose 4*k - l = -4*p, -k - 3 = p - 2*k. Solve -2*q + 5*a - 24 = p, -14 = -q - 2*q - 5*a for q.
-2
Let a(f) = -f**3 + 7*f**2 - 5*f + 9. Let y be a(6). Let i(r) = -r + 14. Let w be i(12). Let k be 13/65 - w/10. Solve 5*p - 3*l = 4 + 5, k = 3*p - 5*l - y for p.
0
Let k be 2/(-6) - (-66)/9. Suppose 0*n = -2*n - 12. Let p(b) = -b**2 - 6*b + 4. Let c be p(n). Solve z = m - c, 2*z - 26 = m + k*z for m.
-1
Suppose 0 = -d - d + 26. Solve -2*x - 4*t - 16 = 0, -1 + d = -4*t for x.
-2
Let v = 34 + -18. Suppose 0 = -5*w - 2*y + 31, -w + v - 5 = 2*y. Suppose 4*h = w*h. Solve h = -x + 4*a + 7, 9*a + 8 = x + 4*a for x.
3
Let d(t) be the first derivative of t**3/3 - 4*t**2 + 12*t - 4. Let n be d(7). Solve 0 = 4*j + j - 10, -5*w - n = 5*j for w.
-3
Let t be 57/38*44/3. Solve 3*o - 8*o = -f - t, -3*o + 3 = -4*f for o.
5
Let f be (3 - -9)/2 - 1. Suppose 5*k = 2*z + 12, f*k - 6 = -z + 3. Solve -3*p = -2*x - 25, 3 + 2 = x + k*p for x.
-5
Suppose -2 = -2*g + g. Let a = 41 + -25. Suppose -44 - a = -4*x. Solve x = 5*k, g*b - k + 12 = k for b.
-3
Suppose 0 = 2*g - g + 6. Let r(p) = -2 + p - 2 - 2*p. Let n be r(g). Solve 0 = u - 0*u + n, 5*u = -4*m - 14 for m.
-1
Suppose 4*s - 6 = 2*s. Solve -5*f - 26 = i - 0*i, -3*f = -s*i + 12 for i.
-1
Let q be ((-3)/(-2))/((-3)/(-4)). Suppose 5 = -3*m + q*r, 3*m + r + 30 = -2*m. Let u be (-6)/m*60/18. Solve -5*l - 2*c = -6, -5*c + u*c + 3 = 4*l for l.
0
Let m be (10/25)/(1/5). Suppose m*u - 132 = -2*u. Solve -u = -d - 5*j - 12, 5*d = j + 1 for d.
1
Let g(w) = w**3 + w**2 + 2*w. Let z be g(0). Suppose 3*f - 5*f - 2 = 0. Let h = f - -5. Solve 9 = 3*d + h*x - 8, -2*x + 4 = z for d.
3
Let i = 3 + 1. Suppose s = -2*m + i*s + 13, 0 = -2*m + 5*s + 11. Solve m = 4*x + 4*v - 0*v, 10 = -5*v for x.
4
Let z(x) = x**2 - 2*x + 3. Let m be z(-3). Let b = 34 - m. Suppose 0*p = 2*p - 6. Solve w - 2*w = 3*c - b, -p*w - 22 = -5*c for w.
1
Let a = 22 + -22. Solve -3*s - 3*g - 21 = a, -5*g = s - 2*s + 11 for s.
-4
Suppose 0 = -5*n - 4*x + 22, -3 = 5*x + 7. Solve -4*m + 3 = -5*v - 16, 0 = -v + 3*m - n for v.
-3
Suppose 10 = 5*c - 0*c. Suppose 3*t = 2*t + 5, 3*z - 10 = -c*t. Solve 2*v = -z*f + 3*f - 10, 4*v + 20 = 0 for f.
0
Let t be (-8)/3*(-3)/1. Suppose -4*n + 5*n - t = 0. Let d = n - 4. Solve -d*j + 45 = -5*m, 2*j - 25 = -2*m + 5*m for m.
-5
Suppose o - 2*h = -4*o + 28, 5*h = 4*o - 36. Suppose 0 = o*y - 0*y. Suppose y = 2*r + 2*r - 8. Solve 5*d - 25 = -5*z, 6*d - 5*d - 10 = -r*z for z.
5
Suppose 0 = -4*g - 8 - 8, -5 = -5*i - 5*g. Suppose 3*v - 33 = v + 3*n, -n - 39 = -2*v. Solve -i*w + v = a, -w - 2 = -a - 11 for a.
-4
Suppose 0 = 3*g - 6*g + 42. Let l(j) = j**2 - 14*j + 4. Let w be l(g). Solve w*v = -4*s, -2*v + v = 4*s - 15 for s.
5
Let l = -126 + 130. Let o(a) = a**2 - 7*a + 4. Let x be o(7). Suppose c + 3*s = x, 4*c - 16 = -s - 3*s. Solve -2*t - 16 = -c*u - 6, l*u - t - 11 = 0 for u.
3
Let o be (16/(-24))/(1/(-3)). Solve -4*t = -4*s - 8, o*s + 8 = 4*t - 2 for s.
1
Suppose 0 = -4*f - 3*k + 7, -35 = -3*f + 3*k - 14. Solve 0 = -5*w - 3*j + 20, j = -f*w + 1 + 8 for w.
1
Let c = 2 + 0. Suppose 12 = c*y + y. Solve 0 = y*a + 3*b - 0*b - 1, 0 = -3*a + 3*b + 27 for a.
4
Let r be 0/((-4)/8*-4). Solve c + 5*y + 8 = -r*c, -3*c = y - 4 for c.
2
Let o be (4/10 + 0)*5. Suppose o*n - 2 - 8 = 0. Solve -n*j - s + 13 = 0, 4*j + 8 = 4*s + 4 for j.
2
Suppose 0 + 2 = o. Suppose -4*t + 2*a = -20, 12 + 0 = 2*t - 2*a. Let w = t - 3. Solve -1 = k + 2*c, -o*k + k + c = w for k.
-1
Let m(b) = 4*b**2. Let h be m(1). Solve -4*j + x + h = -9, 3*j + 3*x - 6 = 0 for j.
3
Suppose -2*j + 4*q = -24, -2*j - 4*q - 36 = -7*j. Solve 0 = -t - 0*t + 4*z, 0 = -j*t + 2*z + 14 for t.
4
Let t be (0 - 2)/(2/(-3)). Let p(s) = s**3 - 2*s**2 + 2*s - 2. Suppose -2*d + 10 = 3*d. Let w be p(d). Solve -t*j + 14 = g, -5*j + 23 = -w for g.
-1
Suppose -37 = -5*r + 83. Solve -s + 0*s - 4*l - 9 = 0, -3*s + 5*l + r = 0 for s.
3
Suppose 6*g = 23 + 37. Let y(d) = d**2 - d - 2. Let u be y(0). Let f(o) = -4*o - 1. Let j be f(u). Solve -3*q + 4*t = -g, j*q + 2*t = 3*q + 6 for q.
2
Let g = -7 - -11. Suppose a = -5*a + 252. Suppose 30 = 5*w + 2*x, -x = g*w - a + 15. Solve -6*l + l = -3*o - 8, -o = l - w for l.
4
Suppose -o = -3*w + 15, 16 = 3*w + 3*o - 11. Solve m - 3*f + w = 0, 2*m - 9 = -0*m - f for m.
3
Let b(d) = -d**2 - 7*d + 5. Let j be b(-7). Let t be (-528)/14 - (-2)/(-7). Let k = 60 + t. Solve 0*v + v - 10 = 3*z, 0 = 3*z + j*v + k for z.
-4
Let g = -3 + 6. Let q = -71 - -89. Solve -4*z + 18 = -0*z + u, 3*z + g*u = q for z.
4
Suppose -27 = -5*f - s, 2*s = -f + 5*f - 16. Suppose f*c - 3*c - 4 = 0. Solve -5*a - 5 = 2*u, -2*a + 0 = -2*u + c for a.
-1
Let x be 20*7/14*2/4. Solve n = -5*u + u - 11, -x*n + u = 13 for n.
-3
Let k be (-2 - (-26)/4)*2. Let t be (-2)/k - (-990)/81. Solve 4*m = -3*p - 12 + 34, 4*p = 5*m - t for m.
4
Let r be (-4)/(2 + 32/(-12)). Solve -3*d + 4*c + r = 8*c, 3*c - 11 = d for d.
-2
Suppose -2*n + n + 12 = 0. Let v(j) = j**2 - 12*j + 4. Let m be v(n). Solve 5*l - 4 = -2*p + m, -3*p + 4*l = -12 for p.
4
Suppose 5*g = 5*a - 35, -5*g = 2*a + 1 - 8. Suppose p + 1 = -a. Let o = 7 + p. Solve x = 3*t + 10, 0 = -3*t + 5*x - o - 2 for t.
-4
Suppose 0 = -2*h + t + 3, 0 = 2*h - 0*h + 4*t - 18. Let v = 17 + -4. Solve 5*r + q = v, h*r + 0*q + 4*q - 1 = 0 for r.
3
Let t = -139 + 143. Solve -22 = -4*f + 5*i, t*i - 2 + 1 = -3*f for f.
3
Let p(d) = -d**2 + 5*d - 5. Let t be p(5). Let g = t - -7. Suppose 11 = 2*l + 3. Solve -g*r + 7*c - l*c + 1 = 0, c = -1 for r.
-1
Let w(y) = -y**2 + 5*y + 1. Let r be w(4). Suppose -60 = -0*c - r*c. Let m be 6 - 3 - (-13 + -3). Solve 2*h = -3*d - m, -c = 4*h + d + 11 for h.
-5
Let v(t) = -t**3 + 7*t**2 + t - 3. Let z be v(7). Solve -2*p + 14 = -4*b, 0 = b + z*b + 2*p + 31 for b.
-5
Let w be (2/(-5))/((-5)/25). Solve -w*p + 10 = 0, 4*b - 4 + 29 = 5*p for b.
0
Let a = 45 + -44. Solve a = 5*l + 4*z + 6, -4*z + 3 = -3*l for l.
-1
Suppose 2*a = 4*t - 10, -1 = 4*t - 3*a - 12. Let q = 7 - 7. Let m = q + 3. Solve m*x = -t*r, -5*r + 9 = -0*x + 3*x for r.
3
Let p be (-6)/(-9) - 50/(-6). Suppose 0 = -3*y + p + 18. Solve 1 - y = -2*o - 3*u, 0 = -u + 4 for o.
-2
Suppose 2*s + 3*y - 12 = -s, 5*s - y - 20 = 0. Solve -2 = s*q - 5*b, -3*q + 0*q = 3*b - 12 for q.
2
Let k = 1 - -7. Solve w + k = 3*f, 0 = -2*w + 1 + 1 for f.
3
Let f be (-1)/(-4) - (-237)/12. Suppose 0 = -4*u - f, 0*u = 5*s + 5*u + 10. Solve -6*l + 4*w + 8 = -2*l, 0 = -5*l + s*w + 6 for l.
0
Let q be 0/(6/2) - -4. Suppose -v - v + q = 0. Let w be v/(-2*(-3)/15). Solve -4*h + 2 = w*i + 17, 0 = -4*h - 3*i - 17 for h.
-5
Suppose -m + 20 = -6*m, -3*m - 20 = -2*j. Let o(n) = 5*n + 3. Let u be o(j). Let k = -13 - -19. Solve l - 3*l + k = 2*a, -3*a + u = -4*l for l.
-2
Let c = -8 - -17. Let n = -29 - -42. Let o = 7 + n. Solve -a + 25 = 4*b - c*b, 4*b + a = -o for b.
-5
Let j(y) = -y**2 - 6*y + 3. Let p = 6 + -12. Let h be j(p). Solve -h = -3*f + 2*m + 10, 4*f - 3*m = 17 for f.
5
Suppose 5*x + 5*z - 23 = 2, 2*z - 10 = -4*x. Suppose x = -3*c - 2 + 8. Let f be c - -6 - (4 - 1). Solve f*h - 5 = 5*q, -q + 0 + 2 = -4*h for q.
-2
Let n(x) = x**2 + 9*x + 11. Let d be n(-8). Let v = -31 + 42. Solve 4*w - 3 + v = 0, 4 = d*q - 2*w for q.
0
Suppose r - 4*r - 69 = -2*i, -5*i = -15. Let w(s) = -2*s**3 - s**2 + 1. Let x be w(1). Let k be r/x + (-2)/4. Solve 25 = -4*q - 5*l, 2*q + 5*l + k = 3*l for q.
0
Let u(n) = -n + 8. Let q be u(7). Let d be q/3 + (-88)/(-6). Suppose -4*g = g - d. Solve -5*m + 20 = 5*i, -2*i - g*m + 7*m = -2 for i.
3
Let o be (-5)/20*(-13 + 1). Suppose 1 = n - o. Solve -c - 4*z + 6 = -1, n*c - 3*z + 29 = 0 for c.
-5
Let u be 1/((-5)/(-2) + -2). Solve 4*k = -j - 20, 0 = 2*j + k + u + 3 for j.
0
Let o = -113 - -115. Solve -b = 2*i + 2, -o*b - 1 = -0*b + 3*i for b.
4
Suppose 2 = 5*d + 7. Let k be ((-2)/1 + 0)*d. Suppose q + o = -6 + k, -20 = -3*q + 5*o. Solve 0 = -3*r + 5*j + 26, q = -2*r - j + 3*j + 12 for r.
2
Let i be 11*3/6*2. Solve 3*s = 2*c + c - 18, 2*c = s + i for c.
5
Let n be ((-5)/2 + 3)*8. Solve 4*j = 3*y + 8, n*j - y + 5*y - 8 = 0 for j.
2
Let v = -11 + 23. Let r(p) = p - 1. Let h be r(-5). Let j = v + h. Solve 2*s - 4*i = -18, 3*s - 2 - j = -i for s.
1
Let y(c) = c**2 - 8*c - 3. Let p be y(9). Suppose 2*m = p*m. Solve m = -4*w - 2*z