*u + 3*u for u.
3
Suppose l = 6*l. Suppose 3*y + 1 = 2*o - 3*o, l = -4*y - 2*o. Let s be 9 - (y - (1 - 1)). Solve -5*v - s = -0 for v.
-2
Let l = -21 + 41. Solve 5*s + 0 + l = 0 for s.
-4
Suppose -5*n - 12 = c, 4*c - 18 = 2*n - 0*n. Suppose l - 1 = 4, 3*l - 45 = -c*x. Suppose 0*h + 5*h = x. Solve -h*f = -2 - 0 for f.
1
Let c(d) = -d**3 - 4*d**2 + 3. Let v(i) = -3*i + 2. Let w be v(2). Let j be c(w). Solve j*t + t = -12 for t.
-3
Suppose 2*f = -0*f + 2*a + 8, -5*a - 2 = f. Suppose -f = 2*t - 13. Suppose -t*u = -2*u - 18. Solve 3*i - 5*i = u for i.
-3
Suppose 3*y - 5 = -4*g + 29, -5*g = -y + 5. Let i = 25 - y. Let p = -7 + 16. Solve p*w - 4*w + i = 0 for w.
-3
Suppose -2*h = 5*k - 2*k, -16 = -4*h - 2*k. Solve -2*r + h*r = 0 for r.
0
Suppose 16 = 3*s + s. Suppose -s*j + n + 7 = -5, 0 = -j + n. Solve -17 = -j*t + 3 for t.
5
Let h be ((-22)/(-5))/((-3)/(-15)). Suppose 3*c - 1 = 4*g, -4*c - 6*g + g = -h. Suppose -4*m = -20, -t = -m + c + 2. Solve t*b - 2 = b for b.
-2
Let b = -39 - -57. Suppose -f - w - b = -3*f, 3*w - 26 = -4*f. Let y = -5 + 9. Solve y - f = -2*q for q.
2
Suppose q = -n + 7, 24 = 5*q - 4*n - 20. Suppose -3*d = -q*d. Solve -5*r = -d*r + 10 for r.
-2
Let p = -100 + 103. Solve -p*f + 4*f + 2 = 0 for f.
-2
Let r(w) = -w + 6. Let q be r(8). Let s = q - -4. Let t be (s + -4)/(2/(-3)). Solve -1 - 5 = -t*f for f.
2
Let z(p) = -p + 1. Let h be z(-1). Suppose h*k - 8 + 4 = 0. Solve k*m = m - 2 for m.
-2
Suppose -12*z = -8*z - 12. Solve 2*g = -z*g - 5 for g.
-1
Let t(d) = -d. Let i be t(3). Let k be 2 + -1*i/3. Suppose 3*h + 4*z - 7 = 2*z, -2*z = 5*h - 17. Solve h*u = k*u for u.
0
Let d = 2 - 5. Suppose 48 = -6*z + 18. Let g = d - z. Solve 5*a = g*a for a.
0
Suppose -2*y + 35 = s + 3*y, 0 = -3*s - 4*y + 83. Let j = 1 + -1. Suppose -2*c + 4*c - 14 = 4*r, 3*c + 5*r + 1 = j. Solve -s = c*p + 2*p for p.
-5
Let a(h) = -h**2 - 3*h + 6. Let j be a(0). Solve i - j = -2*i for i.
2
Let g(s) = s**3 + 14*s**2 - 16*s + 10. Let j be g(-15). Solve 3*u = -2*u + j for u.
5
Let k be (-6)/(-10) + (-246)/(-15). Let i = -10 + k. Let c = i - 4. Solve 0 = -n - c - 0 for n.
-3
Suppose 0 = -o - 4, 2*i - 6*i - 2*o = -12. Solve -i*h - 20 - 5 = 0 for h.
-5
Let j(l) = -2*l**2 + 8*l + 2. Let y be j(4). Solve 9 = u + y*u for u.
3
Suppose -2*t = -6 - 0. Suppose t = 2*j - 21. Solve -j = -2*h - h for h.
4
Let n be 7/(-14)*(-1 + 1). Solve n = 3*z + z + 12 for z.
-3
Let s(b) = -b**3 - b**2 + 3*b + 3. Let p be s(-2). Let f be p/2 + 15/2. Let a be (1/2)/(2/f). Solve -a*k = -0 - 6 for k.
3
Suppose 8 = 5*u - u. Solve -3*z + 1 = -u for z.
1
Let q be (-6)/(-4)*6/9. Let h = 0 + 1. Let i be h + (q - (-1 - -3)). Solve i*o = 2*o + 10 for o.
-5
Let j be (-2)/4*2*-2. Solve 0 = -5*w - j - 18 for w.
-4
Let o(m) = m**3 + 2*m**2 - 2*m. Let l be o(1). Solve 0 = 3*d + l + 2 for d.
-1
Suppose 0 = 5*w - 2*w. Suppose w = u + 1, -2 = 2*y + 2*u. Solve y = -3*h - 0 - 6 for h.
-2
Let d(c) = -c + 1. Let p be d(1). Solve p*i + 2*i + 10 = 0 for i.
-5
Suppose 0 = 4*c + 1 - 13. Suppose -c*w - 12 = -6*w. Solve 0 = 4*z + w - 0 for z.
-1
Let v(w) = w**3 + 12*w**2 + 10*w - 11. Let h be v(-11). Solve s + 2*s = h for s.
0
Let p(g) = -3*g. Let v be p(-1). Solve 2*b = -b - v for b.
-1
Let h be 11 + -11 + (-7)/(-1). Let r = 9 - h. Let c = 24 + -12. Solve -5*b + r*b = c for b.
-4
Let l(s) = -s**3 - 6*s**2 - 2*s - 9. Let n be l(-6). Suppose -4*t + 18 = 2*t. Let d = 1 - -2. Solve n = t*i - d for i.
2
Let p = 5 + -3. Suppose p*s - 6*s + 8 = 0. Solve s*o - 3*o = -4 for o.
4
Let v be 2/1 + 8 + -8. Solve 0 = v*q - 5*q + 15 for q.
5
Suppose 2*j = 4*d, 3*j + 14 = d - 2*d. Let s = 4 + d. Suppose -3 + 6 = t, 0 = -h + 5*t - 12. Solve -s*l - h*l = 25 for l.
-5
Let b(o) = -o**2 - 6*o - 2. Let l be b(-5). Solve 5*x - l - 2 = 0 for x.
1
Suppose -c = 2*c - 9. Suppose -p - 8 = -c*z, 3*z - 4*p + 0 = -4. Solve 10 = -3*m + z for m.
-2
Suppose -5*r + 57 = -0*k + k, -76 = -3*k + 4*r. Let l = -27 + k. Solve 0 = l*m - 0*m for m.
0
Let g(c) = c**3 - 9*c**2 - 7*c + 10. Let f be g(10). Let s be (7/14)/(1/f). Solve 0 = 5*i - 0*i - s for i.
4
Suppose -2*h = -4*h + 2. Solve -h = f - 6 for f.
5
Suppose -2*v = 2*u - 6, 2*v - 3*v = -5*u + 3. Let k = 7 - u. Suppose -s = -k*s. Solve -5 = -s*d + 5*d for d.
-1
Suppose j - 27 = 4*h - h, 5*j + 5 = h. Let s = -6 - h. Solve -l + s*l = 3 for l.
1
Let q be (-4)/(-10) + 36/10. Suppose -f - 2*f = 2*f. Solve q*b - 20 = -f*b for b.
5
Suppose -3*i + 5*x = i - 25, -5*x - 25 = 4*i. Suppose -2*b = -i*b. Suppose 2*s + 2*s = b. Solve s = 4*o - 0*o + 20 for o.
-5
Let y(s) = s**3 - 3*s - 2. Let v be y(-2). Let t = -4 + v. Let u = -4 - t. Solve u*p + 5 = 1 for p.
-1
Let b = -134 + 139. Let m be (-15)/(2/4*-3). Solve -b*o + 3*o + m = 0 for o.
5
Let r(o) be the third derivative of o**4/24 - o**3/6 + o**2. Let g be r(2). Solve -3*w - g + 13 = 0 for w.
4
Suppose 2*j = -0*j. Suppose j*v = -v. Let p(f) = 2*f**2 + f - 1. Let g be p(1). Solve v = g*o - 0*o for o.
0
Let c(t) = 2*t + 1. Let h = -2 - -3. Let r be c(h). Solve x - 4 + r = 0 for x.
1
Let j = 20 - 20. Solve 0 = -5*z - j*z for z.
0
Let m be -3 - (-11)/((-22)/(-12)). Solve 0 = m*o + 8 + 1 for o.
-3
Let w be ((-4)/8*0)/((-15)/(-5)). Solve w*f + 4*f - 4 = 0 for f.
1
Let o be (-9)/6*(-3 + 1). Suppose -3*q = 0, 3*s + 1 + 5 = -4*q. Let w = 4 + s. Solve -w*h + o*h + 3 = 0 for h.
-3
Let o(i) be the second derivative of -i**5/20 + i**4/2 - i**3/6 + 5*i**2/2 - i. Let d be o(6). Let p be d/(-4)*2*0. Solve 0 = 2*m - p*m - 4 for m.
2
Let w be -14*((-3)/2 - -1). Let u(m) = -m + 9. Let i be u(w). Suppose 4*l + 2 = 3*y + i*l, -4 = 3*y + 4*l. Solve 5*s - 10 = -y*s for s.
2
Suppose 6 = -3*w, 0*r - 10 = -4*r - 5*w. Let j = 87 + -84. Solve r*c = j*c for c.
0
Let a(o) be the second derivative of o**4/12 - o**2/2 + 3*o. Let p be a(-2). Solve -3*r + 12 = p for r.
3
Suppose -a + 27 = 2*q, 101 = 4*a + q - 0*q. Solve -l = 4*l + a for l.
-5
Let t be (-1)/2*-2*9. Suppose -2*r = -r - 5. Let b = -10 - -44. Solve t = r*q + b for q.
-5
Let p = -88 + 158. Suppose -5*m - p = -0*m. Let i be 1 - (0 + m)*1. Solve 4*o + i = o for o.
-5
Suppose 4*a = -28 + 40. Solve -11 = 4*n - a for n.
-2
Suppose -12 = -3*s + 3*a, 7*a - 2*a + 20 = 2*s. Solve s = 5*m - 4 - 1 for m.
1
Suppose o + c - 7 = -o, 5*c = 2*o + 11. Suppose -33 = -4*r - 5*t, 0 = o*r - 4*t - 58 + 22. Suppose -x = -r + 10. Solve -x*u = 3*u + 10 for u.
-2
Let r(s) = -s**2 + 7*s + 11. Let f be r(8). Solve 0 = f*w - 5*w for w.
0
Suppose 0 = -3*b + 3*i - 12, 3*i + 4 = 5*b + 20. Let o be (2 + 0)/((-1)/b). Solve p + o*p = 0 for p.
0
Let s be (-15)/10 - (-1)/(-2). Let l be ((-3)/(-2))/(s/(-4)). Solve -l + 7 = -2*o for o.
-2
Let n be ((-15)/(-9))/(5/15). Solve -2*d - 3*d - n = 0 for d.
-1
Let m = -3 + -2. Let i = 10 + m. Let t be (-2)/3*-1 + (-10)/15. Solve -i*f + 14 - 4 = t for f.
2
Let t be 14/((-28)/3)*(-26)/3. Solve -5*y = 7 + t for y.
-4
Suppose -6*y = -3*y. Suppose -5*x - 30 = -5*m, y = 5*x + 17 + 3. Solve 2*s = -0*s + m for s.
1
Let n(z) = -z**3 + z**2. Let g be n(0). Suppose 5*r + 5 = g, -t + 0*t = 5*r + 4. Solve t = 5*s - 19 for s.
4
Let f(b) = -b**3 - 6*b**2 - 3. Let y be f(-6). Let u = 4 + y. Suppose -4*n + 2 = -4*r - 9*n, -r = n. Solve -u = -r*x + x for x.
1
Let k = 18 + -11. Let b = k - 5. Solve -4 = -3*t + b*t for t.
4
Suppose 3*i + 0*i = 0. Solve -w + 4*w = i for w.
0
Suppose 0 = 3*y + 5*v + 5, 0 = -2*v - 2. Suppose -4*w = -0*w - 5*x, 32 = 4*w + 3*x. Solve y*r = -w*r for r.
0
Suppose -3*u - 10 + 31 = 0. Solve -3*l = -u*l + 20 for l.
5
Suppose 3*g = 3*x, g = -x + 2 + 2. Let a be ((-36)/(-16))/(1/4). Solve x*o - a = -1 for o.
4
Let j = 6 - 10. Let n be 5/20 - 31/j. Solve -n = -w + 5*w for w.
-2
Let i = -4 + 9. Suppose -3*j - 4*a - i + 21 = 0, j = -2*a + 8. Let f = 76 - 72. Solve -5*c - f - 11 = j for c.
-3
Suppose -b - 2*b = -9. Suppose -b*n - 3 = -15. Solve -n*w + 3 = -w for w.
1
Suppose -17 + 7 = -2*n. Solve 3*s = n*s + 10 for s.
-5
Let h be 0/(-5 + 4 - 1). Let s(u) = u - 6. Let n be s(5). Let x = n + 1. Solve h = w - x*w for w.
0
Let h = 88 + -85. Let x = 3 + 3. Solve h*w + x = w for w.
-3
Let k(r) = r**3 - 4*r**2 + 2*r - 6. Let d be k(4). Let j(x) = -x**2 - 4*x - 3. Let c be j(-3). Solve c = -d*u - u for u.
0
Let q = -117 - -119. Solve 4*j - q*j + 8 = 0 for j.
-4
Let z be 4/(-14) - 16/(-7). Let w be ((-11)/1)/(z/(-2)). Let j be (4 + -3)/((-