 c + 15. Suppose m - j - 7 = -2, -m + n*j = -5. Solve -b = m*g + 1 for g.
-2
Let w(p) = -12*p - 44. Let a be w(-4). Solve -a = -2*f + 4 for f.
4
Let p be 2/(-6) + 2/6. Let t(x) = -x**3 + x + 10. Let c be t(p). Suppose -v = -5*i + 8, 4*v = -2 + c. Solve -3*y - 15 = i*y for y.
-3
Let u = -1 + 3. Suppose -5*k - 39 = -7*t + 3*t, -t = u*k - 26. Solve -6*f + 2*f - t = 0 for f.
-4
Suppose -2*g + 5 - 13 = 2*k, 0 = 3*g + 5*k + 20. Solve q + g = -4 for q.
-4
Let b be (1 + -19)/(-1) + 1. Suppose 4*r - b = 13. Solve -5*g = -g + r for g.
-2
Let v = -2 - 10. Let r(g) = g + 16. Let x be r(v). Suppose -1 = 3*l - 10. Solve l*k = x + 2 for k.
2
Let g be -2*1*(4 + (-56)/4). Solve -3*l = 2*l + g for l.
-4
Let k(n) = -n**3 + 2*n - 1. Let d(p) be the second derivative of p**3/6 - 5*p**2 - p. Let j be d(8). Let f be k(j). Solve o + 4 = -f*o for o.
-1
Suppose 0 = -2*c + 3*c. Solve 0*n - 4*n = c for n.
0
Let r = 0 - -12. Suppose -5*b + r = -8. Let w be 1/(-2)*(-4 + b). Solve -2*d + 4*d + 4 = w for d.
-2
Let u = -9 + 11. Suppose 0 = 2*n - 3*n + u. Solve 0 = t + n + 1 for t.
-3
Let c(q) = 0 - q - 2 - 2. Let x be c(-5). Let t = 2 + 1. Solve 0 = -2*n + x - t for n.
-1
Let u(f) = -3*f + 5. Let g(d) = -4*d + 4. Let y(j) = 2*g(j) - 3*u(j). Let w(l) = l + 10. Let i be w(-3). Let s be y(i). Solve 0*v + 2*v + 8 = s for v.
-4
Let b(m) = 2*m - 5. Let v(z) = z + 12. Let g be v(-8). Suppose 0 = 3*t + a - 12, 4*t + g*a - 6*a = 16. Let l be b(t). Solve 0 = -l*q - 0*q for q.
0
Suppose 5*s + 3*u = 4*s + 14, -3*s - 2*u = -14. Solve 0 = j + s*j - 6 for j.
2
Suppose -43 - 2 = -5*w. Solve 3*p + 3 = w for p.
2
Let h(b) = -b. Let a be h(-10). Suppose -8*n = -9*n + a. Solve -3*w + 8*w = -n for w.
-2
Suppose t + t = 0. Let c = t - 0. Solve c = 6*x - 2*x for x.
0
Let h = 10 - 8. Suppose -2*o = h*o - 40. Solve 2 = -2*n + o for n.
4
Let v(a) = -18*a**2 - a. Let y be v(-1). Let u = y - -20. Solve -z + 4*z = -u for z.
-1
Let q = -2 - -6. Let a(y) = y + 3. Let i be a(q). Solve -2*o + 20 = -i*o for o.
-4
Suppose -3*s + 1 = -5. Suppose -s*h - h + 21 = 0. Suppose -3*i = -2 - h. Solve -4*o - i + 7 = 0 for o.
1
Let m(h) be the first derivative of 21*h**4/4 + 2. Let z be m(1). Let d be 70/z*3/2. Solve d = n + 2 for n.
3
Let v(q) = q**3 + 8*q**2 + 2*q - 10. Let i(f) = f**2 - f - 7. Let d be i(0). Let n be v(d). Solve -s + 6*s + n = 0 for s.
-5
Let s(c) = c**3 + 4*c**2 + c + 4. Let f be s(-4). Solve 0 = 2*r - f*r + 2 for r.
-1
Suppose 4*g + 10 - 74 = 0. Solve 3*f + f + g = 0 for f.
-4
Suppose -4*s + 28 = x, -2*s + 4*x = -1 + 5. Suppose -3*r - 2 = -v + s, -5*r - 25 = -4*v. Solve -l = -1 + v for l.
-4
Suppose -7 = -3*n + 2. Suppose -n*s + 29 + 25 = 0. Let v = s - 10. Solve -3*x - x = -v for x.
2
Let d be (8*4/8*-2)/(-2). Solve 0 = -3*u - 5 - d for u.
-3
Let s = 4 - 4. Suppose s = -3*d + 17 + 4. Solve -3*g - 16 = -d*g for g.
4
Suppose 0*z = -z. Suppose z*f + 16 = 2*f. Solve 2*i = -4 + f for i.
2
Let u(j) = -3*j + 8. Let i be u(2). Solve 0 = -i*b - 0*b for b.
0
Suppose -3*f + 6 = -6. Solve -t - f = -6 for t.
2
Let g(k) = -k - 1. Let c be g(-4). Suppose -3*h = -4*y + 26, h - 5*h = y + c. Solve q - y = 2*q for q.
-5
Let u be 0 + 6/(-6) + 5. Solve -u*r = 1 + 15 for r.
-4
Suppose -6*s + s - 3*s = 0. Solve -5*f = -5 - s for f.
1
Let i(v) = 12*v + 4. Let b be i(1). Let o = -2 - -4. Solve 2*l = -o*l - b for l.
-4
Let x = 3 + 2. Suppose -3*j = -r + 9 + 7, -4*r + x*j = -29. Solve -r + 13 = -3*s for s.
-4
Let n be ((-24)/(-16))/((-3)/(-16)). Solve 2*c = -2*c + n for c.
2
Let c be (-2)/(-4) - (-5)/2. Let h = c + 1. Solve -6 = -p + h*p for p.
-2
Let f be (-138)/9 - (-8)/(-12). Let a = f - -18. Solve 5*g + 8 = -a for g.
-2
Let o be (-3 - 1)/(-16) - (-33)/12. Solve 0 = -b - o + 2 for b.
-1
Let z be 1 - (-2 + 63/(-3)). Suppose 3*s = -s + z. Let p = s - 3. Solve 2*r - 5*r + p = 0 for r.
1
Suppose -7*r - 4 + 39 = 0. Solve 2*y - r*y = -9 for y.
3
Let c(o) = -o**2 - 11*o + 3. Let a be c(-11). Suppose -2*k + b - a = -3*k, 4*b + 12 = 0. Solve -k = -3*f + 3 for f.
3
Suppose 5*f - 4 = 21. Solve -f*w = -2*w - 9 for w.
3
Let i(n) = 3*n + 3. Let g be i(-3). Let x = g - -9. Solve -l = 2 + x for l.
-5
Let u be (-3 + 6)*(0 - -2). Let l be (-2)/(0 + u/(-9)). Solve -h - 8 = -l*h for h.
4
Suppose -4*a = -57 - 7. Solve -6 + a = 5*q for q.
2
Suppose 2*i + 0*o + o - 9 = 0, 12 = 2*i + 4*o. Suppose d = i*d + 18. Let w = d + 11. Solve -2*y = 3*y - w for y.
1
Suppose d - 8 = -i, -3 = -4*i - d + 14. Solve -2*k - i*k - 10 = 0 for k.
-2
Let v(f) = 4*f + 5. Let g be v(6). Let t = g - 18. Suppose -3*k - 2 = -c, -2*c + 5*k - 6*k = -t. Solve -c*h = 4 + 11 for h.
-3
Let w = -3 - -5. Suppose -3*d - 2 = 2*u, 5*d + 3 + w = -5*u. Let f be (0*(-1)/(-2))/u. Solve 3*l - 5 - 1 = f for l.
2
Let j be 3/(-6)*-1*4. Let i(m) = 1 + 4 - j - m. Let n be i(3). Solve -5*x + 18 - 3 = n for x.
3
Let n be (19/3 + -3)/((-2)/(-3)). Solve n*z = -11 - 9 for z.
-4
Suppose -5*q + 4*u = -9, -q = 5*u + 2 + 2. Solve -q = 4*m - 3*m for m.
-1
Suppose -11*q + 32 = -12. Solve -q*w = -7*w + 3 for w.
1
Suppose 6*z + 10 = 28. Suppose -11 = -2*t + 19. Let c be 4/(-10) - (-36)/t. Solve c*a = -z*a + 20 for a.
4
Let z be (-1 + 2)*(4 - -1). Suppose 4*o - 5 = z*c, -2*o + 25 = 3*o. Solve -c*w = -w for w.
0
Suppose -3*a - a = 0. Suppose 2*d - 2*j = 12, d = -d + 3*j + 16. Suppose -2*b - b + s + 17 = 0, 3*b - 11 = -d*s. Solve a*r = r - b for r.
5
Suppose 0 = -5*s - 1 + 51. Suppose -m + 21 = i, 2*m - 2 = -3*i + 40. Let n = -11 + m. Solve 0 = -5*g - n - s for g.
-4
Let m(f) = -5*f - 1. Let y be m(-1). Let x be (14/(-21))/((-2)/12). Let u be ((-2)/(-5))/(4/20). Solve -u*g - x = -y*g for g.
2
Let u = 18 - 15. Solve -z - u*z = 0 for z.
0
Let t be 2/5 + 4/(-10). Let o be -2 + (2 - (1 - 7)). Let f = o + -2. Solve 2*d - f = -t for d.
2
Let l(p) be the first derivative of 10*p + 11/3*p**3 + 1 - 1/4*p**4 - 11/2*p**2. Let h be l(10). Solve o = -h*o for o.
0
Suppose 0 = 2*a - a, -3*m + 9 = a. Let w = 26 + -6. Suppose -5*i = -0*i - w. Solve m*v - i = -v for v.
1
Let d(r) = -r**2 - 5*r + 2. Let c be d(-4). Solve -k = k - c for k.
3
Let w(z) = 10*z - 85. Let j be w(9). Solve 3*p + 4 + j = 0 for p.
-3
Let o = -130 + 133. Solve 4*u + o = -9 for u.
-3
Let o be -1*2 + (14 - 10). Let s(w) = -w**3 - 4*w**2 + 6*w + 4. Let p be s(-5). Let d be ((-2)/5)/(p/5). Solve 0*z = o*z - d for z.
1
Suppose 9*l = 7*l + 20. Solve l = -3*h + 5*h for h.
5
Let a = -2 + 2. Let j be (-3 - 0/3) + 12. Suppose v = -2*v + j. Solve -v*m + m + 10 = a for m.
5
Let v(r) = -3*r**3 - r. Let w be v(1). Let k be (w/(-10))/((-2)/(-60)). Suppose -5*f + p + 19 = 0, -p - 4 = -0. Solve -x - k = f*x for x.
-3
Let f be ((-2 + 2)/4)/3. Solve 0*q + q = f for q.
0
Let y be 1/(2*(-2)/(-344)). Let d = -61 + y. Solve -3*f - 2*f = d for f.
-5
Let w be (-1 - 0) + (4 - 7). Let x = -2 - w. Solve 0 = 5*m + x + 13 for m.
-3
Suppose -m - 13 = 2*m - 2*q, m + 3*q + 8 = 0. Let g(k) = 3*k - k + 2 - k + 4. Let x be g(m). Solve -3 = 4*y + x for y.
-1
Suppose -t = -31 + 28. Solve 8*b - t*b = -15 for b.
-3
Suppose 3*m + 3 + 3 = 0. Let g(v) = v**2 + 4*v + 2. Let f be g(m). Let q(a) = -a**2 - 4*a + 1. Let p be q(f). Solve 3*d = p*d - 10 for d.
5
Let p = -4 + 6. Suppose 5*i - 21 = -6. Suppose -3*u = -z - i*z, 3*u - 24 = -4*z. Solve -z = p*q + 3 for q.
-3
Let i = -84 + 86. Solve 2*z + 12 = -i*z for z.
-3
Let a(c) be the first derivative of c**3/6 - 3*c**2 - c + 1. Let i(y) be the first derivative of a(y). Let l be i(6). Solve 2*t = -l*t - 2 for t.
-1
Let j be -3 + 6 - (-1 - -2). Let g(y) = -y**3 + y**2 + y + 10. Let d be g(0). Let k(o) = -o**2 + 5*o - 3. Let u be k(3). Solve j*v + u*v + d = 0 for v.
-2
Let f(w) = -w**2 - 4*w. Let p be f(-5). Let b(i) = 3*i + 3. Let j(y) = 7*y + 5. Let a(t) = 5*b(t) - 2*j(t). Let s be a(p). Solve s = 3*u - 5 - 10 for u.
5
Let x be ((-48)/(-36))/(4/6). Solve 7*d - x*d = -15 for d.
-3
Let r be (1/1)/(7/14). Solve r*u = -5 + 1 for u.
-2
Let l = -229 - -231. Solve 0 = l*q - 1 - 7 for q.
4
Let o = 15 - 23. Let s = 14 + o. Solve 3*g - s - 6 = 0 for g.
4
Suppose v = 4 - 1. Suppose v = -2*l + 11. Solve 4*d = 4 + l for d.
2
Suppose -7*v = -3*v - 116. Suppose -4*l + 3*l = c - v, 3*c - l = 67. Suppose 3*q - c = -9. Solve 0 = 5*i + q + 5 for i.
-2
Suppose 13*l = 8*l - i + 13, 19 = 3*l - 5*i. Suppose 0*a + 20 = 5*a. Solve l*g = -g + a for g.
1
Let n = -9 + 15. L