-o + 11, 4*l + a = -0*o - 3*o for o.
1
Let o(y) = -2*y. Let z(b) = b - 1. Let p(w) = -o(w) - 3*z(w). Let j be p(1). Solve 3*h - 18 = 3*x, j*x = -4*h + h + 8 for h.
4
Suppose -72 + 48 = -2*v. Suppose 0 = 3*g - v. Solve 4*x + j + g*j - 25 = 0, -2*j + 10 = -4*x for x.
0
Let p be 32*(-3 + 6 - 4). Let m = 37 + p. Solve -b - 3*r = 2*r + m, -27 = -5*b + r for b.
5
Let l(b) = -8*b - 14. Let j be l(-2). Solve -3*i = j*h + 6 - 19, h - 2 = 3*i for h.
5
Let j be 2 + (5 + -2)/(9/6). Suppose -4*t = t - 25. Suppose 5*v - 5*r = 35, -t*v + v + 3*r + 24 = 0. Solve -1 = -w - 2*d, j = -w + v*d - 0*d for w.
-1
Suppose 2*l - 14 = -8. Suppose 8 = -0*n - 2*n - l*j, -2*n = -j - 8. Solve 1 - 3 = w + 3*r, -16 = -5*w - n*r for w.
4
Let k = -391 - -394. Solve 3 + 3 = 2*d - 5*t, -k*t = d + 8 for d.
-2
Let j(s) = s**3 - 4*s**2 + 7*s - 2. Let b(f) = f - 1. Let x(d) = -3*b(d) + j(d). Let z be x(3). Solve 3*c - 1 = z*h - 15, 5*h - 20 = 5*c for h.
2
Let x = -105 - -108. Solve x*i = 2*m - 4, -i - 3*i - 3*m + 23 = 0 for i.
2
Let j(q) = -q**2 + 22*q - 55. Let s be j(19). Suppose 0 = -x - 0*x + 3. Suppose 6 = 5*z - x*z. Solve -z*b = r - s + 11, -r + 9 = -3*b for r.
0
Let m = 1132 + -1132. Solve l - 4*v + 5 = 0, m*l + 3*v = -5*l - 25 for l.
-5
Let t(z) = -5*z + 4 + 3*z + z - 1. Let j be t(0). Solve -f - j = -2*p, 0 = -3*f - 2*f + p - 15 for f.
-3
Let l(d) = -4*d**2 + 0 - d**2 + 5*d + 4*d**2 - 4. Let y be l(4). Let o = -28 - -30. Solve -p = o*j - 13, -4*p + 3*j - 3 = -y*p for p.
3
Let p be (1*(0/(-6))/(-2))/(-2). Solve 3*c - 4*f + 8 = p, 7 - 3 = -4*c + 4*f for c.
4
Suppose -h + 5 = 9*w - 4*w, 0 = -5*h - 4*w + 25. Solve x + n - 4 = -1, -h*x - n + 11 = 0 for x.
2
Suppose -1 = 3*n + 2*m, 2*n - 16 + 5 = m. Let r(j) = 2*j - 3*j + n*j + 4. Let z be r(13). Solve -2*b - 29 = -5*d, -5*b + 0*d = -4*d + z for b.
-2
Let t be (-100)/(-60) + (-1 - (-48)/9). Solve -4*h = -8*i + 3*i + t, 2*h = -i - 10 for h.
-4
Suppose 142*b = 130*b. Solve b = -2*h - 2*r + 6, -r = 3*h - 4*h + 7 for h.
5
Let k(z) = -z - 1. Let u be k(-5). Let q(d) = -d**3 + 36*d**2 + 37*d + 5. Let g be q(37). Solve 2*p - 4 = 2*c - 0, -g = -p + u*c for p.
1
Let b(w) = -w**2 + 4*w + 4. Let o be 7 - -2*6/(-4). Let z be b(o). Solve -4*u - 2*y + 6*y = 4, -28 = z*u + 2*y for u.
-5
Let f = -5064 - -5083. Let b(t) = -t**3 - t**2 + 3*t - 4. Let h be b(-3). Solve h*y + f = -k, k = -k + y + 6 for k.
1
Let b be (55/33)/(5/12). Solve b*v = -4*k, 0*k = -v - 2*k for v.
0
Suppose 1 = -k + 9. Suppose 0 = 4*y + k - 16. Solve y*s + 5 = s, -3*p = -s + 4 for p.
-3
Let t = 161 - 272. Let j = -76 - t. Suppose 3*k - j = -4*q, 2*k = 2*q - 0*k - 14. Solve -2*g = -3*v - 0*v - 19, 4*g = q for v.
-5
Suppose 30 = 5*p + p. Let u(y) = -y**2 + 4*y + 5. Let k be u(p). Solve 5*j = 4*n - 5, j - 5*n + 37 - 15 = k for j.
3
Let b(l) = -l**3 - 9*l**2 - 2*l + 6. Suppose -3*j + 9 = -4*j. Let k be b(j). Let m = 29 - k. Solve -m*h - 3*t = -0*t + 28, 3*t + 13 = -2*h for h.
-5
Let d(l) = 2*l**3 - 28*l**2 + l - 9. Let t be d(14). Solve 30 = -3*b + t*h, 4*b - 1 = -3*h - 12 for b.
-5
Suppose 3*h = -5*r - 8, -3*r - 4*h - 7 = -0*r. Let s be 1*(-1 + 3)*-2. Let j be r/(-1)*s/(-2). Solve 0 = -3*m + 5*b - 4, -j*m + 6*b - 2 = 2*b for m.
-3
Let x = -106 - -108. Suppose 0*p + 13 = 2*i - p, 5*i - 31 = x*p. Solve i*w - k + 11 = 0, 0*w + 4*k + 7 = 3*w for w.
-3
Let d = 118 + -118. Suppose -4*q - c - 59 = -7*q, -2*q + 5*c + 35 = 0. Suppose u = -3*u + q. Solve d = -k - u*m - 15, -3*k + 2*m + 6 = k for k.
0
Suppose 0 = -0*j - 3*j. Let b(q) = -q + 6. Let n be b(0). Suppose -n*c + 0 = -12. Solve j = -c*v - 3*v - 5*i, 0 = -2*v + 5*i for v.
0
Let r(v) = -v**3 + 9*v**2 + 2*v - 6. Let b be r(9). Let l be -5 + b + -2 + 0/(-2). Solve 8 = 4*s + l*n - n, 4*n = 3*s - 13 for s.
3
Suppose 0*g = -4*t + 2*g + 166, -3*t + 123 = -g. Let q = t + -25. Solve -q = 3*f, 0 = 3*y - y - f - 13 for y.
4
Let k(i) = i**3 + 5*i**2 + 4. Let p be k(-5). Suppose -4*s = 5*z - 53, p*s - 17 = -3*z + 2*z. Solve 4*d + 3*l - z = -1, -d + 4*l = -21 for d.
5
Suppose 12 + 0 = 4*k. Suppose -3*o + 0*o = 5*w + 22, 4*w = k*o - 23. Let v = o - -3. Solve -5*f + v*u + 28 = 3*u, 5*f + u = 22 for f.
5
Let l(p) = -p**2 + p + 5. Let c be l(0). Let x = -7 + 4. Let f be 1 + (-1 + 3)/(-2) - x. Solve 0 = -c*y - f*n + 20, -2*y - 13 = -5*n + 10 for y.
1
Let u = -3 + 5. Suppose 5*j - 18 = 2*j + 3*t, 15 = -5*t. Solve -p - u = -0*x + 2*x, j*p + 1 = -x for p.
0
Let d be 4/(-4) + (-2 + 1)*-1. Solve d = 4*a - 5*u - 12, 5*a + 3*u = 8*u + 15 for a.
3
Suppose 2*f - 4*s + 3 - 13 = 0, -4*s = 0. Solve -f*l = -0*l + 3*n + 13, 2*l - n + 14 = 0 for l.
-5
Let j = 2466 - 2435. Solve 18 = 3*m - a + 3, 4*m = 5*a + j for m.
4
Suppose 0 = -5*c + v + 30, -3*v - 15 = -2*c - 2*v. Suppose 0 = -5*a - 2*l + c, 13 = a - 2*l - 0*l. Solve 3*j = 4*o + 7*j - 20, 0 = 3*o - 3*j - a for o.
3
Suppose -39 = -q + 45. Let v = -60 + q. Let a = 13 + -8. Solve -5*z + v = 2*i - i, a*z = -3*i + 32 for i.
4
Let m = 33 + -64. Let g = m + 31. Suppose g = 3*a - 5*a + 12. Solve 0 = -3*o - 3*f + 9 + a, 0 = -2*o + 2*f + 2 for o.
3
Let t(u) = 6*u - 1. Let y = 74 + -73. Let n be t(y). Solve 4*l - w - 5 = -2*w, 2*l - n*w - 19 = 0 for l.
2
Let m = 338 + -338. Solve -p = -3*p - 4*y, -y + 2 = m for p.
-4
Suppose 119 = -5*h + 14. Let i = -16 - h. Solve -3*x - i = -r - 0*r, -x = 2 for r.
-1
Let f = 205 + -202. Solve k = -3*q - 2*q, f*q - 5*k = 0 for q.
0
Suppose 5*z = 3*z - 8. Let d = z - -9. Suppose -5*i = -d*q - 10, -3*q - 2*q = -15. Solve -f + 3*n = 10, -i*f - n - 30 = -6*n for f.
-4
Let k(l) = -3*l - 22. Let i be k(-9). Solve 5*a + i = 5*m + 25, -5*m - 23 = -2*a for m.
-5
Let i(f) = f**2 - 10*f + 20. Let v be i(8). Solve -5*y + 1 = 3*r + 3, 0 = v*r + 16 for y.
2
Suppose -5*a + 41*x - 36*x = -5, 5*x - 31 = -4*a. Solve -3*w = -3*d - 12, -a*w - 5 = 3*d - 0 for d.
-3
Let g = -27 - -27. Let d = 3 - 3. Let u be (-12)/6 + (d - -6). Solve 4*x + 5*r + 16 = g, -3*x + u = -r - 3 for x.
1
Let t = 77 - 74. Let z = 19 + -27. Let c be -9 - z - (0 - t). Solve -c*s - 3*r - 14 = -2*r, 0 = 5*s - 5*r + 5 for s.
-5
Let m(h) = -13*h + 160. Let i be m(11). Solve 4*n = -j + i, 3*n + 2*j + 8 = 22 for n.
4
Suppose -4*h - 65 = -9*h. Suppose -2*x + 8 = c, -5*x + 20 = 3*c - 4*c. Let n be x*(h/4 + -2). Solve 0*k - n*k + 35 = -3*v, 0 = 2*v + 10 for k.
4
Suppose -2*s - 12 = -4*s. Suppose 2*p = s*p - 8. Solve -5*o + p*a - 20 = 0, -2*o = 2*a - a - 1 for o.
-2
Let q = 13 - 10. Suppose q*t = 5*t - 184. Let v be t/22 - (-12)/(-66). Solve -3*y + v*y - 4*p - 15 = 0, 0 = -p - 3 for y.
3
Let i(p) = 2*p**3 - p**2 + p + 4. Let x be i(0). Suppose -3*j + h = -17, -2*j - x*h - 1 = -3. Solve -2*v - 2 = -s, -j = 5*v + 2*s + 2*s for v.
-1
Let n be (0/2)/((-36)/12). Solve n = -4*d + i + 4, -d + 2*i + 5 = 4*d for d.
1
Let d be 1200/132 + -9 + (-76)/(-11). Solve f + 10 = -3*l, 4*f + d - 3 = 0 for l.
-3
Let p(d) = 3*d**2 - 3*d**2 + 2*d**2 + 5*d - 3*d**2. Let w be p(4). Solve 3*s + m + 7 = 0, -5 = w*s - 2*m + 1 for s.
-2
Suppose -2*t + 9*x = 14*x - 24, 24 = 4*t + 4*x. Solve -3*s - 3*m - 18 = 0, -6 = -t*s + 5*m - 4 for s.
-4
Let s = 625 + -620. Solve 0 = s*y + 2*g + 5, y + 3*g + 1 = -13 for y.
1
Let b(t) = 3*t**3 + 22*t**2 - 18*t - 12. Let f be b(-8). Solve 4*z = 2*m - 14, 1 = 3*m + f for z.
-4
Let i(p) = -2*p**3 - 5*p**2 + 3*p + 4. Suppose 8*u = 2*u - 18. Let g be i(u). Solve 0 = 2*c - g*t + 3*t + 6, 0 = -4*c - 5*t + 16 for c.
-1
Let n be (-3)/8 + (-3458)/(-304). Solve -2*t - 2*v - 10 = 0, 2*v - 3*v = 3*t + n for t.
-3
Suppose -7 = -b + 2*m, -4*b = -0*b - 2*m - 28. Let v = 25 + -22. Solve 2*x - v*j + 13 = 0, -b = x - 2*j + 1 for x.
-2
Let z be -12*(-152)/12 + -6 + 4. Let d = 152 - z. Let a be (8/10)/((-1)/(-25)). Solve 5*v + 8*l + a = 3*l, -d = 2*l for v.
-3
Suppose -10*g = g - 55. Solve g*v - v = -4*t - 12, t - 3*v = -11 for t.
-5
Let w be 3 - (8/(-48) + (-38)/(-12)). Solve 5*b - k - 2*k + 17 = w, -2*k + 10 = -2*b for b.
-1
Suppose -z + 3*y - 7 = 0, 3*z - y + 6 = -7. Let f be 1/3*3*(-4 - z). Solve 0 = 2*t + a + 4, 2*t + 2*t - 5*a + 22 = f for t.
-3
Suppose -2*v - 2 + 10 = 3*w, 3*v - 7 = -2*w. Suppose k + 101 = w*m, 0*m + 5*k = m - 37. Suppose -d = 3*d - m. Solve -5*i + 10 = 5*y, -4*y + 2*i = -d - 1 for y.
3
Let s = 49 + -127. Let c = s + 82. Solve -c*o = 2*y - 0*y + 12, 0 = 2*y - 4 for o.
-4
Let s be (-5)/20 + (-69)/(-4) + -2. Let l be (-66)/(-15) + (-2)