 4*f + 1 for m.
2
Let r(k) = -k + 18. Let u be r(16). Solve -a - g = -1 - 3, -10 = -3*a - u*g for a.
2
Let o(q) = q**3 + 5*q**2 - 6*q + 4. Let l be o(-6). Let p = l + 10. Let g = -89 + 93. Solve -5*i + 3*b = -3 + 1, -i + p = -g*b for i.
-2
Let h(m) = 6*m**2 + 9*m + 5. Let b be h(-4). Suppose 5*r - b = -5*o, -4*o = 5*r - 15 - 47. Solve 5*x + 2*c - r = 0, 5*x + 3*c + 20 = 7*c for x.
0
Suppose -5*v - 3 = w, -w + 5*v = 2 - 9. Solve w*g = 2*m - 6, 9 = -2*g + 4*m + 1 for g.
-2
Suppose 2*d + 3*d - 25 = 0. Suppose -36 = -8*i + d*i. Solve 0*v - j = 4*v - i, 3*v - 3*j = 24 for v.
4
Suppose 0 = 2*v - 3*v + 5. Suppose -3*b = -v + 5. Solve b = 3*p - d - 5, -3*p + d + 2 = -3*d for p.
2
Let s be (-2)/(-4)*136/17. Suppose z + 3*m = 10, s*z + m = 7*z - 10. Solve -4*u = -z*x - 14 - 10, 21 = 2*u - 5*x for u.
3
Let k = 19 + -13. Let z = 9 - k. Suppose -5*t + 15 = -n, -4*t - z*n = -4*n - 13. Solve 3*p = -x + 8, t*x - 2*p = p - 2 for x.
2
Let k = 61 + -55. Solve 4*c = -s + k - 0, 3*s - 6 = 0 for c.
1
Let s(v) = 4*v - 2. Let w be 35/(-14)*(-6)/15. Let f(l) = 3*l**3 - l**2. Let n be f(w). Let y be s(n). Solve 3*g + 15 = 0, y = 2*p - 3*g - 3 for p.
-3
Let z = -448 + 450. Let n(p) = -p - 11. Let l be n(-13). Solve -f = l - 6, -2*s + z*f - 4 = 0 for s.
2
Let j(d) = -2*d**3 - 6*d**2 + 8*d. Let a be j(-4). Solve a = 3*b - 5*y + 12, -6*b + 4*y = -9*b + 15 for b.
1
Suppose 8*v = 128 + 32. Solve -v = -4*n + k, 0 = -3*n - 5*k - 1 - 7 for n.
4
Suppose -5*z - 9 = -3*j, -3*j - 6*z + 9 = -2*z. Let x(g) = g + 6. Let w be x(0). Let d = w - 2. Solve -y - 15 = -j*c + y, -6 = 2*c + d*y for c.
3
Let m be (-816)/85 + 4/(-10). Let y(v) = -2*v - 16. Let q be y(m). Solve -4*s - 4 = 3*r - q*r, -s = 2*r + 10 for r.
-4
Let t be 0 + 2584/(-28) + 4/14. Let v = -92 - t. Solve -4*w + 2*y - 23 + 1 = v, 20 = 4*y for w.
-3
Let h = 285 + -152. Let q = h + -130. Solve -q*u + 2 = -3*z - 1, 3*u + 7 = z for z.
-5
Let q = 12 + -7. Let n be (q/3)/((-11)/(-66)). Solve 0 = t + 2*c - 6*c - 10, -c - n = -4*t for t.
2
Let l = 250 + -247. Solve -t = -j + t - 8, 3*t - l = -3*j for j.
-2
Let n = 298 - 296. Solve 0 = -j + 5*m - 28, 2*j + n*m = -m + 9 for j.
-3
Suppose -7 = r - 7. Suppose -4*c - 2*v = -5*v + 3, -2*c - 2*v + 16 = r. Solve 2*g = -3*g + c*d + 22, g - 5*d = 22 for g.
2
Suppose 13 + 47 = 15*x. Solve -9 = -u + x*r, -5*u + 2*r = -2*r - 29 for u.
5
Let h(y) = y**2 + 3*y - 9. Let a be h(-8). Solve -a = 4*w - 5*g, 0 = w - 5*g + 6 + 13 for w.
-4
Suppose -2*n + 9 - 3 = 0. Suppose 11 = 4*j + n. Suppose -3*x = -8*x + 5*k + 25, -10 = -3*x + j*k. Solve x = u + 2 + 2, 3*c + 1 = 2*u for c.
-3
Suppose -l - l = -3*p - 18, -2*p = -2*l + 12. Let u be ((-3)/p)/(2 + (-7)/4). Solve 0 = -u*m - 5*z + 17 + 1, 3*m + 3*z = 18 for m.
4
Let p be (-3)/(-2)*2/1. Let z(d) = 13*d - 60. Let u be z(5). Solve -7 = -0*q - p*q - 4*t, -u*q + 2*t = 23 for q.
-3
Let b be 4/(3 - 4) + (7 - 0). Solve -4*u - 3*q = -14, b*u + 8*q - 3*q = 16 for u.
2
Suppose -5*q = -4*q - 2*p + 4, -4*q = -5*p + 10. Solve -8 = -2*z, 3*r - 4*z + 31 = -q*z for r.
-5
Suppose 3*d + 14 = j, -j = -5*d + 10*d + 10. Solve -j*p + 5*u = -35, 4*u = -5*p - 0*p + 8 for p.
4
Suppose -z = -z + 4*z. Suppose -20*n + 19*n - 8 = 0. Let s be (-12 + z)*2/n. Solve -3*p + s*q - 15 = -8*p, -5 = -q for p.
0
Suppose 5 + 15 = 4*b. Suppose 8 = b*k - 17. Solve 0 = -y, -w + 3 - 4 = -k*y for w.
-1
Suppose -5*q + 15 = v, -28*v = -q - 32*v - 16. Solve q*a - 5*r + 4 = 8, -4*a - 3*r + 4 = 0 for a.
1
Let t be 6/(-9)*78/(-4). Let v = t - 10. Solve -v*g + 2*x + 5 = 0, -2*x = -g + 3*g for g.
1
Suppose 26*w = 31*w - 20, 1 = -5*s + 4*w. Solve -5*l = 3*u + 5 - 2, 0 = s*l + 9 for u.
4
Let g = -10 + 12. Suppose -g*q = -18 + 56. Let r = -16 - q. Solve -f - 5*u + r = -7, 0 = 4*u - 12 for f.
-5
Suppose 0 = 4*b - 3 - 9. Let l(z) = z**2 - 3*z + 3. Let m be l(b). Let u = 3 - m. Solve -a - 2 = 2*c, 3*c + c - a + 4 = u for c.
-1
Suppose 5*c - 2*u - 2 = 0, 72*c + 5*u = 74*c + 16. Let y(o) = o**3 + 6*o**2 + 4*o - 1. Let q be y(-5). Solve -c*h = 5*v - 11, -h = q*v + h - 10 for v.
1
Let f be (-330)/(-10)*(-8)/(-12). Solve -2*i - f = -p - 7*i, 2*p - i = 0 for p.
2
Let f = -31 - -31. Let v be (f + -1)*(-2 + 2). Solve 6*n + 30 = 5*l + n, -l + 5*n + 26 = v for l.
1
Suppose -4*q + j + 13 = 0, 3*q - 17 = q - 3*j. Let x be (52 + -2)/(-10) + 15. Solve t + q = 3*y - 0*t, -5*y + x = -5*t for y.
1
Let o(p) = -p + 1. Let h(a) = -7*a - 27. Let m(n) = h(n) - o(n). Let z be m(-5). Solve -z*c = 5*f - 12, -4*c = 2*f + 1 + 7 for c.
-4
Let s be -31 + (-8)/(-2) + 1. Let v = 26 + s. Let b be v*(2/(-6) - 0). Solve n - h = -b*h - 1, -n + 2*h = 0 for n.
-2
Suppose -4*f + 2*b = -120, 7*b = 6*b - 2. Solve -5*k = -h + f, 17 = -3*h + h - 5*k for h.
4
Suppose -a + 3*a = 62. Suppose 4*f + 4*r - 5*r - 17 = 0, 2*r = -5*f + a. Suppose 3*d - 4*d + f = 0. Solve -4*u - 26 = -3*b, 2*b + 21 = -4*u + d for u.
-5
Suppose 5*z - 3*z - 10 = 0. Let c(m) = -4*m - 18. Suppose 4*x + 35 = -3*j, 2*j - 28 + 13 = 5*x. Let n be c(x). Solve -o - n*o + 16 = -z*d, d + o = 0 for d.
-2
Let x(c) = -c + 2. Let j be x(-1). Suppose -f = j*f + 16, 5*o + 2 = -3*f. Solve 3*h - 13 = -o*b, -6 = -4*h + 14 for b.
-1
Suppose -185 = -6*k - 35. Let d be (1 - 1) + (30 - 1). Let m = d - k. Solve -2*q = -5*x - 18, -3*x + 4*q + m = 26 for x.
-2
Suppose 11 = -3*d + 4*q - 34, -60 = 4*d + 4*q. Let t(s) = -2*s - 25. Let m be t(d). Solve 2*h - 4*h - 1 = x, 25 = -m*h + 5*x for h.
-2
Let y(q) = -q**3 + 3*q**2 - 3*q + 1. Let d be y(2). Let j be (d - (1 + -2))/(-10 + 11). Solve 0 = 5*n + 3 + 2, j = 5*c - 3*n - 8 for c.
1
Suppose -3*f - 24 = -9*f. Suppose f*q = j + 83, -q + j + 23 = 3*j. Let d = q + -19. Solve 5*m - 30 = -2*a - d*a, -2*a - m + 12 = 0 for a.
5
Let a(s) = -s**2 + 18*s - 5. Let u be a(18). Let m be (-7)/(175/(-15)) - 17/u. Solve 2*p + m*d - 8 = -0*p, 1 = -5*p - 3*d for p.
-2
Let y(o) = -o + 1. Let q be y(1). Suppose q = -154*n + 155*n - 11. Solve s = i + i - 12, -3*s + i - n = 0 for s.
-2
Let d = 2 + -10. Let z(y) = 2*y**2 + 10*y - 3. Let h be z(d). Let b be 0 + 2/1*1. Solve -5*p + h = -3*u - u, b*u + 30 = 4*p for u.
-5
Let u be ((-3)/(-9))/((-2)/(-18)). Let f(y) = y**3 - 3*y**2 - 8*y + 6. Let k be f(5). Let r = k + -11. Solve -u*b + r*g - 6 = 0, g - 4 = 3*b - b for b.
-2
Suppose 11 - 3 = 2*v. Suppose -40*q + 45*q = 4*w - 10, 4*w = 4*q + 12. Solve t + 13 = v*l, -2*t = -5*l + q*t + 8 for l.
4
Suppose 0 = -2*o - 0*a - a + 78, -4*o + 136 = -3*a. Let m = o + -29. Let p = -4 + m. Solve -p*q + 5*v + 17 = 0, 2*v - 4 = -3*q - 3*v for q.
3
Let m be (-5 + 0)*2/(-5). Solve -5*f = 3*o - 14, f + 4*o - 11 = m*f for f.
1
Suppose -d - 45 = -4*d. Let i be d*1/(12/(-4))*-1. Solve 4*l + 8 = 4*w, 4*w + 3*l = i*l + 14 for w.
5
Let o be (6 - 172) + (2 - -2). Let s be o/(-30) + 4/(-10). Suppose -26 = -h + 3*u - 7, -5*u - 21 = h. Solve -s*q - h*t = -0*q + 27, 4*q + 18 = -2*t for q.
-3
Suppose 5*s - 515 = -5*c, 0 = 3*c - 3*s - 53 - 262. Let g = 106 - c. Solve -4 = 2*b + g*f - 8, -2*f - 17 = -5*b for b.
3
Suppose 0 = -546*c + 553*c - 35. Solve 5*h - 20 = 5*g, -c*h = 2*g - 4*g - 20 for g.
0
Suppose -4*l = -20, 0 = 4*c + 2*l + l - 27. Solve n = -c*h - 0*n - 1, 2*h - 6 = -4*n for h.
-1
Let f = 134 + -131. Suppose -3*o + 4*r = -118, 2*r = 1 - f. Solve o = 5*b + 3*h + 16, 4*b - h = 21 for b.
5
Suppose 80*x - 66*x - 42 = 0. Solve -b + y = -x*b + 4, 2 = b - 5*y for b.
2
Let a = 70 + -34. Suppose 4*b = -5*q + a, 4*q = 2*b + 3 + 5. Solve u + 2*x = -0*x, b*x = 5*u for u.
0
Suppose -3*l - 80 = -7*c + 3*c, -5*c = 2*l - 77. Let p = c - 12. Solve 2*k - 3*z = -10, -4*k - p*z - 2 = -2*z for k.
-2
Let v(l) = 3*l**2 + 28*l + 80. Let t be v(-5). Solve x = -3*g - 16, -2*g - 13 - t = 5*x for x.
-4
Suppose 0 = -3*s - 3*h, -16*h = 4*s - 18*h. Solve s = -m - 3*u + 6, 2*m + 2*u = -u + 9 for m.
3
Let j = -129 - -226. Let a = j - 94. Solve -r = 3*r, -3*g + a = 2*r for g.
1
Let a = -24 + 26. Let m(g) = -g**3 + g**2 + 5*g - 2. Let f be m(a). Solve -2*y = -3*y - 3*h + 17, y - 21 = -f*h for y.
5
Suppose -11 = -2*z - 2*z - a, 5*a + 17 = -2*z. Solve 5*k = -2*u - 19, z*k - 3 = -u - 17 for k.
-3
Suppose -3*j - h = -0 - 69, 0 = 5*j - 5*h - 135. Suppose -3*f - 4*r + j = 2, 5*f = -5*r + 30. Solve 0 = -b + f*q + 11, 6*b + 22 = 3*b - 5*q for b.
1
Let w(m) = m - 12. Let a be w(12). Suppose 0 = p - 3 - a. Suppose -p*t + 30 = 3*t. Solve -r - 11 = -2*f, 