e -z - s = -3 for z.
-1
Suppose 3*m = 15, 0 = 3*k - 3*m - 7 + 22. Solve 2*f = -k*f - 6 for f.
-3
Suppose -10 - 7 = 4*k - 5*o, -4*o + 20 = 0. Solve -k*d + 4*d - 2 = 0 for d.
1
Suppose -d - 12 = -4*d. Let a be (-12)/d*2/(-3). Solve -2*y + 2 = -a for y.
2
Suppose -4 = -w - w. Let n(x) = 7*x**2 + 3*x - 3. Let o be n(2). Suppose -5*s = 25, s + o = 5*u - 24. Solve -u = -w*c - 3*c for c.
2
Let b be (-4)/8 + (-14)/(-4). Let s = b - 1. Suppose -9 = -2*m - 5*q, 5*q - 5 = -m + s*q. Solve -m - 6 = 4*f for f.
-2
Let z be 52/14 + (-4)/(-14). Suppose -f + z = -0. Let h = -45 - -47. Solve n = -h + f for n.
2
Suppose 3*l + 4*g - 21 = 0, -4*l + 4*g + 12 = -16. Solve 3*u - l*u + 4 = 0 for u.
1
Let w(j) = -j**3 - 7*j**2 - 6*j + 2. Let b be w(-6). Suppose -b + 12 = 5*s. Suppose 2*t + 2*m - 10 = 0, s*t + 8 = 3*t + 2*m. Solve 0 = t*z - z - 5 for z.
5
Suppose 5*t - 25 = 5*m, -3*t = -5*m - 6*t + 15. Suppose m*l + 8 = -2*l, 2*s + 3*l = -2. Solve 4*u + s = 3*u for u.
-5
Let m(f) = -f**3 - 2*f**2 + 2. Let i be m(-2). Suppose -11 = -i*l + 1. Solve l - 4 = 2*p for p.
1
Suppose -4*m + 6 = -6. Suppose m*w + 0*d = -d - 2, -3*w + 3*d + 6 = 0. Solve w = 3*z - 6 - 9 for z.
5
Suppose 0 = -z + 9 + 3. Solve 0 = 4*u + z + 4 for u.
-4
Let l(t) = t**3 + t + 6. Let x be l(0). Suppose -c - 2*c = 5*o + 10, 0 = -5*o - 10. Solve -r - r - x = c for r.
-3
Let u(y) = y**3 + 4*y**2 - 6*y + 1. Let i be u(-5). Let q be 4/6*63/i. Solve q*j - 2*j = -5 for j.
-1
Suppose -3*x + 6 = 3*l, 7*l + 19 = 5*x + 3*l. Solve -7 = -x*n - 4 for n.
1
Let c(m) = m**2 - 4*m + 4. Let j = 8 + -4. Let k be c(j). Let h = 3 + 2. Solve -k*x - x = -h for x.
1
Suppose -2*x = -3*x + 5*w - 9, -18 = 2*x - 3*w. Let v be ((-12)/x)/(1/3). Let u(h) = h**3 - 6*h**2 - 3*h - 7. Let l be u(7). Solve 0 = 5*j + l + v for j.
-5
Let c = -17 + 20. Solve c*r + 0*r = 0 for r.
0
Let g be 6/2 - ((-8)/4 - 1). Solve -g*v + 2*v = 0 for v.
0
Suppose w = -p + 2, -2*w = -2*p + 2*w + 22. Solve -p*n = -24 + 4 for n.
4
Suppose 4*a - 61 = -3*q, q + 10 = 2*a - a. Solve -4*d = -7 - a for d.
5
Let y = 6 + -4. Let m be 0 + 0/y + 2. Solve -2*v = m*v - 20 for v.
5
Suppose 4*w + 2*a = 3 + 21, w = -5*a + 6. Let b be -4*(-1)/4*0. Solve -3*i - w + 0 = b for i.
-2
Let a(q) = q - 1. Let v(r) = -r. Let j be v(-5). Let i be a(j). Solve 0 = -k - k + i for k.
2
Let m(n) = n. Let t be m(3). Solve r = t*r for r.
0
Let y be (-12)/30 - 2/(-5). Solve -3 + y = 3*w for w.
-1
Suppose 5*o + n - 1 = -2, -2*n = -2*o + 2. Solve o = -4*w + 7 + 1 for w.
2
Let l(m) be the second derivative of -m**5/20 + 5*m**4/12 - 2*m**3/3 + m**2 - 2*m. Let u be l(4). Let w be -1*(-6 + u - -2). Solve w*x + 0*x - 8 = 0 for x.
4
Suppose -17*j = -14*j. Solve -4*y + 6 - 2 = j for y.
1
Let a be (-2)/(-11) - (-4 - (-184)/44). Solve -j - 3 = -a*j for j.
-3
Let l(n) = -n**2 + 7*n + 2. Let q be l(7). Let s be ((-28)/42)/(q/(-6)). Solve 3*d - d = s for d.
1
Let i = 22 + -17. Solve -i - 10 = 3*a for a.
-5
Let u(g) = -g**2 - 3*g + 1. Let p(t) = -t**3 + 4*t**2 + 2*t + 2*t**3 + 2 - 6*t. Let d be p(-5). Let a be u(d). Solve -2*j - a = 5 for j.
-3
Let k be 0/(-5) - 2/1. Let q be (-7 + -3)/(4/k). Solve -9 = q*p + 6 for p.
-3
Let c = -152 - -156. Solve c*k + 10 = -10 for k.
-5
Suppose -3 = 5*b - 13. Solve -b*g = g for g.
0
Let w(o) = 2*o - 12. Let z be w(7). Let k = -1 + z. Solve 5*u + k = 4*u for u.
-1
Suppose y - 3 = -0. Let u = -2 + y. Let g be u*(-1 + 2) - -1. Solve h = 2 + g for h.
4
Let m = 61 + -61. Solve f + 2*f = m for f.
0
Let i = 0 + -6. Let t = i - -12. Solve -t*a - 8 = -4*a for a.
-4
Suppose 5*s + 5*q = 25, 0 = -q + 2*q - 2. Suppose -f - j + 23 = -5*j, -4*f = 3*j + s. Solve 3*h = -0*h - f for h.
-1
Suppose 2*t = 4*g - 0 - 16, -2*g + 8 = 2*t. Solve n = -t*n for n.
0
Let b be 6 - 4 - 6/(-2). Solve 34 - 14 = b*n for n.
4
Let s = -74 - -75. Solve -u + 3 - s = 0 for u.
2
Suppose -i = j + 9, -4*j - 15 = i + 3. Let o = i - -10. Suppose 1 = -3*z - o*q - 3, -3*z + 5*q = -5. Solve z = -h + 3*h - 2 for h.
1
Suppose 4*r = 4*j + 10 - 26, -5*j = 2*r - 13. Solve -j*t - 4 = 2 for t.
-2
Let s(h) = h**2 + 3*h - 4. Let f be s(-4). Let v = f - -3. Solve 2 = v*l - 4 for l.
2
Let w(y) = -y**3 - 5*y**2 + 5*y - 1. Let v = -19 + 13. Let l be w(v). Solve 5 = l*i - 0 for i.
1
Let j be 14/(-35) + 62/5. Suppose 3 = 5*s - j. Solve 4 = s*i + 1 for i.
1
Suppose -4*a + 30 = -j, 4*j + j - 10 = 0. Suppose -4*s = -5*o + a, 8*s - 11 = 3*s + o. Suppose i - 2*v = 0, -4*v = -s*i + v. Solve i*w + 5 = 5*w for w.
1
Suppose -5*g + 4*g = -6. Suppose -4*o + g = -6. Suppose -2*n + o = -n. Solve -n*d - 12 = 3 for d.
-5
Let m(v) = -4*v**2 - 2*v - 2. Let j be m(-2). Let n be (-6)/21 + (-32)/j. Solve 0*p + n*p = 0 for p.
0
Let u = -4 - -7. Suppose 0 = -4*h + u*h + 12. Suppose 0 = -d + 3*d. Solve -v + 4*v + h = d for v.
-4
Suppose i = 3*t + 15, -5*t - 14 = -5*i + 11. Suppose 0 = -5*x + 22 - 7. Solve i = -x*s - s for s.
0
Suppose 1 = 2*s - 5. Solve -s*z = z + 20 for z.
-5
Let k(t) = t**2 - 4*t - 5. Let o be k(5). Let d = -2 - -5. Suppose 4*s + 5*m + 2 = 0, d*m + 1 = -2*s - 1. Solve x + s = -o*x for x.
-2
Let u = 16 - 16. Let v be u*((-12)/(-8) + -1). Let s be (2/(-1))/(2/(-5)). Solve v = s*f - 2*f + 12 for f.
-4
Let x(k) = k - 5*k + 2*k - 7. Let t be x(-5). Suppose -3*z - 6 = 0, -t*a - 4*z = 1 - 53. Solve 2*p = -2*p + a for p.
5
Let m(g) = g**2 + 9*g. Let s be m(-8). Let n = -6 - s. Solve -4*c = -n*c - 6 for c.
3
Let j be 1/2 - 5/(-2). Solve 5*l - j - 7 = 0 for l.
2
Let w(t) = -t**3 - 4*t**2 - 5*t - 2. Let y be w(-3). Solve 0 = f + y for f.
-4
Let b be 6/(-4)*-2 + -1. Suppose 0 = -w + b. Solve 5*m - w*m = 0 for m.
0
Let l be (-9)/(-30)*-2*5 + 8. Solve 3*c - 2*c = -l for c.
-5
Suppose 3*c - 12 = -c. Suppose -3*p + 6 = -c. Suppose 4*f = s - 8, 4*f = -p*s + 1 + 7. Solve 3*o + 4 = s*o for o.
4
Let v(i) = i**2 + 5*i + 8. Let r be v(-7). Suppose 5*t - r = -7. Solve -2*w + t*w = -3 for w.
-3
Suppose -2*d - 5 = -0*d + p, 3*d = 4*p + 20. Suppose d + 2 = 2*w. Solve w + 7 = 4*u for u.
2
Let k = 73 + -73. Solve -j - 4*j + 10 = k for j.
2
Let j(x) = -2*x**2 + 9*x - 3. Let o be j(4). Solve o = p + 5 for p.
-4
Let b be (-15)/(-30)*3*2. Solve -b*v - 10 = -v for v.
-5
Let x be 0 + 3 + 1 + 1. Suppose 0*f - 4*f + 28 = 0. Let n = f - x. Solve -n*k = 2*k - 20 for k.
5
Suppose 5*h + 3 = 23. Solve -h*i = 5 + 15 for i.
-5
Let k(b) = -b**3 + 5*b**2 + 3. Let h be k(5). Suppose -5*a - 1 + 15 = 2*o, -3*o = -h*a. Solve 4*t = 2*t - o for t.
-1
Let p(r) = -r**2 + 16*r - 52. Let k be p(11). Solve -2*y - 25 = k*y for y.
-5
Let y(c) = c**3 - c**2 - 7*c + 7. Let k be y(3). Solve -9 = 5*o - k for o.
-1
Suppose -3*z + 2 = u, 2*u = -2*z - 1 + 5. Suppose -g - 3*h + 2 = -6, 0 = 2*g - 5*h + 6. Let l = g + 2. Solve l*x - 8 = u*x for x.
4
Let v(n) = -n + 1. Let o be v(4). Let z = o - -3. Suppose -c - 2*c = -6. Solve z = b + c*b - 15 for b.
5
Let u be ((-6)/5)/(-11 + 106/10). Let m = 5 - -3. Solve u*y = y + m for y.
4
Let o be (-1 - 1)*(-4)/2. Let y = o + -4. Let l(c) = 2*c + 4. Let w be l(3). Solve -3*a + a + w = y for a.
5
Let x be (-2)/(-4) - 3/(-2). Solve -x*c + 15 = c for c.
5
Suppose -8 = -t - 0. Let f be t - (5 + -4 + 2). Solve -f = -3*k + 1 for k.
2
Let l = -3 + 5. Suppose -l*x + 2 = -x. Suppose -5*j + 25 = 0, -4*i + x*j - 2 = -0. Solve i*u + 2 = -2 for u.
-2
Suppose -5*m + 31 + 9 = 0. Solve 4*z - 4 = m for z.
3
Let l be (-9)/(-4) - (-11)/((-308)/(-21)). Solve 5*j = l*j for j.
0
Let w(d) = 2*d**2 + d - d**2 + 15 + 1. Let f be w(0). Solve 0 = -4*m + f for m.
4
Suppose 10 = -2*r, 27 = f + 2*r - 7*r. Solve -3*q - 5 = f*q for q.
-1
Let o(n) = -n**3 - 7*n**2 - 7*n + 6. Let u be o(-6). Let x be (16/u)/((-4)/(-6)). Let g be (-15)/(-6)*(1 + 1). Solve -g*t - 15 = -x*t for t.
-5
Suppose 2*p - 9 = -p. Suppose p*s - 10 = -1. Solve -s*i + 8*i = -25 for i.
-5
Let o be (-34)/(-8) - 9/(-12). Suppose 5*p + 5 = -5*j + 15, 3*p - 2*j - 6 = 0. Let w be (-30)/(-9) + p/(-6). Solve w = o*y - 2 for y.
1
Suppose 1 = p - 2. Let k(c) = 2*c - 4. Let g be k(7). Suppose g + 2 = f. Solve -p*l = -0*l - f for l.
4
Let l be (3/(-1))/3 + 5. Suppose -n = -0*n - l. Solve n = -y - 1 for y.
-5
Let h(j) = 3*j. Let m be h(1). Suppose -2*u - 3 = 4*x - u, m = -3*x - u. Suppose x*o = -2*o. Solve 0 = 3*r - o*r for r.
0
Suppose 6 = 4*j - j. Let f be (-1 - 0)/(j/(-10)). Solve 25 = -f*v - 0*v for v.
-5
Suppose d = -2*d + 3. Let g be 