 4*v for v.
0
Let q(d) = d**2 + 9*d + 2. Suppose -19 + 1 = 2*t. Let c be q(t). Solve -c*y = -1 + 7 for y.
-3
Suppose -q - 2*h + 10 = 0, -3*q - 2*q + 26 = 4*h. Let a = q + -2. Suppose -n + 6 = -a*n. Solve v = -v + n for v.
3
Suppose -2*f + 1 = -5, 6 = 5*s - 3*f. Let b(o) = -o**2 + 10*o + 3. Let v be b(9). Solve -s*t + 6*t = -v for t.
-4
Let v(y) = -y - 2. Let p be v(-7). Solve p*s + 8 = s for s.
-2
Suppose 2*v + a = -3*a - 10, -5*v + 5*a = -35. Solve 0 = -v*z + 12 for z.
4
Let q(n) = -n - 4. Let w be q(-6). Let i(u) = -5*u - u**2 + u**2 - u**w. Let b be i(-5). Solve f + b*f - 3 = 0 for f.
3
Suppose -4*x + 43 + 25 = 0. Suppose 2*w + 0*w - 58 = 0. Let o = w - x. Solve 2*k - 4 = -o for k.
-4
Suppose 0*m = -5*m - 215. Let l be (-6)/(-27) + m/(-9). Solve -l*k + 10*k = 25 for k.
5
Suppose 0 = -4*c - c + 30. Solve 6*l + c = 3*l for l.
-2
Suppose 12*f + 60 = 16*f. Solve u + f = -4*u for u.
-3
Let i = -20 - -42. Suppose m - i = -b, 3*b + m - 17 - 41 = 0. Solve 0 = -5*q - 8 + b for q.
2
Suppose w + 2*w = 0. Suppose -u = 4 - w. Let o be (u/1)/(-2) + -1. Solve s + 3 = -o for s.
-4
Suppose 3*w - 6*w + 81 = 0. Suppose 5*g - 25 = -0*g. Let m be 1/(-1)*-1 + 1. Solve -g*f = m - w for f.
5
Let a be (-1)/(-5) - (-16)/(-5). Let h be (1 - (-3)/a)*-1. Let m(q) = -q**2 + q + 2. Let n be m(h). Solve i + n = -1 for i.
-3
Suppose 0 = -4*l + 13 + 7. Solve l*u - 1 = -16 for u.
-3
Let k be ((-10)/2)/(0 - 1)*1. Solve 2*x - 12 = k*x for x.
-4
Suppose -7 - 1 = 4*c - 2*v, -20 = 3*c - 5*v. Solve 0 = r - c*r + 4 for r.
-4
Let r = 116 - 115. Solve 6*p = 5*p - r for p.
-1
Let f(w) be the third derivative of -w**5/60 + w**4/4 + 5*w**3/6 - 2*w**2. Let m be f(6). Solve 0 = a - m*a - 16 for a.
-4
Let w be ((-2)/(-2))/(1/2). Suppose 0 = -2*d - 3 + 9. Suppose 3*i = -d*v + i + 28, -v - 2*i = -16. Solve 8 = v*z - w*z for z.
2
Let o = -10 + 18. Suppose o = 2*t - 14. Let g be 140/44 + (-2)/t. Solve -2*b + 20 = g*b for b.
4
Suppose 5*o - 89 + 29 = -5*c, -5*o = -c. Let b = 0 + 2. Solve b*z = 4*z - c for z.
5
Suppose -3*k = 2*k - 4*q - 2, 0 = -3*k + q + 4. Suppose k*n = 3*n - 9. Solve -n = 3*a - 0*a for a.
-3
Let k(g) = g**2 + 3*g - 5. Let r be k(-4). Let i = 3 + r. Suppose i*f - 5*z - 16 = 13, 3*f + 5*z - 31 = 0. Solve 2*c + c + f = 0 for c.
-4
Let h be 60/14 + 4/(-14). Let o be (-3 + -6)/(-3) - (1 + -18). Solve h*g = -g - o for g.
-4
Suppose -4*c + 8 + 12 = 0. Let w be 1/4 + 2/(-8). Let m = w - 0. Solve -c*h + h = m for h.
0
Let j(y) = -y + 3. Let w be j(9). Let t be w/(-12)*(-8)/(-2). Solve -3*c = t*c - 20 for c.
4
Let q = -31 + 52. Suppose 5*m - 2*m - q = 0. Solve 0 = 2*y + 1 + m for y.
-4
Let k = 8 - 4. Suppose -r - 18 = -2*p - k, 2*p - 4*r = 26. Solve 0*b - p*b + 20 = 0 for b.
4
Let a(u) = 0*u**2 + u - 3*u**2 - 2*u. Let v be a(-1). Let r = 1 - v. Solve 0 = r*y - 5*y + 10 for y.
5
Suppose 5*r - 6*r = -5. Let q = 17 - r. Solve -2*s - s = -q for s.
4
Let b = 23 - 35. Let a(i) = i**3 + 3*i**2 - i - 1. Let r be a(-3). Let o be b/2*r/(-6). Solve -m = -o + 4 for m.
-2
Suppose 0 = 9*a - 10*a + 4. Suppose -40 = -a*q + 20. Solve q = 3*m - 0*m for m.
5
Suppose 0 = j - 4*p - 5, 2*j - 3*p + 8*p = -55. Let r = 8 + j. Let c = r + 10. Solve 2*q + c = -3 for q.
-3
Suppose 0*v - v = 0. Let p = -3 + 11. Solve v = 5*k - k - p for k.
2
Let u(d) = -8*d. Let n be u(-1). Let z be (-32)/(-24)*(-6)/(-4). Suppose 5*g - z*h - 3*h - 30 = 0, -2*h - n = 0. Solve b = 3*b + g for b.
-1
Let v be 2/8 + 1/(-4). Suppose 0 = -12*f + 14*f - 54. Let r = f - 23. Solve v*w - r*w + 12 = 0 for w.
3
Let i = 258 - 140. Suppose -4*g + 2*o + i = 0, 85 = 3*g + 2*o - 7*o. Let b = g - 8. Solve -5*x - b = 3 for x.
-5
Suppose 2*m = 2 + 6. Suppose 4*n = s + 4*s + 5, -2*s = 3*n + 2. Solve n = m*u - 6*u + 8 for u.
4
Let b be -2 + 1/(0 + 1). Let v = 2 - b. Solve z + 4 = v*z for z.
2
Suppose -v = 2*v + 2*c - 22, 26 = 4*v + c. Suppose 4*o - v*o = 0. Let n = o + 4. Solve -n*i - 29 = -9 for i.
-5
Suppose -8*p + 3*p = 0. Solve -4*r = -p*r + 20 for r.
-5
Suppose -2*t + 0 = -m - 8, 4*t = 3*m + 16. Solve m = -5*k - 6 + 1 for k.
-1
Let m = 13 + -10. Solve m*y - 15 = -2*y for y.
3
Let j(n) = n**3 - 6*n**2 + n + 4. Let i be j(6). Suppose -4*y - 2 = -i. Suppose -y*b - 5 + 15 = 0. Solve -b = -2*z + 1 for z.
3
Let f(k) = -k + 7. Let v be f(6). Suppose -4*o = -3*t - 27, -3*o - o + t + 17 = 0. Solve -u + o - v = 0 for u.
2
Let n(s) = -3*s - 3. Let d be n(-2). Solve 4*l = 13 + d for l.
4
Suppose -4*h - 9 = 3, 0 = -3*c - 3*h - 24. Let r = c - -2. Let u be (r + 5)/(-1)*-1. Solve -u*p + 4 = -2 for p.
3
Suppose f - 4*f = 0. Suppose -4*p = -0*p - 24. Solve -2*y + p*y = f for y.
0
Let u(r) = -r**3 - 10*r**2 - 10*r - 5. Let b be u(-9). Solve b*j - 5 = -j for j.
1
Suppose -3*k + 10 = -5. Solve 2*r = k*r + 15 for r.
-5
Suppose -2*m - 4 = -10. Suppose 2*f - 32 = -m*w, 0*f + 34 = 3*w + f. Suppose 0 = -2*n - n + w. Solve n*y = y - 3 for y.
-1
Suppose -1 = -5*o + 19. Solve -o*h + 2*h = 0 for h.
0
Suppose 3*j = 7*j + 120. Let z = 21 + j. Let g be (-3)/z*(6 + 3). Solve 2*f = -g*f for f.
0
Suppose 4 = b + b. Suppose -2*s = 5*u + s - 56, -b = -s. Solve 5*c + u = -10 for c.
-4
Let p(d) = -d + 8. Let h be p(5). Let z = 5 - h. Solve -z + 10 = 2*w for w.
4
Suppose -4*k - 4*n + 4 = -4, -6 = k + 3*n. Solve -4*h + k = -h for h.
2
Let g(m) = m**3 - 8*m**2 + 5*m + 10. Let b(p) = p**2 - p + 7. Let w be b(0). Let d be g(w). Let q be (-27)/(-6) - (-2)/d. Solve -q*n - 5 = n for n.
-1
Let p = 14 + -14. Solve -5*a - 11 - 4 = p for a.
-3
Suppose -7*m = -0 - 21. Solve 0 = -x - 0*x - m for x.
-3
Let t(k) = k**3 + 30. Let p be t(0). Let z be ((-36)/p)/(4/(-50)). Solve c - z = -2*c for c.
5
Let i be (3 - 5/2)*40. Solve -4*j = -0*j - i for j.
5
Let u = -17 - -7. Let f = 11 - u. Solve -f + 5 = 4*x for x.
-4
Suppose -v + 2*v = 11. Let s = v - 7. Suppose 8 = 2*a, m - 9 = -s*a + 11. Solve y + 3 - m = 0 for y.
1
Let g(k) = k**3 + 11*k**2 + 10*k + 1. Let s be g(-10). Let v = s + -1. Solve -4 = -v*c + 2*c for c.
-2
Let n(j) = 3*j + 1. Let f be n(1). Solve -2*x + 4 = -f for x.
4
Let i = -29 - -32. Solve 0 = 2*o + i*o + 15 for o.
-3
Let n(y) = y - 1. Let p be n(5). Let j(f) = -3*f - 3. Let q(t) = 7*t + 7. Let v(l) = -5*j(l) - 2*q(l). Let d be v(p). Solve 0 = d*a - 20 for a.
4
Let r = -27 + 29. Solve -r = -2*u + 3*u for u.
-2
Suppose 0 = -4*x - 4*f, -x - 5*f = 3*x + 5. Suppose 2*y = -x*w + 35, 5*w = 3*y + y - 115. Suppose 2*s - 2*g = -g + 3, 0 = 5*g - y. Solve -2*z + 4 = -s*z for z.
-2
Let f(n) = -n**3 + 15*n**2 - 14*n + 10. Let r be f(14). Let q be (-4)/5 - (-38)/r. Solve -q*l = -0*l + 12 for l.
-4
Suppose 25 = -4*i + 25. Solve i = -o - o + 2 for o.
1
Suppose -l + 4 = -0. Solve -3 - 1 = -l*g for g.
1
Let u be (2 + 1 - 2) + 11. Suppose -2*s = -4*s + u. Suppose 6*t = 2*t. Solve t*n + s = 3*n for n.
2
Let a be (2/(-6))/((-1)/27). Let x be (-1 + 12/a)*12. Solve 0 = x*i - 2*i + 8 for i.
-4
Let d = -94 - -66. Let j be (-2)/(-3) + d/(-12). Suppose 14 = 5*i + g + j*g, -2*i + 2*g + 2 = 0. Solve -i*b = -b + 4 for b.
-4
Let k(v) = v**3 - 2*v**2 - 3*v + 2. Let a be k(3). Let t(b) = b + 5 - 5 + 2*b**a - 4 + 3. Let l be t(-2). Solve l*y - 1 = 4 for y.
1
Let x(j) = -j**2 - j + 2. Let m be x(-3). Let c be (-3 - (2 + m))*0. Solve c = -o + 3*o for o.
0
Suppose 2*g + 3 = 5*r, -2*g = 3*g + 5*r - 45. Suppose -g = -l - 3. Solve 6*v - l*v = 0 for v.
0
Let n be 34/3 - 4/(-6). Solve 4*l + 0 - n = 0 for l.
3
Let y = -38 - -41. Solve -r = y*r + 8 for r.
-2
Suppose -11*z = -16*z + 5. Solve z = 2*g - 1 for g.
1
Suppose 2*g = -g. Let k(b) = -b - 3. Let z be k(-6). Let n = 13 - z. Solve g*s - n = 2*s for s.
-5
Suppose 0*v + 18 = 2*v. Solve 9 = v*n - 6*n for n.
3
Let n(d) be the first derivative of -d**2 - 3*d + 2. Suppose 12 = -5*p + p. Let l be n(p). Solve -2*v - v - l = 0 for v.
-1
Suppose 2*g + 2 = -4*o, 4*o - 3*g = 7 + 16. Solve 0 = i - o*i for i.
0
Let n = -98 + 100. Solve d - n + 1 = 0 for d.
1
Suppose 2*v - 4*v = -18. Let i = 9 - v. Solve i = m + m for m.
0
Suppose -2*h - 1 = 1. Let x be (5 - 1) + 2/h. Solve 8 = -x*j + 4*j for j.
4
Suppose -o - 4 + 0 = 0. Let x(b) = -2*b + 1. Let f(d) = -2*d + 1. Let c(g) = o*f(g) + 3*x(g). Let l be c(2). Solve i = -l*i for i.
0
Suppose -2*r = -3*g + 44, -2*g - r + 11 = -9. Suppose -g = 4*t - 44. Let a = -6 - -10. Solve -a*c = -t - 4 for c.
3
Let d(m) = -m**3 + 4*m**2 - m + 5. Let l be d(4).