 for g.
0
Let s(z) = z**2. Let c(y) = y**3 - 17*y**2 + 15*y + 18. Let j be c(16). Let x be s(j). Solve 3*f - x*d = d + 18, -12 = -3*f + 3*d for f.
1
Suppose -3*j - 4*v = 5, 4*j + 5*v = -0*v - 8. Let o = 13 + j. Let u be 9/((-9)/2) + o. Solve 5*s - 3*i - 19 = 7, -4*i - u = s for s.
4
Let c(h) = -h**2 - 19*h - 58. Suppose 10*a + 78 + 72 = 0. Let w be c(a). Solve 0 = 4*r + w*q - 24, 3*q = -4*r + 23 + 3 for r.
5
Suppose 6 = -8*l + 6*l, -2*b = 4*l + 12. Solve 3*p = 5*r - 11, -2*r + b*p - 2 = 2*p for r.
1
Let v(j) = j**3 + 4*j**2 - 4*j + 5. Let i be v(-4). Suppose -i*d + 24 = -17*d. Let o be (-2)/d - 112/(-21). Solve -h - 1 = -u, -h - 2*h - o*u = -29 for h.
3
Let n(y) = -5*y - y**2 - 5*y - 10 + 3 + 9. Let z be n(-10). Suppose -2*t + 5*q + 7 = 2*t, t = 3*q. Solve -9 = 5*o - f, -f + 6 = -z*o - t*f for o.
-2
Suppose -4*l + 10*n = 8*n - 176, 55 = l + 5*n. Solve 5*u - d - 10 = 2*u, -5*d + l = 4*u for u.
5
Suppose -5*t + 1 + 24 = 0. Suppose 0 = 7*k + 13 - 41. Solve 3*y + 5*d - t = 0, 4*y = k*d + d - 5 for y.
0
Let u = 335 + -337. Let y(x) = -x**2. Let v be y(1). Let i be 6*(v + (-3)/u). Solve 2*w = 7*w + i*l, 5*l + 16 = -3*w for w.
3
Suppose 0 = -2*x - 4*c + 24, 2*x - 2 = -2*c + 16. Solve 0 = 3*b - 4*m - 0 + 3, 2*b - 4*m + x = 0 for b.
3
Let d be (-1)/(-2) + 4/16*10. Suppose g + d*t = 4*g - 12, -5*t = -4*g + 16. Solve -g*i + 4 = 3*l + 1, -3*i + 3 = 2*l for i.
3
Suppose -w = 4*g - 21, w - 1 = g - 0. Solve 5*n + 5 = -5*s, g*s - n + 9 = -0*s for s.
-2
Suppose 3*d + 9*h = 12*h, -5*d + h + 16 = 0. Solve -3*p = l - 0*p + 3, 12 = -d*l - 3*p for l.
-3
Let i(n) = -26*n - 337. Let g be i(-13). Solve 2*j + v - g = -4, 2*v = -2 for j.
-1
Let n(z) = z**2 - 4. Let j be n(2). Suppose j*c - 4 = -c. Solve 0*l = -r + l + c, 4*l - 16 = -4*r for r.
4
Suppose -3*j = -58 + 13. Let i = j + -15. Suppose -4*c - 1 = 4*n + 7, n + 2*c = -7. Solve 2*s - 6*s = -t - 12, -s + 5*t + n = i for s.
3
Let a be (-2)/18 + 364/36. Suppose a*q = 6*q. Suppose -5*x + x + 16 = q. Solve -2*o = -x*i - 3*o - 6, -i + 3*o + 5 = 0 for i.
-1
Let u be 0 - (-2)/(2/7). Let m be u/2 + 2/4. Let p be m*(-3)/(1*-6). Solve p = -2*z + 4*h, -z + 1 - 2 = 4*h for z.
-1
Suppose 2*z = 4*k - 0*z - 8, 5*k = 3*z + 8. Let a(f) = f**3 - 3*f**2 - f - 8. Let s be a(k). Solve 0 = -2*i + 5*w + 10, -7*w = -s*i - 3*w + 8 for i.
0
Let f(d) = d**2 + 6 - 4 - 3. Let x(o) = o + 21. Let s be x(-19). Let i be f(s). Solve 0 = 4*m - 0*m + 12, -q + m = -i for q.
0
Let j(a) = a**2 + 10*a - 15. Let r be j(-13). Suppose p = 3*p - r. Suppose -3*m - 16 = -z, 5*m + p + 14 = z. Solve -5*b + w = -7, -3*b + z - 2 = 2*w for b.
1
Let o(m) = -2*m - 30. Let q be o(-16). Solve 4*x - q = -2*u - 10, -4*u + 20 = -4*x for x.
-3
Let d(x) = -x**2 + 11*x - 14. Let l be d(9). Suppose l*h - 14 = -3*i, 3*i + i = -3*h + 14. Solve 5*f + 2 + 2 = i*o, 2*f + 7 = -o for f.
-2
Suppose -1135 = 3*j - 1144. Solve 3*y - 4*h + 11 = -0*y, j*y - 4 = h for y.
3
Suppose 4*f = -4*x + 52, 29*x - 33*x = -5*f - 7. Solve -4*w - x = 2*b - 0, 5*b - 16 = 2*w for b.
2
Let b be (-22)/(-10) + 2/(-10). Suppose -5*s = -b*z - 3*s + 16, 2*s + 4 = -z. Solve -4*n = 5*f + 1 - 0, 2 = z*n + 2*f for n.
1
Suppose 10*g - 68 = 32. Solve g*t = 3*j + 12*t + 3, -2*j = 3*t + 2 for j.
-1
Let l(y) = -2*y**3 - 6*y**2 - 3*y + 6. Let k be l(-2). Solve -5*w = -k*v - 1 - 9, v - 3*w - 1 = 0 for v.
-5
Suppose -t = 4*t - 20. Let i(a) = -33*a - 592. Let g be i(-18). Solve 0*b + 11 = 4*b + 3*k, -b = g*k - t for b.
2
Let b(r) = -26*r**2 + r. Let t be b(1). Let w be (-20)/t*(5 + 0). Solve -w*s = 3*p - 5 + 1, -p = 4*s + 4 for p.
4
Suppose 5*l + 25 = -4*c, -2*c - 3*l + l = 12. Let w be c/2*(0 - 2). Let p = 24 + -21. Solve -n = -2*n - w*v - p, -5*v = -4*n - 12 for n.
-3
Suppose -4*k + 2*b = k + 127, -4*k + 4*b - 92 = 0. Let s = 27 + k. Let q(a) = -a**2 + 15*a - 12. Let j be q(14). Solve s = 2*z + j, 0*z + 4*z = -2*o - 6 for o.
-1
Let h(v) = v**2 - 7*v - 13. Let r be h(9). Suppose 2*g - 4 = -k, 3*k = 7 + r. Solve -2*j - 2*f = -0*f - 2, g = j - 3*f - 5 for j.
2
Suppose -3*v = 5*o - 34, -2*o - 53 = -5*v - 17. Solve -2*t - 5*l - 17 = 0, -t + v*l - 3*l = -14 for t.
-1
Let v be 1 - (0 + 0)/(-3). Let w be 0*(-4)/(-24)*3. Suppose 10*t - 40 = -w. Solve t*i + 5*k + 11 = 0, -5*i + 4*k + v = -16 for i.
1
Let p be ((-6)/(-14) - 1)*7/(-2). Solve 4*k = o + 3 + 7, 2*k = -p*o for k.
2
Let b = 23 - 8. Let u(w) = -w**2 - 3*w + 4. Let g be u(-4). Suppose -f - f + 6 = g. Solve f*y + 3 = 4*o + b, 4*o + 2*y - 8 = 0 for o.
0
Let f = 141 + -136. Solve 0 = 3*y + x - 3, -f*x - 1 = 2*y - 16 for y.
0
Let t(k) = -6*k + 107. Let p be t(17). Solve 10*j - 5*j = -p*m + 35, 22 = 2*m + 4*j for m.
3
Let j(q) = q + 7. Suppose -3 + 23 = -5*y. Let p be j(y). Let l be 3/15 - 474/(-30). Solve -2*u - 3*u + l = p*v, 5*v = -2*u + 14 for v.
2
Let q = -972 - -975. Solve -3*t - 4*o = t, -q*t + 2*o = -25 for t.
5
Suppose -f - f = -8. Suppose 16 = 6*d - 2*d. Suppose -d*b = j - 33 - 58, -3*b = -2*j - 71. Solve p - 5*p - 26 = 3*y, -f*y = 3*p + b for y.
-2
Let o(q) = -5*q**2 - 3*q + 2. Let z be o(2). Let i = 29 + z. Solve 2*x - 11 = -u, -u + 14 = i*x - 3*u for x.
4
Suppose 0 = 4*b - 20 - 0. Let c be b*-1*(-112)/40. Let i = c + -10. Solve -3*j - 4 = r, -2*j + i = -r + 3*r for r.
5
Let y = -835 - -838. Solve -4*n = k + 11 - y, 0 = n + 5*k + 2 for n.
-2
Let c = 3897 + -3895. Suppose -u - u = 0, 2*t = 2*u - 4. Let i be 2 - -1*(t - -1). Solve -4*k - i = -5*v, -v - c*k + 1 = -2 for v.
1
Let v(i) = -i - 14. Let l(a) = a + 12. Let x(y) = 6*l(y) + 5*v(y). Let g be x(10). Solve -4*o + 4*d = -g, 2*o = -o + 2*d + 5 for o.
-1
Let m be 8/(-10) - 42/35 - -6. Solve -8 = 6*i - m*i + 3*s, 4*s = -16 for i.
2
Suppose -v + 0 - 9 = 0. Let w = v - -12. Solve -z = -w, 20 + 8 = -4*r + 4*z for r.
-4
Suppose -21*y + 18*y + 12 = 0. Solve 5*m - 2*q = 3*m + 4, -4*q = -y for m.
3
Suppose -5 = 8*i - 21. Let o = 6 + -4. Solve -10 = -3*d + 4*t - o*t, 2*t - i = 0 for d.
4
Let o = -1789 + 1792. Suppose 0 = -3*b + 7 - 1. Solve 4*n - 25 = 5*d, -2*d - b*n + 5 = o*d for d.
-1
Let b = 884 + -882. Solve 0 = 5*c + f + 21, -4*c = -c - b*f + 23 for c.
-5
Let b(o) = -o**3 - 4*o**2 - 3*o + 3. Suppose -6*s + 51 = -69. Suppose -2*v + 14 - s = 0. Let l be b(v). Solve -2*i + 10 = 0, t = -2*i + 15 - l for t.
2
Let h = 5 - 2. Suppose 0 = 6*v - h*v - 39. Solve -12 - 11 = -b - 5*q, 4*b = q - v for b.
-2
Suppose -111 = 4*y + 5*p, -2*p - 3*p - 145 = 5*y. Let z = -34 - y. Solve z*d - 3*d = -5*a - 12, 5*a = -15 for d.
-1
Let t(r) = 3*r. Let n(v) = v**3 + 4*v**2 - 6*v - 4. Let u be n(-5). Let m = u + 0. Let o be t(m). Solve -21 = -2*b + b - 4*i, 0 = o*b + i - 8 for b.
1
Let v = -287 + 287. Solve c - 3 = -5*o, v - 15 = 5*o - 5*c for o.
0
Suppose 5*s - 176 = -x, -54 - 50 = -3*s + x. Solve w - 3*b - 3 = -b, -3*w = 5*b + s for w.
-5
Let m be (-15)/(-2) - ((-10)/4 + 3). Solve 20 = -5*b - 2*v, -m*v + 2*v + 12 = -3*b for b.
-4
Suppose 4 = -5*l - 1, 4*l = 2*c - 12. Let k(y) = 5*y**2 + y + 2. Let p be k(2). Suppose -p = 2*w - 6*w. Solve c*t - 2*x + 26 = 0, x - 28 = w*t - t for t.
-5
Let m be -2 - (4 + -4)/5. Let c be 14 + -1 + m + 2. Solve -5*l - s - 9 = 2, -s + c = -3*l for l.
-3
Let p be (0 - 1)/(4/(-28)). Suppose 4*a - 71 = -p. Let o be 1/(-2)*a/(-2). Solve 0 = -d + 3, 8 = o*q - 3*d - d for q.
5
Let o = -98 + 92. Suppose -40 = -8*r + 3*r. Let k = o + r. Solve l = q - 1, k*l + 11 = -0*l + 5*q for l.
2
Suppose 52 = 4*a - c, a - 2*c - 44 = -2*a. Solve -a = -4*r, 0*q + 4*r - 7 = q for q.
5
Suppose 3*x + 9 = 3*v, x + 3*x + 9 = 3*v. Let w = 51 - 49. Suppose -w*a + 101 = 97. Solve -2*t - 1 - v = a*q, -t - 12 = 3*q for t.
3
Let g be (-236)/(-590)*(-50)/(-4). Solve 0*k - 2*k + 2*n = -12, -20 = g*n for k.
2
Let n(u) = u**2 + 4*u + 4. Let b be n(-4). Suppose 0*o - 4*r = o - 16, r + 17 = 5*o. Suppose -o = -3*p + 2. Solve 0 = b*q + 3*f - 11, -f - 1 = p for q.
5
Let b = -59 + 64. Let t(c) = -c**2 + 5*c + 5. Let z be t(b). Solve 5*g + 8 = 33, -2*g = z*y - 10 for y.
0
Let t be 5*((-2)/4)/(15/(-12)). Solve 0 = -t*s - 4*p, -5*p - 26 = -4*s - 0*s for s.
4
Let a(h) = h**3 - 4*h**2 - h - 9. Let n be a(5). Solve -5*x - 3*c = n, 9*x + 7 = 5*x - 3*c for x.
-4
Suppose -15 = -3*j - 135. Let m = 57 + j. Solve -2*t = 2*f - 2, f - m = -3*t - 6 for f.
-4
Let y(m) = -135*m**2 - m + 0*m - m**3 + 128*m**2 - 5*m. Let n = -3 + -3. Let s be y(n). Solve -4*k + 17 = -x - 