 k.
2
Let a be ((-20)/12)/(1/(-3)). Let x(f) = f**2 - 6*f + 6. Let p be x(a). Suppose 0 = 4*n - 3*n. Solve n = l - 0*l + p for l.
-1
Let l be ((1360/15)/2)/(18/27). Solve -73 = 5*f - l for f.
-1
Let a = -946 + 949. Solve x + a*x - 20 = 0 for x.
5
Let m(v) = v**3 + 2*v**2 - v + 1. Let x be m(-2). Solve 57 - 63 = x*l for l.
-2
Let r = 942 + -903. Solve r = -3*j + 16*j for j.
3
Suppose -54*l = -47*l - 98. Solve l = 4*o + 30 for o.
-4
Let y(k) be the third derivative of -k**2 + 1/60*k**5 - 3/8*k**4 + 0 + 4/3*k**3 + 0*k. Let m be y(8). Solve -3*i + 0 - 12 = m for i.
-4
Let z(v) = -3*v + v - 6*v - v**2 - 9*v. Suppose f = -47 + 30. Let q be z(f). Solve q*g = 2*g - 10 for g.
5
Suppose 5*r = 2*c - 21, -5*r + 19 - 22 = 4*c. Solve -9*h - 12 = -c for h.
-1
Suppose -29*c + 26*c + 102 = 0. Let b = 49 - c. Let i be ((-2)/1 - -3) + 2. Solve -8*x = -i*x + b for x.
-3
Suppose 3*a - 3 = -v - 7, -2*a + 9 = 3*v. Suppose -v*b - 17 - 8 = 0. Let x be 0/(-2) + b + 12. Solve 5*f = 8 + x for f.
3
Suppose -4 = 2*t - 12. Solve -5 + t = -m for m.
1
Suppose -36 = -3*j - 4*t, -4*j + j = -4*t - 12. Solve -5 = -j*f + 19 for f.
3
Let m be -7 + 10 + (-11)/(-11). Solve q = 1 - m for q.
-3
Suppose 5*w - 18 - 2 = 0. Solve 0 = w*c + 10*c for c.
0
Let g(l) = -3*l + 26. Let c be g(12). Let z = -6 - c. Suppose 0 = -2*x + 2*a + 30, 0 = -4*x - x + z*a + 71. Solve -36 + x = 5*y for y.
-5
Let f(r) = -r + 10. Let h = 5 + 1. Let y be f(h). Suppose -y*t = -t. Solve t = -3*i - 0*i - 15 for i.
-5
Let c = 269 - 269. Solve 4*g - 8 = -c*g for g.
2
Let m = -32 - -4. Let x(w) = w**2 + 27*w - 22. Let h be x(m). Solve h = 2*a - 5*a for a.
-2
Let g = -1 + 0. Let s be 2 + (g - (-3 - 0)). Solve -a = -0 + s for a.
-4
Suppose -4*u + 9 = -2*u - 3*m, 5*u - 11 = -4*m. Let r(l) = 3*l - 6. Let c be r(6). Suppose -3*x - h + 2*h = -8, h + c = 4*x. Solve i = x*i - u for i.
1
Let h(p) = -6*p**2 - 2*p - 1. Let s be h(2). Let b = s + 33. Solve -1 - b = -n for n.
5
Let i(l) = -l**2 + 37. Let y be i(6). Solve -7 = -2*r - y for r.
3
Suppose 5 + 27 = z. Let v = 34 - z. Solve v - 8 = 3*j for j.
-2
Let d(h) be the third derivative of -5*h**4/24 + 2*h**3/3 + 36*h**2. Let p be d(-2). Solve -5*i + p = -11 for i.
5
Suppose 45*v + 41 = 356. Solve 0 = v*o + 20 + 1 for o.
-3
Let a(c) = -8*c**3 - 2*c**2 - c. Suppose 0 = -3*r - 15, 2*m + 0*m - 4*r = 18. Let t be a(m). Let p be -5*-2*(-4)/(-10). Solve -t = p*y + 13 for y.
-5
Let r be (-2)/(-7) + 10 + (-84)/(-49). Solve 7*c - 2 = r for c.
2
Suppose s + 2 + 18 = -4*p, -5*p = 4*s + 47. Let y = s + 16. Suppose -3*k - 12 = -2*n + 3*n, -5*n - 2*k = y. Solve n*a = 2*a for a.
0
Let q(f) = -f - 1. Let i be q(-3). Suppose y = 18 + i. Suppose 5*l + 5*m = y, 16 = -m - 3*m. Solve -j + 4 = l for j.
-4
Let s = -38 + 42. Suppose y + 5*l - 5 = 0, s*y + l - 3 = -2*l. Solve 4*h + 15 + 5 = y for h.
-5
Let f(t) be the third derivative of -t**5/60 - 5*t**4/24 + 3*t**3/2 - 4*t**2. Let y be f(-7). Let o be -1 + -4 + 3 - y. Solve a - o = -0*a for a.
3
Let h be 6/(-15)*(-12 - (-6 - -4)). Solve -h*a = a - 25 for a.
5
Let a be (-264)/(-77) + -3 + 54/21. Suppose -a*l = -4*x + 30 - 6, 4*x = -3*l. Solve -x*r + 12 = -0*r for r.
4
Suppose 0 = -115*q + 104*q + 429. Solve -10 = -q*k + 37*k for k.
5
Suppose 5*w + 93 = -2. Let l = w - -34. Solve 0 = -5*s + l - 0 for s.
3
Let u(p) = p**3 - 2*p**2 + 2*p - 2. Let z(q) = -2*q - 6. Let h be z(-4). Let w be u(h). Let t be w/(-5) - (-2)/5. Solve t*n = -3*n + 12 for n.
4
Let n = 25 - -57. Let g = n - 72. Solve -3*b = -g - 2 for b.
4
Suppose -7 = 5*z + 3. Let r(i) = -i**2 - 3. Let y be r(z). Let a = y - -8. Solve 4 + a = -m for m.
-5
Let n be 92/18 - 260/234. Solve n*a = a - 3*a for a.
0
Suppose -5*d = -h - 0*h - 22, -2*h - 12 = -2*d. Let k(g) = -g - 8. Let s be k(-8). Let l = s + 0. Solve l = d*i - 9 + 1 for i.
2
Suppose 3*y + 12 = 3*a, -a - 3*y = -5*a + 14. Solve 0 = a*t + 2*t + 4 for t.
-1
Suppose -16*f = -144 - 16. Solve f*v = 9*v + 2 for v.
2
Suppose 7*l = 6*l - 2. Let t be ((-88)/(-33))/(l/(-3)). Suppose -t*i = 2*m + 10, -5*i - 7 = 3*m + 4. Solve m*n = -2*n - 15 for n.
-3
Let a be (-3)/((-1)/1*1). Suppose -22*w + 9*w + 104 = 0. Solve a*k - w - 7 = 0 for k.
5
Suppose -4*g + 10 = 5*v, -g = 2*v - v - 2. Solve 0*o + v*o + 4 = 0 for o.
-2
Let x be (-7 - (-190)/40)/((-3)/8). Solve 0 = -41*c + 38*c - x for c.
-2
Let b = 13 - 10. Suppose a - b - 2 = 0. Let l = -2 + 5. Solve -l*k = -a*k + 8 for k.
4
Suppose -3*n + 79 = y, 5*n + y = n + 105. Suppose -i = -5*l - 38, 2*l - 6*i + n = -2*i. Let t = -5 - l. Solve 2 = -t*d + d for d.
-2
Let d be 315/14 - (-2)/(-4). Solve -26 = i - d for i.
-4
Suppose -4*c - 24 = -12*c. Solve c = v + 2*v for v.
1
Let q be (-1)/30*4 + 214/30. Solve 0*u - 14 = q*u for u.
-2
Let x = 186 + -163. Solve 3*k + 20 = x for k.
1
Let x be (-13 + 16)/(15/10). Solve -5*i = 4*i - x*i for i.
0
Let i(y) = y + 5. Let j be i(0). Suppose j = -3*n + x, n - x = 2*n - 1. Let a = 1 + n. Solve -k = -a*k for k.
0
Suppose -10*h + 6*h = -212. Let g = -53 + h. Solve -v - 2 - 1 = g for v.
-3
Suppose 4*s = -5*h + 16, -3*s = 5*h - 5*s + 8. Solve h = 13*k + k + 28 for k.
-2
Suppose 45 + 27 = 6*f. Solve f = r - 7*r for r.
-2
Let t be 2 + (2 - (1 - 0)). Suppose 0 = 3*f - 7*f + y + 21, -25 = -5*f + y. Suppose 3 - f = -k, k + 1 = b. Solve t = 5*z - b for z.
1
Suppose 3*g - 5*o = 7, 3*o + 6 = -9. Let d be g/4*(-16)/6. Solve -3*z + d - 10 = 0 for z.
-2
Let r(f) be the second derivative of -10*f + 0 - 1/20*f**5 + 5/2*f**2 + 1/12*f**4 + 1/3*f**3. Let s be r(0). Solve -j - 20 = -s*j for j.
5
Suppose -8*k + 6*k - 5*n = 0, -4*n = 8. Suppose -5*h + 20 = -4*b, -3*h - 9 = -k*b - 34. Solve -2*g + h*g = -8 for g.
4
Let t = -8 + 9. Suppose j + t = 2. Let d = 6 - 6. Solve d = -0*k - k + j for k.
1
Suppose 51 = 4*v - 5*u, 2*v - u - 41 = -v. Solve v*h = 15*h - 5 for h.
5
Let i(l) = -l**2 - 15*l + 20. Suppose -4*s + s - 4*b - 25 = 0, 3*b = 3*s + 60. Let u be i(s). Suppose -n = n. Solve n*m = -5*m - u for m.
-4
Let k(c) = 2*c**3 + 7*c**2 + 3*c. Let j be k(-3). Solve j = 29*z - 24*z - 15 for z.
3
Let f(y) = 6*y + 29. Let r be f(-4). Solve 3*c = 2 - r for c.
-1
Let f(r) = r**3 + 59*r**2 + 3*r + 216. Let h be f(-59). Solve 0 = h*n - 55*n + 16 for n.
1
Let h = -8 + 12. Suppose -h*t - 5 = -9*t. Let v(a) = -a**3 - 20*a**2 - 13*a - 252. Let j be v(-20). Solve 3*o = -j - t for o.
-3
Suppose -u = 2*x + 8, 1 = -3*x + 7*u - 3*u. Suppose -1 - 11 = -2*n. Let i = x + n. Solve 3*w + i = 2*w for w.
-3
Suppose 4*l - 103 + 31 = 0. Let n = l - 1. Let g = n - 13. Solve 1 + 3 = g*x for x.
1
Let p be (-4 - 1)*(3 - 5). Let v(n) = -n**2 - 30*n - 37. Let u be v(-29). Let s = p + u. Solve -3*c = -s*c for c.
0
Let y(t) = 4*t - 12. Let l be y(4). Suppose -4*i - 2*s + 8 = 0, -s + 12 = 4*i - 0*s. Solve 2*f - l*f = i for f.
-2
Let x be (-3 - 261/(-81))*9/1. Let k(d) = -2*d**3 - 3*d**2 - d. Let z be k(-2). Let n be (-8)/(-6)*z/4. Solve -n = -x*m + 4 for m.
3
Suppose -3*n + 43 = 37. Solve -n*a + 6*a = -4 for a.
-1
Let h(o) be the second derivative of o**4/12 - 7*o**3/6 + 21*o**2/2 + 35*o. Let m be h(3). Solve 7 + m = 4*p for p.
4
Suppose -100 = 10*n - 15*n. Solve -12*j + n = -17*j for j.
-4
Suppose 3*x = 2*x, -2*x = 3*y + 3. Let d = y + 4. Suppose -2234*g + 4 = -2232*g. Solve g*r + d = -r for r.
-1
Let m = 6 + -4. Suppose m*b - 10 = 2. Let x be (-49)/(-14) + b/(-4). Solve x = g + g for g.
1
Let y(x) = x + 14. Let d = 42 + -52. Let t be y(d). Solve -4 - 8 = -t*u for u.
3
Suppose 0 = -5*v + 18 + 7. Suppose -4 + 12 = 4*b. Solve -b*i - 9 = -v*i for i.
3
Suppose -4*i = q - 6*q + 33, -3*i = q + 1. Let r be i/((1 - 4)/3). Solve -f - r = -7 for f.
5
Suppose -4874 = -9*w - 4820. Solve 0 = 9*s - 7*s + w for s.
-3
Suppose 5*g + 2*q + 165 + 35 = 0, -4*g - 160 = q. Let h = g - -45. Solve -h*t - 10 = -3*t for t.
-5
Suppose 5*j - 2*o + 9 = -5*o, 0 = 5*j - 2*o - 6. Solve 2*g - 2 = -j for g.
1
Let a = -30 + 29. Let o be a + 7 + (0 - -2). Solve 0*q - o = -2*q for q.
4
Let m(g) = -g**3 + 15*g**2 - 12*g - 21. Let q be m(14). Solve -2*f + 15 = -q*f for f.
-3
Let u(k) = k + 19. Let m be u(-15). Suppose 4*f + 2*z = -f + 64, -5*z = -m*f + 38. Let g be 0 - ((-12)/4 + -1). Solve g = 4*s - f for s.
4
Suppose 2*p - 2 = 10. Solve p*a - 50 = -4*a for a.
5
Let o be -3 + 8*24/32. Let p(a) = -a**3 + 4*a**2 + 6*a. Let y be p(5). Suppose 0*h = y*h - 100. Solve 8*x = o*x