y - x = y for y.
5
Let v = -51 - -55. Solve -2*z + v = -z for z.
4
Let p(t) = -4*t - 2. Let r be p(-3). Let j = r - 7. Suppose 0 = -j*k + 8*k. Solve k*y = -4*y for y.
0
Suppose -2*d + 28 = 5*w, 4*w + 2*d + 4 = 7*d. Solve -w*i - i = 25 for i.
-5
Let y be (-2)/3*264/(-16). Let f be 4/(-18) - y/(-9). Solve f + 3 = q for q.
4
Let o(t) = -t**3 - 5*t**2 + 5*t - 3. Let w be o(-6). Suppose 3*l - 8*l = -3*g - 20, g - w*l + 12 = 0. Solve 0 = -g*c + 5*c for c.
0
Suppose 2*i + 5*x = -2*i + 72, 3*i - 4*x - 85 = 0. Solve -5*l - i = 2 for l.
-5
Let p = 48 - 31. Suppose t - 2*z = -0*t + 13, 3*z = 4*t - 32. Solve 0 = -t*h - 8 - p for h.
-5
Suppose -1 = -4*a + 3. Let u be ((0 - a) + -2)*-2. Solve 0*k - 3*k = -u for k.
2
Let f = 6 + 0. Let k(n) = n**3 + 1. Let t be k(-1). Suppose d + 8 = -3*a + f*d, t = -d + 4. Solve 9*b = a*b for b.
0
Let k(u) = u**2 + 5*u + 6. Suppose -g - 3*g = 16. Let w be k(g). Let c(s) = -s**3 + 2*s**2 + 2*s. Let x be c(2). Solve x*d + 10 = w*d for d.
-5
Suppose -6*b = 12 - 42. Solve 0*m = -b*m + 10 for m.
2
Let m be (-4)/(-14) + (-64)/28. Let n = -2 - m. Solve w + n - 3 = 0 for w.
3
Let b(u) = -13*u - 1. Let j be b(-2). Suppose -z - 4*z + j = 0. Solve 4*w + 1 = z for w.
1
Let i = 69 - 65. Solve -7*y - i = -5*y for y.
-2
Let z = 78 - 33. Suppose -3*m = 9, -5*n + 4*m = -z - 7. Suppose -32 + n = -3*s. Solve -3*v + v - s = 0 for v.
-4
Let b = 76 - 66. Solve -3*h + b = -h for h.
5
Let t(m) = 2*m + 10. Let k be t(-9). Let p be 0 + -6 - 16/k. Let v = p + 6. Solve -2*b - v*b + 8 = 0 for b.
2
Let y be (5 - 4)*(-1)/(-1). Let m = y - 0. Let d = 5 - m. Solve -d = -p + 3*p for p.
-2
Let k(o) = -o**2 + o. Let f be k(2). Let t be 0*(2 - (-5)/f). Solve t = -x - 2*x for x.
0
Let l(w) = -w**3 + 4*w**2 + 3. Let o be l(4). Suppose -23 - 1 = -o*g. Suppose 0*x = -x + k + g, -13 = -x + 2*k. Solve x*n = -2*n + 20 for n.
4
Suppose -q = -4*j + 11, j - 4*q = q + 17. Let a(z) = z**3 - 6*z**2 + 6*z - 3. Let g be a(5). Solve 2 + j = -g*n for n.
-2
Suppose 5*s - 4*z - 70 = 0, -23 - 7 = -s + 4*z. Suppose -y = -m + 6, 0 = -4*m - m - 5*y - s. Solve -5 = -m*b + 3*b for b.
-5
Suppose -11 + 31 = 4*v. Suppose h - v = -4*h. Solve -w = -2 + h for w.
1
Suppose -6*q + 94 = 82. Solve 0*d = q*d + 8 for d.
-4
Suppose -5 + 1 = -2*v - 3*z, 6 = 3*v - 3*z. Let p be -1*(3 - 3) - 0. Solve p = -g - v*g - 12 for g.
-4
Let a = -113 + 116. Solve a*s = -2*s for s.
0
Let w(m) = m**2 + 1. Let i be w(-1). Suppose -j + x + 3 = 3*j, -i*x - 6 = -j. Solve -8 = -2*g - j for g.
4
Let g(k) = -k**2 + 2*k - 1. Let t be g(1). Suppose 4*x - r = 3*r + 8, t = -2*r. Solve 0 = -x*i - 7 - 1 for i.
-4
Suppose -4*s + 2 = -5*l + 10, -24 = -3*l - 4*s. Suppose -2*a + 30 = 3*c - 54, l*c = 4*a + 112. Solve c = 5*x + 3 for x.
5
Let q(n) be the second derivative of 2*n + 0 - 3/2*n**2 + 1/6*n**3. Let w be q(3). Solve w = 3*a - a for a.
0
Let j = 10 + -10. Let u(k) = -k**2 + 3. Let o be u(j). Suppose 4*b - 1 + 19 = 2*a, -4*a + 2*b + 18 = 0. Solve -o*q = -6*q + a for q.
1
Let d(k) = k**3 + 6*k**2 + 2. Suppose -3*v - 2*v = 30. Let c be d(v). Let p be -12*(c - (-15)/(-6)). Solve -x = -3*x - p for x.
-3
Suppose 15 = 4*d - 5. Suppose g - d*z = 13, 5*g + 9 = -z + 22. Suppose -9 = 2*h - 5*h. Solve h*p = -g - 0 for p.
-1
Let v = 22 - 16. Solve 0 = -g + v*g for g.
0
Suppose -1 = y + 4*l - 2, 0 = -y + 5*l + 10. Suppose -2*m = y*v - 0 + 6, 9 = v - 3*m. Suppose 0 = -v*q + q - 16. Solve -3*h = h - q for h.
4
Suppose 3*l - 22 = 4*v, -5*l - 3*v = 16 - 43. Let w = l + -4. Solve -w*f = 3*f + 15 for f.
-3
Let x be 6 + -2*15/10. Solve x*a - 10 - 2 = 0 for a.
4
Suppose -a - 23 = -5*v, -5*a + 3 = 4*v + 2. Suppose 2*j - v = 2. Solve j*m - 4*m = -5 for m.
5
Let i(u) = -u**2 - 7*u - 1. Let q(a) = 0*a + 2*a + 0*a - 3*a**2 + 2. Let p be q(2). Let d be i(p). Solve -d*t - 3 - 7 = 0 for t.
-2
Let k = -1 - -20. Suppose -4*y = 3*r - 20, -2*r = 4*y - 1 - k. Let t be ((-5)/(-3))/y*3. Solve t = 2*o - 1 for o.
1
Let h(p) be the third derivative of -p**5/60 + p**4/3 - 3*p**3/2 + 4*p**2. Let r be h(6). Suppose 5*l = 3*l. Solve l = 2*u - 11 + r for u.
4
Let w be (-2 - -1)/(3/15). Let o = w + 10. Suppose 0 = -5*n - 25, -5*k + 5*n = 2*n - 15. Solve k = -4*d + 3*d + o for d.
5
Let w(l) = -l**2 + l + 3. Suppose 0 = -0*d + 5*d. Let p be w(d). Solve -c - 8 = -p for c.
-5
Let t(h) = h - 6. Let p be t(9). Suppose 0 = 2*g - p*g + 5. Solve g*m + 6 + 4 = 0 for m.
-2
Suppose -6*l + 3*l = -l. Solve l = -3*n - 2*n for n.
0
Let s = 2 - 0. Suppose -4*h - s + 1 = -b, h + 3 = 3*b. Solve 3*m - 1 + 16 = h for m.
-5
Suppose 0*s - 3*s = 5*k + 19, -3*s - k + 1 = 0. Solve x = s*x for x.
0
Let w = 0 + 2. Solve -w*t = -0*t for t.
0
Let w(g) = g**2. Suppose -6 = -2*x - 0. Suppose -d = x*d. Let h be w(d). Solve h*p = -p - 3 for p.
-3
Let k = -392 + 553. Let w be 1/6 + k/42. Solve w*v = -v for v.
0
Suppose 0 = 5*d - 2*i - 12, -4*d + 0*i - 5*i + 3 = 0. Solve 0 = -d*s - 3*s - 5 for s.
-1
Suppose x + 3 = 2*x. Suppose 4*b - b = 24. Suppose 0 = -x*o + 5*o - b. Solve o*w - 4 = 16 for w.
5
Let b be 16/(-40)*(1 - 6). Solve -p = b*p for p.
0
Let p = 12 + -7. Let j(b) = -2*b + 20. Let f be j(10). Solve p*t + 25 = -f*t for t.
-5
Suppose 5*g - 6*g + 4 = 0. Solve 0 = -g*a + 5*a for a.
0
Let t = -2 - -2. Suppose y + 5*d + 25 = 0, 0 = -4*y - d - t*d - 5. Solve -20 + y = -5*c for c.
4
Let q be 0 + -4*1 - 2. Let d be ((-3)/q + 0)*0. Suppose -z + d*z + 8 = 0. Solve 4*j = 4 + z for j.
3
Suppose -5*s = 2*y - 38, 5*s + 3*y - 43 + 6 = 0. Solve -6*m + s*m = 2 for m.
1
Suppose -1 = -b + 3. Solve -6 = -b*k + 2 for k.
2
Let p be (1 - -13) + (-1 - 0). Let r be 13/5 + 4/10. Suppose -2*g + 22 = 3*s, -s = -r*g + 6*g - 19. Solve 0 = 4*l - g + p for l.
-2
Suppose -3*v - 2 = -5*v. Let m = 1 - v. Let d be (m*1/3)/2. Solve f - 3*f - 4 = d for f.
-2
Let v be 1/(-3) + 10/3. Suppose 4*z - 18 - 14 = 0. Suppose 0 = -l - v + z. Solve l + 7 = 3*a for a.
4
Let w(g) = 3*g + 3*g**2 - 6*g - 2*g**2. Let c be w(4). Solve -c = 4*m - 0 for m.
-1
Let k be (-4)/(-2)*(-119)/14. Let m = k + 24. Solve -m*f = -2*f for f.
0
Let o be 2 - (-8)/(-2) - -10. Let c be (-4)/o*(0 - 4). Suppose -i + 6 = c*l, -3*l = 5*i - 4 + 2. Solve 3*g - 4*g - l = 0 for g.
-4
Let i = 6 - 3. Solve 0 = i*q - 2*q - 5 for q.
5
Let x = -28 + 55. Solve 0 = -4*s + 7 - x for s.
-5
Let p be 3*(3 - (5 - 4)). Suppose -i - 10 = -6*i. Suppose -4*u - 7 + 27 = 0, -h - 4*u + 20 = 0. Solve h = i*q - p for q.
3
Let y = 11 + -9. Solve -l = y*l + 6 for l.
-2
Let v(c) = c**3 + 3*c**2 - 2*c - 2. Let u be v(-3). Suppose -10*s = -6*s - 20. Suppose -5*a = p + s, 3*a + p = -0*p - 5. Solve 0*d - u*d + 16 = a for d.
4
Suppose -4*b + 9 = -31. Solve -10*c + b = -5*c for c.
2
Let l be (-1 - -9 - 2) + -2. Let m = -5 - -3. Let t be 4/(-6)*6/m. Solve -l*s + 2 = -t for s.
1
Suppose 0*u - 2*u + 6 = 2*d, -10 = -5*d. Let h be (4*u/(-1))/(-2). Suppose h*x = x. Solve 12 = -4*k - x*k for k.
-3
Let b be ((-63)/(-28))/(1/4). Suppose 0*v = 3*v - b. Solve -z + v = -4*z for z.
-1
Let r be -1 + (-3 + -1 - -21). Solve -5*s = -s + r for s.
-4
Suppose 5*m + 5*v - 10 = 0, -2*m = 2*v + 3*v - 10. Solve m = 4*x - 0*x for x.
0
Let m = -4 + 2. Let g be m/6 - (-60)/18. Let z be g - -10 - (-1 + 2). Solve 2*c - 5*c = -z for c.
4
Let s = 11 - 8. Solve -s + 6 = -3*w for w.
-1
Let d = 5 + -3. Suppose 0 = o - d + 1. Let q be (o/(-1))/((-3)/12). Solve 5 = -q*b + 1 for b.
-1
Let v(z) = -z**3 + z + 9. Let h(t) = -3*t**3 + t. Let s be h(-1). Suppose 5*d - 2 = s*l - l, 4*d - 10 = 5*l. Let r be v(d). Solve -3*b + 6*b = -r for b.
-3
Suppose -2*q = q - 9. Solve 2*o = -q*o + 5 for o.
1
Let w(p) = p**3 - 4*p**2 + 3*p - 5. Let u be w(4). Let v = 12 - u. Solve -4 - v = 3*c for c.
-3
Let a be 82/7 + (-2)/(-7). Let w = 5 - 2. Solve -a = -0*q - w*q for q.
4
Let d be (-5)/2*(-44)/55. Let n be (4/(-4))/1 + d. Solve n = 3*l - 2 for l.
1
Let i be (-4 - -2)/2*-6. Solve 4*u = 6*u + i for u.
-3
Let k be 12/(-42) - 60/(-14). Suppose 3*m = -g + 1, -k*g = -2*m - 4 - 0. Solve 4*y - 3*y + g = 0 for y.
-1
Let y be (72/20)/(2/10). Suppose 0 = -2*r + r + 5*d - 101, 2*r + 167 = 3*d. Let q be 12/30 - r/10. Solve q = -5*z + y for z.
2
Suppose -4 = -4*o, -2*g + 0*o = -4*o + 4. Let l = g - -1. Solve n + 2 = l for n.
-1
Suppose w + 3 = 2*m, 4*m + 0*w = w + 7. Let z(a) = a**3 - a + 2. Let r be z(0). Suppose -3 = 4*y + 3*j, -2*y = -0*y + r*j + 4. Solve -m*g = y 