= 4*u + g, f = 2*u - g - g for u.
5
Let a(b) = -b + 5. Let p be a(0). Let l(g) = 3 + 3*g**2 + 1 + 3*g + 0*g**2. Let s be l(3). Solve -s = -5*x + p*z, -2*x - z = -0*x - 4 for x.
4
Suppose -p = 4*z + 14, -3*z - 26 = -3*p + 2*z. Solve 0*j = -p*j + 4, 2 = -4*l - j for l.
-1
Let i be (-9 + 0)/(-3 - 0). Solve -t - t = -i*z - 3, -z = -t + 2 for t.
3
Let c = 3 + -1. Let d = -6 + 8. Let i be (d + 2)/((-2)/(-1)). Solve 0 = -5*h + t - 28, h = -3*t + i + c for h.
-5
Suppose 0 = 4*k + 5*g + 17, k - 3*k + 3*g + 19 = 0. Suppose 0 = 5*o - k*o - 15. Solve h + 20 = -o*z - h, 0 = 4*z - 5*h + 16 for z.
-4
Suppose -l - 1 = -3. Suppose -l*u + 3 = -3. Let y be 2 + u*-1 - -4. Solve o = -y*o + 2*v + 2, -v - 11 = 3*o for o.
-2
Let d be (-88)/(-24) - 2/(-6). Solve 0 = d*l - 2*o - 0*o + 16, -5*o = -2*l for l.
-5
Suppose 0*j - 4*j = 0. Let y be (5/15)/((-1)/15). Let l = y - -8. Solve 4*v - 3*s + 7 = 0, -2*v - 5*s + l = -j*v for v.
-1
Let b be 2 - -3*(-3)/(-3). Suppose q = 3 + b. Let i(x) = x**3 - 7*x**2 - 9*x + 12. Let w be i(q). Solve 3*d - 13 - 2 = 0, -r = d - w for r.
-1
Suppose -2*t - u = 8, 2*t + t - 10 = 4*u. Let c be 0/(t/6*-3). Let b = 3 + c. Solve d - 4 + b = a, 23 = 5*d + a for d.
4
Let t = 14 + -12. Let c be 13/t - 12/8. Solve 4*z - c = -3*g, -4*g - 5*z = -0*z - 7 for g.
3
Let v be (0 + -4)*(-2)/4. Solve -5*l - 22 = 4*c, -l - 2*l + v*c = 0 for l.
-2
Suppose 6*g - g = -5*h, -5*h = -3*g + 8. Solve 2*n = 5*n + 5*o + g, -5*n + 2*o - 12 = 0 for n.
-2
Suppose u - 3 = -2. Let k = -104 - -107. Solve -y + k*y + 1 = v, u = 2*y - 3*v for y.
-1
Suppose -c = 1, -3*c = -q - 0*c + 25. Let b = -22 + q. Solve 4*k - k - 3*u = b, 4*u = -k - 5 for k.
-1
Let r(a) = 3*a**3 + a**2. Let f be r(1). Suppose 4 = i + 9, i = f*t + 11. Let o be (-1 + t/(-2))*16. Solve 0 = -7*w + 3*w + o, 5 = q + 2*w for q.
-3
Suppose 1368 = 3*s + s. Let x be 4/(-26) + s/26. Solve -5*m = -3*w - x, 5*m - 18 = -4*w + 23 for w.
4
Let d(j) = j**3 + 8*j**2 + j + 2. Let w be d(-8). Let t = 3 + w. Let z be 1 - (30/t + 2). Solve 3*s = 2*p - z, -2*s = p - 4*p + 1 for s.
-5
Suppose 4*f + 2 = -2. Let v = f + 5. Solve 0 = -2*u + 2*h - 3 - 9, -h = 4*u + v for u.
-2
Let p(x) = x**3 + 2*x**2 + x. Let c be p(-2). Let m be (3 - (c - -3)) + 0. Solve -5*f = -m*k - 0*f + 27, -4*k - 2*f - 6 = 0 for k.
1
Let x(d) = d**3 - 4*d**2 - 5*d + 3. Let s be x(5). Let t be (-6)/(-4)*(-290)/(-15). Let y = -18 + t. Solve -3*u = -r + 12, 0 = -2*u - y + s for r.
0
Let a(m) = 4*m**2 - 19 + 10 - m + 11. Let x be a(-2). Solve 5*g - o - x = 0, 3*o + 10 = -3*g + 8*o for g.
5
Suppose 7*j = 3*j + 36. Suppose 2 = 4*r - 94. Let x be 3*(0 + r/j). Solve -3*t + 5 = 2*w, -x*w + 9 = 5*t - 4*w for t.
1
Suppose -5*a + 19 + 21 = 0. Suppose -5*u + 6 + 4 = 0. Solve 2*q = -3*s - 14, -2*q - u*s = 4 + a for q.
-4
Suppose -4*z = -3*m + 4 + 7, 3*z = -m - 5. Let k be (39/z)/((-12)/16). Solve -2*h + j - 14 = 6*j, -2*h + 5*j = -k for h.
3
Suppose 2*c - 34 = -5*j, -2*c = c + j - 77. Let m = 38 - c. Solve -2*s = -4*i + 3*s - 35, -2*s + m = -i for i.
-5
Let i(c) = 2*c + 4. Let t be i(0). Suppose v = t*y + 2*v - 19, -4*y - 3*v + 17 = 0. Solve y*o = q + 2*o + 13, 5*q + 5*o = 15 for q.
-1
Suppose -87 - 128 = -5*d. Let a(u) = 2*u. Let s be a(1). Suppose 4*o = -s*j + 5 + 13, 0 = -4*o + 12. Solve i = -5*l - 29, -5*l + 6 - d = j*i for i.
-4
Suppose 0*v + v = 2*a, 5*a + 2*v = 9. Solve 3*c - 24 = 3*f, 2*f + 2*c - 3 - a = 0 for f.
-3
Let u be ((-4)/1)/(-1 + 3). Let k = 12 + u. Solve -c - k = 5*v, -4*c = c for v.
-2
Suppose -5*h = -b - 16, 3*b - 28 = -4*h - 0*b. Let r(z) = 2*z + 3. Let k be r(3). Let o be -2*(1 + k/(-3)). Solve -4*m = -o*d - 2 + 6, -h*m + 32 = 5*d for m.
3
Let x be (16/(-20))/(2/(-100)). Suppose j + a = -0 + 8, -a - x = -5*j. Let h be (6/j)/((-1)/(-4)). Solve -h = 3*w - w + b, b = 5*w + 18 for w.
-3
Let p(h) be the second derivative of h**5/20 - h**4/4 + h**2 - h. Let z be p(3). Solve 4*s = -2*f + z, -17 - 5 = 2*f - 4*s for f.
-5
Let v = 1 + -3. Let f be 8/4 - (-2)/v. Suppose -f + 3 = s. Solve -a + 1 = -k + 6, 3*k = -s*a + 15 for a.
0
Suppose 15 = l + 3*p, 10*p = 3*l + 6*p - 6. Solve -u + 1 = 0, -4*u = 5*q - l*q for q.
4
Let p = -26 - -30. Solve d - 1 = -3*c, d - 3*d + 4 = p*c for c.
-1
Let c(y) = -y**2 - 5*y + 7. Let u be c(-5). Suppose u*m = 3*m. Let i be (4/6)/((-2)/(-15)). Solve -i*s - 5*n - 30 = -m*n, -12 = 4*s + n for s.
-2
Suppose 3*o = -s - 0*o + 5, 2*s + 3*o = 10. Suppose 4*l = 5*l - 3. Solve -l*m - 15 = x + 4*x, 2*x = s*m - 6 for m.
0
Suppose 0*j + j = 11. Let o = -3 + 5. Suppose -o*m - q + 12 = 3, 2*q = 2*m. Solve -l - 13 = 5*k, -k = -l - m*l + j for l.
2
Let r be ((-136)/(-22) - 3) + 4/(-22). Solve 0 = -b + n + 2 + 1, r*b + 4*n - 2 = 0 for b.
2
Suppose 0 = -3*l - 15, -4*g + 4*l + 1 + 19 = 0. Solve -4*h + 2*y - 10 = g, 0 = 4*h + 2*y + 2 + 20 for h.
-4
Let l be (-52)/(-18) + (-1)/(-9). Solve -3*v + 9 = 0, -a - 2*a - 12 = -l*v for a.
-1
Let c(n) = -n**2 + 4*n. Let x be c(2). Suppose -x*f + 12 = -4. Suppose 2*j - 26 = -f*s, -4*j + 23 = -j + 2*s. Solve j*h - u = -24, 4*u - 3 - 8 = 3*h for h.
-5
Let g = -2 - -6. Let x = -7 + 19. Solve -2*p = 0, -3*n = -0*n - g*p + x for n.
-4
Let r(x) = -6*x - 4. Suppose -20 = 4*j + 2*a, 0*j + 28 = -3*j + 5*a. Let g = j + 3. Let k be r(g). Solve -w - s + 6 = -2*s, 5*w - s = k for w.
2
Let t(r) = -r**3. Let s be t(1). Let v = s - -4. Let u = -35 - -39. Solve 3*y + 5 - 14 = 3*b, v*b + 7 = u*y for b.
-5
Suppose -72 = 3*o - 6*o. Suppose 3*y - o = 21. Suppose -y = -5*s + 80. Solve -2*p - k = 1, -2*p + s = -0*p - 3*k for p.
2
Let f(q) = 31*q**2 - q + 4. Let g(h) = 1. Let k(v) = f(v) - 5*g(v). Let o be k(-1). Solve y + 1 = -m - 8, 3*y = -4*m - o for m.
-4
Suppose 0 = 2*c + 4*d - 6, -c - 3*d = -4*c + 18. Solve c*x - 2*x = o + 1, o = x - 3 for o.
-4
Let r(i) = 3*i + 5. Let o(c) = c**2 + 12*c - 8. Let x be o(-13). Let j be r(x). Solve -6*s + 4*k - 8 = -3*s, -j = -4*k for s.
4
Let l(j) = -10*j**2 + 7 + j**3 + 3 - 2*j**3 + j. Let p be l(-10). Suppose 4*h - 2 - 10 = p. Solve x + h*m - 11 = -x, 4*x - 20 = -4*m for x.
4
Suppose 4*l = -2*m - 0*m + 78, -4*l + 82 = -2*m. Let o = 25 - l. Solve o*p = c + 12 + 17, 4*p - 28 = 2*c for c.
-4
Let u = 23 + -4. Suppose 0 = 4*a - 3*a - 9. Let l = u - a. Solve -5*f - m + l = 0, -4*m + m = f - 16 for f.
1
Suppose -5 = -5*y, -y - 53 = -3*p - 0*p. Solve 0 = z + z + 3*t + p, 4*z - 3*t = 0 for z.
-3
Let m(j) = 2*j - 7. Let l be m(7). Suppose l*k = 2*k + 25. Suppose 3*r = 2*f + 2*r - 7, -3*f - 3*r = -24. Solve f*n = n + 16, n = -k*x + 14 for x.
2
Let w = 22 + -18. Suppose -2*q + w*q - 10 = 0. Solve 0*o + 13 = q*o - 2*j, 2*o - 7 = -j for o.
3
Suppose 5*u = 20 - 100. Let h be ((-17)/68)/(2/u). Solve c + 8 = -4*n, -3 = 4*n + h*c + 1 for n.
-3
Suppose 2*n + 8 = 3*q - 3*n, -n = -2. Let s(j) = j**2 - 4*j - 8. Let t be s(q). Suppose 121 - 21 = t*a. Solve -2*z = 4*x - 4*z - 14, 5*z = 5*x - a for x.
2
Suppose -b - 1 + 3 = 0. Suppose -b*p + 0 = 6. Let y = p - -6. Solve 4*g + o - 4 = 0, -4*o = -y*g - 7*o + 12 for g.
0
Let g(j) = -2*j**2 - 14*j - 15. Let d be g(-5). Solve -5*v = 4*q + 6 + 7, 4*v + d*q = -14 for v.
-1
Let x be (1*-1)/(3/(-9)). Suppose 30 = 3*c - x. Solve -6 = 2*b, -2*f + 4*f - c = 3*b for f.
1
Suppose -93 = 3*a - 0*a. Let q = -9 - a. Suppose -2*d = -q - 2. Solve -9 = -2*z - z + 3*x, -4*x = 3*z + d for z.
0
Let y = -18 + 32. Suppose -h = h - y. Solve -5 = 2*b - 6*n + h*n, b + n = -4 for b.
-1
Let v(i) = -i**2 + 8*i + 4. Let p be v(8). Solve -n + 0*x - 5*x = 3, -p*x = -2*n + 8 for n.
2
Suppose -4*t = -5*t + 3. Solve 2*o + t*i - 2 = 0, 4*i - 3*i = 4*o + 24 for o.
-5
Let x be (-7 - 2/1)/(-1). Suppose 2*v = 11 - x. Solve 2*p + v = 5*a + 9, -5*p = 5*a + 15 for a.
-2
Suppose d + 4 = 3, -s = d - 4. Suppose -2*j - 3*j - 2*m = -s, 4*j + 13 = -5*m. Solve 0 = j*k - u, -14 = -k - 3*u - 4 for k.
1
Let c(t) = -t**2 + 12*t + 8. Let l be c(12). Let q(r) = r - 6. Let p be q(l). Solve 6*d - 3*f = d + p, -f + 6 = 5*d for d.
1
Let u = -8 - -12. Solve -u*m = 2*y + 16, 5*y + 4*m + 4 = -12 for y.
0
Suppose -u - 4*z + 11 = 0, 2*u + 3*z + 0*z - 17 = 0. Suppose 0*q + 36 = 3*q. Solve 2*a + o - u = 0, a = 3*a - 4*o - q for a.
4
Suppose -3*s - 4*q = -0*q + 130, 4*q - 8 = 0. Let v be (-9)/15 - s/10. Solve r - v*c + 11 = 0, 7*r - 4*c = 2*r - 23 for r.
-3
Suppose -8 = -2*i, 0 = -4*u - u - i + 29. Solve -4*k + 10*n = 5*n + 16, u*k - n =