 4*c + 12 = 0 for n.
4
Let m be -3*2/(2/(-1)). Suppose 113 = 5*v + 3*c, 5*c - 6 = -1. Solve v = -2*n - 0*n + 5*i, 0 = -m*n + 5*i - 23 for n.
-1
Let m(f) = f**3 - 11*f**2 + 9*f + 11. Let u be m(10). Let x = -1 - u. Let d = 5 + x. Solve -5*o + 4*l + 2 = 0, -o - d*l - 16 + 5 = 0 for o.
-2
Let r = -47 + 22. Let g = 6 - r. Solve 2*s + 0*s + 6 = -3*t, -g = -5*s + 4*t for s.
3
Let x = 2 - 4. Let j = x + 5. Suppose -j*y - y + 2*b + 6 = 0, -2*y - 6 = -4*b. Solve -y*a - 4*h + 17 = 0, 0*a + a - 19 = -4*h for a.
-1
Suppose -8 - 2 = -5*v. Suppose d = -3*d - g - v, 2*g + 4 = 0. Solve d = -5*q + 2*f, 0 = -3*q + 5*q - 4*f for q.
0
Suppose 0 = 3*h + i - 11 + 1, 3*h = i + 14. Suppose 3*j - 10 = -1. Suppose -a = -j*a + h. Solve 2*g = a*o + 10, 11 = 4*o + 3*g - 4 for o.
0
Let h = 16 + -12. Solve 4*r - s - 7 = 0, -5*s + 2*s - h = 5*r for r.
1
Let r = -30 - -32. Solve -2*v + 3*v + 5 = 4*i, -3*v - r*i = -13 for v.
3
Let m(n) = -2*n - 4. Let v be (13/2)/((-2)/4). Let b be m(v). Solve -2*x = -5*a + b, -4*x - 25 = -5*a + x for a.
4
Let r(u) = u**2 + u + 2. Let i be r(0). Let y be (i/(-3))/((-4)/24). Solve -2*j = -a - 4*j - 9, y*a = -j - 8 for a.
-1
Suppose 0 = 5*u - 12*u + 21. Solve 5*m - u*i - 1 = 0, -4*m - 7 = 4*i + 5 for m.
-1
Let k(h) = -h**2 + 3*h + 4. Let b be k(0). Solve -b*v + r = -r + 18, -22 = 4*v + 2*r for v.
-5
Let u be ((-78)/(-8))/3 - (-30)/(-120). Suppose -h = 3*h + 3*o - 74, -5*o + 30 = 2*h. Let m = h - 10. Solve m = l - 4*b - 3, -4*b + 7 = u*l for l.
5
Suppose 8*k - 15 = 3*k. Suppose -k*a = -0*a - 15. Solve -4*u + 10 = u, -3*l + a = 4*u for l.
-1
Let c = -16 - -16. Solve 3*u - 4*i = -22, -2*u + 2*i = -c*i + 12 for u.
-2
Suppose 3*l = -5*g + 1, -3*l + 5 = 14. Let b(r) = -r**3 - 9*r**2 - 10*r - 12. Let u be b(-8). Solve -5 = -5*k, g*k - 7 = m + u*m for m.
-1
Let d = 18 + -17. Solve -3*i + 9 - d = g, -3*i + 13 = 2*g for i.
1
Suppose -k + 0 = -3. Suppose -5*u = -5*y, k*u + 6 = 2*y + 4*u. Solve y*v = -l + 3, 5*l - l = 4*v - 36 for l.
-5
Let f(g) = -g**3 - 19*g**2 - 19*g - 18. Let h be f(-18). Solve -2*j + 10 = h, 4*p + 20 = -p + 3*j for p.
-1
Suppose -12 = 5*c - 2. Let s be (14/(-4))/1*c. Solve -u - s = -z, -5*u - 13 = -u + z for u.
-4
Let g be (-4 - -9)/((-5)/(-5)). Solve -5 = 4*i - g*x, 0 = 4*i - i - 3*x + 6 for i.
-5
Let h = -8 - -11. Let x = -6 - -9. Suppose -x - h = -2*w. Solve 0 = -w*s + m - 14, -s + 20 = -4*s + 4*m for s.
-4
Let c = -4 - -4. Let m = 2 - c. Suppose r = 2*k, 5 = 4*r - 11. Solve 3*o + 8 = 2*l + m, -k*o - 4 = l for o.
-2
Let g be (30/25)/(6/20). Suppose 2*r + g - 10 = 0. Solve u - 2 = c, 2*c = -0*u + r*u - 8 for c.
2
Let n be (4/10)/((-5)/(-20 - 5)). Solve -4 = -3*w + x, n*w + 3 = -5*x + 17 for w.
2
Suppose -5*r = 4*y - 5*y, 2*r = 4. Solve 5*v + 16 = -4*b + 2*b, -5*v = 5*b + y for v.
-4
Let g be 3*(-4)/6 + 4. Suppose -2*w - g*w + 16 = 0. Suppose -2*p = -p - 6. Solve -k + 3*y = -p*k + w, 5*k - y - 12 = 0 for k.
2
Let v = -11 - -26. Suppose -v - 10 = -5*j. Solve 5*r + j*o - 20 = 0, -4*r = -3*o + 2 + 17 for r.
-1
Suppose 5*w - 2*i - 75 = 0, -3*w + 2*i = -7*w + 42. Suppose 0 = -t - t. Solve x = -3*j - w, t*j + 8 = -2*j - x for j.
-5
Suppose -3*j - 13 + 22 = 0. Solve r + z = 3, 2 = j*r + 2*z - 9 for r.
5
Suppose 3*r = 2*r + 5. Solve -3*v + 3*z = -0*v - 18, 12 = r*v + 4*z for v.
4
Let b(a) = 3*a - 1. Let x(c) = -2*c**2 - 9*c - 2. Let f be x(-4). Let d be b(f). Solve g + g + 4*i + 4 = 0, -d*g = -i - 1 for g.
0
Let h be (-6 + 12)/(0 + 1). Suppose -4*i - 2 = -h. Let x be i/(2 - 38/20). Solve -20 = 4*s, 0 = -2*f + 5*s - x*s - 25 for f.
0
Let o be (33/44)/((-2)/(-8)). Let r be 3*(-1 - -4)/o. Solve -3*j - 27 = 4*h, r*h = 3*j - 2*h for j.
-5
Suppose -5*h - 14 = -4*i, 3 = -3*h - 2*i - 1. Let a be (h + (-24)/(-9))*144. Let m be (-1)/(2 - 195/a). Solve 5*n = -5*t, 0 = -4*n - n + 3*t - m for n.
-4
Let q(d) = -d. Let r be q(-4). Solve 2*b = -0*b - r, b + 22 = 4*t for t.
5
Let a(q) = -2*q - 2. Let h be a(2). Let d be (h + 1)*2/(-2). Let c = -6 - -6. Solve -5*u + 19 = 4*y + 52, c = u + d*y + 15 for u.
-5
Let j = 7 + -2. Let t(u) be the third derivative of -u**6/120 + u**5/15 + 7*u**4/24 + u**3/6 - 2*u**2. Let x be t(j). Solve 4*y = 3*b, x = 3*y + 2*y - b for y.
3
Let b = -49 + 49. Solve 3*l + 0*j + 4*j + 8 = b, -l + 5*j + 29 = 0 for l.
4
Let y be 1/(-1 + 2)*3 + 1. Solve 12 = 4*o + y*t, 4*t + 9 = 4*o - o for o.
3
Suppose -4*a + 109 = 3*t, 2*t + 67 = 5*a - 75. Let y be 8/a - 12/(-7). Solve -3*f + 5*f = -j - 2, 3*f = -y*j - 4 for j.
-2
Let i(x) = -2*x - 25. Let f be i(-14). Solve 5*j = -h - 0*h + 17, f*j - 21 = 3*h for h.
-3
Suppose -4*k = -8*k + 16. Solve -k*i - 1 = -3*i, 2*i - 1 = -r for r.
3
Let o(w) = -2*w + 4*w + w**2 + 4*w - 6 - 2*w**2. Let a be o(3). Solve -5*j + a*q + 31 = 0, -j - j = 5*q for j.
5
Let i = -17 + 19. Solve 17 = 4*c - v + i*v, -2*c - 14 = -4*v for c.
3
Suppose 4*w - 19 = -83. Let m = -12 - w. Solve m*l = f - 5 + 2, 12 = -4*l + 4*f for l.
0
Suppose 11 = 3*t - 1. Let c(y) = y**3 - y**2 - 14. Let i be c(0). Let d = i - -14. Solve 5*z = -p + 15, -p = -d*p - t*z + 12 for p.
0
Let m = -15 + 15. Suppose -3*f - o + 18 = m, -f + 6*f = -4*o + 37. Solve -2*l - 15 - 6 = -3*v, 3*v = -f*l for v.
5
Suppose -8 = 5*l - 73. Suppose -r + l = -12. Solve v = -4*m + 2*v - 13, 0 = -5*v + r for m.
-2
Let o be 140/(-25)*(-5)/2. Solve 3*a + 18 = -0*a - 3*l, 5*a = -l - o for a.
-2
Let p(k) = 2*k**2 + k + 1. Suppose 0 = -0*l - l + 2. Suppose 2*w - l + 4 = 0. Let o be p(w). Solve 5*t - 29 = -2*g, -1 = 4*g - o*g - t for g.
2
Let v(z) = -2*z**2 - 10*z + 13. Let k be v(-6). Solve 0 = y + 4*a - 0*a - 16, y = a + k for y.
4
Suppose -3*j - 10 + 3 = i, -5*i = -2*j - 33. Let q = -3 + 7. Solve -2*y + q*y - 4*t = 0, 0 = 5*t - i for y.
2
Let m be (0 - (-10)/(-3))*9/(-15). Let l = 4 + -2. Solve -3 = -c + f, l*c - f - 5 - m = 0 for c.
4
Let o be 1/2 - 7/(-2). Suppose -4*i = -4, -2*s = 3*i - i - 14. Solve s = 2*w - 2*f, -2*w + 0*f + o*f = -6 for w.
3
Let m = 68 - 65. Solve -m*r + 3 = 0, 5*r - 4 = l + 4*r for l.
-3
Suppose -j - 25 = -6*j. Solve 0 = -4*v - 0*v - 4*r - 12, -j*v - 6 = -4*r for v.
-2
Let g be 4/14 - (-132)/77. Solve 3*j - 15 - 5 = -g*y, y = 4 for j.
4
Let r = 12 - 8. Solve 0 = -2*v - 4, 4*v = -5*t - r - 19 for t.
-3
Let b(x) = -x - 9. Let l be b(0). Let h = l + 11. Solve 4*c = -2*z + h - 28, -30 = 5*z + 3*c for z.
-3
Let j be 10*(-4 - 9/(-2)). Let t be (-36)/2*4/(-6). Solve 3*a = 4*u + t + 17, -2*a = -j*u - 31 for u.
-5
Suppose 30 = 4*p - 3*r, 3*p - 5*r + 4*r - 25 = 0. Solve j = -m - 3, m = 4*j + j - p for j.
1
Suppose b - h - 5 = -0*b, -4*h = 8. Solve -2*n - b*m - 12 = -3, -5*n + 2*m + 6 = 0 for n.
0
Let q(s) = -s**3 + 5*s**2 - 4*s - 1. Let f be q(3). Solve 0 = 3*p + p + 3*z + 24, 3*p - z + f = 0 for p.
-3
Let v = -27 - -29. Solve -2*l = v, 3*l = 4*o - 3*o for o.
-3
Let l be (90/10)/((-6)/(-4)). Solve -h - l = -3*q, -h = 2*q + 2*h + 7 for q.
1
Let x(h) = 2*h + 21. Let t be x(-8). Solve 2*y - 5*m = -y - 16, -t*y = -5*m + 20 for y.
-2
Suppose -4*l + 6 = -2*l. Solve -3*y = -4*a + 12, -y = -2*a + l*y + 6 for a.
3
Let g be (4/(-8))/(3/(-36)). Solve 3*z - 3 = 4*z, 3*s - g = 4*z for s.
-2
Let g = -14 - -45. Suppose -g = -4*m - 11. Solve 0 = m*t + 3*x - 2*x - 29, 2*t + x - 14 = 0 for t.
5
Let x = -8 - -8. Suppose 2*v + 0*v = 4. Suppose 0 = g + 4 - 7. Solve g*y - p + 6 = x, 0 = -y + 2*y - v*p + 2 for y.
-2
Let r(z) = 3*z**2 + 3*z - 3*z + 0*z - 2 + z + z**3. Let h be r(-2). Solve 0 = -0*s - 4*s + 5*c + 30, h = -5*s + 3*c + 31 for s.
5
Let p(a) be the first derivative of a**3/3 - 4*a**2 + 4*a + 3. Let s be p(8). Solve 4*d - 12 = -s*g, -28 = -4*g - 0*d + 4*d for g.
5
Let r(v) = v**3 - 4*v**2 - 4*v. Let k be r(5). Let s be k/(30/9)*4. Solve -b + s = 4*d - 7, 0 = -3*d - 2*b + 16 for d.
2
Let s(p) = p**3 - 9*p**2 - 8*p - 10. Let h be s(10). Solve 3*v - 9 = -2*y, 4*v + 0*v - h = -2*y for v.
1
Let z(n) = -3*n**3 - n**2 - n - 1. Let v be z(-1). Solve 2*k = 2*c, -v*c - c = 5*k + 8 for c.
-1
Suppose -60 = -5*q + 2*f, 4*f + 40 = q + 10. Let v = q - 7. Solve -3 = -h + 1, -5*h = -v*b - 5 for b.
5
Suppose 5*b - 18 = 92. Suppose 2*i + 13 - 1 = 0. Let f(l) = l**2 + 5*l - 4. Let n be f(i). Solve 6*a - 4*h = 3*a - b, -4*a = n*h for a.
-2
Suppose -3*d + 15 + 30 = 0. Suppose -2*w = w - d. Let a be (0 + 0)*(-2)/4. Solve a = -w*o + 5, -y + o + 5 = 4*o for y.
2
Suppose 0 = -2*f + 21 + 1. Let n =