g = -j - i for g.
-1
Suppose 6 = -2*v - v. Let g be 4 + v/(-2) + -1. Solve -g*q - 5*t = -0*q - 30, 0 = q + 4*t - 13 for q.
5
Let v(n) = -8*n - 1. Let y be v(-1). Solve -5*t - 3*a + 3 = 2, t + y = -3*a for t.
2
Let w(s) = s**3 - 6*s**2 + 7*s - 5. Let a be w(5). Suppose -a*i + 17 = -8. Solve 0*o + i*o + 16 = 2*m, 3*m = 5*o + 19 for o.
-2
Suppose -1 = -3*d + 5. Suppose 0*t - d*t = -10. Solve -11 = -3*z - t*b, 0 = -4*b + 1 + 3 for z.
2
Suppose -11 = -4*w + 5. Suppose 20 = 5*k, -x + 29 - 1 = w*k. Suppose -u + 0 = -x. Solve 5*n - 2 = -3*g + u, 3*n - 3*g = 18 for n.
4
Suppose 2*a + 9 = a. Let h be 68/10 + a/(-45). Let k = -6 + h. Solve -3*f - k = 5*d + 12, 0 = 3*d - 3*f + 27 for d.
-5
Suppose 0 = -5*v - 6 + 21. Let y be v/(-6) - 22/(-4). Suppose -y*f = -0*f. Solve 0 = -u + w + 8, f*u + u - 3*w = 16 for u.
4
Suppose -5*y = -3*j - 10, -2*j - 5*y = -10 - 0. Suppose -15*d + 7 + 53 = 0. Solve -4*t + d = 4*m, -3*t = 5*m + 1 - j for m.
-2
Suppose -t + 5*t - 12 = 0. Suppose t*b - 8 = 4. Solve -2*q - 11 = q + x, -3*x = -b*q - 6 for q.
-3
Suppose l + 0 + 1 = 2*f, 5*l + 4*f - 9 = 0. Let x be (1 + -1)/((-3)/l). Solve x = -h - 5*s + 2*s - 7, -3*s = -5*h - 17 for h.
-4
Let l be 9 + (-4)/((-4)/(-3)). Let p(o) = o - 6. Let m be p(l). Solve 2*h - 3*d + 9 = m, -2*d + 2 + 4 = 3*h for h.
0
Suppose -10*w + 31 = 11. Solve 2*c + 2*a - 20 = 0, -6 + 1 = -w*c + a for c.
5
Suppose -5*c + 5 = -m + 6*m, 23 = 5*m - c. Solve -5*p - 23 = x - 5, m*p + 21 = -3*x for x.
-3
Suppose -20 = -2*w - 3*w. Let v be w/(((-4)/(-2))/1). Let r(n) = -n**3 + 7*n**2 - 2. Let j be r(6). Solve -5*q + 5 = c + j, 14 = -c - v*q for c.
-4
Let s be ((-20)/(-30))/((-2)/(-6)). Let b = -3 - -1. Let v be (-6)/(-3) + s + b. Solve 3*p - v = -2*z + p, -3*z = -p - 19 for z.
5
Suppose 0 = 101*g - 100*g - 2. Solve 4*m = -5*q + g - 3, 0 = 3*m + q + 9 for m.
-4
Let a be (-5)/((-20)/16) - 1. Solve -3 = -a*k - 12, 9 = w - 4*k for w.
-3
Let a = 58 - 52. Solve -3*g + a = 0, -w + 6*g = g + 15 for w.
-5
Suppose -8*s + 5*s + g = -5, -8 = -5*s + 2*g. Solve -u = 5*a + s*u - 13, -4*a = -4*u - 4 for a.
2
Suppose 0*z + 3*z - 60 = 3*q, 0 = 2*q. Let g = -17 + z. Solve 0 = -4*a + 4*r - 9*r + 15, g*r - 9 = 5*a for a.
0
Let j be (-2 - -2)*(-4 + 5). Let l = -10 - -15. Let k = 16 - 3. Solve -5*o + a - 1 = -k, j = 2*o - l*a + 9 for o.
3
Let l be (-247)/95 - 3/(-5). Let m(i) = -10*i - 4. Let f be m(l). Solve 2*d + 3*k = -0*d + f, -2*d - 2*k + 12 = 0 for d.
2
Suppose -w = -4*b + 13 + 24, 3*w = 2*b - 21. Solve 4*q + b = 3*d, -d + 6 = -4*q + d for q.
0
Let z be ((-24)/5)/((-7)/35). Suppose 4*v - 3*r + 0*r - z = 0, -24 = -4*v + 4*r. Solve 3*g = 2*s - 13 - v, -2*g + s - 11 = 0 for g.
-3
Let h(r) = 3*r**2 - r + 1. Let a be h(4). Suppose 3*k - p = -4*p, -3*p - 5 = 2*k. Let n = -7 + 12. Solve n*t + x = t - 15, k*x - a = 4*t for t.
-5
Let s(b) = 8*b - 45. Let l be s(9). Solve 0*q + 2*q - 4*v - 6 = 0, 5*v = -4*q - l for q.
-3
Let f(y) = 2*y**2 - 1. Let b be f(-1). Let o be b - 0 - (-4 - -2). Solve -r = -3*l + 3*r - 4, -o*l - 10 = -r for l.
-4
Let p = -23 - -14. Let g = 11 + p. Solve 3*z - 17 = w, -7 = -w - g*z + 1 for w.
-2
Suppose 10*x - 5*x - 5*c = 10, -3*x = -c - 16. Solve -5*w - x = -2*s, -4*s - 15 = 1 for w.
-3
Let s = 16 - 11. Suppose 8*w - 5*d + 25 = 3*w, -5*d - 23 = 3*w. Let k be 72/w*4/(-6). Solve 2*b + s = -3*q, -q - 3*b - k = 3*q for q.
1
Let c(y) = -2*y. Let n be c(-1). Let z be 1*((0 - 2) + n). Suppose 0 = s + 4*l + 1 + 5, -5*s + 3*l + 39 = z. Solve 0 = -4*q - 4, -4*q + 2 = 3*b + s for b.
0
Suppose 3*f + 2*w + 12 = 0, -20 = 5*f + 3*w - 0. Let x = 6 + f. Suppose 4 = x*c - c. Solve 4 = -c*t, -2*v + 5*t = -v - 4 for v.
-1
Suppose -2*q - 5*d - 15 = -6*q, -d - 3 = q. Solve 1 = 4*h - 3*z, -2*z + z + 5 = q for h.
4
Suppose 0*g + g - 18 = 0. Suppose -2*d = 3*d - m - g, m - 3 = -2*d. Suppose -d*f + 14 + 19 = 0. Solve -3*t + 4*j - j = 3, -4*t + f = j for t.
2
Let t(v) = v - 4. Let s be t(9). Suppose 2*g - 3*h - 34 = h, -h - 14 = -g. Solve 2*w + 1 = -3*w - 4*x, -x + g = s*w for w.
3
Let a = -2 + 2. Let m be (6/(-2)*-1)/1. Suppose -5*p - 3*x = -6, a*p - x + 2 = m*p. Solve -3*q - o = 14 - 3, 4*q - 4*o + 36 = p for q.
-5
Let x = -42 + 50. Solve 3*a + 9 = y, 3*a + 3*y + 29 - x = 0 for a.
-4
Suppose 0*y - 4*y + 36 = -3*u, 2*u - 68 = -5*y. Solve q + 4*q + 12 = 4*z, y = 4*z - 2*q for z.
3
Let f(n) = n**2 + 4*n - 6. Let a be f(-6). Suppose 2*c = x + 4*x + a, 4*c - 12 = -4*x. Solve c*k - w + 10 = 0, -w + 10 = -5*k + 4*w for k.
-4
Suppose 2*j - 47 = -11. Suppose 2*p - 5 + 1 = 0. Solve 4*c = 2*a - j, 0 = p*c + 2*a + 3 - 9 for c.
-2
Let i(o) = o + 3. Let u be i(0). Suppose -2*g = -2*j - 5*g + 17, -u*j - 2*g + 33 = 0. Solve -4*n - 2*v + 26 = 0, 2*n + 4*v - 35 + j = 0 for n.
5
Let k(p) = 2*p. Let g be k(2). Let h(d) = -d**3 - 7*d**2 - 6*d - 30. Let a be h(-7). Solve g*q + 3*r = -a, q + 5*r + 20 = -3*q for q.
0
Let d be (-8)/(-6)*(-9)/(-6). Let z be (-4 - -4)/(2*1). Solve 4*n = -o + 16, -3*o + 3*n + 5 - d = z for o.
4
Let l(p) = p**3 - 6*p**2 + 3*p + 11. Let q be l(5). Solve 5*r - 4*x = 27, q = -r - 2*x - 2 for r.
3
Let i(a) = 3 + 0 - 13*a - 4. Let l be i(-1). Let u(x) = x**3 + 3*x**2 - 2. Let o be u(-2). Solve -4*w + 4*m - 24 = 0, -4 = o*w - 4*m + l for w.
-4
Suppose 0 = 4*q, 0*y + q + 25 = 5*y. Let v(c) = -c**3 - 3*c**2 + 2. Let p be v(-4). Solve -p = 4*w - 0*w + 2*d, 28 = -y*w + 3*d for w.
-5
Let c(h) = h + 9. Let t be c(-4). Solve s - 2*s = -2*r - 12, 0 = -s + t*r + 24 for s.
4
Let z be 4 + 5 + (-2 - 2). Solve 0 = z*i + 20, 4*a = -0*i - 4*i - 12 for a.
1
Let x = 70 - 68. Solve -4*d + 3*d = x, 5*d = 5*h for h.
-2
Let t(u) = -5*u - 38. Let r be t(-8). Solve -14 = r*i + 5*l + 4, l + 8 = 4*i for i.
1
Let j(i) = 7*i. Let d be j(1). Suppose -d + 11 = t. Solve 3*z + 4*m - 14 = 0, -t*z + 1 = 2*m - 11 for z.
2
Let r be 320/(-7) - 2/7. Let x = 68 + r. Let n = x + -10. Solve -n = 3*h, 1 - 12 = d + 3*h for d.
1
Let w(m) = -m**3 + 3*m**3 + m**2 + 4 - m + 2*m - 3*m**3. Let f be w(0). Solve -5*q - 4*c + 2*c = -6, 0 = -2*c - f for q.
2
Suppose 3*b - 22 = 5*m + 5, -b + 4*m = -16. Let d = -1 + b. Suppose s = d*s. Solve 4*f - 1 = k + 4, -3*f + 3*k + 6 = s for f.
1
Let c = -5 + 8. Solve 2*i + 0*i - c*y + 4 = 0, -3*i - 3 = -3*y for i.
1
Suppose -2*j + 0*j = -6. Suppose -p = -j*p. Solve -y + 6*y + 10 = u, -3*u + 4*y - 3 = p for u.
-5
Suppose 0 = -5*b - 5 + 60. Let s be (-3)/(19/b - 2). Solve 0 = -5*x - 2*p - s, -3*x + p + 4*p = 19 for x.
-3
Let i = -7 + 7. Solve 4*z - z - 3*j = -9, -5*z + 2*j - 15 = i for z.
-3
Let w = 1 - -17. Solve u + 4*n + w = 0, -5*n - 7 = -5*u + 3 for u.
-2
Let k be -1 - -1 - 0/22. Solve -g + k = 4*m - 11, -m + 17 = 5*g for m.
2
Let m(l) = -2*l - 1. Let k(w) = -2*w - 2. Let g(u) = 4*k(u) - 5*m(u). Let z be g(6). Solve 4*b = n - 3, -4*n = -n - b - z for n.
3
Suppose -3*p = -5*a + 11, 4*a - 3*p = -2 + 9. Solve -2*v + a = 3*h - 1, 4*v = 4*h - 40 for v.
-5
Suppose -6 - 29 = 5*f. Let d(n) = -n**3 - 8*n**2 - 7*n. Let r be d(f). Solve 3*o - 7*o - 3*h = 0, r = 5*o - h - 19 for o.
3
Let j(d) = -d + 12. Let v be j(7). Suppose 0 = -3*m + r + 4, -v*m - 3*r - 3 = -33. Solve 3*q - 2 = 5*p + 5*q, -3*q - m = -4*p for p.
0
Let n = -155 + 175. Solve -2*c + n = 4*w, -2*c = -3*w + 13 + 2 for w.
5
Let m be (-19)/(-4) - 2 - (-3)/(-4). Solve -17 + 5 = -3*d + 3*g, 0 = -d - 5*g - m for d.
3
Suppose -4*h - 27 + 3 = -2*b, -h - 1 = 0. Suppose -3*u - 2*u + b = 0. Let k = 20 - 16. Solve k*z = -x - 7 + 30, -u*x - 9 = -3*z for x.
3
Suppose -5*f = 2*x + 4, 2*f = -3*f + x + 2. Solve f = -t - 2*t + 4*z + 5, -5*z = -t + 9 for t.
-1
Suppose j = 4*c - 103, 0 = -c - 0*j - j + 22. Solve 5*f + 3*i + 15 = 0, 3*f - c = i + 4*i for f.
0
Suppose -p = -5*j - 2*p - 29, -2*j - p - 11 = 0. Let x = 10 + j. Solve -2*t + x*r = 8, -5*t - 3*r + 11 = -4*t for t.
2
Suppose 2*l - 28 + 24 = 0. Solve 0 = -n + t - 6, l*t + 3 = -0*n - n for n.
-5
Let w be (3/(-1))/(1/(-1)). Suppose 4*p + 4 = -4*k, -6*p + p - 5 = 0. Suppose k*r + r = w. Solve 0 = -5*h - r*z + 3, -13 = -3*h + 4*h + 4*z for h.
3
Let x = -2 - 1. Let h = 6 + x. Let r = 3 - h. Solve -5*u = 10, -3*b = -r*b - 4*u - 8 for b.
0
Suppose -5*w - 13 = -n + 2*n, 0 = -5*n + 4*w + 22. Solve n*h = f - 15, -h - 2*h = -3*f + 30 for h.
-5
Let h(x) = 4*x**3 - 3*x**2 + x. Let a be h(1). Solve -a*k + 2*g + 5 = 3*g, 3*k + 2*g = 5 for k.
5
Let p = 50 + -29. Let u be ((-