ve g*t + l*t + 20 = 0 for t.
-5
Let w(v) = -v**3 + 5*v**2 + 11*v - 27. Let t(i) = i**3 - 2*i**2 - 3*i + 6. Let b be t(3). Let x be w(b). Solve -2*k + x = 11 for k.
-4
Suppose 0 = 15*m - 12*m - 3. Solve 0 = -p + m + 4 for p.
5
Suppose 4*d = d - 3, -4*z = -5*d - 29. Solve -z + 16 = 5*o for o.
2
Suppose -4*u - 5*h = 2, 2*h - h - 8 = -5*u. Suppose 0*x = 3*x + 3*g + 12, 2*x - 2*g - 8 = 0. Solve -u*w + 6*w = x for w.
0
Let b(o) = o**2 - 12*o + 25. Let c be b(8). Let v(h) = -6*h - 7. Let u(l) = -7*l - 8. Let w(g) = -5*u(g) + 6*v(g). Let f be w(c). Solve 3*k - f = 4*k for k.
-5
Suppose 362 = 4*h + 350. Solve 0 = 13*g - 12*g + h for g.
-3
Let p(g) = g**2 - 41*g + 119. Let t be p(38). Solve t*o + 3*o = -16 for o.
-2
Suppose 0 = -0*c + 5*c + 5. Let j be c/(2*1/(-2)). Suppose -5*v - j = -6*v. Solve -v = -4*b - 21 for b.
-5
Let x(r) = r**3 - 6*r**2 + r + 2. Let g be x(6). Let v = 28 + -24. Suppose -i + t = 4*i - 12, 0 = -4*i + v*t. Solve -i*w + g*w = -25 for w.
-5
Let v be (-1 - -5) + 3/1. Solve -2*b - v = -3 for b.
-2
Let w(v) = -v - 1. Let q be w(2). Let u(i) = i + 18. Let f be u(q). Solve h = 6*h - f for h.
3
Let d = 15 + -11. Suppose 2*r = d*s - 16, -2*r = -s - 1 + 8. Solve s*w = w for w.
0
Suppose -x + 2*a - 75 = 0, 3*x - 3*a + 219 = -0*x. Let c = x - -75. Solve -4*o = -8 - c for o.
3
Let w(y) = -3*y + 9. Let f be w(-9). Suppose f = -4*d + 7*d. Let n = 17 - d. Solve -x + 0 = n for x.
-5
Suppose 0 = -7*s + 2*s - v + 25, 3 = -3*s + 3*v. Solve s*j + j = 7*j for j.
0
Let x(r) = r**2 + 15*r + 28. Let a be x(-13). Let y(c) be the third derivative of c**5/30 + c**4/8 + c**3/6 + 4*c**2. Let b be y(-2). Solve -a = -b*q + 1 for q.
1
Let v be 0/(-1) - 1*-3. Suppose -v*z + 3*x = 0, z + 2*x - 18 = -3*z. Suppose -2 = h, 2*t - z + 5 = -h. Solve l - 4*l = t for l.
0
Let p(u) = -u**2 + 9*u - 15. Let d be p(7). Let l be d + 4 + (-6 + 2 - -19). Solve 4*g - l + 2 = 0 for g.
4
Suppose 0 = 6*w - 7*w + 14. Suppose 0 = -b + 5*m - 27, 3*b = -m - 3*m + w. Let y be (-94)/(-6) + b/3. Solve -2*r + y = -5*r for r.
-5
Suppose -2*s = -s - 5. Suppose 16 = 4*d, -s*z - 2*d - d = -252. Suppose -o = -5*o + z. Solve 2*u = -2*u - o for u.
-3
Let c be -9 + 6 + (0 - 96). Let t = -99 - c. Solve 0*x - 4*x = t for x.
0
Suppose 17 = -2*c - 2*c + 3*r, 0 = c - 3*r - 7. Let i be (c/28)/((-1)/7). Solve -2*t + i = -0 for t.
1
Suppose -5 + 0 = -r. Suppose -3*g + 252 = 246, 3*g = 2*j + 2. Solve -r = -j*c - 13 for c.
-4
Let v(h) = -h**3 + 12*h**2 - 12*h + 146. Let k be v(12). Suppose -5*l + 5*p = -20, 2*p - p = 0. Solve 3*w = l + k for w.
2
Let g be 5/30 + 1/(30/55). Solve 0*f + g*f = 6 for f.
3
Let n(m) = m**3 - 5*m**2 + 5*m. Let r be n(4). Suppose -r*d - 4*l = -36, -4*d - 2*l = -7*l - 36. Solve -4*q = 3 + d for q.
-3
Let c be -19 + 19 + (1 - 2 - -16). Solve 5*w + 0 = -c for w.
-3
Suppose -82*z + 80*z + 12 = 0. Let r = 2 + -2. Solve -3*g + 0*g + z = r for g.
2
Suppose -b = 2, 5*p = -4*b + 86 - 349. Let q be -1 - 1 - p/(6/2). Solve -q = -t - 2*t for t.
5
Let i = -17 - -20. Let v = i - -15. Let g be (15 - v)*2/(-3). Solve s + s = -g for s.
-1
Let k be 3/(0 - 3) + 1. Let m(i) = -i**3 + 7*i**2 + 9*i - 5. Let v be m(8). Let n be 6 - 3*(-4)/v. Solve k = -2*r - 0*r - n for r.
-5
Suppose 0 = -1157*n + 1172*n. Solve 21*b - 42 = -n*b for b.
2
Suppose 0 = u + 3 - 7. Suppose -19 = -k + 5*n, 2*k - 3*n - 13 - u = 0. Solve 6 = -k*o - 6 for o.
-3
Suppose -r - 4*u = 11 + 2, -3*r + 3*u + 21 = 0. Let y(l) = -l + 10. Let q = 13 + -3. Let s be y(q). Solve w = -s - r for w.
-3
Let o be (-9)/12*(-3 - 1). Suppose 15 = -2*l + o*l. Solve -3*t + 3 = l for t.
-4
Let s(l) = 64*l + 422. Let h be s(-6). Solve 0 = -15*a + 7 + h for a.
3
Let y(o) = o**3 + 3*o**2 - 2*o - 4. Suppose 26*f - 22*f + 12 = 0. Let k be y(f). Solve -k*d = 3 - 13 for d.
5
Let h(m) = m - 17. Suppose 0*a = -a + 7. Let v be 16 + -4 + a + -2. Let d be h(v). Solve 4*q + 0*q + 12 = d for q.
-3
Let k be (-6)/(2*2/4). Let d(i) = i**2 + 6*i + 6. Let j be d(k). Solve -j = -3*w + w for w.
3
Let w(y) = 2*y**2 + 2*y + 1. Suppose -13*v + 2 = -11*v. Let n be w(v). Solve -x - n + 2 = 0 for x.
-3
Let g(k) = -9*k + 107. Let r be g(9). Solve -29*w = -r*w + 9 for w.
-3
Let p be (8 - 154/21)*63/6. Solve -1 = p*v - 8 for v.
1
Suppose 4*m - 4*u - 16 = 0, 4*m + 3*u = 2*u - 4. Let i(k) = -k**2 + 3. Let g be i(2). Let o be (-4)/(g*(6 - 4)). Solve d - 1 - o = m for d.
3
Suppose -1 = 34*x - 103. Solve x*k + 4 = 1 for k.
-1
Suppose k - 19*j + 14*j = 12, -j = 2. Let z be (2 + -2)*1/(-1). Suppose -2*x + 4*x - 8 = 0, 5*l - k*x - 7 = z. Solve -o + l*o = -4 for o.
-2
Let d(v) = v**3 - 2*v**2 + 2*v + 2. Let m be d(2). Suppose -4*b = -100 + 8. Suppose -18*a + b*a = 50. Solve -f + m*f = -a for f.
-2
Let g(s) = -s**2 - 7*s - 4. Let n(j) = -8*j**3 + j. Let f be n(1). Let v(u) = 3*u + 17. Let z be v(f). Let h be g(z). Solve -i - h = i for i.
-4
Suppose -r = -18 + 15. Suppose -r*n = -3*m + 48, -4*m + 56 = 2*n - 4*n. Solve -3 = 3*c + m for c.
-5
Suppose 13*q = 83 + 34. Solve q*b = 11*b - 10 for b.
5
Let g be (-1749)/106*4/(-6). Solve -g*z - 23 = 32 for z.
-5
Suppose 165 = 5*u + 10*u. Let l be 24/66*u/2. Solve l + 10 = 3*h for h.
4
Let l be 16*18/48 - 30/(-2). Solve -l = -7*s - 49 for s.
-4
Let x = 18 - 48. Let h = 30 + x. Solve -l + 0*l + 4 = h for l.
4
Let f(d) = -3*d + 15 - 4*d - 4*d - d**3 - 9*d**2 + 2*d**3. Let j be f(10). Suppose -2*s + a - 5 = s, -j = s - a. Solve n - 3*n + 6 = s for n.
3
Let c = 29 - 24. Suppose 0*m = c*m - 10. Solve -d - m = -0*d for d.
-2
Let t = -69 - -103. Suppose -4*v = q - t, -6*q - 5*v = -3*q - 88. Let w = q - 26. Solve w + 12 = 3*r for r.
4
Let d be -1*(0 - 2/(-5))*-10. Suppose -d*w - 2*w + 18 = 0. Solve -w*u - 7 = -22 for u.
5
Suppose 17*d = -85 + 153. Solve -n - d*n = 0 for n.
0
Let v be 51/((-30)/(40/(-4))). Solve -4*r = -v*r - 26 for r.
-2
Let n(a) = -a - 14. Let m be n(-8). Let t be 2*1/2*(10 + m). Solve 0 = t*w + 10 + 2 for w.
-3
Let j = -411 - -427. Solve 2*i = 6*i - j for i.
4
Suppose -3*p + 367 = -u, -5*p - 4*u + 621 = -u. Suppose -4*k + 3*h - 28 = -p, -h - 5 = 0. Suppose 7*j - 2*j - k = 0. Solve y - 15 = j*y for y.
-5
Let c = 2 + -12. Let t = 14 + c. Suppose -t*b = -6*b. Solve p + 3 = -b for p.
-3
Suppose 6*q = 3*q - 39. Let f(a) = a**2 + 14*a + 15. Let w be f(q). Solve g - w = -5 for g.
-3
Let n(x) be the first derivative of -x**4/4 + 2*x**3 + x**2/2 - 6*x + 7. Let w be n(6). Solve r = -w - 3 for r.
-3
Let m be 4/(-7) + (-2 - (-36)/14). Solve m = -h - 3*h for h.
0
Suppose 0 = -j + 8*j. Suppose 24 + 16 = 8*i. Solve j*w = i*w + 20 for w.
-4
Suppose 0 = -4*p + 3 + 9. Suppose 4*r + 3*j = 8*j - 21, p*j + 1 = -r. Let g = 2 - r. Solve m - 10 = g*m for m.
-2
Suppose 59 + 21 = -10*a. Let z be (a/(-5))/((-5)/(-50)). Solve 7*m + z = 3*m for m.
-4
Suppose 0 = z - 5*k - 25, -2*k = 5 + 5. Suppose z = -o + 2*q + 4, 0 = -q - q - 2. Solve -o*y + 0*y - 4 = 0 for y.
-2
Let t be -324 + 20 + 0/1. Let q be t/(-14) - (-24)/84. Solve 7 - q = -3*s for s.
5
Let p be 16 + (-12)/(-18)*-9. Solve p = 9*y - 4*y for y.
2
Let k be ((-6)/8)/((-4)/160). Let i = -28 + k. Let p be 2/i + 4 + -2. Solve -c = -2 + p for c.
-1
Let t(l) = 11*l + 36. Let n be t(-3). Solve 4 = -n*r + 7 for r.
1
Let s(p) = 4*p - 8. Let i be s(4). Suppose 0 = -3*o + o + 6. Suppose w - i = -o*w. Solve h = -w*h for h.
0
Let u(i) = 51*i + 210. Let a be u(-4). Solve 4*l + 10 = -a for l.
-4
Let x(i) = -i**2 - 4*i + 5. Let c be x(-5). Suppose c = -3*r - r. Solve w - 2 + 0 = r for w.
2
Suppose -4*c + 6 = -26. Suppose -6*s = -c*s + 2. Solve s = l + 4 for l.
-3
Let f(a) = a**3 + 6*a**2 + 4. Let m be f(-6). Solve 5 = -m*l + 9*l for l.
1
Let b(y) = y**3 + 4*y**2 - 6*y - 7. Suppose 0 = f + 3*f + 20. Let s be b(f). Let u be (-1)/(s/(-10)*-1). Solve u*z = z for z.
0
Suppose 3*b - 20 = -2*b - 4*t, 2*t - 10 = -4*b. Suppose 5*c + b*v - 4*v - 54 = 0, 2*v + 22 = 2*c. Suppose -2*k + 7*k = c. Solve 0 = 4*s - 2 - k for s.
1
Suppose 163 = 73*m + 17. Solve 6*r + m*r = 2*r for r.
0
Suppose 0 = -5*d + w + 29 - 12, 2*w = 6. Suppose -2 - 18 = -4*r. Suppose -10 = -r*p + d*p. Solve 5 = y + p for y.
-5
Let o(d) be the first derivative of -7*d**2/2 + 47*d + 29. Let l be o(6). Solve 20 = l*a - 9*a for a.
-5
Let f be 59/(0 - (-3 - -1)/2). Suppose f*p - 4 = 57*p. Solve -p*k - 4 = -8 for k.
2
Let o = -24 + 25. Suppose -5*j - 4*m + 8*m - 4 = 0, o = 5*j +