 x*s + q - 3, -3*q = -3*s + 3 for s.
-1
Suppose -s - 55 = 4*s. Let m = 7 + s. Let u(z) = -z. Let p be u(m). Solve -5*f + 4*r = -2, 6*r - r + 7 = p*f for f.
-2
Let z = -15 + 19. Solve w - 3*p + 18 = z, w - 26 = -5*p for w.
1
Let g be 3 - (-3)/(6/(-2)). Let j(a) = 2*a**3 - 3*a**2 - a + 2. Let f be j(g). Suppose -f = -p - 0*p. Solve -4*v + p*o - 4 = 0, v + 25 = -7*o + 2*o for v.
-5
Let d = 2 + 3. Solve 4*h = -d*o + 11, 4*o = 2*h - 4 - 8 for o.
-1
Let i be 3/9*1*(95 - 2). Suppose 0 = 4*g - 12. Solve g*j = -4*c + j - 16, 5*c - 3*j + i = 0 for c.
-5
Let f = 6 - 3. Let p be (1/3)/(2/18). Solve p*u - 2*m = -3*m - 17, -f*m - 6 = 0 for u.
-5
Suppose 4*y - 4*q = 4, 4*q + 2 = y + 1. Let x be (-2 - y)*12/(-9). Solve 5*g - 2*w = -6 - 11, 5*g + 19 = x*w for g.
-3
Suppose 4*d = 7 + 1. Let j = 5 - 1. Let o be (-4 + 0)/2*-1. Solve -5*i + j = -0*i + o*a, -i - d*a = 4 for i.
2
Let h = 14 + 4. Suppose 0 = v + v - h. Let l be (-28)/(-35)*(v - -1). Solve 3*b = -2*i + i - l, -3*i - 16 = 5*b for b.
-2
Let u be (-4)/(-16) + 13/(-4). Let j be ((-5)/(-3))/((-1)/u). Solve 1 = -2*a + j*m, -2*a + 6 = 2*a - 2*m for a.
2
Let i = 37 + -35. Solve 0 = 2*d - 3*c + 19, 2*d + i*c + 1 = 7 for d.
-2
Suppose 1 + 17 = 2*p + 2*n, 27 = 4*p + n. Suppose -5*o - b + 3 - 5 = 0, -8 = -3*o + 4*b. Solve 0 = -f - o*c + 3*c - p, 3*f = -c - 8 for f.
-3
Let p be (-9)/(27/6 - 3). Let q be 34/(-10) + p/(-15). Let o = -1 - q. Solve -t - 3*t - 2*k = -26, t + 1 = o*k for t.
5
Suppose 6*c - 3*c - 3*y = 12, -5*c + 8 = -2*y. Solve c = 3*k, -5*k - 1 = b + 2 for b.
-3
Let l = 12 - 7. Solve 0 = -k + l*k + 2*j - 6, -3 = 3*j for k.
2
Let s(v) = v**3 - 2*v**2 - v + 4. Let t be s(3). Let u = -1 - -4. Suppose -u*h + h + t = 0. Solve 4*y - 5*d = 0, -h*y = 3*d - 6 - 31 for y.
5
Suppose u - 11 = -7. Solve -u*j - 13 = 3*i + 8, 0 = 4*i + 12 for j.
-3
Let m(o) = o - 3*o + 7*o. Let n be m(-2). Let f be n/(-35) + (-68)/(-7). Solve 0 = -b - 4*d + f, 2*d - d = b for b.
2
Let k be 34/8 - 1/4. Solve 2*l - 10 = -o - 0*o, 4*o = -k*l + 24 for o.
2
Suppose k - 3 = -1. Suppose 4*a - a - 19 = k*i, 3*i = -5*a + 57. Solve -2*n = -3*j - 1, -a = 2*n + 5*j - 34 for n.
5
Let i be (-30)/9*(-2 + -16). Let g be (6/5)/(18/i). Solve -3*j + g*s + 6 = s, -4*j + 11 = -s for j.
3
Let p(j) = j**2 + 7*j + 8. Let c = -20 + 14. Let q be p(c). Solve -2*b + 3 = n, -5*n - b + 22 = q*b for n.
5
Let g = 12 - 10. Let i(o) = -o**2 + 7*o - 7. Let y be i(6). Let l(r) = -5*r. Let f be l(y). Solve -3*k - v + g = 4*v, f*k + 2 = -3*v for k.
-1
Let k = -4 - -1. Let q(u) = -u + 2. Let g be q(k). Solve g*l = i + 28, -7*i = -2*i - 5*l + 40 for i.
-3
Let r(v) = v**2 - 8*v - 1. Let y be r(9). Let f = 10 - y. Suppose -2*l - 3 = -3*l. Solve -f*h - 5*j = 13, 2*j = l*h - 6*h - 3 for h.
1
Suppose -4*c = -2*c. Suppose 0 = -2*t - c*t + 2, 3*f + t - 1 = 0. Suppose -4*i - 12 = 0, -4*l - 2*i = -6*l + 10. Solve f = -q + l, p - 4*q + 1 = -12 for p.
-5
Let q = -4 + -5. Let j = 12 - q. Solve -2*v + 3*d + j = v, -2*d - 22 = -4*v for v.
4
Suppose -6*o = -4*m - o + 13, 0 = 3*m - 5*o - 11. Suppose 6 = m*t - 0. Solve z - t*g = -7, -5*g = -3*z - 4 - 5 for z.
2
Let i be (-15)/(-1 - (-7)/10). Let z = i - 36. Solve -k = -4*l + 12, -5*k - l = -k + z for k.
-4
Let m = 2 - 0. Suppose 0 - m = -h. Solve 0 = -3*o + 3*i + 18, -h*i = 3*o - 0*o - 3 for o.
3
Let y(r) = -r + 32. Let j be y(23). Solve -5*a = -n + j, 3 = -n - a - 0 for n.
-1
Let j be 28/6 + 4/(-6). Let l be -3 - (38/(-2))/1. Solve l = -j*w, -2*r - 4*w + 0 - 14 = 0 for r.
1
Let w be 6/21 + 57/21. Suppose 2*j - 4 = -2*y + 2, 0 = w*y - 5*j + 15. Solve y = 4*g - 5*h - 8, -2*g + 3*g = h + 1 for g.
-3
Suppose -2*r = -7*r + 10. Solve 3*d - 2*i + 2 = 0, 0 = -r*d - 3*i + 4*i for d.
2
Let l be -1 + (2/(-2) - -2). Let w(b) = 3*b + l*b - 4 + 0*b. Let s be w(6). Solve -j - 2*f = -s, 0*j + 5*j + 2*f - 30 = 0 for j.
4
Let p be 2/(-8) + (-19)/4. Let s = p - -7. Suppose -5*j + w = -14, j + 2 = 4*w + 20. Solve -3*v = s*i - 21, -i - 2*v = j*i - 19 for i.
3
Let u be -6*12/126*-7. Solve 5 = -u*i + 4*b + 1, b - 13 = -2*i for i.
4
Let x be -6 - -1*32/4. Solve x*n - 2*q + 7 = n, 0 = n + 5*q - 14 for n.
-1
Let b be (-20 - -21) + 2/2. Solve 0 = -2*j - 6, 3*j = 3*w + b*w - 4 for w.
-1
Let k = -43 - -46. Solve -x + k*n + 0 = -3, 2*x - 4*n - 2 = 0 for x.
-3
Suppose -c + 5*p - 25 = 0, 3 + 2 = p. Let t be (12/(-10))/((-2)/(-10)). Let g = t - -10. Solve -b = -g*s + 21, 2*s + 0*b - 2*b - 18 = c for s.
4
Let p = 11 + -6. Let b(k) = k - 3. Let i be b(6). Let h(j) = 6*j + 18. Let t be h(-3). Solve i*g - 22 = p*q, t*q + 16 = 4*g - 4*q for g.
-1
Let y(l) = -l**3 - 2*l**2 + 2*l + 1. Let w be y(-3). Suppose 9 = 3*m - 0*a - 3*a, w*a = m - 12. Solve m = -4*c - 2*q + 4*q + 24, 2*c - 2*q = 16 for c.
4
Suppose -4 = u + u. Let c(j) = -j**2 - 2*j + 2. Let r be c(u). Suppose -4*h = -r*h. Solve 0 = -4*b - z - 8, h = -b + 3*z - 7 + 18 for b.
-1
Let m(q) = -q**3 - q**2 + 17*q + 5. Let v be m(-5). Solve -5*p - 6 = -4*n, -v = -2*p - 5*n + n for p.
2
Suppose -17*a + 14*a + 3 = 0. Solve 2*b = -c + a, -2*c + 4*b - 9 - 5 = 0 for c.
-3
Suppose 0 = -2*u - 3*u + 5*f + 55, f + 27 = 2*u. Solve -4*x - 5*c + u = 0, 17 + 7 = -4*x + 5*c for x.
-1
Let x(z) = -z - 10. Let f(w) = -2*w**2 - 2. Let n be f(2). Let y be x(n). Solve y = 2*d + 2*r + 6, 1 = -0*d + d - 3*r for d.
-2
Let k(q) = -q**2 + 6*q + 4. Let i be k(7). Let u(a) = a**3 + 2*a**2 - 4*a - 3. Let v be u(i). Solve v = 5*g - 4*x + 2, 5*g - 3*x - 2*x = 0 for g.
-2
Let f(w) = -w + 8. Let m be f(6). Suppose -2*k + 10 = 2*p, 2*p = m*k - 1 - 1. Solve -k*q = -u + 8, -4*u - 2*q + 20 - 2 = 0 for u.
5
Let d = -1 + 0. Let h = 1 + d. Suppose 2*j + o + 3*o - 26 = h, 3*j = -3*o + 45. Solve 0 = 2*r - 2*w - 0*w - 8, 3*w + j = 4*r for r.
5
Suppose -8 = -0*i - 4*i. Suppose -i*w + 0*w = 2*o - 38, -54 = -3*w - 2*o. Solve 4*b - 3*m - 28 = 0, -m + w = b - 4*m for b.
4
Let u be (438/8)/(2/8). Let o = u + -114. Suppose -8*d = -3*d - o. Solve 0 = 5*w - 15, k - 3*k + d = 5*w for k.
3
Let n(f) = -f + 11. Let s be n(10). Suppose 3 - s = x. Suppose -3*p + 5 = -3*t - 10, p - 10 = x*t. Solve -5 = -5*l, p*l - l = 4*z - 21 for z.
5
Suppose -k + 12 = i + 3*i, -2*i = -8. Let r = -10 + 2. Let u = k - r. Solve u*b + 10 = 2*c, c - 8 = 4*b + 5 for c.
-3
Let w(m) = -2*m - 27. Let j be w(0). Suppose 0*q - 3 = 3*q. Let x be j/(-6) + q/(-2). Solve -x*n = -n + 5*f + 11, 5*n + f = -19 for n.
-4
Let k = -87 - -115. Solve -6*t + 2*t + k = 2*g, 37 = 5*t + 3*g for t.
5
Suppose -24 = -w - 7*w. Solve 10 + 8 = -w*c + 5*q, 0 = -5*q + 15 for c.
-1
Let r = -104 - -104. Solve -c = -2*j - 6*c - 5, -j - 5*c = r for j.
-5
Suppose -3*z = -9*z. Solve -4*n + 5*l = z, 0 = 5*n + 5*l + 31 + 14 for n.
-5
Let y = 55 + -20. Solve 0 = -4*c + 2*o + 28, 2*o = 3*c - 3*o - y for c.
5
Let l = 27 + -24. Solve p + 4*k - 15 = 0, -l*p - 2*k - 10 = p for p.
-5
Let i = -10 + 11. Suppose -4*z = i - 21. Suppose 4*l - 3 = 9. Solve -2*h + 3*y = z, 0 = l*h + 2*y + 2 - 1 for h.
-1
Suppose -2 = -5*p + 3, 0 = 3*b + p - 1. Solve 0 = r + 2*x - 3 - b, -3 = -r + 2*x for r.
3
Let b(t) = 13*t**3 - 2*t**2 + 3*t - 2. Let z be b(1). Solve 2*u + z = -2*u, 0 = n - 3*u - 7 for n.
-2
Suppose 0 = -0*w + 2*w - 8. Suppose w*p - 8 = -5*a, 4*a = -5*p + 13 - 3. Solve a = 5*k - j + 28, -3*j + 9 = -k - 5 for k.
-5
Suppose -2*t + 1 - 1 = 0. Solve -5*l = -t*l - 5*p - 15, -2*p = 3*l + 6 for l.
0
Suppose m + 3*k = 0, m + 0*m - 5 = 2*k. Suppose -3*g = -3 - m. Solve -2*c = f + 5, 2*f - 10 = g*c + 4*f for c.
0
Let k be 96/15 - 6 - (-8)/5. Solve k*x = 2*u + 4*x + 8, -u + 2*x + 11 = 0 for u.
1
Let u(q) = -q**3 - q**2 - q. Let y be u(0). Suppose y*k + 3 = k. Solve k*n - 2*a + 11 = 4*n, 4*n + a = 16 for n.
3
Suppose -6*j + 17 = -13. Solve 0 = -j*k - 5*n + 50, -3*n + n + 10 = 0 for k.
5
Let q = 25 + -25. Solve 4*j + l - 15 = q, -2*j = -j - 2*l - 15 for j.
5
Suppose 4*w = 3*u - u - 24, 4 = -3*u - 4*w. Solve -o = -2*o, a - 2 = u*o for a.
2
Suppose 0*y - 2*y = -98. Suppose 9 = -4*s + y. Let j = s - 5. Solve 2*n - 19 = 3*i - 3*n, -j*i = n - 15 for i.
2
Let z(p) = 3*p**2 - p - 1. Suppose -s = -4*y + 1, 2*s + 3 = 5*y - 2. Let a be z(y). Solve a*u + 2*l + 8 = 0, 24 = -5*u + l + l for u.
-4
Suppose -1 + 23 = a. Let h be (-4)/22 + 70/a. Let s be h/(-9) - (-13)/3. Solve -3*k = -2*q + 15 + 3, -s*q - k = -8 for q.
3
Let b(d) = -d**3 + d. Let a be b(-1). Suppose -n - 3*c +