 for o.
0
Suppose 4*w + 0*w = 0. Solve w*j + 5*j + 10 = 0 for j.
-2
Let v be (36/8 - 3)*-2. Let u(y) = y**3 + 2*y**2 - 3*y + 2. Let o be u(v). Solve o*i + 4 = -2*i for i.
-1
Suppose 3*p - 4*s - 48 = -0, 0 = -4*p - s + 83. Suppose 0 = -4*b - b + p. Solve 0 = 4*j + 16 + b for j.
-5
Suppose 4*u = 4*c - 12, 0*c + 21 = 4*c + 5*u. Let g(z) = -2*z - 6. Let w be g(8). Let k = w - -31. Solve k = q - c*q for q.
-3
Let p be (-7 - 1)*1/(-2). Solve -1 - 3 = -p*r for r.
1
Let u(r) be the first derivative of -r**2/2 + 3*r + 5. Let t be u(3). Solve t*m - 1 = m for m.
-1
Let p be 10 - (5 + 4 + -5). Solve 7*q = p*q + 4 for q.
4
Suppose -b + 5*b = -3*n - 10, 3*b = 6. Let p be n/((-1)/((-3)/(-2))). Let l(i) = -i + 4. Let w be l(-3). Solve -w - p = -4*o for o.
4
Suppose -20 = -i - 15. Solve 0 = i*y + 31 - 6 for y.
-5
Let z = -6 - -7. Let b be -1 + (-2 - -7) - z. Solve 0 = -7*l + b*l for l.
0
Suppose -8*s + 5 = -3*s. Solve 5*c = s - 16 for c.
-3
Let h = 12 + -8. Solve 1 = -5*y - h for y.
-1
Let a(d) = d**2 + 9*d - 6. Suppose 4*g + 43 = 3. Let u be a(g). Suppose -3*w = -k - 8*w + 2, u*k - 3*w - 8 = 0. Solve 0 = -0*v + v + k for v.
-2
Suppose 0 = -3*v - 2*v. Solve 4 = t - v for t.
4
Let z(m) = -m**2 + 14*m + 31. Let n be z(15). Solve 0*c = -4*c - n for c.
-4
Let x be 0 + ((-1)/4)/((-4)/64). Solve -3*a - x = -a for a.
-2
Let f = -6 - -8. Suppose f*d + d + 9 = 0. Let p be 0 - d - (-2 - -1). Solve -r = -p*r - 6 for r.
-2
Let p(o) = o**2 + 0*o**2 + 0 - 2. Let t be p(2). Let l = -41 - -43. Solve t*c = c - l for c.
-2
Suppose 5*s - 240 = -5*z + 4*z, -4*z + 48 = s. Let g(c) = c**3 + 5*c**2 + 6*c - 2. Let a be g(-5). Let p = a + s. Solve 0 = -2*o - 2*o + p for o.
4
Suppose 5*b = -2*p + 13, 4*p - 3*b + 11 = 6*p. Solve -p*j = 9 + 3 for j.
-3
Let u(l) = l**2 + 5*l + 2. Let d be u(-5). Suppose -d*g + 72 = g. Let n = g + -11. Solve -3*m + n = 4 for m.
3
Suppose -3 + 19 = 4*q. Suppose c = -d - 2, -3*c - 13 + 4 = q*d. Let l = -1 - d. Solve 3*m + 5 = -l*m for m.
-1
Suppose x + 7 = 5*o - 4, -4*x + 13 = -o. Solve x*c = 3*c - 5 for c.
-5
Let u = -50 - -8. Let g be 2 + (-1)/(3/u). Solve 4*t + 4 = g for t.
3
Suppose -3*m - 2*j = -2 - 2, -5*j = 5. Let w = 110 - 103. Let z = 15 - 9. Solve -z*v = -w*v - m for v.
-2
Let d be (-2)/4 + (-2)/(-4). Suppose 4*a + 3*i - 44 = d, -65 = -5*a - 3*i - 10. Suppose -v + 8 = 3*v. Solve -3*j - v + a = 0 for j.
3
Let m(q) = q**2 - 1. Let s be m(1). Suppose -15 = -s*g - 3*g. Solve 0 = -2*r + g*r for r.
0
Let z(q) = -3*q - 33. Let c be z(-11). Solve c = 7*d - 3*d - 20 for d.
5
Suppose 0 = 10*q - 12*q + 6. Solve 13 = q*n - 2 for n.
5
Suppose -8*x = -10 - 14. Let z be (-20)/(-6) - 2/6. Solve x*g = 9 + z for g.
4
Let q = 65 - 60. Solve -q*a = -2*a - 6 for a.
2
Let k(l) = l**3 + 7*l**2 + 4*l + 2. Let r(b) = b**2 - 7*b - 6. Let i be r(7). Let p be k(i). Solve 4*c = p - 6 for c.
2
Let a(j) = -j + 1. Let o = 13 - 22. Let f be a(o). Solve 3*d - 5*d - f = 0 for d.
-5
Let s = 2 - 2. Suppose 3*o - 26 = -5*b, 4*o - o - 4*b + 10 = s. Suppose -4*t = 4*k - 36, -k = -5*k - 5*t + 39. Solve -k*j + o*j = -16 for j.
4
Let i(a) = a**2 - 7*a - 6. Let x be i(8). Suppose h + 3*s - 13 = 0, 4*s = 6 + 10. Solve l + x = h for l.
-1
Suppose 0 = 10*r - 8*r. Let z(x) = -x**3 + 2*x**2 - 1. Let c be z(-1). Suppose r*a + 5*g = a + 6, -18 = -c*a - 5*g. Solve a*s + 10 = -s for s.
-2
Let r = 12 - 9. Solve -r = 2*c + c for c.
-1
Let n = -4 - -8. Solve n*g - 15 = g for g.
5
Suppose -10*m + 35 - 5 = 0. Let k(r) = r**2 - r + 8. Let w be k(0). Solve h = -m*h + w for h.
2
Let p(u) = u**2 - 6*u - 9. Let s be p(7). Let w be (s/(-4))/(3/24). Suppose w*a = 2*a + 8. Solve q + 9 = a*q for q.
3
Suppose 2*r - 7 - 1 = -2*x, -26 = x - 5*r. Let h = 8 + x. Solve 2*k - 1 = -h for k.
-3
Let v = 51 + -51. Solve v = -0*j + j - 5 for j.
5
Suppose -4*a = -6*a + 4. Solve 0*y = a*y - 2 for y.
1
Let h be (15/6)/(5/12). Solve 0 = -3*y + h + 6 for y.
4
Let j(d) = 2*d**3 - d**2 - 2*d - 1. Let i be j(2). Solve 3 = -m + i for m.
4
Let d(y) = y - 1. Let u(l) = -l**2 - 7*l - 6. Let f be u(-4). Let h be d(f). Suppose 2*q - 2*j - 8 - 10 = 0, -q + h*j + 29 = 0. Solve q*v + 20 = 8*v for v.
5
Let q(k) = -9*k - 28. Let x be q(-4). Solve x*z - 3*z - 25 = 0 for z.
5
Let g = 13 + -4. Suppose 2*p - g + 1 = 0. Suppose 5*d - p*o - 13 = 0, 2*d + 2*d = -o + 23. Solve -9 = -d*a + 1 for a.
2
Let x(o) be the third derivative of -o**5/60 - 3*o**4/8 - 4*o**3/3 - 5*o**2. Let b be x(-8). Solve -25 = -b*t + 5*t for t.
-5
Suppose 6*x - 2*x = 0. Solve x = -4*i + 4 for i.
1
Suppose 0 = 3*h - 0*h - 12. Suppose -3*l - 14 = 2*u - h*u, -6 = 3*l. Let c(n) = n**3 - 10*n**2 + 9*n + 9. Let t be c(9). Solve -u*p + t = -7 for p.
4
Let q = -3 + 7. Solve 3*i = q*i for i.
0
Let a be (-2)/(-7) - 95/(-35). Let b = 14 - 14. Solve b = -w + 7 - a for w.
4
Suppose 20 = 12*p - 7*p. Solve -p*l + l = 0 for l.
0
Let w be (7 + -6)/(2/(-42)). Let z = w - -24. Solve 3*x - z = 2*x for x.
3
Let a be 12/8 + (-1)/(-2). Solve -a + 6 = -t for t.
-4
Let u = -11 - -16. Solve 0 = -0*o + u*o - 20 for o.
4
Let z(o) = 3*o. Let u be z(0). Solve 0*g + 2*g + 4 = u for g.
-2
Let c be 464/26 + (-8)/(-52). Let t = c - 16. Solve t = -a - a for a.
-1
Suppose -v + 32 = 3*v. Let y be 2/(-4) - (-68)/v. Suppose 2*j - y = -0. Solve j*b = b for b.
0
Let i(j) = -j + 13. Let h be i(9). Suppose -q - 4*a + h - 14 = 0, -4*q = a - 5. Solve -2*u - q*u = -4 for u.
1
Let g be 2/(-16) - (-136)/64. Suppose g*n = -1 + 9. Solve -a + 2*a + n = 0 for a.
-4
Let c = 19 - -1. Solve 0*f - c = 5*f for f.
-4
Let l = -22 + 25. Solve 0 = -l*x - 2*x - 15 for x.
-3
Suppose 0*s = -3*s + 21. Let k(c) = 4*c**2. Let i be k(1). Let t be (-1)/i - 84/(-16). Solve -s = -t*u + 13 for u.
4
Let x be -4 + 11 + -3 - -5. Suppose 6*u = 4*u - 3*q + 5, -3*u + 9 = 3*q. Solve -u*a = -a + x for a.
-3
Suppose 4*v + 2*h - 20 = -0*h, -15 = -3*v + 5*h. Let d be (119/21 - 5) + (-4)/6. Suppose -v*j = -d*j. Solve j = -5*i + 7 - 32 for i.
-5
Let d(v) = -v**2 - 11*v - 16. Let k be d(-10). Let c(q) = q**3 - 4*q + 2 - 8 + 6*q**2 + 3*q. Let r be c(k). Solve r*f = f for f.
0
Suppose 7*p - 3*p = 76. Let v = p - 13. Let k be (-4)/v + (-51)/(-9). Solve -k*t = 9 + 11 for t.
-4
Suppose -3*h + 10 = -5*l - 5*h, -5*h - 25 = 3*l. Solve l*s + 5*s = -20 for s.
-4
Let k = 51 + -19. Suppose -3*u + k = u. Solve -u*w - 10 = -3*w for w.
-2
Let h(a) = 8*a**2 + 2*a - 1. Let x be h(1). Suppose 2*j = 6*j + 24. Let z(b) = -b - 2. Let n be z(j). Solve -1 + x = -n*t for t.
-2
Let p be (-2 + 1)/((-2)/(-6)). Let g be 6/2 - (3 + 0). Let a be 1 - (g - (p - -2)). Solve h - 1 = -a for h.
1
Let j be 4/(-7) - 32/(-7). Solve j*v - 4 = 8 for v.
3
Let w be 27/12 + 2/(-8). Suppose a = 3*q - 10, -4*a + 2*q - 3*q = -25. Solve a = -r + w*r for r.
5
Let m(j) = -5*j. Let g be m(1). Let t = 6 + g. Solve 0 = -2*q + 7 - t for q.
3
Let m = -7 + 12. Solve 0 = -3*c + m*c - 4 for c.
2
Let k(t) = -t**2 + 8*t - 1. Let p be k(7). Let j be p/15 + 38/5. Solve j*i = 4*i - 20 for i.
-5
Let d = -5 + 3. Let v be 0 - (0 + 2 + d). Let t be -2 - v - (-8 - -2). Solve -b + 9 = -t*b for b.
-3
Suppose 2*v = -0*v. Let z = 6 - 1. Solve v = o - z for o.
5
Suppose 0 = 2*i - 3*i + 3*k + 20, 5*i = -2*k + 100. Solve 4*s - i = -s for s.
4
Suppose -h - 2*h = 3*m, 2*m = 0. Suppose -4*j - o = h, 2*j = -0*o + 4*o. Let d be -1 - (-3 - 1) - 0. Solve 0 = -j*z + d*z for z.
0
Let a(l) = -l - 2. Let y be a(-6). Suppose -2*h = 2*h + r - 17, 5*h + 2*r = 22. Let u = h - y. Solve u*o + 15 = -5*o for o.
-3
Let q be ((-6)/4*(-208)/(-24))/(-1). Suppose -3*f + 31 = 2*d - 6*d, f + 15 = -5*d. Solve -q = -f*n + 12 for n.
5
Let k(m) = 3*m - 1. Suppose p = -5*g + 5, -2*g + p = g - 3. Let b be k(g). Solve -6 = b*i - 5*i for i.
2
Suppose t = -t - 4*j + 4, -4*j = -2*t + 4. Let c be t - (1 + (-3)/3). Solve -c*x = -x + 1 for x.
-1
Suppose 45*a - 169 = 32*a. Solve -a*z = -8*z - 10 for z.
2
Let t be 184/56 - ((-4)/(-14) - 0). Solve -y = 2 - t for y.
1
Suppose 21*n - 17*n - 12 = 0. Solve n*m - 8 = -m for m.
2
Let x be (-112)/18 + (-8)/(-36). Let q = -2 - x. Suppose 0 = t - 4 + 9, r + 8 = -q*t. Solve r = 5*i - i for i.
3
Suppose 6 = -2*i - 2*h, 24 = -2*i - 2*i - h. Let s(o) = -o**3 - 8*o**2 - 6*o + 7. Let q be s(i). Solve 0 = -q*w + 3*w - 15 for w.
5
Let n(f) = f**2 + 5*f + 4. Let k be n(-5). Suppose l - 2 = -a, -2*l + 3*l - 2 = 5*a. Solve b - 2*b - k = a f