 x = m - -2. Solve -f = f + x for f.
-4
Suppose g - 3 = -0. Suppose -5*t + 16 = -3*p - g, p = 5*t - 23. Suppose -5*d = -q + 5, -3*d + p*d - 1 = 3*q. Solve r + 3*r + 8 = q for r.
-2
Suppose -2*d = 3*n, 5*n = 4*d + n - 20. Solve 4*x = d + 5 for x.
2
Suppose 0*p + 6 = 2*p. Let i be 56/12 - p/(-9). Solve 0 = y - 4 + i for y.
-1
Suppose -40*s - 16 = -44*s. Solve -5 = y + s*y for y.
-1
Suppose 32 = 32*t - 28*t. Solve -2*f = 2*f - t for f.
2
Let a(o) = -o - 7. Let r be a(-12). Suppose r*p + 4*i = 36, -4 - 20 = -5*p - i. Suppose p*t - 10 = -t. Solve 0 = -3*f - t + 11 for f.
3
Suppose -n = -6*n + 65. Let p = 0 + 0. Solve p = -4*w + 3 + n for w.
4
Let a(q) = 2*q - q - 2*q + 1. Let d be a(-3). Suppose 2*k = -k - 0*k. Solve 0 = 4*o - k*o - d for o.
1
Let y(m) = -m - 13. Let v be y(-16). Solve -5*w = -v*w - 10 for w.
5
Let v be (-11 - -1)/((-14)/7). Suppose 0*o + 4*o = 12. Let i be (-1 + 4)*o/9. Solve -v = -4*u - i for u.
1
Suppose 2*p - 2*c = -2, 2*p + 1 = 5*c - 4. Let m be p*(-3*1)/6. Suppose -t + 1 + 1 = m. Solve -t*u - 2 = -0*u for u.
-1
Suppose 4*u = -5*p + 36, p - 2*u + 16 = 3*u. Let s(g) = -3*g - 1. Let i be s(p). Let c = -1 - i. Solve -c = 2*t + t for t.
-4
Let a = 8 - 7. Let p be 5/(-10)*(-7 + a). Solve 6 = -p*j - 3 for j.
-3
Let x = 73 - 70. Solve -2*s = -x*s for s.
0
Let x be (-2)/((-3)/(-24)*2). Let n be (-4)/6*36/x. Suppose -5*v - 27 = -f, n*f + 4 - 15 = v. Solve 0*g - 10 = f*g for g.
-5
Let o be 2/6 + (-40)/(-15). Suppose o = -5*m + 28. Solve 0*c = m*c - 25 for c.
5
Let q(z) = z**3 + 17*z**2 + 27*z - 37. Let l be q(-15). Solve 0 = -14*u + 16*u - l for u.
4
Let k be (-30)/105 + (-9)/(-7). Solve -v + 3 = k for v.
2
Let u(b) = -b**3 + 8*b**2 - 7*b - 5. Suppose h - 3*y - 15 = 0, 3*y + 12 = -y. Let o be u(h). Solve 0 = 4*j + j + o for j.
-5
Suppose -3*a + 21 = 4*n - 0*a, -2*a - 6 = -4*n. Suppose n*t - j = 4*j + 21, -3*t + 4*j + 18 = 0. Solve -t*z = z for z.
0
Suppose w = 2*u + 10, w - u = -w + 23. Solve -6*k + 2*k - w = 0 for k.
-3
Suppose 0*i + 4*i - 16 = 0. Suppose -i*x = -4 - 12. Solve 6*s - x = 2*s for s.
1
Let n be (-2)/(-6) + (-35)/(-3). Suppose 4*k + n = 2*b, 0*b = -b - 3*k - 9. Solve b = -o - 6 + 2 for o.
-4
Suppose -5 = -2*a - 5*u, 6*a - a = 3*u - 3. Solve a = o + 3 + 1 for o.
-4
Suppose -18 = 4*k - 2*k. Let s be (-1 - 3/k)*-18. Solve 13 = -5*w - s for w.
-5
Let p be (-18)/(-4) + (-7)/14. Let m be 72/(-33) + p/22. Let r(k) = -k - 1. Let l be r(m). Solve -6 = 5*i - l for i.
-1
Suppose -2*k = -6*k + 20. Suppose 4*i + 3*f - 11 = -2, 0 = 2*f + 2. Suppose -i*j + 6 = 0, -k*z - 2*j + 82 = -j. Solve 3*o + o = z for o.
4
Suppose 17 = 4*m + 5. Suppose -4*j = o - 19, 0 = -3*j + m*o - 5*o + 18. Suppose -f - f + j = 0. Solve f*v + 0*v - 6 = 0 for v.
3
Suppose -12*z + 11 + 1 = 0. Solve 1 = l - z for l.
2
Suppose 3 = 4*q - 5. Suppose q*x - 72 = -4*x. Solve -x = 7*m - 3*m for m.
-3
Suppose 0 = -0*p + p - 5. Suppose 44 = p*k - 1. Solve -4*u + k = -u for u.
3
Let a(f) = f**3 + 4*f**2 - 7*f - 7. Let u be a(-5). Solve 8 = u*x - x for x.
4
Suppose 16 = 2*a - 4. Suppose -a = -q + 3*s, 0 = -5*s + 2*s - 6. Solve -u = u - q for u.
2
Let p be 2/(4/10) + -2. Let r(s) = s**3 - 2*s**2 - s - 2. Let j be r(p). Solve -3*b + j = 1 for b.
1
Suppose 4*x - 5 + 1 = 0. Let z be 0*x/(1/1). Solve -5*t + 10 + z = 0 for t.
2
Suppose 21 = v + v + 3*r, -v + 13 = 2*r. Let p be 4/(0 + v + -2). Suppose 0*z + 5*w = -2*z + 37, 3*z = -2*w + 50. Solve 4 = p*u + z for u.
-3
Let w be -3 + 0 + 4 + -3 + 2. Solve -4*p = -w - 4 for p.
1
Let r = -3 - -6. Let q be (19 - r) + 2 - -2. Solve -4*j - q = -0 for j.
-5
Suppose -72 = 6*v - 2*v. Let b = -12 - v. Solve 5*l = b - 1 for l.
1
Suppose 0 = -4*v - 1 + 9, 5*l - 2*v - 16 = 0. Solve 3*b - b = -l for b.
-2
Suppose 3*m + 3*b - 14 = -m, b + 2 = 2*m. Suppose p - 14 = -p. Let r be (-15)/4*320/(-120). Solve m*x + r = p*x for x.
2
Let m be -1 - (12/4 + -85). Suppose -4*f + m = -f. Solve -5*i - 2 = -f for i.
5
Let a be 30/(-25)*(-10)/3. Let r = 3 - 3. Suppose r*f = -f + 2. Solve 0 = a*l - f*l - 2 for l.
1
Let l(t) = t**2 - 8*t - 10. Let m be l(9). Let h = m + 1. Let q = h - 0. Solve q = -b - b - 4 for b.
-2
Let h = 4 + -3. Let w = 2 - h. Suppose w = f - 1. Solve -f*c - c - 3 = 0 for c.
-1
Let k be (-1)/(-2) + (-3)/(-6). Suppose -10 = -b + 4*f, -5*b - 3 = 2*f + 13. Let d be (-4 + k)*b/3. Solve -z + 3*z + d = 0 for z.
-1
Let j(f) = -f**3 - 6*f**2 - 6*f - 1. Let w be j(-4). Let v be (15/w)/(1/(-3)). Suppose -5*u + 5 = -v. Solve -u*q + 4 = 2*q for q.
1
Let w be (-4)/34 - 121/(-17). Let y be 3/(((-18)/16)/(-3)). Solve -3*z = -w - y for z.
5
Let d = 17 - 11. Let g(b) = -b**3 + 2*b**2 + 3*b - 2. Let u be g(3). Let x be 18/3 + -1 + u. Solve -x*q - d = 3 for q.
-3
Suppose -2*l = 4*i - 3 - 7, -3*l = 5*i - 13. Solve -h + 2 = l for h.
1
Suppose 4*u - u - 6 = 0. Suppose 0 = -3*m - 2*m. Let w = 5 - m. Solve -w*y = -u*y for y.
0
Let i(b) = -3*b + 9. Let u be i(6). Let o = u + 13. Solve -a - 1 = o for a.
-5
Let i(a) = -5*a**2 + 3*a + 4. Let c(u) = 4*u**2 - 3*u - 4. Let j(l) = -6*c(l) - 5*i(l). Let q be j(-3). Solve -6*r + q = -2*r for r.
1
Let g be 23 + (1 - (-3 - -2)). Suppose 0*t = 2*c - 2*t + 10, 5*t = -c + g. Solve -4*i + 0 + 4 = c for i.
1
Let m = -13 - -19. Let w(z) = z**2 + 3*z - 13. Let v be w(-6). Let q be -5 + v - (-1 + -1). Solve -q*d + 5*d - m = 0 for d.
2
Let j(m) = m**3 + m**2 - m. Let h(v) = -3*v**3 + 11*v**2 + 20*v + 16. Let a(w) = -h(w) - 4*j(w). Let y be a(-14). Solve 4*c = c + y for c.
4
Let h be 11*(-3)/3 - 1. Let v = h + 18. Let o = 9 - v. Solve o*l = -l for l.
0
Let m = 8 + -3. Let y be 40/18 - (-2)/(-9). Let x(s) = s**3 - 5*s**2 + 7*s + 3. Let n be x(4). Solve y*i = m*i + n for i.
-5
Suppose -p + 2*p = 6*p. Let j = 10 - 8. Solve p = -k + j*k for k.
0
Suppose n = -3*n + 12. Suppose n*y + 5*j = -y + 22, -5*j = -10. Solve -y*u = -u for u.
0
Let v be (1365/6)/13 + 2/(-4). Solve -v = -5*d + 3 for d.
4
Suppose 0 = 23*b - 19*b - 20. Solve -b*z - 10 - 15 = 0 for z.
-5
Suppose p = -5*k + 3, 3*k - 5 = -p + 6. Let a = p - 19. Solve 3*s - a = 2*s for s.
4
Let l be 2/(-3) - 28/(-6). Let z be (l/3)/((-2)/(-3)). Solve 0 = a + z*a for a.
0
Let g = 13 - -16. Suppose 0 = -5*s + g - 9. Suppose 2*h = 7*h. Solve h = -n + s for n.
4
Suppose 5*u - 17 - 3 = 0. Solve 3*o + u = o for o.
-2
Let l(n) = -n**3 + 5*n**2 - n - 4. Let i be l(5). Let w be 33/(-5) + i/(-15). Let q be (-4)/w + 20/6. Solve -q*c - c = -25 for c.
5
Suppose 3*o + 6 - 15 = 0. Suppose -4*s + 6*x = 3*x - 8, 4*x = -o*s + 6. Solve -k + 6 = s*k for k.
2
Let q(w) = w**3 + 3*w**2 + 4. Let h = -1 + -2. Let v be q(h). Solve -v = -z - 1 for z.
3
Let n(t) = 2*t**2 - 2*t - 1. Let k be n(2). Solve k = -5*q - 2 for q.
-1
Suppose 5*o = o + 48. Suppose 7*t - 36 = -2*t. Solve -t*y = -y + o for y.
-4
Let u = 2 - -2. Suppose -5*l = 3*b - 5, 4 = -0*l + u*l. Solve b*x - 25 = 5*x for x.
-5
Let r(x) = x + 1. Let y = -1 - -1. Let d be (2 - -1) + 2 + y. Let s be r(d). Solve -b + s = b for b.
3
Suppose 0 = -5*x - 8 - 17. Let v be (-8)/(-2) + (-6 - x). Solve -2 = v*w - 5*w for w.
1
Let s = -12 - -13. Let p = 8 - s. Solve 5*k - 8 = p for k.
3
Let d = -3 + 7. Suppose -d*y = -2*y - 12. Solve -y*x + x + 15 = 0 for x.
3
Let f be (-6)/7 - (-2)/(-14). Let m = f + 1. Solve m = 5*v + 2 - 12 for v.
2
Suppose -12*y = -5*y - 63. Solve y = -2*z - z for z.
-3
Let d = -6 - -9. Let v(r) = r**3 - 4*r**2 + 3*r + 4. Let w be v(d). Solve -5*t = -t - w for t.
1
Let l(i) = 8*i. Let z be l(5). Suppose 3*b = 6*b - 2*k - 29, 0 = 5*b - 5*k - z. Solve -5*u = -b - 2 for u.
3
Suppose 0 = -4*k - k + 3*n + 28, 2*k + 5*n - 5 = 0. Solve l - k = 6*l for l.
-1
Let f = -13 - -18. Suppose -4*j - 5*g - 7 = 10, f = 5*j + g. Solve -6 = -j*u + 5*u for u.
-2
Suppose -69 = 5*k - 24. Let f = -15 - k. Let v be ((-4)/(-6))/((-2)/f). Solve v*u + 2*u = 12 for u.
3
Suppose 3*j = 6 + 9. Solve -10 + 0 = j*t for t.
-2
Suppose h + 28 = 8*h. Solve 16 = -0*o - h*o for o.
-4
Let k(m) be the second derivative of m**3/6 - m**2/2 - m. Let p be k(5). Solve p*v = -13 + 33 for v.
5
Let x(b) = -b**3 + 2*b**2 + 4*b - 3. Let v be x(3). Let i be 14 - (v/2 - 1). Let z(w) = 2*w. Let l be z(1). Solve -j = l*j + i for j.
-5
Let q = -64 + 64. Solve -2*a = -q*a for a.
0
Let q = -38 + 25. Let u = q + 33. Let h be 0/1 - (-8 - (-2 + -3)). Solve w + h*w - u = 0 for w.
5
Suppose -q + 0*q + 16 = 0. Suppo