c + 5*x - y*x = 16 for c.
5
Let c = 258 - 246. Solve -2*t - 4*d + c = 0, -4*t - 12*d = -15*d + 20 for t.
-2
Suppose 2*h = 14*h - 900. Suppose -10*a - 45 = -h. Solve 2*p - 21 = -a*p + n, n = -1 for p.
4
Let s be (-696)/960 - 2/(-16) - (-126)/35. Solve -5*c + l + s*l + 5 = 0, -3*c + 3*l = -3 for c.
1
Suppose -2*d = -5*d + 15. Let l(x) = -2 + d*x**2 + x - 4*x**2 + 0*x**2 - 4*x. Let r be l(-1). Solve 0 = r*m - 2*u - 16, 2*u = -3*m + 2 - 3 for m.
3
Let n = 69 + -77. Let g(x) = -3*x - 21. Let i be g(n). Solve 0 = -i*u - 3*f - 6, -2*f = -1 + 3 for u.
-1
Let k be ((-72)/(-16))/(2/4). Suppose c + 1 = k. Solve -x = -4*h + 8 + c, 8 = 2*x for h.
5
Suppose 557 = 176*p - 147. Solve -3*u = -p*o, 47*u - 46*u - 5*o = 0 for u.
0
Let h = 11570 - 11566. Solve 2 = -4*i + 5*o, 4*i - 9*i + 18 = h*o for i.
2
Let h be (1620/50)/(3/10). Suppose 4*v = -2*v + h. Suppose 2*f + 2 - 12 = 0. Solve -k = f*a - v, 2*a - 2*k = -0*a for a.
3
Let x(q) = 3*q**2 + 7*q. Let v be x(-3). Let k be (v/5)/((-21)/140*-2). Let s be 63/7*7/3. Solve -4*f = -2*l - f + 2, -s = l + k*f for l.
-5
Let m = -3095 - -3095. Solve x - 5*o + 14 = m, 2*x - 4*o + 1 = -3*o for x.
1
Suppose 0 = 89*m + 23*m - 582 + 134. Solve -17 = -m*h - 5*l, 20 = 3*l + 5 for h.
-2
Let q = -30055 + 30059. Suppose 2*w = -2*l - 2 + 4, 4 = -5*w + 4*l. Solve -q*c - 2*i + 10 = w, -2*i - 4 = -4*c - 6*i for c.
4
Let i be (-2)/(-18) - (-650)/225. Suppose 0 = 5*w + 15, 0 = -i*d - 4*w + 3 - 6. Solve d*l - 6 - 6 = -3*p, -3*p + 22 = 5*l for l.
5
Let y = 183 + -47. Let b = y + -78. Suppose -4*s + b = 42. Solve -5*n + 4*g = g - 27, 0 = 4*n + 4*g + s for n.
3
Let w = 98 + -81. Suppose 0 = -9*f + w + 19. Suppose 0 = j - 4 + 2. Solve 5*y = -3*c + 4, 5*y = f*c - j*c - 11 for c.
3
Let h(u) be the first derivative of 59*u**2/2 + 239*u - 237. Let q be h(-4). Solve -5 + 13 = -2*o - x, q*x = -4*o - 18 for o.
-3
Let a = 1853 - 1833. Solve -a = -t - 5*b, 2*t - b + 20 = 4*b for t.
0
Let s(f) = -8*f - 57. Let m be s(-6). Let a(v) = -6*v - 52. Let i be a(m). Solve i = -c + u, 2*c + 0 - 11 = -3*u for c.
1
Let w = -9946 + 9948. Solve 26*o - 22*o = -4*x - 4, -3*x + w*o - 23 = 0 for x.
-5
Suppose -d = -5*w - 451, 0*w - 3*w - 4*d - 289 = 0. Let f = w - -96. Suppose -22 = f*x - 97. Solve 0 = 2*u - 4*q + 7 - 27, 5*u + 3*q = -x for u.
0
Let b be (2/1)/(-12*10/(-120)). Let v be (2/(-5))/(b/5*-1). Solve -3*r = -n + 5, n + 0*n = r - v for n.
-4
Let j be (-7)/(-42) - 861/(-18). Suppose 0 = -j*q - 36 + 612. Solve -3*w + 11 = -c, 4*w + 2*c = q + 16 for w.
5
Let k(u) = u**3 - 3*u**2 + 4. Let o be k(4). Suppose -5*x + 48*g + 16 = 47*g, 0 = -5*x + 4*g + 4. Solve -2*t - 3*p - 7 = 0, 0 = -x*t + 3*p + o - 7 for t.
1
Let p = -87610 - -87610. Suppose -5*w + 7 + 8 = 0. Solve p = 4*u + 3*t + 35, 0 = -w*u - t + 5 - 25 for u.
-5
Let i(l) = 86*l + 40. Let j be i(-5). Let w = 394 + j. Solve -4 = t, -w*x - 5*t - 12 = -2*t for x.
0
Suppose 29*i - 250 = i - 22*i. Solve -o - 4*o - 3*u = -1, -i*o - 7 = -u for o.
-1
Suppose -5*b - t = -2*t - 17, 0 = -3*b + 3*t + 15. Let x = -10 - -13. Let p be -54 + 62 + 1*4/(-8)*8. Solve b*j + x = 3*w + 6, 3*j = 4*w + p for w.
-1
Let z be -3 - 7/(-1) - 0/36. Solve z*s = 5*s - h - 1, 0 = 3*s + 3*h - 9 for s.
2
Let x be ((-10)/(-7) + -2)*(77/(-14) - 5). Solve 5*i + 10 = 3*k + 47, 0 = k + 2*i - x for k.
-4
Let z(h) = 27*h - 86. Let y be z(5). Suppose -3*c + 8*f + 19 = 10*f, 0 = -5*c + f + y. Solve 0 = 2*l + 2 + 4, -5*l = -3*q + c for q.
-2
Suppose 5*f - 119 = -3*g, -g - 7 + 5 = 0. Solve 0 = 35*x - 37*x + 3*u - 5, 0 = -2*x - 3*u + f for x.
5
Let t = -455 + 579. Let n = 129 - t. Solve u = n*i - 25, 3*u = -6*i + i + 25 for u.
0
Suppose -2*l + 1573*r + 32 = 1570*r, -4*l = r - 8. Solve -4*u = l*t, -2 = -4*u + 2*t - 5*t for u.
2
Let m(f) = -2*f**2 - 5 - 4*f - 5*f**3 - f + 4*f**3. Let v = -7047 + 7045. Let h be m(v). Solve -p + 2 = t + 9, h*p + 15 = 5*t for p.
-5
Let h(b) = -5 + 4*b**2 - 6*b**2 + 7 + 114*b**3 + b. Let r be h(-1). Let z = -99 - r. Solve 3*x = -p + 8*x + 28, 2*p - z = 2*x for p.
3
Let b(p) be the third derivative of -p**6/120 + 47*p**5/60 + p**4/12 - 91*p**3/6 + 19*p**2 + 2. Let o be b(47). Solve 2*j - 6 = a, 0*a = o*a + 5*j - 4 for a.
-2
Suppose 20*h = 26*h - 72. Suppose 4*x = -12, 0 = -4*g - x + 61 - h. Solve -5*q + g = 2*n - n, -5*q - 4*n = -22 for q.
2
Suppose -886*m + 871*m + 75 = 0. Solve 2*t = 4*j + 16, -3*j - t + 3 = m for j.
-2
Let z(b) = -45*b - 154. Let x be z(-4). Let j(y) = y**3 - y**2 - 2*y + 2. Let m be j(2). Suppose s = -m*s + 12. Solve 0*r + i = r - 8, x = s*r - 2*i for r.
5
Suppose -7*s + 48 = -3*s. Suppose 0 = 19*v - 138 - 185. Suppose -10*n = -7*n + v*n. Solve 2*a + n*k + 5 = 3*k, -4*a + 4*k = s for a.
-4
Let k = 1133 - 1132. Solve 0 = h + k, 3*h - 7*h = 3*m + 7 for m.
-1
Let q(b) = 333*b + 17320. Let v be q(-52). Solve 2*l + t - 14 = 0, -t - 69 + 53 = -v*l for l.
5
Let z = -1203 + 514. Let t = z - -717. Solve 4*y + 8 = -3*q, t = 5*q - 4*y - 12 for q.
4
Let q be 1*-1 + (-3 - -12)/((-12)/(-8)). Solve c = -5*y + 17, -6*c + 2*y = -7*c + q for c.
-3
Suppose -50*q - 37 = 31 - 68. Solve -i + 3*l + 4 = q, -i - 11*l + 15*l = -4 for i.
4
Let k(z) = -22*z + 5. Let g be k(2). Let l = -35 - g. Suppose 0*v = 3*v - 6. Solve 6*o - o - v*i = -16, 0 = -o - 2*i + l for o.
-2
Let w = 4558 + -4550. Solve 3*p = -m - w, 3*m + 4 = 6*m + 2*p for m.
4
Suppose 51*z - 25*z = 25*z + 22. Suppose -v = 2*v - 60. Suppose v = l + 3*l. Solve -l*f - o - z = 0, 10*f - 5*f - 2*o = -16 for f.
-4
Let s = -321 + 345. Let a = -14 + s. Solve -2*z - 2 = -i, -i - 5*z - 2 - a = 0 for i.
-2
Suppose -3904 = 38*t - 42*t. Let s = t + -973. Solve -w = -s*c + 18, 5*c = 2*w - w + 28 for c.
5
Let c(l) = 2*l**2 - 4*l**3 - 13 - 2*l**3 + 6 - 2*l**3 - 6*l. Let k be c(-1). Solve 8 = -4*b + 4*f, 3 = 3*b + 2*f + k for b.
-2
Let z(k) = -2*k + 12. Let l be z(9). Let u be 2/3 + (1652/l)/(-7). Let y(x) = x**2 + 4*x - 2. Let q be y(-6). Solve t - 11 = 4*a + q, -u = 5*a - 4*t for a.
-4
Let z = -317 + 340. Solve 12*p + z = t + 7*p, 3*t - 3*p - 9 = 0 for t.
-2
Let y be (-508)/(-11) + 12/(-66). Let z = y - 36. Solve -2 = i - c, c = -2*i + 5*c - z for i.
1
Let x be (-106)/424 + 34/8. Suppose -8 - 2 = -5*j. Suppose y - 29 = -j*q, 5*q - 17 = 4*q - 3*y. Solve g - 3*h = q, -3*h - 15 = -x*g + 5 for g.
2
Suppose -2*n - 54 = -8*n. Let c(q) = -2*q + 23. Let v be c(n). Solve 4*o = -v*w - 2 - 9, 2*o - w - 5 = 0 for o.
1
Suppose 4*d + 204 = 10*d. Suppose 20 = -7*t + d. Solve -2*v - 1 = b + 3, t = -3*b - v for b.
0
Let g = -18261 + 18264. Solve -v = -5, -50 = -g*y + 5*v - 78 for y.
-1
Let y(p) = -3*p**3 + 6*p**2 + 18*p + 12. Let f be y(-1). Solve m + f*a + 5 - 8 = 0, -5*m - a + 15 = 0 for m.
3
Let i(y) = 12*y**2 + 6*y - 22. Let j be i(-9). Let o be (-9)/4*j/(-42). Let w be (o/(-14))/(4/(-14)). Solve 4*h - 2*h = 0, 0 = 4*s + 3*h - w for s.
3
Let k be (59/118)/((0 + 1)/26). Solve -6*t = -2*g - 9*t - 23, -5*t = -3*g + k for g.
-4
Suppose 9*u - 216 = 324. Suppose -u = -10*w - 2*w. Solve 4*m = w*v - 4, 3*v - 5 = 5*m + v for m.
-1
Let y = 12574 - 12572. Solve 13*r - 11*r = 2*v + 18, y*r + 10 = -5*v for v.
-4
Suppose 2*s + 33 = 5*f, -25*f + 21*f = -s - 24. Solve 2*o = -3*h + 43 - 52, -3*o = f*h + 16 for h.
-5
Let x be (12/36)/((-2)/84). Let o be (-1 + 1)*(x + 26 + -11). Solve -5*t + 2*q + 23 = o, -3 = -5*q + 2 for t.
5
Suppose -2 = -q + 1. Suppose 5*y - 5*i - 50 = 0, 8 - q = 3*y + 2*i. Suppose -y*s = -6 - 9. Solve -5*o + 2*c = 19, -2*c + 1 = -2*o - s for o.
-5
Suppose m - 29 = -35. Let z be 5 - (744/(-36) - 10/m). Solve -4*b + 2*o = 22, -o - z = 3*b - 4*o for b.
-3
Let i be 0/(8/(5 - -3)). Solve 0 = -3*a - 9, -2*r - 2*a + i*a - 14 = 0 for r.
-4
Suppose 15 - 19 = -4*g. Suppose -p = -2*y + 11 + g, 3*p = -12. Solve 3*l + 4*a = 10, y*l - 3*a = -12 - 8 for l.
-2
Let w(o) = -4*o**2 - 14 - 30*o - 28*o + 54*o + 2*o**2. Let d be w(-5). Let z = -42 - d. Solve y = -0*y + 5*m + 12, z*y = -m + 2 for y.
2
Let l be ((-28)/(-16))/(-4 + (-85)/(-20)). Let u be ((7 - l)/(4 - 1))/(-2). Solve u*w = w - p + 5, -25 = 5*w + 3*p for w.
-5
Let h = -72 - -128. Let k be ((-3)/(-6))/(7/h) + 1. Let u(s) = 2*s - 6. Let l be u(5). Solve -g = 3*t - 6*t + k, 11 = l*t + 3*g for t.
2
Suppose -31*g + 37*g = -378. Let w = g + -12. Let b = -73 - w. Solve -2*j + b*h - h - 3 = 0, -3*h = 2*j - 1 for j.
-1
Let c = 3134 - 3129. Solve -c*d - 5 = -5*r, 