k - 24, 0 = 2*k - 3*j - 19 for k.
5
Let q(h) = h**3 - 3*h**2 + 2*h. Let s be q(3). Let v be (-8)/(-12) - (-56)/s. Suppose u + u - v = 0. Solve 5*g = 3*p - 1, -4*p - u = 7 for g.
-2
Let a be (-4)/(-3)*(-3)/(-2). Suppose -2*b + 3*r = -3*b + 8, 0 = -b - a*r + 5. Let f = 5 + b. Solve 5*z - 20 = f*j, z - 1 = -2*j + 3 for z.
4
Suppose -2*y - 32 = -2*k - 0*k, 32 = 3*k + y. Solve z + k = -5*n - 0*z, -3*z - 6 = 0 for n.
-2
Suppose -4*k = 4*q - 28, -2*q + k = q - 13. Solve 0 = 5*g - 3*y - 23, -21 = -q*g + 4*y - 3*y for g.
4
Let b be 0*(-4 + 3) - -24. Solve -p = 5, 3*x + 0 = 3*p + b for x.
3
Let a = 40 - 40. Solve -3*j - 4*s - 2 = a, j + 2*j + 5*s = -4 for j.
2
Let o = 3 + -1. Solve 4*p + o*x = -0*p - 4, -4*x = 3*p + 13 for p.
1
Suppose 0*i = -4*i + 36. Suppose -19 = -4*t - 3. Let m = i - t. Solve 0 = 2*z + q + 3*q + 26, 0 = -q - m for z.
-3
Suppose 0 = -0*k - 5*k + 2*v + 35, -2*k = -4*v - 30. Let a be -5 + -6*(-10)/6. Solve a*f = -k, 0*y - 3*y + f + 16 = 0 for y.
5
Let c = -5 + 5. Let o be (8/(-1))/(c - 2). Solve -l + 2*t + 3 = -2, o*l + 15 = t for l.
-5
Suppose c + 4*c - 4*a = -4, 2 = 2*a. Let q be (2 - 1)/((-3)/(-6)). Suppose c = 3*m - q*m - 5. Solve -5*r + 12 = 4*v, 3*v - 8 = -m*r + 1 for r.
0
Let i be 4/(-14) - (-11)/((-231)/(-258)). Solve -t + i = 2*p, -2 - 14 = -2*p - 2*t for p.
4
Suppose 0 = 3*y - 16 - 2. Suppose 18 = -3*t + y*t. Solve -t*j - 5*o - 36 = -2*j, -4*o - 20 = j for j.
-4
Let b = 7 - 7. Suppose b*d + 15 = 3*d. Suppose d*y - 74 = 3*y. Solve -11 = 3*n - s, -3*s = 3*n + 2*n + y for n.
-5
Let t(f) = -f**2 - 7*f - 6. Let d be t(-5). Suppose d = 3*n - 8. Solve -n*q - l - 10 = q, l = -4*q - 7 for q.
-3
Let k = 1 + 7. Let y(n) = -n**2 + 8*n + 3. Let u be y(k). Solve 2*s - 18 = 2*q, -s = -u*s - 3*q - 7 for s.
4
Let u be (-1)/(-2)*-14 + -3. Let b = u - -12. Solve 0 = 2*w - 0*w + 2*q - 10, -2*w + 2 = -b*q for w.
3
Suppose 5*y - 2*i = 2*y + 20, 3*y = 4*i + 16. Let n = 32 - 17. Let q = n - y. Solve -h + 4*p + q = -6*h, 9 = -3*p for h.
1
Suppose 0 = 5*y - 4 - 11, -t + 5*y - 8 = 0. Solve 0 = 4*r - 4*n - t - 5, 2*r + n - 3 = 0 for r.
2
Let b be ((-14)/(-35))/((-1)/(-5)). Solve -b*n = -2*r + 16, -n + 5 = 3*r + 1 for r.
3
Suppose 7 = 4*k + 3. Suppose -2*n - 2*u = 43 - 7, 0 = -3*u. Let o be (-3)/k*30/n. Solve -o*d + 7 = -6*d - j, 13 = -3*d + j for d.
-5
Let h(g) = -g**3 - g**2 + g + 2. Let d be h(0). Let u be (-3 - -5) + 0 + 2. Solve d*y = y + 5*r, -u = -4*r for y.
5
Let g be (2*6)/4 - 0. Solve -y = -g*i - 11, -i + 3*y - 2 = -9 for i.
-5
Suppose -5*u - 6 = -2*i - 54, -u - 4*i + 14 = 0. Let q = u + -8. Solve -4*v + 0*v = -4*p + 24, v = q*p - 11 for v.
-1
Let g be 2 - 6/(2 + 1). Let r = g - -2. Solve 5*i + 26 = -2*o, 0 = r*o + 2*o + 12 for i.
-4
Suppose 0 = -3*a - 2*a - 5*q - 15, -4*a - 3*q - 10 = 0. Let y = 4 + a. Solve y*x = -t + 20, -2*x + 20 = 2*t - 0*t for x.
5
Suppose -8 = -0*i + 2*i. Let d be (i/(-2))/((-2)/(-4)). Solve -a = -d*m + 15, 2*a - 3*a + 20 = 3*m for a.
5
Let z(a) = -11*a - 31. Let d be z(-5). Let u be ((-6)/(-8))/((-2)/(-8)). Suppose 8 = -u*i + 5*i. Solve 0 = i*w + 5*l + d, w - 9 = 6*w + l for w.
-1
Let z be 1644/(-14) + 9/21. Let f be (-3)/2 - z/18. Solve -3*r - 3*v - f = -r, 0 = 5*v + 5 for r.
-1
Let f(h) = h**2 - 4. Let q be f(-3). Suppose 4*s - 3*s = q. Solve -4*x + k = -5, -12 = 5*x + s*k + 13 for x.
0
Let c = -92 - -94. Suppose d = 5*d - 60. Suppose 3*b + 2*b - d = 0. Solve c*l - 3 = b*i, 2*l - i - 2 = 3*i for l.
3
Let x(d) = 6*d**3 + 8*d**2 + 5*d + 4. Let l(b) = b**3 + b**2 + b + 1. Let n(o) = -5*l(o) + x(o). Let w be n(-2). Solve r = 3*f + 12, -w*r + 21 = -3*f + r for f.
-3
Let y(f) = -f + 5. Let o be 2 - (15 - 0/1). Let k = 8 + o. Let r be y(k). Solve -5*c + r = -5*i - 0*c, -21 = 3*i + 2*c for i.
-5
Let g(n) = n**2 + 5*n + 2. Let y be g(-5). Suppose -l - 7 = -y*l. Solve 3*t = s + 6 - 1, 0 = t + 5*s - l for t.
2
Let f = 26 - 6. Suppose -16*z + f*z - 12 = 0. Solve -2*j - 4 = 5*y - 3*y, -z*j - 10 = y for j.
-4
Let j = 42 - 26. Solve 5*v = -q - 14, 5*v = -q + 2*q - j for q.
1
Let v(u) = -u**2 + u + 19. Let m be v(0). Solve 0*h = -3*b + 4*h + 23, 2*h = 3*b - m for b.
5
Suppose -5*r - 5*k + 30 = 0, r - 3*k + 1 - 3 = 0. Solve -n + 5 = 2*o, -o + 0*n - r = -2*n for o.
1
Let v = 7 + 5. Solve 3*c + 2*m = -v, -m - 18 = 3*c + 3*m for c.
-2
Suppose 11 - 7 = 2*r. Solve -3*c = r*o - 9, -2*c = -3*o + 2*o - 13 for o.
-3
Let v be (0 + -1)*27/(-9). Solve v*n - 17 = -5*w, 5*w + 19 = 4*w + 5*n for w.
1
Let h = 7 - 19. Let b be (3*1)/((-9)/h). Suppose -b*x = c - 8, 3*x - x - 14 = -3*c. Solve -c*j + y - 10 = 2, 8 = 2*y for j.
-2
Let w(g) = 5*g**2 + 21*g + 6. Let i be w(-4). Solve -5*s - 15 = 0, -i*s + 7 - 3 = 5*n for n.
2
Let u be (-22)/(-12) + 4/24. Suppose -u*z = -10 - 18. Solve 5*v - 4*s + 41 = -0*s, 2*v = s - z for v.
-5
Let z = -22 + 24. Solve -z*d - m = 10, -m + 1 = d + 7 for d.
-4
Let o(n) = n**2 - 4*n + 5. Let x be o(4). Suppose k - x = -5*q + 5, -k + 5*q = 0. Solve t - 2*i - 3 = -0*t, -2*t = -k*i - 7 for t.
1
Let b be 2 + -1 + 1 + 1. Let d = b - -10. Solve 5*w + 3*q + d = 0, -4*w + 0*q - 3*q - 11 = 0 for w.
-2
Let k(n) = -2*n**2 + 14*n + 2. Let j be k(7). Solve -3*i + j*o + 8 = 0, -2*i = o - 3*o - 4 for i.
4
Let f be ((-1)/(-3))/((-2)/(-12)). Suppose 3*v + 24 = 2*p - 0*v, -p + v = -10. Solve 5*z + 24 = -o, -o + 3*z + p = -f for o.
-4
Let g(o) = o**3 - 4*o**2 + 6*o - 7. Let x be g(3). Solve -j - 3*s + 8 = j, -5*s = x*j - 8 for j.
4
Suppose b - 12 = 4*b. Let h be (-16)/(-10) - b/10. Solve 0 = -5*v - h*p - 35, -v = 3*p - 0*p + 20 for v.
-5
Let x(u) = -2*u - 2. Let v be x(-3). Suppose v*p = 9*p - 225. Solve -4*h - 5 = -3*d - 4, -5*h - p = 5*d for h.
-4
Suppose 0 = -l + u + 3, 0 = 2*l + 2*u + u - 16. Solve l*d - 2*v + 2 + 9 = 0, 3*d = 3*v - 3 for d.
-3
Let y(u) = -u**3 + 7*u**2 - u. Suppose x - 2*p - 3*p = -13, 5*x - 19 = 4*p. Let i be y(x). Let g = i + 10. Solve -g*m - w = 1, 25 = 2*w + 3*w for m.
-2
Let k be (15/20)/(3/20). Solve 3*s - 25 = -d - 2*s, k*d + 20 = 4*s for d.
0
Let t = -21 - -34. Suppose v = 2*r - 4*r + t, -5*v = -5*r + 10. Solve 0 = -j + 3*j - 4*i - 2, -5*i = -r*j - 10 for j.
-5
Let i = -15 - -19. Suppose 4*l - 80 = -i*z - 0*l, -z = -5*l - 8. Solve o - 3*a = -o - z, 10 = -2*o + a for o.
-3
Let f(v) = -v**2 + 4*v + 26. Let q be f(6). Solve 3*u + 5*o + q = -0*u, 3*u - 5*o + 4 = 0 for u.
-3
Let k = -3 + 8. Suppose 9 = -2*o + k*o. Solve 5*p + d = 7 + o, 4*d + 14 = -2*p for p.
3
Let t be ((-13)/2 - -6) + (-2)/(-4). Solve o - p - 7 = t, 3*o = -o + 3*p + 24 for o.
3
Suppose -17 = -c - 3. Suppose -9 = -5*u - 2*g, -4*g = -3*u + 7 + c. Solve 2*o + 5*t = -u, t - 1 = -5*o + 3*o for o.
1
Let z(w) = w**3 - 7*w**2 - 8*w + 5. Let n be z(8). Solve 0 = -3*o - 5*v + 10, 4*v + n = 5*o + 13 for o.
0
Let x be (2 + 10)*2/4. Solve 0 = 4*o - 2*u - x, -5*o + 5 = u - 6 for o.
2
Let p = 1 + 3. Let x(t) = 2*t**3 - 4*t**2 + 2*t. Let k be x(2). Let z be 22/k - (-2)/4. Solve -a - z = a - p*f, -f = -a for a.
3
Let g be (45/(-6))/(3/6). Let h = 23 + g. Solve -3*w + 3*n - 25 = 8*n, -h = 2*w - n for w.
-5
Suppose 39 = -2*a + m, -96 = 6*a - a - 4*m. Let c = 29 + a. Solve s = -2*o + 7, -1 = o + 5*s + c for o.
5
Let z be (-309)/(-21) + 2/7. Let y = -11 + z. Suppose 5*u = -2*i + 13, y*i - 4*u - 11 = u. Solve 2*v = -3*p + 3, -i*v + 7 + 5 = 0 for p.
-1
Let b(i) = -5*i**3. Let m be b(1). Let v = 7 + m. Suppose v*c - 5 = -1. Solve -5*l - 3*y - 14 = 0, 0 = -2*l + c*y + 7 - 3 for l.
-1
Suppose -4*i - 3 = -31. Solve 0 = 2*o - i*o + 25, -2*y - 4*o + 26 = 0 for y.
3
Let a = 6 - 4. Suppose -3*u - 15 = 0, -2*m + 3*m = 2*u + 14. Let t = m - a. Solve -2*x + 4*d - 2*d = 2, -t*d - 6 = -4*x for x.
4
Suppose 6*j = 2*j - 3*i, -3*i = 2*j. Suppose j = -3*o - 2*o. Let h = 9 + -2. Solve -3*k = 2*z + 3*z - h, o = 4*z - 5*k + 24 for z.
-1
Let r(i) = i**3 + 5*i**2 - 8*i - 8. Let x be r(-6). Solve 4*n - x*o + 5 = 1, -17 = -n - 5*o for n.
2
Suppose 2*a - 1 = o, -20 = 2*a - 6*a - 4*o. Solve a*t - 4*h = -h - 21, -2*h = -4*t - 22 for t.
-3
Let x(s) = s**2 + 5*s - 10. Let i be x(-7). Solve 11 = -2*v - 3*g, 2*g + 0*g = -i*v - 2 for v.
2
Let l(w) = 2*w**2 - 1. Let i be l(3). Suppose -3*t + p = -10, p + 3*p + 14 = -t. Let s be (-36)/(-21) + t/7. Solve 5*d - 25 = 0, 2*f - i = -5*d + s for f.
-3
Suppose -68 = -5*v + v. Solve -a - v = -3*p, -p - 2*p = -4*a - 23 for p.
5
Suppose 0*o - 9 = 3*o. Let a be -3