 2 - s for v.
3
Let b = 51 + -49. Solve b*m + 8 = -0*m for m.
-4
Suppose q - 27 = -2*q. Suppose -2*a = -4*y + 6, -2*a - 3*a = -2*y - q. Solve -y*b + 3 = -6*b for b.
-1
Suppose 3*p = 3*x - 9, 3*p - 25 = -5*x - 2*p. Suppose 5*q = 2 - 17, 0 = -x*d - 3*q + 15. Let i = -9 - -19. Solve i = -4*w - d for w.
-4
Let w = 1 + 1. Let u = 0 + w. Suppose -u*p + 0*p = -6. Solve 0*y = 3*y - p for y.
1
Suppose 8 = n + n. Solve 11 - 3 = -n*d for d.
-2
Suppose -10 - 9 = 3*i + 5*h, -4*i - 17 = 5*h. Suppose -5 = i*w + 3. Let f be (-14)/w - (-3)/6. Solve 14 = -f*j + 2 for j.
-3
Suppose 37 = 4*j - 3. Let l be 105/j*4/6. Let v(b) = b**2 - 2*b - 3. Let k be v(4). Solve k*z + l = -8 for z.
-3
Let q = -5 - -8. Suppose 3*s - 4 + 21 = 4*n, 4*n + 3*s = -1. Suppose 2*k + n = 3*k. Solve q = -k*h - 1 for h.
-2
Let x(r) = -r**3 - r**2 + 4*r - 4. Let l be x(-4). Let t be l/6 + 6/18. Solve 2*o = -3*o - t for o.
-1
Let t(m) be the third derivative of m**6/120 - m**5/12 + 5*m**4/24 - m**3/3 + m**2. Let f be t(4). Solve -c = -0 - f for c.
2
Suppose -5*m + 6 = -2*t, 9 = 2*t + 3*m - 1. Suppose 3*u = t*u + 10. Solve 0*j + u = 2*j for j.
5
Let d(m) = m - 6. Let i be d(6). Suppose -4 = -i*k - 2*k. Let u = 5 - k. Solve -a - 2*a + u = 0 for a.
1
Let v = 30 + -18. Suppose s - 4 = -3*u, 6*u - u = s + v. Let z be 1/s*2 - -2. Solve 4*f + 15 + z = 0 for f.
-4
Let i = 38 + -35. Solve 0 = -3*p - 3 - i for p.
-2
Let o(c) = -7*c**3 + c. Let x be o(-1). Let l be 2*(-1 - 0) + x. Suppose d - 25 = -5*q, 2*q - q + 5*d = 5. Solve l*h + 1 = q*h for h.
1
Let k = -2 + -6. Let d(v) be the second derivative of v**4/12 + 7*v**3/6 - 7*v**2/2 - v. Let l be d(k). Solve -2*h - l = -h for h.
-1
Let g = 38 - 54. Let h = g - -6. Let s be h/(-3)*12/5. Solve 3*o = s*o - 25 for o.
5
Let n be 60/9 + (-4)/6. Solve 2*l = -n + 2 for l.
-2
Let v(r) = 7*r**3 - r. Let o be v(1). Let w be (-12)/7*(-21)/o. Let a(f) = f**3 - 3*f**2 + 2*f - 1. Let n be a(3). Solve -n*m - 4 = w for m.
-2
Suppose w - 3*w + u + 34 = 0, -103 = -5*w - 2*u. Solve w = -4*r + 3 for r.
-4
Suppose -5*h + 22 - 12 = 0. Solve 2*u = -h*u + 8 for u.
2
Let j = -84 - -88. Solve -2 = -j*y + 2*y for y.
1
Suppose -2*f = -f + 2*u - 13, -16 = 3*f - 5*u. Let d be 22/6 + 1/f. Suppose l - 15 = -d*l. Solve -s = -2*s - l for s.
-3
Let z(a) = -a**2 - 13*a - 33. Let q be z(-9). Solve -2*n + q*n - 2 = 0 for n.
2
Let o(j) = -j**3 + 5*j**2 + 2*j - 6. Let i be o(5). Suppose r - 9 = -5*t + 5, -2*t + 20 = i*r. Solve -15 = -t*x - 3*x for x.
3
Suppose -5*o + 22 = 2. Suppose 2*b + 1 = s, 5*s = o*b + 7 - 2. Solve -h - s = 2 for h.
-3
Suppose 18*j - 34 = j. Solve 3*z = j*z + 4 for z.
4
Let b be ((-2)/(-5))/(14/35). Solve 0 = 5*f + 9 + b for f.
-2
Let m be -1*25/(10/(-2)). Solve -5 - 5 = m*w for w.
-2
Let f = 34 - 27. Suppose 4*u - 20 = -4*x - 0*u, -4*x = -u - 15. Suppose -3*c = -f*c + x. Solve 0 = -o + c for o.
1
Suppose 6 = -4*u - 5*x, -u - 4*x + 6 = 2. Let b = u + 4. Solve -s = -1 - b for s.
1
Let y = -2 + 3. Let f = 13 - 13. Solve k + y = -f for k.
-1
Let w = 2 - 2. Solve -n + w = -2 for n.
2
Suppose -2*c + 4 = -6*c, 0 = 4*i + 3*c - 29. Let d = -4 - -3. Let h be 1 + d - 0 - -4. Solve 0*w = -h*w - i for w.
-2
Let j(g) = -2*g + 6. Let l be j(6). Let n be 2*(-3)/6 - l. Let z(u) = u**3 + 5*u**2 - 7*u + 3. Let x be z(-6). Solve 1 = n*f - x for f.
2
Let w = 163 - 157. Solve -b + w - 1 = 0 for b.
5
Suppose 205 - 13 = 4*c. Suppose -c = -3*b + h - 8, -16 = 4*h. Solve -v = 3*v - b for v.
3
Let n(f) = f - 19. Let u be n(11). Let r = u + 8. Solve r = b - 5 for b.
5
Let v = 7 - 6. Let i(t) = t - 1. Let c be i(4). Suppose -1 = j + 3*x, 2*x - 3*x = 5*j - 9. Solve -v = -j*p - c for p.
-1
Let i(n) = -2*n - 5. Let v be i(-3). Solve 4 = 3*f + v for f.
1
Let z be 1 + (2 - 2 - -1). Let g be (4/(-3))/(z/(-3)). Solve -g*r + 12 = r for r.
4
Let s = 36 - 31. Solve -s = 4*t + 3 for t.
-2
Let v = -8 - -13. Solve -h = -v*h - 8 for h.
-2
Suppose -16 = -2*i - 2*i. Suppose 0 = -l + i*d - 2, -l + d + 4*d - 3 = 0. Suppose -l*w - 3 + 5 = 0. Solve 2 = -f - w for f.
-3
Let f = 5 + 0. Solve f = -4*h - 11 for h.
-4
Let d = -13 + 17. Suppose -q + 5 = -2*x, x + d*x = -4*q - 6. Solve -h + 2 = q for h.
1
Suppose -9 = -2*h - 5. Suppose -3*n - 4*i + 14 = 0, -2*n - i = -4*i + h. Solve -2*r = -4 - n for r.
3
Suppose 26 + 6 = 8*x. Solve -x = -4*g - 0*g for g.
1
Let u(p) = p + 8. Let n be u(-6). Let z(f) = -f**3 + 6*f**2 - 5*f + 2. Let d be z(5). Suppose -2*r = d*r - 16. Solve -r*t = -n*t - 6 for t.
3
Let h = -5 + 1. Let n be (-6)/2 - h/4. Let u be 2*(1 + n)*-3. Solve 3*v + 12 = u*v for v.
4
Suppose n - 5 + 3 = 0. Solve -4 - n = 2*k for k.
-3
Suppose -5*z = -8 + 58. Let v = -10 - z. Solve -5*c - 14 - 1 = v for c.
-3
Suppose 3*p - 4*z = 14, 4*p - 35 = -p - 5*z. Let x = -2 - -6. Solve 2*s + x = p*s for s.
1
Let h be -3 + 1 + 8/(-4). Let d = -4 - h. Suppose 0 = 4*n - 0*n. Solve n = -d*s - 3*s - 9 for s.
-3
Let c = 26 - 4. Let a = -15 + c. Solve -2*t + a*t = 0 for t.
0
Let a = 16 - 11. Suppose 0*m + a*y - 1 = -3*m, 0 = -4*m + 3*y + 11. Suppose -2 = -m*l + l. Solve k = l*k - 4 for k.
4
Suppose -4*a = -3*f - 0*f - 12, -2*f - 6 = -2*a. Let r = 9 + -3. Suppose -k - k = -r. Solve 3*y + f*y + k = 0 for y.
-1
Suppose -5*m - 3*n = 2*n - 5, n = -1. Solve 2*c = -m*c for c.
0
Let y = -4 - -6. Let g(o) = o**2 - o - o + 8 - 9*o + y. Let h be g(10). Solve -d = -h*d + 3 for d.
-3
Suppose -3*h + 2 = 5*g, -9 = -g + 4*h - 4. Solve k + 3 + g = 0 for k.
-4
Let w = 21 - 19. Let c = 2 + w. Suppose -y + 33 = p + 3*p, p = y + 2. Solve -c*k = p - 3 for k.
-1
Let l = 6 - -3. Let w = l + -3. Solve w*g + 20 = g for g.
-4
Let v be -6*(2 - 1)*-1. Let k be 2/(-8)*(-24)/v. Solve 0 = -4*r - k - 15 for r.
-4
Let w(z) = -7*z - 1. Let f be w(2). Let a be ((-2)/(-5))/((-3)/f). Let x be 12/a + -1 + 3. Solve 15 = -3*g + x*g for g.
3
Let l be (-2 - -1)*(3 - 4). Solve 2*b + l = -1 for b.
-1
Let o be (-3 - -1) + (-30)/(-10). Solve -p = 1 + o for p.
-2
Let o = 2 - 13. Let r = o - -11. Solve r = -p - p for p.
0
Let z = 8 - -3. Let f = -4 + z. Solve -17 = -2*d - f for d.
5
Let r be ((-6)/5)/(6/(-15)) - 3. Let k be (9/(-6))/((-1)/2). Solve r = -k*d - 2*d for d.
0
Suppose -5*n = b + 10, 4 = -5*n + 3*n - 2*b. Let g = n - -2. Let m be (-8)/16*(1 - 3). Solve -h + m = -g*h for h.
1
Let r(k) = k**2 - 4*k - 1. Let d be r(5). Let g = -3 - d. Let v = -6 - g. Solve -2*u = 9 - v for u.
-4
Let n = -3 - -7. Suppose n + 8 = g. Solve 5*k - g = -2 for k.
2
Suppose -2*y = 59 - 19. Suppose 0 = 5*b - 0*a - 3*a + 1, b - 4*a - 10 = 0. Let r be (1/2)/(b/y). Solve z - r = -4*z for z.
1
Suppose -2*i = i. Let y = 2 + i. Suppose -2*n - 3*l + 17 = 2*l, 0 = 4*n - y*l + 2. Solve 3*q = 7 - n for q.
2
Let z(a) = a**3 + 14*a**2 + 24*a + 6. Let r be z(-12). Solve -r = 4*d - d for d.
-2
Let m = 33 - 16. Suppose 3*s - m = -8. Suppose -s*t = -2*t - 3. Solve 6 + 9 = -t*b for b.
-5
Suppose -18 = -3*l + 48. Let z = -20 + l. Solve z + 2 = 4*x for x.
1
Suppose 2*n - 7*n + 20 = 0. Solve k - n = 1 for k.
5
Let k(a) = -a**2 - 7*a + 1. Let w be k(-5). Let f be w - (1 - (-2 - -1)). Suppose -b + 20 = 3*b, 0 = 3*y + 3*b - 21. Solve -p - y*p = -f for p.
3
Let j = 4 - 4. Let c be (-9)/(-3) - (-2 + j). Suppose -6*n = -c*n - 1. Solve n + 2 = 3*k for k.
1
Let v = 11 + -5. Let g be v/(-27) + 7/(-9). Let y be g/4 + 102/24. Solve a = -y*a + 25 for a.
5
Let m(c) = 8*c**2 - c + 1. Let v be m(1). Let l be (-2 - -2)/3 - -6. Solve l*d = 2*d - v for d.
-2
Let w = -17 + 21. Solve 0 = w*l - 3*l - 4 for l.
4
Let p be (-4)/10*-1*5. Suppose 0 = -a + p + 1, -21 = -3*n - 4*a. Solve -10 + 4 = -n*i for i.
2
Suppose 0 = -3*u + 8 + 4. Suppose -u*b - 3 = -11. Suppose -b*o = 3*o. Solve 0 = 3*x - o + 9 for x.
-3
Let z be (-3)/(1*3/(-21)). Suppose 0 = 4*h - 3*h + 5, f = -5*h - z. Solve 0 = 3*v - f*v + 1 for v.
1
Let t = 18 - 11. Suppose -20 = -4*z, -2*z = -2*q + 2 + 18. Suppose t*u - q = 2*u. Solve u*f = 8*f + 25 for f.
-5
Let r be 2/(32/(-244))*-4. Suppose 3*z + 16 = r. Solve 3*o + z = 6 for o.
-3
Suppose -n + 6 = 2*u, -5*u + 14 = 5*n - 6. Suppose 11 = f - 2*v, n*v + 8 = 4*f - 12. Solve f = -2*h - 3 for h.
-3
Let m = 153 - 147. Let p = 3 + -1. Solve m = a + p*a for a.
2
Suppose 0 = f - 3*f + 12. Solve 4*g - f = 2*g for g.
3
Let f be -2 + (-4)/(-6)*3. Suppose f*n + 24 = 4*n. Let g be 10/(-8)*(-12 + 8). Solve -g*a + 26 = n for a.
4
Suppose 61 = 5*h - 