 v.
-4
Let k(o) = 19*o - 2. Let a be (-2)/(-8) + 7/4. Let r be k(a). Let t be (2/(-3))/((-8)/r). Solve 1 = -u - t for u.
-4
Let i be 2/8 - 21/(-12). Solve -8 = -i*t - 0 for t.
4
Suppose -6*g = -4*g - 4. Let u be (3 - 5)/g*-11. Suppose 0 = 5*q - 4 - u. Solve 2*m = q*m for m.
0
Let u = -6 - -7. Solve 4*i = -7 - u for i.
-2
Suppose 0 = -3*d - 7*r + 5*r + 65, -13 = -d - 5*r. Solve -5*y + 2 + d = 0 for y.
5
Let z(x) = x**3 - 4*x**2 + 4*x - 2. Let m be z(3). Let o be (-6)/(-3)*10/m. Solve -5*u - 5 = -o for u.
3
Let t be 2 - (-3 - (-1 + -2)). Let q be ((-21)/(-6))/7*t. Let i be 0 - (-1 + 0 - 1). Solve 3 = i*o + q for o.
1
Let y(u) be the second derivative of -u**4/12 + 2*u**3/3 + u**2/2 + 3*u. Let x be y(3). Solve 0 = 3*h - 19 + x for h.
5
Let u(b) = b**2 - 4*b - 8. Let v be 1 - 1 - (-12)/2. Let o be u(v). Suppose 5*z - z = 3*l + 17, -o*z + 37 = l. Solve -z = -3*g + g for g.
4
Let t(o) = 0 + 6 - 3*o - 3 - 4. Let m be t(-2). Solve -5*x - 10 = m for x.
-3
Let d = 17 + -14. Let u = -2 + 13. Suppose 0 = 2*m + d - u. Solve -m*n = -n - 6 for n.
2
Suppose -5*t - 5*k + 4 = -21, 5*t - 5*k = 25. Suppose 2*l - 4*v = 0, v = -2*l - 0*v. Solve -q - t = -l for q.
-5
Let p = 0 + 4. Suppose 0 = p*t + 5*y - 5 - 19, -3*y - 6 = -t. Solve 2 = w + t for w.
-4
Let y(u) = 2*u + 1. Let b be y(1). Suppose -3*z + z - p = -10, -4*z + 20 = b*p. Solve m - z*m = 0 for m.
0
Let r = 1 + -1. Let a(d) = -8*d + 20. Let f be a(2). Solve r*p = f*p for p.
0
Let s be (9/(-6))/((-6)/4). Solve -j + s = 4 for j.
-3
Let m(o) = o**3 - 7*o**2 - 9*o + 10. Let g be m(8). Suppose l = g*l - 5. Solve 2*y = -3*y - l for y.
-1
Let o = -31 + 22. Let v = o + 9. Solve -3*y + y = v for y.
0
Let s(t) = t + 2. Suppose -5*g = 3*o - o + 17, 2*o - 2*g - 18 = 0. Suppose -3 = q + 1, 2*z - 22 = o*q. Let u be s(z). Solve -4*c = -u*c for c.
0
Let n(r) = 3*r + 1. Suppose -t + 0 = -1. Let g be n(t). Suppose l - 3*d - 9 = 0, -l + 2*d - d + 3 = 0. Solve g*y - 4 = -l for y.
1
Let m = 21 + -19. Solve m + 1 = 3*u for u.
1
Suppose -4*l = -4, 5 = a + 6*l - 2*l. Suppose 5*q + 7 = -n + 3, -a = -n. Let t = q - -6. Solve 2*r + 3*r - t = 0 for r.
1
Suppose 0 = 4*a - 8, 19 = 5*s - 3*a - 0*a. Suppose -n - 4 = 4*g - 2*g, -s*g - 10 = 5*n. Let q be n + -2 + -3 + 5. Solve q - 16 = 4*m for m.
-4
Let o(g) = 2*g + 13. Let l be o(-4). Solve -v - l = -2*v for v.
5
Let a be (11 - 14)*(-4)/6. Solve -a*f + 1 + 1 = 0 for f.
1
Let g be (5 + 1)*5/15. Let r be (g/(-6))/(8/(-72)). Solve -r*s = -8*s + 5 for s.
1
Let l(m) = m**2 + 9*m + 8. Let g be l(-8). Suppose -k - 5*i - 18 = 0, 3*k - k - 2*i - 12 = g. Solve -k*s + 15 = 3*s for s.
3
Let q = -1 + 5. Let i(a) = a**3 + q - 2*a**3 + 0*a - 3*a**2 - 2*a. Let h be i(-3). Solve 0 = 4*m - 2*m - h for m.
5
Let u be (-189)/(-18) - 2/(-4). Solve 1 = 4*l - u for l.
3
Let g be 3 - 1 - (-6 + 6). Suppose -4*h + 2 = -g. Let s = 0 - 0. Solve l = -s + h for l.
1
Let p = 1 - 0. Suppose -d - p = -0*d, 5*d = -5*k + 5. Suppose 0 = -k*w + w + 3. Solve w*n = 2*n + 1 for n.
1
Let j = -8 + 6. Let v be j/(-4) + (-1)/2. Let f = v + 2. Solve -1 = -f*i - 3 for i.
-1
Suppose 2*b = -1 - 1. Let o(h) = 5*h**2 - h. Let z be o(b). Suppose 0 = -5*g + 6*g. Solve c - z*c + 5 = g for c.
1
Let i = 17 - 5. Suppose 5*z - i = 2*z. Solve -s + 9 = -z*s for s.
-3
Let x(l) = 4*l**2 + 7*l. Let k be x(-3). Suppose o - 2*o = -3. Solve -o*j - k = 2*j for j.
-3
Let s(l) = -l**3 + 5*l - 3. Let f be s(-3). Solve f*u - 4*u = 10 for u.
2
Suppose 0 = -4*j + 8*p - 3*p + 85, 5*p = -4*j + 35. Let y be j/(-20) + (-69)/(-12). Solve 0 = y*h - h + 8 for h.
-2
Suppose 3*y = 4 + 5. Suppose 2*d + 0*d + 2*n = -2, 0 = d - 3*n - y. Solve -u + 3 = -d*u for u.
3
Let u = 20 - 17. Suppose -3*s - 2*f = 2, u*s - 4*s = -f - 1. Solve s = -o - 0 + 4 for o.
4
Let d = 4 - 1. Suppose 0 = k - d*k + 8. Suppose 2*x - 3 = -2*f - 9, -5*f = -k*x - 12. Solve -l - 5 = -f for l.
-5
Let r = -8 + 7. Let x be 44/12 - r/3. Solve 0*h = 2*h + x for h.
-2
Suppose 2*a - s = -5, 2 = 2*a - 2*s + 12. Suppose -m + a*m = -4. Suppose 0 = m*t - c - 19, -3*t - 3*c + 45 = 2*t. Solve -o = -t*o for o.
0
Suppose 3*r - 4*a = 35, 0 = 5*r - 5*a - 33 - 17. Suppose r*j - j = 0. Solve 0*l + 3*l + 12 = j for l.
-4
Suppose -42 = -6*y + 78. Let n(d) = d + 6. Let i be n(-6). Solve 4*c - y = -i*c for c.
5
Let d = 5 + -2. Let a(m) = 5 + m**2 - m**3 + d*m**2 + 0*m + 5*m. Let g be a(5). Solve 15 = -4*w - g for w.
-5
Let h(r) = r + r - 7 + 1. Let d be h(4). Suppose -d*s + s + 3 = 0. Solve -s*l = l - 4 for l.
1
Suppose 3*u + 20 = 2*a + 8, 0 = 2*a + 2*u - 12. Let z be 2*(9/a + 0). Solve 5*n - z = 2*n for n.
1
Let q be 0 + 1 + (4 - 3). Solve r = -r + q for r.
1
Suppose 144 + 56 = 4*s. Suppose -3*c + 2*z + 40 = 0, 4*z - 2*z = 4*c - s. Let b = -2 + 6. Solve -y = b*y + c for y.
-2
Suppose -13 + 5 = -2*m. Solve -m*r - r = 0 for r.
0
Suppose 0 = -o - o + 18. Let s = -5 + o. Solve 2 + 18 = s*n for n.
5
Let c(t) = -6*t - 25. Let o be c(-8). Solve -4*u + 7 - o = 0 for u.
-4
Let r(o) = -7*o**3 - 13*o**2 - o - 13. Let i(h) = -13*h**3 - 25*h**2 - 2*h - 25. Let a(p) = 6*i(p) - 11*r(p). Let g be a(-7). Solve g = -m + 1 - 2 for m.
-1
Let s be ((-1 - 2) + 3)/(-3). Solve -u = -s*u + 3 for u.
-3
Suppose -3*v + 42 + 8 = 5*g, 5*v = -2*g + 39. Solve -2*d + 15 = -g*d for d.
-3
Let d(f) = -2*f**2 - 7*f - 4. Let i be d(-4). Let j = 10 + i. Solve 12 = j*b + b for b.
4
Let h = -12 - -7. Let k(t) = t**3 + 6*t**2 + 4*t - 1. Let z be k(h). Let s be (-1)/(-1) - (z - 9). Solve 0 = -v + s - 2 for v.
4
Suppose 15 = 8*d - 3*d. Let u be (-11)/44*d*-4. Solve -u*s + 10 = 2*s for s.
2
Let s(p) = 3*p**3 + 32*p**2 + 15*p - 23. Let f(w) = -w**3 - 11*w**2 - 5*w + 8. Let d(b) = 11*f(b) + 4*s(b). Let m be d(-6). Solve 0 = 3*q - 5 + m for q.
1
Let s(n) = n**3 - 9*n**2 + 7*n + 11. Suppose 3*a - 26 = -4*g, -2*a - 3 = g - 7. Let y be s(g). Solve -4*v = -y*v - 2 for v.
2
Suppose -4*d = 3*k - 4*k + 19, -3*d - 10 = -5*k. Let p = 4 + k. Solve 11 = -p*q - 4 for q.
-5
Let g(p) = p**3 - 3*p**2 - 3*p + 3. Let n(u) = u**3 - 3*u**2 - 2*u + 2. Let o(d) = 3*g(d) - 4*n(d). Let x be o(2). Solve 2*h - x*h = 3 for h.
-3
Let x = 13 + -8. Let c(w) = w**3 - 4*w**2 - 3*w - 7. Let y be c(5). Let q be 2/(5 + (-4 - -1)). Solve x + q = -y*u for u.
-2
Let h be (-88)/(-6) + (-2)/(-6). Let d = 10 + -8. Suppose -12 + 22 = d*u. Solve u*b - h = -0 for b.
3
Let b = 51 + -24. Solve 2 - b = 5*c for c.
-5
Let f(n) = n**3 + n**2 - 3*n + 2. Let m be f(-3). Let y = m + 9. Suppose 0 = g + y*g. Solve 0 = -g*i - i for i.
0
Suppose 6 = -2*t - 0*t. Let h(z) = -2*z - 3. Let y be h(t). Solve -12 - y = 5*v for v.
-3
Suppose -3*u = -14 - 4. Suppose 3*o - 5*o = -u. Suppose o*d - 5 - 22 = -3*n, 3*n - 11 = d. Solve -2*y = -n*y - 3 for y.
-1
Let p(m) = -2*m - 1. Let b be p(-1). Suppose -2*w + 10 = 2*g, -3*w + g = -w - 7. Let l = w - b. Solve 0 = -l*q + 2*q + 5 for q.
5
Let j(u) = -u**3 - 17*u**2 - u - 14. Suppose 0 = -r + s - 12, -s - 90 = 5*r - 0*s. Let q be j(r). Let f(o) = -o + 2. Let g be f(2). Solve q = m - g for m.
3
Suppose 0 = 7*i + 4*i - 5*i. Solve i*v = 3*v + 9 for v.
-3
Let v(n) = -2 + 5*n + 10*n**2 + 8 + 8*n - 5*n + n**3. Let x be v(-6). Suppose -x = -4*r + b, 0*r - 3*r = 4*b - 67. Solve 0*h + r = -5*h for h.
-5
Let l be (1*-10)/(-2) - -1. Let t = 16 + -8. Let k = 48 - 46. Solve -l*p = -k*p - t for p.
2
Suppose -3 = 3*w - 4*x, 3*w + 4*x = -0*w + 21. Suppose 3*n - 6 = y, -n - w*n = 5*y - 8. Suppose 5*a - 39 + 14 = 0. Solve 3*k - a = -n*k for k.
1
Suppose -7*m = -4*m - 27. Let w = 12 - m. Solve 0 + w = j for j.
3
Let y = 8 - 7. Suppose -2*c = -c - 3. Solve -u = y + c for u.
-4
Let f = 1 - 1. Let x be (2/2 - f) + -1. Let y be (-4 - -5) + (-12)/(-3). Solve b - y*b - 4 = x for b.
-1
Suppose o + 1 = 4, -3*o + 29 = 2*z. Let r = 6 - 4. Suppose -r*b - b = 0, 0 = 2*l + 4*b - 6. Solve l*g - g = -z for g.
-5
Suppose -3*k = -7*k + 8. Let c(i) = i + 1. Let w(u) = u**2 + u + 6. Let d(j) = -6*c(j) + w(j). Let y be d(5). Solve -k*n + y*n = 6 for n.
-3
Suppose -5*u = -5*b + 90, 5*u + 34 = -b + 2*b. Solve 1 + b = -3*y for y.
-5
Let m(x) = 6*x**3 + 4*x**2 - 5*x - 1. Let p(q) = -4*q**2 - q**3 - 2 + 6*q - 6*q**3 + 3. Let n(l) = -6*m(l) - 5*p(l). Let y be n(-4). Solve 4 = 3*i + y for i.
1
Suppose -4*z - 5 - 17 = 3*k, -k - 2 = -4*z. Let g = -4 - k. Suppose -6*m + g*m + 64 = 0. Solve m = 3*x + x for x.
4
Suppose -4 + 19 = 5*r. L