- 2*h + x for h.
3
Let g(u) = u**3 + 3*u - 2. Let o(i) = -i**2 - i - 1. Let b(q) = g(q) + 3*o(q). Let j be b(5). Suppose -j = 4*t - 9*t. Solve 0 = -0*x - 3*x - t for x.
-3
Let b = 53 - 50. Suppose -2 = p - 2*p. Suppose -p*m = -m. Solve i + b*i = m for i.
0
Suppose -3*t + 5*c = -t + 12, 0 = -c + 4. Suppose 5*s - 61 = 3*y, t*s + 4*y = y + 65. Solve 0 = 5*j + 6 + s for j.
-4
Let m be 1/2*2 + 1. Let u(x) = -5*x + m*x + 4 - x**2 - 2*x. Let i be u(-5). Solve -5*r - i = -r for r.
-1
Suppose 2*a + 7 = 2*h - 5, -3*a = -h + 14. Solve 0 = -h*j + 3*j for j.
0
Let c(n) = 67*n + 14. Let p be c(1). Solve p*d - 84*d = 0 for d.
0
Let t(h) = -2*h - 2. Let n be t(-1). Let o(i) = -i - 2. Let d be o(-5). Suppose -5*m = -4*m - 10. Solve n = d*j + 2*j - m for j.
2
Let h(z) = 7*z**2 + 33*z - 3. Let n be h(-5). Solve 2*q - n*q = 10 for q.
-2
Suppose 272 = 122*i - 118*i. Solve i - 48 = -5*v for v.
-4
Let m be 51*(-13)/(-26 + 13). Solve m = 3*i + 39 for i.
4
Let r(z) = 3*z**2 - 18*z - 1. Let o be r(7). Solve 3*i - o = -2*i for i.
4
Suppose -3*o + 42 = -3*f, 102 - 32 = 5*o + 2*f. Solve 5 = o*l - 9*l for l.
1
Suppose 7*q + 176 = 435. Suppose -5*x = -3*f + 7*f - q, 5*x - 25 = 0. Solve -f*t - 20 = t for t.
-5
Suppose 114 = -3*b + 9*b. Let m be (-12)/(12/(-4)) + 1. Solve -4 = m*s - b for s.
3
Let r = 3 + -3. Suppose 8*j - 5*j + 12 = 0, 3*o + 4*j = -58. Let k = -12 - o. Solve 0*a - a - k = r for a.
-2
Let m = -524 - -530. Solve -m*f + 7 + 5 = 0 for f.
2
Suppose 5*i + 15 = -3*p, 2*i = 3*p + 24 - 9. Let b(o) = o**3 - 4*o**2 + 4*o + 1. Let v be b(3). Solve 3*l - v + 19 = i for l.
-5
Suppose 3*w = -0 + 6. Suppose -w*q = 3*q - 3*t - 1, 0 = 3*q + 5*t - 21. Solve 0 = -n + q*n for n.
0
Let u be (44/(-8) + 4)*10. Let o be (-3)/(-2) - u/(-10). Solve -2 + o = -t for t.
2
Let z(m) = m**3 - 13*m**2 - 87*m - 44. Let l be z(18). Solve 60 = -25*t + l for t.
-2
Suppose 2*b = 5*s - 35 + 13, -2*s + 5*b = -13. Suppose 2*i + 11 = 3*j - 2*j, 4*j = -s*i - 16. Solve k + j = 4 for k.
3
Let m(k) = k - 2. Let u be m(6). Solve 8 = 4*y + u*y for y.
1
Suppose -1 - 3 = 4*d. Let g(c) = -12*c**3 - 3*c**2 + c + 2. Let o be g(d). Solve -7*l = -2*l - o for l.
2
Let a be (-4 - 2)*(-2 + 0). Suppose -d + 84 = -a. Let o be 16/d + (-22)/(-12). Solve o - 17 = -5*x for x.
3
Suppose -10*x = -33*x + 69. Solve x*j = 16 - 22 for j.
-2
Let t be 545/30 + (-3)/18. Let c be 2/((-6)/3)*-25. Let l = c - t. Solve 2*y = l*y + 20 for y.
-4
Let q(f) = f**2 + 7*f + 5. Let c be q(-7). Suppose -2*p - 2*p - 2*l = -30, c*l - 12 = -p. Suppose -10*d = -p*d. Solve d = 4*j - 27 + 7 for j.
5
Let f(r) = r**3 + 4*r**2 - 6*r + 3. Let a be f(-5). Suppose -a*k = -7*k - 6. Suppose k*o = 4*o + 2. Solve v - o = -5 for v.
-4
Suppose -120*y + 95*y = -125. Solve 13*x + y = 8*x for x.
-1
Let b be (-3 - -14) + -4 - -2. Solve 2*n - 3 = -b for n.
-3
Let z be (-45)/(-9) + (0 - 1). Suppose 0 = -5*v + z + 6. Suppose -v*o = 3 - 11. Solve l = 5 - o for l.
1
Let k = 42 - 40. Solve k = -3*r - 4 for r.
-2
Let w = -49 - -63. Suppose -4*x + w = 2. Solve 7 = 4*t + x for t.
1
Let m be (2/(-10)*0)/3. Solve m = -o - 2*o for o.
0
Let l = -98 - -104. Let g = -15 + 26. Let p = g - l. Solve p*a - 3 = 2*a for a.
1
Suppose g - 5*g - 4*r + 188 = 0, 126 = 3*g - 2*r. Let m = g + -44. Solve 0 = -m*w + w - 1 for w.
1
Let l(i) be the first derivative of i**4/24 + 2*i**3 - i**2 - 2. Let r(k) be the second derivative of l(k). Let o be r(-11). Solve -2*v = -v + o for v.
-1
Suppose -2*z + 15 = o, 0 = 5*o - 2*z - 3*z. Let a = 13 - 3. Solve -a - o = -3*s for s.
5
Let q(m) = 86*m - 488. Let k be q(6). Solve 22*y - k*y = 12 for y.
-2
Let f be (13 - 0) + 5 + (-8 - 2). Solve -3*z + f = 2 for z.
2
Let z = -22 + 22. Suppose 3*x + 7 + z = 4*j, 4*x = 3*j - 7. Solve -3*c - j = -4 for c.
1
Let a be 2*5/3*(-12)/(-10). Solve 4*l + 8 = -a for l.
-3
Let a be (-4)/3 + (-14)/(-6) + -2. Let k be 20/5*a*(-2)/2. Solve -2*i - k = -3*i for i.
4
Suppose -4*c = -3*p + 5, -p = c - 12 + 1. Solve -5 = -4*z + p for z.
3
Let p = 369 + -367. Let y be (3 - 10/4)*0. Solve y*q - 8 = -p*q for q.
4
Let f = 47 + -43. Suppose 2*j + 0 - f = 0. Solve -5*x - 3 = j for x.
-1
Let m = -689 + 701. Solve 0 = -3*v - 0*v + m for v.
4
Let t = 8 - 3. Suppose 24 = 2*a + 2*j + 10, -3*a = -j - t. Suppose 5*w = 0, -3*w - 3 + 9 = a*s. Solve 0*m - s*m + 4 = 0 for m.
2
Suppose -2*y = -5*w + 9, -2*y - 2*w = -14 - 12. Solve -6*n + 4*n = y for n.
-4
Let w be -74*4/8*3. Let a = w + 116. Solve 0*j - a*j = -25 for j.
5
Let o = 1118 + -1102. Let d = 2 + 2. Solve 0 = -0*q - d*q - o for q.
-4
Let g = -108 + 117. Suppose -r - 3*w + g = 2*r, 4*r - 13 = -3*w. Solve r*i - 3 - 1 = 0 for i.
1
Let k(z) = -z**3 - 3*z**2 + 6*z - 5. Let l be k(-5). Suppose -4*u + 452*i = 450*i, i = -2*u + 8. Solve 3*j = -u*j - l for j.
-3
Let i(b) = 3*b + 71. Suppose 124 - 32 = -4*d. Let z be i(d). Solve -4*v = -3*v - z for v.
2
Let m = 141 - 138. Solve -5*i + m*i = 0 for i.
0
Let a = -15 + 17. Suppose -44 = -6*f + a*f. Solve 9 = 5*v - f for v.
4
Let b = 769 + -752. Solve -b*k = -16*k - 3 for k.
3
Let q(r) = -r**2 + 25*r - 81. Let d be q(21). Solve n - 6 = -d for n.
3
Suppose 5*j + 19 = -4*n + 5*n, -n + 3*j + 23 = 0. Solve 27 - n = -p for p.
2
Suppose 0 = -p + 2*p + 20. Let b be 0 + 3 + 1*-26. Let x = p - b. Solve -4*o + x*o + 2 = 0 for o.
2
Let v = 30 + -23. Let y = 16 - v. Let n = y - 1. Solve -n = 5*p - 3 for p.
-1
Let g = -25 - -24. Let a be (g - -2)/(5/10). Let v = 8 - 4. Solve -v = l - a*l for l.
4
Suppose 0 = 3*d, -5*b + 15 = -0*b - d. Solve -b*w = -12 - 0 for w.
4
Let x = 255 - 252. Solve -7*l + 4 = -x*l for l.
1
Let h(z) = -5*z - 1. Let f be h(-1). Suppose -3*i + f*a = 20, -4*a - 3 = -11. Let d be i/16 - 39/(-12). Solve -j + d*j = 0 for j.
0
Let u = -12 + 12. Suppose 2*v + u*v = 12. Let x = v - 2. Solve 0*l + x = 2*l for l.
2
Let b = -335 - -344. Solve 16*y = b*y - 35 for y.
-5
Suppose 0 = f + 5*s + 36 - 56, -3*f = -s - 108. Solve -10*y + 3*y = -f for y.
5
Let l(b) = -b**3 + 3*b**2 + 5*b + 2. Let o be l(4). Let k be 1/o + 154/12. Solve -1 = -4*q - k for q.
-3
Suppose 0 = -120*j + 87*j + 2871. Solve 86*q = j*q + 3 for q.
-3
Let s = -18 - -37. Suppose 3*y - 13 = 5*r, 4*y = r + 4 + s. Suppose 0 = -4*l + 2*a + 3*a + y, -l - a + 6 = 0. Solve -l*z + 2*z - 2 = 0 for z.
-1
Let b be (-12)/8*200/(-10). Solve 3*h + 21 = b for h.
3
Let i be ((-4)/(-14))/(10 + (-417)/42). Solve 0 = 6*n - i*n - 8 for n.
4
Suppose -11*c = -277 + 46. Solve g - c = -24 for g.
-3
Let i be 2/(-1) + (-6)/(-3). Suppose i*k - 2*k - 3*c - 15 = 0, -3*k - 2*c = 10. Solve k = -6*x + 3*x - 15 for x.
-5
Suppose -15*l + 52*l - 370 = 0. Solve 3*t - 13 = -l for t.
1
Suppose 2*s + 64 = -2*s - 4*y, 5*y = 25. Let k = -6 - s. Suppose 0*o + 5*o = k. Solve -o*b - b = -4 for b.
1
Suppose i - 3*x - 1 = 0, -2 + 5 = 3*i - 4*x. Solve -3 = s + i for s.
-4
Let c be (203/21 + -10)*(-36)/2. Solve 27 + 3 = c*x for x.
5
Suppose 5*a + 2*o + 2*o - 52 = 0, 0 = -5*o - 10. Suppose -d + i + 3*i - 14 = 0, 3*i - a = 0. Solve -d*u + 8 = 2*u for u.
2
Suppose -61*s = -70*s + 81. Solve -5*k = -s*k + 8 for k.
2
Let h = -8 + 33. Let c = h - 23. Solve l - c = -5 for l.
-3
Suppose -6*w + w + y - 97 = 0, -3*w = -y + 59. Let b = w - -20. Let a be 6 - -1*(2 + -3). Solve a = 2*j + b for j.
2
Suppose 179 - 527 = -87*b. Solve -7 - 5 = -b*p for p.
3
Let n be 79/(-5) + 3/(-15). Let m = -12 - n. Let t = 5 - 5. Solve t = m*g - 0*g - 8 for g.
2
Let d(x) = 3*x - 24. Let j be d(8). Suppose -3*l + 4*u + 30 = j, 0 = 3*l - 3*u - 0*u - 27. Solve -s + l*s + 10 = 0 for s.
-2
Let z(q) = -q**3 + 10*q**2 + 24*q + 8. Let i be z(12). Solve -6*h = -i*h - 8 for h.
-4
Suppose 3*g - 9 = 0, 11 = 4*n - 3*n - 5*g. Solve 4*l + 6 = n for l.
5
Let t(k) = -k**3 - 10*k**2 - 4*k - 14. Let m be t(-10). Solve 5*j + 6 = m for j.
4
Let x be 207/18 - 2*(-6)/(-8). Solve 11*m - 5 = x*m for m.
5
Let j = -16 - -78. Let x = j + -51. Solve 4*l + 1 = -x for l.
-3
Let d = -1183 - -1186. Solve 77*k - d = 78*k for k.
-3
Suppose -2*c + 87 = 69. Suppose 4*u = -u - 25. Let o be (u + c)/(-1 + 3). Solve 0 = -2*m + o for m.
1
Suppose 44*q - 17*q - 81 = 0. Solve -q*w - 17 + 20 = 0 for w.
1
Suppose -33*h - 8*h = -533. Solve -6*z - 17 - h = 0 for z.
-5
Let c(d) = d**3 - 16*d**2 - 58*d + 54. Let h be c(19). Solve 0 = 8*s - h - 5 for s.
5
Let z(y) = -3 - 3 - y + 0 - 2*y. Let j be z(-4). Let x(f) = -2*f -