3, -5*d + 31 = -3*z for z.
-2
Let q(z) = -z + 2 - 1 - 3. Let x be q(-5). Suppose -r + 3*h = -14, 0 = x*r + 4*h - 1 - 2. Solve 0 = -j - r*a - 24, -6 + 2 = 5*j - 4*a for j.
-4
Suppose 0 = -0*p + 3*p - g - 10, 18 = -p - 5*g. Suppose -2*z + 4*z = 18. Let u = z + -7. Solve -p*m + i - 1 = 0, 4*m + 3*i + 5 = u*i for m.
-1
Suppose 3*j = u + 2 + 4, 2*j = -5*u + 4. Let q(t) = -14*t - 5. Let o be q(-2). Let z = -21 + o. Solve 5*p + 2*s + 25 = 0, p - z*s - 9 = -j for p.
-3
Let q = -10 - -14. Let l = 27 + -15. Suppose w - l = 2*z, 2*w + 4*z - 6 = -14. Solve -q*g + 5 = h - 6*h, w*h + 8 = 4*g for h.
3
Suppose m = -4*m + 20. Suppose 7*y = m*y + 12. Let i be 0/(2*(0 - -1)). Solve i = 5*j - 3*j - x - 9, 0 = -j + y*x + 15 for j.
3
Suppose -2*w = 2*w - 3*l + 4, -w - 1 = 5*l. Let i = w + 1. Let b = i + 17. Solve 4*x = c + b, 0*c - 3*c - 3 = 0 for x.
4
Let m be 7/(7/2) - -5. Let u = 3 + -5. Let w be 2/((-3)/u - 1). Solve -w*x - m = 6*i - 3*i, 3*i + x - 5 = 0 for i.
3
Suppose 2*p + 4 - 12 = 0. Solve 4*m - 5 = 3*j - 0, 0 = -3*j - p*m + 35 for j.
5
Suppose 7 + 13 = 2*x. Let b = 15 - x. Solve 5*n = -b*l + 5, -19 = 5*l - 3*n + 2*n for l.
-3
Let b(m) = m**2 - 9*m. Let k be b(9). Suppose 0*u + u = k. Let v(w) = w**2 + 4*w. Let y be v(-5). Solve -c = 3*j - 2 + 7, -5*j + y*c + 25 = u for j.
0
Let x(j) = -6*j + 3. Let u be x(-2). Suppose 5*n = -w + 19, 4*n - 3 - 1 = 2*w. Solve 3*r = -u, 3*s - n*r = 7*s - 1 for s.
4
Let y(z) = 5*z**2 - z. Let q be y(-1). Suppose q*v - 23 = 5*v. Solve p - 2 = 3*p, 5*l + 3*p + v = 0 for l.
-4
Let z(n) be the third derivative of -n**5/60 + n**3/2 + 2*n**2. Let h be z(4). Let q = -9 - h. Solve 2*v - 3 = -5*c - 0, c - 3*v = q for c.
1
Suppose 3*z = 7 - 1. Suppose z*v = v + 3*p + 15, 4*p + 36 = 4*v. Suppose -v = -d - d. Solve -2*k - d*n - n = 26, 3*n - 8 = 4*k for k.
-5
Let q(r) = -r - r**2 - 2*r**3 - 4 + 5*r**2 + r**3. Let t(k) = -2*k - 7. Let x be t(-5). Let c be q(x). Solve -n = 5*h + 12, 2*n = -c*n + 5*h + 2 for n.
-2
Let y = 153 - 151. Solve 2*l + 5*d = 6, 7*l + 8 = y*l - d for l.
-2
Suppose 5*g - v - 2*v - 14 = 0, -4*v + 8 = 0. Solve -i - g*m = 0, -i + m = -m for i.
0
Let z(f) = 3*f**3 + 2*f**2 - 5*f + 2. Let k be z(3). Let s be (-4)/(-18) + k/18. Let x be 2/4 - (-10)/4. Solve -o = x*n + o + 8, 3*n + 2 = -s*o for n.
-4
Suppose 0 = -4*c - 2*t + 26, -5*t = 3*c - 3*t - 22. Suppose k = 3*k - c. Solve -3*g + 3*i - 2 = -k*i, 0 = -5*g + i + 4 for g.
1
Let z be (-20)/6*(-3)/2. Let b = z + -3. Solve 0 = b*q + 4*t + 6, 4*t = -5 + 1 for q.
-1
Suppose 3*s - s = 6. Solve 3*d + 25 = -4*l, l + 19 = -s*d - 2*d for d.
-3
Let r be 6/(-15) - (-96)/15. Suppose 4*l - 47 = -5*t, -2*t + 9 + 9 = 2*l. Solve a + 11 = 3*v, -4*v + r = a - t for v.
4
Let h = 1 + 3. Let u be (20/4)/(2 - 1). Solve u*a + 7 = -h*y - 4, -y - 5 = 2*a for y.
1
Let h be (4/(-6))/((-1)/6). Suppose -17*n = -36 - 32. Solve n*g + 3*p = 4 - 5, 5*g + p = -h for g.
-1
Let g = -2 - 1. Let y be (-4)/6 + (-53)/g. Let r = 6 + -2. Solve -j - 4*k = 0, 0*j + r*j - k = y for j.
4
Suppose 0 = o - 4*a - 2, -22 = -2*o - 4*a + 3*a. Let v be (-4)/5*o/(-4). Let r be 1 - 1/1 - -1. Solve -2*k = p + r, 3*p - v*p = -k for p.
1
Suppose -l = 13 - 4. Let s = 12 + l. Suppose -s*u + 63 = -0*u. Solve p + 3 = 3*p - 5*v, 5*p + v - u = 0 for p.
4
Let u = 30 + -27. Solve -p + u*x = 5, -3*p - 3*x - 2*x = -13 for p.
1
Let n be ((-5)/(-15))/(1/9). Let l be n + 0*1/(-1). Solve 0*y - a = y - l, 0 = 4*y - 2*a + 6 for y.
0
Let m = 186 - 184. Solve 2*u - 4 = 2*y, 2*u + m*y - 19 = -y for u.
5
Let l = 1 + 5. Let i(d) = -d**2 + 6*d + 3. Let t be i(l). Let a = 14 + -9. Solve 0 = -3*g, t*r + a*g = g + 3 for r.
1
Suppose 5*h + 4*v = 83, h + h = -5*v + 23. Suppose -h = -4*j - 3. Solve 0 = 2*r - 0*r - j*x + 6, -2*r = 2*x - 18 for r.
5
Let u = 20 + -18. Solve -j - q = j + 7, -2*q = -u for j.
-4
Let f be 30/9 + 2/3. Suppose -f*j + 4*q = -3 - 9, 0 = 3*j + 3*q - 9. Suppose x - 1 - 3 = 0. Solve -5*y + 0 + 7 = x*s, -j*s + 2*y = 12 for s.
-2
Suppose -2*d = d - 2*p - 2, p = d. Let q = 5 + -4. Let h = q + d. Solve 3 = -4*b + o - 3, -h*o + 6 = 0 for b.
-1
Let w = 60 + -84. Let i be w/(-16) - (-31)/2. Solve 0 = 4*b + 5*g + 19, 5*b - i = 5*g - 7 for b.
-1
Let a = -17 + 23. Suppose 0 = -3*b + a*b - 6. Let v be (11 - 1)/(2/3). Solve 0*z + b*i = -3*z - 9, -5*z + 2*i = v for z.
-3
Let f(p) = -3*p - 9. Let v be f(-4). Solve 0 = 3*h + j - 2, 6 = -0*h - h + v*j for h.
0
Suppose -20*u + 18*u = 0. Solve u = -5*m + 2*i + 27, 5*i + 5 = -0 for m.
5
Suppose 0 = 32*p - 33*p + 12. Solve -4*f = 4*w - p, -3*w + 2*w + 3*f - 1 = 0 for w.
2
Let d(n) = -n**3 + 4*n**2 - 2*n. Let u = -17 - -20. Let l be d(u). Solve 2*g + 2*t - 1 = l, g - 4*t = 7 for g.
3
Let o(s) = s**2 - 11*s - 7. Let h be o(12). Solve 2*w = -0*w - h*g - 13, 0 = w - 4*g - 13 for w.
1
Suppose 5*i = 2*y + 3*i - 6, 2*y = -3*i + 6. Solve y*o = 4*w - 13 + 2, 5*o + 28 = -3*w for w.
-1
Suppose z + 2*o - 15 = 0, 4*o = 3*z + 3 - 38. Suppose 4*f + 2*w = w + z, 5*w = 5. Let n = f - 1. Solve -11 = -n*k - 3, -3*k - 4 = -4*s for s.
4
Suppose 0 = l - 2*m - 12, 4*l + m = 3*l. Suppose g + 3 = 7. Suppose 0 = g*o - 5*o + 12. Solve -3*k + l*j + 2 = 12, 0 = 5*k - 2*j + o for k.
-2
Let w = -181 + 189. Solve -3*z + 4 = -5*r, 5*r + w = -z - 4 for z.
-2
Let x be -3*1 - (-3 - -2). Let h = x + 2. Suppose z = s, 2*z - s = -h + 1. Solve -5*a - 20 = 2*i, -17 = 3*i + 4*a - z for i.
0
Let b be (-4 + 8)/4 - -2. Let r be (-29)/(-1) - (b - -1). Solve -5*n - 2*l - r = 0, 0 = n + n + 2*l + 10 for n.
-5
Let c = 9 - -11. Suppose -4*y - 2 = 2*u - c, -4*y + 33 = 5*u. Suppose 0*g + 5*g - 10 = -5*o, -u*o - g = -14. Solve 3*f = -12, -5 = -q + o*f + 9 for q.
2
Let i(n) = -15*n - 6*n**2 + 5*n - n**3 - 2 - 4*n**2 - 4. Let w = -16 + 7. Let h be i(w). Solve -4*j + k - 2*k + 19 = 0, h*j - 3*k - 18 = 0 for j.
5
Let o(i) = -2*i + 2*i**2 - i - 3*i**2 - 4 - 5*i. Let m be o(-7). Solve 0 = -3*y + m*b - 6*b + 12, -2*b = -3*y - 8 for y.
0
Suppose -2 = -20*z + 19*z. Solve -z*o - 4*j - 4 - 6 = 0, 4*j = 5*o - 3 for o.
-1
Suppose -7 = d - 3*n, 2*n = 4*d - 2*n + 4. Solve 3*f = d*g, 11 + 10 = -5*g - 3*f for g.
-3
Let g = 39 - 28. Suppose 3*r - 5*c + 1 = 0, 0 = r + 5*c - 2 - g. Suppose -5*t - 4*v = 12, 0 = 2*v - 0*v + 6. Solve 24 = -5*f + m - r, t = -5*f - 5*m - 15 for f.
-5
Let n = -11 + 22. Suppose -4*m = -n - 9. Solve 3*i = m*k + 8, -2*k = -0*k - 5*i + 7 for k.
-1
Let n(y) = -y**3 - 1 - 4*y**2 + 0*y**3 - 4*y + 0*y**3. Let c be n(-3). Solve -2*l - 3*v - 6 = -c*v, v = 0 for l.
-3
Suppose -3 = -2*l + 3. Solve 3*c - a = 17, 7 = l*c + 3*a + a for c.
5
Let g(f) = f - 4. Let l be g(6). Suppose 2*p = -2*o - 2*o + 14, l*p = 5*o - 4. Solve -22 = 4*m + p*c, 3*m = -m - 4*c - 24 for m.
-4
Let b(v) be the third derivative of 1/2*v**3 + 0*v + 1/24*v**4 - v**2 + 0. Let r be b(-3). Solve 4*h + 4*z = 13 + 7, r = 4*h - 3*z - 13 for h.
4
Let u(m) = -m + 1. Let d be u(-4). Let l = -2 + d. Let q be 8/(-6)*39/(-2). Solve 4*g + l*i = -g - q, 0 = 3*g + 2*i + 16 for g.
-4
Let h be 2/5 + 51/(-15). Let l be 2 - 2/h*3. Let u be 4*(34/8 - 0). Solve 4*g = u - 1, -2*o = l*g - 26 for o.
5
Let u = -42 - -47. Solve -5*m + 21 = -u*f - 29, -f = -4*m + 25 for f.
-5
Let d(t) = 17*t**3 + t**2 - 2*t + 1. Let x be d(1). Let a = x + -11. Solve -7 = 3*p + f, -p - a*f - 4 = -4*f for p.
-2
Let g(j) = 5*j**2 + 2*j + 1. Let u be g(-3). Let o = -28 + 39. Solve 5*c + 0*c - u = 5*i, -o = 2*i - c for i.
-3
Let o(s) = -2*s + 12. Let d be o(8). Let g be (-2)/(-4) - 18/d. Solve g*a + 4*w = 10, -10 = a - 6*a - 3*w for a.
2
Let y be (-4)/8 + 22/(-4). Suppose 0 = 4*k + 38 - 6. Let x be (9/y)/(6/k). Solve -2*m = -10, 4*f + f + x*m = 20 for f.
2
Suppose 24 = -w + 4*w. Let q = w + -3. Suppose 4*u = -q*t + 1, 0*u - t + 13 = 4*u. Solve 5*p + u*z + 31 = 0, 19 - 46 = 5*p + 3*z for p.
-3
Suppose 5*f - 21 = -0*f + p, -5*p = -5*f + 25. Let k(i) = -i**2 + 3*i - 2. Let o be k(3). Let q be ((-4)/8)/(o/12). Solve 4*w + f = q*t, -t = 2*t for w.
-1
Suppose 130*m - 127*m - 6 = 0. Suppose 0 = v - 0*v - 2. Solve -19 = -5*b + v*s, m*b - s - 9 = -2 for b.
5
Let q be (-6)/(-9) - 8/(-6). Let p be (-1)/1*(q + -3). Suppose i = 3*i. Solve 5*h + 2*l + 17 = l, -4*h - 5*l - p = i for h.
-4
Suppose 3*s - 7*s - 8 = 0. Let f(o) = -o + 2. Let d be f(s). Let z be (d/(-10))/(1/(-5)). Solve x = 2*x - 2, -4*x = -z*u - 8 for u.
0
Let u = 38 + -27. Suppose -12 = 