*k + 4 = -k for k.
1
Let h(k) = -k**2 + 7*k + 17. Let g be h(7). Let o = g - 14. Solve -10 = -f + o*f for f.
-5
Suppose -3*m + 55 = -50. Let k = m - 31. Solve -k + 1 = a for a.
-3
Let z(p) = -p**2 - 5*p + 3. Let q be z(0). Suppose -2*h - d = -7, -4*d - 2 - 14 = -q*h. Solve 4*o = -4 - h for o.
-2
Let y(t) = 6*t**2 + 1. Let l(j) = -j**2 - j + 1. Let g be l(-2). Let r be y(g). Suppose 3*c = q + r, 0 = -5*q + 13 - 3. Solve -c*b - b = 0 for b.
0
Suppose 0 = a - 2*z + 1, 5*a - 52 - 8 = -3*z. Solve 0 = 11*q + a + 46 for q.
-5
Suppose 3*r - 22 = -2*y + 10, -3*r + 40 = 4*y. Suppose -4*b - 4 = -r. Solve 0 = 4*q - 3 - b for q.
1
Suppose 2*v = 6*k - 7*k + 22, -4*k + 48 = -2*v. Solve -2 = -8*t + k for t.
2
Suppose 0 = -c - 4*s - 5, 3*s + 14 = 2. Solve c*i = 7*i for i.
0
Let m(g) = g**2 - 2*g - 16. Let w be m(-5). Let b = -8 + 1. Let v = w + b. Solve c + 3*c - v = 0 for c.
3
Let q be (1 - 0)/((-8)/(-1296)). Let h be 4/10 + q/45. Let i be (-5)/(-2) + 1/2. Solve i*f - 5 = h*f for f.
-5
Let q(s) = s**3 + 8*s**2 + 9*s + 7. Let f be q(-7). Let t = f - 16. Let o be (-3 + t)*1/(-2). Solve -5*c + o = -2 for c.
3
Let i = 18 - -28. Suppose 0 = 4*x - i + 18. Solve x - 4 = 3*u for u.
1
Suppose -606 - 406 = -23*p. Solve 12 - p = -8*k for k.
4
Suppose -171 = -30*v + 21*v. Solve v*x = 15*x + 20 for x.
5
Suppose -5*z - 25 = 4*x - 0*z, 0 = 3*x - 4*z - 20. Solve -3*j - 4*j - 14 = x for j.
-2
Suppose 0 = -9*w + 5*w + 16. Suppose 0 = -8*g + 3*g + 4*d + 15, 2*g = -5*d + 6. Suppose y + g = m, -5*y = 3*m - 4 - 5. Solve -w*b = -m - 1 for b.
1
Let r be 7/(((-2)/(-16))/((-33)/(-264))). Solve -r*w - 20 - 1 = 0 for w.
-3
Let z(m) = 3*m**2 - 5*m. Suppose -q + 4*v = 18, 0*v + 3*v = -5*q + 25. Let g be z(q). Solve 20 = -g*s - 3*s for s.
-4
Suppose -3*f = -5*y - 20, 0*f + 2*f = -3*y - 12. Let q(g) = g**3 + 3*g**2 - 4*g - 4. Let d be q(-4). Let x = f - d. Solve -x*u = -u for u.
0
Suppose -5*o - 39 + 3 = -4*j, 0 = -3*o. Suppose 5*q - 6 = -5*p - 1, j = p - q. Solve 0*k = p*k + 20 for k.
-4
Let t(w) = -2 + 2 + 10*w - 5*w - 3. Let s be t(2). Solve -s*j + 3*j = -20 for j.
5
Let c(h) = -h**3 - 25*h**2 - 66*h + 3. Let i be c(-22). Solve 16 - 16 = -i*w for w.
0
Suppose -6 = m + 3*x - 14, -5*m = -5*x. Let j be (3 + 0)/1 - m. Let s be j - -1 - (2 - 2). Solve -s*h + 1 = -9 for h.
5
Let k(j) = -j**2 + 5*j - 2. Let y be k(3). Let d = 1788 + -1787. Solve 9 = y*f + d for f.
2
Suppose 5*r + 2*p + 3*p - 110 = 0, -4*r = -5*p - 52. Suppose -25 = r*k - 23*k. Solve k*o = 2*o + 12 for o.
4
Let t(z) = 15*z**2 + 44*z + 1. Let w be t(-3). Solve 2*q = 3*q + w for q.
-4
Suppose 10 = 13*m - 14*m + 3*k, 2*m - 4*k = -12. Solve 3*w + m*w = 3*w for w.
0
Suppose -2*k + 4*l - 5 = k, 0 = -4*l + 20. Solve -7*i - k = -2*i for i.
-1
Suppose 4*s - 17 = o - 5, 3*s - o = 8. Solve -7*i = -s*i for i.
0
Let c = 705 + -669. Solve -7*k = 5*k - c for k.
3
Let x(z) = z**2 + 10*z + 29. Let w be x(-7). Solve r = -r + w for r.
4
Let i = -24 + 10. Let z be 10/((-7)/(i/4)). Let y be (1 - 2) + 4 + z. Solve -3 = -o - y for o.
-5
Let g = -870 + 876. Solve -7*w = -4*w - g for w.
2
Suppose 0 = -4*k - 0*k + 24. Let h = -4 + k. Suppose h*v - 3 = 5. Solve 1 = -b + v for b.
3
Suppose s - 25 = -0. Suppose 2*k = 10*k + 104. Let l = s + k. Solve 7*v = 3*v + l for v.
3
Suppose -5*g + 7 = -4*g. Suppose 0 = 3*u - 2 - g. Solve 0 = q - u*q for q.
0
Suppose -3*t = -0*t + 150. Let m be -6 - t/8 - (-14)/8. Solve -15 = u + m*u for u.
-5
Let w = -3 - 12. Let f be 2/(-10) - 228/w. Suppose -30*z = -33*z + f. Solve 3*m - z*m = 10 for m.
-5
Suppose 2*v = -2*v - 12. Let h(x) = -3*x - 5. Let m be h(v). Solve 0 = 2*t + 2*t - m for t.
1
Suppose 3 + 6 = 3*t - 4*j, 4*t = -4*j + 40. Suppose 3*g = 18 - 6. Suppose 0 = -3*z + g + 44. Solve t*y = 3*y - z for y.
-4
Suppose n = 2*p + 32, -p - 5*n = 2*p + 48. Let q = -13 - p. Suppose 0 = -2*d + q + 1. Solve d*k = 3*k + 4 for k.
-4
Let v = 769 - 765. Solve 0 = -29*w + 27*w - v for w.
-2
Suppose -16*z + 2*b + 54 = -14*z, -b - 96 = -4*z. Solve z = -12*u - 13 for u.
-3
Suppose -4*a + 20 = 0, -1 = 3*k - 0*k + 4*a. Let c be (-19)/k - 16/(-56). Let i be ((-4)/(-5))/(18/45). Solve c*p + 1 + i = 0 for p.
-1
Suppose -j - x = 12, 26 = 5*j - 5*x + 86. Let h be (102/j)/((-1)/2). Let a be (1 - -3) + h + -1. Solve -4*u + a = u for u.
4
Suppose -5*w - 20 = 0, 0*y + 4*y = 3*w - 80. Let s be (y - -9)*(-2)/7. Suppose 2*b = 6 + s. Solve 3*n - 4*n = b for n.
-5
Suppose 0 = 4*g - 14 - 30. Suppose 0 = 2*t + g - 19. Let h be t - (-5)/((-20)/8). Solve x = -h*x for x.
0
Suppose 2*y = b + 44 - 38, 4*y - 3*b = 8. Solve -y*m + 3*m = -10 for m.
5
Let p be (-1)/3 - 74/(-6). Let j be p/(4 + 0) + -30. Let o be 1/(((-12)/j)/4). Solve -16 = 5*i + o for i.
-5
Suppose -l + 5 = -5. Suppose -l*y + 8*y = 0. Let a = 32 + -29. Solve -a*m + 9 = -y*m for m.
3
Suppose 0 = -10*g - 82 + 122. Suppose -5*x + 16 = -4. Solve -2*v - g = -x*v for v.
2
Suppose 0 = j - 6*s + 3, 3*s + 2 = -4*j + 17. Solve -9 + 12 = j*m for m.
1
Suppose -3 = -i + 5*g, g - 9 = -3*i + 4*g. Suppose i*r - 27 = 2*z, 0 = 4*r - 2*z - 2 - 32. Let y(p) = -p - 17. Let b be y(-17). Solve b = 5*f - r - 3 for f.
2
Let h = -34 - -15. Let p = 27 + h. Solve o + o = p for o.
4
Let l = -17 - -29. Let f = -6 + l. Solve 0 = 4*p - p + f for p.
-2
Let r(o) = 2*o**3 + 11*o**2 - o - 14. Let l(x) = -3*x**3 - 22*x**2 + x + 29. Let b(f) = -3*l(f) - 5*r(f). Let c be b(11). Solve 0 = 2*z - c*z - 15 for z.
-5
Suppose l - 5*a = -a + 29, 3*a = -3*l + 57. Let r = l + -17. Solve r*v = -11 - 9 for v.
-5
Let j(a) = a**2 + 12*a + 17. Let p be j(-7). Let m be (-3)/18 + (-39)/p. Solve -t = m*t - 3 for t.
1
Let p = -51 + -6. Let o = p - -67. Solve 3*h = o - 1 for h.
3
Let z(o) = -2*o**3 + 2*o**2 + 6*o + 7. Let h be z(-2). Suppose -s + 3 = -0. Suppose y - 4 = -3*j, 3 - h = s*j - 4*y. Solve t + j*t = 2 for t.
2
Let t = 68 - 68. Let x be (-4 + 3 + t)*0/1. Solve x = -2*p + 6 + 2 for p.
4
Suppose -n = -2*n, -3*p + 3*n = -51. Suppose -5 = -o + 2*w, 12*w + p = 4*o + 7*w. Suppose 470 + 167 = -9*r + 58*r. Solve -o*d - 1 = -r for d.
4
Let q = -11 + 15. Suppose -q*c = -25 - 11. Solve -c = i + 2*i for i.
-3
Suppose 0 = a - 2*g - 2*g + 12, 4*a - 5*g = -4. Let t = a - -6. Solve -f = f - t for f.
5
Suppose i + 2*u + 2 - 7 = 0, -2*u + 26 = 4*i. Suppose 57*c - 50*c - 14 = 0. Let q = i - c. Solve -3*n = -q*n - 8 for n.
-4
Let m(y) = -y**3 - 8*y**2 + 5*y + 34. Let x be m(-9). Suppose -6 = x*p - 71*p. Solve 2*g = -0*g - p for g.
-3
Suppose -4*u + 11 - 7 = 0. Solve -a + 2 = -u for a.
3
Let k(c) = c**2 + 10*c - 9. Let n be k(2). Solve 4*y = 9*y + n for y.
-3
Suppose -4*m - 25 = -9*m. Suppose 0 = -5*x + m*s, 6*s = 5*x + 2*s - 1. Solve -3*k = x - 7 for k.
2
Let w = -20 - -25. Let f be -3 + w/3*3. Solve 16 = 2*q + f*q for q.
4
Let a(x) = -x**2 - 7*x - 2. Let w be a(-9). Let j be -10*(32/w)/4. Suppose j*q = 3*q. Solve q = -2*f + 4 for f.
2
Suppose -7*a = -2*a - 20. Suppose -5*l = -0*l - 10. Suppose 0*n = 2*n - 4*w - 52, 0 = 5*n - l*w - 114. Solve a*b + 2 = n for b.
5
Suppose 5*w + 15 = 2*w, 2*r - 2*w = 16. Suppose 4*p + d - 37 = -4*d, -4*p - r*d = -27. Solve 12 = -g - p*g for g.
-3
Suppose -m - m + 58 = 0. Let g = -35 + m. Let w be 3/(1/(-20)*g). Solve -w = -2*h - 2 for h.
4
Let j = 51 + -30. Let a = -17 + j. Solve -a*t - 26 = -10 for t.
-4
Let x(u) = u**2 - 4*u + 5. Let p be x(3). Suppose -12 = y + 5*d + p, 0 = -2*y - d - 73. Let n = 40 + y. Solve 4*s = 5*s - n for s.
1
Suppose 3*m - 4*m = -0*m. Let k = 23 - 18. Solve k*i + 10 = -m for i.
-2
Suppose 0 = -5*d + 4*d - s + 1, 21 = 5*d - 3*s. Suppose 4 + 2 = d*h - 3*a, 3*h = 2*a + 9. Solve -2 = -3*p + h*p for p.
-1
Suppose 4*p = -5*q + 55, -38*q + 34*q + 2*p + 18 = 0. Solve -5*v + q*v + 2 = 0 for v.
-1
Let i = -92 - -86. Let v be (27 - 24)/(i/(-20)). Solve -v = -5*d + 10 for d.
4
Let k = -1320 + 1386. Solve -69*b - 3 = -k*b for b.
-1
Let i be (-39)/(-13)*2/(-6). Let x be (2/4*-4)/i. Solve 1 - 3 = -x*f for f.
1
Let o(v) = -18*v - 12. Let c be o(-3). Suppose 6*f - c - 42 = 0. Solve -5*i + f + 6 = 0 for i.
4
Suppose -9*o - 5*o + 84 = 0. Solve o*w - 12 = 2*w for w.
3
Let h(t) = 18*t**2 - 16*t - 17. Let z be h(-1). Solve z = 5*r + 7 for r.
2
Let x = 2199 - 2187. Solve -x = 3*u + u for u.
-3
Suppose 0 = -6*h + 19 + 47. Solve h*j - 8*j = j for j.
0
Suppose 41 = 5*a - 6*a. Let i = a + 43. Solve 17 - i = 5*n for n.
3
Let w(k