 l for k.
5
Let s be (-6)/4*8/(-6). Suppose -5 + s = -p. Suppose p = -5*l + 18. Solve -h = -l - 1 for h.
4
Let m be (2/(-4))/(14/(-168)). Solve -m*k = -3*k + 3 for k.
-1
Let q(u) = -u**3 + 6*u**2 - 3*u + 14. Let v be q(6). Let g be 2/v*(-2 - -2). Solve g = 3*k + 3 - 18 for k.
5
Suppose 6*k - 16 = 2*k. Suppose 3*q = 2*p - 0*p + 5, q = 4*p - 5. Suppose -3*g = -p - k. Solve -4 = i - g*i for i.
4
Let s be 9/63 - 96/(-14). Solve s*h - 5*h = -2 for h.
-1
Let g be (-95)/10 - (-2)/4. Let y be (1 - (-15)/g)*-6. Suppose -l - y*l + 25 = 0. Solve -l*d = -6 + 1 for d.
1
Suppose 20 = -q + 5*q. Suppose q*o - 9 = 2*o. Solve -7*z = -o*z for z.
0
Suppose 0 = -5*w + 11 - 1. Suppose 0 = -w*c + p + 10, -3*p = p. Suppose 0*j = c*j. Solve 0 = -y + 4 - j for y.
4
Let v(l) = -l**2 - 3*l - 2. Let c be v(-2). Solve c = 2*r - 0*r + 8 for r.
-4
Let h be (-3)/9*(-1 - -1). Solve 0 = 5*g + 25 - h for g.
-5
Let q be 0 + 2 - -2 - 1. Suppose -4*g + 36 = -g. Suppose 5*m = 5*f - 15, 0 = 5*m + 5*f - 23 - g. Solve -q*c + m*c = 0 for c.
0
Let q(y) = -y**2 + 9*y - 6. Let b be q(8). Solve b*l = 1 + 1 for l.
1
Suppose -2*k + 8 = -2. Suppose -4*x + 39 = x - 2*w, x - 17 = k*w. Solve -2 + x = f for f.
5
Let q(f) = 4*f**2 + 8*f + 6. Let i be q(-1). Solve -n + i = -2 for n.
4
Let h(m) = 7*m**3 + 6*m**2 + m + 4. Let c(s) = s**3 + s**2 + 1. Let k(r) = 6*c(r) - h(r). Let p be k(0). Solve 2*n + 8 - p = 0 for n.
-3
Suppose c = 9*c - 32. Solve 19 = -3*l + c for l.
-5
Let g(s) = -s**3 + 4*s**2 - 2*s - 3. Let w be g(3). Suppose w = -3*x + 3*d + 12, x = 4*x + 5*d + 20. Solve x = -2*q - 0*q - 8 for q.
-4
Let l(p) = 3*p**2 + 2*p - 1. Let w be l(1). Let m be w/10 - (-6)/(-15). Solve m*f - 4*f = -4 for f.
1
Suppose 24 = 17*o - 14*o. Solve -3*x + o*x = -5 for x.
-1
Let b(v) = v**3 - 8*v**2 + v + 8. Let q be b(8). Suppose 0*h - q = -4*f + h, 0 = -5*f + 3*h + 27. Solve -n = -f*n for n.
0
Suppose -2*u - 5*m - 7 - 14 = 0, 4*u - 23 = 3*m. Solve -a + u*a + 5 = 0 for a.
-5
Let i be 1 + 3 - 2/1. Solve 0*r = -i*r for r.
0
Let u be 4/10 - 46/(-10). Solve u*q + 22 = 7 for q.
-3
Suppose 12 = -3*p + 4*h, -3*h = p - 5*p - 9. Solve 0 = 3*t - p*t for t.
0
Let d(q) = q**2 - 3*q - 14. Let l be d(6). Solve 0 = f - 5*f - l for f.
-1
Suppose 4 = 2*d - 0. Suppose 12 = 6*s - d*s. Suppose b + n = 5*b - 2, 10 = -b - 5*n. Solve b = z + s*z + 8 for z.
-2
Let y be 1/(2*1/(-10)). Let s = y + 13. Let f = -2 + s. Solve 2 + f = -2*k for k.
-4
Let o = -1 + 1. Suppose q = -q - 4, m = 5*q + 28. Let g = -17 + m. Solve o*j = -j - g for j.
-1
Suppose 3*i - 40 = 5*r, 2*i - 12 = 3*r + 12. Let n = -5 - r. Suppose 22 = 5*b - n. Solve 18 + 7 = b*q for q.
5
Let a(y) = -5*y - 1. Let o be a(-1). Let i = 1 + o. Solve i*b - b = 4 for b.
1
Let w = 12 + -8. Suppose -i - 5*a = -15, -3*i - 3*a = -6*i + 27. Let p = i + 11. Solve -p + 1 = w*v for v.
-5
Let c be 2 - 4/12*0. Suppose -1 = 5*p + 2*x - 7, -c*x + 2 = 3*p. Solve v + p*v = 15 for v.
5
Suppose -q - 2*q = -6. Solve -q*n + 0*n = 0 for n.
0
Suppose -36 = -5*x - 3*b - 7, 2*x + 5*b - 23 = 0. Suppose 0 = -x*k + 16 - 4. Suppose 0 = k*h - 1 - 17. Solve -2*p + h*p = -20 for p.
-5
Let u = -13 - -19. Let m(x) be the second derivative of -x**5/20 + 5*x**4/12 + x**3 + x**2 + x. Let a be m(u). Solve 7*w = a*w for w.
0
Let z = 18 + 6. Solve -4 = -5*o - z for o.
-4
Suppose f + 5 = 9. Suppose -u - f*u = 0. Solve u*w = 3*w - 9 for w.
3
Suppose 0 = 18*y - 16*y - 2. Solve y = 3*f - 2*f for f.
1
Let l be (-4 + (-10)/(-2))/1. Solve g - l = -0 for g.
1
Suppose -10 = -2*h - 3*h. Solve 0*t + 6 = h*t for t.
3
Let y(s) = -4*s**3 + 4*s**2 + 2*s. Let m be y(-1). Let l = 0 - -2. Suppose 0 = -5*c + g + 89, -2*g - 52 = -c - l*c. Solve 4*j + c = m for j.
-3
Let c(q) = -q + 10. Let t be 6/(-3) + 2 + 6. Let s be c(t). Solve s = -5*o - 1 for o.
-1
Let r(u) = -u**3 - 9*u**2 + u + 11. Let v be r(-9). Suppose -3*q = -l + v*q, l = 4*q. Solve l*c - 5*c - 20 = 0 for c.
-4
Let d be (-3 + (-21)/(-6))*10. Solve 0 = d*o - o + 16 for o.
-4
Let r be (-2 + -2)/(0 - 2). Let k be 62 - 6/(1 + r). Suppose g - k = -4*g. Solve -4*d = -d - g for d.
4
Let x(y) = 19*y + 3. Let p(n) = -58*n - 10. Let b(c) = -5*p(c) - 16*x(c). Let t be b(-2). Suppose t = 5*i - 30. Solve 0*d = 3*d - i for d.
4
Let j(p) = -5*p - 3. Let q(h) = 2*h + 1. Let i = 4 + -1. Let g(c) = i*j(c) + 8*q(c). Let b be g(3). Solve 0 = -s - b + 5 for s.
3
Suppose -2*f + 4 = -0*f. Solve -f*g + 9 = g for g.
3
Let c be 4/(-8)*-4 - 1. Solve p = -0*p + c for p.
1
Let c = 63 + -59. Solve -4*p + c = -8 for p.
3
Suppose 2*c + 4 = -5*u + 11, -4*u - 5*c + 9 = 0. Solve 5*y - u = 19 for y.
4
Suppose s - 4 = -3*s. Let z = 7 - 4. Solve -z*a = -11 - s for a.
4
Let u be 0*(-3)/9 + 3. Solve 0 = -o - u*o for o.
0
Let r be ((-3)/1)/(3/4). Let t be (0 + 0)*r/8. Solve p + 3*p + 4 = t for p.
-1
Suppose -3*n + 7*n - 20 = 0. Let s be (8/(-5))/(8/(-40)). Solve -m + s = -n*m for m.
-2
Suppose v = -4*v. Let q(x) = 3*x**3 - 2*x**2 + 2*x - 1. Suppose 0 = 3*f - 2*f - 1. Let n be q(f). Solve -n*r = -v*r + 10 for r.
-5
Let b(q) = q - 4. Let h be b(6). Solve -h*v - 5 = 1 for v.
-3
Let w = -31 - -33. Solve -w = -n - 0 for n.
2
Let l = -6 + 11. Suppose -2*v + 5*t = 3*v - 425, -3*t = 5*v - 385. Suppose l*a - v = a. Solve -4*i = -0*i + a for i.
-5
Suppose 3*m + 6 - 3 = b, 0 = -3*b - 4*m + 9. Suppose 0 = 4*f - 3*n - b, -4*n = f + 4*f - 27. Solve f*d = -0*d - 9 for d.
-3
Let h be 4*((-3)/3 + 2). Suppose 3*y + 4 = 5*m, 3*m + 2 = -0*m + h*y. Solve 0 = -m*n - 3*n for n.
0
Let k = -37 + 38. Solve -3 = l + k for l.
-4
Suppose -10 + 4 = -r. Let p(a) = -a**3 + 5*a**2 + 6*a + 2. Let n be p(r). Let q be (-1)/(-1)*0/(-6). Solve q = 5*y - n*y - 15 for y.
5
Suppose -4*s = -15 + 3, -35 = -4*y - 5*s. Solve -y*u - 20 = -10*u for u.
4
Let l = -2 - -2. Let k be 6/3 - -18 - l. Solve 5 = 5*d - k for d.
5
Let z(i) be the second derivative of i**3/6 - 2*i**2 + 3*i. Let t be z(9). Solve -5*u - 5 = t for u.
-2
Let j be (-11)/(-3) - 4/6. Let i be 2/9 + (-64)/(-36). Let k be (i - 0 - -2)/2. Solve 0 = j*q + k - 14 for q.
4
Let x be 4 - 2 - 4 - -8. Suppose -5*t = -x - 14. Solve -t*z + 3 = 19 for z.
-4
Suppose u - 3*b + 4 = 0, u + 2*u = 4*b + 3. Solve 3*z + u = -1 for z.
-2
Suppose 4*o = 2*o + 12. Solve 3 + o = -3*b for b.
-3
Let c be (-15)/(-10)*38/3. Let t = c + -12. Suppose b + 1 - t = 0. Solve -j + 10 = -b*j for j.
-2
Let k(l) be the second derivative of 0 + 5/6*l**3 + 1/20*l**5 + 1/2*l**4 + 3*l**2 - l. Let x be k(-5). Solve g - x*g = -10 for g.
2
Let h = -8 + 9. Solve t + 3 = h for t.
-2
Let m(b) = 16*b**3 - b**2 + 1. Let x be m(1). Solve 0 = n - 5*n + x for n.
4
Suppose 4*y - y = 42. Suppose -j - 2*c = -14, 2 - y = -2*j + 4*c. Suppose 4*s - 2 = 14. Solve -l + j = s*l for l.
2
Let b be 32/7 + (-45)/(-105). Solve -5*s - 15 = b for s.
-4
Let r(f) = f + 3. Let a be r(-6). Let o = 5 + a. Solve -b + 2 = -o for b.
4
Let r = 113 - 106. Solve -19 + r = -4*b for b.
3
Let v(a) = -4*a**3 - 3*a**2 + 5*a - 2. Let m(g) = 5*g**3 + 4*g**2 - 6*g + 3. Let w(o) = 3*m(o) + 4*v(o). Let i be w(-1). Solve y - 1 + i = 0 for y.
1
Suppose 4*u - 40 = -x, -u + 4*u = -x + 29. Solve -u = 5*s - 31 for s.
4
Let l be ((-8)/24)/((-1 - 2)/18). Solve 6*t = l*t - 20 for t.
-5
Let l be -2 + -1 + -6 + 8. Let q be l + (-2)/(0 + -2). Solve q*g - 3*g - 3 = 0 for g.
-1
Let v = -5 - 4. Let j be (-38)/v - (-4)/(-18). Suppose -o + 8 = j. Solve -r = -5*r - o for r.
-1
Suppose -o = -6*o. Suppose o*a - a + 5*g - 20 = 0, -a + g = 4. Solve 3*v = -a - 6 for v.
-2
Suppose -2*n = -n - 4. Let d(m) = 2*m - 6. Let u be d(n). Solve 4 = -u*c - 0 for c.
-2
Let b be 4/8*34/(-1). Let j be (-2 - -3) + (-4 - b). Solve 5*h - j = 11 for h.
5
Suppose 2*j = -5*c + 7*j + 35, 0 = -c + 2*j + 8. Solve -c = 2*s + 2 for s.
-4
Suppose -4*n + 14 = -30. Suppose 3*m - 2*h = n, 0 = -m + 4*h - 0*h - 3. Solve 0*j + m*j = -15 for j.
-3
Let o(g) = -7*g + 2. Let r be o(-4). Let q be 110/r + 4/(-6). Solve 3 = -q*d - 3 for d.
-2
Suppose 4 = r + r. Suppose 0 = -3*a - 4*c + 13, -14 = -a - 3*a - r*c. Let t be (-2)/a - 51/(-9). Solve 0 = -0*i + t*i for i.
0
Suppose 4*l = -4*y - l + 68, 0 = 3*y - 5*l - 16. Let n = y + -6. Solve 6 + n = -4*d for d.
-3
Let m be (-2)/1 + (-5 - -3). Let o be 0/(4 - m/(-2)). Solve o*r - 2*r = 0 for r.
0
Let v(x) = 6*x + 3*x - x**2 - 3*x. Let a be v(6). Suppose 0 = -t - a*t. Solve t = 2*l + 1 - 7 for l.
3
Suppo