ve 5*v + z*c + u = 0, -4*c - 20 = -0*v + 2*v for v.
-2
Let v = -74 - -93. Let c = v - 17. Let b(n) = -n + 1. Let g be b(-1). Solve 12 = 3*k - g*h, c*k - 7 = 5*h + 1 for k.
4
Suppose 8*q + 31*q = 78. Solve n + n - 3*k = 23, -q*k = 2*n + 2 for n.
4
Suppose -35 = -16*j + 13. Solve 0*n + j*n - 6 = -3*c, n - 10 = 3*c for c.
-2
Let f(y) = y**2 + 5*y. Suppose -9*j - 20 = -5*j. Let q be f(j). Solve 0 = -3*r + 6, q*n - 9 = -n - 2*r for n.
5
Let d(f) = f**3 - 2*f**2 - 2*f - 1. Let c be d(3). Solve 0 = -x - z - 1, 3*x - 5*z = c - 5 for x.
-1
Suppose -57*i - 65 = -70*i. Solve 0 = 5*k + v - 10, 4*v = -i*k + v + 20 for k.
1
Let y(f) = 3*f - 71. Let b be y(23). Let j be (60/(-27) - b) + (-6)/(-27). Solve -4*c - 16 = l, 0 = -j*l + 5*l + 3*c + 12 for l.
0
Let y be (60/(-16))/3*-4. Solve a + 24 = -y*g, -4*g - 5 = -2*a + 3 for g.
-4
Let h(w) = -9 + 4*w**2 - 4*w**2 + 2*w**2. Let d = 4 + 0. Let z be h(d). Solve 0 = 5*c + f + z, f = -0*c + 3*c + 17 for c.
-5
Suppose -1780 = -s - 1777. Solve -3*z + s*t = 8*t - 14, 0 = 4*z + 4*t - 16 for z.
3
Let f = -242 - -244. Solve -f*o + 10 = -4*a, -12 = 5*a - 2*a - 3*o for a.
-1
Suppose -4*w = -2*m, m + 3*w = 23 + 2. Let t = m - 6. Solve -t*a = 8, 5*c + 0*a = a + 7 for c.
1
Let k(u) = u**2 - u - 6. Let r be k(-2). Suppose r = 3*l - 0 - 15. Solve -4*d - 3*b + 9 = 0, -5*d + 20 = -0*d - l*b for d.
3
Let j be (-52)/(-9) - (-6)/27. Suppose -4 = 4*w - 2*i, 0*w = -3*w - 5*i - 16. Let x be w/(-2)*0*14/28. Solve x = 3*o - 12, 2*n - o = -0*n + j for n.
5
Let v(z) = 2*z**2 + z - 3. Let b be 1/(1 - (-15)/(-10)). Let l be v(b). Solve -l*m - 2*m + r - 21 = 0, 3*r + 12 = 0 for m.
-5
Suppose -15 = -5*j - 10. Let m be 3 - j - (-2 + 2). Solve -s = -5, m*l - 5*s + 30 = l for l.
-5
Suppose -2 = -9*s + 8*s. Suppose 5*y = -2*z - 1, -s*z - 3*z - 5*y = -5. Solve -3*h - z = 4*d - 2*d, 5*h = 2*d + 2 for d.
-1
Suppose -n = 2*m - 0*m + 8, -10 = 2*m. Solve 0 = n*a - 3*k - 2, 0 = -7*k + 3*k - 16 for a.
-5
Let s = -13 - -10. Let k be ((-9)/15)/(s/15). Suppose -o = -k - 1. Solve 3*x - 4*a = 19, 2*x + 14 = o*x - 3*a for x.
1
Let n(d) = 2*d**2 + 12*d + 7. Let p be n(-6). Suppose 0 = -9*a + p*a + 6. Solve h + 2*f + 2 = 0, -a*h + 3*f = -2*h - 3 for h.
0
Let w = -705 + 707. Solve r + 4*o = -3*r - 20, -4*r - 8 = -w*o for r.
-3
Let k be 8/(-8) - (-1 + 9). Let p = 12 + k. Solve p*s + 3*g - 4 = 2, -5*s = g - 6 for s.
1
Suppose -8*m = -42 - 70. Solve 2*y + 2*o + 0*o = m, -y + 11 = 3*o for y.
5
Suppose -3*z = 2*r - 9, 4*z - 2*z + 5*r - 6 = 0. Let q be (1/z)/((-1)/(-6)). Solve -4*f = q*c + 14, -2*f + 5*c + 18 = c for f.
-1
Suppose -168*l = -142*l - 52. Solve -4*k = 2*b - 16, -5*b - 3*k + l*k + 22 = 0 for b.
4
Suppose 74*s - 70*s = 16. Solve s*w = -a + 20 - 8, 5*w = -2*a + 12 for w.
4
Suppose 12 = -827*k + 831*k. Solve 4*d = w - k + 24, 3*d = -w + 7 for w.
-5
Let d(r) = -3*r**3 - 2*r - 2. Let i be d(-1). Suppose -5*l = 5*p + 10, 5*l + 9 + i = -4*p. Let s = -5 + 7. Solve 0 = -3*u - 3*k - 3, -s*k - 10 = u + p*k for u.
2
Let v = -23 - -22. Let c be (20/30)/(v/(-3)). Suppose 0 = -d + c. Solve -3*a = 5*p - p + 32, -d*p = -2*a + 2 for p.
-5
Let j(h) = 2*h. Suppose -9*i + 8 = -5*i. Let p be j(i). Suppose p*t + 4*b = -13 + 65, b = -4*t + 64. Solve 0 = -4*k + 3*r - 18, 4*r - 6 = 5*k + t for k.
-3
Let y(s) = -20*s + 123. Let x be y(6). Solve -3*p = -p + 3*f + 9, 0 = x*f + 15 for p.
3
Let d(r) = -r**2 + 6*r + 5. Let q be d(0). Solve 2*t + q*j = -0*j - 5, t - 5*j = 20 for t.
5
Let i(x) = -2*x**3 + 11*x**2 + 8*x - 8. Let o be i(6). Solve -b - h = o, -5*b + h + 16 = -3*h for b.
0
Suppose 5*s - 59 = -3*j - 0, 0 = j + 5*s - 3. Suppose 2*y - 2*h + 136 = -h, 2*y = -4*h - 136. Let i = y + 71. Solve j = 5*c - 5*a + 3, i*c - a - 5 = 0 for c.
0
Let f(i) = -3*i - 3. Let o be (-1 + 0)*210/(-10). Suppose 3*h + o = -3*z, 5*z - 4*h + 7 = -2*h. Let b be f(z). Solve -m - b = -4*u + u, 5*m = -u + 2 for u.
2
Suppose 2*j - 3*c - 383 = 0, c - 989 = -5*j - 2*c. Let l = j + -196. Let s = 0 + 3. Solve -y = -2*a - s, -5*a + l*y = 4*y + 40 for a.
-4
Let z be 40/30 + (-322)/(-6). Let f = z + -49. Solve 3*p + 18 = 3*j, 2*j - f = 6*j + 2*p for j.
1
Let c = 183 + -181. Solve -2 = -5*o + 2*u - 3, 8 = -4*o - c*u for o.
-1
Let s be ((-24)/(-10))/((-6)/15) + 11. Solve -s*g = 3*j + 15, -5*g = -j - 10 + 5 for g.
0
Suppose -2194*f + 2192*f + 4 = 0. Let i = 27 + -12. Solve i = 4*h - 3*o, -f*h - 3*h + 17 = -2*o for h.
3
Let j(q) = -8*q**2 + 2 + 9*q**2 + 7*q + 5 - 1. Let t be j(-6). Suppose 6*w = 4*w. Solve w*y + 3*y = u + 10, -u + 4*y - 12 = t for u.
-4
Let m be 0 - (113 - -5)*1. Let a = -106 - m. Solve 0 = 3*z - 0*j + 3*j - a, -3*z - 2*j = -13 for z.
5
Let h(q) = -4*q + 28. Let s be h(6). Let a = 2 - -1. Solve -a*v + s = -4*g, v + g + 1 = -0*g for v.
0
Suppose -16 = -5*w + 14. Let x be 1/3 - w/18. Solve 0 = 2*j + j + r - 17, x = -5*j - 2*r + 29 for j.
5
Let t be 4/16 + (-159)/(-4). Suppose 30 = 2*l - 5*s - 24, 5*s = -5*l + 170. Let p = t - l. Solve w + 1 + 5 = 2*g, 0 = 2*w + p for g.
1
Let i be ((-18)/(-315))/((-2)/(-14))*10. Solve -3*g = -2*u - 5, -3*u - i = -3*g - 1 for g.
3
Let a = 0 + 1. Let u be ((-1)/2)/((-1)/(-2)). Let p(b) = 17*b**2 + 3*b + 2. Let z be p(u). Solve 2*v + i = -a - 6, 5*v = -i - z for v.
-3
Let l = -27 + 29. Suppose p + 2*y = -6, l*y = -p - 3*p. Solve 5*z + 5*u - 33 = u, -p*u + 9 = z for z.
5
Let n be 16/(-208) + 108/52. Solve 0 = -4*p - 2*q - 10, 0 = -3*q - n*q - 15 for p.
-1
Let k = 86 + -59. Let o = -15 + k. Suppose -5*v + o = -v. Solve 2*a = -v*y + 5*a, -3*a = 4*y + 35 for y.
-5
Suppose 33*y = 37*y + 4. Let c be 2*(1/y - -3 - -2). Solve 3*d + 20 = -3*n + c*d, -5*d = -2*n - 20 for n.
0
Suppose 46 = -3*v + 55. Solve 4*f - 3 = -2*q + 11, -v*q = -3*f + 15 for q.
-1
Suppose -332 + 384 = 26*w. Solve 5*v + 2*l - 15 = 0, 0 = -w*v - 17*l + 12*l - 15 for v.
5
Suppose 0 = 2*d + 4*d. Let i(w) = w**3 - w**2 + w + 4. Let l be i(d). Solve -o + 12 + 8 = -5*h, 5*o + l*h = 13 for o.
5
Let x(k) = 2*k + 23. Let r be x(-6). Solve 16 = 3*a + 2*c + 5, 5*a - 4*c - r = 0 for a.
3
Let h = -31 - -24. Let t be 3 - (h + 2)/5. Solve 2*p + 11 = p + t*d, -d + 8 = -2*p for p.
-3
Let u = 325 + -322. Solve -u*a + 10 = -w - 1, -3*a = w - 1 for a.
2
Let z(u) = 2*u**3 + 12*u**2 + u + 6. Let b be z(-6). Suppose 4*t - 17 + 5 = b. Solve 4*q = 4*s + 8, -2*q + 0*s = -t*s - 5 for q.
1
Let g = 45 - 41. Suppose -3*x + 20 = -2*q + g*q, 4*q - 4 = 3*x. Solve q*u = 5*d - 4, -3*d - 5*u + 0 = 5 for d.
0
Let y(l) = -l - 18. Let c be y(-14). Let v = c - 0. Let o = 4 + v. Solve -2*r + 9 = -5*b - 6, o = -3*r - 5*b + 10 for r.
5
Suppose -4*y + 7 + 69 = 0. Suppose -y = -5*f + 11. Solve 0*t + t + f = u, t = -2 for u.
4
Suppose y - 3*y + 8 = 0. Solve 2*k + 2*j + y = 2, -4 = k - 2*j for k.
-2
Let s be (-1 - -1 - -2)/((-5)/(-20)). Solve -4*f - 2*b - s = f, 0 = -2*f - 2*b - 8 for f.
0
Let h be (-168)/(-98) + (-27)/(-21) + -1. Solve -3*y - d + 6 = 0, y + 0*y = 2*d + h for y.
2
Let o = 6 + -4. Let a(g) = 9*g**3 + g + 7. Let d be a(2). Let k be (o/(-3))/((-18)/d). Solve 3*p = -k*v + 9 - 0, -3*v = p + 1 for p.
5
Let h = -51 - -65. Suppose -10*n - 16 = -h*n. Solve 3*i - 12 = -4*c - 44, -3*c = -n*i - 1 for c.
-5
Let n(g) = -g**3 - 8*g**2 - 8*g - 5. Let o be n(-7). Let v be (-6)/15 - 63/5. Let y = 6 - v. Solve z - 3*i = -0*i - 18, -o*z - 5*i + y = 0 for z.
-3
Suppose 88 - 30 = -y. Let s = 66 + y. Solve 3*l - x = s, -17 = -4*l - 3*x - 2 for l.
3
Let j be (-87)/(-9) + (-7)/(-21). Let y = j - 4. Solve -t = s + 6, t - 3*s - y = 4 for t.
-2
Let h be (-2)/(-4)*(3 + -3). Suppose 3*n = -h*n - 5*v + 43, -n - 4*v + 19 = 0. Solve 3*y - 5*q = n, -4*y - 3*q + 1 = -2*y for y.
2
Let j be -10*13/((-390)/12). Solve o + 17 = -5*t - 0, 4 = -4*t - j*o for t.
-4
Suppose 5*j = -4*x + 167, -148 = -2*j - 2*j + 4*x. Let v = -7976 - -7976. Solve 4*y = -t + 22, v*y + j = 5*t + 5*y for t.
2
Let y = -3173 - -3189. Solve -2*u + y = -3*l, 4*u - 9*u + 29 = -2*l for l.
-2
Suppose -x - 18 = 2*j, x = -4*j - 18 - 8. Let n = -8 - x. Let q be n/((-82)/(-26) - 3). Solve 0 = -2*c + 2*a - 14, 0 = -5*c + 3*a - 16 - q for c.
-4
Let t be 2/(-6)*4*(-18)/(-12). Let v be -6*3/18*t. Solve 4*n = -4*f - f - 7, -4*f - 5*n - v = 0 for f.
-3
Let z = 945 + -945. Solve z = 3*h, 2*k - k - 5*h + 5 = 0 for k.
-5
Suppose -19*z + 3*z = -64. Suppose n = -5*h - 11 + 4, -n = h - 1. Suppose -z*t - n = -11. Solve 0 = 2*s +