-4*y = 2*v + a for y.
-5
Let g(r) = r**3 - 6*r**2 + 2*r - 7. Let u be g(6). Let h = -8 + u. Let v be 7*(1*-3)/h. Solve 0 = 4*o - 3*w + 16, o - 2*w = 3 - v for o.
-4
Suppose -g - 2*u = 2*u, -u + 3 = g. Solve g = 2*h + y, 2*h - 3*y - 2*y = 4 for h.
2
Suppose 4*b - 137 = -41. Let g be 114/b + (-1)/(-4). Let d(n) = 3*n - 2. Let x be d(2). Solve -4*k - x = 0, -3*k = -g*t + k + 24 for t.
4
Let y be (-408)/2 - 0/(-1). Let q be 1/2*y/(-6). Let p be 9*(14/6 - 2). Solve 0 = -2*m + 3*m - p*d + 12, 4*m + d = q for m.
3
Let o(m) = -m**2 - 8*m + 1. Let p be o(-4). Solve 2*a - p = 3*j + a, 45 = -5*j + 5*a for j.
-4
Suppose -3*q = -0*q, 4*c - 5*q - 4 = 0. Suppose -c - 4 = -o. Suppose -o*h = -4 - 31. Solve 0 = -h*l + 4*l - 2*w + 7, 2*l = -3*w + 8 for l.
1
Suppose 0 = 3*h - h. Suppose 7*f - 2*f - 10 = h. Suppose -3*w = -3*r - 18, 0 = 5*w - f*r - 16 - 8. Solve w*p = -d - 8, 2*d = 2*p - 2*d + 22 for p.
-3
Let f(z) = z**3 + z**2 + z - 5. Let l be f(0). Let m be (3/l)/(2/(-20)). Let r be (-18)/(-5) + 2/5. Solve 2*n = -2*k + m - r, -5*n + 17 = k for n.
4
Let u(i) = -i**3 + 2*i - 2. Let d be u(-2). Solve d*z - 4*z - 16 = 2*g, 5*z + 25 = -2*g for g.
-5
Let v = -24 - -28. Solve -v*c - 3*s = 13, 5*s + 11 = -3*c - c for c.
-4
Let g(j) = j**2 - 6*j + 13. Let h be g(4). Solve h*m = -2*a - 3, a + 2*m = 6*m + 5 for a.
1
Let s(d) = 2*d - 1. Let t(q) = q**2 - 6*q. Let a be t(5). Let p = -3 - a. Let f be s(p). Solve 2*c + 15 = 5*c + 5*x, -f*c + 2*x - 6 = 0 for c.
0
Let h(k) = -k**3 - 6*k**2 - k - 3. Let i be h(-6). Suppose -4*z = -8*z. Let d be (z + i/9)*6. Solve -4*v = 3*w - 8, 3*w - 2 = d*v + 12 for v.
-1
Let o = -15 - -27. Let f be o/8 - 2/(-4). Let l be (1 - (-1 - 1)) + -1. Solve z = -f*y, l*y - z + 6 = z for y.
-1
Suppose 0 = -2*o - 5*t + 52, o - 5*t - 32 = -o. Solve 2*g = 2*h + 2, 4*h + 5*g - 4*g = o for h.
4
Suppose 0 = -9*x - 12 + 57. Solve l = -l + 4*z + 8, -3*l + x*z = -12 for l.
4
Suppose 0 = -3*a + t + 3, 0 = -4*a + 7*t - 2*t - 7. Let b be 56/(-6) - 6/9. Let v = -2 - b. Solve -4*l - v = u, 0 = -l + u - 0*u - a for l.
-2
Let n(u) = -u**2 + 3*u + 7. Let z be n(4). Solve 3*h = 5*c + 27, 0 = 3*h + z*c + 2 - 5 for h.
4
Suppose 0 = 5*k + n - 22, -4*n + n - 34 = -5*k. Solve -k*u - 29 = 3*f - 0, -f = -3*u - 9 for u.
-4
Let s be 1 + 0 - (-2 - 10). Let f = -21 + 15. Let m(t) = -2*t - 7. Let i be m(f). Solve 0 = -3*g - 4*c + 15, i*g - 12 - s = 5*c for g.
5
Let s = -4 + 19. Solve -3*g - 6 - 4 = -4*h, 5*g + s = 5*h for h.
1
Let c be 10/(-3*4/(-6)). Solve -4 - 16 = -4*m, c*o + 5*m = 30 for o.
1
Suppose 8*b - 7*b = 2. Solve 3 = -d + m + b, 1 = -2*d + 3*m for d.
-2
Let u(l) be the first derivative of 3/2*l**2 - 1/4*l**4 - 11*l + 4 + 8/3*l**3. Let i be u(8). Solve 5*a + i = 2*v, 3*v + 2 - 15 = a for a.
-1
Let w(l) = l + 11. Let m be w(-8). Solve o + m = 0, -4*k - 2 + 12 = -2*o for k.
1
Suppose 4*l - 2*j - 42 = 0, 0*j = 4*l - 5*j - 45. Let k = l + -6. Suppose c + o = 0, -k*c = -4*o + o - 21. Solve u - 3 = c*i, 3*u = 2*i - 2 + 4 for u.
0
Suppose -13 = 4*u - 49. Let i be (-2 + 1)*(0 - 2). Solve -o = -i*h - h + 5, -o = -5*h + u for o.
1
Suppose 5*s + 2*o = 270, -3*s + 2*o + 162 = 3*o. Suppose -r = j - 25, s = 4*r - 2*r - 2*j. Solve 4*g - 4*h + r = -h, -6 = -3*h for g.
-5
Let g(z) = -z**3 - 3*z**2 - 2*z + 1. Let y be 3/(-2)*(1 - -1). Let x be g(y). Solve -5 = -2*a + 5*j, -1 = -x*a + 3*a + j for a.
0
Let b(c) = c**2 - 13*c + 18. Let m be b(12). Suppose 4*x - 5*s - 21 = 0, -4*s + 3 - 26 = 3*x. Let l = m + x. Solve 10 = -a + i, a - l = -a - 3*i for a.
-5
Suppose -4*y + 4*q + 72 = 0, -52 = -2*y - y + 4*q. Let w be 1*-1*(-3 - -1). Solve -w*m = -2*k - 4, 2*k = 5*m + 7*k - y for m.
3
Suppose -2 + 4 = 2*d. Let l be 4/(((-1)/(-4))/d). Solve 4*y + l = 3*f, 2*f - y + 3*y = 6 for f.
4
Suppose 5*p = 4*w + 18, -3*p = p - w - 21. Suppose -3*o + 54 = p. Solve v - o = -4*a, 0 = 6*v - v for a.
4
Let w = 34 - 20. Suppose 5*k = -4*v + 22, 4*k = w - 6. Suppose -5*s - 3 = -13. Solve 3*h + 3*x = 5*h + s, -x = v*h - 19 for h.
5
Suppose -2*t - 3 = 3. Let y be -1*15/5 + 8. Let c = y + t. Solve 3*b = c*s + 9, 6*s - 3*s - b + 10 = 0 for s.
-3
Let r be 9 - 10 - -4*1. Solve -5*o - 6 - 4 = 5*w, 5 = -4*o - r*w for o.
1
Let r be (17 - 32)*1/(-3). Solve -4*v - 4*f + 1 = -v, f = r*v + 29 for v.
-5
Suppose 2*k = a - 9, -2*a + 0*k = 2*k. Let g = a + 2. Solve -3*b - 4*x = x - 15, -25 = -g*b + 2*x for b.
5
Let q be ((-1)/2)/(3/(-6)). Let s be 64/6 + (-4)/(-12). Solve q = -2*r - 3*w - 3, -r + 3*w - s = 0 for r.
-5
Let i = -131 + 134. Solve 2*o - i = -3*c - 20, -3*c - 11 = -4*o for c.
-5
Suppose w - 3*h = 4*w - 12, w + 5*h = 0. Solve w*f = -25, 4*f + 5 = 2*b + 3*b for b.
-3
Suppose 13 = -3*o - 41. Let p = -13 - o. Solve 4*d = 2*f + 3*f - p, d + 8 = -f for f.
-3
Suppose -2*i = -39 + 13. Suppose -i = -2*z - 5*s + 8, z - 4*s = -9. Solve z*a + 1 + 3 = 4*g, -a = -g + 1 for a.
0
Let d = 36 - 35. Solve 2*l - 3 = -s, 5 = -l - 3*s - d for l.
3
Suppose 2*l - 60 + 40 = 0. Solve 0 - 13 = 2*c + z, 2*z + l = 0 for c.
-4
Let r = -142 - -145. Solve m = -5*k + r, 0 = 5*m + k + 2*k - 15 for m.
3
Let r be 1 + -1 + -3 + 7. Solve 0 = 4*n - 12, -r*n = -3*o + o - 10 for o.
1
Suppose 13 = 5*m - 7. Solve -5*y + 45 = m*p, 3*y - 2*p - 5 = -0 for y.
5
Suppose -7 = -4*f + 5. Solve -3 = -c + f*w - w, 0 = 5*c - 4*w + 9 for c.
-5
Let z = 12 + -7. Suppose -2 = -z*j + 18. Solve 16 = -4*u - j*w, -w = 5*u - 2*w - 10 for u.
1
Suppose -a - 2*a + 0*a = 0. Solve a = -3*j + 4*l + 31, -l - 29 = -4*j - j for j.
5
Let y be 2 - (-5)/((-10)/4). Suppose y = 4*w - 2 - 18. Solve -15 = -w*r + 5*b, b = 3*r + 2*r - 19 for r.
4
Let x(b) = 3*b + 3. Let g(t) = 4*t + 3. Let z(v) = -4*g(v) + 5*x(v). Let s be z(-9). Solve -4*d = 4*c - s, 4*d = -d - c + 15 for d.
3
Suppose 3 = -2*i - 3*n - 2, 0 = 5*i - 3*n + 23. Let x be ((-4)/(-3) + -2)*-3. Let d be i/14 - x/(-7). Solve -5*k - 1 - 19 = d, 0 = g + 4*k + 18 for g.
-2
Suppose 2*r - 2*k - 18 = 0, 3 + 21 = r - 4*k. Solve 2*n + s = -2*n + r, 3*n = -4*s + 16 for n.
0
Suppose -p + 23 = -0*p. Let k = 26 - p. Solve -5*n + k = o, -2*n - 5*o - 7 = 1 for n.
1
Suppose 30 = -s - 0*r + 3*r, -4*s = 4*r + 104. Let f be -4 - (s/3 - -1). Solve 0 = n - 5*n + f*z, -3*z = 4*n + 14 for n.
-2
Let f(z) = z**2 - 4*z + 3. Let c = 8 - 4. Let v be f(c). Solve d + 6 = -5*k, 2*k + v = 5*d + 6 for k.
-1
Let c be (-1 - -2)/((-2)/(-10)). Solve -5*i - 5*t - 16 - 9 = 0, 5*i - c*t - 15 = 0 for i.
-1
Let a(b) = 3*b**2 - 5*b - 4. Let m be a(-1). Solve p = -m*o - 0 - 7, -5*o - 4*p = 17 for o.
-1
Let z = 62 - 41. Let q = z + 9. Let t be (6/5)/(9/q). Solve y - 5*y + t*n = -12, 0 = 3*y + 4*n - 23 for y.
5
Let x(i) = i**2 - 12*i - 11. Let y be x(14). Solve y = -c + 3*j, -4*j + 23 = -3*c - 2*j for c.
-5
Suppose 24 = c - 4*s, c = -c + 4*s + 40. Solve c + 0 = 3*v + 2*d, -4*v = -d - 14 for v.
4
Let l(g) = 3*g - 1. Let b be l(2). Suppose d + 1 = 4*m, 5*m = -2*d - b + 29. Solve w = -0*r - 2*r + d, 2*r - 10 = 0 for w.
-3
Suppose 5*d = -20, -g - 5*d + 7 = 27. Solve 5*n = 5*i + 35, 2*n = i - g*n + 9 for i.
-5
Let j be ((-4)/6)/(9/(-27)). Suppose 5*h + 4*n + 1 = 20, j*h = -4*n + 10. Solve -h*l - 5 = 5*v + 29, 21 = -2*l - 3*v for l.
-3
Suppose -3*c + 3*j = 4*j, 3*c - 4*j = 0. Solve 5*f + 3*o + 2*o = c, 3*o - 12 = 0 for f.
-4
Let q be (-2)/(-8) - 1341/(-12). Suppose 3*d + 4*u = -q, -4*u = -2*d - 17 - 51. Let o be (-8)/d - (-52)/9. Solve 0 = 2*r, 4*z + 4*r + o = z for z.
-2
Let w be (18/12)/(3/10). Solve -o - f = -3*o + 6, -o + w*f = -21 for o.
1
Let v be (-36)/(-45)*4/(24/15). Solve 0*u + v*u + 14 = -f, -5*u + f - 21 = 0 for u.
-5
Let o be (-3)/((-13)/52*(-3)/(-4)). Solve -2*c = -d + 8, -2*d - 2*c = d + o for d.
-2
Suppose 4*y = -4*o + 40, o + 18 = 2*y + 13. Suppose -5*w + 2*h = -17, -5*w - h + 0*h + 14 = 0. Solve 3*r - 5 = o*n, r + 2*n = 2*r - w for r.
-5
Let n(b) = -11*b + 3. Let q be n(3). Let h be (q/(-12))/(2/4). Suppose 4*s = 3*o - 0*s - 16, -h*s + 73 = 4*o. Solve -4*i + 4*k = -o, k - 12 = -2*i + 6*k for i.
1
Suppose i + 8*x - 3*x = -25, 0 = 5*i + 3*x + 15. Solve 4*q = -3*m + 2*q, i = 2*m + 3*q + 5 for m.
2
Suppose 0 = 2*f + f. Suppose 4*v - 5*r + 0*r - 105 = f, 4*v - 2*r - 90 = 0. Solve -2*n - 5*d = -v, n - 5*d = -0*d - 5 for n.
5
Let o(y) = -y**3 - 3*y**2 - 3*y + 1. Let b be o(-4). Suppose 2*m = -5*p + b, 4*m + 5*p = 1 + 32. Solve 0 = 5*j - 4*k + 30, m*k - 9 = -3*j - k for j.
-