v = l*v + 7 for v.
-1
Suppose 3*v = -6*j + 2*j - 5, -3*j = -v - 6. Suppose 0 = -o - 3*o - 4*k + 8, -3*o + 2*k = -21. Suppose -5*d = b - 13, 2*b - o = -d + 3. Solve -s - b = j for s.
-4
Let v(m) = m**3 - m**2 - m - 35. Let g be v(0). Let i = -33 - g. Solve -2*x + 10 - i = 0 for x.
4
Let l = 16 - 14. Suppose 0 = -0*k + l*k - 26. Solve k = -5*i - 7 for i.
-4
Suppose 2*y + 2*i + 0 = -2, -6 = 2*i. Solve -y*x + 3*x = 5 for x.
5
Suppose 3*h + 2 = -10, h - 6 = -2*l. Solve 0 = l*w + 20 - 0 for w.
-4
Let x = -50 - -59. Suppose 0 = i - 2*p + 1, -4*p = -4*i - x*p + 48. Solve -i = -3*g + 2 for g.
3
Let y(u) be the first derivative of -5*u**4/4 + u + 10. Let f be y(-1). Solve 2 = h + f for h.
-4
Suppose 5*a + a - 114 = 0. Let y = 19 - a. Solve 0 = 3*o - y*o - 6 for o.
2
Let d(o) = -o**2 - 5*o + 16. Let f be d(-7). Suppose 3*c - 28 + 13 = 0, -4*a = -f*c - 2. Solve 0 = -3*g + a + 3 for g.
2
Let n(t) = -9 + 0*t**3 + 12*t**2 + 0*t**3 + 19 + t**3. Let i be n(-12). Suppose i = 3*u + 5*h - 9, -2*h = -4*u + 8. Solve -25 = -u*p - 2*p for p.
5
Let b = -216 + 235. Solve -b + 7 = -4*f for f.
3
Let j = -41 - -89. Let x = j + -43. Solve -5 - 15 = -x*q for q.
4
Suppose f - 2 = 3. Let a(u) = 2*u**2 - u - 1. Let t be a(-3). Suppose 7*y - 3*r = 6*y - 10, 0 = 4*y + 3*r - 35. Solve -f = y*d - t for d.
3
Let m(n) = 7*n + 249. Let i be m(-35). Let f be (-2)/(-7) + 47/7. Suppose f*d = i*d. Solve -2*l - 6 = -d*l for l.
-3
Let h be 0/(1*(-10 - -8)). Solve h = 3*b + 32 - 47 for b.
5
Suppose -4*t + 4*p = -0 + 12, 4 = -3*t + 2*p. Let a(v) = -v**2 + 5. Let x be a(0). Solve -t*r = -x*r + 15 for r.
5
Suppose 2*q - 9 = 5*k, 4*q - k = -q + 57. Solve q*v - 7*v - 15 = 0 for v.
3
Let l be -38*2/8*-2. Let t = l - 15. Suppose -3*d = -t*d. Solve d = 5*a + 1 + 24 for a.
-5
Let b be 0/(-1) + (19 - -66). Let x = b + -77. Solve 2*l + x = -2 for l.
-5
Let z be (-9)/15*((-20)/(-4))/(-1). Let x = 3 + z. Solve -3*i = x + 6 for i.
-4
Let r(o) = -5*o**3 - 24*o**2 + 7*o + 14. Let b be r(-5). Solve -14 = 2*w - b for w.
-5
Suppose -3*x = 4*a - 70, 4*a = 2*x + a - 75. Solve 0 = x*i - 35*i + 20 for i.
4
Let n(a) = -2*a**2 + 6*a - 10. Let j be n(4). Let y = j + 22. Let v be (y/(-7))/((-6)/21). Solve -v*h - 2 = -10 for h.
4
Suppose -4*p - p = 85. Let i = 522 - 539. Let z = p - i. Solve -c + 2*c - 2 = z for c.
2
Let g(s) = -19*s**3 - s**2 + 1. Let t be g(1). Let v = t - -22. Solve 0 = -v*q - 0*q - 3 for q.
-1
Suppose 3*a + 20*j - 15*j = 108, 3*a + 4*j = 108. Solve -a*t - 28 = -22*t for t.
-2
Let g = 190 - 189. Solve m + 0 = g for m.
1
Suppose 21 = 2*y + 7. Suppose 0 = -3*w - 5*o + 35, 0*w = w - 3*o + y. Suppose 0 = 4*h - 3*k - 17, 4*h + w*k = 2*k + 47. Solve 0*u - 4*u = -h for u.
2
Let t(i) = -15*i - 1. Let j be t(1). Let o be j*(7 - 4)/(-12). Solve 7*c - o*c = 12 for c.
4
Let k be (-4 + -16)*(-4)/20. Solve k*y - 3*y = 5 for y.
5
Suppose 3*h - 5*h - 20 = 3*k, -3*h - 5*k = 32. Let z = -12 + 6. Let g = h - z. Solve g*q - q = 3 for q.
3
Let w = 210 - 203. Solve 0 = 8*q - q - w for q.
1
Let s(u) = 2*u**2 + u. Let a be (1 + 3/(-3))/2. Let v be s(a). Suppose v = h, -h + 0*h + 4 = 2*r. Solve 2*l + 6 + r = 0 for l.
-4
Let j = -3 + -1. Let k be ((-6)/(-4))/(18/84). Let y = j + k. Solve 8*w = y*w for w.
0
Let s be (-5*(-18)/60)/((-2)/(-44)). Let l be -21*(3 + 20/(-12)). Let i = l + s. Solve 0 = i*d - 12 - 3 for d.
3
Suppose 0 = 4*w - 3*i - 5, -w - 3*i - 87 = -92. Solve 26 = 6*g + w for g.
4
Let c(p) = 11*p - 11. Let g be c(4). Let s = 39 - g. Solve 2*b + s = -b for b.
-2
Suppose 0 = -8*u + 30 - 30. Let h be 8/12 + (-1)/(-3). Solve u = x + h for x.
-1
Suppose -11 - 4 = -3*d. Suppose -d*c + 7 = -3. Solve -c*t - 3*t - 5 = 0 for t.
-1
Suppose -7*y = -13 - 120. Suppose p = 4*f - p - 54, -4*f + 42 = 2*p. Suppose 2*h - f = -h. Solve -5*w = -y + h for w.
3
Let s(d) = -d - 23. Let k be s(19). Let f = k - -44. Let w be (-3)/(-1*(2 - 1)). Solve 14 - f = -w*v for v.
-4
Suppose -5*b + 2*l + 32 = -13, -5*l = -4*b + 36. Let f be (-4)/(-18) + 52/b. Let x = -6 + f. Solve x = -5*m + 3*m + 6 for m.
3
Let d = -860 + 877. Solve -21 + d = -4*p for p.
1
Suppose -8*j = -133 + 29. Solve 0 = 15*a - j*a - 8 for a.
4
Suppose x = 5*o + 19, 9 = o - 4*o. Solve x*n + 2*n = 30 for n.
5
Suppose -5*t - 18 + 38 = 0. Solve 4 = -t*v + 24 for v.
5
Let g(m) = -7*m - 6. Let c be g(-3). Let u = c - 6. Let o = 12 - u. Solve o*p = -p + 20 for p.
5
Suppose -2*u - 4*s - 8 = 0, 5*u - 3*s + 5 + 15 = 0. Let g be (-10)/u - (-5)/10. Let m(l) = l**3 - 8*l**2 + 9*l - 9. Let r be m(7). Solve r*p = g*p + 10 for p.
5
Let i be (8/12 + 1)*3. Let q = -50 - -54. Solve 0 = i*j - 24 + q for j.
4
Suppose -5*g - 3*c + 18 = 0, 16 = 4*g + 3*c + c. Suppose -w - 4*w = -3*o - 3, -2*w = -2*o - 2. Let i = 1 + w. Solve i = -k + g for k.
2
Let j(a) = a + 1. Suppose 2*l - 10 + 2 = 0. Let o be j(l). Solve 5 = -o*b - 0 for b.
-1
Let a(p) = -p**3 - 36*p**2 + 5*p + 264. Let u be a(-36). Solve -u = j - 86 for j.
2
Suppose -15*s + 11*s = -20. Let r = s - 0. Solve 0 = -r*t + 6*t for t.
0
Let h = 98 - 95. Let d be (0 + -20 + 5)*(-1)/h. Solve -d*a + 6*a + 1 = 0 for a.
-1
Let m be (-1179)/(-54) + 2/12. Let r = -18 + m. Solve -2 + 10 = r*h for h.
2
Suppose 2*g + 0*g = k, -5*k + 12 = -4*g. Suppose 0 = k*a - 7 - 5. Solve 2*n = -n + a for n.
1
Suppose -a + l = 4*a - 18, 2*l + 6 = 0. Let o = 3 + -2. Solve t + a = -o for t.
-4
Let m = -31 - -32. Let d be (32/(-10))/(4/(-10)). Let q be d/6 + (-20)/(-12). Solve 0 = r + m + q for r.
-4
Let c(v) = v**3 + 3*v**2 - 20*v - 2. Let j be c(-6). Solve -5*d - j = -0*d for d.
-2
Let m(f) = 3*f + 8*f - f**2 + 12*f + 5*f**2 - 2. Let n be m(-6). Solve z - 1 = -n for z.
-3
Let n = -125 - -141. Solve n = 3*o + o for o.
4
Suppose -u = q + 3*q + 16, 4*u - 11 = -q. Let s be 0 - q - (2 + -2). Suppose 0 = -3*x - 3*f + 15, 0 = -4*x - s*f + 23 - 0. Solve x = -h - h for h.
-1
Let g(s) = s**3 + 7*s**2 + s + 4. Let j be g(-4). Let c be (-14)/49 - j/(-21). Suppose 11 = 2*y - c*n - 13, 60 = 5*y - 3*n. Solve 0 = 2*i - 5*i - y for i.
-4
Suppose -h + 6 = p - 10, -4*p + 79 = 5*h. Solve -h = -0*j + 3*j for j.
-5
Suppose 0 = -3*y - 21 + 57. Let a(x) = x**2 - 17*x + 44. Let t be a(14). Solve t*o + o + y = 0 for o.
-4
Suppose -3 = 2*u - 5*k + 1, 32 = 5*u - 2*k. Suppose 4*a = 4 + u. Let r be -3 - 6*-1 - a. Solve -2*i - 1 + 11 = r for i.
5
Let t be (15/(-6))/((-1)/2). Suppose -t*v + 0*v = -6*v. Solve -12 = -4*s - v*s for s.
3
Suppose 0 = -14*f + 12*f. Let w = f - -3. Suppose w*u + u = 12. Solve 0 = 4*s + 5 + u for s.
-2
Let g(b) be the second derivative of -b**3/6 + 15*b**2/2 - 7*b. Let n be (-3 + 2)/(1/(-12)). Let m be g(n). Solve q - 2 = -m for q.
-1
Let v(k) = -k**2 + 34*k + 40. Let n be v(35). Solve 8*j = n*j - 6 for j.
-2
Suppose 2*l - 27 = -0*t + 5*t, 0 = -5*l + t + 10. Suppose -112 = 3*r - 10*r. Let q = r - 14. Solve -f = -l + q for f.
-1
Let q = 27 + -24. Let n(f) = -f + 5. Let h be n(q). Solve 3*a - 4 = h for a.
2
Let d be (585/(-5))/(2 - 2/4). Let z = 87 + d. Solve -3 = -z*n + 6*n for n.
1
Let l(v) = 23*v - 237. Let m be l(11). Solve -m*u = -18*u - 2 for u.
-1
Suppose -3*m = q - 2*q + 12, 0 = -3*q + 5*m + 20. Suppose b + 2*b = -c - 13, q = -c + 2*b + 12. Suppose 7*i = 16*i - 6*i. Solve -o - 1 + c = i for o.
1
Suppose 5*j + 329 = -x, -2 = -2*j + 3*x - 120. Let c be (-6)/39 - 270/j. Solve 0*l + c*l + 4 = 0 for l.
-1
Suppose -7 - 7 = -3*u + 5*j, u = 5*j + 8. Suppose -5*b = t - 42, -2*t = -u*b + b - 24. Suppose h - t = k + k, -4*h + 38 = -2*k. Solve -3*s - h = 8 for s.
-5
Let g(h) = -h**2 + 37*h - 119. Let t be g(33). Solve 0 = -4*o - t + 21 for o.
2
Suppose 0 = 3*c + i - 42, -9*c - 39 = -12*c - 2*i. Let q be 1*(0 - (-12)/2). Let w = q - 4. Solve c = -w*l - l for l.
-5
Suppose -4*n + 3*o = -27, 4*n = 2*o + 3*o + 37. Suppose n*j + 5*s - 2*s = -9, 2*j + 5*s = -12. Let b = j + 4. Solve 6*m = b*m - 9 for m.
-3
Let b(c) = -c**3 + 8*c**2 - 5*c - 7. Let s be b(7). Let z(q) = 3*q - 10. Let w be z(s). Suppose -w - 9 = -5*u. Solve 0 = u*y - 0*y - 16 for y.
4
Suppose -y + 8 = -3*y. Let r be y*(0 + 4/(-4)). Let x(v) = 2*v**2 - 6*v + 1. Let t be x(r). Solve -4*a - t - 7 = 0 for a.
-4
Let c be ((-238)/(-147) - 4/14)*3. Let z be (3 - -4) + (-4)/c. Solve 0 = z*w - 2*w + 20 for w.
-5
Let g(s) = -s. Let v(b) = b**2 - 15*b + 12. Let f(k) = -6*g(k) + v(k). Let m be f(8). Suppose 0*h + 24 = m*h. Solve 2*d + 8 