2, g + 7 = 4*a for g.
1
Let x be (0/1)/(3 - 6). Solve -3*z - w = -3*w + 22, x = 2*w - 10 for z.
-4
Let u = 69 - 68. Let j be (3/u)/(-1)*-3. Solve 0 = -2*r - 4, -3*r = -2*o + 3*o + j for o.
-3
Let x be (2/6)/((-2)/(-30)). Let s be (80/(-56))/(4/(-14)). Suppose -s*p + 36 = -p - 2*d, 0 = 5*p - 3*d - 44. Solve -x*l + p*l + 15 = 0, -3*c - l = 9 for c.
-2
Suppose -93*b = -95*b + 16. Solve -3*n = -4*g + n + b, -6 = 4*g + 3*n for g.
0
Let c be (4 + (1 - 0))*1. Suppose 2*a - 73 = 3*u + a, 0 = u - c*a + 1. Let o be (-4)/u + (-378)/(-78). Solve 0 = o*w + 2*s - 6*s + 33, w + 11 = 3*s for w.
-5
Let h be 27/15 + (-2)/(-10). Suppose 0 = q - 1. Suppose -q = -o - j, 4*o - h*j - 10 + 0 = 0. Solve -3*l + 18 = o*u, -3*u - 11 = -4*l - 4 for l.
4
Let p = 15 + -9. Let g(x) = x + 4. Let n be g(-2). Suppose p*r - n*r = 16. Solve -3*d = -v + r*v - 9, -3 = -5*d - 2*v for d.
-1
Let v(q) = -4*q**3 + 2*q**2 + q - 2. Let g be v(-1). Solve -5*k = -15, g*f = -k + 4*k - 6 for f.
1
Let u(c) = -2*c - 21. Let x be u(11). Let r = x - -46. Solve 23 = -2*v + 5*y, 10 = r*y - 5 for v.
1
Let g be (15/20)/(15/60). Solve 5*d - 4 = g*f + 10, f - 5*d = -8 for f.
-3
Suppose g - 7*g - 66 = 0. Suppose c - 2*o = -23, -3*o + 2 = c - 0*o. Let t = g - c. Solve -3*z + 2*x - 15 - 1 = 0, t*z - 5*x + 18 = 0 for z.
-4
Suppose 5*m + 0*m = 25. Suppose -v + 2*h + 8 = 0, 12 + 3 = -5*h. Solve m = -5*j + 5*y, -v*j = -5*y + 5 + 3 for j.
1
Let i = -72 - -129. Suppose i = 5*k + 42. Solve -4*h - 3*q + 11 = 0, k*h + 3*q + q - 3 = 0 for h.
5
Suppose 3*o = o - 28. Let u be (-2)/(-1)*(-35)/o. Suppose 5*z - 11 = 4*q + 2, -2*z = u*q - 25. Solve 4*d + 4 = -2*b, 9 = -q*b - d - 2 for b.
-4
Let z be (-2)/2 - (-4)/(5 - 1). Suppose 9*a - 5 - 13 = z. Solve a*d - 2 = -2*b, -d - 22 = 2*d - 2*b for d.
-4
Suppose -26*s - 20 = -24*s. Let t be (4/8)/((-1)/s). Let b = 0 + t. Solve -g - 16 = -2*g + b*j, 3*g - 5*j = 18 for g.
1
Let q(b) = 141*b - 545. Let p be q(4). Solve l = a - 9, 24*a - p*a = -3*l + 5 for a.
4
Let o(l) = l**3 - 7*l**2 - 5*l - 20. Let s be o(8). Suppose -2*b - 2 = -42. Let w = -29 - -31. Solve 5*f - r - b = -5*r, s*f - w*r = 16 for f.
4
Let q(z) = 2*z**2 + 9*z. Let p be q(-6). Let f = -41 - -53. Suppose -f + p = 2*s. Solve -3*g - s*k = -5*g, 5*g + k = 0 for g.
0
Suppose -i - 4*n + 8*n - 16 = 0, i + 20 = 5*n. Solve -40 = -3*z + 5*d - i*d, 3*z + 5 = -4*d for z.
5
Let r be 2 - (-1 + 7 + -3). Let s be r - (-3)/2*2. Solve 0 = -n - 10*d + 5*d - 20, 0 = 4*n + s*d - 10 for n.
5
Let k = 169 - 246. Let x = k + 91. Solve 4*o - 2*v - x = 0, -o + 8 = 5*v - 1 for o.
4
Let b = -74 - -76. Solve 4*x = -4*w + 28, x + 6 = -b*w + 4*x for w.
3
Let g(h) = 21*h + 42. Let s be g(-2). Solve 4*x - 2*v = 14, s = -x + 5*v + 36 - 10 for x.
1
Let w = 657 - 649. Solve -3*v = s + w, -3 - 1 = 2*s + 3*v for s.
4
Let q = 63 - 114. Let z = -49 - q. Solve 0 = -5*c + 3*h + 1, -z*c + h - 3 = 3*c for c.
-1
Let y = 7 - -9. Solve 2*m - 4 = -d, y = 3*m - 2*d + d for m.
4
Let r(a) = -2*a + 11. Let y = 20 + -13. Let x be r(y). Let b be -2*1*(x + 1). Solve 8 = n - j - 0*j, 0 = -3*n + b*j + 29 for n.
3
Let m(h) = -h**2 + 7*h - 6. Let i be m(5). Let q be i/((-6)/(-3)) - -9. Suppose q = 2*o + 5. Solve o*n - 5*a = -7, 4*a + 2 = 10 for n.
1
Suppose -19*k + 96 = -569. Solve 5*o - 3*h + k = 0, 2*h = -5*o + 3*h - 25 for o.
-4
Suppose -4*q = 3*q. Suppose 3*u + q*u - 9 = 0. Solve 0 = 5*k - u*m - 20, -2*k + 16 = 2*k - 4*m for k.
4
Let h be 40/(1 + -4 + 2). Let j = -70 - h. Let x be ((-24)/j)/((-2)/(-5)). Solve x*d + 4*y = -26, 4*d + 4 = -0*y + 4*y for d.
-5
Let z(u) = -u**2 + 8*u + 5. Let a be z(6). Suppose 3*n + 3*i = i + 22, i + a = 2*n. Let y be (3 - 5/2)*n. Solve 0*f = -4*j + 3*f - 28, y*j + 4*f = 0 for j.
-4
Let b = -167 + 167. Solve 0 + 2 = 4*u + z, -4*z - 8 = b for u.
1
Let g(b) = 153*b + 157. Let i be g(-1). Solve 8*w - 20 = 3*w, -5*j - w = -i for j.
0
Let j(o) = 5*o**2 + 8*o + 8. Let k be j(-1). Let b be 0*(1/(-2) - -1). Solve 2*f + k*w + 2 + 4 = b, -5*f + 3*w = 15 for f.
-3
Let g = 2781 - 2774. Solve 3*r + 2*x - g*x = -37, 2*x = 10 for r.
-4
Let k be (-9)/(-6)*(2 + 0). Let j(l) = -l**2 + 5*l - 2. Let c be j(k). Solve -c*g + 24 = 3*a - 0*g, -3*a + 21 = 3*g for a.
4
Suppose 0 = -10*n + 5*n + 2*j + 22, -3*n + 8 = 4*j. Solve -10 = -5*f - 4*d, -2*d = n*f - 11 + 3 for f.
2
Suppose 0 = -19*b + 17*b + 10. Solve 4*p + 12 = b*r, -3*p + 4*p = -2*r - 3 for p.
-3
Let i(q) = 2*q + 13. Let x be i(-5). Suppose 4*r + x*c = -2*c + 47, r - 4*c - 17 = 0. Let z = 2 - -1. Solve 4*n - 4*m - r - 7 = 0, z*n = m + 11 for n.
3
Let h(l) = -2*l - l**3 + 2*l + 2 - 10*l**2 + 4. Let u be h(-10). Let j(o) = 4*o + 12. Let s be j(7). Solve 3*y = u*y - t - 18, -5*y + s = -5*t for y.
5
Suppose 4*s - 2*s = 4. Suppose 8 = b - s*y - 8, y = -4. Suppose 3*p = -b + 23. Solve p*d + 2*q = -0*q - 6, 6 = 3*d - 2*q for d.
0
Let f be (-311)/6 - 18/108. Let r be 65/f - 25/(-4). Solve 4*l + 0 = -u - r, 2 = -2*u - 4*l for u.
3
Let s = -9 + 9. Let t be s/((2 + 0)*-1). Let f be (((-20)/(-1))/(-2))/(-2). Solve -4*l - 16 = -t*r - f*r, 3*l = r - 1 for l.
1
Suppose 2*b + 96 = 26*b. Solve 2*y + 7 = 4*q + 29, b*y + 5*q = -8 for y.
3
Suppose 16*z = 17*z - 3. Solve -r + 5*j = -0*r - 3, 3*j + 9 = -z*r for r.
-2
Suppose -3*w + 4*o + 54 = -5*w, -4*w - 4*o = 92. Let v = 1 - w. Solve -4*f = 5*g + 31, 2*f + 0*f = -4*g - v for g.
-3
Let t be (-72)/(-54) - 8/(-3). Let z be (-18)/(-3) + (1 - 3). Let p be (-39)/(-9) - z/(-6). Solve 0*a - 15 = p*a, -5*j + t*a = -2 for j.
-2
Let j = 641 + -637. Solve g - 2*u + 4 = j*g, -g = 2*u + 4 for g.
4
Let o = -17 + 22. Let l = 1 - 2. Let c = l + 1. Solve 3*m = -m + 5*q - 16, -o*q = c for m.
-4
Let y = -4 - -9. Let n = 4 - 1. Suppose -n*m + 6 = -m. Solve -14 = -y*l - 3*p, 5*l - m*p - 26 = -0*p for l.
4
Let r be -100 + 5 + 0 + 0. Let w = r - -95. Solve -2*f - 5 = -t - w*t, -15 = -3*t - 5*f for t.
5
Let n(i) = i**3 + 3*i**2 + 3*i + 12. Let y be n(-3). Solve a = y*a - 4*q - 20, 3*a = 3*q + 15 for a.
0
Suppose -4*p - 95 = -5*m + p, m + 4*p - 9 = 0. Let d be 4/2*m/2. Let f be d - 5 - (0 + 0). Solve 4*z + f = j, 5*j + z = -z - 6 for j.
0
Let u be 0 + (-1 - -4) - 1. Let s be (-4)/2 - (u + 6). Let i = -9 - s. Solve k = -2*f + i, k + k = -3*f for f.
2
Let w be (36/(-27))/((-12)/27). Suppose -5*s = -z - 14, z = 3*s - w*z - 22. Let p = -6 + 7. Solve -s*h = 5*q - 4*q - p, 0 = -3*h - 5*q + 12 for h.
-1
Let k be (0 - (-2)/2) + 9. Suppose 15 = 5*u - 5*i + 3*i, -k = -2*i. Solve -3*l - x - 14 = u, -2*x = 3*l + 23 for l.
-5
Let p = -6 + 9. Suppose 12 = p*v + 6. Solve v = 3*b + z, -z + 0 - 2 = -b for b.
1
Let b(t) = -2*t**3 + t**2 + 2*t - 6. Let g be b(-3). Let n = g - 29. Suppose -4*y + 16 + 1 = h, -y - 5*h = 10. Solve y*j + 4*i - n = 3*i, i = -3*j + 14 for j.
4
Suppose 0 = 3*l + 3*k - 6, 5 = 5*l + 2*k - 11. Let g be 0*((-247)/26 + 10). Let b(t) = -4*t - 1. Let w be b(-1). Solve w*y = -z, g*z - l*z = -5*y + 17 for z.
-3
Let a be (17 + -19)*(-11 - 0). Let r = -19 + a. Suppose 5 - 14 = -r*f. Solve 5*b = -2*x - x - 3, 4*b + 24 = f*x for b.
-3
Let x = 444 + -422. Solve -x = 4*n + 2*y, 0*n + 4*n = 3*y + 3 for n.
-3
Let f = -56 + 60. Solve -5*j = -20, 3*g - 26 - 5 = -f*j for g.
5
Let c(h) = 13*h + 119. Let y be c(-9). Solve -4*l + 4*i = 4, 2 + 6 = -y*l + 5*i for l.
1
Suppose 2*x - 15 = -4*b + 5, -2*b = 5*x + 6. Solve -2*f + 2*o + 4 = -4*f, -2*f - b = -o for f.
-3
Let t(z) = z + 10. Let w be t(-6). Suppose 6*p + p = -14. Let f be ((-2)/(-4))/(p/(-16)). Solve -3*a = w*i + 1, f*i + 2 - 6 = -4*a for a.
5
Suppose 4*w - i - 43 = 0, -19*w + 14*w + 40 = -4*i. Solve o = -5*j - 7, w*j = 15*j + 2*o for j.
-2
Let r be 31 + -20 - 4/(8/14). Solve 0 = -r*i - 3*z + 4 + 3, -5*i + 2*z = -26 for i.
4
Let c = -24 - -34. Suppose 4*z = 2*h + c, 2*z + h = -h - 10. Suppose -3*x + z*x + 12 = 0. Solve x*s - 5 = -2*l + 1, 4*l = 5*s - 27 for l.
-3
Let m = -41 - -44. Let h be (8/40 - m/(-10))*6. Solve 0*a = -2*a - t - h, 2*a - 7 = t for a.
1
Let s(x) = x**2 - 124*x + 252. Let p be s(2). Solve -4*l - d = -p, l - 1 = -2*l - 2*d for l.
3
Let q = 766 + -755. Solve -6*t + q*t + 4*d = 16, -4*t = -4*d + 16 for t.
0
Let d = 7 + -5. Let o be d/(2 + -5 + 4). Suppose -7 = -w - o*l + 4, 0 = -w - 3*l + 16. Solve 5 = -3*i + a - 3, 4*a = i - w for i.
-3
Let z be 15/3 + (-6)/2. Suppose -1 + 7 = z*p. Solve 4*t - 23 = -p*w, 2 = w - 2*t + 1 for w.
5
Suppose 3*