 = 5*l + 12 + v for l.
-5
Suppose -2*j = -0*a + 3*a - 11, 4*j = 2*a - 2. Let s(x) = -x**2 + 7*x. Let y be s(5). Let t(f) = f**2 + 1. Let o be t(-1). Solve -o*v - a*v = -y for v.
2
Suppose 4*x - 9 = 7. Let v be ((-4)/6)/(8/(-12)). Suppose x*s = -v + 9. Solve 2*k + s = -0 for k.
-1
Suppose -4*w + w = -15. Suppose 2*k = -2*i + 4*i + 8, 3*i + 20 = 5*k. Suppose 0 = -i*v + w*v - 15. Solve v = -s - 2 for s.
-5
Suppose -3*d - 20 = -5*d. Let j = 15 - 12. Solve 2*s = -j*s + d for s.
2
Let f(d) = -4*d**2 - 2*d + 6. Let z(s) = s**2 - 1. Let m(a) = -f(a) - 5*z(a). Let o be m(1). Solve -2*j - 4 + 0 = o for j.
-2
Let d(h) be the third derivative of -h**4/24 - h**3/2 - 2*h**2. Let n be d(-4). Solve 0 = -v - 4 - n for v.
-5
Let x be 4/14 - 2/7. Let v be (0/1)/(2/(-2)). Let w be x - -1*(v + 2). Solve f + f + w = 0 for f.
-1
Let s(j) be the third derivative of 4*j**2 - 1/3*j**3 - 1/60*j**5 + 0 + 0*j + 5/24*j**4. Let c be s(3). Solve -c*y = -y for y.
0
Let c = -3 - -4. Suppose 0 = 2*j + 3*n + c - 10, j + 3*n - 9 = 0. Solve j*z + 2 = -2*z for z.
-1
Suppose -o = -2*o - 21. Let m = o + 21. Solve m = q - 5 - 0 for q.
5
Let x be (-32)/14 - (-2)/7. Let g(i) = i - 2. Let o(d) = -2*d + 2. Let m(s) = 6*g(s) + 5*o(s). Let p be m(x). Solve -2*q + 0*q + p = 0 for q.
3
Let q = -62 - -62. Solve q = -4*m + 3*m + 3 for m.
3
Let f = 203 + -114. Let h = f + -64. Let p = 12 - 8. Solve 0 = -p*t - t - h for t.
-5
Let a be (-12)/18 + 24/9. Solve a - 3 = -o for o.
1
Let h(w) = w**3 + 2*w**2 + 2*w - 5. Let f be h(2). Solve 0*u - f = -5*u for u.
3
Suppose -4*y = g + 3*g - 4, -13 = -5*y - 3*g. Let x(j) = -24*j + 2. Let v be x(-2). Suppose 4*p + 0 + 1 = 5*q, 5*p - v = -4*q. Solve -3*t + p = -y*t for t.
-3
Suppose -2*m = -0*n - 2*n - 18, -m + 21 = -5*n. Let y be 6*((-6)/9 - -4). Solve y = 2*b - m*b for b.
-5
Let y be (-1)/(3/6) - -2. Let m = 4 + -2. Solve -m*k = -y - 8 for k.
4
Suppose -g - 2*g + 41 = -v, -15 = -g + v. Let k = g - 8. Let w = 7 - k. Solve 2*m = m + w for m.
2
Let q = 3 + -2. Let o = q + 4. Suppose -4*x + 24 = -2*i, 20 = 3*x - o*i - 12. Solve -5 - x = -3*l for l.
3
Let b = 15 - 10. Suppose i - 22 = b*t - 5, 34 = 2*i - 4*t. Let s be ((-6)/(-21))/((-3)/(-21)). Solve 5*g = -s + i for g.
3
Suppose -20 + 5 = 5*s. Let b be -1 - (2 + (-6 - s)). Solve -3 = f - b for f.
-3
Let b(w) = w + 1. Suppose -2*v + 8*k - 4*k = 0, 0 = -2*k + 10. Let c(p) = -p + 13. Let s be c(v). Let f be b(s). Solve f*o = 7 + 1 for o.
2
Suppose p + p + 2*x = -10, 4*p + 5*x = -25. Suppose g = -r + 1, 2*g = 4*r - p*g - 10. Let q = 4 - r. Solve -u = -2 - q for u.
4
Suppose 5*h + 8 = h. Suppose 5*x = 3*t - 12, 0*t + 4*x + 8 = 2*t. Let v = h + t. Solve v*u = 5 + 5 for u.
5
Let a(m) = -m**3 + 6*m**2 + 5*m + 19. Let g be a(7). Solve g*r = 8 + 2 for r.
2
Suppose -10 = -5*u - 0. Suppose 3 = a + u. Let h = a - -2. Solve -h*s = -s for s.
0
Let y(r) be the second derivative of r**3/6 - 4*r**2 - r. Let t be (-3 - 2/(-4))*48/(-15). Let q be y(t). Solve x = -q*x + 5 for x.
5
Let a = -19 - -36. Let b = a - 9. Solve -b = -3*q + 1 for q.
3
Let n = -96 - -176. Suppose -20 = -5*x + n. Solve -5*d - 5 = x for d.
-5
Let d(c) be the third derivative of -c**5/60 - 5*c**4/24 - 2*c**3/3 - 4*c**2. Let h be d(-4). Solve h = 2*z + 1 + 5 for z.
-3
Suppose 5*c = 2*c + p + 14, 4*c - 15 = 5*p. Suppose i - y = -3, -12 = -c*i - 2*y - 2*y. Solve i = -b - 0 + 1 for b.
1
Let n = 54 - 52. Solve 0 = -3*m - 4 - n for m.
-2
Let w be (0 + 2)/(-1) - -6. Let m = -5 + w. Let l = m + 2. Solve -14 = 3*z + l for z.
-5
Let c be (-3)/4*24/(-9). Solve 7*h = c*h - 10 for h.
-2
Suppose 0*l = -0*l - 4*l. Solve c + l*c + 1 = 0 for c.
-1
Suppose -18*j + 21*j - 9 = 0. Solve j*a + 16 = -a for a.
-4
Let b(s) = s**2. Let r be b(6). Solve -4*y + r = 16 for y.
5
Let k(c) = -c**3 - 4*c**2 - c - 2. Let u be k(-4). Solve 0 = -3*r - u*r for r.
0
Suppose -7 - 1 = -4*w. Suppose -2 = w*c - 3*c. Suppose 0 = -c*o - 3*o + 20. Solve 3*g + 11 = -o for g.
-5
Let j be 3/(-9)*0 - 2. Let t = 2 - j. Suppose l = -l + t. Solve -6 = -4*f + l for f.
2
Let k be (-6)/(-3)*9/(-2). Let r = -1 - k. Suppose -4*o = 5*g + 1, g - 3 = 2*o + r. Solve -8 = g*l + l for l.
-2
Let a(t) = -2*t - 6*t + 3*t**2 - 5*t**2 + 7 + 3*t**2. Let m be a(9). Solve m = -o + 5*o for o.
4
Suppose 12 = 4*x + 3*p + 2*p, -p = 0. Suppose 0 = 3*w + i - 9, x*w + i = -2*i + 15. Solve -w*h - 6 = 4 for h.
-5
Suppose 0 = 2*a - 4. Suppose 5*q = -5, q + 17 = 3*c + a*q. Suppose 2*d - c = -2. Solve 5 = o - d*o for o.
-5
Suppose -4 = 2*n + 5*p, -6*n + 4*p + 20 = -2*n. Suppose 2*m - m = n. Let o be 7/m - (-1)/(-3). Solve -o*s = s for s.
0
Suppose 0 = 3*u - 65 + 41. Solve 0 + u = -4*g for g.
-2
Let n(q) = q + 3. Let b be n(-3). Let w be (13 - 8)/(1 + b). Solve 2*f = f - w for f.
-5
Let p(j) = j**2 - 8*j + 4. Let s be p(9). Let a be -1 - -2 - (s - 15). Solve -a = -3*m - 9 for m.
-2
Let i(d) = -2*d**2 - 11*d + 6. Let b be i(-6). Solve -a = -b*a + 5 for a.
-5
Let s(r) be the second derivative of 7/2*r**2 - 1/6*r**3 + 0 - 4*r. Let c be s(7). Solve 0 = h - c*h for h.
0
Suppose u = 2*u - 2. Let z = 0 + u. Solve q + 6 = -z*q for q.
-2
Suppose -14 + 8 = -2*y. Solve -y*d - d = 12 for d.
-3
Let z be 48/(-12) - (-3 - -2). Let v(q) = -4*q + 1. Let y(o) = 17*o - 5. Let d(h) = 26*v(h) + 6*y(h). Let j be d(z). Solve -j*c + 0*c = 4 for c.
-2
Suppose -2*q = -4*o, 0 = 6*q - q - 3*o + 28. Let x be 4/(-6) + q/(-12). Suppose x = -w - 0 + 15. Solve -w = 4*y + y for y.
-3
Let i = 23 + -11. Solve i = -7*d + 3*d for d.
-3
Let n = 35 - 29. Solve 7*c = 10*c - n for c.
2
Suppose -3*k = 4*o - 0*k + 247, 253 = -4*o - k. Let l = o + 148. Suppose -4*u + l = 4*g, -4*u + 44 + 34 = -2*g. Solve -t - 4*t - u = 0 for t.
-4
Let m be (-22)/(-3) - 14/(-21). Let z be m/(-14)*(-7)/2. Solve -g + z*g = 3 for g.
3
Let g = 28 - 28. Solve g = b - 0*b for b.
0
Let u be ((-1)/2*10)/(-1). Suppose 4 + 6 = u*o. Solve o*i + 20 = -3*i for i.
-4
Let w = -19 - -51. Let g be (w/(-10))/(6/(-45)). Let a = -9 + g. Solve -2*z + a = z for z.
5
Let p = 9 + -2. Suppose 2*h = -16 + 40. Let k = h - p. Solve 0 = m + k - 0 for m.
-5
Let y = -8 + -2. Let w = y - -4. Let h be (-32)/w*(-18)/(-12). Solve -h = -3*p + 7 for p.
5
Let s(n) = -4*n**2 + 19*n - 1. Let x(y) = -y**2 + 6*y. Let c(k) = 2*s(k) - 7*x(k). Let r be c(-2). Solve 0*q + 2*q - r = 0 for q.
1
Let y be 0 - ((5 - 3) + -2). Solve y = t - 2 + 6 for t.
-4
Let u = -101 + 116. Solve -4*j - j = u for j.
-3
Suppose 16 = 5*d + 3*y, 6*d = 3*d - 3*y + 12. Suppose 3*c - 41 = 5*j, 2*c = d*j - 4*j + 6. Solve c = 5*b - 8 for b.
3
Let n = 5 - 1. Suppose 8 = -0*f - n*f. Let t be f/(-2 + (-8)/(-6)). Solve t*y + 2*y + 10 = 0 for y.
-2
Let l be 0*(-4 - (-42)/12). Solve 6*g - 2*g - 4 = l for g.
1
Let y(o) = o**3 + 3*o**2 - 5*o - 2. Let w be y(-4). Suppose -t - w*t = 0. Suppose 3*q + t = 5*m - 4, -2*q = -4*m + 4. Solve -q*j - j = -12 for j.
4
Let w(g) = -5*g + 1. Let n be w(1). Let h be (-40)/(-6) + 2/6. Let z = n + h. Solve 6 = -z*t - 9 for t.
-5
Let q be (3/1)/((-3)/2). Let c(z) = -z**2 - 5*z - 4. Let l be c(-3). Let y = l - q. Solve 0 = r - y - 0 for r.
4
Suppose 4*s = 3*s + 4. Solve -3*n = -5*n - s for n.
-2
Let d = -4 + 7. Solve 0*f - 15 = -d*f for f.
5
Let d be (-10)/15*(-6)/(-4). Let a be d/(-4) - 95/(-20). Suppose 25 = k - a*h, -3*h - h - 20 = 4*k. Solve i + 4*i = k for i.
0
Let i = 47 + -21. Let x be 2/((-4)/96*3). Let m = x + i. Solve 2*c + 0*c = -m for c.
-5
Let j = 5 + 2. Let i be -1*2/(-4)*6. Suppose 94 = 5*s - x, -2*x = i*s - x - 50. Solve 5*c - s = j for c.
5
Suppose 0 = 2*z - 3*z. Let m be (1 + z)*5/1. Solve 3*a + m = 2 for a.
-1
Let u be (-2)/6 - 4/(-12). Suppose -p + u = -5. Solve 5*o + p + 10 = 0 for o.
-3
Let h = 22 + -19. Solve 0 = -j + h*j for j.
0
Let l = 1 - -23. Suppose 5*y = l + 21. Solve -4*j + y*j = -20 for j.
-4
Let n = 2 - 1. Suppose 0 = 3*b - b + 2, -r - b = -n. Let k be 50/18 - r/(-9). Solve -k*c = -7*c - 12 for c.
-3
Suppose -3*l + 4*l - 1 = 0. Let d be 5 - -10 - l/(-1). Solve -d = -v + 5*v for v.
-4
Let m(t) = -2*t - 2. Let i be m(-3). Let r(x) = -x**3 + 5*x**2 + 8*x - 8. Let o be r(6). Suppose 53 + 11 = o*w. Solve -i*d = w - 4 for d.
-3
Let g(q) = -q**3 + 3*q**2 + 5*q - 3. Let w(y) = -y - 3. Let f be w(-7). Let r be g(f). Solve -j = -2*j + r for j.
1
Let y(k) = -k**3 - 3*k**2 - 4*k - 7. Let j be y(-3). Solve 0*f = j*f for f.
0
Let x 