, 0*v - 6 = -n*g - v for g.
1
Let o = 8 - 7. Let b be ((-9)/(-18))/(o/6). Let f = b - -11. Solve -2*j = 4*k + 16, -3*k - j - j = f for k.
-2
Suppose b + 12*b = 221. Suppose i + 12 = -0*i. Let l be (-33)/i + 2/8. Solve -4*t + 2*t = 5*o - b, 3*o = -3*t + l for t.
-4
Suppose 2*b = -4*p, 4*b + 3*p = 6*p + 11. Solve 3*n - 2*i = -7*i + 7, -n = b*i - 2 for n.
4
Let y = 100 - 98. Solve 4*f = y*g - 2, f + 5*g = -0 + 5 for f.
0
Let b be (1 + 0)/((-2)/(-24)). Let g be 106/10 - ((-162)/30 + 5). Solve 5*o - 4*x = -g, -4*o + 0*x = -4*x + b for o.
1
Let m be (-2)/1*2/(-1). Let s = -4417 - -4419. Solve 22 = -m*o - i + 4*i, 18 = -s*o + 5*i for o.
-4
Let d = 9 + -9. Suppose -4*k = -5*x + 17, -k = -2*x - d*k + 8. Let s(l) = l**2 - 6*l + 7. Let v be s(x). Solve -5*w = 2*c - 7, v*c = -w + c + 2 for w.
1
Let u(y) = -y**3 + 8*y**2 + 49*y - 1. Let i be u(12). Solve j - 2*h - i = 0, -3*j - h = j + 1 for j.
1
Suppose -3*d = -10*d + 21. Suppose -n = -2*f + 5, -4*f - 4*n + 24 = -f. Solve -3*l - 5 - f = d*y, -3*l + 11 = -y for y.
-5
Let p(r) = r**3 + 21*r**2 + 21*r + 24. Let v be p(-20). Suppose 20 = 5*x + 5*i + 5, 2*x = -v*i + 4. Solve 2*z - c = -12, -x*z - 5*c - 8 - 2 = 0 for z.
-5
Let d be 3/(-2)*60/(-45). Suppose -6 = -d*b - 2*o, -4*o + 0*o = -8. Let a be 0 + b + 6/(-6). Solve a*w - 32 = 4*w + 4*p, 0 = 5*w + p + 20 for w.
-3
Suppose -8*q - 60 = 60. Let j be (2/6)/(q/(-90)). Solve -9 = -4*l - 3*c + 1, -3*l - 5*c = -j for l.
4
Let t(m) = -1 - 1 + 2*m + 6 + 2*m**2 - 2*m**3 + 3*m**3. Let l be t(-2). Solve -3*j = 5*w + 20, 2*j + l*j + 3*w + 13 = 0 for j.
-5
Suppose -4*l - l = -25. Let o(v) = v**2 + 7*v + 14. Let g be o(-6). Suppose -4*f = q - 12, 3*f - 2 = 3*q - g. Solve -l*k = 5*z, -f*z = -3*k + 3*z for k.
0
Suppose 0*o = 5*o + 65. Let l = o + 13. Suppose 21 = 3*x - 3*q, l*q - 3*q - 16 = -2*x. Solve -3*i + k + 10 = 0, 0 = x*i + k + 4 - 10 for i.
2
Suppose 3*h = 5*h - 4*z - 12, 4*h + 2*z + 16 = 0. Let t be (0 + h/4)*10. Let j be t*((-4)/(-1))/(-4). Solve 3*y = 3*u + 4*y + 18, -2*u = j*y + 25 for u.
-5
Let p be (4 - 6/3)*-1. Let x be (-18 + p)/(-2 - 0). Let c be (x + -12)*(1 - 3). Solve c*v - 31 = -3*d, 2*d - v = -2*d + 16 for d.
5
Suppose a + 3*v = 1, 5*v + 58 = 33. Solve -5*u + 2*u + 8 = 2*l, 2*u + 4*l = a for u.
0
Let i = -91 - -110. Solve m - 4*s = 3*m - 4, -5*m + i = s for m.
4
Let u(s) = -3*s**3 + 27*s**2 - 26*s + 16. Let m be u(8). Solve m = -2*j - p - p - 12, 3*p = -j - 12 for j.
-3
Let f(j) = 4*j - 12. Suppose 0 = -3*t + 12. Let l be f(t). Let x(c) = -6*c**3 - c**2 + c + 1. Let u be x(-1). Solve 7*v = 3*v + l*m, u*v + 3*m = 40 for v.
5
Suppose -y = 4*y. Suppose y*m = -m + 2. Suppose -3*z - m*z = -125. Solve 4*n - 4*b = b - z, -3*n = 2*b + 13 for n.
-5
Suppose 32 = 3*i + 13*i. Solve -5*r = 2*h + 35, -4*r + i*r + h = 5 for r.
-5
Let o be (0/(-5))/((4 + -14)/(-5)). Solve 2*w + o*y = -5*y, 0 = -5*w - 3*y for w.
0
Let n(d) = d**3 - 131*d + 3*d**2 + 0*d**2 + 9 + 104*d. Let i be n(-7). Solve o = i*o + 1, -2*o = 3*t + 17 for t.
-5
Suppose 28*j - 10*j - 54 = 0. Solve -j*u + 6 = 3*l, 0*u + 5*l - 4 = u for u.
1
Let t(c) = 1 + c**2 + 1 - 5 + 2*c. Let s(m) = -m**2 - 18*m + 90. Let o be s(4). Let d be t(o). Solve -25 = 5*h - 4*y, -d*h - 25 = -y - y for h.
-5
Suppose -18 = -2*x - 3*p, -4*x = -7*x + 3*p - 3. Solve -9 = x*a + 3*l, 0*a - a + 3*l - 7 = 0 for a.
-4
Let i = -622 - -625. Let j(a) = -a**2 - 5*a + 3. Let c be j(-5). Suppose -2*l + c*l - 3 = 2*u, i*l - 4*u = 11. Solve 2*s = -2*q + 4*q, s + l = 0 for q.
-5
Let q(s) = 5*s + 11. Let x be q(5). Let b = -36 + x. Solve 3*f = 3*r, 2*r + 4*f + 26 - 8 = b for r.
-3
Let n = 16 - -29. Suppose -4*z + 0*k = 5*k - n, 0 = -4*z + 4*k. Solve -2*m + 6*m = 0, -m = c + z for c.
-5
Suppose 0 = i + 3*w - 4, i + 4*w - 3*w + 4 = 0. Let k be (4/i)/(4/(-32)). Solve -14 = 2*r - 0*r + 2*f, k*r + f = -19 for r.
-4
Let d(r) = r**3 - 9*r**2 + 8. Let m be d(9). Let u(t) = -266 + 4*t - t + 255. Let w be u(m). Solve 4 = 4*x, w = -3*i + x + 3*x for i.
-3
Suppose 5*g = -4*q - 4, 5*q + 5 = -2*g - 0. Let s be ((-20)/7)/(q - 5/(-7)). Solve f = 4*w - 15, -s = -4*f - 3*w + 5*w for f.
5
Let o be (32/24)/(2/3). Let s = o - -13. Let n = s - 13. Solve n*d - 3*p = 2*p + 25, -4*p = 5*d + 20 for d.
0
Let k = 248 + -243. Solve -5*q - 2*x = 2*x + k, -4*q - 4*x = 0 for q.
-5
Suppose 4*y = -2*m - 2, -y - 2*y = 2*m + 1. Suppose 291*b - 289*b = 2. Let h be (2 - b - m) + 0. Solve 4*d = -h*s + 5*s - 41, 4*s = 20 for d.
-4
Let q be (-235)/(-10) - 0 - (-30)/(-12). Solve r - 4 = 5*z + 15, q = -4*z - 5*r for z.
-4
Suppose 2*n = 0, -g - 3*n = -10 - 5. Let h = -271 - -246. Let o be ((-2)/h)/(3/30)*5. Solve 3*b - 4*y = g, 0*y - o*y = b - 5 for b.
5
Let p = 873 + -873. Solve p = -5*y - v - 2, -10 = 4*y - v - 3 for y.
-1
Suppose -326 = -5*t - 281. Solve i + y = -2, -y - t = -4*i - 2 for i.
1
Let w be 1 - -2 - (-70)/(12 + -5). Solve -1 = u, -p = 3*p + u + w for p.
-3
Let h(l) = 3*l + 9. Let u be h(-7). Let t = 22 + u. Suppose 8*p - 37 = 3*p + 4*s, -t = -5*p - 5*s. Solve 5*j + 45 = -5*k, j + 35 = -p*k - 2*j for k.
-4
Suppose g = -9*g - 3*g. Solve 2*p - 2*i = -p + 7, -5*p - i + 16 = g for p.
3
Let d be (-3)/2*2 - -1. Suppose 2*g + 9 = -g + 3*z, g - 3 = -z. Let c be g - 1/(d/12). Solve 3*w + w - c = n, 5*w + 5*n = -5 for w.
1
Let q be (-99)/(-7) - (-1)/(-7). Suppose -q = -9*t + 2*t. Solve -2*b + 4 = 0, 3*o - t*b = 2*b - 5 for o.
1
Let z(r) = -2*r - 12. Let h be z(-13). Suppose -3*p - a = a - 6, -2*a = 5*p - h. Solve -2*v = 0, 0*m - m - p*v - 2 = 0 for m.
-2
Let c(v) = 16*v - 3. Let f be c(1). Suppose 18 = j + f. Solve 0 = 2*t + j*n + 30, -3*t - n - 25 = -6 for t.
-5
Let q(l) = -3*l - 3. Let f be (-36)/20 - 1/5. Let v be q(f). Let h be (-4)/v*(-36)/24. Solve -6 = -5*u + h*m, 3*u - 3*m + 12 = -7*m for u.
0
Let z be -1 + 196/35 - 3/5. Suppose -l = -5*o + 14, -z*o + l = -o - 10. Solve -4*n = d - 8, 0 = -o*n - n + 5*d + 6 for n.
2
Let r(w) = w. Let t be r(3). Let h be -1 + -1 + 4 + 13. Let z(u) = u - 8. Let n be z(23). Solve t*o - n = 5*g, 2*g + 3*g = -3*o - h for g.
-3
Suppose 12 = 5*d - 4*d + 2*p, 0 = -4*d + 2*p + 58. Let c = 7 - d. Let m = c - -12. Solve 0 = t - w - w, m*w = -2*t + 18 for t.
4
Let p be 1*(-6)/21 + 1533/49. Suppose 3*o - p = -d, -4*d + d = 15. Solve o = 4*k - 2*k + 2*a, -4*k - 2*a + 20 = 0 for k.
4
Let u = -222 + 228. Solve -2*b = 2*b + 4*f - 28, 0 = 2*b - 2*f - u for b.
5
Suppose -2 = 5*w - 3*v - 15, -3*w = -2*v - 7. Solve -5*l + w*x = 2 - 7, 0 = 4*l - 3*x - 8 for l.
5
Let z be (9/(-9))/((-1)/(-3)). Let k = z + 18. Solve -k = -5*b + w, -3*w + 0 = b - 3 for b.
3
Let o(w) = w**3 - 4*w**2 - 4*w - 2. Let y be o(5). Suppose -3*f - 7 = 4*g, -14 = -3*g + f - 3. Solve -m = 5*a - 15, y*a = -g*m - m + 9 for m.
0
Let b(j) = j**3 - 4*j**2 + 3*j + 4. Let i(p) = 3*p**2 + 16*p + 7. Let m be i(-5). Let f be b(m). Solve -f*q + 3*q = -1, 4*n = -5*q + 11 for n.
4
Let a = 700 + -690. Solve 2*b - a = -3*k, -2*k - 6 = -5*k for b.
2
Let b be (8/(-7))/((-2)/7). Solve 0 = -v - b, 2*c - 4*v - 24 + 6 = 0 for c.
1
Let x be ((-24)/(-36))/((-4)/114). Let u = 24 + x. Solve -15 + u = 2*y, 3*a + 31 = -5*y for a.
-2
Suppose -2*t = -2*n, 9 = t + 3*n - n. Suppose t*w - 9 = 9. Let p = w - 4. Solve 0 = -2*r + 2*o + p + 6, 5*o + 29 = -4*r for r.
-1
Let n(u) = 17*u**3 - u**2 + 4*u - 2. Let d be n(1). Suppose f - 20 = -3*f. Solve -5*q - d = -4*y, -7*q = -f*y - 2*q + 20 for y.
2
Suppose q = -0*q + 5. Let h = 285 - 285. Solve -z - 5*m - 13 = h, -4*z + q*z = -3*m - 9 for z.
-3
Suppose 0 = -6*h + 9*h. Let g be (1/3 - h)*0. Solve -2*i - 8 = -q, g = -i - i - 5*q - 8 for i.
-4
Let v(c) = -c**2 - 5*c + 16. Let d be v(-7). Solve 2 = q - d*a, -3*q + a = -a - 10 for q.
4
Let s(g) = -12*g - 69. Let b be s(-6). Solve w - 3*j = -12, -3*w - j - 1 = -b*j for w.
3
Let w = 52 - 3. Suppose 5*n = -14 + w. Solve b + k = 4, -k - n + 1 = -b for b.
5
Suppose 5*n - 22 = -5*t + 8, -3*t - 5*n = -24. Suppose -k + 2 = -t*f, -k + 5*f - 48 = -3*k. Solve 6*y = y + 3*j + 16, k = 4*y - 3*j for y.
2
Suppose n + 7 = -14*j + 18*j, -2*n + 22 = 4*j. Solve 2*k = -2*p + 5*p + n, -3*p - 9 = 0 for k.
-2
Let m be (1 + 1)/(3/6)*1. Suppose -3*d - 4 = -m*d, -5*i + 5*d = 0. Solve 4*t + i*x + 4 = 0, 3*x - x - 14 = 2*t for t.
-4
Let y be -5 + 2/(-4)*4 + 11. Let u be ((-13)/(-3))/((-1)/(-6)). Solve -r - r = 4*i - u, -r + 23 = y*i for r.
3
Let c(p) = -p + 5. Let