 3 for g.
0
Let h(x) = 4*x - 1. Let s be h(1). Solve 0*u - u - 4*w = 9, 4*w = -3*u - s for u.
3
Let a(k) = k**3 + 5*k**2 - 8*k - 9. Let r be a(-6). Suppose -5*p = 0, -3*p + 8 = m + r. Solve 0 = 5*f + 3*n + 26, -m*f + 0*n - 28 = 4*n for f.
-4
Let l = 15 + -12. Solve 8 = -2*f - l*s, -3*s + 4 = -2*f - 5*s for f.
2
Let y be -8*(1 - (-33)/(-12)). Suppose 2*u - 4 = -y. Let w = u - -8. Solve w*x = -4*o - 6, 5*o + 15 = 5*x - 10 for o.
-3
Let s(c) = -c**3 - 2*c**2 + 2*c. Let i be s(-3). Let g = -13 - -20. Solve 4*m - 2*l + g = -i, 3*l = 3 for m.
-2
Suppose -11 = -4*c + 65. Suppose 5*l = 6 + c. Solve -l*u = 5, 5*d + 4*u = -24 + 5 for d.
-3
Let q be (-9)/4 + 2 - 261/(-36). Solve 0 = -2*i + 3*y + 3, -2*y - q = -0*i - 3*i for i.
3
Let r(m) = m**2 - m + 2. Let x be r(3). Let n(f) = f**3 - 7*f**2 - 7*f - 4. Let k be n(x). Solve 2*p + k*h - h + 3 = 0, 4*p = h + 15 for p.
3
Let r(l) = 2*l - 1. Let y be r(3). Solve -2*n - 6 = -y*n - 3*d, -5*d = -n - 28 for n.
-3
Let w = -2 + 5. Let n be (-8)/(-6) + 4/6. Let t(q) = 2*q**2 + 2. Let g be t(n). Solve g = 2*j, w*j - 40 = 5*p - j for p.
-4
Suppose -2*o + 0 + 8 = 0. Suppose 27 = -o*g - 13. Let m be 2/g - (-52)/10. Solve 2*p = -t - 10, -p - 3*t = -8*t + m for p.
-5
Let r be (4 - 3)/(2/(-6)). Let y = r - -4. Let g be 1 - (-2)/(1 - 0). Solve -4*b + g = 3*t - b, -4*t - 3*b - y = 0 for t.
-4
Let t(q) = -q**2 - 7*q - 7. Let h be t(-5). Let a = h + -3. Suppose k - 10 = 4*g, 5*k - 2*g - 18 - 14 = a. Solve 5*v - k = b + 3*v, 0 = -4*b - 3*v - 2 for b.
-2
Let g = -6 + 6. Solve g = 5*b - 0*n - 4*n - 40, 4*b - 11 = -n for b.
4
Let i(z) = 3*z + 2. Let x = -11 - -11. Let r be i(x). Solve -9 = 5*t + r*h, -2*t - 6 = -4*h + 12 for t.
-3
Let i be 1 - (14 + -16 - (0 + 1)). Solve -4*r - 4*z = i, 4*r - 21 = 5*r - 4*z for r.
-5
Suppose -x + 4*f = -2 + 11, 4*x = f + 9. Solve 4*m - 5*v = -2*v + 11, x = -3*v for m.
2
Let m(i) = -i**2 + 16*i - 23. Let n be m(14). Solve -3*y - 12 = 5*g, n*y + 3 = -4*g - 17 for y.
-4
Let i be 4 - -5*2/(-5). Solve -5*n = -3*d + 5*d + 30, 2 = -3*n + i*d for n.
-4
Let a(h) = h**3 - 4*h**2 + 5. Let u = -4 + 8. Let m be a(u). Suppose -3*w = -2*g - 8, 0*g = m*w + 2*g + 8. Solve 4*x = 4*q + 12, -4*x = 5*q - w*q - 30 for x.
5
Suppose -2*d + 4*u + 8 = 0, 3*d + 5*u - 2*u + 6 = 0. Suppose d*p - 2 = -p. Solve p*f + 3*t + 2 = 0, 20 = 3*f - 5*t - 15 for f.
5
Suppose -3*n = -3*y + 2*n - 5, 0 = 4*y + 2*n - 28. Let u = 0 - -1. Let g = y - u. Solve l + 4 = 4*t, 2*l - 8 = g*t - 2*l for t.
2
Let l(k) = -k**2 + 3*k - 2. Let g be l(2). Let a be -2 + 9 - (4 + -1). Let q be 0/(2/a*-2). Solve 5*y = p - 12, q = 2*y - 3*p - g*p - 3 for y.
-3
Let o(g) = g - 13. Let u be o(13). Let q = 0 - u. Solve -4*h - h = 15, 3*p - 3*h - 12 = q for p.
1
Let m(x) = x**3 - 7*x**2 - 10*x + 1. Let q be m(8). Let j be (-1 + -1)*q/10. Solve 12 = -4*y - 8, -j*c = 2*y - 5 for c.
5
Let g = 5 - -21. Suppose d - 5*j + 12 = 0, -d - 8 + g = 5*j. Solve 4*u - 3 = -d*m, -3*u - m + 3*m = 19 for u.
-3
Suppose 18 = 3*l - p - 2*p, 3*p + 8 = -2*l. Suppose 0 = -m + 4*i + 16, 2*i - 6*i = -2*m + 16. Solve 0 = -4*w - b - 17, 3*w = l*b - m*b + 1 for w.
-3
Let c be (0 + -9)*1/3. Let i be 6/c + 1 - -3. Solve v + 2*z = -2*z, 5*v = i*z for v.
0
Let y(a) = a**3 + 6*a**2 - 7*a - 4. Let n be y(-7). Suppose -4*d = 26 + 10. Let q = n - d. Solve 3*i - 1 = 2*j, -4*j - 24 - q = 3*i for j.
-5
Suppose 20*m - 16*m = 12. Solve -p = -m*z + z + 1, -2*p - 5*z - 2 = 0 for p.
-1
Let k be (12/(-9))/((-1)/30). Solve 5*d + w = -4*w - k, -32 = 5*d + 3*w for d.
-4
Let t = -4 - -7. Let d(s) = s + 3. Let i be d(-5). Let f be 34/10 - i/(-5). Solve 0 = -k + t*v - 12, -f*v = -6*k + k - 24 for k.
-3
Suppose -5*p - 7 = -32. Suppose -p*z = -z. Solve -h - 2 = -2*j, 2*h - j + z + 4 = 0 for h.
-2
Suppose 3*g = 3*w, -2*w + 2*g = -4*w. Solve 2*r - 10 = -2*f, -3*r + 8*r - 15 = w for f.
2
Suppose 4*j + j = 5, -3*j = -5*h - 3. Suppose -2*a + 16 + 8 = h. Solve 4*v = a, -3*m + 5*v = m + 11 for m.
1
Let v(j) = -j**3 - 14*j**2 - j - 7. Let l be v(-14). Solve -l*k = p - 2*k - 20, 4*k - 37 = -5*p for p.
5
Let l be (-1)/(4/(-16)) - -1. Suppose -3*p = -4*w + 40, -p + 3*p - 34 = -2*w. Solve 2*s = -l*j + 1 + w, 4*j = -s + 10 for j.
2
Suppose 0 = 4*f - 11 + 3. Suppose 3*u = -3*b + 30, -u - 2*b + f = -3*b. Solve -2*n - 17 + u = -a, 4*n + 7 = -a for n.
-3
Let x = -8 + 4. Let a be (-8)/(5/(10/x)). Solve 2*k + a*j - 5 = k, 5*j = 4*k + 1 for k.
1
Let w = 4 - 1. Let y be 0 - (-1 + 2 + -4). Solve -w*k + g + 2 = 0, 4*k + 2*g + 10 = -y*g for k.
0
Let y be 2 + (-4)/(-16)*4. Solve 12 = -3*z - y*q, -4*q - 6 = -z + 10 for z.
0
Let j(k) = k**2 - 5*k - 7. Let w(u) = u + 1. Let g(t) = j(t) + 5*w(t). Let v be g(5). Solve -4*a + 5*h - 21 = 10, 5*a - h + v = 0 for a.
-4
Suppose -3*w + 26 = -w + 4*o, 2 = -2*o. Let k be 22/(-11)*(0 - 1). Solve 3*t - 12 = -3*n, -7*t - w = -2*t - k*n for t.
-1
Let t = 96 + -94. Solve t*a = -5*f + 1, 0 = -2*f - 2*f - 2*a for f.
1
Let w(l) be the second derivative of l**4/12 + 4*l**3/3 + 3*l**2/2 - l. Let r be w(-8). Solve 3*u - 7 = -5*p, -r*u = u + p - 15 for u.
4
Suppose -2*s - c + 2*c = 15, -2*s - 5*c = -15. Suppose 5*k = 5*i + 35, 0*k - i = -5*k + 35. Let r = s + k. Solve 3*w = r*g - 19, 4*w + 0*g = 4*g - 28 for w.
-5
Let g(p) = 41*p**2 + p. Let x be g(-1). Let b = -26 + x. Let r = 9 - -4. Solve -2*h - 5*f + b = -r, -f = -3*h - 2 for h.
1
Let f = -9 - -12. Let j be f/(-15) - 78/(-15). Solve y - 5*q - 20 = -0*y, -j*y + 2*q = 15 for y.
-5
Let k be 8/(-12)*(-11 + -1). Let y be (-23)/(-2) + 4/k. Let r be (-16)/(-6) + 4/y. Solve -r*c - 20 = -4*m, 2*c + 2*m = -3*m + 2 for c.
-4
Let g be 1 - (2 + -1 - 1). Let v(o) = o**2 + 2*o. Let h be v(-2). Let l be 0/(h/3 - g). Solve -2*i = l, 0 = 2*m - 0*i - 3*i + 4 for m.
-2
Suppose 4*w + 1 = -5*s - 6, -3*w - 6 = 3*s. Let j be -7*((-6)/7)/s. Let d be ((-5)/(-15))/((-2)/(-12)). Solve 2*y - d*g + j = y, -y + 3*g = 10 for y.
2
Let a be -10*(2 - 4/(-10)). Let k = a + 35. Solve 4*p - k = 3*s, -2*p = 2*p + 4 for s.
-5
Let o = 28 - 22. Solve -t = 5*z - 22, 3*z - o = t + 4 for z.
4
Let x = -2 + 2. Suppose -3*p - n + 2 = -2, 4*p + 2 = -5*n. Suppose -3*m = -p*m - 2. Solve m*u + 13 + 3 = -4*k, u - 3*k - 17 = x for u.
2
Let k be (7 - (1 - 0)) + 5 + -5. Solve 2*z = 4*f - 32 + k, 0 = 3*z + 2*f + 7 for z.
-5
Let w(g) = -5*g + 13. Let v(s) = 11*s - 26. Let h(a) = 4*v(a) + 9*w(a). Let q be h(8). Solve -q*b + d + d = 19, -3*b + 5*d = 19 for b.
-3
Let h be (-50)/(-15)*(-3)/(-2). Suppose -2*s + 27 = 2*s + 3*j, -3*j = -15. Let u be (h - s) + 0 + 0. Solve -u*z - 5*x = -0*z + 8, -4*z = -5*x + 16 for z.
-4
Suppose 2*a = -x + 32, 3*x - 6*x - 12 = 0. Let p be (a/15)/(9/60). Let k = p - 5. Solve -3*y = -0*b + b + 11, -4*y + 7 = -k*b for b.
-5
Suppose -5*w = -3*k - 11 - 0, -32 = -4*k - 5*w. Solve 2*v + 4*x = -2, -k*x = 2*v + v for v.
1
Let x = 28 - 17. Let m be 46/x - (-10)/(-55). Suppose m*c + 24 = 4*t, -t + 4*c + 15 = -3. Solve -t*u - 26 + 7 = 3*p, 0 = -u + 5*p + 23 for u.
-2
Let b = -14 + 21. Suppose -b*n + 13 = -1. Solve n*d - 5*d = -i, -i - 2*d = -5 for i.
3
Let s(j) = -j**2 + 5*j + 17. Let m be s(7). Solve 3*n = -m*c - 5 - 7, n = -5*c - 4 for c.
0
Suppose -2*g + 536 = f, 3*g - 206 = f + 608. Let m be ((-26)/(-3))/(12/g). Let h be (-1)/4 - m/(-12). Solve -2*v + h = -4*z, 23 = -2*v - 5*z - 6 for v.
-2
Suppose 0 = 2*m - 3*m + 3. Suppose 0*y + 12 = m*y. Let q be (-3)/1*y/(-3). Solve -i = q*k + 13, -3 = 4*i + 17 for k.
-2
Suppose -5*u + 8 = -3*u. Suppose -3*y + u = -g - 6, 2*y + 5*g - 1 = 0. Solve 6*s - 3*s + y = 3*m, 4*m - 5*s = 9 for m.
-4
Let z = -10 + 12. Let c be z - (-3 - (-2 - -1)). Let h = 2 + -2. Solve 5*s - 3*q + 28 = h, -4*s - c*q = 11 + 5 for s.
-5
Suppose 0 = -2*w + u - 1, 5*u = -2*w + 3*w - 22. Let h = w - -5. Solve -5*r - 1 + 0 = 3*y, 0 = 2*r + 2*y - h for r.
-2
Suppose 7*h - 2*h - 2 = 2*g, 4 = g. Solve 0 = -2*r - 2*r + 5*q + 12, -4*r + h*q + 12 = 0 for r.
3
Let c = -110 + 166. Suppose 0 = -4*m + 20, 8 = 3*l + 5*m - c. Solve -4*h = t + l, -2*t + 14 = -2*h - 0*t for h.
-4
Let c be (3 + -24)/(-3) - 3. Suppose c*o + 1 = 9. Solve 4*b + 4 = 4*l, 0 = -4*l + 2*b + 10 + o for l.
5
Let h = 9 - -13. Solve -3*r + 2*p = h, -r - 24 = -4*p - 0*p for r.
-4
Let y(k) = 21*k**2 - k + 1. Let q be y(1). Solve -2*u = -z + 5 - 16, 3*u = 3*z + q for z.
-3
Let s(q) = q - 3. Let f be s(5). Suppose 3*a - 18 = f*a. Solv