 g.
5
Let o = 116 + -110. Let c = o + 6. Solve 0 = -0*l - 3*l - c for l.
-4
Let i be -1 + 3 + -2 + 3. Let s be -10*2*i/(-12). Suppose -s*l = -4*l. Solve -3 = -n - l*n for n.
3
Suppose -29 = -2*r - 33, v - r - 31 = 0. Solve -9 + v = 5*d for d.
4
Let w = 325 + -304. Solve -w*z + 15*z = 12 for z.
-2
Suppose -4*d = 0, 0 + 10 = 5*m - 5*d. Let k = -11 - -11. Suppose k = -v + 2 + m. Solve -v*i = -i for i.
0
Suppose 9*o + 16 = -3*g + 5*o, -12 = -2*g + 3*o. Solve g*z - 5 = -z for z.
5
Let y(c) = -1. Let f(b) be the first derivative of -b**3/3 - 2*b**2 + 5*b - 2. Let t(x) = f(x) - 2*y(x). Let i be t(-5). Solve -i*q + q + 1 = 0 for q.
1
Suppose 26*i = 29*i - 234. Suppose 85 = 4*o + 5*z, i = 4*o - 3*z + z. Solve -4*l = l + o for l.
-4
Let z = 12 - 13. Let t(k) = -13*k. Let b be t(z). Solve 4*h + b - 1 = 0 for h.
-3
Let s = 41 + -41. Let b = 5 - 7. Let g be (s - (-6 - -3)) + b. Solve g + 3 = -q for q.
-4
Let o = -569 - -575. Solve 0 = -c - 2*c - o for c.
-2
Let w = -31 - -37. Let i be 5 - 3/w*-2. Solve -4*m - i = -m for m.
-2
Let g(y) = -y + 30. Let z be g(0). Let b be z/25*5 - 4. Solve -b*m - 1 = -m for m.
-1
Let d be (2 - 8) + (-1 - -3)*8. Solve -13*t + d = -3 for t.
1
Let a = 68 - 68. Suppose 3*j - 4*j = -a*j. Solve -3*u + j*u = 15 for u.
-5
Suppose -o + 117 + 30 = 0. Let v = o + -143. Suppose -15 = i - 4*k - k, 5*i - 17 = 2*k. Solve v*g = 5*g - i for g.
5
Suppose -k + 1 = -0*k. Let v = 120 + -116. Let w = 22 - 13. Solve v*l - w = -k for l.
2
Let b = -1172 - -1189. Solve b*i = 6*i - 33 for i.
-3
Suppose 3*u - 4*u + 13 = 3*f, 0 = 3*u - 3*f - 15. Suppose -u*i + 12*i = 20. Solve -i*z = -z - 9 for z.
3
Let d(z) = 4*z + 144. Let i be d(-33). Solve 7*g - i = 10*g for g.
-4
Let l = 8 - 0. Suppose -7 = c - l. Let i be 1/((2/c)/4). Solve -k = -3 + i for k.
1
Let s be -5 - -7 - (1 - 4). Solve j + 6 = s for j.
-1
Let a(i) = 18*i - 278. Let t be a(16). Solve -4 + 24 = -t*g for g.
-2
Suppose -2*p - 8*g + 4*g + 32 = 0, 5 = -p + 5*g. Solve p*d - 44 = -d for d.
4
Let z(h) = -h**2. Let f be z(0). Suppose r - 3 = -f*r. Suppose r*n - l = 8, 0 = -2*l + 2 - 0. Solve 0 = -3*j + n + 9 for j.
4
Let d = 8 + -3. Suppose -5*p + 20 = t, -p + 3*t = 2*t - 10. Suppose 2*k + p*f - 10 = 0, 5*k = 3*f - 3 - 3. Solve k = -0*l + d*l for l.
0
Let c(d) be the first derivative of -d**2/2 + 6*d + 4. Suppose 3*v = 22 - 7. Let t be c(v). Solve l = -t - 1 for l.
-2
Suppose 5*z = 2*b - 1, 2*b - 10 + 6 = 2*z. Solve -b = -2*m - 9 for m.
-3
Let j = -48 - -53. Solve j*k - 4*k + 1 = 0 for k.
-1
Let t(s) = 2*s**2 - 1 - 4*s**3 - s**2 + 2*s**3. Let l be t(-1). Solve l = j - 1 for j.
3
Let w be 12/(-42) - (-1576)/28. Suppose 0 = -4*u - 4*x + w, 2*u + 7 = 4*x + 41. Solve -20 = -5*r - u for r.
1
Let n = -1 - -18. Suppose -4 = 2*y + 46. Let j = y - -30. Solve -j*s - 3 = n for s.
-4
Let a = 751 + -719. Solve -12 = -28*f + a*f for f.
-3
Suppose 0 = l - 1 + 2. Let b be (l/3)/((-3)/27). Solve -w = -b*w + 6 for w.
3
Suppose 3*n + a - 2 = 29, 11 = n + a. Let u = -31 - -36. Suppose 2*r + 2*i - n = u*i, -5*r = 2*i - 6. Solve -4*x + r*x = 0 for x.
0
Let a = -241 - -243. Let q = 16 + -13. Solve -a*u = q - 1 for u.
-1
Let f = -9 - 6. Let g = f + 41. Let q = -26 + g. Solve 3*r + 2*r + 25 = q for r.
-5
Let a(w) = 5*w - 4. Let v be a(7). Suppose i = -v - 90. Let y be 2/11 + (-2156)/i. Solve -4*q + 2 - y = 0 for q.
-4
Let u(w) = w**3 + 10*w**2 + 8*w - 8. Let c be u(-9). Let s be 1 + c - (-8)/(-4). Let y = 1 - s. Solve y + 1 = 2*a for a.
1
Let j(x) = 5 - x + 0 - 7 + 5. Let l = 0 + 0. Let i be j(l). Solve 0 = -i*r - 3 for r.
-1
Let a(q) = -q**2 - 23*q - 56. Let u be a(-19). Solve 0 = -0*o + 5*o - u for o.
4
Let h(u) = u**3 - 3*u**2. Let w be h(4). Let r(d) = -d**2 + 17*d + 2. Let f be r(w). Suppose -f - 18 = -4*a. Solve 6 + a = -3*t for t.
-5
Suppose 0 = -2*t + 1464 - 1464. Let d = -2 + 2. Solve t*k + 3*k = d for k.
0
Suppose -o + 4*o = -12, 4*o + 16 = -2*y. Solve y = -4*v - 12 + 4 for v.
-2
Suppose 3*t - 2 - 7 = 0. Suppose 0 = 3964*j - 3956*j - 32. Solve -w + j = t for w.
1
Let i(j) = j**3 + 3*j**2 + 3*j + 2. Let l be i(-2). Suppose l = 7*y - 12*y + 20. Let q = 3 + 0. Solve -q = y*h - 7 for h.
1
Let x = 1 - 5. Let m be (-2)/x*(-6)/(-1). Solve -m = 3*t + 6 for t.
-3
Let g(a) = -2*a**2 + 2*a + 3. Let o be g(1). Solve 2*z + 3 = o*z for z.
3
Let s be 5 - 4 - -2 - 0. Suppose 278 = 5*d + s*j, 5*j - 280 = -9*d + 4*d. Let r = d + -35. Solve 2*a + 2*a = -r for a.
-5
Let b(v) = 3*v**3 + 6. Let k be b(0). Solve j - k = -9 for j.
-3
Suppose p - 17 = -5*g, 3 = 5*p + 5*g - 2. Let z(j) = -3*j - 1. Let r be z(p). Let x = r + -1. Solve 3*l = x*l + 20 for l.
-5
Suppose x = 7*x - 120. Suppose 29*w + x = 33*w. Solve 2*h = w*h for h.
0
Let h = 280 + -277. Solve z = -0*z - h for z.
-3
Suppose -5*p + 5*u = 430, u = -2*p - p - 254. Let t = 88 + p. Solve t*m = -0*m - 3 for m.
-1
Suppose -120*b + 3 = 3. Solve b = 36*g - 50*g + 28 for g.
2
Let o = -11 + 15. Suppose 0 = 9*q - 36 - 27. Suppose 10*j = q*j + 9. Solve o*b + 5 = -j for b.
-2
Suppose 85*r + 186 = 333 + 193. Let w = 2 - 0. Solve 0 + r = -w*f for f.
-2
Let t be 171/21 + -3 + 8/(-56). Let y = 12 - 5. Solve -t*f - y - 8 = 0 for f.
-3
Let c(p) = -p**2 - 2*p. Let b be c(-2). Suppose 4*t + b*t = 12. Solve -1 = -t*j + 8 for j.
3
Let g(p) = -p**3 - 9*p**2 - 10*p - 13. Let h be g(-8). Let i be (-6)/(2*(2 - h)). Solve -j = -2*j + i for j.
3
Suppose 0 = m + 33 - 39. Solve 2*h + m = 4*h for h.
3
Suppose 24 = -109*l + 117*l. Solve 0 = 18*p - 17*p + l for p.
-3
Let v = 235 - 231. Solve -v*m + m = 0 for m.
0
Suppose 0*i = 2*i. Let f = 8 - 0. Let q(l) = l**2 - 7*l - 3. Let m be q(f). Solve i*a = -m*a for a.
0
Suppose 0 = -4*a - 3*a. Let i = a + 5. Let s be ((-4)/(-5))/(2/25). Solve -i*f = -s*f for f.
0
Suppose 7 = n - 6. Let l(c) = -c**3 + 37*c**2 - 64*c - 177. Let g be l(35). Solve -5*t - g = -n for t.
-4
Suppose f = -3*y + 38, 64 = 3*f + 5*y - 42. Solve -o + f = 36 for o.
-4
Let n = -332 - -334. Solve -n*s - 10 + 16 = 0 for s.
3
Suppose 3*m + 0*m + 1 = -2*f, -f + 3 = -2*m. Suppose n - f = -8. Let c be 1*-1 - (n + 3). Solve -c*t = -6*t for t.
0
Let h(f) = -f**2 + 5*f + 2. Let p be h(5). Let b(y) = y**3 - 3*y**2 + 4*y - 2. Let q be b(p). Solve -d + q = 4 for d.
-2
Let o be (-4)/30 + 28/(-15). Let r(x) = -2*x - 2. Let z be r(o). Let d(l) = -l - 10. Let b be d(-10). Solve -4 = -z*t - b*t for t.
2
Let k(h) = -84*h. Let d(m) = -13*m. Let q(w) = -32*d(w) + 5*k(w). Let s be q(0). Solve -5*t - 20 = -s*t for t.
-4
Let c = 12 + -7. Let g = -3 + c. Let n be (0 - 1)*(g - 4). Solve -n*p + 3*p = -5 for p.
-5
Suppose -o = o - 4. Suppose -3*p + 2*p + 5*r - 101 = 0, 3*p + 279 = 3*r. Let q be (-2)/13 + (-1379)/p. Solve o*c - 5*c = q for c.
-5
Let d(g) be the third derivative of g**5/60 - g**4/8 + g**3/3 - 4*g**2. Let f be d(3). Suppose 0 = -t + 7 - f. Solve 3*a = 4*a - t for a.
5
Let b = -740 - -747. Solve -6*n + 1 = b for n.
-1
Suppose n + 31 + 21 = 0. Let x be 3/(4 + n/16). Solve b = x - 2 for b.
2
Suppose 31 = -4*l + 47. Let j be 3/6 - (-21)/2. Let c = l + j. Solve -3*a - c = -8*a for a.
3
Let l be (2 + -1 + -11)/(-7 + 5). Suppose 3*p + l = 20. Solve -3*h - 6 = -p*h for h.
3
Let i be (-4)/(-6)*(16 + 133/14). Solve 29 = -3*y + i for y.
-4
Let b = -159 - -161. Solve -b*k = -3*k - 2 for k.
-2
Let d be (-378)/(-105) - 4 - 2/(-5). Solve d = -15*l - 8 - 7 for l.
-1
Suppose 0 = 4*z - 9 + 33. Let x = 3 + z. Let b be -2*(-8 + (-5 - x)). Solve -v = 3*v - b for v.
5
Suppose -5*b - 204 = -7*b + i, 0 = -5*b - i + 510. Solve b*g + 2 = 103*g for g.
2
Suppose 4 = -13*p + 11*p + 5*r, -3*p = 5*r - 19. Let n = 10 + -6. Let j be (-2 - n/(-2))/1. Solve -b + p*b + 4 = j for b.
-2
Let q be -5 + (-26)/(-4) + 24/(-16). Solve q*g + g - 3 = 0 for g.
3
Let m = -59 - -71. Let r be (3/(-5) - m/(-20))*-1. Solve r*k + 3 = -3*k for k.
-1
Suppose 3*r + 2*r - f - 10 = 0, 2*f = 0. Let i(v) = v**3 + v**2 - v + 1. Let k be i(0). Suppose 0 = g - k - 2. Solve 5 = g*z + r for z.
1
Let m = -603 + 631. Solve i + m = -6*i for i.
-4
Let n(x) be the third derivative of x**5/60 + x**4/12 - x**3/6 + 13*x**2. Let g be n(-3). Solve -g*p = 3*p + 20 for p.
-4
Let d be ((-1)/2)/(31/434). Let a(o) be the third derivative of o**5/60 + 7*o**4/24 + o**3/6 - o**2. Let u be a(d). Solve -r + 2 = -u for r.
3
Suppose c = 2*c - 50. Let s = -30 + c. Suppose 3*a - 7*a = -s. Solve 