l + 5 - 1 for l.
2
Suppose 5*t + 2 = 12. Let r(c) = c**3 + 1. Let q be r(1). Suppose 29 = 4*d - 5*a - 36, 13 = d + q*a. Solve z = -t*z - d for z.
-5
Suppose -9*f = -14*f. Solve f = 4*x - 1 - 7 for x.
2
Let w be 3*(0/2 - 56/(-21)). Suppose 28 = 4*b - 5*y, 3*b = 3*y - 7*y - 10. Solve 6*r + w = b*r for r.
-2
Let x be -1 - ((-2)/(-2) - 7). Solve 0 - 5 = -x*h for h.
1
Suppose m + 20 = -4*m. Let p = 7 + m. Solve -t = 8 - p for t.
-5
Let j = 6 + -5. Solve -l = j - 4 for l.
3
Let j(y) = 2*y - 4*y + 2*y - 2*y. Let l be j(-1). Solve -o = o + l for o.
-1
Suppose 14 = 6*c - 76. Solve 9*m = 4*m + c for m.
3
Let k(c) = -c**3 - 16*c**2 - 15*c + 6. Let s be k(-15). Solve s = -5*f - 9 for f.
-3
Let c(v) = -4*v - 14. Let w be c(-5). Solve d - w = -d for d.
3
Let x(h) = h**3 + 6*h**2 - h - 9. Let n be x(-6). Let z be (4 - 4) + n - -3. Solve y + 3*y - 8 = z for y.
2
Let y = -52 + 55. Solve -1 = -a - y for a.
-2
Let s = -11 - -13. Solve f = -s + 1 for f.
-1
Let b = 7 + -5. Suppose b = 2*a, -5*a = 2*u - 6 - 3. Solve -u*w = -w for w.
0
Let b(o) = -o**2 - 2*o - 1. Let l be (-5)/4 - (-1)/4. Let v be b(l). Solve v = 4*k + k + 15 for k.
-3
Suppose 4*o - 5*o + 2 = 0. Suppose -3*c + 1 = -5*j, -2*c + 3*j + 7 = 6*j. Suppose -1 = -g - c*b - 0, 1 = -g - 3*b. Solve -6 = o*d - g*d for d.
2
Suppose -n = -3*n - 4. Let l be (-2 - -1)/(n/(-26)). Let c = -7 - l. Solve -c*u = -u - 15 for u.
3
Suppose 4*w = 3*w + 6. Suppose 4*a = 2*a + w. Solve a*y = -0*y for y.
0
Let h = 83 - 68. Solve 3*j + 2*j = -h for j.
-3
Let f(g) = g**3 + 3*g**2 + 3*g + 2. Let z be f(-1). Suppose -4 = -w - 3. Solve w = m - z for m.
2
Let n = -5 + 6. Solve 0 = t + n for t.
-1
Let h be (-7)/((-35)/20) - 3. Solve 0 = z - 1 - h for z.
2
Suppose 0*z + 10 = 5*z. Suppose 4*q + 3*d - 25 = z*q, 0 = 3*d - 15. Solve o - q*o = -8 for o.
2
Suppose 3 = 2*q - 3. Suppose 2*n = -q*n + 10. Let g be -1*4/n - -4. Solve r + g = -r for r.
-1
Suppose 3*s + 2*j - j - 1 = 0, -j = -s + 3. Solve 5*q - s = 4 for q.
1
Suppose 3*u - 3*f = -45, u + 4*f - 16 = -6. Let g = u + 10. Solve 2*v - 4*v - 4 = g for v.
-2
Let v be (3/1*1)/(2/2). Solve -i = -0*i - v for i.
3
Let s be ((-8)/12)/(1/(-6)). Solve s*j + 5 = -j for j.
-1
Suppose 2*b = 8, 2*b - 12 = -5*y - b. Suppose y*q + 8 = 2*q. Suppose 5*u + 3*o = -1, -5*o = -5*u + 3*u + 12. Solve -j - u = q for j.
-5
Suppose -1 + 13 = x. Let b be (-4)/x + (-2)/(-6). Suppose 2*r = -5*f - r + 86, r - 18 = -f. Solve -4*l - f = -b*l for l.
-4
Suppose -2*d - 60 = -7*d. Suppose -5*s + 45 = -3*w, 4*w = 4*s - d - 16. Suppose -h - 7 = -4*y, y - 1 = h - 0*h. Solve -y*f - f - s = 0 for f.
-4
Let k = 16 - 6. Suppose -4*d + 2 + k = 0. Solve 7 - 4 = d*s for s.
1
Let j be 1/2 - (-36)/24. Solve m = -j - 2 for m.
-4
Let p(d) = -4*d**3 - 2*d**2 + 1. Let o be p(-1). Suppose 15 = o*q + a - 10, -2*a = -q + 6. Suppose -2*l = -0*l - q. Solve -l*j + 10 = j for j.
2
Let h = -1 - -1. Suppose m + 1 = 2*m - x, -x - 1 = 3*m. Suppose j + h*j - 6 = m. Solve 5*i + 9 = -j for i.
-3
Suppose -4*g - 2 + 22 = 0. Suppose s - 1 = o, o - 4*o + g = -5*s. Let n = -5 - o. Solve n = -5*h + 9 + 16 for h.
5
Suppose 0 = 7*n - 2*n - 10. Let g(y) = -3*y**3. Let a be g(-1). Let l = a + n. Solve 0 = -8*d + 3*d + l for d.
1
Let b be ((-3)/12)/(((-7)/(-16))/(-7)). Solve -q - b = -0*q for q.
-4
Suppose 8 = -y - 2*l, 2*y + 3*l - 4 = -16. Solve 4*z = -y*z for z.
0
Suppose -6*t = -t - 45. Suppose -5*n - t - 6 = -5*i, 28 = -4*n - 4*i. Let j(o) = -o + 5. Let p be j(n). Solve 4*a - p = -a for a.
2
Suppose -f = -10 + 8. Solve u + 6 = f for u.
-4
Let z(s) = -4*s**3 - 2*s**2 - 5*s + 5*s**3 - 3*s**2 - 2*s**3. Let r be z(-4). Solve 0 = -r*v + 2*v for v.
0
Let y = 9 - 6. Suppose -25 = 5*b, -3*b = y*p - p + 11. Solve p*g = 6*g + 12 for g.
-3
Let i(o) = -o - 4. Let a be i(-4). Suppose 2*s + 5*y = -6, 3*s - 2 = -3*y + y. Solve a*n + n = -s for n.
-2
Let s(c) = -c**2 + 8*c + 13. Suppose 3*b = -o + 31, -5*o - 4 = -3*b + 3. Let a be s(b). Solve w - a + 2 = 0 for w.
2
Suppose -3*j = 5*n + 2, -2*n + 2 = -4*j + 8. Let x = -3 - -2. Let a = n - x. Solve -4*s = -a*s + 16 for s.
-4
Let z(c) = -c**3 - 7*c**2 + 7*c. Let o be z(-8). Solve o = -5*w - 2 for w.
-2
Let z = -52 + 54. Solve 0 = i + i - z for i.
1
Let d(v) = v**3 - 5*v**2 + 4*v + 1. Let n be d(4). Let g = 3 - n. Solve 0 = -g*h - h for h.
0
Suppose -6*p = -3*p - 15. Let d = 7 + -4. Suppose -5*k = f - 47, 5*k - d*k - 5*f = 8. Solve -p*t - 8 = -k*t for t.
2
Suppose -3*d - 2*d = -5*i + 15, 3*i = 4*d + 12. Let f = 3 + -1. Solve o - 3 + f = i for o.
1
Let t(n) = -n**2 - 2*n - 1. Let d be t(-2). Let b = d + 1. Suppose b = -4*j + 3*j. Solve p + j + 4 = 0 for p.
-4
Suppose -2*f + z + 4 = 0, -z - 2*z = 0. Let o(y) = f*y - 6 + y + 0*y + y**2. Let w be o(-5). Solve -w*k + 9 = -k for k.
3
Let d be 2 + (-3 - -4 - -1). Solve -3*z = z - d for z.
1
Suppose 0 = -5*w - 5, -3*r + 2*r = w - 4. Suppose -c - 16 = -4*h, -4*h - c + 3*c + 20 = 0. Solve -4*a - h - r = 0 for a.
-2
Let x be 4/6 - (-28)/(-6). Let c be 2*(-2 + 1 + 4). Let r = c + x. Solve 14 = 4*b - r for b.
4
Suppose -5*k + 13 = -5*q + 38, -k = -5*q + 17. Solve -q*j = 4 + 5 for j.
-3
Let l(p) = -p. Let n(t) = 2*t - 2. Let d(j) = -3*l(j) - n(j). Let x be d(3). Solve x*y + 1 = 4*y for y.
-1
Suppose 0 = -0*n - 4*n + 36. Suppose -i + 0 - n = -3*p, -5*i = -3*p - 3. Solve p = -t - 0*t for t.
-4
Let b be (-5)/((-5)/(-2))*-2. Let p(u) = 2*u**2 - b*u**2 + 2 + 5*u + 4*u**2. Let h be p(-3). Solve 12 = h*o - o for o.
3
Suppose 0*v - 3*v + 23 = 5*p, 3*v - 20 = -2*p. Let i(k) = k**2 + 3 - 2*k**3 + 0 + k**3 + 5*k**2. Let w be i(6). Solve -w*q - v = -6*q for q.
2
Suppose u = 3*w + 2*u - 31, 0 = 5*w - 5*u - 25. Suppose -2*a - 16 = -4*o, 0*o = -2*o - 2*a + 2. Let r be (-2)/(-8) + (-1)/4. Solve r*h - o*h = -w for h.
3
Let z be (-10)/8*(15 + -19). Solve 0 = -z*i - 3 + 23 for i.
4
Suppose -3*j - 6 = -0*j. Let k be -1 - 4 - (-4 - j). Let b = 1 - k. Solve v = 5*v - b for v.
1
Suppose -12 = -3*j - k, j = 3*j - 5*k + 9. Let r(m) = m**2 + 2*m + 5. Let z be r(-5). Solve 7*s + z = j*s for s.
-5
Suppose a + 4*a = -3*m - 5, 4*m - 8 = -3*a. Let x be (a/(-5))/((-4)/(-10)). Solve -x*b = -b + 3 for b.
-3
Let m(p) = p**3 + 5*p**2 + p + 7. Let a be m(-4). Solve a*i - 16*i = 3 for i.
1
Let i be -1 + (-2 + 2 - -1). Solve -u = -i*u for u.
0
Suppose -l - 1 = -2*i, -4 = -4*i + 4*l - 0. Solve i*o - 3 = -o for o.
3
Suppose 3*d + d = 0. Let l(t) = -t + 1. Let f be l(0). Suppose 9 - f = 4*r. Solve d = -0*g + r*g + 4 for g.
-2
Suppose 0 = 2*o + 4 - 12. Solve 0*q - q + o = 0 for q.
4
Let m = -132 - -135. Solve 0 = -m*h + 9 + 3 for h.
4
Suppose 120 = -4*y + 4*n, -3*y = 2*y - 3*n + 144. Let d = -17 - y. Let p = -7 + d. Solve -a - p = -2*a for a.
3
Let x(f) = f**2 + 6*f + 6. Let w(g) = -g**2 - 5*g - 6. Let z(j) = 3*w(j) + 4*x(j). Let p be z(-7). Let n = 10 + p. Solve n*b = 6*b for b.
0
Let t(b) = -3*b - 15. Let u be t(-7). Solve 5*w + 31 - u = 0 for w.
-5
Suppose 36 = 2*l - 5*l. Let p be ((-6)/(-4))/(l/(-16)). Suppose b - 30 = -p. Solve 5*k - 3 = -b for k.
-5
Let v be 1/((-2)/(3 + -5)). Let d = v - -3. Solve -d*b + 4 = -12 for b.
4
Suppose 3*u = r, -r + u - 4*u = 0. Suppose r = 3*q - 54 + 6. Solve -7*g + 3*g - q = 0 for g.
-4
Let i be (-4)/6*3/(-1). Suppose -2*b + 2 = -i. Solve b*j + 3*j = 15 for j.
3
Suppose -4*b = -2*b - 4. Let z be 1 - 1/b*0. Solve z = 2*f + 7 for f.
-3
Suppose n + 2 - 7 = 0. Suppose -n*f + 15 = -10. Solve 8*p - 3*p - f = 0 for p.
1
Let j be 7/((-35)/10)*-1. Solve 2*d = -4 - j for d.
-3
Let f = 48 - 45. Solve f*a = a - 4 for a.
-2
Let d(k) = -6*k - 4. Let t be d(-1). Let q = -4 + 7. Solve -t*v + 2 = -q*v for v.
-2
Suppose 2*j = -4*t - 8, -4*t - t - 5*j - 20 = 0. Solve 0*b + b = t for b.
0
Suppose -4*o + 20 = -2*t, 8*t - 3*t + 17 = -o. Solve 0 = -x - o*x + 16 for x.
4
Suppose 0 = -3*t - 2*t. Let j = t - -3. Solve -2 - j = -s for s.
5
Suppose -o = o - 6. Solve 9 = o*x - 0*x for x.
3
Let d(n) = -n - 9. Let v be d(-11). Solve -v*z + 20 = 2*z for z.
5
Let u be (-4 + 3)*(1 - 3). Solve 3 + 5 = u*j for j.
4
Let u(k) = -6*k**3 + 2*k + 1. Let i be u(-1). Let m = i + -1. Solve -3*d = -2*d + m for d.
-4
Let s = -83 - -88. Solve 0 = -4*v + 7 + s for v.
3
Suppose 0*x - x + 3 = 0. Let h(r) = -r - 3. Let a be h(-5). Suppose -a*n = -u + 2 + 2, -2*u - 1 = 5*n. Solve -15 = x*v + u*v for v.
-3
Let g(m) = -m**2 + 9*m + 4. Let l be g