 + 5*k = 2*c - q, 0 = 2*c - 4*k - s for c.
0
Suppose 0 = n - t - 12, t - 33 + 5 = -4*n. Let f = 13 - n. Solve -2*c + 14 = 4*h, -c - c = f*h - 16 for c.
3
Let s be (-1)/(-3) - (-16)/6. Suppose -s*q + 15 = 2*q. Let g be (0 - 0)/(6/q). Solve -2*n - f - 3 = g, 2*f = -n - n for n.
-3
Let i(z) = z**3 + 5*z**2 + 3*z - 3. Let n be i(-3). Let y be (12/8)/(n/32). Let j = 1 + 3. Solve 8 = -2*r - j*u - 0, 2*u + y = 0 for r.
4
Suppose 0 = 14*c - 38 + 10. Solve -c*s - 5*z = -16, 20 = -2*s - 2*z + 6*z for s.
-2
Let d = 39 + -26. Suppose -5*h + 51 = -3*b, 0*h + b + 11 = h. Let a = d - h. Solve -3*k + 12 = a*w, -4*k + 6*k = 0 for w.
3
Let a = 35 - -17. Let q be (a/(-8))/(2/(-4)). Solve 0*y = y - 3*o + q, -4*o = -3*y - 19 for y.
-1
Suppose 12 - 4 = 4*y. Suppose 0 = -y*s + 5*s - 24. Suppose 0 = -0*t - t + s. Solve 2*d + t = -u, -5*d + 6*u = 2*u + 20 for d.
-4
Suppose -i - 4*z - 6 = 8, 0 = -5*z - 20. Solve -2*h + 3*h + 17 = -5*u, -5*h - 16 = i*u for h.
-2
Suppose 0 = -4*i + 8*i. Suppose -2*u + i*r - 4*r + 22 = 0, r + 7 = 2*u. Solve -2*p = h - u, 2*p + 4 = -6*h + 2*h for p.
4
Let y = 2 + 5. Let c(n) = n + 8. Let d be c(-6). Solve -y = 3*w - 2*t, 3*w - w + d*t - 2 = 0 for w.
-1
Suppose -2*y = 5*y. Solve -3*z = u + 1 + 3, -3*u + z + 8 = y for u.
2
Let b(q) = -3*q - 3. Let i be b(-3). Solve 3 = -5*p + y - 0, -4*p - i = -2*y for p.
0
Let k be 3/(-2)*10/(-3). Let t = 10 - k. Solve 4*p + 23 = -3*b, 3*b = t*p + 7*b + 29 for p.
-5
Let v(h) = -h + 10. Let u be v(6). Suppose -3*z + u = -5. Suppose z*c - 40 - 5 = 0. Solve -g - c = -2*a, 10 = -3*a - g - 4*g for a.
5
Let g(l) = l + 7. Let n be g(-4). Suppose 0 = -n*s + s + 14. Solve j + 3 = -3*i + 6, 5*j + 4*i = -s for j.
-3
Let a(y) = -y - 5. Let g be a(-7). Solve g*l + z - 5 = 0, l - 3*z = -0*l + 6 for l.
3
Let y = -10 - -15. Suppose -d - 23 = -0*n + 5*n, 4*d + 17 = -y*n. Solve 9 = -0*z + z - j, -d*z - 5*j = 10 for z.
5
Let r = 21 - 19. Solve 6 = 2*p, 4*c + 12 = r*p + 2*p for c.
0
Suppose 0*b - 4 = 2*b. Let j be (-2116)/36 + b/9. Let s = -38 - j. Solve 0*q + s = -3*u + 4*q, -q - 9 = 4*u for u.
-3
Let h(v) = v + 11. Let c be h(-6). Suppose 2*z - 15 = -z + 2*j, 2*z = -5*j - 9. Suppose 2*p - 15 = -3*p. Solve 0 = -g + z, -t - p*g + c = -2*g for t.
2
Let a(d) = d**3 + 10*d**2 + 2*d + 11. Let t be a(-10). Let x be 2/((-24)/t)*4. Solve i + i = 2*v - 10, -5 = -v + x*i for v.
5
Let g(q) = -2*q**2 + 7*q - 2. Let t be g(2). Solve 5*y - 9 = -2*j, -18 = t*j - 4*y + 2*y for j.
-3
Suppose 0*s = 4*s - 148. Solve -2*q = 4*u - 28, -2*q - q - 5*u = -s for q.
4
Suppose -5*j = -2*j - 12. Suppose h = 6*h - j*c - 92, 5*c - 90 = -4*h. Solve 2*t - 5*l + h = 0, -4*t - l = 2 - 6 for t.
0
Let l(o) = o - 1. Let c(p) = p**2 - 3*p + 1. Let t be c(3). Let h be l(t). Suppose 2*i - 1 - 25 = h. Solve 0*n + 5*n = -3*w + i, n = 2 for w.
1
Let o(t) = -5*t**3 - t. Let d be o(-1). Let l be (-28)/(-16) + (7/4)/7. Solve d*c - c + 35 = 4*j, 4 = 2*c + l*j for c.
-3
Let w be 2/(-1) + 1 + 3. Suppose 3*o + 3*u = -2*o + 3, 0 = -3*o + 3*u - 3. Suppose -4*t + o*t = 0. Solve -h + 3*d = -t*h + 5, w = -2*h + 2*d for h.
1
Let g(m) = m**3 + 4*m**2 + 3. Let z be 8/(-10)*1*5. Let a be g(z). Solve -4*v + 6 = a*d + 2, -2*v = -4*d - 24 for d.
-4
Let c(k) = -5 - 9 + 2 - k**2 + 10*k. Let f be c(8). Suppose 5*u = f*u + 9. Solve -2*m - u = 2*g + 3*g, g + 9 = 2*m for g.
-3
Let i be 2*(-1 + 9/6). Let c = 6 - i. Solve -3*b + 3*v + 1 - 28 = 0, -13 = -3*b - c*v for b.
-4
Let l be ((-2)/2)/((-7)/35). Let y be 1*(-1 - 1) + l. Solve -2*v - 3*b - 2 = 0, -v + 26 = -6*v + y*b for v.
-4
Let c = -107 - -109. Solve 3*x + x = -5*q + 5, c*x - 10 = -4*q for x.
-5
Let w be 3/(0 - 9/6). Let q = w - -6. Solve -2*b = -3*k + 5*k + 8, 0 = q*k + 2*b + 12 for k.
-2
Let d(x) = -2*x - 4. Let m be d(-3). Suppose -4*f - l - 111 = 0, 2*f + 63 = -l + m*l. Let c = -17 - f. Solve -p = p - 2*g - 12, -c = -5*p - g for p.
3
Let a(i) = i**2 - 7*i. Let h(q) = 9*q**3 - 2*q + 1. Let w be h(1). Let z be a(w). Suppose -5*x + z = -x. Solve -x*t + 7 = p + 4, 0 = -2*p + 2*t - 6 for p.
-1
Let i be 12/10*50/20. Solve -12 = -3*z + i*c, 2*z - c - 2 - 2 = 0 for z.
0
Let q = -7 - -2. Let t be (q/(-2))/(1/2). Let z = t - 1. Solve -3*y + 5*w = -z*y + 7, -2*w = -y for y.
2
Let q(a) = a**2 + 5*a + 9. Let r be q(-5). Solve j + 1 = 3*p, -4*p - 11 - r = 4*j for p.
-1
Let f be 2 + 0 - -39*(-6)/(-9). Solve -4*d + f = -2*c, 0*d + 13 = d - 2*c for d.
5
Suppose 0*x - 3*x + 9 = 0. Solve 2*s + x*s + 2*n = 17, -5*n - 20 = 0 for s.
5
Let i be 4/(-14)*(-9 - (-6)/3). Solve i = 4*p + 2*m + m, p + 2*m - 3 = 0 for p.
-1
Let h be (26/65)/(2/20). Suppose 0*r + 60 = h*r. Solve -4*x = 4*t, 3*t + r = -x - t for x.
5
Let i(g) = -5*g. Let f be 21/(-15) + 2/5. Let p be i(f). Let j = 16 + -14. Solve m + 4 = -3*m - 4*n, p*m - 16 = j*n for m.
2
Let x be ((-1)/(-3))/((-4)/(-156)). Suppose 4*y = 3*g + 92, -y + 4*g + x + 23 = 0. Solve 0*u - 12 = -2*u - 3*i, -5*i + y = -u for u.
0
Suppose 0 = 5*s - 0*s. Solve s = -4*h - 2*x - 0*x + 2, 3*x + 3 = 0 for h.
1
Let b be 4 + 0 - 18/6. Solve v + b = 2*c + 3, -2*c - v = -6 for c.
1
Suppose 5*y - 3*t - 7 = 58, 33 = 3*y - 3*t. Let u be (0 - 2/2)/(-1). Suppose 11*s - 16 = 7*s. Solve -4*n - y = -h - u, -4*h = s*n for n.
-3
Let g(r) = 14*r**2 + 2*r - 1. Let t be 1/2 - (-1)/2. Let y be g(t). Let p be (-1)/(-3) - (-40)/y. Solve -h + 7 = -4*k, 8*h - p*h = k - 22 for h.
-5
Suppose -4*u + 21 = -5*h, 3*u - 5*h + 4 - 16 = 0. Solve 4*k + u = 5*a, -3*a + 0 + 3 = 0 for k.
-1
Let k be (20/(-8))/((-2)/4). Suppose -3*x - k*n + 16 = 0, 2*x + 2*n - 52 = -3*x. Solve -y = -4*y + t + x, -y + 2*t = 1 for y.
5
Suppose 2*s - 2 = -0. Solve c - s = -6, -2*c = 3*h + 22 for h.
-4
Let p be (-12)/9*3/(-2). Suppose -5*y - 5*i + 40 = -0, 0 = -y + 5*i + p. Solve 4*u - 5*d + y = -1, -u + 3*d - 2 = 0 for u.
-2
Suppose -q = -3*q + 4. Solve -s = -q*c - 5, -3*c + 4*s = -2*c - 15 for c.
-5
Let p(k) = k**2 + 4. Let h be p(0). Let q = h - 1. Solve 4*s - 4 = 0, -2*g = q*s - 0 - 1 for g.
-1
Suppose 0*u + u - 5 = 0. Suppose -3 - 6 = -3*a, -5*o - a = -3. Solve 3*p + 3*h + 3 = -9, o = -4*p + u*h + 2 for p.
-2
Suppose 0 = -5*c - 10*c - 4*c. Solve -v + 4*y = 16, c = -5*y - 0*y + 20 for v.
0
Let b = 4 - 4. Suppose a + b*a = -14. Let j be 1/(3 + a/5). Solve m + 3*m + 2*v - 16 = 0, v + 20 = j*m for m.
4
Let k = -4 + 8. Let m be (-2)/3 + (-17)/(-3). Suppose 0 = -k*v + 2*q + 68, q - m*q = 0. Solve -2*l - v = 2*l + 3*h, 2*l + h = -9 for l.
-5
Suppose 5*q - 6*s = -3*s + 17, q = s + 5. Let u = 4 + q. Suppose 5*y = 5*h - 20, -10 = 7*y - 2*y. Solve 2*p + 2*r + 14 = 0, 0 = u*p - r + 7 - h for p.
-2
Let z be -7*(3 - 45/7). Solve 4*i - 11 = 3*g, 4*g - i - 5 = -z for g.
-5
Let x = 10 - 7. Let n be 1*(-3 + 60/x). Solve 0 = -0*u - 2*u - 5*z - n, 0 = 5*u + z - 15 for u.
4
Let h(m) = -3*m + 26. Let z be h(8). Let f be 0 - (1 + 1*-4). Solve f*u = z*r + 7, 5*r + 31 - 8 = 2*u for u.
-1
Let q = -6 - -32. Solve -1 = 4*c + 5*m, -c - 2*m + q = -6*c for c.
-4
Let k(j) = j**2 - j + 4. Let b(n) = -n**2 - 4. Suppose z + 2*z - 6 = 0. Let t(w) = z*b(w) + 3*k(w). Let o be t(4). Solve 5*f - o = 2*l, f + l = 5*f - 7 for f.
2
Let r be (-6)/((3 - 1) + -4). Suppose 5*i + 12 = 4*j, -5*i + i + 9 = r*j. Solve 4*t - 9 = 5*o, 4*t - o + 5 + 6 = i for t.
-4
Suppose 0 = 6*u - 3*u - 9. Solve 5*h - u*m - 27 = 0, 0 = 4*h + 5*m + 4 + 4 for h.
3
Let z be -1 + 2 + 2 + -5. Let u be z*((-1 - -2) + -2). Solve -4*w = -2*f - 2, 4*f - u = -3*w + 5 for w.
1
Let h(g) = -g**3 + 11*g**2 - g + 16. Let f be h(11). Solve 0 = -f*t, 3*t + 0 = 2*c - 10 for c.
5
Let h(c) = 3*c**2 - c**3 - 1 + 8*c + 1 + 2 - 10*c**2. Let t be h(-8). Suppose 2*a = 8 + t. Solve -3*d = 5*k - a, 4*d + 0*d = -k - 16 for k.
4
Suppose 0 = 6*t - 3*t - 33. Let w = t + -6. Solve -5*r + 2 = 3*b - 0*r, 2*r = -w*b + 16 for b.
4
Suppose 0 = 3*g - 0*g - 9. Let n be -2 + g*-2*1. Let c be (3/(-4))/(2/n). Solve s + 22 = -5*u, -10 = -c*u + 5*s - 40 for u.
-5
Suppose -2 - 16 = 3*v. Let d = v - -43. Solve 3*u + 3*p = -2*p - d, 22 = -3*u - 2*p for u.
-4
Let b = -13 + 33. Let m(i) = -7*i**2 + 2*i - 6 + 0*i**3 + 2*i**2 - 2*i**3 + 3*i**3. Let k be m(5). Solve k*y - 4*t = -36, -5*y + 7 = 3*t + b for y.
-5
Let g be (-1)/6 - 31/(-6). Let z(d) = d**2 + 4*d - 1. Let t be z(-7). Suppose -t + g = -3*r. Solve 24 = h - 5*p, 0 = r*h - 0*p - 2*p - 28 for h.
4
Suppose 0*z + 3*z - 18 = 0. Let b(y) 