 g.
2
Let s(h) be the second derivative of h**4/12 - 3*h**3/2 + 7*h**2 - 7*h. Let j be s(7). Suppose j = 2*x - 29 - 11. Solve r - 5*r = x for r.
-5
Suppose -5*v + 5*c + 108 = -27, -c + 27 = v. Let b = 203674 - 203671. Solve -b*q = 6*q + v for q.
-3
Let n(d) = 13*d**2 + 45*d + 34. Let q be n(-4). Solve 36*j + 82 = -q for j.
-4
Let f(w) = -w**3 - 71*w**2 - 1222*w + 16. Let a be f(-42). Solve 225*x = a*x for x.
0
Let h(q) = -q**3 - 5*q**2 + 4*q - 10. Let y be h(-6). Let r(s) = -12*s**2 + 6*s - 9. Let d be r(y). Let b = 47 + d. Solve -5*c = -b + 27 for c.
-5
Suppose -20*x - 4*x + 216 = 0. Suppose -100 = -x*q + 5*q. Let f be 1 - ((-3 - -3) + -3). Solve f*t - q = -t for t.
5
Suppose -8 + 24 = -4*o, b - 3*o = 433. Let j = -417 + b. Solve 5 = v + j for v.
1
Let u(q) = -q**2 - 6*q - 2. Let k(o) = 3*o + 12. Let p be k(-5). Let c be u(p). Suppose -9*j = -3*j - 24. Solve j*n + 3 = c for n.
1
Let n(j) = -1605*j + 3213. Let o be n(2). Suppose -1 = g - 2*g. Solve 2 = o*u - g for u.
1
Let f be (3 - 22/10)*4230/4. Let h be 94/11 - (f/99 - 8). Solve -h*l + 7 = -9 for l.
2
Let c be 20 - (46 + -50 + 5/(5/6)). Solve -c + 57 = -13*i for i.
-3
Let j(d) = -2*d + 64. Let g be j(18). Let q be (3384/g)/3 + 4/(-14). Solve -h + 11*h = -q for h.
-4
Suppose -35*u = -2491 + 531. Solve -8*n = 6*n + u for n.
-4
Suppose 0 = 4*x - 178 - 202. Suppose -120 = -101*p + x*p. Solve -11*s + p = -6*s for s.
4
Let s be (-28)/(-8)*638/203. Solve -x = s*x - 36 for x.
3
Let i be 10/7 + 16/28. Let s be (-40)/12*(i + -5). Suppose -m = m - s. Solve m*w - 2 = -27 for w.
-5
Let q be (1*(-1 - -61))/(-5 + 7). Solve 19*n + q = -27 for n.
-3
Let g(y) = 37*y**2 - 964*y + 72. Let r be g(26). Solve 0 = r*i - 26 - 74 for i.
5
Suppose -8 = 4*m - 7*h + 3*h, 0 = -2*m + h - 1. Let t(b) = b**2 + 35*b - 15. Let n be t(-35). Let i(q) = -7*q - 101. Let j be i(n). Solve m = -j*f + 5*f for f.
1
Suppose -8*n = -24*n + 736. Let w = n - 44. Let l(z) = z**2 - 3*z - 6. Let m be l(5). Solve -w = -t - m for t.
-2
Suppose 0 = -25*b + 22 + 103. Suppose -4*c + b*p - 3*p + 34 = 0, 5*p = 4*c - 49. Solve -y + 10 = c for y.
4
Let a be -5 + 10 + 2/(-3) + 2652/36. Solve -75*t + 18 = -a*t for t.
-6
Suppose 36 - 11 = 5*g. Suppose 2*m = 4*m - 74. Suppose b + m = g*o, -7*b + 12 = -3*b. Solve 3*v + o = 7*v for v.
2
Let d(o) = -4*o - 2. Let p be d(7). Let y = p - -60. Suppose -3*h = 4*l - 61, h = -4*l + y + 33. Solve 5*b + 6 = l for b.
2
Let z = -573 + 673. Solve 107*y - z*y - 35 = 0 for y.
5
Let c = 26 + -30. Let u be c/1 - (2 + 1). Let q(x) = -x**3 - 8*x**2 - 6*x + 14. Let i be q(u). Solve 3*t + 5 + i = 0 for t.
-4
Let h(o) = 24*o + 447. Let k be h(-2). Solve 2*x + k = 403 for x.
2
Let l be 1*9*(2172/108 + -2). Solve 134*u = l*u + 203 for u.
-7
Suppose 3*k = 5*h - 584, -16*k = -3*h - 12*k + 357. Solve -20*t = 3*t + h for t.
-5
Let m(s) = 2*s**2 - 8*s + 7. Let z be m(5). Let n = z + -22. Let v be (n/(-10) - 0)*16. Solve 5*t + v = 3*t for t.
-4
Let d be -10*72/240*(-1 - (4 - 2)). Solve 0 = d*f - 9 + 45 for f.
-4
Let z be (20/8 - 0)*44/10. Suppose 0 = -2*s + 2*g + 2*g + 2, -g - z = -4*s. Let y be (-8)/((-1 - s) + 2). Solve 5*t + 14 - y = 0 for t.
-2
Let o = 101 - -15. Suppose -13*p - o = 40. Let h = p - -28. Solve h = -5*r + 1 for r.
-3
Let d = -53870 + 53879. Let m = 39 + -28. Solve m = u + d for u.
2
Let f = 9 - 6. Let g(m) = -m**3 - 14*m**2 - 25*m + 36. Let v be g(-12). Suppose 3*u + p - 22 = 0, f*u - 4*p - v = -2*u. Solve n + 3*n = u for n.
2
Let a be 0*(2 + -3)*6/12. Solve -9*u + 17*u - 8 = a for u.
1
Suppose -2*l + 54 = 4*z, 0 = -4*z - 216 + 220. Solve -24*g + l = -19*g for g.
5
Suppose 225388 = 393*a + 579*a - 131*a. Solve -73*w = a + 97 for w.
-5
Suppose 2*t + 30 = -5*q, q + 15 - 7 = 0. Suppose -5*u + 16 = -2*m, 7*m - 3*m = 3*u - 4. Suppose l - m*l = 5, 93 = 4*j - 5*l. Solve -t*k - 2 + j = 0 for k.
3
Suppose 3*v - j = -4, 0 = -v + j - 0*j - 2. Let y be v - -2 - (28 - 28). Suppose 30 = 5*m + 5*z, 6*m - 2*m = -5*z + 27. Solve -4*b - y = m for b.
-1
Let k(q) = 15*q - 40. Let x be k(-10). Let l be (8/(-5))/(152/x). Solve -l*i + 6 = 4*i for i.
1
Let h(k) = 39*k - 107. Let y be h(-4). Let n = y - -277. Solve -n + 5 = -3*w for w.
3
Suppose -5 = g, 5*c + 0*g - 105 = 4*g. Solve 6*v - 1 = c for v.
3
Let b = -25 - -46. Let j be -17 + -30 + 38 - -14. Solve 2*x - b = -j*x for x.
3
Suppose 4*j = 4*u + 1 + 3, 2*j + u = 5. Suppose 0 = -10*x - 1450. Let h = -142 - x. Solve -j*q = -h*q for q.
0
Let h(s) be the third derivative of s**6/40 - s**5/60 + s**4/24 - s**3/6 - 4*s**2 - 2. Let p be h(1). Solve 0*j = p*j - 2 for j.
1
Suppose -6150 = -4*z - 6126. Let w = 126 - 116. Let b(f) = f**3 + f**2. Let n be b(-1). Solve c - z*c + w = n for c.
2
Let a be 2*(-3)/(-2) + (-2369)/506*-22. Solve 218 = 14*u + a for u.
8
Suppose -5*b + 10 = 2*h, -9*h + 10*h + b = 2. Solve -n + 656 - 651 = h for n.
5
Let h = 71 + -47. Solve -2*t = 20 - h for t.
2
Suppose r - 3*y + 3 = -r, -4*y + 27 = 5*r. Suppose 0 = -3*b - b - 1760. Let i be 101/11 + 0 - (-80)/b. Solve -i - r = -3*m for m.
4
Let q = -4068 + 4113. Solve -m = -10*m + q for m.
5
Suppose 0 = 12*i - 8*i + 5*n - 516, -441 = -3*i + 3*n. Solve 163*k = i*k + 72 for k.
3
Suppose -92 = -6*j - 698. Let i = j + 105. Let h(s) = s + 2. Let v be h(2). Solve -i*l + v = -3*l for l.
4
Let q = -22985 - -22991. Suppose 2 = -x + 5. Solve x*m - 9 - q = 0 for m.
5
Let u be (-16)/12*81/(-18). Solve u*i = -9*i - 2*i for i.
0
Let x(i) = -i**3 - i**2 + 2*i. Let k be (2/3)/(5/(-15)). Let w be x(k). Suppose -s + 348 = 346. Solve w = -s*j + 8 for j.
4
Suppose 299*l = -2*w + 301*l + 72, l - 149 = -4*w. Solve 64*s = w*s - 54 for s.
-2
Suppose 53*u - 975 = -86*u - 2. Solve 0 = -u*n - 69 + 118 for n.
7
Suppose 31349 = -52*o + 81*o. Suppose 46*t - o - 989 = 0. Solve -6*f = 3*f - t for f.
5
Suppose -2*k + 5*k - 6 = 0. Let o = -25249 - -25255. Solve 2*d + k = -o for d.
-4
Let q(z) = -2*z + 17. Let d(k) = k**3 - 8*k**2 + 14*k. Let b be d(4). Let f be q(b). Let u = f - 29. Solve -u*x + 0*x = 12 for x.
-3
Let u(f) = -12*f + 48. Let k be u(3). Suppose k*b = 34 + 14. Solve b*w - 1 = 3*w for w.
1
Let g be (2/7 - 228/(-1995)) + 2/(-5). Solve 71*k - 78*k - 35 = g for k.
-5
Let f = -112 - -121. Suppose f*x = x + 16. Solve -x + 11 = 3*t for t.
3
Suppose 4*r = v - 53, 25*v + 272 = 29*v - r. Solve -62*q + 317 = v for q.
4
Let g(v) = v**3 + 2. Let p be g(0). Let l be (304/(-6) - -3) + (-2)/6. Let d = -45 - l. Solve 5 = -d*n + p for n.
-1
Let a = 3580 - 3579. Solve 0 = 9*y - 19 + a for y.
2
Let h(x) = -230*x - 19. Let c be h(-3). Let r = 676 - c. Suppose -5*z - 26 = -2*k, 5*k + 5*z - 65 = -0*k. Solve -r*j = k - 33 for j.
4
Let s be 15 + ((-9)/12)/(37/(-444)). Solve 0 = s*a + 13 - 157 for a.
6
Let f = -681 - -743. Suppose -7 = 3*x - 4*r, x - f = -2*r - 51. Let a be (0/1)/((-1)/1). Solve -x*k + 15 = -a*k for k.
5
Let c be 385/(-45) + 2 + 16/(-36). Let l be (13 - c)*1/2. Solve 5*a = 7*a + l for a.
-5
Let y be ((-24)/(-32) + (-12)/16)/(-2). Suppose -x = -y*x - 2*u - 4, 2*x + 4*u = 8. Solve 11*f + f = x*f for f.
0
Let l(x) = x**2 + 5*x. Let r be l(-5). Suppose 0 = -32*z + 25*z - 42. Let q be 1/6*(z + 4)*-6. Solve r = -o - q*o - 15 for o.
-5
Let v be (-105)/(-49) - (-210)/245. Suppose 2*a = -0*a + 8, -r + 5*a - 14 = 0. Solve 12 = v*m + r for m.
2
Suppose -3*w = -4*t - 5, 32 = 2*w + 3*t + 23. Suppose -w*h + 5 = r, -3*r - 5*h + 20 = -h. Solve 55 = -r*i + 15 for i.
-5
Let a(y) = 22*y + 354. Let h be a(-16). Solve -h*p + 608 = 618 for p.
-5
Suppose -89*w - 10 = -2146. Solve -7*v = -17 + w for v.
-1
Let h(v) = -3*v + 54. Let w be h(14). Suppose -b = -f, 12*b = 11*b - 5*f + w. Solve 0 = 3*o + 1 + b for o.
-1
Suppose -16*c + 34*c - 162 = 0. Solve c*m = -0*m + 9 for m.
1
Let i = 1447 - 1394. Solve -45*s + 48 = -i*s for s.
-6
Suppose -8*i + 30 = 2*i. Suppose 413 = i*a + 4*a. Suppose a = 5*j + 9. Solve o + o = j for o.
5
Let i(q) = -3*q**2 + 2*q - 3. Let m be i(2). Suppose 5*v - 2 = -17, 3*v = -4*x + 55. Let t = x + m. Solve -4*j + 3 = -t for j.
2
Let y be -1 + (-2 - 58)/(-4) + 0. Let l be (-3 + 15)/(y/(-4) + 4). Solve 4*h + 4*h - l = 0 for h.
3
Let w = 22387 + -22375. Solve -4*g = 4*g - w*g for g.
0
Let b be (0 - 1)*(-46)/2. Let g be -3 + -1 + (-82)/(5 - 7). Suppose -4*f + g + b = 0. Solve -f = -2*p - p for p.
5
Suppose 585 = 97*s - 32*s. Solve -s*b + 37*b = 112 for b.