i - 9 = a, -3 = -5*s + 2*i - 7 for s.
-2
Suppose -i + 3 = 0, 5*d - 12 = 3*i - 1. Solve -m - d = -2*m - 3*x, -16 = -4*m + 2*x for m.
4
Let l be 75/20 + 1/4. Solve 2*d - 8 = 0, -12 = -5*w + 4*w - l*d for w.
-4
Suppose 6 = 6*s - 3*s. Solve -3*w + s*w + 3 = -i, 3*w = -3*i - 9 for i.
-3
Let b be -6*((-2)/(-4) - 2/2). Solve -j + b*r = -4 - 6, -14 = j + 5*r for j.
1
Let z(o) be the first derivative of o**2/2 - 5*o - 5. Let d be (-2)/7 - 37/(-7). Let p be z(d). Solve p = -j + 4*u - 1, -5*j + j = -u - 11 for j.
3
Suppose 2*u - 18 = -0*u. Suppose -u*y = -8*y. Solve -3*j + 0*i + 5*i + 13 = y, 4*j - i = 6 for j.
1
Let q = 14 - 8. Let s(p) = 4*p - 6. Let m be s(q). Solve m = 3*k + 3*o, 5*k + 5*o - 24 = 6*o for k.
5
Suppose 0 = 5*x - 0*x - 3*m - 26, -5*x + 29 = -2*m. Solve -g = -3*d - 2*g - x, 0 = 5*d + g + 11 for d.
-2
Let m(c) = -c + 9. Let o be m(9). Suppose 2*h + o - 4 = 0. Let z be (0*(-1)/(-3))/h. Solve -j + t = 5, z + 2 = t for j.
-3
Suppose 2*b = b - 5, 3*t - 95 = 4*b. Let n(z) = z**2 - 2*z - 32. Let g be n(-5). Solve -2*r + 3*r + 30 = -5*h, g*r + t = -2*h for r.
-5
Let q = -11 - -4. Let g(k) = k + 9. Let b be g(q). Let t(m) = m**3 - 14*m**2 + 14*m - 9. Let d be t(13). Solve -b*f + 7 - 25 = -d*o, -o = 4*f for f.
-1
Let u(x) = -6*x - 7. Let g(w) = -w. Let p(h) = -3*g(h) + u(h). Let z be p(-6). Let l = z + 13. Solve 3*s + 17 = -b, b + l = -b - 4*s for b.
-2
Suppose -4*u + 123 = 39. Let s = u + -12. Suppose 11 = 4*a - s. Solve 0 = 5*g - 15, 0 = -a*l - 0*g - g + 18 for l.
3
Let p be 4/16 + (-9)/4. Let d be (3/p)/((-4)/16). Solve -2*h = -4*x - d, 3*x - 5*h - 18 = -5 for x.
-4
Let s be 1 + 0/(2 + -1). Suppose -s = -2*g + 3*j + 7, -g + 3*j = -4. Suppose -g*h - 1 = -5*d - 0, 3*d - h = 2. Solve -d = 4*u - t - 12, u = -3*t - 7 for u.
2
Let v(u) = 5*u. Let x = 7 - 5. Let w be v(x). Let b = 10 - w. Solve 3*n - 4 = 5*s + 18, b = -s - 2*n - 7 for s.
-5
Suppose -2*r + 30 + 14 = 0. Suppose 16 = 2*d + 2*y - 7*y, 4*d - 5*y - r = 0. Solve -2*m + v + d - 1 = 0, -7 = -m + 2*v for m.
-1
Let h be (0 - -6)*2/4. Let s(x) = x**3 - 7*x**2 + 7*x - 3. Let p be s(6). Let l = p - h. Solve 3*w - 4*c = -8*c + 1, l = w + 4*c - 11 for w.
-5
Let l be (-4)/(-5) - 55/(-25). Solve -2*m - l*d = 2*m - 1, -m + 14 = -2*d for m.
4
Let h(p) = 4 + 2*p + 0*p - 2 - p. Let z be h(2). Solve -3*u = m - 1 - 3, -4*m = z*u - 16 for m.
4
Let w be 6/(-2*(-9)/12). Suppose -5*a = 4*j, 4*a = -w*j + a + 8. Solve 0 = z - 2 - 1, -j*g = 5*z for g.
-3
Suppose -7 + 52 = 5*t. Suppose -50*z - 12 = -53*z - 5*m, -2*z = 3*m - 8. Solve -5*v - 15 = -o, -z*v - t = -o - 2*v for o.
5
Let n be (-66)/(-4)*(-10)/15. Let y = -6 - n. Suppose -y*g + 22 = 7. Solve -g*c + 3*o - 11 = -o, c - 2*o = -3 for c.
-5
Let r = 12 + -2. Suppose 0 = -4*i + 3*f - 37, -i + 0 = -f + r. Let a = -3 - i. Solve -a*u + 11 = -4*h - 13, -h - 22 = -5*u for h.
-2
Suppose -4*k + 5 = -9*k. Let x = k + 4. Solve 2*y = -j - 4*j + 1, x*y - 5*j = 14 for y.
3
Let n be (3 + 4)*(-3)/(-7). Let r = 1 - -5. Suppose -6 - r = -3*y. Solve -q - 4*b = -8*b + y, -3 = -n*b for q.
0
Suppose 0*s - 4*s + 16 = 0. Suppose 0 = v + s*v - 20. Suppose 2 = 5*g + v*n, g + 3*n - 2 = -3*g. Solve g*t = -4*q - 10, 0*t = 2*t - 10 for q.
-5
Let c(j) = -j**3 + 5*j**2 - 4*j + 4. Let a be c(4). Let g = -4 + a. Suppose 0 = -g*b - 2*b + 4. Solve -3*l - 4*f + 3*f - 5 = 0, 0 = -b*l - 4*f - 10 for l.
-1
Suppose -2*l + 3*n + 3 = 0, 0*n + 4*n = 3*l - 5. Suppose p - 2*o = -l*o + 5, 5*o = -2*p + 16. Solve 2*t - 5*m + 9 = 0, -4*m = -2*t - p - 3 for t.
3
Suppose k + 2*k = 78. Let w be k/6 + 3/(-9). Let n be -2 + 4 - (0 - -2). Solve w*x + 2*b + 2 = n, b - 5*b = -20 for x.
-3
Let a be 2/(-6) - 4/(-12). Suppose 0 = -3*n + 12, a*m + n = -2*m + 10. Solve -2*w - 3 = -j - w, -2*j - m = w for j.
0
Let c = -2 + 0. Let o be (12/(-3))/c - 1. Suppose -5 = -2*v + o. Solve 2*g - v*z - 8 = 0, 0 = 3*z - 4 + 16 for g.
-2
Let r be 5 + -8 + 3 - (0 + -3). Solve 4*t + r*k = -13 - 13, -4*t + 2*k = 16 for t.
-5
Let n = -321 + 323. Suppose 0 = v + 2*v. Let w = v - 0. Solve -n*f - 5*j + 1 = w, 3*j = -5*f - 2 - 5 for f.
-2
Let q(u) = -u**2 + 10*u - 4. Let n be q(9). Let a be (118/4)/(4/8). Suppose a = 4*k - 3*i, n*k - i = -6*i + 100. Solve 2*j - 2 = 4*o - 0, j + k = -4*o for j.
-5
Let t be -4 + 2 + 0 + -4. Suppose f - 2*n = 7, -2*f - f - 29 = 4*n. Let q be (-3 - t) + (-1 - f). Solve 11 = -2*p + q*k, 4*k + k - 15 = 0 for p.
2
Suppose -2*f = -2 - 8. Let s be 3*-2*f/(-6). Solve -20 = c + 3*v, 2*v - s = -2*c + 5*c for c.
-5
Suppose -2*p - 2*o = -4*o - 16, -4*p + 20 = 2*o. Solve 7*c = 2*c + w - 22, 0 = -c - 5*w + p for c.
-4
Let t be (-6)/(-4 + (3 - 1)). Solve 2*p + 1 = -5*m - 4, 2*p = -t*m - 7 for m.
1
Suppose 10 = 5*s - 0*u + 4*u, -8 = -4*s - 2*u. Solve 0 = -s*d - 2*t + 2, -2*d - 5 = -t - 4*t for d.
0
Suppose 25 = -2*g - 3*g. Let h = g - -8. Solve -h*i - 2*v + 6 = 2*v, -5*i - 13 = -v for i.
-2
Suppose -18 - 38 = -8*c. Suppose -5*m + 60 = -4*q - 0, q - 3 = -m. Let p = -5 + m. Solve 2*u + 17 = p*b, 5*b - c = u + 19 for u.
-1
Suppose -2*v - 5*z = -2*z + 8, -22 = -v + 5*z. Solve 5*x = v*o + 20, 5*o - 16 = -3*x - 4 for x.
4
Let z(j) be the first derivative of -2/3*j**3 + 1/4*j**4 + 3 - 1/2*j**2 + 2*j. Let k be z(2). Solve k = -2*s + t - 8, 5*s + 0*t = t - 20 for s.
-4
Let r(u) = -u**3 + 8*u**2 + 3*u - 2. Let a be 1/3 + 69/9. Let w be r(a). Solve 6 = 3*f + 2*v, -f + 2*v = 3*f - w for f.
4
Suppose -m = 4*m + 2*r - 37, 2*m = r + 13. Suppose d - 2 = -0. Solve -4*w + 3*v - m = d*v, 0 = 3*w + v + 7 for w.
-2
Suppose -4*v - 6 = -6*v. Let d(h) = h**2 - 7*h - 12. Let s be d(-2). Solve 4*z + 6 = -k, -s + 2 = -z - v*k for z.
-2
Let k(o) = -o**2 - 8*o - 9. Let q be k(-6). Solve -4*f + 14 = -2*c, 2*f + q*c - 6 = 13 for f.
5
Let b = 6 - 3. Suppose 0 = k - 3*g + b - 17, -18 = -5*k + 2*g. Suppose -w + x + 9 = 0, w + 1 = -k*x + x. Solve -2*p + 7 = -5*l, -6*l + p - 3 = -w*l for l.
-1
Let x be (-2)/9 + 58/18. Let y = x + 0. Suppose 3*c = -5*i + 26, -2*i + 6 = 5*c - 12. Solve 1 = 5*g - 3*r, -r = -3*g + c*r + y for g.
-1
Let o(r) = -3*r - 16. Let q be o(-7). Suppose 3*h = -q*a + 37, 0*a = 3*a - 15. Solve h*i + 5*x - 13 = 4*x, -3*x - 9 = 0 for i.
4
Suppose -4*j + 2 = -n, 0*n + 5*j = 3*n + 27. Let k = 28 + n. Solve 0 = -5*q - t - k, 3*q = 2*q + 4*t - 7 for q.
-3
Let h = 6 - 4. Let x be 0/2 + (1 - h). Let t(v) = 3*v**2 + v. Let b be t(x). Solve 5*i - b*c + 17 = 0, 3 = -i + 2*c - 2 for i.
-3
Let t(o) = 4 - 3 + 0*o - o. Let h be t(3). Let j = 1 - h. Solve -3*l - 3*y = -6, -j*l + 14 = -0*l - 5*y for l.
3
Let j = -5 - -9. Let s be (-10)/45 + (-362)/(-9). Suppose -5*k + 160 = s. Solve 31 = j*v + v - 3*g, -4*v + 2*g = -k for v.
5
Suppose -5*c - 15 = 0, 0 = -6*d + 2*d - 5*c + 5. Solve r + 12 = -3*a, -d*a + 4*r + 0*r = 37 for a.
-5
Let s(b) = -b**2 - 6*b - 6. Let d be s(-4). Suppose -l - d*l = -3. Solve -5*v = -c - 5, -2*c = v + 2*c - l for v.
1
Suppose 3 = t - 5. Let o(h) = h + 1. Let d be (-3)/(-12) - (-3)/4. Let c be o(d). Solve -t = c*j + w, 3*w = 5*j - w + 20 for j.
-4
Let p(i) = i**2 + i - 4. Let t be p(-3). Solve 0 = -2*w - 3*z + 2, 0*z + t*z = -3*w - 7 for w.
-5
Suppose o - 5 = 5. Solve 4*c - v = 25, 3*v + o = c + 2*v for c.
5
Suppose 0 = 5*l - 6*l + 15. Suppose 0 + l = 3*y. Solve -5*o - 6 = -3*s + y, s - 3 = o for o.
-1
Let u be (0 + -1)/(3/(-12)). Suppose -5*i - u*z + 40 = 0, -i + 3*z - 6 = 5. Let k be (-3)/(-54)*147 + (-3)/18. Solve -5*w - i*j + 0 = -k, 14 = 5*w + 2*j for w.
4
Let h(c) = -c**3 - 6*c**2 - 7*c + 8. Let k be h(-4). Solve 2*g = 5*o + 7, -20 = 3*g - g + k*o for g.
-4
Suppose 0*l - 4*l = -4. Suppose -2 = -c + l. Solve 5*n = -2*q + c*q - 10, 5*q - 10 = 5*n for q.
0
Let p = 24 - 12. Let x = 7 - p. Let w = x + 5. Solve -3*n + 2*l + 10 = w, 5*n + 3*l - 5 = -20 for n.
0
Suppose 2*v = 4*v - 6. Suppose -3*d = n - 63, 3*d + 7*n - 2*n = 75. Solve -4*x + d = v*l - 3, -2*x + 6 = -4*l for x.
5
Suppose 0*c - 3*c = -5*j + 162, -106 = -3*j + 4*c. Solve -3*m - 5*f + 4 = -2, -5*f + j = -5*m for m.
-3
Let z(i) = i + 13. Let b be z(-11). Suppose -3*k = -4*k. Solve k = -2*l + s + 2, -l + 4*s = -b*l + 1 for l.
1
Let b(o) = -o. Let k(d) = d**2 + d + 1. Let h(u) = 3*b(u) - k(u). Let w be h(-3). Solve 3*c - 8 = j + 3*j, 3*c + w = 2*j for j.
-5
Suppose -w - 25 = -3*i + 3*w, -35 = -5*i + 5*w. Suppose -15*q = -9 + 9. Solve i*j + 8 = -j - 2*u, 5*j - 4*u + 36 = q for j.
