ppose -k = -c - q. Solve 3 = 2*l + c for l.
1
Let m = -31 + 58. Let y be (-3)/(-1)*18/m. Solve y*p = 7*p - 15 for p.
3
Suppose -114 = -5*m + 2*s, -4*s + 23 - 97 = -3*m. Solve 17 = -5*c + m for c.
1
Let l = 876 + -872. Solve l*u - 65 = -9*u for u.
5
Suppose -v + 3*f + 0 + 11 = 0, 4*v = -4*f + 12. Let c be 405/75 - 2/v. Solve c - 3 = -d for d.
-2
Let w(f) be the first derivative of -f**3/6 + 7*f**2/2 + 7*f - 6. Let u(h) be the first derivative of w(h). Let g be u(0). Solve -2 - g = 3*b for b.
-3
Suppose -2 - 3 = -3*j - z, j - 2*z = 4. Suppose 13 - 5 = -4*y, 5*t - 3*y - 21 = 0. Solve v = -j - t for v.
-5
Let g be 12/(-10)*20/(-6). Let p = 10 - 4. Suppose 8*x = p*x + 6. Solve x*o - 2*o = -g for o.
-4
Let s be (11/33)/((-1)/(-6)). Suppose c - 33 = 4*m - 7, -s*c + 4*m + 36 = 0. Suppose -3*o + 2*p + 31 = -c, 0 = -3*o - 4*p + 53. Solve 6*q - o = q for q.
3
Let z(s) = -s**2 - 13*s + 19. Let g be z(-14). Suppose -4*u - k = 1, 3*u = -g*k + k + 9. Let i be (-8 - -11) + 3 + u. Solve 0 = 6*j - j - i for j.
1
Suppose -i + 3*i = 2*q - 32, 22 = q + 2*i. Solve q*o = 19*o - 5 for o.
5
Let a = -102 + 159. Let y be a/76 + (-6)/8. Solve y - 4 = -2*f for f.
2
Let y(x) = -19*x + 152. Let v be y(8). Solve 21*z - 28*z + 7 = v for z.
1
Let h be 3 - 2 - (312/4 - -4). Let p = h - -85. Solve 0 = -v - 0 - p for v.
-4
Suppose -66 = -367*q + 356*q. Solve -5*b = 26 - q for b.
-4
Let o be (0 - -7) + (66 - 59). Solve 5*x + 2*x = -o for x.
-2
Let s be -10*6/45*-12. Solve -s = 4*v - 0 for v.
-4
Let h(v) be the third derivative of v**6/120 + v**5/6 + v**4/4 - 7*v**3/2 - 7*v**2. Let u be h(-9). Solve u = 5*l - 4 for l.
2
Let j be (-18)/(-8) + 23/(-92). Let y be (j + -2)*(-5)/5. Solve y*h + 8 = 2*h for h.
4
Let o(d) = -d**2 - 18*d - 11. Let t be o(-17). Let j = 8 - t. Solve -6 = 4*l - j*l for l.
-3
Suppose -k + 13 = 3. Suppose k*i - 46 - 4 = 0. Solve i*y - 1 + 6 = 0 for y.
-1
Suppose 33*g - 21*g = 1668. Solve -136*t - 15 = -g*t for t.
5
Let m = 29 + -29. Suppose 8*b - 13*b - 150 = m. Let i be b/(-9) - (-10)/15. Solve i*y - 5 - 15 = 0 for y.
5
Suppose 13*o - 131 = 14*o. Let c = 135 + o. Solve l - c = -2 for l.
2
Suppose 0 = -12*a + 6*a + 30. Suppose 3*d - 2*m = 47, m - 52 = -3*d - 17. Suppose d = 3*f - 2. Solve 25 = -f*u + a for u.
-4
Suppose -46*h + 57*h - 165 = 0. Solve 4*l - 44 = h*l for l.
-4
Let r(y) = y + 10. Let p be r(-15). Let j = p - -7. Suppose j*u - m = 5, u - 4*u + m + 6 = 0. Solve -2*t - u = -t for t.
-1
Suppose -b + t = -2*t - 5, t + 9 = 4*b. Suppose 13*u = 18*u. Let g = u + b. Solve -g*y = 3*y for y.
0
Let d(l) = 3*l - 13. Let c be ((-3)/9 + (-80)/(-15))*1. Let b be d(c). Solve -b*x - 6 = x for x.
-2
Let o(m) = -m**2 + 12*m + 7. Let u be o(11). Suppose u + 6 = 6*b. Solve -b*s = -9*s + 15 for s.
3
Suppose 0 = -31*x + 145 + 14 - 35. Let p be ((-3)/(-4))/((-2)/(-24)). Solve 5*a - p + x = 0 for a.
1
Let i(j) = -j**3 + 6*j**2 + 8*j - 5. Let t be i(8). Let q = -66 - t. Solve -2*u + 3*u = -q for u.
-3
Let c(v) = -v**3 - 12*v**2 - v. Let i be c(-12). Suppose -i = -0*s - 3*s. Suppose 4*d - 3*t - s = 11, -d + 15 = -3*t. Solve d = -2*a - a - 12 for a.
-4
Suppose -2*q = x - 9, -3*x - 28 = -27*q + 22*q. Solve 10*s - 15 = q*s for s.
3
Suppose 60 = 15*u - 45. Solve r = 8*r - u for r.
1
Suppose 75 = 12*o - 7*o. Let q be (-3 - o)*(-2)/6. Solve 0*h + q = 2*h for h.
3
Suppose 14*c + 4*n + 26 = 15*c, 5*c - 62 = 3*n. Solve -c = -3*m - 4 for m.
2
Let d(n) = n**3 + 4*n**2 - 7. Let c(z) = z**2 + 12*z - 16. Let l be c(-13). Let f be d(l). Solve 0*u - f*u - 6 = 0 for u.
-3
Let i(l) = -198*l**3 + 2*l**2 + l - 1. Let a be i(2). Let s be (a/28)/(6/16). Let r be 2/(-7) - s/35. Solve 0 = r*o + 12 + 8 for o.
-5
Suppose 3 = 3*a - l - 3, -4*a + 8 = -3*l. Solve 6 = a*m - 0*m for m.
3
Let w = 9 - 7. Let l(h) = -6*h - 16. Let z be l(-3). Solve z*i - i = -w for i.
-2
Let p be 1 - (-96)/5 - (-17)/(-85). Solve 15*x = 11*x - p for x.
-5
Suppose 5*h - s = -3 - 0, -s = 2. Let a be (-1 - -2)*(-4)/h. Suppose -12 = a*y - 7*y. Solve -9 - 3 = y*t for t.
-3
Suppose -273 + 100 = -144*s + 403. Let l = 8 + -6. Suppose -l*x = -0 + 8, -4*t - 4 = 2*x. Solve y - t = s for y.
5
Let f = -55 + 57. Suppose -6*x + f*x = x. Solve -5*n + 2*n + 6 = x for n.
2
Let l = -57 + 92. Let x be ((-5)/3)/(l/(-63)). Solve d - x + 2 = 0 for d.
1
Suppose -4*s - 162 = o, -2*s - 74 = -3*o - 0*o. Let x = -34 - s. Solve x*i - 2*i = 0 for i.
0
Let l(b) = 3*b**3 - 14*b**2 - 6*b + 12. Suppose 9*t = -t + 50. Let m be l(t). Solve -3 = 4*o - m for o.
1
Suppose -3*r + 294 = -6*r. Let v = -91 - r. Solve 0 = -g - 2 + v for g.
5
Let i(c) = 4*c**2 + 4*c + 9. Let u be i(-1). Solve -u*f - 44 + 26 = 0 for f.
-2
Let d = -14 + 26. Let g be 1/2*d/3. Solve 0 = -2*a + g for a.
1
Let n = -15 - -18. Suppose k + 1 = n. Suppose -k*y = 2*y - 2*s - 16, 4*y + 8 = -4*s. Solve 0 = -5*v - y - 3 for v.
-1
Let x = -9 - -14. Let z(s) = s**2 + 6*s - 2. Let d be z(-7). Suppose -4*i = -d*l + 25, i + 16 = x*l - 9. Solve i*h - 4*h = -16 for h.
4
Suppose -110*r = -113*r + 21. Solve r*v + 10 - 45 = 0 for v.
5
Suppose 4*s = 3*k - s - 15, 2*k - 3 = s. Suppose k = 3*o - 5 - 4. Let w = -1 + 3. Solve 0 = -2*l + o*l + w for l.
-2
Suppose y + 9 = 3*r, 0 = -4*y + r - 0 - 3. Let b(z) = -7 + 23*z + 2 - 3*z**2 - 21*z - z**3. Let q be b(-4). Solve g + 0*g + q = y for g.
-3
Let k(w) = -w**3 + 24*w**2 - 22*w - 19. Let l be k(23). Solve -6 = l*h - 18 for h.
3
Let v(j) = -12*j + 17. Let a be v(1). Solve -a = -q - 0 for q.
5
Let l = -1979 - -1984. Let h be 8/3*(-3)/2. Let y be ((-6)/h)/((-2)/(-4)). Solve -y*v = -20 + l for v.
5
Suppose -129 - 39 = -84*c. Solve 0 = -c*t - 10 - 0 for t.
-5
Suppose 0 = z - 4*z + 6. Let l be (0/(-4))/(-2 - 0). Suppose l = z*m - 4. Solve h + m = -0 for h.
-2
Let q(h) = -h - 5 + 0 + 0*h + 6*h. Suppose -5*k + 12 = 3*g, -3*g + 2*k + 2*k = -12. Let x be q(g). Solve 3*c = -0*c + x for c.
5
Let w = 103 + -57. Suppose -w*y + 2 = -45*y. Solve 12 = y*i - 5*i for i.
-4
Let b be -2*(-1)/(-2) - (9 - 18). Suppose -b*d - 10 + 42 = 0. Let g(x) = -x**3 - x**2 + 2*x. Let f be g(-2). Solve d*y + f*y + 8 = 0 for y.
-2
Let c be 1*2/4*(31 + 13). Suppose 4*s = 2*x + c, x = 2*s - s - 6. Solve 42 = -s*p + 17 for p.
-5
Let d be -10*(12/(-8) - -1). Suppose 0*t = d*t - 95. Solve 4*h - 1 = t for h.
5
Let j be -3*(87/(-9) + 3). Suppose c = -c - 32. Let t = j + c. Solve 0 = -t*v - v + 5 for v.
1
Let d be (0 - (-62)/(-5))/(234/(-585)). Solve g - d = -28 for g.
3
Let p(h) = -h**3 - 36*h**2 - 35*h + 9. Let z be p(-35). Solve 0 = z*q - 10*q + 1 for q.
1
Suppose -2*t + 4*t - 6 = 0. Suppose -2*j + j + 4 = 0. Suppose -j*l + 12 = -0*l. Solve l*r = 4*r - t for r.
3
Suppose 5*y + 4*l - 9 = l, 3*y - 5*l = -15. Solve -4*s = -y*s for s.
0
Suppose -5*d + 4*d = 0. Let b(f) = 3*f + 3. Let x be b(1). Solve -x + d = -2*v for v.
3
Suppose 2*u - 6 - 42 = -4*c, 6 = -3*u. Solve 41 - c = -7*o for o.
-4
Let o = 70 + -68. Suppose -2*m + 44 = o*m. Solve 14 + m = -5*f for f.
-5
Let w be 3/(-2) - 5012/(-56). Let q = w + -86. Solve -9 - 1 = -q*p for p.
5
Let k = -85 + 87. Let x(c) = -c + 1. Let p be x(-1). Let w be ((-3)/12)/(p/(-24)). Solve -w*u - 5 = k*u for u.
-1
Let y = 88 + -88. Solve v - 6*v + 20 = y for v.
4
Let y(p) = p**2 + p - 2. Let l be y(2). Solve 5 - 1 = l*h for h.
1
Suppose c + 5*t = -2*c + 14, -3*t + 6 = c. Let n be (c + -2)*(4 + -3). Suppose -3*d + 0*d = f - 3, -d + n = -4*f. Solve 3 + f = 3*l for l.
1
Let x(f) = -7*f - 2*f - 10 + 0 + 4 - f**2. Let w be x(-8). Solve w + 4 = -2*v for v.
-3
Suppose -9*g - 20 = -4*g. Let f(a) = -a**3 - 5*a**2 - 6*a - 6. Let w be f(g). Suppose -w*h + 0 = 2*j + 4, -h = 4*j + 14. Solve -3 = -h*b - b for b.
1
Let y be (-9)/(-2)*(-4)/(-6). Suppose h = -2*g + y, -2*g - 12 = -4*h + 3*g. Suppose -5*z + 116 = -h*s, -3*s + 6 = -s. Solve -a + z = 4*a for a.
5
Suppose 2*t = -5*m + 6, 7*t = m + 8*t. Solve m*x = 18*x + 32 for x.
-2
Let g(p) = 33*p + 3. Let t be g(-4). Let b = -90 - t. Suppose -m + 17 = 5*l, -5*m - b = -3*l - 12. Solve -1 = -v - l for v.
-3
Let k(x) = 5*x - 1. Let h be k(1). Let m(o) = -o**2 + 6*o - 6. Let n be m(h). Suppose n*s = 6*s. Solve s = 4*i + 3 + 5 for i.
-2
Let v be 1 + (2 - -1) + 0. Let p = 544 + -540. Let h be 1/p - 1/v. Solve 2*q + 3*q + 20 = h for q.
-4
Suppose -4*o = -3*c + 17, -5*c - 5*o = -45 + 5. Solve 16 = -c*j + 3*j for j.
-4
Let d(u) = 3*u + 34. Let g be d(-