for g.
4
Let y = -23 + 32. Let s = y - 4. Suppose 2*l = -4*q + 30, 0 = 2*l + 2*q + q - 25. Solve -s*i - 5 = 3*m - 0, -l*m = 0 for i.
-1
Let b = 19 - 19. Solve b = -2*q + v + 3, 5*q - v = 1 + 2 for q.
0
Let i(f) = f**3 + 4*f**2 + 4*f + 2. Let m be i(-2). Solve -3*g + 2*x = -5, -m*x = 3*g + 3*x + 2 for g.
1
Suppose 3*t = -t + 16. Let y(n) be the first derivative of -n**2 - 7*n - 1. Let p be y(-5). Solve 0 = -p*x - t*c + 5, 4*x + 2*c = 3*c - 6 for x.
-1
Let c = 28 + -9. Solve 4*p + 4*a - 5 = a, -4*p = -5*a + c for p.
-1
Suppose 0 = 3*a + 4*q - 6*q - 14, a = 3*q + 14. Let p be ((-792)/55)/(3/(-10)). Suppose -3*t = -6*t + p. Solve -4*u = y - 3*y - 8, -a*u + t = 5*y for u.
3
Let u(r) = 2*r**2 - 4*r. Let f(d) = 5*d**2 - 12*d. Let k(j) = 3*f(j) - 8*u(j). Let h be k(-3). Solve -5*x - 15 = 5*l, 0*x + h*x = -2*l - 10 for l.
1
Let x be 2*(-3)/3*1. Let s = x - -5. Let d = s + -3. Solve 2*t - 7*t = 3*g - 2, t + 2 = d for g.
4
Let o = 75 + -51. Solve g + 4*y = -g + o, -12 = -4*g + y for g.
4
Let h(z) = -4*z - 2. Let o be h(-2). Solve -5*m = 4*l + 13, -m + o = -5*m - l for m.
-1
Suppose 0 = u - 6*u + 40. Suppose -28 = u*k - 9*k. Solve -k = 4*y + 2*t, t + 0*t = 5*y + 21 for y.
-5
Suppose -3*g - 3 = -3*z + 6, 3*g = 6. Let x(y) = -y**2 + y + 11. Suppose -a = -6*a. Let s be x(a). Solve 3*f + 5*h - 3*h + s = 0, h - 1 = z*f for f.
-1
Let p(x) = -x**2 - x + 2. Let v be p(0). Suppose 0 = -4*j - 3*n - 1, 2*j + v*j = 2*n + 14. Solve -4*y + 4 = -3*i, 4*y + i + 4 = j*i for y.
-2
Let c be ((-3)/(-2))/(3/8). Suppose -2*d - i = -45, -6*i + 25 = -i. Suppose c + 4 = -2*h - 2*q, -5*q = h + d. Solve h = -5*w - z, -z = -2*w - 3*z for w.
0
Suppose 46 = 8*p + 6. Solve -3*q + 4*m - 15 = 0, -p*q + 4*m = 15 + 10 for q.
-5
Suppose 9 = -c - 0. Suppose 4 = -4*u - 3*m, -5*u = 3*m + 3 - 1. Let w be u/(-9) + (-2)/c. Solve -r + j = 0, w = r + 2*r + 3*j for r.
0
Let b = -6 + 9. Let u = -1 - -3. Suppose 4*a - u*a - 4 = 0. Solve -4*x + 3*t = -a*x - 13, -3*x - b*t + 12 = 0 for x.
5
Let m be 4/(-12)*(-12 + -6). Solve 2*i = -4*p - 28, -i + 20 = -m*i for p.
-5
Let j be 2/((-8)/12) + 6. Solve h - j*s = -11, 0 = 3*h - 0*s + 4*s - 19 for h.
1
Let y(z) = -2*z + 1. Let t be y(3). Let c = -4 + 13. Let i = c + t. Solve 6*l = 4*l + 4*q + 6, -i*l + 19 = -q for l.
5
Suppose -2*l = 3*l - 25. Solve 4*v = 4*t - 0*t, -l*v + 20 = -t for v.
5
Let n = -125 - -128. Solve 3*h - n = 2*b + 2, 0 = -b - 2*h - 6 for b.
-4
Let d = 50 + -47. Solve 2*u + 10 = -2*o + 5*u, d*o - 5*u = -15 for o.
-5
Suppose 14*y - 56 = 10*y. Solve 2*h - 20 = -3*i - 9, 5*i = h + y for h.
1
Suppose 5*v - 4*o - 1 = 24, -11 = 4*v + 3*o. Let t = v - 1. Let g = 0 + t. Solve -f - 8 = -4*f - b, f - 4*b + 6 = g for f.
2
Let j = 14 - 8. Let d(c) = c**3 - 5*c**2 + c - 3. Let m be d(5). Suppose -l = m*l - j. Solve 6 = 3*x - 7*x - l*r, 0 = x + 2*r - 3 for x.
-3
Let h(o) = 42 + o + 0*o - 43. Let n be h(3). Solve n*c - 13 = -v, -18 = 2*v - 4*c - 4 for v.
3
Let h(i) = i**2 + 8*i + 12. Let w be h(-6). Solve w*x - u - 17 = 4*x, -7 = -x + 2*u for x.
-3
Let q be 15*1/3 + 2. Solve -2*l = 5*f - 12, 3*l - q + 27 = 2*f for l.
-4
Let t be (12/(-15))/(4/(-10)). Solve t*g = -2*l, -2*l + 5*l - 5*g = 16 for l.
2
Let b be (12/2)/(2*18/24). Solve -4*j + b*f = j - 18, -j = -4*f - 10 for j.
2
Suppose j = 6*j - 25. Suppose -16 + 1 = -j*w. Solve 0*k + 19 = -4*k - w*d, -3*k - 3*d - 15 = 0 for k.
-4
Let q(v) = 6*v**3 - v**2 + v. Let c be q(1). Solve 0 = 2*o + 4*u - 10, -o = -c*o - 2*u + 25 for o.
5
Suppose -8*k = -4*k - 8. Let a = 0 + k. Solve 0*x - d = x - 2, 3*x = -a*d + 6 for x.
2
Let i = 86 - 68. Solve w + 0 = 5, 2*b - i = -4*w for b.
-1
Suppose b - 4*p + 0 = 8, 0 = b - 2*p - 10. Let o be b - (3 + 2/2). Solve -3*q - o = -f, -f + 6*f - 22 = -3*q for q.
-1
Let u(z) = -z**2 + 2*z + 3. Let r be u(0). Suppose -3*s + r = -6. Solve 3*f - 3*w = -6*w, 4*f - 21 = s*w for f.
3
Let n = 34 - 32. Solve -u + 4*s = -4, -n*u = -u - s + 2 for u.
-4
Let i = -2 + 4. Let r = i + 0. Solve 0 = -6*n + 3*n + r*m - 3, 0 = 5*m for n.
-1
Suppose 5*r = -y + 6, -y = -3*r + 4*y - 2. Let c be (3 + 1 + -3)/r. Let u be 7/14*(7 - c). Solve -5*h = -10, -4*w + u*w - 1 = h for w.
-3
Suppose -2*a + 78 = a. Let v = a - 16. Solve -4*i - v = d + i, -3*d + 2 = -i for d.
0
Suppose -2*b - 3*b + 60 = 0. Let a = b - 7. Solve -t + q + 0*q = -2, -2*t - a*q = -18 for t.
4
Let b = -2 + -1. Let y = 3 + b. Suppose -o + y = -1. Solve 9 = 2*m - o, -m = 4*p - 5 for p.
0
Suppose 4*u + u - 135 = 0. Let m(h) = -2*h - 4. Let k be m(-4). Solve k*i + 2*t - 11 = -u, -i + 3*t + 10 = 0 for i.
-2
Let c be (-2)/7 + 153/21. Solve -b - 4*b + c = v, 0 = -3*v - 3*b - 3 for v.
-3
Suppose 0 = -2*h - h + 3. Let o(b) = 7*b - 2. Let z be o(h). Solve 4*j = -5*u - 4, 4*u - 5*u = -z*j - 5 for u.
0
Let i = 70 + -47. Let w = i + -7. Suppose 2*o = -5*z + w, -5*z + 2*o = 2 - 6. Solve -z*g - 12 = -0*g - t, -g + 3 = 4*t for g.
-5
Let z = 2 + -2. Let v(u) = z + 0*u**3 + u**3 + 4*u**2 - 5*u - 1 + 4. Let y be v(-5). Solve 1 = d - y*w, 0*w = d + 3*w + 5 for d.
-2
Let h be (-2 - -2) + 1 + 9. Solve -5*y + 0 + h = l, 3*l = 5*y + 10 for y.
1
Let i = 2 - -3. Let f = -2 - -3. Let y be 1 - f - (2 + -4). Solve 0 = -5*o - y*t - t - 14, -2*o + i*t - 18 = 0 for o.
-4
Let d = -15 + 18. Let j be 5 + (d + -4 - -4). Solve -4*a - 8 = -0*v + 2*v, -v = -a - j for a.
-4
Let d(f) = f**3 - 7*f**2 + 14*f - 18. Let y be d(5). Solve -y = 2*c - m + 6, -5*m = -4*c - 10 for c.
-5
Let k(m) = m + 12. Let n be k(-12). Solve n = -3*c - 2*g - 13, -5 = -c - g + 5*g for c.
-3
Let m = 16 - -4. Suppose 0 = -8*x + 4*x + 16. Suppose 6 = x*w + h - 1, -w - 3 = 5*h. Solve -3*l + 12 = -w*q, q - 2*l + m = 3*l for q.
0
Let v = 41 + -61. Let x = 23 + v. Solve -5*u = -u + 2*t - 6, 2*u = x*t - 9 for u.
0
Let h(m) = -m**2 + 8*m + 3. Let c be h(8). Solve y = 3*z - 13, -c = -2*y + z - 4 for y.
2
Let b be ((-10)/(-4))/5*8. Suppose 0 = 5*a - 14 + b. Let t = 4 + -2. Solve a*r = 5*r - i - 10, t*r = 2*i + 8 for r.
3
Suppose 3*r - 7 = 4*r. Let f(q) = -2*q - 10. Let i be f(r). Solve 0 = -2*p - 5*g + 8, -3*p + 8*p + 13 = i*g for p.
-1
Suppose -4*t - 85 = -21*t. Solve -2*u - 22 = t*x - 3*u, 3*x - 4*u = -20 for x.
-4
Suppose 5*n + 0*n - 15 = 0. Suppose -4*v + 4*k + 16 = -0*v, -3*v - 4 = k. Let b be 5 - (n + v + -1). Solve -b*s = -f + 8, 2*f + 11 = -3*s - 0*s for s.
-3
Let s(c) = -c**3 + 15*c**2 - 12*c + 5. Let t be s(14). Suppose -8 = 2*u - 4*f - 44, -u = -5*f - t. Solve -4*y - 2*p - u = 0, 5*y - 4*p - 3 = -0 for y.
-1
Let o = -22 + 25. Solve 0 = o*y + y + 16, -2*y + 4 = 4*f for f.
3
Suppose 9*k - 15 = 6*k. Solve 5*y = i - 22, -k*y = -0*i + 3*i + 34 for i.
-3
Suppose -5*p - 4*c = -4 + 2, -p - 4*c = 6. Let z be -1 - (p/2 - 3). Solve 4*m = -r - 5, r = -2*r + 2*m - z for r.
-1
Let q(k) = -k**2 + 10*k + 8. Let x be q(10). Let p(g) = g**2 - 7*g - 6. Let v be p(x). Let r = -4 - -8. Solve 0*n + 13 = 3*n + r*c, -v*n = 3*c - 10 for n.
-1
Suppose 28 = 5*p + 18. Solve p*c = c + 5, -c + 6 = k for k.
1
Let v = -29 - -31. Solve -v*w = -w - 4, -2*w = -2*g for g.
4
Let g = 6 + -7. Let q be (g/2)/((-4)/32). Solve -3*z + 3*r = q*r - 9, -7 = -4*z - 3*r for z.
4
Let f(p) = -p**2 - 5*p + 1. Let j be f(-5). Solve -5*c - 12 = 2*h, c + c = 5*h + j for h.
-1
Let o be 6/10 - (-76)/(-10). Let b(q) = q + 11. Let p be b(o). Solve -7 = -c - 0*m - p*m, -4*c - 5*m + 6 = 0 for c.
-1
Let k be -1*((-108)/20 - (-4)/10). Solve -3*l - k*x = 4, -5*l - 3*x = -4*x - 12 for l.
2
Let x(n) = 5*n + 3. Let i(j) = 4*j + 2. Let r(u) = 6*i(u) - 4*x(u). Let h be r(1). Solve -h*o + 3*z = -z + 4, 0 = -4*o - z + 16 for o.
3
Let d = -28 + 40. Suppose 2*i + 16 = -2*k - 3*i, -4*k = 5*i + d. Solve 2*m + 3*m + k = -4*r, 4*r + 12 = 0 for m.
2
Suppose 4*v - 12 = 3*k + 16, 5*v = 5*k + 40. Solve 0*h + v*h + 10 = 2*o, 11 = -2*h + 3*o for h.
-1
Let f(r) = -r**2 - 7*r - 3. Suppose 0 = -n - 4*n - 80. Let d = 10 + n. Let k be f(d). Solve -2*b + 5*j - 1 = 3, -2*b = -k*j for b.
3
Let i = -2 + 13. Solve i = -3*l - 4*d, 2*l + 3*l = 2*d - 27 for l.
-5
Let o(g) = g + 5. Let m be o(0). Solve -1 = -3*k - 4*r, -k - 8 = -m*k - 2*r for k.
3
Let h(z) = -z. Let y be h(-1). Let p be y - 3*4/(-3). Suppose 0 = -4*u, -w + 92 = 3*w + u. Solve l - 7 = -p*o, -1 = 5*o - 4*l - w for o.
2
Let i(o) = 8*o - 2. Let x be i(1). Solve 3*g = x, 1 = 5*c - 0*c - 2*g for c.
1
Suppose -3 - 3 = -o - h, 0 = -4*o + 5*h