(-15) - (-10)/3. Suppose 4*t - 9*h = -f*h + 21, -11 = -3*t - h. Solve -4*r = -3*v - 5*r + 11, 2*r - t = 0 for v.
3
Suppose -4*w = -5 - 3. Suppose -32 = -w*y - 0*d + 4*d, 2*d = -2. Let s = y + -11. Solve 2*n = -8, s + 2 = -5*q - 5*n for q.
3
Let o(a) = -a**2 - 21*a + 8. Suppose -30 = 3*f + 30. Let j be o(f). Solve 4*i + 4*m = j, 5*m - 14 = i + i for i.
3
Suppose -6 = 3*x - 15. Let g(a) = a - 1 + x + 2 - 5. Let m be g(6). Solve 3*p - 3*n + 3 = 0, 2*p + m*n = 4*n + 7 for p.
2
Let q(g) = 0 - 2 - g**2 + 8 + 5*g. Let u = -878 + 884. Let h be q(u). Solve h = -2*y - 4*j + 16, j = 5*y - 0*j - 7 for y.
2
Let i(x) = 4*x**3 - 52*x**2 + 4*x - 52. Let k be i(13). Solve 4 = -3*m + 2*o + 15, -4*o - 16 = k for m.
1
Suppose 0 = p - 2*i + 3, -9*p - 3*i = -14*p + 13. Solve 0 = p*l + 3*t + 22, -5*l - t = 4 + 10 for l.
-2
Suppose 5*k + 4*m = 3, 23*k + 4*m = 22*k - 9. Solve -4*i + 2*u = 14, 4*i + u = k - 8 for i.
-2
Let s = 11 + -9. Suppose s*l - 3*l = -2. Suppose -l*i = 3*i - 55. Solve -3*w + x = -i, -3*w - x + 5*x = -17 for w.
3
Let o(y) = -y**3 + 8*y**2 - 4*y - 3. Let v be o(7). Suppose 0 = -4*n + 3*a + 57, 0 = -n + 2*a + v. Solve 0*t - 3*t = 3*x - n, -4*t + x + 11 = 0 for t.
3
Suppose -4*s = -0*v + v + 6, s - 8 = -5*v. Solve 5*w - 5 = -4*c, -v*w - c = -6*w - 17 for w.
-3
Suppose 4*b - 8*b = 0. Suppose -a + f - 19 = -6*a, b = -2*a + 5*f + 13. Let p = 9 + 4. Solve 2*l = 2*h + 4, a*h = -2*l - 13 - p for l.
-3
Let u be 88/(-6 + 17)*(-6)/(-4). Let v = 1 + 1. Solve 3*f = g + v*g + 18, -g + u = 5*f for g.
-3
Let n(i) = 2*i**2 + i + 4. Let w be n(0). Let v be (-6)/3 + 0 + w. Solve -4*y + 5*k + 30 = -0*k, v*k = 2*y - 14 for y.
5
Suppose -2*j - 5*s = 3*j - 5, j = -2*s + 3. Let x = 4 + -2. Let w be x - (-3 - (j - 4)). Solve -i - 3*i + g + 5 = w, 4*i - 10 = 2*g for i.
0
Let t be (-7)/(-5)*(-15)/3. Let o be (-6)/(-27) - (14/(-9))/t. Solve -3*h + r = -7 - 6, o = -3*h - 4*r - 7 for h.
3
Let n(o) = 10*o - 48. Let c be n(5). Solve -v = 2*z + c*z - 14, z - 11 = -4*v for v.
2
Let j(w) = w**2 - 14*w. Let t be j(14). Suppose t = 6*n - 5*n. Let q(c) = c + 5. Let p be q(-5). Solve b - 5*s + 9 = p, -3*b + 3*s - 3 = -n for b.
1
Suppose 4*v + 1 = 13. Let j(r) = -2*r**2 - 9*r - 7. Let o be -1*(4 + 2 + -3). Let y be j(o). Solve -2*b + q + 1 = 0, q = 5*b - v*q + y for b.
2
Suppose 5*y + 2*o - 7*o - 55 = 0, 3*o - 15 = -5*y. Suppose 2 = -4*k + y. Let w = 1 - k. Solve w = -2*q + 3*g + 13 - 3, 0 = -g for q.
5
Let c(i) = -i**2 + 7*i - 6. Let t(m) = -m + 19. Let d be t(15). Suppose -d*p + 4 = -20. Let o be c(p). Solve -5*z + 4*s = -0*s - 22, o = 2*z - 4*s - 16 for z.
2
Let t(a) = a**3 - a**2 + a + 8. Let o be t(0). Suppose 0 = 7*f - o*f. Solve 0 = 2*g + 4*y - 18, f*g - 5*y + 9 = -2*g for g.
3
Let o = -29 + 31. Let i be (-1 + -3)/(o/(-20)). Solve -n + k + 3*k = 25, 5*n - 3*k = -i for n.
-5
Let s be (-9)/(-12) + (-111)/(-12). Suppose -13*w + s*w = -9. Let k be 3*((-16)/3)/(-4). Solve c = -2*x - 7, -k*x = -2*c - w*c - 7 for x.
-2
Let l(g) = -2*g**2 - 10*g + 11. Let z be l(-6). Let d be -3 - (z + -6*1). Solve 0 = -3*m - d*w + 4, -4*m + 5*w = w + 32 for m.
-4
Let n be (6/5)/((-3)/10). Let o be (-19)/((-2)/n*-2). Suppose -o - 5 = -2*d. Solve -i - 8 = 4*u - 0*i, 4*u + 2*i = -d for u.
-1
Let m be (3/1)/(1/5). Suppose -2*i - 3*i + m = 0. Let s be (41 - 28)*(-30)/(-78). Solve 0*a - 4 = -s*a + i*j, -2*a + j = -2 for a.
2
Let i(s) = -4*s - 9. Let r be i(-7). Suppose -14*h - 10 = -r*h. Solve 0 = -p - g + 1, -h*p - 2*p - 24 = -3*g for p.
-3
Suppose 13*n - 76 = 119. Solve -3*q + 12 = 4*o - q, 2*q + n = 5*o for o.
3
Let x be (-9)/(-15) + 26/(-10). Let g = 12 - x. Solve -2*a + g = f, -4*f = -2*f + 2*a - 18 for f.
4
Let v = 393 + -388. Let p(q) = q - 3. Let f be p(3). Solve f = -5*t + 4*n - 10, -4*t + v*n = -t + 6 for t.
-2
Let y = 9 - 7. Let u be 0/((-1)/(-2)*y). Suppose 4*f - 16 = -u*f. Solve 4*v - t = 2*v + f, -5*v = -3*t - 8 for v.
4
Let u be (24 + -4)/((-3)/((-6)/4)). Suppose 3*a + 8*c - 22 = 6*c, -2*c = a - u. Solve -j - 3*y = -7*y - 12, j + 5*y + a = 0 for j.
4
Let r = 39 - 92. Let p = -31 - r. Solve -3*j + 3*i + 10 - 1 = 0, -4*i = j + p for j.
-2
Let t = -501 - -502. Solve 5*y = -2*u + 4 + t, -3*u + 5*y - 30 = 0 for u.
-5
Let r(b) = -b**2 - 8*b + 14. Let w be r(0). Solve 2*f = -2*f - 3*z + w, -2*f = -2*z for f.
2
Suppose 4*g + 2 = 5*g. Suppose -1 = -g*f + 23. Let o = 0 - -3. Solve b = 5*t - 8, o*t = -2*b - t + f for b.
2
Suppose 79*b - 74*b = 0. Suppose 3*c - 4*c - 31 = -4*w, -2*w + c = -17. Solve 5*j = n - 25, b = 4*j + n + 13 + w for j.
-5
Suppose 7*l - 36 = -8. Solve 0 = l*i - u - 20, -4*u - 4 = 5*i - 2*i for i.
4
Let p be 55 + -63 + 5*2. Solve 6 = -3*q + b + p*b, -5*b = -4*q - 7 for q.
-3
Let z be 1 - 7/((-21)/12). Suppose 0 = z*i - 4*t + 21, -t + 12 = 2*t. Let p be 4 + -1 + i + -1. Solve 4*x + p = -c - 10, x + 11 = -3*c for x.
-2
Let p = -1693 - -1721. Solve 2*f - 3*l = f + 17, -4*f + 2*l = -p for f.
5
Suppose 0 = -32*y + 30*y - 5*f, y + 3*f + 2 = 0. Solve 2*o - y = 3*p, 2*p + 25 = 5*o - 2*p for o.
5
Let o be (-183)/(-12) + 6/(-24). Suppose -o = -2*h - 3*h. Solve 5*r = 5*b - 5, h*b = -r + 10 - 3 for b.
2
Let t = 534 - 499. Let o(b) = -b. Let k be o(-3). Suppose -36*v + t*v = -k. Solve 3*z - a - 6 = 0, -v*a - 10 = -5*z - 0*a for z.
2
Suppose -2*k + 0*k = 6. Let u be k - -6 - (0 + 3). Solve -5*n + 22 = -v, 5*n + 9*v - 4*v - 40 = u for n.
5
Let z be 2*1*3/(9/6). Solve 2*w + 4*l = 4, 0 = z*w + w - 4*l + 4 for w.
0
Let n = 1180 + -1180. Solve -5 = 2*l - 2*p + 11, n = -2*l + 5*p - 31 for l.
-3
Suppose y + 0*h - 41 = -h, -170 = -4*y + 2*h. Suppose 4*f - 3*f - 9 = -s, -5*s = 4*f - y. Solve -x - 2 = -3*z, -3*z - s = 3*x + 12 for z.
-1
Let y be 2 + (2/(-1) - -4). Let c = 1 - -1. Solve -2*p + 4*d + c = 0, 3*p + 3 - 16 = -y*d for p.
3
Let v be (1 + -1)*24/48. Solve u = 3*j + 11, -3*j + 14 = 4*u - v*j for u.
5
Suppose 0 = -4*r + 2*g - 436, -g + 328 = r - 4*r. Let j = -80 - r. Solve -9 = 3*d + 2*f - 1, 0 = 5*d - 5*f + j for d.
-4
Let u = 13 + -13. Suppose u = l - 5*l - 2*a + 8, -8 = 4*a. Solve l*r = j - 10, r + 18 = 2*j + 2*j for j.
4
Let q be -4*((-76)/16 + 6)/(-1). Solve 4*f = 3*r + 2, 0*r - 5*r = -q*f for f.
2
Let c(j) = -j**3 - 5*j**2 + 23*j - 6. Let q be c(-8). Solve -v + 8 = 5*b - 4, q*b + 4 = 4*v for v.
2
Let o = 9 - 3. Let y(c) = -3*c - o + 4 + c - 3*c. Let a be y(-2). Solve -5*h = 5*p - 40, -2*p = 5*h - 17 - a for h.
3
Let m = -58 - -62. Let i be 11/(242/m) + 20/11. Let h(f) = f**3 - 3*f**2 - 4*f + 5. Let n be h(4). Solve -q - 11 = -y - y, i*y - 15 = n*q for y.
5
Let g = -843 - -843. Solve 2*j + j + 3 = 3*l, g = 5*j - 3*l - 1 for j.
2
Suppose -5*s + 0*s = 125. Let t = -21 - s. Solve t*y + 4*w = 5 - 25, 5*w = y - 7 for y.
-3
Suppose 482 - 377 = 7*u. Suppose 5*w + 4 = -2*a, a - w = 3*w - 15. Let v = 4 - a. Solve -u = -5*g, 4*h + 0*g - v = -5*g for h.
-1
Let p = -10 + 30. Let i be 1 - -2*(-10)/4. Let a be (1 - 2)/(2/i). Solve 0 = -3*y - 4*s - p, -3*y + 2*y = -a*s for y.
-4
Let w be (-4)/(-5) - (2 + 198/(-15)). Solve 2*t = 5*k + w - 4, -4*t + 4 = -4*k for k.
-2
Suppose -5*d + 15 = 0, 4*d - 3*d + 25 = 4*z. Let x(r) = r**2 + 11*r - 9. Let o be x(-12). Let k = o - 2. Solve -k = -3*b - 5*v - z, -4*b - 8 = 5*v for b.
-2
Let k(f) = 16*f + 72. Let m(v) = v + 1. Let a(h) = k(h) - 12*m(h). Let q be a(-15). Solve -j + 12 = 3*i, -10 = 5*j - q*j + i for j.
-3
Suppose 0 = -20*q + 9*q + 66. Solve -7*h + q*h = -2*r + 8, 0 = 3*h - 2*r + 16 for h.
-4
Let z = -26 + 22. Let y be (9/3)/((-6)/z). Solve 27 = n - 5*s + 3, -y*s = -5*n + 28 for n.
4
Suppose -479*r = -469*r. Solve -3*f + z = 4*z, r = -2*z + 2 for f.
-1
Let i(t) = 2*t - 6. Let c(v) = v**2 - 2*v - 11. Let b be c(-3). Let h be i(b). Solve f - h*n = 2*n + 5, -4*f - 1 = 5*n for f.
1
Let a(y) = y + 9. Let k be (-9 - (-1 - 3)) + 2. Let h be a(k). Suppose -1 - 11 = -h*d. Solve 2 = 2*n, -d*z + 0*z - 11 = -3*n for z.
-4
Let k(x) = x**2 - 7*x + 14. Let c be k(5). Solve c*b = 8, 0 = 5*y - y - b + 18 for y.
-4
Let c be (-4)/(-6)*(-210)/(-28). Solve -5*k - 25 = -t, 3 = -2*k - c for t.
5
Let l(z) = -4 - 13 - 3 + 4*z. Let q be l(6). Solve 0 = q*o + t - 2*t + 22, -o = 4*t - 3 for o.
-5
Suppose 2 = 4*m - 10. Let i be m/6 - 6/(-4). Suppose -i*k + 6*k - 12 = 0. Solve 6*s - 13 = -4*x + s, -k*x = 4*s - 10 for x.
2
Suppose 0 = -2*g + 5*g + 3*l - 33, 1 = l. Solve 2*b + w - 9 = 0, -3*b + 