0 for g.
3
Suppose -12*n + 11*n - 10 = 0. Let t = n - -12. Suppose 0 = 5*g - 4*l - 29, l = t*g - 0*g - 11. Solve -2*x = 2*p + 6, 3*p - x + 2 = g for p.
0
Let x = -4 + 8. Suppose -2*d + x*d = 0. Let g = 31 + -29. Solve i + g = 5*l - d, 6 = -3*i - 4*l for i.
-2
Let t = 3 + 2. Suppose -3*f = 5*n - 7, -3*n + 7*f + 5 = 8*f. Suppose -h + 3*d - n*d + 5 = 0, -t*d = 0. Solve h*l + 0 = 4*k + 1, 3 = 3*l - 3*k for l.
-3
Suppose -8*f - 54 = -246. Solve -f = -r - 4*q, -r - 4*q - 16 = -8*q for r.
4
Let v be ((-4)/(-2))/((-2)/(-36)). Suppose -2*f - 18 = -5*p, -3*f = 1 - 4. Solve -3*b + p = -r - b, -5*r = 4*b - v for r.
4
Suppose 0 = 3*y + 20 - 83. Solve w = -3*l - 12, 8*w + y = 4*w - 3*l for w.
-3
Let r = 31 - -4. Let y = r - 25. Suppose -8*b = -3*b - y. Solve -4*x + 0*x - 4 = 0, b*o + 5*x + 9 = 0 for o.
-2
Let c be (-30)/(-12)*(-12)/(-6). Solve 4*m + 4*g = g - c, m - 4 = g for m.
1
Let q(m) = -4*m + 2. Let s be q(-3). Let y = 23 - s. Let i = 3 + -1. Solve 3*r - y = i*j, -r - 7*j + 3*j = 11 for r.
1
Suppose -5*u = -20 + 10. Suppose -h - u = -6. Solve -b - h*j = -3, 6 = 5*j - 2*j for b.
-5
Suppose -3*q - 4*c + 7*c + 6 = 0, -2*q + 3*c = -4. Solve -5*d = l - 9, -2*l - q*l - 3*d + 19 = 0 for l.
4
Let y(k) be the first derivative of -2*k**2 - 38*k + 2. Let b be y(-10). Solve -4*d - 2*v - 14 = 0, -b*d + 3*d - v - 1 = 0 for d.
-2
Let w(d) = -d**2 + 9*d + 39. Let a be w(-3). Solve -3*p - 18 = 2*p + 2*t, 6 = a*p - 3*t for p.
-2
Suppose 0 = -2*c + 26*c + 9*c. Solve 3*k + 5 - 20 = c, -2*o - 2*k = -6 for o.
-2
Suppose 0 = 6*y - 4*y - 12. Suppose y*l = l. Suppose l = 2*t + 2*t - 8. Solve t = p - 2*p + j, j - 8 = -p for p.
3
Let u be -5 - (12/(-14) + (-6888)/196). Solve -3*k + 4*x + u = 0, -2*x - 1 = k + 2 for k.
5
Let x(q) = q**2 - 9*q + 2. Let j be x(0). Solve -4*f = j*h - 1 - 13, 5*f - 20 = 0 for h.
-1
Suppose -2*w + 4 = 4*u + 2*w, -2*u - 4*w + 4 = 0. Solve 5*l + 19 = 6*b - 2*b, -2*l + b - 7 = u for l.
-3
Let a be (-4 - 3) + 22 + -13. Solve -3*l + 3*m + a*m + 25 = 0, 3*m + 15 = 2*l for l.
0
Let n = -16 + 25. Let w(p) = p**2 - 9*p + 3. Let b be w(n). Suppose 33 = s + b*j, s - 35 = -2*j - 6. Solve 16 = -2*u + 4*f, -2*u = u + 3*f - s for u.
2
Let q be 0/((3 - 5)/(-2)). Suppose 4 = -4*t - 2*w, -3*t - 2*w + 0*w = 4. Suppose t = -0*s - 2*s + 30. Solve 3*b + 0*b - v = s, q = 5*b + 3*v - 25 for b.
5
Suppose -3*w - 2*n = 0, 0 = -w - 2*w - 5*n + 9. Let v be (3 - (2 + 2))*w. Solve q + x + 0*x = 3, q - v*x = -9 for q.
-1
Suppose -6*x = -15*x + 36. Suppose x*o = 6 + 14. Solve 3*b - 5*y = -0*y + o, -b + 3*y = 1 for b.
5
Let v be (-2 + 3)/((-2)/4). Let f = v - -6. Let j(s) = -s**3 + 7*s**2 + 7*s + 11. Let g be j(8). Solve 5*x - 3 = 7*w - g*w, 0 = -5*w + f*x - 6 for w.
-2
Suppose -6 = -0*o + 2*o. Let d be (o/(-3) - 2) + 4. Let j be (d/5)/(3/15). Solve 3*y - 2*m + 4 = -j, 0 = 3*y + 4*m + 13 for y.
-3
Suppose -2*x - 11 = -17. Solve f = 4*u + 14, x*u + 3 + 1 = 4*f for u.
-4
Suppose 0 = 8*z + 12 - 180. Suppose 2*g - 19 = z. Solve -s + 6*s = -3*v + 15, -s - 4*v + g = 0 for s.
0
Suppose -11*o = -13*o - 8. Let w be (-4)/(o - (-32)/10). Let h be 1246/77 - 2/11. Solve c - 19 = -5*r, c = 5*r + w*c - h for r.
4
Suppose 3*q - 150 = -2*p, 3*p + 2*p = 3*q + 333. Let m be 299/p - 4/3. Solve -m*w + 4 = 2*z, -w + 2*z = -2*z - 20 for w.
4
Suppose -2*a = -5*g + 1, -g + 9 = -72*a + 76*a. Solve 0 = -k + 2, 10 = -a*f + 5*f - k for f.
4
Suppose -16*u + 13*u = -63. Suppose -i - 5*w = 32, 2*i + 0*w - 2*w = -16. Let x = i - -14. Solve u = 5*m + 4*v - 9, 14 = 2*m + x*v for m.
2
Let c = -116 + 119. Solve -3 = -w, c*y + 0*w = 5*w - 18 for y.
-1
Suppose -13*v - 40 = -21*v. Solve v*d = 5*j - 15, d + 9 = -0*d + 3*j for d.
0
Let s be -9*-3*(-1)/9. Let j = s + 9. Let g be ((-4)/10)/(j/(-120)). Solve -5*m - 20 = 2*y, -4*y + 2*m - 24 = -g for y.
-5
Suppose -5 - 1 = -p. Let f be (p + -6)*(-1 + 0). Solve -8 = -2*b - 2*b, f = -4*d - b + 22 for d.
5
Let l be (-22)/(-4) + (-57)/38. Solve 0*m + 5*m - 3*s = -10, l*s + 10 = -5*m for m.
-2
Let c(w) = 3*w**3 + w. Let k be c(1). Suppose 4*o + k = 48. Let d be o/((-33)/(-18)) - 3. Solve -2*a - 5*s = d*a + 5, 9 = -5*a - 4*s for a.
-5
Let b be 2*(-6 + 2 - -2). Let k be 4*((-2)/b - 0). Let q be 520/220 - 12/33. Solve 3*x - k*r - 9 = 0, q*x + 7 = -3*r - 0 for x.
1
Let p be 1/(-3)*(7 - 22). Suppose c + p*d = 21, 3*c - 32 = -3*d - 5. Let m(g) = -g + 8. Let j be m(c). Solve j*r = -r - 4*b + 16, 0 = -3*b + 12 for r.
0
Let z be 10/4*((-24)/(-3) + 0). Solve 5*l = -5*v, -v + 3*v - z = 2*l for v.
5
Suppose -18*t - 2*y + 11 = -15*t, -6 = -t - 3*y. Solve v - 1 = 3*f - 4*f, 3*v = t*f - 3 for f.
1
Let c(d) = 3 - 2 - 404*d**2 + 5*d + 403*d**2. Suppose 0*y - 5 = -y. Let j be c(y). Solve -2*k - j = -3*k - 3*t, 21 = 4*k - 5*t for k.
4
Let y(b) = -3*b - 20. Let u(d) = 6*d + 39. Let k(j) = -4*u(j) - 9*y(j). Let s be k(-8). Solve 4*p = -4*z + 8, s = 3*z + 4*p - 4 + 1 for z.
5
Let z be (-18)/4*(-16)/(-6). Let m = z - -14. Solve 0 = 2*p + 2*x + m, -3*p + p + 2*x = 10 for p.
-3
Let u(g) = -g**3 - 27*g**2 + 27*g - 29. Let a be u(-28). Let h(b) = 7*b**2 - 3*b + 2. Let v be h(a). Solve 3*c = -v, c + 2 = -4*i + 10 for i.
3
Let j = -83 + 97. Suppose -4*v - 2*u = -j, 3*v + 2*v - 28 = u. Solve -2*k = 3*w - 4, -k + 2 = -v*w - 0*k for w.
0
Suppose 4*p - 4*g = 8, 0 = 10*g - 11*g + 3. Solve p*d - 4*w = -13, -27 = 3*d - 3*w + 7*w for d.
-5
Suppose 10 - 19 = 3*k. Let g be -1 + 5 + (-12)/k. Solve p = -5*m - 0*m + g, -4*p - 4*m = 0 for p.
-2
Let j = 1 - -1. Suppose k = 2 + 3. Suppose -k*r = 1 - 16. Solve 15 = -r*y - j*m + 7, 2*m = 4 for y.
-4
Suppose -2*w - 2*w = -12. Suppose -21 = -w*r - 3. Solve -g - 1 = 0, 4*g - 8 = r*b - 3*b for b.
-4
Suppose -5*o - n = -23, 50 - 35 = o - 5*n. Solve -13 = 3*z + 2*g - 4, 10 = z + o*g for z.
-5
Let g(f) = -f**3 + 20*f**2 + 21*f + 18. Let z be g(21). Solve y = 4*o - z, -5*y + 35 = o + 4*o for o.
5
Let t be 3 + 9 - (-16 + 20). Solve -2*c = h - t, -h - 3*c + 5 = -5 for h.
4
Suppose 0 = 33*o - 38*o + 470. Suppose 0 = -o*c + 91*c. Solve c*m - 2*m - 10 = 5*g, 0 = -g - m + 1 for g.
-4
Let u be 100/(-26) - 2/13. Let g be 1 + (u - -3) + 33. Suppose -3*w = -5*v + 19, 3*w + 5*v - g = -w. Solve 0 = 4*z + z - 3*r - 34, -w*r - 21 = -3*z for z.
5
Let b = 16 - 14. Suppose -b*t + 13 = -3. Let h be (-3 + t)/(-1)*-1. Solve 3*a - 3*l + h = -1, 0 = -a - 3*l + 2 for a.
-1
Suppose -8*q + 0*q = -64. Let g(m) = -m**2 + 3*m - 3. Let l be g(9). Let i be (l/15)/(3/(-15)). Solve i - 54 = -5*a + 5*h, 4*h + q = -a for a.
4
Let m = -7 + 11. Suppose -m*p - o + 12 = 0, -3*p + 4*o = -p + 12. Solve -4 = -3*v + 4*g - p*g, 4*v - 5*g - 17 = 0 for v.
-2
Suppose 0*o + 2*o = 4*o. Solve o = 5*c - 0*m + 2*m + 33, 3*c - m = -11 for c.
-5
Let p(g) be the first derivative of g**4/4 - 7*g**3/3 + 3*g**2 + 3*g + 35. Let l be p(6). Solve 4 = -2*r - 2*h, -l*r + 4*h = 5*h + 6 for r.
-2
Suppose -7*s - 4 = -130. Solve z = -f + 3, 3*z + 5*f = -3 + s for z.
0
Suppose 7*w - 30 = 4*w. Let v = 343 - 328. Solve p + p = -3*s + v, 3*p - 2*s = -w for p.
0
Let w(u) = -u**2 + u + 32. Let m be w(0). Suppose -2*g - m + 42 = 0. Solve -4*v + 0 = -3*f + 5, g = 3*v - 4*f for v.
-5
Suppose -4 + 18 = 7*y. Let h(o) = -o - 4. Let b be h(-6). Solve -5*k = b*f - 30, -y*f + 5*k = f + 5 for f.
5
Let t(x) = -x**2 - 3*x + 2. Let n be t(-2). Let l be (-65)/(-10)*((-144)/39)/(-6). Solve a = -b + 8, l*b - 8 = a + n for a.
4
Let y = -39 + 55. Suppose -4 = -5*a + y. Solve 0*o + 15 = 5*o, -o - 17 = a*p for p.
-5
Let x be 15 + (-7 - (4 - 8)) - 5. Solve -i + x = 2*d + 18, -4*d + 3 = -3*i for i.
-5
Let v(x) = x**3 + 6*x**2 + 7*x + 13. Let r be v(-5). Let m be (r/9)/(((-3)/3)/(-6)). Solve 0 = 4*j - 4*l - 4, -j - 23 = -4*j - m*l for j.
5
Let m be ((-4)/10)/((-1)/5). Let w = 2 - m. Suppose -65 = -4*y - 9*y. Solve 0 = -w*o + 2*o - 4*h, -y*o + 2*h = -8 for o.
2
Let z(l) = -4*l**3 - l**2 - l. Let u = 21 - 22. Let v be z(u). Suppose -3*x - x = -2*q - 10, -4*x + 16 = v*q. Solve -x = 3*t - 3*g - 6, 0 = -4*t + 3*g for t.
-3
Let l be -3 + (-6 - (-12 - 1)). Solve 3*x - l*u = 5*x - 24, u = 5 for x.
2
Let n be -2 + (10 - (-25)/(-5)). Solve s + n - 28 = -5*i, -s - 5 = -i for i.
5
Suppose 74 = 5*j - 6. Let t be (2 + -1)*(20 - j). Solve 2*p = -3*y + 12, 0 = t*p + 5*y - 2*y - 18 for p.
3
Let j(m) = -m**2 - 49*m + 157. Let c be j(3). Suppose 3*l - 14 = -2. Solve z - l*d = -4, 0 = 2*z - 2*d 