x, k = v - 2*x for v.
5
Let a be 2/(-5) - (-1368)/45. Let v be (-2)/(-3)*135/a. Solve -2*p = -5*o + 7, v*p = -2*p + 4*o + 8 for p.
4
Let z = 4 + -5. Let u = z - -2. Let l be (u + -1)/(8 - 6). Solve -3*b + 0*b - 5*f - 23 = l, 2*b + 22 = -5*f for b.
-1
Let t be 4 + (9/(-1))/3. Let u be (4 + -3)/t - 1. Let v be 0/((u + -1)/1). Solve 3 = -3*c + 4*c, -4*f - c + 7 = v for f.
1
Let m(y) = -y**2 + 6*y - 2. Let r be m(5). Let u = r + -1. Suppose c = u*c - 4. Solve -c*o = 4*n + 8, o - 3*n + 4 = -5*n for o.
0
Let n(m) = 5*m - 34. Let w be n(11). Solve 3*l + 5*t - w = 0, t + 5 - 6 = l for l.
2
Let m(l) = -l**3 - 4*l**2 + 5*l - 6. Let q be m(-5). Let v be ((-8)/q)/(17/51). Solve 0 = -v*j - f - 2*f, -4 = -4*j - 2*f for j.
3
Let m(h) = 3 + 2*h - h - 5. Let d be m(5). Solve k = -n + 3, 7 = -3*n + 4*n + d*k for n.
1
Let c = -5 - -14. Let j be 6/c + (-10)/(-3). Let o be j/(((-6)/(-15))/1). Solve 2*w = 4*g - 28 + o, 24 = -4*w + 5*g for w.
-1
Suppose 5*u - 4 = 21. Solve -5*v = u*q, 0 = -0*q - 5*q - 4*v - 5 for q.
-5
Suppose c = 2*c + 8. Let m = -5 - c. Suppose 7*o - 2*o = -3*p - 14, -m*o = 2*p + 8. Solve 0 = p*a + 3*a - 5, 3*x = -3*a for x.
-1
Suppose o - s - 11 = s, -5*s = 2*o + 5. Suppose 4*x = 5*x. Solve x = 5*f - 2*u - 5 - 12, o*f = -4*u + 11 for f.
3
Let w be (2/4)/((-6)/(-60)). Suppose 6 = w*j - 4. Solve j*n = p + 4, n + 12 = 4*n for p.
4
Suppose -2 = m - 1, -4*w = -4*m - 4. Solve 4*i - 8 = w, 3*i - 23 = -5*u - i for u.
3
Let c(y) = y**2 - 5*y + 5. Let o be c(5). Suppose 3*b = o*u + 35, 4*b - 3*u - 9 - 45 = 0. Solve 0*t - 2*t - 5*n = 22, t - 4*n - b = 0 for t.
-1
Let f(m) = -m**2 - 11*m - 6. Let w be f(-10). Solve -n = -w*n + 3*t + 18, -n = -3*t - 12 for n.
3
Let h(v) = -v**2 + 13*v - 3. Let g be h(11). Solve -5*u = 2*w - w + g, -2*u - 9 = -w for u.
-4
Let m(u) = -3*u - 19. Let h be m(-8). Solve -4*y = -4*t + t + h, 6 = -5*y + 4*t for y.
-2
Suppose -c = -0*c - 1. Let q(a) = 3*a**3 - a + 1. Let h be q(c). Solve 3 = 3*o - o - 3*w, h*w = -3*o - 3 for o.
0
Let r be (-1)/(-3) - (-80)/12. Let f = -2 + r. Solve -f*l - 4*g = 7 - 32, -17 = -2*l - 3*g for l.
1
Let a be (-8)/16*(1 - 3). Let v = 2 - a. Suppose v = -2*j + b, 2*b = 2*j - 5*j + 16. Solve -3*s - 5*c = 3 - 0, -3*s + 6 = j*c for s.
4
Suppose 0 = -4*f - 5*t + 18, 3*f - 5*t + 0*t - 31 = 0. Let r be ((-7)/(-2))/f*58. Solve r = -3*j + 4*x - 0*x, -5*x + 22 = j for j.
-3
Let c be (-4 - 1)/(5/(-10)). Solve 3*q + 2 = -0*q - g, 3*q + c = g for q.
-2
Let w = 27 + -12. Suppose 3*i = -5*k - w, -2*k + 7*k + 15 = 2*i. Solve -3*h - 4 = 6*d - d, i = -2*d - 3*h - 7 for d.
1
Suppose 3 = h + 7. Let a be (-22)/h - (-3)/(-6). Solve 0 = p + 1, -p = a*q - 0*p - 9 for q.
2
Suppose 0 = -5*m - 6 + 1. Let f be m - -3*(-2)/(-1). Solve -2 = -b - s, s = b + f*s - 14 for b.
-2
Suppose f - 126 = -6*f. Solve d + 2*t + 0*t = -6, d = 4*t + f for d.
2
Let r(v) = -6*v**2 - 7*v**2 - v**3 + 12*v**2 - 2*v - 5*v**2. Suppose 18 = 3*a - 6*a. Let u be r(a). Solve -4*g = -16, 3*b - b + 3*g - u = 0 for b.
0
Let t(c) = -c**3 - 4*c**2 - 2*c - 4. Let u be t(-4). Suppose u*h = 20 - 4. Solve 2*d = -r - 2 + 3, 0 = -4*d + h*r + 8 for d.
1
Suppose -4*s + 28 = -2*d - 2*d, -5*s - 1 = 4*d. Solve -3*l = -s*u - 3, 3*u = -5*l - 0*u + 21 for l.
3
Let t be ((-6)/(-15))/(-3 + 48/15). Solve t*g = 0, 0*g + 2 = -a + 2*g for a.
-2
Suppose 3 = t + 2*t. Let q = -9 + t. Let c be ((-15)/(-10))/((-3)/q). Solve -i + 4 = -2*r + 1, -3 = -i + c*r for i.
3
Suppose -11 = 7*f - 32. Suppose 4*z - 5 = -a, z = -3*a + 7*a - 20. Solve 5*h + 13 = f*k, a*h + 4*k = -0*k - 6 for h.
-2
Suppose u + 6 = 4*u. Let n = 4 - 1. Solve 10 = -t + 3*a, u*t + a = -n*t + 30 for t.
5
Let g be (0 - 2) + 1 - (-18 - 1). Solve 0*k = -4*k - 2*a - g, -5*k + 3*a = 28 for k.
-5
Let s = -88 - -92. Solve -2*a + 2*j = 0, 2*j - 9 + 39 = -s*a for a.
-5
Suppose 0 = p - 3*h - 14, -h = -5*p - 2*h + 6. Let t = -3 + -1. Let c be -4*(-2)/t*-2. Solve -5*i + 0*u - c*u - 36 = 0, 8 = -p*u for i.
-4
Let p = 55 - 39. Solve 11 = -4*k - 5*r + 30, p = k + 5*r for k.
1
Suppose s = 4*i - 2*i + 11, 0 = 3*s - 5*i - 29. Solve 4*m = -s*c + 2*m, 3*m - 9 = 0 for c.
-2
Let n = -6 - -10. Suppose r + 20 + 18 = 0. Let k be r/(-9) + (-8)/36. Solve 5*l - 1 + 0 = -k*d, -4*d = n for l.
1
Suppose 0 = -2*z + 4*s - 6, 3*z - 4*s + 6*s = 15. Let v = z + 0. Solve -2*p - b - 7 = 0, 0 = -p - v*b + 4*b - 2 for p.
-3
Suppose -5*x = 3*w - 13 - 13, -2*x + 8 = 0. Solve 3*z + 11 = -2*d - 1, -4*z - 2 = -w*d for d.
-3
Let s be 0*(-3)/6*2. Suppose 4*w - 3*v - 74 = 0, s = w - 2*v - 16. Solve 5*n = 2*n - 2*a - 20, 2*n + w = -3*a for n.
-4
Let f be 4/14 + (-52)/(-14). Solve -2*p + 5*q - 31 = 0, -p + 5*q - 40 = f*p for p.
-3
Let g(q) = -q - 8. Let j be g(0). Let f = j + 11. Solve 2*s - t = -6*t - 18, -f*t = 12 for s.
1
Suppose -3*m + 2 = -4. Suppose 4 = -4*q + 4*o + o, -3*o = -2*q - 4. Solve m*s - q = -j, -5*s + 4*j - 3 = -0*s for s.
1
Suppose -z = 2*g - 0*g + 5, -5*g = z + 5. Let x be 3 + 0 + 19 + g. Solve -l + 2*a - 24 = 7*a, -x = -2*l + 4*a for l.
1
Suppose -5*m + 10 = 0, 4 = -i - 2*m + 5*m. Solve -3*t = -i*z - 7, -z + 3 = -2*t + 8 for z.
1
Suppose -52 = 5*l + i + 11, 0 = -2*l - 4*i - 36. Let r = l - -5. Let s(d) = -d - 7. Let x be s(r). Solve 5*h + x*z + z + 28 = 0, -h - 17 = 4*z for h.
-5
Let b be (-80)/2*(-1 - -4). Let l be 1/(4/b*-3). Let j be (-2 - -11)*(-2)/(-6). Solve -g + l = -4*q, 5*g = -3*q + j - 22 for g.
-2
Let z(r) be the second derivative of -r**3/6 - r**2 + 2*r. Let s be z(-6). Solve -4*l - 3*v + 2 = 1, 5*v = -l - s for l.
1
Let z be 4*(-2)/(3 + -7). Solve -5*u = z*p - 10, 0 = -4*u + p - 2*p + 5 for u.
0
Suppose s - 18 = 4*n, 4*s - 3*s - 2*n = 26. Suppose -4*y - s = 2. Let c(b) = b + 12. Let x be c(y). Solve x*v = 12, -17 = -5*q - 0*v + 2*v for q.
5
Let k = 33 - 29. Solve -4*z = -y, -9 = k*y - y - 3*z for y.
-4
Let a be (-60)/(-6)*1/2. Solve 5*x = -c - 2 - 3, c + a = 4*x for x.
0
Suppose -m - 4*m = -175. Suppose -u + 13 = 3*t - 0*u, 5*t - m = -5*u. Solve 15 = -t*k, -o - 2*k - 15 = 4*o for o.
-1
Suppose -7*n + 4*n - 81 = 0. Let q = 27 + n. Solve 3*b - 5*t - 11 = 0, q = b - 5*t - 7 for b.
2
Suppose -2*k - 5*b = 2*k - 15, 0 = 2*b + 2. Suppose k*n - 2*n - 38 = -j, 5*j = 3*n + 136. Solve -h + 5*q + 15 = -3*h, 5*h + j = -4*q for h.
-5
Let s be (-154)/(-66)*2*3. Solve 2*c - 3*a + s = 3*c, -5*a = 4*c - 35 for c.
5
Let m(g) = 6*g - 2. Let j = 7 - 5. Let h be m(j). Solve -22 = n + 5*p, 5*n - 30 = 5*p + h for n.
3
Let q be (-79)/(-4) - (-3)/12. Suppose -4*d = -4*p - q, 2*d + 3*p = -3*d + 33. Solve -4*b = 3*o - d, -b = -0*o - 3*o + 6 for o.
2
Let c = -35 - -40. Solve 5 = -3*d - d - c*t, -2*t - 5 = d for d.
5
Let w be (-2)/5*(-16 - -1). Let s = 2 - 0. Suppose s = -3*o + 11. Solve -j - h = -o*j, w = -4*j - h for j.
-1
Let p = 12 - 7. Solve -4*l - 3*u - 11 = 0, 0*l + l + 20 = p*u for l.
-5
Let t = -5 + 4. Let o be t + -3 + (0 - -4). Solve -4*b + 3*i - 17 = o, 2*i = -4*b + 3 - 5 for b.
-2
Let t(j) = -2*j + 43. Let v be t(19). Solve -z - z + 4*c - 2 = 0, v*z - 1 = 4*c for z.
1
Let q be (-176)/(-6) - 6/(-9). Suppose -3*t + 0*t = -q. Suppose -y + 4 = -2*m + m, -t = -y - 5*m. Solve -5*h + a = -23, -y*a - 30 + 11 = -h for h.
4
Let r be -2 + 13 - (-1 - -3). Suppose -3*b = -3*k + 30, 3*b = -4*k - 0*b + 5. Solve -k*u + 5*y = 0, -1 = 5*u - 3*y + r for u.
-5
Let j = 5 + 3. Suppose 2*c + o = -1 + j, 0 = -c + 4*o + 8. Suppose -c*k - k + 25 = 0. Solve 0 = 5*z - 3*u + 1 - 10, k*u = -4*z - 15 for z.
0
Let q(x) = 5*x - 2. Let n be q(2). Let h = n + -4. Solve -20 = -2*m + 3*m + 5*k, -h*m - 3*k = -5 for m.
5
Let n = 2 - 2. Suppose n = a - 0 - 2. Suppose -d = 4*z - 17, -a*z - 2*z = -4*d + 8. Solve z = 4*g - g + 3*s, 0 = -g + 2*s + 10 for g.
4
Let y be ((-4)/(-5))/(-1*(-4)/20). Solve -8 - 12 = 5*z - 2*i, -3*z = y*i + 12 for z.
-4
Suppose 24*w - 32*w + 56 = 0. Let q(z) = 26*z**2 - 1. Let h be q(1). Solve -2*j + 20 = -w*j - 3*x, -5*j - h = 4*x for j.
-1
Suppose -g = 3*g - 8*g. Solve x + g = -2, 5*n = 2*x - 21 for n.
-5
Let n(o) = -o**3 - o**2 + o + 2. Let i be n(-2). Solve -21 = -i*h + 5*g, -h + g + 1 = 3*h for h.
-1
Let w be (-2)/((-6)/9*-3). Let v be w*4 + 1 - -16. Solve -3*j - 4*u + 17 = 0, 0 = j - 3*u + 3 + v for j.
-1
Suppose -3 = -2*b - 3*t, -2*b + 2*t - 2 = -20. Solve 2*y = -o + 11, -b*y = -4*o - 3*y for o.
3
Let h(o) = -3*o - 37. Let p be h(-13). Solve -c - 2 - p = 0, -4*b + c = 