ve 3*g + 5 = -l + 4, f*g - 5 = -5*l for g.
-1
Let v be (3/5)/(4/20). Suppose -v - 2 = -m. Solve 2*q + b = m*b + 2, -5*q + 3*b + 5 = 0 for q.
1
Let z be 64/12*(2 + -5). Let n be (-16)/(-6)*(-24)/z. Solve 0 = 2*c - j - 10, 0 = -3*j + 4*j + n for c.
3
Suppose -2*u = -u - 26. Let w be 4/u - 400/(-104). Solve -5*a = -0*a + b - 17, 25 = w*a - 3*b for a.
4
Let g(w) = w - 4. Let x be g(0). Let d be (-3)/(x/(-2) - 3). Solve 0*m + 31 = 4*m + 3*i, -d*i - 5 = -5*m for m.
4
Let u(x) = -2*x**2. Let v be u(-2). Let q(g) be the first derivative of g**2/2 + 13*g + 2. Let y be q(v). Solve -2*d + 0*z + 2*z = 2, -3*z + 35 = y*d for d.
4
Let f(t) be the second derivative of -t**5/20 + 5*t**4/12 + 7*t**3/6 - t**2 + t. Let o be f(6). Solve 0*d + 2 = 4*b + 2*d, -o = -5*b - 4*d for b.
0
Suppose m - 3*m = 0. Suppose -6*l + 3*l + 6 = m. Let g(y) = 2*y**2 - 9*y + 8. Let k be g(6). Solve 0*c + 4 = -4*d - l*c, -k = 2*d - 5*c for d.
-3
Suppose 0*v + 7*v = 70. Solve 5*i + 22 = -c, -v = 2*i + 5*c - 4*c for i.
-4
Suppose -x + 6 = x. Suppose 3*j + 0*j - 6 = 0. Suppose 4*v - 2*k - 8 = 2*k, j*v - 4 = 5*k. Solve -8 = 5*d - v*p, p - 1 = x*d + 4 for d.
-2
Let s = -29 - -19. Let m be (-3)/2*s/3. Solve -m*k - 12 = 4*w, 5*k = -5*w + k - 15 for w.
-3
Suppose 0 = 2*w - 3*w - 2*t + 4, -2*t - 8 = -2*w. Solve 3*u + 6 = -w*j - 2, 2*j - 5*u = -30 for j.
-5
Let n = -3 + 1. Let h be n/10 + 19/(-5). Let r = h + 8. Solve -f + 3*f + r*o - 16 = 0, 26 = -3*f + 4*o for f.
-2
Let t = 16 - 32. Let y be (t/10)/((-1)/10). Solve -x + i - 5 = 0, 8*i - 4*i = 2*x + y for x.
-2
Let x(s) = s + 5. Let u be x(-3). Suppose 5*p = -0*b - b + 18, 6 = u*p + b. Suppose 4*c = 5*k - 1, -p*c - 5*k + 9 = -0. Solve 5*w = -3 - 7, c = 3*n + w for n.
1
Let j = -57 - -38. Let p = -29 - -73. Let k = j + p. Solve 0 - 10 = 5*d - 3*c, -4*d - k = c for d.
-5
Suppose 15 = 5*v - 55. Let z(g) = -6*g**2 + g + 2. Let f be z(2). Let x = v - f. Solve -3*p + 2 = -4*k - 9, -3*p = 5*k + x for k.
-5
Let a be 78/(-21) - (-6)/(-21). Let q = 0 - a. Solve 15 = -p + 5*y, 5*p - q*y + 17 = -16 for p.
-5
Let o(y) = y**3 - 5*y**2 + 22. Let r be o(0). Solve -4*a = -2*b + r, -b - 4*a - 16 + 3 = 0 for b.
3
Let g = -50 + 70. Solve 3*n - 5*n = -3*i - 20, 4*i - n + g = 0 for i.
-4
Suppose -88 = 4*l - 2*z, 7*l - 2*l = -z - 124. Let g = -17 - l. Suppose 0 = g*n - 4*n - 27. Solve -4*m - n = -4*b + 7, 2*m + 15 = -5*b for b.
-1
Let h(l) = l**3 - 13*l**2 + 13*l - 7. Let z be h(12). Solve d = -2*w + 5, 1 = z*w + 2*d - 14 for w.
5
Let a(g) = g**3 + g + 2. Let c be a(0). Solve 0 = y + 5, -4*y = -c*i - y + 23 for i.
4
Suppose 8*v - 45 + 13 = 0. Solve -4*m - 1 - 3 = 2*h, v*h - 2 = 2*m for h.
0
Let q(i) = -i**2 - 4*i + 2. Let t be q(-4). Let g(a) = a**3 + 10*a**2 - 12*a - 9. Let p be g(-11). Solve u + 3*b + t = -4, 5*u + 13 = p*b for u.
-3
Let r be (-6)/21 - (-2)/7. Suppose r*l = l - 2. Solve -l*x - 3*u = 2*u - 15, 0 = 4*x - 5*u + 15 for x.
0
Suppose -6 = 2*k - 18. Solve -2*v - 5*q = k, q - 6 = 3*v + 3 for v.
-3
Let k = 4 + 7. Solve -w - 3*p + 11 = 0, -w - 2*w = -2*p - k for w.
5
Let c = 0 - -2. Solve 2 = c*v + 7*f - 2*f, 4*f = 3*v - 3 for v.
1
Let r = 10 + 2. Solve -2*s + 13 = s - 5*x, 4*x = 2*s - r for s.
-4
Let r(h) = -h**3 - 12*h**2 - 11*h + 1. Let l = -4 + -7. Let i be r(l). Suppose -m + 4 = -i. Solve 5*v - 25 = -3*q, m*q = -0*v + 2*v - 10 for v.
5
Let v = -10 - -14. Solve 2*m + 0*m = -v*c - 22, 4*c - 4*m - 8 = 0 for c.
-3
Let c be (-2 - 8/(-2))*2. Suppose -c*w - 2*q + 6 = 0, -3*q + 3 = w + 2*w. Solve 6*t = -2*l + w*t - 6, 0 = -5*l - 2*t - 7 for l.
-1
Let p(f) = f**2 + 3*f + 2. Let i be p(3). Let m be (0 - 4/(-6))*-18. Let d = m - -16. Solve -s = 0, s = -d*a - 0*a - i for a.
-5
Let m = 0 + -16. Let v = -22 - m. Let d = -4 - v. Solve 3 = -3*q, i - d*i - 4*q = 0 for i.
4
Let y(x) = x**2 - 10*x + 13. Let n(d) = -d**3 + 1. Let s be n(-2). Let r be y(s). Let o be 8/(-6)*(-30)/r. Solve -2*l - 2*v + o = -0*v, -5*v = l - 13 for l.
3
Let d be (-2 - (-4 - -4)) + 7. Suppose 18 + 22 = 3*b + n, d*b = n + 72. Solve -2*i - 4*r = b, -3*i = -5*r + 2*r + 3 for i.
-3
Suppose -4*a + 6 = -a. Let s = -2 + a. Let p be (-64)/(-14) - 21/(-49). Solve p*q - 12 = 2*u, -2*q + u + 1 + 3 = s for q.
4
Let c(b) = b**3 + 2*b**2 - b + 3. Let j be c(-3). Let t be 3 + j + 3 + 0. Solve 0 = -5*m - 5, p + 7 = 3*p + t*m for p.
5
Let o be (12/(-10))/((-3)/10). Let y(h) = h - 5. Let b be y(6). Let j = b - -1. Solve -a + 0*c - o*c = 11, 2*c = -j*a - 10 for a.
-3
Let t be 4/3 - (-2)/3. Suppose -t*f = -4*f + 6. Solve 0 = -6*x + 3*x - f*a - 12, -4*x - 16 = 5*a for x.
-4
Let a be 7/(-21) + 48/9. Solve -a*z - 7 = -r, -z + 2*r - 7*r = 17 for z.
-2
Let h = 5 + -3. Suppose 2*d = -0*a + a + 6, -h*a - 3*d = -16. Solve 3*i = a*l + 13, -4*i + 0 + 4 = 4*l for l.
-2
Let s(m) = -m**2 - 3*m - 2. Let z be s(-2). Suppose -3*b + 4 = -71. Solve z = -5*i - 6*o + o + b, 4*i - 3*o + 8 = 0 for i.
1
Let u = 34 - 29. Solve -u*c + 3*o + 7 = 0, -5*o - 5 = -0*c - 5*c for c.
2
Suppose 5*v + 18 = 4*r - 28, -2*r + 8 = 5*v. Suppose -r = m + 4*o, -2*o + 3 + 3 = 4*m. Solve 5*f = -m*c + 25, 3*f - c - 1 = 14 for f.
5
Let n(k) = -4*k + 1. Let q be n(-1). Suppose 0 = -5*f - 2*i - 0*i + 101, 2*i = -f + 17. Solve -q*x = -2*z, -3*x = 3*z - 0*x + f for z.
-5
Suppose 18*l - 12 = 12*l. Solve -3*w = -4*h + 8 - 0, -3*w = h - l for w.
0
Let n be (100/(-6))/(4/(-6)). Suppose -5*w - 6 = -3*w - 4*o, -n = -w - 5*o. Solve d = 3*a - d - 5, -4*a + d = -w for a.
1
Suppose -3 = -3*j, -2*j - 44 = -5*c - 6*j. Suppose 5*q = q + c. Let h = q + 1. Solve -u + 14 = h*r, 21 = -r + 5*r - u for r.
5
Let x be (-2)/(-12) + 1/(-6). Suppose x = 2*g - 4*g. Solve 3*y = 2*y - 3*i - 12, g = -4*i - 16 for y.
0
Let o = 0 - -3. Suppose -y - o*y + 12 = 0. Suppose -2*p - 3*p + 20 = 0. Solve 3*a - 19 = p*v, 8*a + 2*v = y*a - 3 for a.
1
Let k = 20 - 9. Let h = k - 9. Solve -3*a = p + 6, -4*p - h*a = 3*a + 10 for p.
0
Let s = -2 + 1. Let v = -3 - s. Let h = -1 - v. Solve 0 = -5*z + 2*n + 3*n + 40, -3*z - h = 2*n for z.
3
Suppose -20 = 2*a - 7*a. Suppose 28 = 5*t - t. Let q be 16/40 - 23/(-5). Solve t = a*o - m - q, -4*o = -2*m - 8 for o.
4
Let g = -18 + 21. Solve -2*l + 2 + 0 = g*y, 0 = 3*l - 3 for y.
0
Suppose -4*t + 5*i + 14 = 0, -4*i - 6 = -2*t - i. Let a = t - 4. Solve v - a*j = -0*j + 1, 0 = 5*v + j + 28 for v.
-5
Let w = 55 - 55. Solve w = 2*f + 6, -2*h + 6*f = f - 23 for h.
4
Let l be 8*4/(32/4). Solve l*v - 12 = 0, 4*p - v = v - 2 for p.
1
Let r = -1 + 3. Suppose -6 = -2*k - r. Solve k*m + 10 = 2*j, 4*m - m + 15 = 2*j for m.
-5
Suppose 0 = -4*g + 2*g - 4*u - 6, 0 = u + 3. Suppose -4*l = -g - 21. Suppose -a = -l*a + 5*i + 5, -2*a = -5*i - 2. Solve 4*v = -0*v + 12, -v = -2*w + a for w.
2
Let y = -1 - -3. Let a(k) = k**2 + k - 3. Let w be a(2). Solve -5*p = -w*o - 5, -p + y*o = p - 2 for p.
1
Let x(r) = r**2 + 8*r - 13. Suppose 5*s - 66 + 6 = 5*o, s - 2 = 0. Let z be x(o). Suppose z - 22 = -5*l. Solve -5*b + 21 = l*n, 0 = -3*n + 8*n - 3*b - 1 for n.
2
Let w be 3/(-12) - 1/(-4). Suppose -4*y - 4*p = -w*y - 16, 3*p + 12 = 0. Solve -2*n - 3*g = y, -4*g - 20 = 6*n - n for n.
-4
Let b be (-56)/(-21) - 2/3. Let p(n) = n**3 + 7. Let v be p(0). Solve -q - 3*l + b + v = 0, -15 = -3*q - 3*l for q.
3
Let n(m) = -m**2 - 12*m + 6. Let i(z) = -2*z**2 - 24*z + 13. Let a(c) = -2*i(c) + 5*n(c). Let x be a(-12). Solve -4*p - 4 = r + 2, -2*p + x*r + 6 = 0 for p.
-1
Let q be 1*(4 + -3 - -2). Suppose q*f - 96 = -f. Solve -2*u - 3*u = 3*r + 5, -f = u - 4*r for u.
-4
Let d be 3 - 2 - 1 - 0. Solve -5*k - 2*s + 0*s + 15 = d, 0 = -4*k + 3*s - 11 for k.
1
Suppose -b + 18 + 2 = 4*x, 4*x - 20 = 4*b. Solve 5*i = -2*y + 33, -2*y + b*y + 3 = -i for y.
4
Suppose 2*a + 5*p - 21 = -a, 4*p = a + 10. Solve -7 = t - a*g, 0*t = t + 4*g - 17 for t.
1
Let y be (-24)/(-9) - (-2)/6. Let m = -2 + y. Let z = 0 + m. Solve 0 = 4*d - 16, 3 = 2*c - d + z for c.
3
Let c = -8 - -8. Let j = -4 + 8. Solve c = -j*f + 5*n + 4, 0 = -4*f - f - n + 5 for f.
1
Let v = 181 + -172. Solve 4*s = 2*b, 5*b + 3*s = 2*b + v for b.
2
Let l(i) = i**3 + 7*i**2 + 4*i - 12. Let c be l(-6). Solve c = -2*v + 3*k - 13, -4*v + 8*k = 5*k + 17 for v.
-2
Let j(l) = -l**2 + 4*l + 6. Let r be j(6). Let q(k) = k + 11. Let s be q(r). Solve s*t - 23 = 4*b, -5*b + 5*t - 3*t = 16 for b.
-2
Let v(h) = h + 4. Let j be v(0). Let r be (-12)/2*12/8. Let c = r + 13. So