 = -4*m + 45 for o.
-5
Suppose 2*k - 4 = -0*k. Let r(w) = 3*w**2 - w**2 - 2 - w**2 - w. Let x be r(k). Solve x = 5*t + 4*n - 20, 5*t + 4*n = 3*n + 5 for t.
0
Let l(p) = 5*p**3 - p**2 + p. Let t = 2 + -1. Let h be l(t). Solve h*w - 4 = 4*s + 4*w, 0 = -5*w - 20 for s.
-2
Suppose -d + 5 = -9. Solve -9 = 6*j - 3*j, -k + d = -4*j for k.
2
Suppose -k + 12 = 3*k - 4*h, 2*k - 7 = 3*h. Solve 5*y = 15, -3*y + 2 + 9 = k*l for l.
1
Let f = 7 - 5. Suppose r - u = 3 + 2, f*r - 3*u - 10 = 0. Solve -r*g + 4*p - 33 = 0, 5 = 3*g - 6*g - 5*p for g.
-5
Let c(r) = 2*r - 14. Let p be c(10). Let f be p + -2 + 2/(-1). Solve -5*x - 2*w + 24 = 0, -4*x - w = -5*x + f for x.
4
Let h = 8 - 14. Let b be (-23)/(-3) + 4/h. Let z be 426/21 + (-2)/b. Solve -2*s - 5*o = -s - 30, 0 = 5*s - o - z for s.
5
Let x(r) = 2*r - 24. Let w be x(13). Let u be (-1)/(2/(-8)*2). Solve -o - 4 = -3*j - w*o, 0 = u*j + 5*o + 6 for j.
2
Let u(o) = -5*o - 4*o - 7*o. Let k be u(-1). Suppose -28 = -4*y - 4*c, 0 = -2*y - c - 2*c + k. Solve i = -3*x - 7, -3*x + y*x + 13 = i for x.
-4
Let v = 65 - 118. Let i(u) = -2*u**2 + 2*u + 2. Let j be i(-4). Let y = j - v. Solve -5*t + 3*x + 20 = -x, -3*x = -4*t + y for t.
0
Let a(b) = b + 17. Let i be a(-8). Let v = 14 - i. Solve 4*x = -v*h + 33, 4*x - 2*h + 0 = -2 for x.
2
Suppose 0 = -7*f + 16*f - 45. Let n(t) = -6*t**2 + t + 1. Let u be n(-1). Let c be 2/u + 55/3. Solve 0 = 4*b + r - c - 3, f*r = -b + 10 for b.
5
Suppose 0 = -4*n + c + 927, 3*n - 447 = n - 5*c. Let i be 2/(-8) - n/(-12). Solve -4*w - 3*y + i = 0, -8 - 2 = -2*y for w.
1
Suppose 0 = -w + 3, -4*g + w + 11 = -14. Solve 2 = 2*k - 2*t, 4*k - g = -t + 2 for k.
2
Let v be -1 + 1 + (7 - 2). Solve 2*r - 21 = v*f, -5*r - 14 = -4 for f.
-5
Suppose 4*v - 4*u = -6 + 2, -20 = -4*u. Suppose -3*a + 0*o = 3*o + 3, -7 = v*a + 5*o. Solve -5 = a*h - h + 4*n, 3*h - 5*n = 19 for h.
3
Let z(l) be the first derivative of -l**3/3 + 2*l**2 + 5*l + 3. Let w be z(4). Solve 4*r + 4*k = 16, 3*r + w*k - 25 = -5 for r.
0
Suppose 4*c + 1 = 9. Let x = 1 + c. Solve d - 7 = -2*d + 5*w, -d + w + x = 0 for d.
4
Suppose y - 5 = -2. Suppose -y*d + 21 = -0. Let s be (d - 4)/(1 - 0). Solve 0 = 5*k + 25, 0 = -2*x - 0*x - s*k - 9 for x.
3
Suppose 8 = 2*j - 0*j + 3*a, -4*j - 3*a = -16. Let i = j - 2. Suppose -i*o + 6 = -0*o. Solve 6 = l + b + o*b, -2*b + 4 = 0 for l.
-2
Let h(q) = -q**3 + 6*q**2 - 5*q - 12. Let f be h(4). Solve -2*l + 25 = 5*t - f*l, 13 = t + 2*l for t.
3
Let x = 0 - -13. Solve -6*j = -3*d - j - 12, 4*j = -d + x for d.
1
Let l = -4 + 8. Suppose 20 = v + l. Solve -4*p + v = j, p - 4 = j - 0*j for p.
4
Let y be 0 + (1 - -2) - 1. Let d = -4 + 8. Let p be -5 + (2 - -1) + 2. Solve -d*n - 17 = -y*f + 7, p = -2*f - n + 4 for f.
4
Suppose -3*b + 4*b = 4. Solve 2*g + 2 - b = -j, -3*j + 3*g + 15 = 0 for j.
4
Let x = -7 - -13. Let u(z) = z**3 + 7*z**2 - 8*z + 11. Let t be u(-8). Suppose p - x*f + f = -t, f = 3. Solve -4*q - p*n + 5*n - 12 = 0, 4*n = -q + 14 for q.
-2
Let j(r) = r + 11. Let g be j(-6). Let x = g + -3. Suppose x*a - 6*a = -20. Solve -2*v - 5 = 5*d, 2 = 5*d + a*v + 7 for d.
-1
Let d(z) = -z - 3. Let f be d(-2). Let g be (2/f)/(11/(-22)). Solve 10*t - 5*t + 22 = o, 2*o + g*t + 12 = 0 for o.
2
Let p = 0 - -4. Solve -5*r + 5 = 5*l + 10, 0 = p*l - r + 4 for l.
-1
Let z be (-2 + 1)/((-6)/(-12)). Let d = 4 + z. Solve -3*w - 3*g + 3 = 0, 0 = -2*w - 3*g - d for w.
5
Suppose -o = -6*o + 10, -4*h + 2*o - 12 = 0. Let c(p) = 4*p**2 - 2*p - 1. Let l be c(h). Solve -2*i - 3*w = l, i + 3*w + 6 = -11 for i.
-2
Let h(k) = -4*k - 4. Let j be h(-2). Solve -4 = -o - 5*y, 3*o = -2*y + j*y + 12 for o.
4
Let t = -2 - -6. Suppose -70 = -4*m + 2*h, -5*m + 2*m + 39 = 3*h. Suppose w - 4*a = 10, a - 5*a - m = -4*w. Solve b - z = w*b + 1, 21 = -b + t*z for b.
-5
Let u(g) = -g**2 + 6*g - 4. Let m be u(4). Solve 5*r = -q + 30, 0 = 5*q - m - 21 for r.
5
Suppose 0 = -6*a + 4*a. Solve -4 = y + 2*k - 0, a = 3*y - k - 9 for y.
2
Suppose 4*r = 2*x - 0 + 4, -4*x - r = -19. Solve -5*f + x = -3*c, -4*c - 12 = f + 1 for f.
-1
Let b(q) = 2*q**2 - q. Let a be b(0). Solve -3*j - 13 = 2*c + 2*j, -3*j - 9 = a for c.
1
Suppose -2*z = 3*u - 92, 3*z + 10 = 4. Suppose -5*a + 18 + u = 5*j, 20 = j + 3*a. Solve 0 = -0*r + r - 5*d + j, -r + 2*d - 2 = 0 for r.
0
Suppose -5*j + 18 + 2 = 0. Suppose j = 2*q + 2. Solve 5*n = -2*y - 14, y - 6 - q = n for n.
-4
Let b be ((-2)/3)/(2/(-9)). Suppose 4 = b*n - 14. Suppose 5*h + 6 = d, -3*h + h - n = -d. Solve 3*l = 2*x - d*x + 7, -5*l = -25 for x.
-2
Suppose 0 = -3*w + 2*w - 7. Let c = 7 + w. Solve 4*u + s - 11 = c, -u = -5*s - 15 - 14 for u.
4
Suppose -y + 2*q = 2*y - 77, 3*y - 107 = -4*q. Suppose 0 = -3*o + 2*z + 29, -5*o + 18 = -3*z - y. Solve 5*p - l + 23 = -o, -2*p = -l + 15 for p.
-5
Let t = 16 + -14. Suppose t*g = -2*g. Solve 3*n + 15 = g, 2*m - 16 = 5*n + 9 for m.
0
Let z = 124 + -119. Solve 0 = 2*a - x + z, -x + 5 = a - 0 for a.
0
Let v(i) = 4*i - 29. Let p be v(13). Solve 3*q = 4*j + p, 0*j + 3*q - 13 = -j for j.
-2
Suppose -28 = -2*b - 5*r + 23, 5*b - 60 = r. Let s(x) = -2*x - 2. Let d be s(3). Let a = d + b. Solve 4*y - 23 = f, a*f + 15 + 5 = y for y.
5
Let j be (4 - -1) + -2 + -1. Suppose -l - j + 6 = 0. Solve 40 = -l*q - 4*f - 0*f, 4*q + f = -25 for q.
-5
Let u(i) = 20*i**3 - i**2 + 1 - 2 - 19*i**3. Let x be u(2). Solve 4*n - 3*c - 8 = 8, 2*n - x*c = 14 for n.
1
Let s = 27 + -26. Solve h = l - s, -5*l - 2*h = -h + 1 for l.
0
Let j = 14 + -9. Let k = 20 + -16. Solve -4*p + 17 = -j*z, -z = p + k + 3 for z.
-5
Let a be ((-3)/2)/(6/(-8)). Let z(p) be the second derivative of p**3/3 - 6*p**2 + p. Let k be z(8). Solve 3*s - k*j = -a, -3*j + 0 = -s + 1 for s.
-2
Let j = -30 + 20. Suppose 3*h = 6*h. Let q be 1 - h - j/1. Solve -3*u - 15 = 3*v, 3*u + 0*u = -2*v - q for u.
-1
Let m be -1 + ((-62)/5)/((-4)/10). Solve -4*c = s + 8, -5*s + 8 = 2*c + m for c.
-1
Let k(b) = -b**2 + 2*b. Let q be k(5). Let i be (-2)/6*(q + 0). Solve 2*f = -2*v - 2, -i*f - v + 5 = 2 for f.
1
Let s(t) = -24*t**2 + 3*t + 4. Let n be s(-4). Let y = 210 + n. Let f be y/(-5) + 8/(-20). Solve -5*o - 11 = 4*g, 11 = 5*g - 5*o + f for g.
-4
Let a(v) = v**3 + 8*v**2 + 8*v + 10. Let h be a(-7). Solve 2*g + 2*x + 2*x = 10, -h*g - 25 = -4*x for g.
-3
Suppose 3*v - 16 = 2*y + 5, 0 = 2*v + 3*y - 1. Solve 0*d + q = d + 3, q = 2*d + v for d.
-2
Let p(c) = -c + 8. Suppose -3*a = -3 - 3. Suppose -a = -o + 4. Let y be p(o). Solve -3*v - 6 = -5*t, -y*v - 1 - 3 = 5*t for t.
0
Let k(g) be the second derivative of -g - 2*g**2 + 1/20*g**5 - 1/3*g**3 + 1/4*g**4 + 0. Let c be k(-3). Solve 0 = n, -c*m + n + 3 = m for m.
1
Suppose 4*o - 8 = -0*o. Let h be (-1 + 7)*1/2. Solve 8 = 4*v, 0 = b - o*b + h*v - 10 for b.
-4
Let p be -1 + 4 + (2 - 4). Let a = -3 + 2. Let c be 2*(0/a + p). Solve 3*b - 2*b = c*g + 9, 15 = -5*g - 5*b for g.
-4
Suppose 3*w - w - 2 = 0. Let g be (3 + -3)*1*w. Suppose 0 = -4*y - 0*y - 4, 2*r + y - 3 = 0. Solve -2*s = -5*s + 3, -k + r*s = g for k.
2
Let t(v) = 4*v**2 + 0*v**3 + 5 - 7*v**2 - v**3 - 5*v**2. Let n be t(-8). Let i = n + 0. Solve 4*g - 5 - 7 = 2*r, g + i*r = -8 for g.
2
Suppose a - 221 = -12*a. Solve 2*y + 5*r = a, -2*r = 2*y - 5*r + 7 for y.
1
Let a = -76 + 76. Let t be 2/1 + (2 - 1). Solve 2*d + 2 = a, -5*d = -8*y + t*y + 10 for y.
1
Let j(t) be the second derivative of t**3/6 + t**2 + 3*t. Let m be j(3). Solve 2*f = -2*b + m - 3, -5*f = 3*b - 13 for b.
-4
Suppose -22*x = -16 - 28. Solve -4*a + 7*a = x*k, 2*k = -a + 8 for k.
3
Let z = 7 - 5. Let b be z + 3 + 0 + 0. Solve s = -5*a - 16, -b*a = -3 + 18 for s.
-1
Suppose 0 = x - 4*v - 1, 0*x + 4*x = -5*v + 4. Let b be (-1 - (-16)/2)/1. Solve d - b = -2*j + 4*d, 4*j = d - x for j.
-1
Let y = 0 + 4. Suppose y*a - 58 = 22. Suppose -16 = 4*q, 3*s = 4*s - 4*q - a. Solve -j + 12 = 2*k, 2*k - 5 = -s*j + 13 for j.
2
Let m(l) = -9*l + l**3 + 5*l**2 + 6*l**2 - 5 - 4*l**2. Let v be m(-8). Let d be 2*(-3 - 0)/(-3). Solve -d*i = -2*o, -v*i - 3 - 3 = 0 for o.
-2
Let m = 4 + 3. Let j = 9 - m. Solve 4*b - 2*b - j*y + 12 = 0, -5*b - 5*y = 0 for b.
-3
Suppose q - p = 1, 5*q + 2*p - 14 = -2*p. Solve q*v + 12 = 4*s - 2*v, 4*v = -2*s - 18 for s.
-1
Suppose 5*y + 11 = -g, -3*y + 0*y = 9. Suppose -48 = -4*n - g*t, 0*n + 4*t = 5*n - 24. Solve -5*p = r - 2*p - n, -4*p + 14 = -2*r for r.
-1
Suppose 0 = 3*l + i - 25, -5*l 