3*p = -m*a - 26 for a.
4
Suppose -3*f + 39 + 9 = 0. Let g = f + -14. Solve 4*s - 32 = -5*n, g*s - n = 4*s - 10 for s.
3
Suppose -3*q - 17 = -4*u - 2*q, -4*q - 4 = 0. Solve 3*n + 3 = -4*l - 9, 0 = l - u*n + 3 for l.
-3
Let u = -8 + 11. Suppose -24 = -5*m + 3*m. Suppose -4 - m = -4*i. Solve -1 - 1 = y - u*o, 3*y = i*o - 6 for y.
-2
Suppose a - 3*a = -80. Let n(u) = 17*u + 1. Let f be n(1). Let d = 30 - f. Solve 2*q = -3*q - 5*k + a, -q = 2*k - d for q.
4
Suppose 2*f = -3*r + 12, -5 = 3*r + 7. Suppose 0*u = -3*u + f. Suppose s - 2 = -2*o, 6*o = 5*o - u*s + 1. Solve 2*h - 6*h - 11 = 5*z, 4*h + z = o for h.
1
Let d be (-2*1)/((-6)/9). Suppose -3*n = -3*r - 3, -4*n + 24 = d*r - 8. Let i = r - 4. Solve -3*g - 5*h - 9 = -i*h, 5*h = 0 for g.
-3
Suppose 5*y - 10 + 30 = 0. Let o be ((-5)/y)/(1/4). Solve -4*t + 3*x - 3 = 0, 3*t - o*x + 17 - 1 = 0 for t.
3
Suppose -4*a = -2*s - 60, 0 = 2*a - 4*s - 0 - 18. Let w = -13 + a. Solve 2*t = 5*p + 4 + 6, -w = 2*p + 4*t for p.
-2
Let m = -86 - -91. Solve -2*n + 4 = 3*s + s, m*n = 0 for s.
1
Let t be ((-2)/(-4))/((-4)/(-72)). Let y = t - 6. Solve 3*r = -y*c - 6, 0*c = r - c + 8 for r.
-5
Suppose 0 = 4*z - 145 - 43. Suppose -5*u + z + 8 = 5*l, 0 = -2*l - 4*u + 26. Solve c - 5*c - 1 = -5*d, l = d - 3*c for d.
-3
Let i be (3 + 0)*4/6. Let b(r) = 2*r**2 + 3*r - 3. Let m = -6 - -3. Let s be b(m). Solve 5*p - p = t - 3, -2*t - s = -i*p for t.
-5
Suppose -7*r = -3*r - 16. Solve 5 + 2 = 2*m - 3*t, -3*m = r*t + 32 for m.
-4
Let g = 85 + -85. Solve -r + 4*f = 6, g*r - 5*f = -2*r - 6 for r.
2
Let r(y) = y**3 + 9*y**2 + 9*y - 13. Let s be r(-7). Solve -3*x + 3*i + 18 = 0, 4*x - s = 5*i + 4 for x.
4
Let l = -4 + 6. Suppose 3 = x + l*x, 0 = -3*w + 4*x + 50. Let b be (-3)/(-6) + w/4. Solve 0 = 3*k + 5*d + b, 2*d + 10 = -5*k - 11 for k.
-5
Let v = -38 - -38. Solve v = 3*o - 5*d - 37, 2*o + 6 = o - 2*d for o.
4
Suppose -2*r = -0 - 6. Suppose -3*s + 7*s = 16. Solve 4*i = -r*n - 8, -s*i - 14 = -5*n - 6 for n.
0
Let k be 26/39*(-18)/(-4). Let p(g) = -g**3 - 2*g**2 - 2*g + 1. Let f be p(-2). Suppose -f = -x + 15. Solve -5*z + k = 13, -5*z = 5*q + x for q.
-2
Suppose -2*u = -2*x, -u = -4*u + 4*x - 5. Suppose 4 = u*q - 11. Solve -4*v = v - q*k + 4, -5*k - 4 = -3*v for v.
-2
Suppose 44 + 1 = 5*o. Solve -d + j = 3*j + o, -j - 2 = 3*d for d.
1
Let w(h) = -h**3 + 8*h**2 - 2. Let x be w(8). Let s be 1*1/x*-4. Solve -2*c - s*c + 3*b + 6 = 0, 5*b = -5*c - 10 for c.
0
Suppose -2 = -11*g + 20. Solve g*v + 25 = -5*t, 6*t + 30 = t - 3*v for t.
-3
Let m = 9 - 8. Suppose s - 11 = m. Solve 0 = -f + 4, -6*h + 2*h + s = -2*f for h.
5
Suppose 2*c = 7*c - 15. Solve -c*f = -3*o, -f - 4*o = f + 30 for f.
-5
Suppose -11 = -2*c + 3*w, -18 = -4*c + 5*w - 3*w. Solve o = -5*l + 8, c*l = 3*o - 2*o + 1 for o.
3
Suppose -5*o + 6 = 1. Let i be (-9)/3 - (o - 8). Solve 0*s - 1 = j - s, 0 = 5*j - i*s + 5 for j.
-1
Suppose -6*z + 31 = -17. Solve 5*v = 2*n, -7 = n + 5*v + z for n.
-5
Let m(d) = d - 8. Let b be m(13). Solve 5*c - 7 = -4*z, 2*z - 3*z = -2*c - b for c.
-1
Suppose 0 = 5*z - 1 - 14. Suppose -4 = -w - 5, -z*j + 4*w + 19 = 0. Let g be 4/(-14) - 37/(-7). Solve j*f - g*l = -5, 2 - 5 = 3*f - 4*l for f.
-1
Let j be 104/16 - (-1)/(-2). Let v = -7 + j. Let d = v - -4. Solve -2*l = -c - 12, 5*l - 31 = -d*c + 6*c for l.
5
Let p be -3 + -1 + 7 + (0 - 0). Solve p*h + d + 13 = -0*h, h + 3 = d for h.
-4
Let a(b) = -2*b**2 - 2*b - 2. Let y be a(-2). Let n(l) = -2*l - 7. Let v be n(y). Let d = 19 - 0. Solve -v*w - 16 - d = 5*h, 5*w = 5*h - 15 for h.
-2
Suppose 0 = 3*k - 2*k - 6. Let z = -6 + 13. Solve 0 = -5*w + 2*g + 16, 5*w - g = k + z for w.
2
Let k(p) = 2*p + 7. Let v be k(-3). Let l(q) = 5*q**3 - q**2 - q + 1. Let m be l(v). Solve 2*u + s = m*s + 10, 25 = 5*u - 5*s for u.
5
Let b(r) = r. Let t be b(4). Suppose -t*d = -6*v + v - 1, 4*v + d = 16. Let h(i) = i**3 + i. Let j be h(0). Solve j = 4*u + 4*y - 24, 0 = v*u - 5*y + 6 for u.
3
Suppose -3*j = -5*i - 51, -3*i = 2*j - 13 - 21. Solve 0*c - 19 = 5*c - 3*b, 0 = -3*c - b - j for c.
-5
Suppose -u + 12 = 3*g, -4*u + 3 + 3 = -2*g. Suppose x - 4*x + g = 0. Solve -4*v + 16 = -o - x, -o - 20 = -5*v for v.
3
Let g = 3 + -1. Let x be 64/40*5/g. Solve 3*a = -4*o + 9, -4 = x*o - a - 1 for o.
0
Let c(b) = -b**2 - 5*b + 8. Let p be c(-6). Suppose p*w - 16 = -2*w. Solve 0*j + 4*v + 4 = 2*j, w*j + 25 = -3*v for j.
-4
Let o be -2*((-1)/2 - 2). Suppose 3*j - o*g = 25, 20 = -3*j - j - 4*g. Suppose 3*x = -5*i + 5, -i + 0*x - 1 = x. Solve 12 = -3*r + t, r = -j*r + t - i for r.
-4
Let f = 3 - 0. Solve f*k = 4*k - 3, -3*q - 2*k = -9 for q.
1
Let p = 18 - 13. Suppose -z = p, -2*z - 12 = q + z. Let h(u) = u**2 - 3*u - 2. Let w be h(4). Solve 4*v + 0 + 1 = q*c, 2 = -2*v + w*c for v.
2
Let v = 6 - 1. Solve 4*r = -2*m - 13 + 3, -4*m + 19 = -v*r for m.
1
Suppose u + u - 12 = -2*x, 3*u = 4*x - 10. Solve 4*f + 10 = 3*s, 20 = -4*s - 2*f + x for s.
-2
Let r = 5 - 1. Suppose -r*x - 21 = -61. Solve 2*h + 4*i + 12 = 0, -2*h - h + 2*i = x for h.
-4
Suppose -3*k = -6*k + 12. Let q be k/14 + (-165)/(-35). Solve 2*m - 24 = -3*m - v, -q*m + 28 = 2*v for m.
4
Suppose -2*y - 40 = -6*y. Suppose 0 = -4*q - q + y. Suppose 3*h = -5*x + 5, x - q*x + 3 = h. Solve -3*f + 4*i = 2*i - 8, 5*i + h = 0 for f.
2
Let b = 11 + -9. Suppose 0 = -b*m + 1 + 9. Solve 0 = -5*s + d - 2, -s - 4*d = -m*d - 2 for s.
-1
Let x(r) = -r**3 + 5*r + 3. Let p = -7 - -4. Let k be x(p). Suppose -k = -4*f + f. Solve -3*j - 4*s - 3 = -0, 5*j = -f*s - 5 for j.
-1
Suppose -4*a + 0 = -12, 4 = 5*t - 2*a. Solve -h = 4*d + 19, -t*h - 3 = -5*h + 3*d for h.
-3
Suppose -2*n - 4*b = -8, -5*n + 5*b + 5 = -0. Suppose -62 = -3*i + n*j, 0 = -i - 6*j + j + 32. Solve -5*m + 0 = -3*h + 14, 5*h + 3*m = -i for h.
-2
Suppose -3*a + 0 = 3. Let b = a + 4. Solve -3*m - 5*h + h = 20, b*h + 6 = 0 for m.
-4
Let w be 0*(8/6)/(-4). Solve d - m + 2 = w, -m + 5 - 6 = -4*d for d.
1
Let f = 65 - 60. Solve u + f*y + 19 = 0, u - 11 = 6*u + 4*y for u.
1
Let h be (-78)/(-5) + 9/(-15). Suppose 4*t + 3*p + 36 = 0, -t = -2*t + 3*p + 6. Let m be 12/(-8)*28/t. Solve -2*j + 3*y + 3 = -m, -3*j - y = -h for j.
5
Let n = 11 + -6. Suppose 2*v - n + 1 = 0. Solve 0 = -2*s + s + v*a - 9, s = -3*a + 6 for s.
-3
Let a(k) = -k**2 - 10*k - 20. Let r be a(-9). Let v = -30 - -45. Let i = r + v. Solve -4*y = -0*d + 3*d - 4, 3*d = i*y - 28 for d.
-4
Let t be (0/(-2))/(5 + -7 - -1). Solve t = -4*n - 4*r + 12, 1 = n + 4*n - 2*r for n.
1
Let v be (0*(-1)/(-2))/2. Suppose v*r = 3*r - 9. Solve -5*p + 5 = -5*l, -3*p + r = -4*l - 1 for l.
-1
Suppose 0 = -4*x + 98 - 18. Suppose 0 = l - 5*l. Let a be 10 + -2 + (1 - l). Solve -4*i + a*i = 2*m + 25, 4*i + 2*m = x for i.
5
Suppose 4 = 2*d - 0. Solve 3*p - 4*v + 22 = 0, -d*p - 2*v + 4 = -0*p for p.
-2
Let p(d) = -2*d + 3. Let b be p(3). Let n = b - -3. Solve -2*c = -2*r, 4*c + c + 2*r + 7 = n for c.
-1
Let g(m) = m + 6. Let w(n) = 3*n + 17. Let s(k) = 17*g(k) - 6*w(k). Let j be s(0). Solve 3*x = 5*i + 15, 5*i = -j*i + 5*x - 15 for i.
-3
Let n = 4 + -1. Suppose -12 = n*o, l + l - 4*o - 26 = 0. Solve -z + h = 10 - 3, 4*h = l*z + 30 for z.
-2
Let i be (-60)/(-9)*30/25. Solve -5*w = 2*h - i, -2*h = -4*w + w + 8 for w.
2
Suppose 0 = -5*s + 10, -3*s - 1 + 22 = 3*j. Solve 3 = -z + 2*i, -j*z + i - 4*i = 2 for z.
-1
Let v(k) = -k**3 + 5*k**2 - 4*k + 4. Let g(p) = -p + 8. Let t be g(4). Let h be v(t). Solve j - 4*m + 4 = -2*j, 2*j + h = 2*m for j.
-4
Let g = 16 + -14. Solve 5*z = -5*i + 25, -g*z = -3*z + 5*i - 1 for z.
4
Let h(o) = -o**3 - 7*o**2 + 8*o - 4. Let f be h(-8). Let p be (6/12)/((-2)/f). Let l be p/4 - 2/8. Solve 0 = a - 3*x + 11, -3*a + 3*x - 7*x + 32 = l for a.
4
Let y = 21 + -11. Let j = 15 - y. Let m(x) = 7*x**3 - x**2 + 2*x - 1. Let b be m(1). Solve 0 = -2*a + 3*a - j*z + b, 2*z = -a + 7 for a.
3
Let p = -56 - -56. Let w be 6*(1 + (-2)/4). Solve b = -o - p*o + 2, 2*b = w*o - 11 for o.
3
Let v be (6/(-14))/((-6)/42). Solve 8 = h + 4*f + 23, -2*h = -v*f - 3 for h.
-3
Let a be 1 + 2 + 3 + -3. Suppose -2 = -5*u + a. Solve p + 2*r = -2*r - u, r = p - 4 for p.
3
Let q = -28 + 31. Solve 3*j - 13 = -2*a, q*a - 8 = -2*j + 9 for j.
1
Suppose 0 = -2*b - 3*b + 135. Suppose -2*j - b = j. Let f(l) = -l**2 - 9*l + 4. Let w be f(j). Solve w*d - 2 - 29 = 3*z, -4*d = -5*z - 41 for z.
-5
Let i = 73 - 58. Solve -3*b = i, -2*u