= -v - 2. Solve -5*u + j*u - 15 = 0 for u.
-3
Suppose 3*g - 6 = -0. Solve -g*o + 7 - 1 = 0 for o.
3
Let m(j) = -j**3 - 14*j**2 - 11*j + 31. Let q be m(-13). Let r be ((-21)/(-4) + 1)*4. Solve -q*g + r = -0 for g.
5
Suppose 3*y - 3 = -0*y. Let h = 16 - 20. Let x be (y + 1)*(-6)/h. Solve x*p = 4 - 1 for p.
1
Let i = -14 - -23. Suppose -2*y - 1 = -i. Suppose -1 = -y*j + 7. Solve 4*z + 6 = j*z for z.
-3
Let n(s) = s**3 + 8*s**2 + s + 10. Let i(l) = -l - 8. Let b be 1 + (-1 + 0 - 0). Let t be i(b). Let z be n(t). Solve -4 = -3*o + z for o.
2
Let d be 0 + -3 + 1 - -4. Solve 3*c - d - 13 = 0 for c.
5
Suppose -o - 5*w - 5 = 0, -4*o + o - 2*w + 50 = 0. Solve -2*x = 2*x - o for x.
5
Suppose -2*x + 24 + 0 = 5*p, 0 = 2*x - 4. Solve p*b = 6*b + 6 for b.
-3
Suppose -2*s = 2*d - 24, -2*s + 2*d = 3*s - 67. Let q = -13 + s. Solve 0 = 4*j - 16 - q for j.
4
Let q(u) = -u**2 + 2*u - 1. Let b be q(1). Let x be (b/2)/((-10)/10). Solve d + x*d = -2 for d.
-2
Suppose -2*j = -4*b - 92, 3*b + 0*b + 3*j + 78 = 0. Let d be (b/(-16))/(3/8). Solve -3*k + d*k = 0 for k.
0
Let o(c) = c**2 - 3*c - 4. Let p be o(4). Suppose 3*j + 3*k + 3 = p, -5*j - 3 = 3*k - 4. Solve j*u = -2*u + 16 for u.
4
Suppose 2*h + s + 0*s = 26, h = -3*s + 18. Suppose 4*q - 9 = 3. Suppose w = -q*w. Solve 4*n + 8 + h = w for n.
-5
Suppose b = 4*b - 3. Suppose -2*s = -4*o - 21 + b, 0 = -5*s + 5*o + 25. Let x be 2 + (s - 0) + 2. Solve x*c = -18 - 2 for c.
-5
Suppose 0 = -0*f + 2*f - 14. Let c = 8 - 3. Suppose 3*o - f - c = 0. Solve o*n + n + 5 = 0 for n.
-1
Let i = -4 - -6. Suppose -4*q + 2 = a, -a = i*q - 0*q - 8. Let s be 4/a + 38/14. Solve 3*r + s = 2*r for r.
-3
Let q(h) = h**2 - 7*h - 1. Let l be q(7). Let a = l + 2. Solve 0*i + i = -a for i.
-1
Let u = 0 + 2. Let q be (u - 4/2) + 0. Solve q = a - 2*a for a.
0
Let m(u) = u**3 - 6*u**2 + u - 7. Let f be m(6). Let l be -3*((-10)/6 - f). Solve 3 = -l*j - 1 for j.
-2
Let n = -2 + 6. Let p be (6/(-8))/(n/(-48)). Let j be (-64)/12*p/(-4). Solve q - j = -2*q for q.
4
Let c = -9 + 13. Solve c = 4*t - 0 for t.
1
Suppose 3*z + 4 = -t + 2*z, 5*z = -4*t - 20. Suppose -6 = -t*w - w. Solve -4*u + w = 22 for u.
-4
Let j be ((-12)/(-15))/(2/5). Solve -5*c + 23 = -j for c.
5
Let x = 4 - 7. Let a(s) = -s - 3. Let f be a(x). Solve 0*d + 3*d - 12 = f for d.
4
Let w(k) = 2*k**2 - 3*k + 3. Let m be w(2). Suppose m*c - 15 = 5*t, t + 3*t = -c + 3. Solve v - 4*v = c for v.
-1
Let x = 57 + -42. Solve -2*w - x = w for w.
-5
Suppose -3*z + 4*z = x - 3, 5*z + 5*x - 15 = 0. Suppose 8 = -z*i + 2*i. Let v be (8/(-6))/(1/(-3)). Solve v*o + 16 = -i for o.
-5
Suppose -30 = 4*g + g. Let l = 8 + g. Solve 2*b - l = 4*b for b.
-1
Let t(q) = -q**3 - 4*q**2 - 4*q. Suppose -7*m = -8*m - 3. Let i be t(m). Solve -i = 4*p - p for p.
-1
Suppose 5*i - 4*j = 10, -3*i + 5*j + 6 = -0*i. Solve 0 = 2*n - i + 4 for n.
-1
Suppose -5 = -h - 0. Suppose 0*p + v + 1 = -2*p, -h = p + 5*v. Let n(d) = -2*d - 2. Let w be n(-2). Solve 4 = w*o - p*o for o.
2
Let t(j) = -j**2 + 3*j + 4. Let d be t(4). Let c = 2 + -1. Let g be (c - (1 - 0)) + d. Solve -b + g*b = -5 for b.
5
Let i(w) = 3*w - 5. Let s(n) = 2*n**2 - 2*n + 1. Let j be s(1). Suppose -5*b + 24 = 2*z + j, b - 3 = 0. Let r be i(z). Solve 0 = 5*q - 3 - r for q.
2
Let i = 18 - 13. Suppose -i*h - 9 - 1 = 0. Let r = 4 + h. Solve -r*w = w + 6 for w.
-2
Let m(f) = f**3 - 4*f**2 + 4*f + 2. Let h be m(2). Let g = -41 - -26. Let v = -6 - g. Solve n - v = -h*n for n.
3
Suppose 3 = -2*b + 3*l, 0 = 3*b + 5*l - 0*l - 5. Solve b*f - 4*f = -8 for f.
2
Suppose 5*h + 386 - 51 = -5*l, -5*h + 15 = 0. Let c = -50 - l. Solve 6*o - c = 2*o for o.
5
Let z(k) = -7*k + 7. Let h(t) = 3*t - 3. Let p(r) = 10*h(r) + 4*z(r). Let n be p(4). Let x be 45/36 + n/8. Solve a + 2 = -x for a.
-4
Let m(g) = -g**2 - 14*g - 10. Let n be m(-13). Solve -n = -3*a + 3 for a.
2
Let q(t) = t**3 + 13*t**2 - 16*t - 25. Let w be q(-14). Solve -4 = -w*d + 8 for d.
4
Let a(f) = -3*f**3 - 2*f**2 + 3*f + 2. Suppose -7 + 3 = -o. Suppose 0 = -z + 2, 4*s - o*z + 6 = -10. Let i be a(s). Solve -3*n = -7*n + i for n.
3
Suppose -3 = 4*q + 3*m, q - 4*q + 2*m = 15. Suppose 0 = 4*d - 5*z + 2 + 1, -4*d - z = 9. Let l be d/(q/(-5) - 1). Solve -15 - 5 = -l*o for o.
4
Suppose 0 = -3*v + 17 - 2. Solve 4*p + 7 = -v for p.
-3
Suppose 0 = -0*o - 4*o - 5*i - 5, 3*i + 3 = 5*o. Suppose -2*b - 38 = -2*w, -2*w - 3*w + 71 = b. Suppose 6*d - 3*d - w = o. Solve -12 = d*c - 2 for c.
-2
Suppose -5*h + 14 = 2*q, 0*q = 3*q + 9. Solve h*g = 6 + 2 for g.
2
Suppose -4 = -y - 1. Suppose 0*p = -y*p + 18. Let w be (-3)/(p/(-2)) + 1. Solve 0 = -0*t + w*t for t.
0
Let w = 6 + 12. Solve 0 = 3*k - 6 + w for k.
-4
Let l(f) = f**2 - 6*f - 9. Let y be l(9). Suppose 3*v - 5 = -2*x + y, 2*x - 38 = 2*v. Solve 5*d + 4 + x = 0 for d.
-4
Let z be -2 - (-7 + 1)/2. Let g be 2/3 - 4/6. Solve g = 4*n - 17 + z for n.
4
Let j = 2 + -3. Let r be 4 - (-3 - -2 - j). Let u be (-6 - 0)/(-2) + 0. Solve -r = 7*w - u*w for w.
-1
Let o(r) = 10*r**3 - 1. Let u be o(-1). Let l = -6 - u. Let i = -2 + l. Solve 6 + 3 = i*x for x.
3
Let b(r) = -7*r. Let m be b(-1). Suppose -2*n - 15 = -m*n. Solve -3*y + 0 = n for y.
-1
Suppose -3*a = -4*a + 1. Solve -a = -2*m + 3*m for m.
-1
Suppose 0 = 13*y - 12*y - 2. Let u be ((-1)/(-3))/(y/42). Solve 3*g + 5 = -u for g.
-4
Let l = 7 - 1. Let w be ((-3)/l)/((-1)/(-4)). Let r = w + 4. Solve -c = c + r for c.
-1
Let z be -4 + 11 - (2 - -1). Suppose -2*q = -q + z*r, 0 = 3*r. Solve -a = -q*a - 3 for a.
3
Let d(j) = -4*j. Let n be d(-1). Suppose n*l - 6 = l. Solve -l*x - 7 = 3 for x.
-5
Suppose 3*z - 7*z + 30 = -2*c, z - 4*c - 25 = 0. Suppose 5*a - 3*j = -0*j + 45, j = 0. Let q = 14 - a. Solve q*n + 0 = z for n.
1
Let u(c) = -c**3 - 3*c**2 - 3*c. Let p be u(-2). Solve -p*d + 4*d = -6 for d.
-3
Let h = 11 + -6. Suppose 0 = -2*k - 2*k + 20, h*k - 15 = 5*u. Solve -u = t - 0 for t.
-2
Suppose 2*z + 4 = -a, 8*a - 11*a - 5*z = 8. Solve -2*r + r + a = 0 for r.
4
Let u = 43 + -43. Solve -7*n + 6*n - 1 = u for n.
-1
Let w = -7 + 9. Solve -4 - 6 = w*l for l.
-5
Let t = -5 - -9. Suppose -t*k - 2 + 18 = 0. Suppose -4*m - 2*x = -2, -3*m + 7*m - 5*x - 9 = 0. Solve k*i + 19 = -m for i.
-5
Let m(w) = w**2 - 4*w + 6. Let q be m(4). Suppose -g + q = 2*b, 4*b - 20 = -b - 5*g. Solve 4 = -b*o + 14 for o.
5
Let q be 5 - (11 + 24/(-4)). Solve q = d - 2 for d.
2
Let b(p) = p**2 + 1. Let i be b(1). Let o(a) = -a + 3. Let u be o(i). Solve 3*l - 13 = -u for l.
4
Let l(y) = y - 1. Let i be l(4). Suppose -5*n + 2*o + 15 = -2*o, -3*o = 0. Suppose 0 = n*p - c + 4*c - 24, -3*c = -4*p + 53. Solve p + 1 = i*z for z.
4
Let p(y) = -y**3 + 9*y**2 + y + 2. Let i be p(9). Let l(g) = -g**3 + 12*g**2 - 12*g + 13. Let b be l(i). Solve -4*d = b + 2 for d.
-1
Let u = -118 + 122. Solve 1 = n + u for n.
-3
Suppose -3 = -2*p - m - 7, -5*m = p + 20. Suppose -5*v + 4 = 2*g + 9, p = -5*v - 3*g - 10. Solve 0*z + z = v for z.
1
Suppose -v = -4*v + 18. Suppose 0 = g + 2*i + i + v, -8 = -2*g + 4*i. Suppose o = -g*o. Solve 0 = -y - o*y for y.
0
Let u = 47 - 45. Solve 5*w = u*w for w.
0
Let v = 10 - 4. Suppose -3*p - v = 0, -8*p - 6 = b - 3*p. Solve 0*z = 2*z - b for z.
2
Let z = -7 - -16. Let o = z - 7. Solve 0 = -2*s - 6 + o for s.
-2
Let c = 4 - 2. Suppose 4*a = -g + 36, -c*a + 2*g = -9 - 19. Let o = -6 + a. Solve 2*z = o*z for z.
0
Let q = 1 - 1. Let g be (q + (-1 - -1))*1. Suppose 5*a + 3*t - 14 = 3*a, -2*t = 4*a - 20. Solve b = -g*b + a for b.
4
Suppose 0 = -2*i + 4, -2*g + 3*i = -1 + 7. Let f = 1 - 5. Let z(b) = -2*b - 3. Let s be z(f). Solve -s*x + 20 = -g*x for x.
4
Let q(p) be the third derivative of p**6/120 - 2*p**5/15 + 7*p**4/24 + p**3/2 - 3*p**2. Let u be q(7). Solve u*v - 4*v = -4 for v.
4
Let u be 18*((-8)/6 - -2). Suppose -3*n - 3 = -u. Solve 12 = b + n*b for b.
3
Let x(z) = -z**2 - 8*z + 11. Let w be x(-9). Let q(l) = -w*l - 3*l**2 + 6*l**2 - 2*l**2 + 3. Let j be q(2). Solve -13 = -4*a + j for a.
4
Let a(p) = p**3 - 8*p**2 - p + 11. Let n be a(8). Let o be n*(2 + 15/(-9)). Solve 3*y - 13 = -o for y.
4
Let r be (18/15)/(4/20). Let h be (r/(-4))/(11/(-22)). Solve 5*f = 8 - h for f.
1
Let n(g) = 2*g - 6. Let a = 2 - -4. Let l be n(a). Solve -5*t + l = 16 for t.
-2
Let j = 4 - 4. Suppose -3*a = 2*c - 17, 38 = 4*c + 2*a - 0*a. Suppose 3*r + r = 8. Solve -r*z + c = -j*z for z.
5
Let 