= 2*c for x.
4
Let h be ((-20)/2)/(1*-1). Suppose -2*r + 4 = -0*r - v, -5*r + 4*v = -h. Let t(j) = -3*j + 25. Let o be t(7). Solve a = 6*a + r*l - 20, a + o*l - 4 = 0 for a.
4
Suppose -80*m + 36 = -71*m. Suppose 4*h = -o, 2*o - 2*h = 1 + 9. Solve -g = -t - o, -t + g = m*g - 8 for t.
-1
Suppose 0 = l - 4*l + 60. Solve 4*m = l, 10*c = 5*c + 5*m - 40 for c.
-3
Suppose 0 = -5*l - m + 27, 33 = 4*l + m + 11. Suppose -15 = -5*d - 2*c + l*c, 3*c + 15 = 0. Solve 4*i - 22 = 5*y + 5*i, y - 4*i + 17 = d for y.
-5
Let i be (11 - 2) + 2/2. Let n = i + 0. Solve -5*y = -2*q - n, -20 = 4*q - 2*y - 0*y for q.
-5
Let d be (-3)/5 - (-156)/60. Solve o - 12 = -0*l + 4*l, d*o = 2*l + 12 for o.
4
Let t(x) = -x - 14. Let s be t(-18). Solve -6 = 4*p - 2*c, c - 18 = s*p + 3*c for p.
-3
Let s be (-10 + -2)*(-3)/9. Let n = s - 3. Let k(f) = 7*f**2 - f. Let i be k(n). Solve 3*o = -4*t - o - 12, 0 = t - 2*o - i for t.
0
Let q be 4 - 0 - (4 - 0). Solve 0 = -2*i - 4*a + 26, q = 5*i + a - 3*a - 5 for i.
3
Let r(g) = g**3 - 9*g**2 - 2*g + 21. Let t be r(9). Let x = 0 - 1. Let d = x + t. Solve -6*h + 2*h = d*o, -2*o + 2*h = 12 for o.
-4
Suppose 3*a + 4*x = 10, 2*x + 30 = 2*a - 0*a. Solve a = -5*z - 2*n, -5*z + 0*z - 4*n = 0 for z.
-4
Let h(p) = p - 9. Let w be h(7). Let v be -4*-1*(-1)/w. Let t be (-1)/(1/(-1))*3. Solve 0 = t*j - 0*u - v*u - 3, -u = 3 for j.
-1
Suppose -5 = -3*l - 4*u - 2, -5*l - 3*u = 6. Let c = 5 + l. Solve j = -4*h - 13, 2*j - c = h - 1 for j.
-1
Suppose -3*y - 9 = -24. Suppose y*u - 12 - 18 = 5*o, u + 18 = -2*o. Let r be (-2*1)/(o/20). Solve -2*c - 1 = -0*c + 3*n, 2*c - r*n + 9 = 0 for c.
-2
Let o(z) be the first derivative of 21*z**4/4 - z**3/3 + z**2/2 - z - 1. Let v be o(1). Let h = v - -6. Solve 0*n - n + h = 5*a, 4*n - 2*a + 6 = 0 for n.
1
Let v be (-54)/12 + (-3)/(-2). Let m = v + 7. Let w be -2 + 2*10 + 2. Solve -m*s = g - s + 10, 4*g + w = -2*s for g.
-4
Let b = 45 + -40. Solve 0 = u + 2*j + 5 + 1, -b*j = 3*u + 17 for u.
-4
Let w = 100 + -92. Solve 3*d + 2*d + p - 16 = 0, 0 = d + 3*p + w for d.
4
Suppose -5*n + 107 = -43. Suppose k = -4*k + n. Solve 3*f - k - 9 = 3*j, -2*j = 2*f + 6 for f.
1
Let u = -16 - -18. Solve 3 - 14 = -n + u*k, 2*k = -4*n + 4 for n.
3
Let p be -8 + 5 - (-1 - 70). Suppose -4*h - 12 = -p. Solve h = -x + 2*x + 3*q, 5*q = 5*x - 10 for x.
5
Let f(j) = -3*j - 1. Let b be f(-1). Let w be 69/b + 2/4. Solve 2*l - w = -5*s, -4*s = s + l - 30 for s.
5
Let t = 203 - 195. Solve 3*y + 34 = 5*a, -y = -4*a + t*a - 17 for y.
-3
Suppose -b = 5*i + 30, b = -b - 10. Let l(s) = -65*s + 33*s - 2 + 31*s. Let f be l(i). Solve f*y - 5*v + 11 = 3, 5*y + 1 = -4*v for y.
-1
Suppose -4*c + 70 = -3*a, 3*a + 4*c + 46 = 2*c. Let t = 11 + a. Let q be ((-28)/t)/((-2)/(-14)). Solve d = -5*u - 2*d + q, -u + 6 = d for u.
5
Let g = 6 - 11. Let p be (-1)/g + (-9)/(-5). Solve p*k + 10 = -3*s, 3*k - 8*k - 25 = 5*s for k.
-5
Let r(w) = 9*w + 4. Let p(c) = c**2 - c. Let t(q) = -p(q) - r(q). Let z be t(-6). Solve -4*x - 12 = y, -y + z = -5*x + 2 for y.
-4
Let b(v) = -v**2 + 8*v + 38. Let j be b(11). Suppose z - 11 = 3*z + 5*i, 4*z = -3*i + 13. Let h = z + -4. Solve -2*d + 30 = 4*p, -h*d + p = -p - j for d.
5
Let l(c) = -c**3 + 6*c**2 - 6*c + 6. Let f be l(5). Solve -5*d + s - 5 = -4*s, 0 = -d - 3*s - f for d.
-1
Suppose -2*s = 5*p + 145, 3*p + 3*s - 8*s = -87. Suppose 4*c = 232 - 44. Let r = p + c. Solve -4*n - 10 = -2*w, -5*w + 3*n = -0*n - r for w.
3
Suppose 0 = 3*g + 3*y - 27, -y + 14 = -0*g + 2*g. Solve -x - 2*z = -0*x - 3, g*x + z = 15 for x.
3
Suppose 4*h - 6 = 2*h. Let w = -9 - -6. Let v = h + w. Solve -3*p - p + 5 = 5*k, -k - 4*p + 1 = v for k.
1
Let w = 13 - 8. Let p = -7 - -12. Let y(b) = b**3 - b**2 - 3*b + 2. Let d be y(3). Solve -q + w*q - 2*j = 0, -q - d = p*j for q.
-1
Let m be 13*(9/3)/3. Let p = -8 + m. Suppose -13 = -p*w + 12. Solve -5*r + 16 = -2*n, 0*r = -w*r - 3*n + 26 for r.
4
Suppose 2*r + 21 = t - 17, -50 = 3*r - 5*t. Let i = r + 33. Suppose 0 = -3*f - 2*f - v + 17, 3*v + i = f. Solve 0 = f*k - 2*k + 3*l - 5, k - 5*l + 30 = 0 for k.
-5
Let z(g) = -g**2 - 10*g - 17. Let j be z(-7). Let q(o) = o**3 - 5*o**2 + 5*o - 4. Let l be q(j). Solve l = 4*i + t - 3, -3 = 2*i - 2*t - 7 for i.
1
Suppose 0 = -2*y - 3*v + 17, 0 = y + 3*y - v - 13. Solve -y*d - 16 = -w, 0 = 2*d - d - 5*w + 23 for d.
-3
Let l = -4 - -7. Let i = l - 12. Let z be ((-1)/(-1))/(i/(-18)). Solve -x = 2*o - 1, -4*o + 4*x - 2 = z for o.
0
Suppose -5*l + 3*x = -29, 3*x + 7 = -5*l + 18. Suppose -l*i + 12 = -12. Solve 7*m = 2*t + 3*m + i, 8 = -t - 3*m for t.
-5
Suppose 0 = -2*j - 3*a - 5, -2*a + 1 = j + 5. Solve j*o = 2*f - 2*o + 10, -4*f - 3*o = 9 for f.
-3
Let m = -6 + 10. Solve 0 = -3*i - 2*t + m + 1, -2*i = 2*t - 6 for i.
-1
Let c be -1 + (0 - 4/(-2)). Let f be (0/1 - 0)/2. Let x be f*2/2*c. Solve -3*l + 19 = 5*z - x*l, -4*z = 5*l - 10 for z.
5
Suppose 0 = -2*z + 5*j - 0*j + 1, 3*j - 9 = 0. Solve 6*b - x = b - 2, z = -3*b + 4*x for b.
0
Let m be 51/6 + 1/2. Let p = 13 - m. Solve -r + 9 = 2*q, 4*r - p*q - 3 = -q for r.
3
Let o(f) = -f**3 + 6*f**2 - 6*f + 6. Let n be o(5). Let i = -38 - n. Let w = -15 - i. Solve 3*u + 34 = 5*q, -3*u + 3*q = -0*u + w for u.
-3
Suppose -3*k = 2*r - k - 18, 5*r = 4*k. Let q = -9 + 3. Let d(j) = -j - 4. Let l be d(q). Solve r*a + 15 + 3 = -l*p, -5*p = -a + 1 for a.
-4
Suppose 5*n = -4*j + 24, -n + 13 = 2*n + j. Let b(d) = 2*d + 19. Let k be b(-8). Let r be (4 - (0 - 1)) + -1. Solve k*t = -s + 6, n*t = r*s + 5*t + 9 for s.
-3
Let s(q) = q**2 - 1. Let d be s(-2). Let m(h) = -h**2 + 3*h + 3. Let k be m(d). Solve z - 2 = -k*j + 16, j + 7 = 4*z for j.
5
Suppose -4*b + 3*c = -25, -2*b = b + c - 35. Let h be (-6)/(-3)*b/4. Solve -4*v - h*z + 15 = -6*v, z = 5 for v.
5
Suppose -9 + 0 = -3*i. Solve -i*b - 3*z + 3 = 0, 3*z = -2*b - z + 12 for b.
-4
Suppose 5*k + 6*l - 21 = 3*l, -2*k + l = -4. Solve 4*j - 1 = b, 2*b + k*j + 2 = -11 for b.
-5
Let d be 0/(-3 + 1 - -1). Suppose 2 + d = r. Solve -r*t = 2*t + 2*v + 2, v = -3*t - 3 for t.
-2
Suppose 0 = 5*f - 3*j - 28, j = 4*f - 22 + 1. Solve 2*n + 3 = f*w, w + 3*w = n for n.
-4
Suppose 0 = -0*f + 4*f - 20. Solve -3*h + f*t + 1 = -0*h, 3*t + 3 = h for h.
-3
Suppose -4*m + 0*m = -40. Suppose -5*k - 10 = -m*k. Solve 0 = a + 5*v + 10, -3*v + k*v = a - 2 for a.
5
Suppose 25*u + 9 = 28*u. Suppose 3*i = -3*z + 3, 0 = -z + 2*i + 6 + 7. Solve -u*h - m - 3 = -z*h, -m - 1 = 0 for h.
1
Let x be (-44)/(-10) + (-4)/10. Suppose 2*i = -4*p + 6, 2*i + 3*p = 7 - 1. Solve x*g = -20, -4*g + 2*g - 13 = -i*f for f.
1
Suppose 4*k - 28 = -4*m, 0 = 4*k - 3*k - 2. Solve 0 = -5*g - 0*g - 4*v - 12, -m*g = v + 18 for g.
-4
Let k be (-10)/6 - 68/51. Let h be k + (5 - (-8)/(-4)). Solve -5*y + 20 = -2*p - h*p, 4*y = 16 for p.
0
Let b(a) = a**3 - 4*a**2 - 4*a - 4. Let k be b(5). Suppose k = -4*t + 3*g, -16 + 3 = -2*t - 3*g. Let q = 22 + -18. Solve -4*y - 5 - 5 = -t*d, y + q = -d for d.
-1
Suppose -y + 2*c - 13 = -0*y, -2*c + 8 = 0. Let p = y + 9. Solve -11 - 1 = r - 2*t, 2*r = -3*t + p for r.
-4
Suppose 2*s - h + 70 = 5, s - 4*h + 15 = 0. Let n be (-40)/s*7/2. Let b be (0 + -10)/2*-1. Solve -b*i + 4 + 3 = -g, -n*g = 4*i - 20 for g.
3
Let m(d) = d - 3. Let c = 2 + -1. Let q = 4 + c. Let j be m(q). Solve j*k = -x - 8, 2*k + 5*x = -0*x - 24 for k.
-2
Suppose -2*x = -5*z - 19, -10 + 4 = 2*z. Solve u + 3*u = -5*o + x, -2 = o for u.
3
Let p = 10 - 7. Solve 2*v - p*l + 20 = 0, -3*l = -0*l - 12 for v.
-4
Suppose h - 2 + 0 = 0. Suppose h*o = 4*k - 4, 19 + 5 = 4*k + 3*o. Solve -i + s + 5 = 3*i, k*s + 15 = 3*i for i.
0
Let m(j) = j**3 + 5*j**2 + 3*j - 2. Let v be m(-4). Solve -v*x = -3*b + 1, -5*x + 0*x + 8 = 3*b for b.
1
Let h(t) = -2*t + 41. Let d be h(15). Solve 0*i - 3*q + d = -2*i, 5*i = -3*q - 17 for i.
-4
Let b = 9 + -9. Let a be (-1 - 2/(-2))/(-2). Solve 5*k = -5*n - 40, a = -4*k - b*n - n - 20 for k.
-4
Let s(i) = -i**3 + 4*i**2 + 4. Let g be s(4). Let h = g + 2. Solve r + 31 = -4*k + h*r, 0 = -4*k + 2*r - 22 for k.
-4
Let l(q) = -q**2 + 8*q + 13. Let d be l(9). Let y be ((-6)/d)/(1/(-2)). Solve 0 = -5*r + b + 29, 2*r + 13 = -5*b + y for r.
5
Let v(n) = 3*n**2 + 2*n + 2. Let f be v(3). Solve 2*c = -2*o - 3*c - f, -c = -3*o - 10 for o.
-5
Let l be (3 + -4)/(-1) + 7. Let t = l - 22. Let f be t/49 + 100/7. Solve -g = -3*k + f, 2*g = 6*g - 2*k + 6 for g.
1
Supp