lve z - 4 = -2*h, 2*z - 5*z + w = 2*h for z.
2
Suppose 0*i - 5*i = -5*w - 25, -19 = -4*i + 3*w. Suppose -c - m - 4 = 0, 3 = -i*m - 17. Solve t - 1 = s, 2*t + 5*s + c = 10 for t.
2
Let i(q) = -q**2 - 2*q + 3. Let a be i(-3). Suppose a = -4*w + 33 + 15. Let m be (-8 + w)/(2 + -1). Solve -2*j - 4 = 3*x - m*j, -3*x = 3*j + 9 for x.
-2
Suppose 5*z - 16 = -61. Let r be (-6)/z - (-44)/6. Suppose -2*d - 25 = 3*d, 29 = 2*c - 5*d. Solve -r*q + 15 = -4*q + o, c = -2*o for q.
4
Suppose -4*z + 5*n + 51 = 16, -4*z + 2*n + 38 = 0. Let c = -501 - -504. Solve c*r - 6 = -5*v + z, -2 = 2*v + 4*r for v.
5
Suppose 2*v - 3*v = -23. Suppose 0*p + 5*p + 4*f = -19, -p - v = -4*f. Let k be -2 - (p + 1 + -1). Solve -4*g + k*l - 5 = 0, -g - 5*l = -0*l + 20 for g.
-5
Let l(x) = x + 7. Let s be l(-6). Let f(i) = -s + i + 2*i - i**3 - i**2 + 2*i - 6*i. Let c be f(-2). Solve -d + 27 = -5*b, -c*d + 6 = -2*d for b.
-5
Let q(i) = i**3 + 10*i**2 + 8*i + 6. Let x be q(-9). Suppose 4*g - g = x. Solve -v + 35 = -4*v + 5*t, -2*v - g*t + 10 = 0 for v.
-5
Let p be 5 - (-1)/((-3)/(-45)). Solve 3*z - b + 10 = -0*z, 3*z = -4*b - p for z.
-4
Suppose n - 1 = 2. Suppose -4*l = n - 15. Solve -4*y + 3*j = 2, -5*j + l*j + 9 = 5*y for y.
1
Let z be -2*(4 - 1)/(-3). Suppose -2*c - 4*i - 14 - z = 0, -4*i = 16. Solve w + 3*w = -2*b, 4*b + w - 14 = c for b.
4
Let m be -2 - (-1)/1*48/8. Solve -m*p - 2*t + 3*t = -19, -5*p + 20 = -5*t for p.
5
Let d be 22/4 - 4/8. Let a = 7 - d. Suppose -7*x + a*x + 15 = 0. Solve -2 = -u + x*z, u - z + 4*z + 4 = 0 for u.
-1
Let l = -7 + 0. Let v = l + 11. Solve 4*n - 2*w - v = 3*n, 0 = -4*n - 2*w + 16 for n.
4
Let a(t) = t**3 - 2*t**2 - 3*t + 3. Suppose -7 - 5 = -2*w. Let r be (-3 - -1)*w/(-4). Let n be a(r). Solve -n*d + 2 = 4*c, -4*d - d - 10 = 0 for c.
2
Suppose 0 = 5*r - 14 - 11. Let k be (-1 + 2)/(r/25). Let h(y) = -y**2 + 4*y + 5. Let b be h(k). Solve 4*s + 4*q - 3 = 13, 2*q - 10 = b for s.
-1
Let n be (2 - 0)*(1 - 2). Let g be (-1)/(n - (2 - 3)). Let f be -5*((-2)/5)/2. Solve 3*x - 4*b = -4, f = x + 2*b - g for x.
0
Let t be 3*-8*15/(-18). Solve -2*a + 0*k = 3*k - 12, t = -2*a + 5*k for a.
0
Let a be (-56)/(-35) - 2/(-5). Solve 3*l + 12 = -3*x, -a*l - x + 5*x = -16 for l.
0
Let l(j) = j**2 + 3*j + 3. Let u be l(-3). Suppose u*f - 6 = -0*f. Let q be (f + -2)*3/6. Solve -w - 6*s + 17 = -2*s, 4*s - 20 = q for w.
-3
Let s(g) = -2*g**2 - 9*g + 7. Let r be s(-5). Solve 2*i - 2*n + 2 = -5*n, -4*i - r*n + 4 = 0 for i.
2
Suppose d - 2*g = 4, -3*g + 6 = 4*d - g. Let h(m) = m - 1. Let v be h(1). Let x be (-3)/(-3) + 1 + v. Solve -x*w + 4 = -2*j - j, 4*j + 4 = d*w for j.
0
Suppose 2*n - 9 = 39. Solve 0*h = 4*h - t + 9, -4*t = -4*h - n for h.
-1
Suppose 3*r + 2*r = x + 23, 0 = -2*r + 5*x. Solve -3*m + 34 = -r*b, -b = b + 5*m - 5 for b.
-5
Let i(m) = 2 - 3*m**2 + 7*m**2 - 5*m - 2*m**2. Let u be i(3). Suppose 4*z = 2*z - 6, -k - 13 = u*z. Solve -4 = -k*n - 4*q, -3*n = n - 3*q - 8 for n.
2
Let c be (-3 - -1 - 5)/1. Let q = c + 7. Let w(u) = -2*u - 2. Let m be w(-3). Solve 2*j = -8, m*y - 2*j - 12 + 4 = q for y.
0
Let w(b) = -b**3 + 4*b**2 - b - 1. Let o be w(2). Solve o*h - 35 = 5*t - 0, t + 10 = 2*h for h.
3
Suppose -3 = 3*h - 0*h, -h = -2*u + 7. Solve 2*m - 2*c + 3*c - 3 = 0, -5*c - 13 = u*m for m.
4
Suppose -12 = -4*c, 4*v - 7*c = -3*c - 24. Let d be (-50)/(-15)*v/(-2). Solve 2*i + 10 = -0*i - d*r, -5 = i - 3*r for i.
-5
Let t be 2/(-2 - -4)*0. Solve 2 = -2*v + 5*b - 7, t = 5*v - b + 11 for v.
-2
Let u(w) = 3*w**2 + 4*w - 1. Let c be u(-2). Let l = -25 + 35. Solve -11 = 5*g - 3*j - 36, -c*j + l = 2*g for g.
5
Let u = -47 - -56. Solve -u = -2*d + f, 2*d = 3*d + 2*f + 3 for d.
3
Suppose -3*h - 3 = -9. Let t be (0 - 15/2)/((-1)/2). Solve 3*a = 3*g - t, a - 4*a + h*g = 10 for a.
0
Let n be (0 + -1)*1/1. Let f be -12*(n - (0 - 0)). Suppose 5*a - 4*v + 0*v - f = 0, -4*a + 4*v + 12 = 0. Solve 0 = -2*i - 3*s - 2, i + 1 = -s - a*s for i.
-1
Let m(f) = f**3 - f**2 - 4*f. Let k be m(3). Suppose k + 9 = 3*g. Suppose 0 = q + i - 5, -4*q - 3*i + 5 + 15 = 0. Solve -g + 25 = -q*s, 2*x + 12 = -2*s for x.
-2
Let c(x) = -x**3 + 3*x**2 + x + 15. Let i be c(4). Solve 4 = i*n - 7*n - 5*k, n + 2*k + 4 = 0 for n.
4
Let s be (1 - (-8)/(-2)) + (5 - -6). Solve 5*m = -5*k - 35, -2*k - s = -2*m + m for m.
-2
Suppose -3*j + 8 = -j. Let d = j - 4. Solve d = 5*n - 2*z + 17, n + 8 = z + 4 for n.
-3
Suppose -3*n - n + 12 = 0. Let p = 1 + 0. Suppose o - n - p = 0. Solve -4*j + 24 = 4*y, 0 = y - 9*j + o*j + 24 for y.
1
Suppose 4*g - 19 = -15. Solve -g = 3*l - h + 9, 2*h = -4*l for l.
-2
Let l = -9 - -19. Solve 0*d = 2*k - 4*d + 16, 5*d - l = 0 for k.
-4
Let d be -8 - 3/(6/(-4)). Let v = d + 10. Solve f - 6 = k, -k - 2*f = -10 + v for k.
-2
Let o = 80 - 76. Solve -o*b + b - 9 = -3*n, b - 2*n = -3 for b.
-3
Let l = 3 - -3. Let z = l - 3. Let i be (-1)/(-3) - (-5)/z. Solve -u + 27 = -5*d, d - 3 + i = -3*u for u.
2
Let j(z) = -z**2 - 1. Let r be j(2). Let h = r - -11. Suppose -2*a + 0*a = -h. Solve 5*k = -a*l - 8, 3*l - 2*k = -5*k for l.
4
Suppose 3*q - 7*q = 3*w - 22, 5*w - q - 6 = 0. Let a = 3 - 1. Let m be ((-8)/10)/((-2)/10). Solve -w*c + a*d = -d + m, -2*c + 5*d = 0 for c.
-5
Let x(k) = -k + 8. Let z(m) = -40*m. Let q be z(-1). Suppose 4*f + f = q. Let v be x(f). Solve 5*g - 2*h + v*h - 3 = 0, 4*h = 4*g for g.
1
Let g(n) = n**3 - 3*n**2 - 4*n. Let o be g(4). Suppose 0 = 3*v + 4*x - 38, v - x - 3 + 2 = 0. Solve -z + 3*z + v = -c, -3*c + z + 3 = o for c.
0
Let q = -16 + 20. Let n be 8 - (q - (3 - 3)). Solve 2*d + 14 = 5*t, 0*d + n*d + 3*t = -2 for d.
-2
Let p(j) = -j**2 - 8*j + 2. Let t be p(-8). Solve 5*z = 5*h - 5, -3 = -5*z + t for h.
2
Let z be ((-4)/10)/(6/(-30)). Let g be ((-6)/9)/(z/(-9)). Solve -q = -3*x - 6 - 2, -4 = -5*q - g*x for q.
2
Let p(s) = 0*s**2 - 8*s + 4 + 0*s**2 - s**2. Let q be p(-8). Suppose q*d + 16 = -k, -3*k - 2*d - 16 = 2*d. Solve k = -c + 4*o - 19, c + 3*o - 24 = 5*c for c.
-3
Suppose -5*x + 47 = 7. Let d = x + -6. Solve 2*t + 4 = 4*q, -2*q = -d*t - 3*q - 9 for t.
-4
Suppose -5*w + 10 = -10. Solve -15 = -3*p - 5*a, w*p - a = -4*a + 9 for p.
0
Suppose -3*s + 20 = -5*z, -3*z + 2 = s - 0. Suppose 3 = s*p - 2. Suppose -5*x - 2 = -17. Solve -3*j + 14 = -x*u - p, 5*j - 5 = u for j.
0
Let w(o) = -o**2 - 7*o - 7. Let k be w(-6). Let d = k - -3. Suppose -3*l = d*l - 30. Solve -4*a = -6*x + 2*x + 8, l = 3*a + x for a.
1
Let o be -1 - (-9)/(3 + 0). Let p be -16*((-27)/6 + o). Solve 5*d + 36 = -t + 6, -3*t - 5*d - p = 0 for t.
-5
Let m be 2 + 4*4/8. Solve 0 = r + m*j - 10, 3*j = r + 4*r + 19 for r.
-2
Let u(l) = l**2 - 5*l - 5. Let p be u(-5). Suppose 4*y + 127 = 3*q, -q + 2*q - p = 4*y. Solve -s - 2 = 2*i + 1, 5*s - q = 4*i for i.
-4
Let c(b) = -b - b + b**2 - b + 4 - 2*b. Let s be c(5). Solve 0 = -4*q + 2*q + 2*t - 4, -s*t + 10 = -2*q for q.
1
Let h be 2/5 + (-16)/(-10). Let l = -17 + 24. Solve -3*v = -0*j + h*j - l, 3*j - 5*v = 1 for j.
2
Let q be 9/15 + 153/45. Let x(i) = -i**3 + 6*i**2 + 4*i - 4. Let g be x(6). Solve 12 = q*k + 3*j, -g = 3*k + k - 5*j for k.
0
Let i = -6 - -11. Suppose i*o - 28 = o. Solve 5*h = k + o, -2*k = -4*k + 4*h - 8 for k.
-2
Let j be (-3 - 2)*(3 + -4). Let h = 4 + -1. Solve -w = -h*b - 18, 0 = -b + 5*w - j - 15 for b.
-5
Let y(a) = -a + 9. Let l be (-1)/4 + 2/8. Let s be y(l). Suppose 0 = -8*p + 6*p. Solve -2*u + s = q, -4*q + 24 = 4*u - p*q for u.
3
Suppose -6*d + 27 = 3*d. Solve -5*m - s = -2*s - 8, m = -d*s + 8 for m.
2
Let k = -68 - -71. Solve -5*y = -3*t + 5, 3*y - t = -2 + k for y.
2
Let o be (1 + -6)*(-56)/70. Solve -2 = -s - 1, 4 = o*q - 4*s for q.
2
Suppose 0*x + 22 = 2*x. Let o(m) = -m**2 + m. Let z be o(2). Let w be (z + -10)*(-2 - 0). Solve 2*y + 5*r = w, -x - 7 = -y - 4*r for y.
2
Let g be (1 + 2)*(-30)/(-18). Solve 6*r - g*c + 23 = 3*r, 5*c = -r + 19 for r.
-1
Let m(c) = -c - 1. Let v be m(-3). Let a be (-3 - (v + -3))*-1. Solve 0 = 5*o + 3*k, 0 = a*o + o + 5*k for o.
0
Suppose -f - s - 16 = 2*f, 2*f + 8 = -2*s. Let x = 10 + f. Suppose -c + 5*c - x = 0. Solve -4*z + 3*z = 4*j + c, z + 5*j = -2 for z.
3
Suppose 2*z + 6 = 4*z. Suppose 0 = -4*o + 1 + z. Solve s = 4*j - 6*j - o, -7 = 2*j + 3*s for j.
1
Let c = 0 + 5. Suppose 0 = -g + 3*y - 4*y + 1, -c*y - 4 = 2*g. Suppose -g*d = -0*d - 54. Solve k + d = -5*t, 7 = 3*k + 5*t + 21 for k.
2
Suppose 0 = -5