 = m - 2 for m.
-1
Let t(q) = -q**3 - 5*q**2 - 4*q + 4. Let w be t(-4). Suppose 0*f + 35 = 4*u - 3*f, -2*u - 5 = 3*f. Solve w*r + u = -15 for r.
-5
Let c be (-2)/(-4) - (-33)/6. Suppose 26 - c = 4*h. Solve -2 = u - h for u.
3
Let d(p) = p + 9. Let a be d(-7). Let x be -2 - -9 - 1 - 1. Suppose 3 = 2*y + 3*l, 5*y - 2*l - 3 = -x*l. Solve 2*v + y*v = -a for v.
-1
Let z = 12 - 6. Suppose -k = -z*k + 20. Solve -k*u = -2*u + 4 for u.
-2
Suppose 2*c + 0 = 2. Suppose 0 = -4*o - o. Suppose o - 12 = -4*i. Solve 0 = -k - i + c for k.
-2
Let w(z) = z**3 - 10*z**2 + 8*z. Let u be w(9). Let l(j) = j + 11. Let p be l(u). Solve 0*o - o = -p for o.
2
Let i(w) = w + 16. Let d be i(-11). Suppose 0 = 6*x - d*x - 3. Solve x*b = -3 - 9 for b.
-4
Let f = -12 + -1. Let r(o) be the first derivative of o**2/2 + 17*o - 1. Let k be r(f). Solve 17 = -k*n + 1 for n.
-4
Let c be (-3 - -2)*0/3. Solve 3*q + 0*q + 15 = c for q.
-5
Suppose -2*i + 19 + 5 = -3*f, -15 = 4*f + 3*i. Let g(c) = -c - 10. Let w be g(f). Let r(n) = n**2 + 5*n + 4. Let k be r(w). Solve -3*y - 2*y = k for y.
0
Suppose 4*t - 3*r = -43, -2*t + 6*t = 4*r - 44. Let g = -10 - t. Solve g = -p - 1 for p.
-1
Suppose 2*u + 21 = 5*o - 0*u, 2*o - 6 = 2*u. Suppose 4*l + 5 = o*d, 6*l + 3*d - 35 = 2*l. Solve -l - 1 = -2*f for f.
3
Let r be 42/4*8/6. Let v = r - 6. Suppose 0*q - v = -2*q. Solve 0 = q*d + 4 - 12 for d.
2
Let j(z) = -z**2. Let c be j(2). Let k be c/(-3) + 10/15. Solve -6 = -k*a - 0*a for a.
3
Suppose 3*i - i + 2 = 0. Let o = 4 + i. Solve f = o*f for f.
0
Let r(u) = u**3 - 5*u**2 + 3. Let m be r(5). Suppose 3*q - 72 = 6*q. Let v = q + 30. Solve m = -f + v for f.
3
Suppose -11 = -3*z + 1. Let q(l) = l**2 + 7*l. Let d(f) = f**2 + 9*f + 1. Let y be d(-8). Let s be q(y). Solve s = z*a + 4 - 0 for a.
-1
Let f(x) be the third derivative of x**4/12 - 4*x**3/3 - 2*x**2. Let p be f(7). Solve 6*z = 3*z + p for z.
2
Suppose -4*u + 52 = 3*q + 1, 57 = 5*u - 3*q. Let y = u + 2. Suppose -5*a + 36 + y = 0. Solve -4*r + a = -6 for r.
4
Let y = -88 - -88. Solve y*w + 5*w = 20 for w.
4
Suppose 0 = -o + 3*z + 24, 3*z = -5*o + 49 + 17. Suppose -r = r - 4*p + 14, 3*p - 6 = 3*r. Suppose w + r*w = 20. Solve 4*j + w = -o for j.
-5
Suppose -3 = -2*k + 17. Solve 6*j - k = j for j.
2
Let d be ((-5)/2 - 0)*-2. Suppose -5*s + 15 + 15 = f, 2*f - 3*s + d = 0. Suppose f*t + 15 = 5*b, t + t = -3*b + 4. Solve -4 + b = -2*w for w.
1
Suppose -r + 6 = 5. Let j(w) = -4*w + 6. Let q be j(-6). Suppose 4*f - q = -10. Solve r - 6 = f*s for s.
-1
Let v be ((-18)/(-54))/((-1)/(-3)). Solve -9 + v = 4*s for s.
-2
Let c = 75 + -63. Solve 0 = -c*f + 7*f + 10 for f.
2
Let g = -3 - -4. Solve g + 4 = -5*m for m.
-1
Let q(j) = -j - 11. Let a be q(-15). Suppose 4 = 2*k + 4*y - 10, 5*k - 2*y = -13. Let f = k + 16. Solve 0 = -a*m + m + f for m.
5
Let r be (-30)/20 - 54/(-4). Solve -3*o - o = r for o.
-3
Suppose -3*g = -s + g + 7, -4*s + 4*g + 16 = 0. Solve 2*t - 1 = s for t.
2
Suppose -t - 4 + 15 = 0. Let q = t - 3. Let c be ((-3)/(-4))/((-1)/(-4)). Solve 0 = 5*b - c + q for b.
-1
Let r be 7/4 - (-1)/4. Suppose 3*i = r*i + 4. Suppose 0 = 2*a - i - 4. Solve -2*n + a = 2 for n.
1
Let i = -5 + 5. Let c(q) = -q**2 - 3*q + 3. Let r be c(-3). Suppose -14 = -r*v + 1. Solve -v = -f - i*f for f.
5
Let o = -37 + 39. Solve 2*z - o = 4 for z.
3
Suppose -2*v + 4 = -4. Suppose 3*h + 5*m - 36 = 0, 10*h - 6*h - 48 = 4*m. Solve 2*p + v = h for p.
4
Let p(v) = v**2 - 24*v + 123. Let q be p(17). Let i be ((-2)/(-5))/((-2)/(-20)). Solve 0*m + q = -i*m for m.
-1
Let k(v) = v**2 + v + 1. Let g be k(-2). Suppose 0 = -s + g. Solve s = -3*d - 6 for d.
-3
Suppose -3*p - 4*m + 17 = 0, 4*p - 48 = 2*m - m. Let g = 19 - p. Solve 0 = a + 3*a + g for a.
-2
Let r = -4 + 2. Let a = r - -4. Let u be 1 - (4/a - 4). Solve 0*p + u = p for p.
3
Let w = 107 - 91. Solve 0 = p - 5*p + w for p.
4
Let n = 17 + -14. Let i = n - 1. Suppose 3*c - 4 = 2*c. Solve 6*u - i*u = -c for u.
-1
Suppose -4*o = 2*b + 8, -o - 2*b - 8 = -4*o. Suppose o = u - 4. Solve -u*q = -0*q for q.
0
Let k(y) = y**2 - 7*y + 4. Let z be k(7). Suppose 18 = z*p - 42. Let t be ((-3)/5)/((-1)/p). Solve -2*l - 1 = -t for l.
4
Let h be 0/(-3 + (-4)/(-1)). Let r = 0 + h. Solve r*b = -5*b - 25 for b.
-5
Let q(o) = 4*o + 28. Let z be q(-2). Let g(f) = -2*f - 2. Let s be g(-3). Solve 0 = h + s*h - z for h.
4
Let g be 40/6 - (-4)/12. Let h = -28 - -23. Let s = h + g. Solve -17 + s = 3*y for y.
-5
Suppose 5*s + 2*v - v - 16 = 0, -3*v - 9 = -4*s. Suppose 2*l + 4*b - 36 = -s*l, -5*b = 4*l - 36. Solve -h - l = -0*h for h.
-4
Suppose -v + 21 = 4*f, 3*v = -4*f + 7*v - 4. Solve -f*j + 3*j + 1 = 0 for j.
1
Suppose -5*o + 4*o + 5 = 0. Suppose 4*l + 2 = 4*f + 2*l, 0 = -4*f + 4*l. Suppose 4*p = -2*k + k - f, 0 = -4*p - 4*k - 16. Solve -p = 3*m + o for m.
-2
Let x(q) = q + 13. Let u be x(-7). Suppose l - u = 6. Solve 0 = g - 5*g - l for g.
-3
Let t = -24 + 42. Suppose -39 = -2*i - 3*l, l + t = i + 4*l. Solve -5*k + 1 = i for k.
-4
Suppose 4*t + 2*k + k = 26, -4*k - 2 = -2*t. Suppose 3*f = n - 2*f - 38, 4*n - 80 = 2*f. Solve t*v = -2 - n for v.
-4
Let s = 3 + 1. Let q(u) = 2 - 4*u**2 + 0*u**2 + 6*u**2 + 1 + 2*u - u**3. Let w be q(3). Solve w = t + 3*t + s for t.
-1
Let i be 10/(-2)*4/(-10). Solve -3*d - i = 1 for d.
-1
Suppose 6 = -4*n + 18. Solve n = -5*j - 22 for j.
-5
Suppose 2*g = -0*g. Solve g = -5*n - 10 - 0 for n.
-2
Let k(r) = -r - 12. Let w be k(-6). Let c = 6 + w. Solve -2*j - j - 15 = c for j.
-5
Let a be (-1 - (3 - 6))/((-2)/(-4)). Solve -t - 5 = -a for t.
-1
Let z(p) = 4*p - 3. Suppose j + 4*g = 6, -3*j - 2*g - g + 9 = 0. Let y be z(j). Suppose -y*v + 1 = -5*b + 6, 3*v = 12. Solve d = b*d for d.
0
Suppose -3*a = 2*a. Suppose a = 3*i - 4*i + 5*l + 37, -2*l = 3*i - 26. Solve 0*w - 3*w = -i for w.
4
Let o = -6 + 8. Suppose -12 + o = 5*a. Let t be a/10 - (-2)/10. Solve 5*b = -t*b for b.
0
Suppose 0 = -o - 1 + 7. Solve -n + o = n for n.
3
Suppose 92 = 5*k + p + 2*p, -2*k - 5*p + 52 = 0. Suppose 5*x - 14 - k = 0. Solve 0 = -0*g + 2*g + x for g.
-3
Let v = 169 - 157. Solve 8 = -4*g + v for g.
1
Let o = 10 + -5. Solve -4 - 16 = o*t for t.
-4
Let j be (-4 + 2 + 2)/1. Let r be -3*(-8)/12 + -2. Let d = j + r. Solve d = 5*b - 3 + 13 for b.
-2
Let a(y) = y**2 - 8*y + 3. Let t be a(8). Solve -t*w - 2*w - 25 = 0 for w.
-5
Suppose -q = 11*q - 72. Solve q = j + 3 for j.
3
Suppose 0 = 4*t - 2*d - 22, 7*d - 2*d + 25 = 0. Let o = 6 + -3. Let v = 491 - 488. Solve o*z - v = t for z.
2
Suppose 6 = -3*q, -3*x + 5 = -4*q - 15. Let n = 7 - x. Suppose -y = n*y. Solve t - 3*t - 2 = y for t.
-1
Let u be (0*(-4)/20)/(-2). Solve u = -0*f - 3*f + 9 for f.
3
Suppose -u = 2*z + 4, 2*u - 3*z + 16 = z. Let c = 2 - u. Solve -2*m - c = -2 for m.
-3
Let f = -71 - -74. Solve f + 3 = 2*c for c.
3
Let f be (-1)/(-1*(-2)/(-8)). Let y be (5 + -2)*16/12. Suppose -y*w = -20, 0 = -f*v + 3*w + 6 + 7. Solve v = 5*r - 8 for r.
3
Let l = -30 + 15. Let r be (5/(-3))/(l/54). Solve -z = -r*z for z.
0
Let w(i) = i**2 + 4*i - 2. Suppose -5*t + 17 = -2*m, -t + 0*m = 3*m. Let d(v) = -v**3 + 3*v**2 - 2*v + 1. Let o be d(t). Let h be w(o). Solve -u + h = -2 for u.
5
Suppose 2 = -4*i + s, -5*i + 4*s - 8 = -0*s. Solve 0 = 2*q - i*q - 2 for q.
1
Let t = -3 + 3. Suppose -q + 3 = -t. Solve -2 = -q*w + w for w.
1
Suppose -4*g + g + 3 = 0, -3*g = 3*z - 15. Solve -2*w = -z*w for w.
0
Suppose 3*k - 8*k = -5*a + 10, 3*a = -5*k - 10. Suppose a = q + q - 8. Solve -d - q*d - 15 = 0 for d.
-3
Let k = 4 + 1. Solve 4*n = k*n for n.
0
Suppose p - 3*p = 0. Solve p = 2*u - 3*u for u.
0
Suppose 3*a + 4*v = -17, 0*a + 3*a + 7 = -2*v. Solve -4*b = -3*b - a for b.
1
Suppose -v + 0 = 3. Let w be (6/(-3))/2*-3. Let n = w + v. Solve n = 2*k - 7*k - 10 for k.
-2
Let i be (-97)/(-5) - (-8)/(-20). Solve 0 = -5*q - 1 - i for q.
-4
Let z = 27 - 16. Let v(o) = o**3 - 9*o**2 + 8*o. Let a be v(8). Suppose a*u + u = z. Solve 9 + u = 4*m for m.
5
Let c be 0 + (1/2)/(5/10). Solve -3*h + c = -4*h for h.
-1
Suppose -3*o - 6 = 2*b, 4*b + 7 - 1 = -3*o. Let x = 2 - o. Let q be (-1)/(0 - -1)*-11. Solve q + 1 = -x*w for w.
-3
Suppose 4*p - 13*p = -180. Solve -a = 3*a + p for a.
-5
Suppose 6*y - 2*y - 16 = 0. Suppose -2 = y*r + 6. Let v be (r/6)/(1/(-9)). Solve v*d = 9 - 0 for d.
3
Let i(d) = -d**2 + 5*d + 6. Let q be i(5). Solve -q = -2*r - 0