= 18*c - 19*c + 19 for c.
4
Let k(t) = 8*t - 60. Let w be k(8). Solve p = -2*p - z + 9, w*z = 4*p - 28 for p.
4
Let y = 99 - 94. Let h(i) = i + 10. Suppose 8 = -l - l + 2*b, -5*b = -4*l - 15. Let f be h(l). Solve -f*g = y*x - 35, -6 = -3*x - 0 for g.
5
Let g(q) = -4*q**3 + q**2. Let a be g(1). Let i be a/6 + 7/2. Solve h + 3*v + 11 = -v, -i*h - 7 = -v for h.
-3
Let o = -31 + 3. Suppose -4*d + 42 = -3*d. Let i = d + o. Solve 0 = -2*q + 4*h - 12, -3*q + h + 4*h - i = 0 for q.
2
Let s(i) = 6*i + 1. Let g be s(-2). Let c = g - -14. Suppose c*j - 4 = 2. Solve -4*o + 8 - j = -3*h, 3*h + 3*o - 15 = 0 for h.
2
Let u(k) = 2*k**2 + 6*k + 12. Let f be u(-4). Suppose t - 5*t = 4*n - 16, 3*t - 5*n = f. Solve 3*h - 2*b - t = 0, -h - 2*b = h + 10 for h.
-1
Let z = 27 - 15. Solve 4*r + z = -f - 3*f, -2*r = 5*f + 12 for r.
-1
Let x = -1761 - -1770. Solve -3*g - 3 = 2*m, -7*g + x*g = 5*m - 21 for m.
3
Suppose 4 = -t + 6. Solve -h - 10 = 3*q, 5*h + q = t*h - 6 for h.
-1
Suppose -5*g = 3*t - 2*g + 3, 5*t + g = 15. Let u be 24 + -27 + 1 + -3. Let q be (-50*3)/u + -2. Solve 3*p + p = 4*z + q, 2*z - 10 = -t*p for p.
4
Let b = 527 + -524. Solve 2*y = -4*l - 22, y + 2*l = -b*l - 23 for y.
-3
Let t = 0 + 19. Let y = t - 15. Suppose 2*g - 8 = -2*g, 4*g - 8 = -a. Solve 4*k + 0*k = -5*w + 17, -w - y*k - 3 = a for w.
5
Let g be 4/6*((-18)/6 + 9). Solve 0 = -3*j + g*i - 1, 5 = 4*j + i for j.
1
Suppose -o - 83 = -4*x, -4*x - 34 = -6*x - 2*o. Suppose -2*w - 2 = -2*k, 2 + x = -3*k - 2*w. Let y = k - -12. Solve -10 = 2*p, j + y*p = 4*p - 17 for j.
3
Let u(a) = 2*a**2 - 20*a + 50. Let g be u(4). Solve g*j + 20 = 4*w - j, 2*j + 14 = 3*w for w.
2
Suppose 5*a + 15 = 4*l, -a + 2*a = 3*l - 14. Solve -c = -l*s + s - 11, -4*c - 4*s - 16 = 0 for c.
-1
Let a be (1/((-2)/(-62)))/1. Suppose 4*f + j = -a, 2*f = j + j - 28. Let u = f + 14. Solve -3*n - 3*x - 15 = -0*n, -u*n - x = 5 for n.
0
Let r = 83 - 32. Suppose -r = -2*g - 5*j, 2*j = 2 + 4. Suppose 3*f - 3*t = -0*f + 12, 3*f + 2*t - 7 = 0. Solve -9 = -f*w, -3*x + 0*w = w - g for x.
5
Suppose 0 = -139*c + 138*c - 5*o + 28, -3*c = -5*o - 64. Solve 8 = -3*r - n, -r - 2*r - c = 4*n for r.
-1
Let y(w) = 2*w**2 - 12*w + 5. Let u be y(6). Suppose u*p - 24 = -4*d + 2, 2*d = 8. Solve p*b + 2*z = 7*z - 33, -24 = b - 4*z for b.
-4
Suppose -2*g = -2*c + 12, -4*g - 2*c + 3 = 21. Let d(f) = 2*f**3 + 10*f**2 - 3*f - 11. Let i be d(g). Solve -i*b + 30 = -2*h, -2*b - 3 - 2 = 3*h for b.
5
Suppose 5*x - 25 = 3*d, 0 = -2*d + 4*d - x + 5. Let r be 1/(-6) - ((-256)/192 + 65/(-6)). Solve w - 21 = 4*b, d*w - 2*w = -2*b - r for w.
1
Suppose -b + 48 = b. Suppose -7*j - b = -5*j. Let q be ((-6)/j)/(1/4). Solve -5*f = -4*c - 8, -4*f + 9 = -q*c - 1 for c.
3
Let k(y) = -y**3 - 3*y**2 - y + 2. Let r = -31 + 28. Let z be k(r). Solve -2*t - 3 = z*g + 2, 11 = -2*g + t for g.
-3
Suppose 3*d = -3*l + 6, -4*l + 12 = -0*l + 2*d. Suppose 0 = u - 21 - l. Solve -w + 5*o = -6*w + u, 0 = w - 3*o + 7 for w.
2
Suppose -3*j - 6 = 5*n - 10*n, -4*n - 5*j - 10 = 0. Solve 3*u - 3 = 3*w, n = u - 2*u - w - 5 for u.
-2
Suppose -2*z = 2*z - 16. Suppose -d + 42 = 4*h - 3*d, -z*d + 60 = 4*h. Suppose 27*i - 23*i = h. Solve 2*k = i*n + 21, 0 = n - 4*k + 10 + 7 for n.
-5
Let d = -1533 + 1539. Solve -3*f + d = -2*r, 0 = -r + f - 3*f - 3 for r.
-3
Let d be ((-3)/2)/((-3)/4). Let k(g) = 5*g + 132. Let y be k(-26). Suppose 4*v = y*l + 30, 22 + 29 = 5*v + 2*l. Solve v = 4*u - 5*m, 4*u + 5*m = u - d for u.
1
Let g(x) = x. Let h be g(5). Let d(s) = 49*s - 46. Let o be d(1). Solve -5*w + o*z = 34, h*w + 14 = -3*z - 2 for w.
-5
Let m = 11 + -5. Let j(t) be the second derivative of t**4/12 - 7*t**3/6 - 3*t**2 + 7*t. Let f be j(8). Solve 0 = -3*g - f*v - 15, 4*g - m = v - 15 for g.
-3
Let r(w) = -5*w + 225. Let a be r(44). Solve -a*d + 18 = o, -4*d + 8*d - 2*o - 20 = 0 for d.
4
Let a = 127 - 123. Suppose -4*f + 3*f + a = 0. Solve 5*d = 2*n + 23, -f*d + 4*n - 5*n = -8 for d.
3
Let u be (6/(-5))/(-4 - 222/(-60)). Solve -3*b + 5*b = -2*l - u, l + 5*b = -14 for l.
1
Suppose -8 = -9*j + 37. Solve 0*r + 11 = 3*i + r, -4*r = -j*i + 24 for i.
4
Let l be (-21)/(-1) + -12 - 4. Solve 0 = -d - 5*w - 21, 37 + 8 = l*d - 5*w for d.
4
Suppose 4*d + 5*p = 20, -p - 3 + 7 = d. Let s be ((-152)/(-10))/((-34)/(-10) - 3). Suppose 0 = 4*n + s - 58. Solve d = -2*x - u - 0 + 5, -u = n*x - 17 for x.
4
Let f = 5 + -3. Let g be (f - 1)/(2/22). Let m = 37 + -32. Solve 4*a - 11 = -n + 2*n, -g = 4*n - m*a for n.
1
Let i(s) = s**3 - 3*s**2 + 5. Let h be i(3). Solve 16 = -3*a - 4*g, -h*a - 4 = -4*g + 5*g for a.
0
Let z be 15/9 + 1/3. Suppose -2*h + 4 = s, z*s - 4*h = 19 - 3. Suppose -3*j = -s*j - 3*d, -4*j - 3*d = -2. Solve 0 = -j*t + 4*u + 2, 0 = -5*u + 4*u - 1 for t.
-1
Let l be (4/18)/((-3)/(-24 - 3)). Let c(j) = -j - 1. Let p be c(-1). Suppose p*g + 6 = 2*g. Solve -g*x = -x - l*k, -k = 2*x - 12 for x.
4
Let v(t) = t + 17. Let y be v(-7). Suppose y*k = 11*k. Solve -c - 20 = -k*u + 5*u, 0 = 4*u + 4*c for u.
-5
Suppose 4*w + 18 = 2*i, 12*w = 11*w - 1. Suppose -9*d = -4*d - 15. Solve o - 2*z + i*z = 12, -d*o - 2*z = -10 for o.
2
Let h = 2 + -1. Let p = 0 + 0. Let o be ((-3)/(-1) - p) + h. Solve 12 = -4*u + 4*g, 4*g + 0 = -4*u + o for u.
-1
Let f = 8 - -36. Suppose 21*v - 25*v = -f. Solve -2*t + 2*c + 2 = 0, 2*c = 3*t + 3*c - v for t.
3
Let h(o) = -o**2 + 21*o - 75. Let i be h(5). Let v = 5 + -3. Solve -4*u + v*z + 6 = 0, -z - i = -4*u + 2 for u.
2
Let b be 0 + (2 + -5 - -5). Let p = b - -3. Suppose 3*h + 14 = -p*u + 48, 0 = -3*h - 6. Solve -4*g + 13 = -a, -4*a = -5*g + 4*g - u for g.
4
Let x be 1/3*4*-3. Let m be 8*((-14)/x - 3). Suppose 2*o - m*z - 9 = -z, 3*z + 18 = 3*o. Solve n - o = -2*w, -5*n + 9 = -w - w for n.
3
Let g be (9/18)/((-2)/(-8)). Suppose g*j - 4 - 10 = 0. Solve 5*o - 5*h + h = -j, -5*h = -3*o - 12 for o.
1
Let d = 7 + -4. Let i(x) = x**3 - 4*x**2 + 4. Let v be i(4). Let k = -5314 + 5316. Solve -v*p + 13 + 8 = -3*r, -15 = k*r - d*p for r.
-3
Suppose -2*f + 15 = 3*f + 5*x, -f + 7 = -3*x. Solve 4 = -2*j + d, -4*d - 6 = f*j - 5*d for j.
-1
Let b = -548 - -554. Solve m = 2*p + b, -6*p - 21 = -4*m - p for m.
4
Let h be -2*(-25)/5*1. Let i be 1/((10/25)/(16/h)). Solve 2*p - 4*y + 9*y = -33, i*y = -2*p - 28 for p.
-4
Let n = -29 - -17. Let a(w) be the first derivative of w**4/4 + 4*w**3 + w**2/2 + 16*w - 1. Let t be a(n). Solve -z + 2 = t*g - 0, 2*g - 5*z = 12 for g.
1
Let l be (104/(-78))/((2/9)/(-1)). Suppose -3*x = -l*x + 27. Solve 2*g + 12 = -2*t, -x = g - 0*g + 2*t for g.
-3
Let u be (-78)/130*(-20)/6. Solve -3*m + 4*h = -12, h = -u*m + 7 + 1 for m.
4
Suppose -5*k = q - 3*q + 123, 5*k = -2*q - 107. Let t = 15 - k. Solve -27 = -2*z + 5*a, -4*z + 4*a - 14 = -t for z.
1
Let q(y) = y - 12. Let d(b) = -1. Let x(s) = 4*d(s) - 2*q(s). Let m be x(9). Let p be -5 + m + (4 - -2). Solve -p*g - 3 = 0, -i - 7 = 3*i - g for i.
-2
Suppose -731*g = -722*g - 27. Solve 12 = g*x, 3*x = n + x + 6 for n.
2
Let f = -122 + 57. Let a = -62 - f. Solve 0 = -a*k - 2*k + 20, -3 = -3*w - 3*k for w.
-3
Suppose -2*q + 14 = 4*b, -12 = -5*q + b + 12. Suppose k = -q*c - k + 8, 3*k + 9 = 3*c. Solve -2*h + 4*z = c*h, 4*h = -2*z + 12 for h.
2
Suppose -3*p = 3, -2*p - 4 = -x - 0*p. Solve 0*y + 3*h - 7 = -4*y, -4*y + x*h - 18 = 0 for y.
-2
Suppose 0 = 4*b - 2*b - 4. Suppose -22*t + 85 - 41 = 0. Solve b*v = -0*v + t, h = 3*v - 6 for h.
-3
Let w(c) = 4*c - 28. Let f be w(7). Let z be f - (-22)/10 - 15/75. Solve -5*s + z*v + 7 = 3*v, 2*s - 5*v = -8 for s.
1
Let h = -45 - -43. Let f be (-9)/(-2) - (-1)/h. Solve -3*l + 3*y - 14 = 7*y, 4*l = f*y for l.
-2
Suppose b = 5*b - 48. Let s be (3 + -3)/(-4) - b. Let q = 15 + s. Solve 0*j + 5*j = -3*k - 1, -q*k - 4 = 2*j for k.
-2
Suppose 5 = -a + 13. Suppose 2*b - 10 = -3*v, v + b - a = -2*v. Solve 3 = -v*j + 5*u + 5, 4*j + 8 = 4*u for j.
-4
Suppose 291*u + 18 = 297*u. Solve -2*n = -t - 0*n - 4, -t - u*n - 4 = 0 for t.
-4
Suppose -16*z + 18*z = 0. Let y = z - -4. Solve y*r - 3*r - 4*m = -13, 0 = r - 2*m + 5 for r.
3
Suppose 0 = -5*v + 2*p + 39, -2*v + 9 + 13 = -4*p. Let k = 11 - v. Solve -k*f = 3*z - 13, 3*z + 3*f = -z + 8 for z.
-1
Let j = -2349 - -2350. Solve 2*f = 3*u - 5, -2*f + 0*f - 3*u = -j for f.
-1
Let g = 995 + -990. Solve 3*y + 4*s = -y, g*s - 28 = 2*y for y.
-4
Let m be (1 - -7) + -1 + 2. Let y(l) = -l**2 + 1