4
Let r be (-3)/12 - (130/(-8))/5. Let b = r - -2. Solve 0 = -2*j + 4*h - 2, 0*j + 2*h - 19 = -b*j for j.
3
Let z(h) = 8*h - 11. Let y be z(2). Solve 5*v + 25 = 0, 0*v = -y*i + 4*v + 10 for i.
-2
Let w = -5 - -12. Let v(g) = -7*g + 6. Let t(l) = 8*l - 7. Let r(o) = w*v(o) + 6*t(o). Let c be r(-3). Solve -1 = y + h, -3*y - 2*y + 1 = c*h for y.
2
Let y = 69 + -76. Let f = y - -15. Solve -3*a - 13 = -2*n, -n - f = -5*n for a.
-3
Let p = -21739 + 21743. Let i be (43/(-3))/((-2)/6). Let u = -29 + i. Solve -3*t - 4*n = 10, -5*t + 2*n + u = -p for t.
2
Suppose 3*c = 4 + 17. Suppose 3*a + 14 = -n, -3*n - c = 2*a - 0*a. Suppose i + n - 7 = 0. Solve -6 = 3*o - 3*g, 3*o - 2*g = 6*o + i for o.
-2
Let r = -32 + 12. Let o = r - -26. Solve -8 = 2*h + 4*c, 3*c + 6 = h - o*h for h.
0
Let b = 63 - 29. Suppose 0 = -o + 3*o - b. Solve y = -2*a + 6*a + o, -3*y + a - 4 = 0 for y.
-3
Let y = -276 + 287. Solve -5*w + 9 = -2*v, -5*v + y - 5 = -3*w for v.
3
Let m(s) = 11*s + 11. Let b(i) = -5*i - 5. Suppose 3 - 7 = -p. Let n(x) = p*m(x) + 9*b(x). Let h be n(-4). Solve 35 = -5*k + h*r, 3*k = -0*r - 2*r - 2 for k.
-4
Let i = -2192 + 2196. Solve i*o = -2*z + 2, 0 = -2*z - 6*o + 3*o for z.
-3
Let y(r) = 2*r**2 + 5*r - 3. Let k be y(-4). Suppose -k*s + 4*s = -30. Let h = 204 - 202. Solve -4*t - 21 = m, -h*m + 5*t + 40 = -s*m for m.
-5
Suppose -84*y + 24*y - 6*y = 0. Solve -3*q + 0*x + 4 = 4*x, -5*x + 5 = y for q.
0
Let m(t) = -7*t - 105. Let s be m(-15). Solve -5 = n - 4*k - 0, s = 3*n + 4*k + 15 for n.
-5
Let p be (4/(-6))/((-16)/(-24)). Let u be (0 + 1)*(-2 + p). Let t = u + 11. Solve -2*l - 12 = -2*i, -2*l = -i + 17 - t for i.
3
Suppose -104 = -8*j + 9*j. Let i = j + 125. Solve 2*w = k + k - 14, 0 = 5*w + 2*k + i for w.
-5
Let g(d) = -d**2 + 12*d + 17. Let u be g(15). Let r be (-8)/u - 136/(-14). Solve -1 - 5 = 3*q + 3*i, -2*q + 5*i = -r for q.
0
Let i = -134 + 142. Solve -i = -5*u - x + 21, -21 = -5*u + x for u.
5
Let m be 106/10 + -1 - 32/(-80). Solve m = 5*w + 5*l, 0 = 2*l - 6*l for w.
2
Let z = -10 - -20. Let o = z - 6. Let d(a) = a - 2. Let u be d(6). Solve -u = -o*s + 4*p, -10 = 4*s - 5*s - 2*p for s.
4
Suppose 7*f = 35 + 14. Suppose 6 = -f*a + 41. Solve -3*b - b - a*s = -24, 16 = -4*b + 5*s for b.
1
Let p(n) = -10 - 6 + 13 + 4*n. Let i be p(7). Let b be ((-30)/i)/((-6)/20). Solve 4*f - b*u - 28 = 0, -4*f = -u - 21 + 2 for f.
4
Let g(j) = j**3 - 6*j**2 + 5*j + 2. Let v be g(5). Suppose v - 7 = -y. Solve -23 = 3*f - 4*k, y = 4*f + 2*k + 21 for f.
-5
Let k(b) = -2*b**3 + 12*b**2 - 9*b + 4. Let n be k(5). Suppose 0 = 4*z + 3 + 5. Let h = z - -2. Solve q + h*q + 1 = l, 0 = -q + 5*l - n for q.
1
Let s(p) = 3*p + 26. Let h be s(-1). Solve 0 = 3*j + 3 + 12, h = 2*t - 3*j for t.
4
Let p be 2/(-6) + 25/75. Solve 5*d - 20 = b, -2*b + p*d + 2 = 4*d for b.
-5
Let u = -1218 - -1226. Solve -w - 1 = -3*k, k - w + 7 - u = 0 for k.
0
Let w(i) = i - 5. Let c be w(5). Let a(h) = -14*h - 17. Let u be a(-3). Let k = u + -21. Solve -5*f + 20 = -3*s, c*s + f - k = -2*s for s.
0
Let p = 49 + -47. Suppose x = -4*m + 17, 4*x - p*m = 113 - 27. Solve 12 = -t - 0*t - 5*z, 2*t - x = 5*z for t.
3
Let f = 141 + -134. Solve -3*w - 3 = -p, w - 5 = -4*p + f for p.
3
Let m = 950 + -948. Solve -3*z = 5*h + 17, 4*h = -0*z - m*z - 12 for h.
-1
Let y be (-2)/9 + (-2394)/(-567). Solve 5*s - 15 = 5*v, y*v + 24 = 8 for s.
-1
Suppose 4*l = x - 0*x - 10, 3*l - 4*x = -14. Let j be l*6/(-4)*4. Suppose 2*v = v + j. Solve -h - 3*z + v = 0, -2*z - 5 = 3*h - 13 for h.
0
Let a(s) = 0*s**2 - 4*s**2 - 4 + 3*s**3 + s - 2*s**3. Let y be a(5). Suppose 4*d + 20 = 0, -3*v - 2*d - 8 = -2*v. Solve 4*k + y = v*p, -k = -5*p + 24 - 4 for k.
-5
Let h be 100/26 + (-30)/(-195). Solve -5*n + 0*n = -3*x + 12, 0 = -h*x - 4 for n.
-3
Let w be (-116)/36 + (-14)/(-63). Let x be 1*(1 - (w + 1)). Solve 3*g + z + 2*z - x = 0, -19 = -3*g + 5*z for g.
3
Let q(s) = -s - 36. Let g be q(-39). Solve 5*t = -10, -g*x + 10 = x - t for x.
2
Let l be (-49)/(-1) - (8 - 8). Suppose 3*a - 43 + l = 0. Let n be (-9)/(-3 + 0) - a. Solve 9*d - 4*d + 26 = -2*w, 35 = -5*d - n*w for d.
-4
Let q = 36 + -42. Let z be (7 - (-50)/q)/((-1)/3). Solve 0 = -3*o + i + 6, -i + z*i = -2*o - 7 for o.
1
Suppose -80 = -14*d + 6*d. Let c be 4/6 - d/15. Solve 4*f - 3*f + 5*n + 12 = 0, 3*f + 5*n + 6 = c for f.
3
Suppose 2*r + r = 12. Suppose -4 = -m - r*a, 0*a = -2*m - 4*a + 8. Suppose 0 = -6*c + 1 + 17. Solve z = -n, m = -c*n - 4*z + 3 for n.
1
Suppose -4*h + w + 3 = -12, 30 = 4*h + 2*w. Solve -f + i = -8 + 13, -3*i = h*f + 1 for f.
-2
Suppose 6*b + 10 = 40. Solve 20 = x + b*t, 3*x - t = -x - 4 for x.
0
Suppose -4*v - 17 = p - 4, 5*v = -p - 17. Suppose p*k - 12 = -2*n - k, -3*k = 4*n - 19. Solve n*r - 4 = 2*g, 3*r = r + 5*g + 10 for r.
0
Let j = 73 - 62. Solve -2*n - 5*d = -j, d = 3*n - 12 + 4 for n.
3
Let k(n) = -n**3 - 8*n**2 - 9*n - 8. Let z be k(-7). Suppose -q + z = q. Suppose 9 = q*w - 0. Solve w*m = 2*h - 3*h + 2, 3*h = -3*m + 6 for h.
2
Suppose 12*k + 5 - 53 = 0. Solve 4*d - 8 = -4*h, k*h = 4*d - 7*d + 10 for d.
-2
Let u = 8 + 28. Let w be (-27)/u + 78/8. Solve -3*c - w = -21, 2*c = -2*r + 12 for r.
2
Suppose -r - r = 0. Suppose -4*c - 1 = -q + 15, 16 = q + 5*c. Suppose 1 = -4*m - 5*n, -2*n - 2 = -3*m + 3. Solve -5*k - q + 1 = -5*u, r = -u - k + m for u.
2
Suppose 0 = -57*s + 773 + 481. Suppose 12 = 2*l - 24. Solve 0 = -3*x + 5*q - s, x + x + l = 4*q for x.
1
Let y(d) = 2*d**3 - 17*d**2 + 7*d + 10. Let r be y(8). Solve z = r*u - 1, 2 = -5*u - 3 for z.
-3
Let x be (8 - 15)/(2/(-10)). Suppose -2*n + 3*w + 14 = -5, -x = -4*n + 5*w. Solve -3*z + 3*r = z + 4, -z - n*r - 1 = 0 for z.
-1
Let a = 763 - 761. Solve a*k + 4 = -0*k, 2*k = -4*w - 16 for w.
-3
Let m be (3/(-3))/(1/2). Let q(l) = -l - 2. Let n be q(m). Solve -t = x + t - 10, 5*x + 3*t - 15 = n for x.
0
Suppose -2*b + q + q = 0, 5*b - 3*q = 0. Suppose -v - 3 = b, 0 = 3*o - 3*v - 74 - 34. Solve o = 5*l + 4*c, 0 = -3*l + c + c + 11 for l.
5
Let f be -2*(6/(-3))/(-2). Let b be (f/3)/(4/(-18)). Suppose -2*q = -4*n + 10, -3*n - 4*q + 2 = -11. Solve -4*w = 3*r - 3, -n*r + 0 + b = 2*w for r.
1
Let n(v) = v**2 + 58. Let t be n(0). Suppose 0 = -3*k - 2*l + t, -3*k + 2*l = -k - 52. Let p = k + -5. Solve 0 = h - w, 5*w + 3 = -5*h - p for h.
-2
Let x = 96 + -28. Let s = x - 64. Solve g = -4*u - 4, s*g + 16 = -3*u + u for g.
-4
Let p be (-54)/(-8) + (-9)/12. Let c be (-2 - (-21)/p)/((-6)/(-8)). Solve 2*i = 7*i + c*j + 8, 0 = -5*i + 3*j + 12 for i.
0
Suppose 9*j - 65 = 124. Solve -s = -5*p - 9, p = 2*s + 3*s - j for s.
4
Suppose 240 = -2*h + 7*h. Suppose -3*u - 3*r - h = 0, 4*r - 44 = u + 4*u. Let x = u + 30. Solve 5*p = -2*b + 29, 2*p - x = -2*b - 2*b for p.
5
Let l be 5 + (4 - 5 - 2). Suppose -l*y = -3*q - 90, y = -5*q - 0*q - 137. Let t = -26 - q. Solve -4 = 3*x + t*n, 0 + 4 = x + 2*n for x.
-4
Suppose -4*y - 3*f - 2*f + 27 = 0, -2*y + 3*f - 3 = 0. Suppose 5*u + 3*a = 10, -2*u + 5*a + 1 = -y. Solve 2*r + 3 - 17 = -u*l, -4*l + r + 3 = 0 for l.
2
Let x(k) = 3*k - 10. Let l(m) = 6*m - 21. Let p(t) = -6*l(t) + 13*x(t). Let r be p(2). Solve 3 = 2*u - 1, r*g = 2*u for g.
2
Let j be -4 - (-1 - (13 + 2)). Suppose -5*q - j = -9*q. Solve 4*v + q*l + 0 + 1 = 0, -2*v + 3*l - 5 = 0 for v.
-1
Let y be 5 + (-3 - -1) - -2. Let h be (-3 - (-4 - -2)) + 0 + y. Solve h*d - 14 = 2*d - 2*m, -3*d = 5*m - 25 for d.
5
Suppose -s = 0, -8*s + 3*s - 55 = -5*j. Solve -a + 3*m + j = 0, -3*a + 4*m + 7 = -11 for a.
2
Let d be (-4 - (0 - 2)) + 4. Suppose 0 = -4*a - 3*n - 2 - 5, -5*a = d*n. Solve -2*v - 2 = -2*g, -v - a*g + 4 - 2 = 0 for v.
0
Let j(f) = 4*f**3 - f**2 + 4*f - 4. Let l be j(1). Suppose 15 = 3*p + l. Suppose 5*v = -2*x, 6*v - v + 5*x + 15 = 0. Solve -4 = 6*m - 2*m - p*u, v*u = 10 for m.
4
Let w = 940 - 933. Solve 4*d = 5*z - 17, 5*d - 6*d + w = z for d.
2
Let m(h) = -13*h**3 + 1. Let p be m(-1). Let c(t) = 2*t**2 - 4*t + 3. Let n be c(2). Solve n*g = 2*l + g - 8, -l - 5*g = p for l.
1
Let k = -109 + 112. Let c(j) = -j**2 - 6*j + 2. Let g be c(-5). Let i = 42 - g. Solve -5*x + i = -5*d, -6 = k*d - 2*x + 12 for d.
-4
Let c be 2/((-88)/(-143)) + 3/4. Let r be ((-6)/9)/(4/(-30)). Solve 2*p + c*u + u = 9, -3*u = r*p + 6 for p.
-3
Suppose 5*b + 391 = 396. Solve 2*x = -3*o + 7 - 8, -o - 2*x + b = 0 for o.
-1
Let g(c) = 11*c**2 + c - 1. Let r be g(1)