e 2*t + f = -t for t.
-3
Suppose -s = -4*a + 15, -5 = 2*s + 1. Suppose 0 = -a*c + c. Suppose 0*p - 2*y = -p - 1, -5*p - 2*y + 7 = c. Solve -3*d - 7 + p = 0 for d.
-2
Let o(g) = 6 - 4 - 6*g - 7 - g**2. Let n be o(-2). Solve 4 = -n*l - 2 for l.
-2
Let j(v) = -v**3 - v**2 + 2*v + 4. Let x be j(0). Solve x*p + p = 0 for p.
0
Let t = -8 - -6. Let r = t - -5. Solve -2*s = r*s for s.
0
Let k be 24 - (2 + -2)/(-2). Suppose 0 = 4*w - p - 13, 5*w - 9 = -5*p - k. Solve 3*y = 5*y + w for y.
-1
Suppose 0*v = -2*v - 12. Let q = -10 - v. Let h(s) = -4*s - 1. Let u be h(q). Solve 7*i - 2*i + u = 0 for i.
-3
Let x(p) = -2*p**2 + 6*p**3 + 3 - p**2 - 5*p**3. Let o be x(3). Solve 5*g = o*g for g.
0
Let a(v) = 2*v - 1. Let m(z) be the second derivative of z**3/6 - z**2/2 + 2*z. Let j be m(3). Let p be a(j). Solve -s + p*s = -10 for s.
-5
Let g be (-2)/(-3) + 232/12. Suppose -g = 9*u - 4*u. Let b = u + 6. Solve s = -b*s for s.
0
Suppose -19 = -p + 3*d, -5*p + 0*p + 5*d + 55 = 0. Suppose 2 = 3*a - p. Suppose -a*l = -4*l. Solve -f - 5 = -l for f.
-5
Let n be (1/((-1)/(-10)))/(-1). Let y = n - -10. Solve -2*o - 3*o + 5 = y for o.
1
Suppose 3*h - 3 = -3*u, -u - u = 2. Suppose 0 = -3*n + 5*d + 38, n - 11 + 1 = d. Solve 0 = c + h*c + n for c.
-2
Suppose -3*r = 3*c - 6, -4*c + 0*r = -4*r - 16. Solve 0 = -c*w + 3 + 3 for w.
2
Let b = -3 - -5. Solve 3*j + 4 + b = 0 for j.
-2
Let h be (-2)/(((-15)/(-6))/(-5)). Solve 0 = 4*i - 6*i + h for i.
2
Let a(o) = o**3 - o**2 + o - 2. Let j be a(0). Let s be ((-5)/(-2))/((-1)/j). Solve d - 2*d - s = 0 for d.
-5
Let c(j) = 2*j**2 + 8*j - 3. Let p be c(-6). Suppose 4*u + p - 81 = 0. Solve 0 = 5*m - 0*m + u for m.
-3
Let t(j) = -7 + j - j + j + 0*j. Let k be t(12). Solve -f = -k - 0 for f.
5
Let t be 5/20 + 1/(-4). Solve -4*w + 4 + 16 = t for w.
5
Let t(u) = -15*u + 1. Let d be t(2). Let o = 54 + d. Let j = 18 + -11. Solve 2*w - j*w - o = 0 for w.
-5
Suppose -5*z + 2 + 8 = 0. Suppose -1 = z*t + 4*h + 7, -5*h = t + 16. Solve -t*v + 8*v = 0 for v.
0
Let z(i) = -i**3 + 4. Let b be z(0). Suppose -g - b*g = -10. Suppose g*d = -5*x + 28, 2*d = 2*x - 0*x. Solve -8 - x = -4*w for w.
3
Let o(a) = a. Let x be o(4). Suppose x*t - 57 = -0*t + 3*m, t = -m + 16. Let f(j) = 4*j + 108. Let q be f(-26). Solve -u - t = q*u for u.
-3
Suppose 22 = x - 2*x. Let m be x/(-2) - (-8)/(-8). Solve 0 = l + l + m for l.
-5
Suppose -3*p + 2 = 4*y, -y = -2*p - 3 - 3. Solve -j = y*j - 15 for j.
5
Suppose 0 = r - 5*a + 17, -3*a + 5*a = r + 5. Suppose s + 4*b + 2 = 2*s, -r*s = -b - 6. Solve 0 = 3*l + s*l + 5 for l.
-1
Let b = 5 - -3. Suppose 4*t + 12 = 32. Let o(j) = 2*j - 1. Let w be o(2). Solve -w*n = -t*n + b for n.
4
Let y = 14 + 1. Suppose -q + y = -0*q. Suppose -4*j = -j - q. Solve j*h - 2*h - 15 = 0 for h.
5
Let a(m) = m**3 - 2*m**2 - m - 4. Let i be a(3). Solve -i = o - 7 for o.
5
Suppose 5*o = o + 36. Solve u = 4*u - o for u.
3
Suppose -4*z - 6 = -22. Suppose -1 - 7 = -z*l. Let r be 5/l*2*1. Solve -5*y - 10 + r = 0 for y.
-1
Suppose -2*s - 3 = -2*b - 13, -5*s + 22 = -4*b. Solve -s = a - 0*a for a.
-2
Let x = -4 + -3. Let w(l) = -l**2 + 1 + l**3 + 8*l + 8 + 9*l**2. Let u be w(x). Solve -z = -u + 5 for z.
-3
Let r = -68 - -74. Solve -3*i = -r*i + 15 for i.
5
Let k(r) = 2*r - 6. Let q be k(5). Suppose -5 = 4*f - 3*h - 37, -f + q*h = -21. Suppose f*z - 15 = -5. Solve 0 = -z*x + 6*x for x.
0
Let r(k) = k**3 + 4*k**2 + 2*k - 1. Let o be r(-2). Let t = 3 - o. Solve t = 2*w - 5*w for w.
0
Suppose 0 = -2*y - 4*w - 1 + 9, -4*y - 2*w = -22. Let q = 10 - y. Suppose -13 = 2*p + 5*a, 0*p = -3*p - 4*a - 9. Solve p = -q*k - 11 for k.
-3
Let q = -149 - -149. Solve 4*h - 5*h = q for h.
0
Let o(r) = -2*r - 1. Let s be o(-5). Solve 6 = 5*u - s for u.
3
Suppose 2*o - b = 6, -b + 0*b - 2 = 0. Suppose 0 = 13*y - 16*y + 15. Suppose y*f = 12 + 8. Solve -f = -o*r - 2*r for r.
1
Suppose -4*y = p - 16, 2*y + 5*p = -2*y + 32. Suppose -y*h - 12 = -6*h. Solve -4*w + 8 - h = 0 for w.
1
Suppose 2*d = -0*d + 8. Solve -2 + d = s for s.
2
Let i(j) = -j**3 - 4*j**2 + 5. Let q(n) = n**2 + 5*n - 4. Let a be q(-5). Let p be i(a). Solve -20 = -p*f - 0*f for f.
4
Suppose -3*s - 2 = -2*f - 5*s, -3*f + 4*s = -10. Solve 2*q + f*q = 4 for q.
1
Let v = 55 - 51. Solve -2*f = -f + v for f.
-4
Suppose 0 = 10*v - 13*v + 12. Solve v*j + j = -20 for j.
-4
Let c(f) = 16*f**3 + 5*f**2 - 8*f**3 - 9*f**3 + 2*f + 0 + 2. Let b be c(5). Let g(i) = -i**2 + 6*i + 4. Let r be g(6). Solve b - r = 2*s for s.
4
Suppose 4*s - 160 = -144. Solve -25 = -s*o - 13 for o.
3
Let v(d) be the third derivative of d**5/60 + d**4/8 - d**3 + 4*d**2. Let w be v(-5). Solve 0 = 2*b - w*b + 4 for b.
2
Let w be (-2 - -3)/(2/(-12)). Let k(a) = -8*a - 13. Let j(v) = v + 1. Let t(m) = 5*j(m) + k(m). Let s be t(w). Solve -f + s = 4*f for f.
2
Suppose -6 - 4 = -5*h. Suppose h*o = 6*o. Suppose o*p - 2*p = -6. Solve w + 4 = p for w.
-1
Suppose -5*s = -3*g - 0*s + 26, -56 = -3*g - s. Let o(w) = 5*w + 0*w**3 + 2*w**3 - 4 - w**3 + 6*w**2. Let i be o(-4). Solve 5*q = -i - g for q.
-5
Let r(b) = -2*b + 20. Let s be r(9). Solve p - 2*p - s = 0 for p.
-2
Let i = -2 - -2. Suppose -3*f - 5 = r - i*f, 0 = -5*f - 15. Let p = 8 + -8. Solve p = -r*c - c for c.
0
Let o = -10 + 13. Let a(m) = m**2 + 4*m - 1. Let j be a(-7). Solve 8*s - o*s = -j for s.
-4
Suppose 3*c + v - 2 = 0, -c - 4*v - 10 = -v. Suppose q + c*q = 9. Solve 4*y = q*y - 1 for y.
-1
Suppose -3*a + 8 = 2*h, -3*h + 2 = 3*a + 2*h. Solve -6 = a*t - 2 for t.
-1
Suppose -4*a = 5*a - 27. Solve 2*y = y + a for y.
3
Suppose n + 0 = 4. Solve -5*h = -n*h + 2 for h.
-2
Let g be (-2)/4*(1 + 1). Let o be ((0/2)/g)/(-2). Solve w - 4*w = o for w.
0
Let r be 12*((-3)/(-12) + 0). Solve -r*c = -4*c - 3 for c.
-3
Let k(w) = w**2 + 4*w - 7. Let d be 1/1 - (2 - -5). Let v be k(d). Suppose v*u + h + 3 = 18, -u + 5*h = -29. Solve -u*m - 20 + 0 = 0 for m.
-5
Let k be ((-4)/5)/((-35)/175). Solve -k*n - n = -10 for n.
2
Suppose -5*i = -4*i - 3. Let u(m) be the first derivative of m**4/4 - 2*m**3/3 - m**2 - 2*m + 9. Let p be u(i). Solve 0 = -0*o + o - p for o.
1
Let i be ((-1)/2)/((-3)/48). Solve 2*d - i = 4*d for d.
-4
Let k be (10/6 + -2)*-6. Solve -k*c = -4*c + 2 for c.
1
Suppose w - 4 + 1 = 0. Let b be (0 - 1 - -4) + w. Solve -i = -b*i for i.
0
Let s(x) = -x**3 - 7*x**2 - x - 1. Let b be s(-7). Let f(p) = p**2 - 6*p + 6. Let u be f(b). Solve 0*h - u = 2*h for h.
-3
Let s be (-2)/(-6) + 12/18. Let t be ((-6)/(-8))/(s/4). Suppose t + 17 = a. Solve 4*u - a = -u for u.
4
Let y(r) = -r - 9. Let k be y(-9). Suppose -3*h - 6 = 0, k*d + 4*h - 8 = -4*d. Solve d*w + 4 - 16 = 0 for w.
3
Let m = 549 + -548. Let s be 1/(4/(-6))*-2. Solve m = 4*f - s for f.
1
Suppose 0 = 3*w - 0*w + 3. Let a be (w - (-9)/6)*4. Solve 20 = a*s - 7*s for s.
-4
Let j(n) = -n**2 - 4*n + 5. Let u be j(-4). Suppose -u = -l + b + 3, -5*l - b + 46 = 0. Let s(g) = -g + 4. Let m be s(0). Solve -7 = m*d + l for d.
-4
Let s(f) = f**3 + 7*f**2 - 7*f + 8. Let i be s(-8). Solve -2*n + 2 + 6 = i for n.
4
Let d be 2/(5 - (-6)/(-2)). Solve 0 = s - d for s.
1
Suppose -4*i = -4 - 16. Suppose 3*m + 3 = -3*l, m = i*l + 5 + 18. Solve -f - m*f = 20 for f.
-5
Suppose -3*y = 2*y - 10. Let m(v) = -v + 4. Let p be 4*3/((-18)/(-3)). Let f be m(p). Solve -y = 2*i + f for i.
-2
Suppose -j = -o - 3, 21 - 49 = -4*o - 4*j. Solve -d + 15 = o*d for d.
5
Suppose -3*g - 11 = -4*m, 5*g - 3 + 12 = 2*m. Solve -m*q - 6 = q for q.
-2
Let i be (-2)/4 - (-22)/4. Solve 12 + 13 = i*r for r.
5
Let n be 4*(11/(-4) - -2). Let q be 1 + 2 - (n - -6). Solve x + 5 + q = 0 for x.
-5
Suppose -2 = -4*b + q + q, 5*b - q = 10. Solve -b*a = a - 8 for a.
2
Let w(y) = -y**3 - 2*y**2 - 3*y - 1. Suppose 4 - 2 = -z. Let g be w(z). Let f(h) = -h - 1. Let q be f(-6). Solve -q*b + 0 = -g for b.
1
Let b(w) = w + 2. Let g be b(-2). Let x(c) = -c + 1. Let s be x(g). Solve 5*i + s = 6 for i.
1
Suppose l + 5*w + 4 = 0, 2*w + 1 = 2*l - 3. Suppose 0 = -c + 2*y + 11, -2*y + 9 = -l. Suppose 3*u + 14 = n, 3*u = 4*n + c - 50. Solve 19 - 4 = n*k for k.
3
Let u be (3/4)/((-3)/24). Let q be (9/(-6))/(u/8). Solve -q*w - 2 = -12 for w.
5
Let u be 40/14 + 6/42. Let i = u + 1. Solve 0 = -3*b + i + 2 for b.
2
Let v = -7 + 14. Suppose -v*u = -3*u. Solve 0 = 3*y + 12 - u for y.
-4
Let s(q) = q**3 + 5*q**2 - q - 2. Let r be s(-5). Let m be 