k for k.
4
Let y be (-4)/14 + (-14)/(-49). Solve -a = -y*a + 2 for a.
-2
Let f be (-6)/15*1/(7/(-35)). Solve f*g = -9 - 1 for g.
-5
Let a(t) = -2*t**3 - 2*t**2 + t + 2. Let l be a(-2). Let n = 1 + 4. Solve 0 = -n*q + 3*q + l for q.
4
Let x be 3*(-2)/3*-1. Suppose 3*q = -0*q - 2*y - 10, 0 = 4*q + x*y + 10. Solve -6*t + 2*t + 8 = q for t.
2
Suppose m = -4*m + 4*z + 11, -3*m + 4 = -5*z. Solve m = -5*v - 17 for v.
-4
Suppose 4*u + 2*y - 68 = 0, 3*u - 20 - 26 = y. Solve 4*o + 0*o - u = 0 for o.
4
Let v(h) = -h + 9. Let t be v(5). Let q be (5 - t)/((-1)/(-5)). Solve 0 = -q*j - 0*j + 20 for j.
4
Suppose 0 = -2*d + 4*d - 8. Suppose 0 = -d*m + 4 - 0. Solve -2*w - m = -3 for w.
1
Let a = 87 - 60. Let g = 8 + 7. Let h = a - g. Solve -3*y + h + 3 = 0 for y.
5
Suppose 0 = s + s. Let f(l) = l. Let b be f(5). Let p = b + -1. Solve s = -o - 0*o + p for o.
4
Let n(z) = -4*z**3 + 5*z**3 + 6*z**3. Let r be n(1). Solve 19 - r = -3*g for g.
-4
Suppose -5*a - 15 = -3*v, -5*v + 25 = 5*a - 0*v. Suppose -f = -3*j + 1, -f + 16 = 11. Solve j*c + a = -2 for c.
-1
Let a(q) = -q**3 + 3*q**2 + 3. Let r be a(3). Suppose 3*v - r = 6. Suppose -4*z + 2*z + 3*s = -21, 4 = v*z + s. Solve 3 = z*d + 6 for d.
-1
Let u be (-28)/(-20) - 9/(-15). Suppose -30 = -5*x + 5*q, -3*x + u*q + 18 = -2*q. Solve -4*p - 14 = x for p.
-5
Suppose 3*w - 3*l = 2*l + 67, 4*l + 65 = 3*w. Solve 4*s + w - 7 = 0 for s.
-3
Let z be (-30)/8*(-40)/30. Solve 0 = -z*m + m + 4 for m.
1
Suppose -13*a = -32 - 33. Solve 2*k - 3*k = a for k.
-5
Suppose -3*m + 9 = 5*w - 0, -15 = -5*m + 4*w. Solve 9 + 6 = m*a for a.
5
Let o = 6 - -2. Solve o = -2*t + 6 for t.
-1
Suppose 5*v + 5*z - 18 = 7, 3*z + 25 = 2*v. Suppose -v = 3*q - 2. Let x be 1 - ((-18)/3 - q). Solve 0 = -x*a - 12 - 3 for a.
-3
Let j(h) = -h**2 + 5*h - 3. Let w be j(4). Let k be w*(4 - 2)*2. Solve -k*c = c + 5 for c.
-1
Let b(q) = q**3 + 2*q**2 + 2*q + 1. Let h be b(-1). Suppose -f + 4*g + 19 = h, -f + 2 = g + 3. Solve -f*s + 6*s = 0 for s.
0
Suppose 0*i - 40 = -4*r + 2*i, -r - 4*i = 8. Let y = r - -6. Solve y = -5*o - 11 for o.
-5
Let m be 5/((-30)/4)*-3. Suppose m*o - 3*x = 43, -5*o - 1 = 2*x - 99. Solve -3*c + 8*c - o = 0 for c.
4
Suppose 3*y - 3 = 3*g, 2*y + 20 = 4*g + 6*y. Let u be g - -1 - 9/(-3). Solve 2*l = -l - u for l.
-2
Suppose -5*i = -0*i - 140. Suppose 2*a - y = 3*a - i, -2*a = y - 53. Let s(b) = b**2 - 5*b + 2. Let z be s(5). Solve -z*o + a = 3*o for o.
5
Let a(g) = g**2 + 4. Suppose -4*l + 6 = -2*l. Suppose 0 = -l*w + 2*w. Let s be a(w). Solve 0 = s*j + 6 + 14 for j.
-5
Suppose 2*q - 17 = 10*l - 7*l, 0 = -4*l - 12. Let u(r) = r**3 - 3*r**2 + 3*r + 1. Let f be u(3). Solve q*a + 2 = f for a.
2
Let u(y) = -2*y**3 - 2*y**2 + 2*y. Let t be u(-2). Let s = 40 + -24. Solve 0*m = -t*m - s for m.
-4
Suppose -3*r + 4*b + 12 = 0, -3*r = 2*r - 3*b - 20. Suppose -3*z = 5*n + 2*z - 20, r*n - 4*z = 16. Solve -v + n*v - 6 = 0 for v.
2
Let q be (8/12)/(2/21). Suppose -2*f = -q*f + 20. Solve -3*s - 2 = -f*s for s.
2
Let v(l) = l**3 - 4*l**2. Let j be v(3). Let n = j + 6. Let z be ((-2)/6)/(n/18). Solve -g = z*g + 9 for g.
-3
Let q be 8 - 0 - (4 - 4). Let h be 7 + 0*(0 - 1). Solve 3*w + h = -q for w.
-5
Suppose -4*x = -c + 6 - 28, -x = c - 8. Suppose -4*f - 78 = -2*u, 2*u = 4*f + x*u + 60. Let d be ((-20)/(-30))/((-4)/f). Solve 3*v + 9 - d = 0 for v.
-2
Let d be (5 + -8)/(6/(-16)). Let k = -5 + d. Let m = k - 3. Solve -4*l + 3*l = m for l.
0
Suppose 2*o + 5*m = -0*o - 10, 37 = 5*o - 3*m. Suppose -3*p + 10 = -2*f - 5*p, 0 = 5*p + o. Let c = 4 + f. Solve 0 = 3*k - c + 9 for k.
-3
Suppose 3*u - 48 = -5*w, 2*u - w - 4*w = 7. Let a = 23 - u. Suppose -24 = -4*z + 4*d, z = -4*d - a + 3. Solve z*b = 12 - 3 for b.
3
Suppose 5*s + 23 - 33 = 0. Solve 0 = -s*a - a for a.
0
Let a(q) = -2*q**2 + q - 7. Let f(m) = 3*m**2 - m + 8. Let c(o) = -4*a(o) - 3*f(o). Let k be c(0). Solve -27 + 7 = k*s for s.
-5
Suppose 4*i = 5*z + 26, -3*i = -0*i - 5*z - 22. Suppose 6*d = 2*d + i. Solve -16 + d = 3*w for w.
-5
Suppose 3*s = -v + 5 + 8, 0 = -2*s - 4*v + 22. Suppose s*i - 4*i = 0. Solve 0*m + 2*m - 4 = i for m.
2
Let o be (-3)/(-4) - 10/(-8). Solve -o*r - 5 = -3*r for r.
5
Let a(b) = 3*b**3 - b**2 - 4. Let n be a(-3). Suppose 2*f + k = -0*k - 18, -26 = 2*f + 5*k. Let l be n/f + 3/12. Solve 0*x + l = -4*x for x.
-3
Let z(h) = h + 1. Let u be z(2). Suppose 0*y - u*y = 0. Let v(f) = -f**3 - 6*f**2 + f + 7. Let b be v(-6). Solve -d + y = -b for d.
1
Suppose -3*l = -5*z - 0 + 8, -5*l + 32 = 3*z. Solve -n - 1 = z for n.
-5
Let n(o) = -o + 3. Let z be n(8). Let r = 7 + z. Solve t + 4 = r*t for t.
4
Let a be (-2)/3 + (-12)/(-18). Solve a = -5*o + 5 for o.
1
Let v be ((-4)/(-2))/((-2)/(-21)). Let g = -11 + 10. Let t be (v/(-6))/(g/2). Solve t*a - 3*a + 20 = 0 for a.
-5
Suppose -3*q + 3*w - 3 = -0*q, -q - 5*w = -5. Suppose 5*s - 6 = -2*k, -s - 3*k = -0 + 4. Solve q*y + y = s for y.
2
Let g(a) be the third derivative of a**6/120 + a**5/15 + a**4/12 - a**3/6 + 3*a**2. Let w be g(-3). Solve -w*o - 2*o - 12 = 0 for o.
-3
Let g(l) = l**2 - l + 22. Let m be g(0). Let r be 260/(-22) - 4/m. Let k be (-1)/(-4) + 3/r. Solve 0 = -5*w + 10 - k for w.
2
Let w(p) = -5*p**3 + p + 1. Let z be w(-1). Suppose -4*i + z*i = 2. Suppose 45 = k + i*k. Solve -1 - k = 4*y for y.
-4
Suppose -3*a + 3 = m, 4*m + 0*m = -5*a + 47. Suppose x + 0*t = -t + m, -5*x - t = -82. Solve g - x = -3*g for g.
4
Suppose -l + 18 = 2*a, 3*l = -4*a - 0*a + 56. Solve 6*u - l = 11*u for u.
-4
Let z be (-1 + 0)*-18 - -2. Solve 9*t = 4*t - z for t.
-4
Let i = -4 - -7. Suppose 0 = s + 4*q + 34, -42 = s - q - 3*q. Let l = s + 58. Solve 0 = i*r + 2*r - l for r.
4
Let u(t) = t**2 + 6*t + 8. Suppose -5*n + 9 = -4*v + 60, -2*n - 5*v + 6 = 0. Let q be u(n). Solve x = 4*x - q for x.
5
Let u(n) = n**2 - 10*n + 2. Let f be u(8). Let j be 103/(-5) - f/(-35). Let h be (-2)/7 + (-48)/j. Solve 2*x + h*x + 8 = 0 for x.
-2
Let v be (-4 - (-8)/(0 + 2))/(-1). Solve v = 5*q - 8*q - 6 for q.
-2
Let p(n) = -19*n - 37. Let l be p(-3). Solve -l = -8*h + 4*h for h.
5
Suppose 0 = -5*o + 15, -5*j - o + 48 = -35. Let u be (63/(-4 - -1))/(-1). Let z = u - 18. Solve 0 = -k - z*k + j for k.
4
Let r(o) = -o**2 - 8*o - 12. Let m be r(-5). Solve 0*g = m*g for g.
0
Suppose 0 = -3*s + 9 - 0. Suppose 5*l + 3*d = 2 + 1, 3*l + 5*d - 5 = 0. Solve -s*q = -l*q + 6 for q.
-2
Let f = -10 + 16. Solve -3*g - f = -5*g for g.
3
Suppose -h - m - 5 = -14, -4*h + 40 = 5*m. Solve o + 3 = h for o.
2
Let n = -19 + 23. Solve n*f + 16 = -0 for f.
-4
Let v(n) = -n + 4. Let c be v(7). Let g be -1*12/c - 2. Solve -g*o + 25 = -7*o for o.
-5
Let w = 17 - 8. Let q = -5 + w. Solve h = -q*h - 15 for h.
-3
Suppose t - 3*t = 0. Suppose -v + 11 - 2 = t. Let s be 146/v + (-2)/9. Solve 0*r + 4*r - s = 0 for r.
4
Let u be (6/5)/((-2)/(-5)). Suppose -u*w + 2 + 7 = 0. Suppose 3*h = -5*a + 4, -a + h - 4*h = 4. Solve a*l = -w*l for l.
0
Let a = 16 - 8. Suppose r = -r + a. Solve 0 = -r*x - 8 - 0 for x.
-2
Let q = -12 - -18. Solve q*t + 20 = 2*t for t.
-5
Suppose 5*b - 5*t - 10 = 0, -b - 4 = -5*t + t. Suppose -b*j = -j - 33. Suppose -2 = -g + j. Solve -4 = -3*x - g for x.
-3
Let k be ((-2)/6)/((-2)/(-6)). Let c = k + 2. Solve s + c = 5 for s.
4
Suppose -124 + 49 = 5*l. Let v be (-50)/l - 2/(-3). Solve v*t + t = -25 for t.
-5
Let s = 2 + -3. Let a = s - -9. Suppose 7*y + 5*n + a = 3*y, -2*y - 2*n - 2 = 0. Solve y*j - 12 = -0 for j.
4
Suppose -v - 8 = -5*g, 5*v - 7 + 3 = 3*g. Suppose -3*d + 28 = -5*z, 2*d - 9 = 2*z + 7. Let j be 2/(-4)*d/(-3). Solve v*n - j = 5 for n.
3
Let z(u) = u**2 + 7*u - 8. Let h be z(-9). Solve -6*v = -h*v + 8 for v.
2
Let s = 7 - 1. Let r be (-24)/20*(-15)/s. Solve 0 = -l + r*l + 8 for l.
-4
Let l = -12 + 2. Suppose -12 = 4*k - 5*n, 5*k + 9 = -4*n - 6. Let d be k/2*l/3. Solve 0*q = d*q for q.
0
Suppose 5*t = 3*g - 5, 1 = 3*g + 4*t - 22. Solve g*a - 12 + 37 = 0 for a.
-5
Let k = 42 - 20. Let r be (-36 + 42)/(3/2). Solve 2 = r*a + k for a.
-5
Let i(l) = 0 - 2*l - 1 - 5. Let m be i(-4). Suppose -p + m = -0*p. Solve -3*s = -5*s - p for s.
-1
Suppose -5*r - 11 = 5*w + 4, 2*w - 2 = 2*r. Let s be (-3)/(1/w*1). Let a = 132 + -132. Solve 0 = -a*z + s*z for z.
0
Suppose 2*i = -0*i - 5*v + 10, -i - 2*v + 4 = 0. Solve 6*k - k + 15 = i for k.
-3
Let m(n) = -n - 4. Let s be m(-3). Let i be s/(-2*(-1)/(-16)