j for g.
-5
Let m = -81 + 81. Solve -2*f + 3*p - 5 = -0*p, m = -4*f - 2*p - 2 for f.
-1
Let r = 7 + -3. Let z(q) = -q**2 + 4*q + 3. Let d be z(r). Let i(l) = -l**2 - 7*l - 6. Let n be i(-5). Solve -d*c + 1 = 4*s, 0*c - 3*s = -c - n for c.
-1
Let u(p) = p**3 + 7*p**2 + 6*p + 4. Let o be u(-6). Solve -3*v - a = v + 17, 2*a = 2*v - o for v.
-3
Suppose -13*l + 9*l + 56 = 0. Solve 2*f + 2 = 3*h - l, f + 3 = -h for f.
-5
Let a = 1 - 0. Suppose -3*g = -4*g. Suppose 3*v - a - 14 = g. Solve 2*p = b - v, 9 = b + b - 3*p for b.
3
Suppose 0*z - z + 3 = 0. Suppose 88 + 14 = z*m. Let a be (-2)/(0 - (-4)/(-62)). Solve 5*s - m = -0*d - 3*d, -2*d + a = 5*s for s.
5
Suppose 15 = 5*m + z, -m - 2*m = -4*z + 14. Let d = 3 + 1. Solve 0 = -3*t - d*s + 8, t = 3*t - m*s + 4 for t.
0
Let n = -4 - -7. Let q be 17/(-4) + (-2)/(-8). Let t = q - -4. Solve -5*b = -4*a + n*a - 5, t = -4*a - 4*b + 4 for a.
0
Suppose 3*s + 4*t + 31 = 6*s, -t - 9 = -s. Solve -20 = 4*k, -8 - 23 = -3*g + s*k for g.
2
Suppose 12*s - 14*s = -6. Solve -4*a - b = -s*b + 4, 5*b = 2*a - 14 for a.
-3
Let y be 1*(2 + -5 + 3). Let o(q) be the first derivative of 11*q**3/3 - q - 1. Let k be o(1). Solve -p - 2*r + k = y, -r + 6 = 3*p - 4 for p.
2
Let w be (5 + -116)*2/(-6). Suppose -w = -2*y + s + 8, 2*y - 5*s - 65 = 0. Solve -5*d = 20, -6*d + 7*d = -4*a - y for a.
-4
Let f(d) = 4*d + 56. Let p be f(-13). Solve -2*i - 3*i = -4*q + 36, p*q + 2*i - 8 = 0 for q.
4
Let u be (7 + -4)/((-1)/3). Let r = 9 + u. Solve 8 = -f - 2*o, r*o + 5*o = -3*f - 21 for f.
-2
Let x = 11 - 1. Let h = x - 2. Let r = 8 - h. Solve 20 = 4*t - m - r*m, 0 = -5*t - 4*m + 4 for t.
4
Let s = 1 - -2. Suppose s*t = -n + 125, -5*n = 3*t - 77 - 56. Let f = t + -29. Solve -2*x = k + k + f, -4*x - 15 = k for k.
-3
Let z be (-1)/((-4)/4) - 18. Let m = 22 + z. Solve 5*v + 11 = -4*p - 15, 3*p = m*v - 2 for p.
-4
Let k(h) = -13*h - 81. Let d be k(-7). Solve 0 = -5*z + d, 2*b = -b + 5*z - 7 for b.
1
Suppose 3*j + 18 = 6. Let b = 11 + j. Suppose -4*t = -3*t - 2*g - b, -t + 5*g + 10 = 0. Solve -11 = 3*w + 5*v, 0*w + 3*w + v - t = 0 for w.
3
Let c(z) = -z**3 - 11*z**2 + 12*z. Let u be -12 + 1 + (0 - 1). Let k be c(u). Solve 15 = 3*g, -3*d = -k*d + 5*g - 34 for d.
3
Suppose -5 = -5*v, 7 + 10 = -5*u + 2*v. Let a(s) = s**2 - 2*s - 3. Let y be a(u). Suppose -h + 22 + 20 = 0. Solve 5*m + y = 3*g + h, g = 2*m - 11 for m.
3
Let j = -2 - -5. Let r = -5 - -3. Let y = r + 4. Solve -j*h - 1 = c, -y*c - 10 = c + 2*h for c.
-4
Suppose -4*v = -2*v. Solve 0*b + g = 5*b + 10, -g - 5 = v for b.
-3
Let s(t) = -3*t**2 + t**3 - 7*t - 8*t**2 - 13 + 3*t**2. Let v be s(9). Solve -v*q - 13 = -2*z - 0*q, -3*z + 4*q + 9 = 0 for z.
-1
Let b = -1 - -2. Let t be b/2*(-24)/(-2). Let o be 20/t + 1/(-3). Solve o*w + 16 = -j, -w + 0*w = 2*j + 12 for w.
-4
Suppose 5 - 11 = -3*a. Let r be a*3*2/6. Solve -3*z + y - 17 = r*z, -2*z + 5*y + 7 = 0 for z.
-4
Let l(x) = -x**2 + 10*x + 12. Let u be l(11). Let o be 3/((-9)/(-6)) + u. Solve -4*b = -4*q, -o = 5*q - b - 15 for q.
3
Suppose -4*t - 5*m = 9, 12 = -0*t - 2*t - 4*m. Solve n = t*h - 11, 8*h + 5*n = 3*h - 5 for h.
2
Suppose 4*u = -26 + 98. Let b(a) = -a**3 + 6*a**2 - 5*a + 3. Let p be b(5). Solve -u = 4*g - f, 2*f = -p*g - 3*f - 25 for g.
-5
Let f(n) = -n**2 + 6*n - 7. Let t be f(3). Solve 4*w + t*s - 10 = 0, -3*w = -s - 3*s + 20 for w.
0
Let u = 41 - 23. Suppose 3*s - 3*q = q + 21, 0 = -2*s + 4*q + u. Solve 0 = 2*a - h + 6, -s*a + h - 9 = 2*a for a.
-1
Suppose -5*g + 3*s = -s - 17, 3*g - 19 = -2*s. Let b(o) = -4*o + 1 + 2 + g*o + 1. Let y be b(-4). Solve -u + 1 = d, y = -5*u - 0*u + 5*d - 25 for u.
-2
Let x be 12/15*(7 + -2). Solve 0 = 3*w - 3*u - 3, -x*w + 7*w - u - 9 = 0 for w.
4
Let p be 28/(-49) + 188/(-14). Let h = p + 18. Solve -r + h*i - 4 = 0, -3*r + 8*r - 18 = i for r.
4
Let b be 11/3 + (-2)/(-6). Suppose 3 = 4*x - s - 0, -b*x = 4*s - 28. Solve -x*k = -4*a + 20, 4*k + 8*a = 3*a + 12 for k.
-2
Let t = 5 + -1. Suppose 0 = 2*c + 5*k, -c + t*k + 45 = 19. Suppose y + 2*y + 4*o = 65, 5*o - c = 0. Solve 2*w = v - 0*w - 10, 0 = 4*v - w - y for v.
4
Suppose 7 = g - 0*g + r, 0 = 5*r - 20. Suppose -12 = -g*z - z. Suppose 16 = z*v + v. Solve 2*q - v = m - 1, 0 = -m + 5 for q.
4
Let c be (-2)/(-5) + (-2)/5. Let t be (-3)/(-15) + (-3 - (-216)/20). Solve -5*x + 25 = c, -x + 2*x = -3*z + t for z.
1
Let m(z) = z**3 - 2*z**2 - 4*z + 3. Let w be m(3). Solve -5*a + 21 = 2*b - 10, w = a + 5*b - 20 for a.
5
Let j(k) = -3*k**2 + 5*k**3 - 4*k**3 - k**2 - k + 4 - 2*k**3. Let s be j(-4). Solve 2*l - 2*h - s = -2, 0 = 2*h + 2 for l.
2
Suppose b - 9 = 5*r, -3*b + 0*b - r = -11. Solve -4*a = 4*h - 4, -h - 4*a + 6 = b*h for h.
2
Suppose -3*w - 1 = -4. Suppose 2*r = -o - 21, -o + 12 = 3*o. Let d be (-72)/r - 8/2. Solve d*u - 3 + 0 = 3*k, -w = -k for u.
3
Let d be (-44)/22*(-1 + 1 - 1). Solve d*z + 23 = -z - 2*m, -m = -4*z - 16 for z.
-5
Suppose 2*n - 7 = 3. Suppose l = n*l. Solve -3*y - 5*p - 29 = 0, l = -2*p - 3 - 5 for y.
-3
Suppose 4*l - 4*m = 0, 5*m - 15 = -0*l + 2*l. Suppose l*s - 23 - 37 = 0. Let f(b) = -b + 1. Let u be f(-1). Solve 0 = -0*r - r - 3*k + 6, 2*r + s = u*k for r.
-3
Suppose d + g - 3 - 4 = 0, -d + 2*g - 5 = 0. Solve -h = -d*a - 0*h + 13, -a - h + 3 = 0 for a.
4
Suppose s = -0*s + 18. Suppose 2*p + 31 = 5*h, s = 4*h - h - p. Solve w + 1 = 2*u - h, 5*w = 5*u - 10 for w.
2
Let u be (-18)/54 + 1/((-3)/(-7)). Solve 2*j = -u*o, -5*j - 14 = -o - o for o.
2
Let s = -12 + 25. Solve 4*d - 13 = -3*o, -d + 3*d - 5*o - s = 0 for d.
4
Let c(u) = -u**3 + 7*u**2 - 5*u - 2. Let w be c(6). Solve -4 = -w*y - 4*x, -4*y - 2*x = x - 1 for y.
-2
Let y(x) = 2*x + 1. Let i be y(1). Solve 0 = r - i*q + 13, -5*r - 2*q = -4*q + 13 for r.
-1
Suppose 3*s + 5*l - 9 = 4*l, 2*s = 5*l - 11. Solve 5*r = -4*x + 29, 3*r + 3*x = s*x + 16 for r.
5
Suppose 2*s - 7*s + 225 = 0. Solve 3*c + 30 = -3*t, -3*c + 4*t = -8*c - s for c.
-5
Suppose -5*u = -6 - 129. Let p = u + -27. Solve 0 = -q, 0 = -p*v + 4*v - q + 8 for v.
-2
Let o be (-27)/(-5) - (2 + 32/(-20)). Solve c - o*l = -c + 14, l = 2*c - 6 for c.
2
Suppose -1 = g - 4. Solve 0*v - 2 = 2*v + y, -5*v - 3 = g*y for v.
-3
Suppose 0*q = -2*q. Solve 6 = -2*b, 5*r - 4 = -q*r - 2*b for r.
2
Let u(j) be the second derivative of -2*j**3/3 - 5*j**2 + 8*j. Let s be u(-5). Solve -5*d = -5*n + s, 3*n + 2 = 4*n + d for n.
2
Suppose 4*f - 5*b + 1 = -9, 2*b = 3*f + 11. Let k = 11 + f. Suppose 0 = 2*z - a - 9, -4*z + a + 6 + 11 = 0. Solve 2*q = k, 17 = -2*p + z*q + q for p.
-1
Let o(n) = -n + 13. Let l be o(12). Solve -2*h = 5*i + 35, -3*h + 4*i = -4 - l for h.
-5
Suppose -4*w + 1 = -7. Suppose 4*z - 6 = -j, w*j - 4 = 4*z - 8*z. Solve 15 = l - 4*l, -3*c + z*l + 16 = 0 for c.
2
Let g be 2 - 3 - 1*2. Suppose 31 = 5*m - 4*n, -3 - 27 = -5*m + 5*n. Let x = m + g. Solve 2*a = a - 5*q - 4, 3*a - x*q + 12 = 0 for a.
-4
Let d(t) be the second derivative of t**5/20 - 3*t**4/4 + 11*t**2/2 + t. Let z be d(9). Solve 0 = 5*j + 5, 3*k + z = -2*k - j for k.
-2
Let m = 3 + -3. Suppose m = -3*o - 2*o + 20. Solve 3*l + 35 = -5*v, -5 = 2*v + o*l + 23 for v.
-4
Let x be ((-15)/(-2))/((-4)/(-8)). Suppose -2*s + 5*s = x. Solve s*u - 3 = k, 9 = -k - 2*k + u for k.
-3
Let i be -1 + 24/(5 + -1). Solve -4*k + 4 = -4*t, -3*t + 14 = -i*t + 5*k for t.
3
Suppose 25*r - 10 = 23*r. Solve -4*l - 14 = -2*c - 2, -22 = 2*l - r*c for l.
-1
Let i = 18 - 26. Let v(o) = -o**3 - 4*o**2 - 4. Let s be v(-4). Let w = s - i. Solve z - 3*y - 14 = 0, 4*z + w*y + 20 = -4 for z.
-1
Suppose -13 = -2*p + w, 5*p + w + 1 = 4*p. Suppose p*d + 11 = f - 3, 5 = f - d. Suppose -f*x = 2*x. Solve -2*t - 4 = -t - g, x = -3*t - g - 12 for t.
-4
Suppose -2*q - q + 12 = 0. Suppose 24 = q*j - 0*j. Solve -2*s = -h - 5, -5*s + j = 4*h - 0 for s.
2
Suppose -5*g - n + 12 = 0, -12 = -3*g + 2*n - 5*n. Solve 5*c - 9 = -g*u, 3*c - 2*c = 1 for u.
2
Let k = -2 + 4. Suppose 3*f + 1 = -4*m + 4, 26 = 4*f - k*m. Solve f*c = 3*q - 7, 9*q = 4*q + 5*c + 5 for q.
-1
Let o = 109 - 109. Solve 4*m + 2*g + 10 = 0, -m + o*m = -g + 1 for m.
-2
Let q = 5 + -3. Let u be ((-8)/q + -1)/(-1). Solve 4 + 2 = 3*x - 3*j, 5 = u*j for x.
3
Let z(l) = l**2 - 4*l - 2. Let v be z(5). Suppose 2*c - v = -c. Solve 4*s - 16 = -4*d, -d + 11 = -5*s + c for d.
5
Let f be (2 - 25/10)*-10. Solve -f*o - 30 = 2*z - 7*z, -14 = 2*o - 4*z for o.
-5
Let d b