5 - 287 = 0 for g.
1
Let n(l) = -750*l - 4354. Let b be n(-6). Solve -23*h = -238 + b for h.
4
Let j = 218 - 424. Let g = -190 - j. Solve g - 8 = 4*u for u.
2
Let g = -27 + 31. Suppose a + g = 9. Let l = a + 1. Solve -q = -l*q - 20 for q.
-4
Suppose 2*u + 16 = 2*r, -25*r = -24*r + 3*u. Solve 6 = -r*v + 9*v for v.
2
Let b = 5091 + -5041. Solve 16*v = 6*v - b for v.
-5
Let z(p) = 2*p - 9. Let m be z(7). Let v = 44475 + -44470. Solve v = -m*q + 4*q for q.
-5
Let k = 2428 - 2229. Solve -k + 181 = -6*h for h.
3
Suppose 6*z - 3*z + 455 = -5*h, -500 = 3*z - 4*h. Let c be ((-32)/z)/(1/15). Let m(i) = i**3 + 5*i**2 - 3*i - 7. Let t be m(-5). Solve -t = -c*x + 7 for x.
5
Let t(v) = -9*v**2 + 29*v - 11. Let l(f) = -26*f**2 + 86*f - 32. Let y(m) = -5*l(m) + 14*t(m). Let p be y(6). Solve -s = -4*s - p for s.
-2
Let p(g) = 2*g - 37. Let c be p(20). Suppose 14 = -b + c*b. Suppose y - b = -5*o, -y + 6*y = 4*o - 23. Solve -o*v - 4 = -0*v for v.
-2
Suppose 0 = -3*z - 4*m, -7*z + 31 = -3*z - 5*m. Suppose -q = z*q - 8*q. Suppose q = -f + 4*f - 15. Solve -f*c = -3*c + 6 for c.
-3
Suppose 0 = -2*u - 2*z - 5 + 33, 2*z + 32 = 2*u. Let o be (-5)/(u/(-21) - 2/7). Suppose t + 1 = -2*g, -g + o*g = 3*t - 27. Solve 4*b = t*b for b.
0
Suppose -6*q + 4*q + 204 = 5*s, 3*s + 172 = 2*q. Let p be 12/(-54) - 3/((-27)/q). Suppose 0 = 5*v - 4*y - 50, v - 2*v = -2*y - p. Solve h - 6*h = -v for h.
2
Let n(w) be the third derivative of -w**4/6 + 137*w**3/6 + 2*w**2 - 11. Let b be n(33). Solve -b*u + 2 + 3 = 0 for u.
1
Let u(y) = -4*y**2 + 51*y + 104. Let p be u(14). Solve 44 + p = -13*n for n.
-6
Let m be 2/24*-46 - -4 - (-3701)/6. Solve -567 = 10*d - m for d.
5
Suppose -4*p - 539 = -555, 0 = -4*k - 3*p + 56. Solve -k*o + 58 = 47 for o.
1
Suppose 0 = -p + 3*q - 4*q + 12, -4*p + 5*q = 6. Solve -2*j - 12 = -p*j for j.
3
Let o(y) = -y**3 - 5*y**2 + 4*y + 20. Let z be o(-5). Suppose z = 23*i - 8*i - 165. Suppose 0 = i*d + 29 - 73. Solve -5*x - 21 - d = 0 for x.
-5
Suppose 74*p - 48 = 68*p. Suppose -3*x - p = -2*v, 2*x = -3*v + 7*v - 32. Solve 0*r = 2*r - v for r.
5
Let o(i) = -278*i + 51. Let h be o(0). Solve 10*u + 21 = h for u.
3
Suppose -5*t = 4*q - 2*t - 3, -3 = 2*q - 3*t. Suppose f - 5*k + 4 = q, 2*f + 0 + 2 = 4*k. Let p be 1/(f - (-1)/(-2)). Solve 0 = p*s + 7 + 3 for s.
-5
Suppose 75*t - 73*t - 10 = 0. Suppose -3*g - t*s - 32 = -228, 2*g + s = 119. Let q = 59 - g. Solve -i = -q + 6 for i.
-4
Let n be (6/4)/(-10 + 246/24). Suppose -3*z + 25 = -4*s, z + 11 = n*z + s. Solve z*f - 4 = -16 for f.
-4
Suppose 0 = -4*r + v - 34, -v + 26 = -3*r - 0*v. Let d be (-35)/(-20) - (-6)/r. Let w(q) = -q + 1. Let s be w(d). Solve -5*i - 1 - 24 = s for i.
-5
Suppose -l + r = -14, 128*r + 19 = l + 126*r. Solve -31 = -8*q + l for q.
5
Let b(s) = -s**2 + 5*s + 6. Let k be b(-1). Suppose -2*m = -k*m + m. Suppose 0 = -m*q + q + q. Solve -4*x - 11 - 1 = q for x.
-3
Suppose 34*b + 16 = 36*b. Suppose d + 51 = 5*x, d + d = 8. Solve m + b = x for m.
3
Suppose 3*a - 8*a = -5*j - 305, -2*j - 127 = 3*a. Let r = j + 65. Suppose -r*t - 12 = -9*t. Solve 2 + 2 = t*f for f.
2
Let i(r) be the third derivative of r**6/120 - r**5/4 + 25*r**4/24 + 19*r**3/6 + r**2 + 12*r. Let h be i(13). Solve -4*z = -18 + h for z.
3
Let l(n) = -n**2 - 123*n + 1630. Let w be l(12). Solve -9 + 19 = w*q for q.
1
Let b(m) = -m**2 + 38*m + 318. Let p be b(-7). Solve 0 = p*f - 83*f - 240 for f.
-3
Suppose 0 = -21*m + 337 + 250 + 43. Solve 29*o + 28 = -m for o.
-2
Let h(c) = 2*c**3 - 2*c**2 - 6*c + 6. Let z be h(2). Let k be (-18)/585*-13 - z/5. Solve -d - 1 - 3 = k for d.
-4
Let j(v) = v**3 + 5*v**2 - 9*v - 10. Let f be j(-6). Suppose 4*x = f*x - 84. Let a = -15 + x. Solve -a*h = -2*h + 12 for h.
-3
Let m = -7291 - -7311. Solve 89 = -m*w - 71 for w.
-8
Let j be 196/77 - 6/11. Suppose 7 = -3*c + 16. Solve c*b - j = 4 for b.
2
Suppose 0*u - u - 41 = -2*c, -59 = -3*c - u. Suppose c*w - 18*w + 28 = 0. Let v be (-1 - 2) + 4/(-8)*w. Solve 2*r = v*r for r.
0
Suppose q = 5*y + 3907, y + 359 = -5*q - 438. Let a = -771 - y. Solve 0 = -3*d + a + 1 for d.
4
Suppose 5849 + 11486 = 354*a - 2489. Solve -4*i - 10*i + a = 0 for i.
4
Let f(u) = -2*u**3 - 9*u**2 + 103*u + 433. Let i be f(-4). Solve i*j + 25 = 60 for j.
7
Let u be (4/8)/(6/144). Suppose h = -3*h + u. Suppose -p - 8 = -3*p, -h*z = 5*p - 41. Solve -5*q + 3 = -z for q.
2
Suppose 3*o - 7 = 8. Let n = 6 + -1. Suppose 2*z = 5*h - 10, 25 = 3*h - 0*h - n*z. Solve h = o*q - 8 + 23 for q.
-3
Let p be (-75)/(-10) + 1/2. Let f be (-25)/10*p/(-5). Let u = 0 - -5. Solve -u*z - f = -z for z.
-1
Let v(k) = -4*k**2 - 4*k + 2. Let x be v(-1). Let j = -10 + -13. Let n = j - -23. Solve -x*w + 4 - 6 = n for w.
-1
Let v(j) be the second derivative of 13*j**4/6 + 9*j. Let r be v(-1). Let u be r/26*(-1 + 1). Solve u = l - 0*l for l.
0
Let v be ((-8)/84 + (-600)/315)/(6/(-21)). Solve 12*k = -v*k - 114 for k.
-6
Suppose 0 = -q + 3, z = -2*z - 4*q + 66. Let y be (-1333)/(-279) - (-4)/z. Solve -a = y*a for a.
0
Let h = 0 + 0. Suppose 7*f = 11*f - 8. Suppose f*x + x = g - 15, -2*x - 8 = 0. Solve h*c + 15 = g*c for c.
5
Suppose 8*r - 10 = 3*r. Suppose r*d - 4*m = -3*m - 4, 2*d = -4*m + 16. Solve -h - h = d for h.
0
Suppose -5*d + 172 + 33 = 0. Suppose j - 333 = -8*j. Let p = d - j. Solve -p*y - 6 = -y for y.
-2
Let v(z) = -z**3 - 3*z**2 + 17*z + 107. Let k be v(-4). Solve -7*i - k + 20 = 0 for i.
-5
Let z = -10554 + 10579. Solve -z*j - 449 + 399 = 0 for j.
-2
Suppose -4*q - 4*c = -6 + 10, 4*q - 1 = -3*c. Let r be (-1)/(q*(-7)/56). Solve 0 = -2*n - r for n.
-1
Suppose 15*p = 144*p + 9*p - 138. Solve 3*a = 7 - p for a.
2
Suppose 5*c - 70 = 17*l, -2*c + 108*l - 111*l + 77 = 0. Solve 75 = c*p - 111 for p.
6
Suppose 0 = -4*d + 2*j - 46, 0 = -4*d - 0*j + 4*j - 40. Let l be (3/7)/(d/(-91)). Let i = -334 - -336. Solve i*b = b - l for b.
-3
Suppose 0 = -8*v + 311 + 73. Let p be (-3 - -2)/(v/(-15) + 3). Suppose -4*y + i = 3, -p*i = -3*y - 2*i - 9. Solve y = z - 1 + 6 for z.
-5
Suppose -2*r - 4*r + 24 = 0. Let z be 1/(r/24) + -5 + 3. Solve 7*q + z = 6*q for q.
-4
Suppose 5*x - 5*w = -1917 - 828, -2*x = w + 1089. Let o = x - -551. Solve 14 = o*j - 11 for j.
5
Let b(y) = -y**3 - y**2 - 6*y. Let m be b(0). Suppose -f - 2*a + 14 = m, a = -2*f + 3*a + 4. Solve g - f = -g for g.
3
Let o(n) be the third derivative of n**6/120 - n**5/6 - n**4/24 + 7*n**3/2 - 26*n**2. Let l be o(10). Solve -l = -5*z - 36 for z.
-5
Let p(s) = -25*s**2 - 103*s - 4. Let h be p(-4). Let d(y) = y - 4. Let x be d(9). Solve h = q - x*q for q.
-2
Let s = 18891 - 18888. Solve s*p - 1349 = -1337 for p.
4
Suppose -2*v - x + 9 = 0, -4*v - 4*x - x + 9 = 0. Solve -b - v = -7*b for b.
1
Suppose u - 93 = -359. Let w = u - -277. Solve -w*v = -3*v - 8 for v.
1
Let i(t) = 2*t**2 + 4*t - 8. Let j be i(2). Suppose j*a - 35 = 13*a. Let x be 154/(-33)*18/a. Solve 0 = -5*p + 8 + x for p.
4
Let q = -11537 - -11567. Solve q*v = 117 - 57 for v.
2
Suppose 2 = -6*u + 44. Suppose 613*q - 612*q - u = 0. Suppose 5*x - 3*x = 0. Solve x = -4*d - q + 19 for d.
3
Suppose p = -5*i + 27, 15*i - 28 = 11*i - 4*p. Solve 65 = 30*x + i for x.
2
Let g = -580 - -582. Suppose 2 = d - b - 0, 2*d = -g*b - 4. Solve d = -2*n + 9 - 7 for n.
1
Let g be (-2)/6 + (20/45)/(28/147). Let z = -7 + 11. Solve o = -z + g for o.
-2
Let k = -411 - -414. Suppose -1 = -k*b + 4*b, 3*z + 5*b = 13. Solve -z = r - 7 for r.
1
Let l(h) be the second derivative of h**5/10 + 25*h**4/6 + h**3/6 + 15*h**2 - 5*h. Let m be (-12)/48 - 396/16. Let k be l(m). Solve u + k = -0*u for u.
-5
Let x be 30/45 + 16/(-6) - -7. Suppose 5*t - 50 = -x*a, -5*a + 36 + 5 = 4*t. Solve t*r - 8 = 11*r for r.
-4
Suppose 210*s + 100*s - 262596 = 73*s. Solve 1083 = -5*y + s for y.
5
Suppose 64*s = 65*s + 1, 3*t = -3*s - 3. Solve -11*j - 1192 + 1280 = t for j.
8
Let g(r) = r**2 + 11*r - 14. Let j be g(-8). Let f be ((-20)/22)/(j/209). Solve 4 = -3*l - f for l.
-3
Let s be 9/12*(-3596)/(-93). Suppose -s*n = -4*n - 1725. Solve -5*u = 49 - n for u.
4
Suppose -13*g + 37*g - 12*g = 8*g. Solve 20*w - 31*w + 55 = g for w.
5
Let y = 14167 + -13769. Solve -397*x - 4 = -y*x for x.
4
Let h = -48180 + 48267. Solve 124 = 118*c - h*c for c.
4
Suppose b - 5*q + 3 = 0, b - 5*b + 3*q + 5 = 0. Let v be ((-12)/(-12))/(b/4). Solve -1 - v = -k for k.
3
Let g = 16 - 16. Let i be 