 0 = -6*c + c + 4*x - 18 for c.
-2
Suppose -2*h = 307 - 891. Let r = 296 - h. Solve -5*v = -r*g - 7, v - 2*g - 3 = 2 for v.
-1
Let n = -30534 - -30538. Solve -14*s + 4*m = -15*s - 7, -4*s - 4 = n*m for s.
1
Suppose 9*h = -9*h + 3474. Let t = h - 189. Solve -12 = t*y - 4*x, x + 29 = -5*y - x for y.
-5
Let n be (0 - (-45)/12) + (-9)/12. Solve -5*h + f = 20, 19 = -n*h + 27*f - 25*f for h.
-3
Let i = -3443 - -3455. Solve 3*p = -5*x + 9, -54*x + 52*x - i = -4*p for p.
3
Let z(d) = 11*d. Suppose -2*o + 3*x = 9, -4*x + 0 = -12. Let l be z(o). Solve -s + k - 5 = l, -7*k + 2*k = s - 13 for s.
-2
Let m = -25 - -25. Suppose 5*t - 2*t + 12 = m. Let d be 0/(1/(t/12)). Solve 3*a - 5*z + 23 = d, -a + 0*z = 5*z - 19 for a.
-1
Let i(m) = 75*m**2 - 823*m - 1. Let n be i(11). Solve -2*y + 7 = t, -5*y = 4*t - n + 2 for t.
1
Let v(h) = -h**3 + 12*h**2 - 10*h + 13. Let q be v(11). Let a be 1*2*12/q. Let b be 0 - a/(-2) - (-1)/(-2). Solve 2*s + w + 3 + 1 = b, 4*w - 8 = 0 for s.
-3
Let u(p) = 59*p + 3894. Let b be u(-66). Solve q - 13 = -5*k, 0 = q - b*q + 3*k - 9 for q.
3
Let l be (-5)/3 + 2/3. Let f be l + (6 - (3 - 2)). Suppose 0 = 3*v + q - 4, 6*q - 10*q - 18 = -5*v. Solve -f*m - 4 = 5*r + 9, -2*m - 6 = v*r for r.
-1
Let h(n) = 9*n**3 + n**2 + 11*n - 19. Let t be h(2). Suppose -t + 44 = -7*i. Solve -i*p + 4*y = -25, 3*p + y - 11 = 4 for p.
5
Let p = 975 + -529. Let y = p + -443. Solve -1 - y = -3*j + 4*g, 3*j = -2*g + 16 for j.
4
Suppose -129*a + 127*a - 5*x - 30 = 0, -4*a + 60 = -5*x. Solve 0 = 3*o + 7*f - 3*f + 13, -2*f - 17 = a*o for o.
-3
Let l = -49 - -84. Suppose 0 = -2*g - l - 55. Let o = g + 62. Solve -5*w + 18 = -u, -5*w + o - 3 = -3*u for w.
4
Let i(a) be the first derivative of -1/3*a**3 - 3*a + 4*a**2 - 8. Let t be i(7). Solve s = -4*o - 16, -5*o = -3*s - t*o + 17 for s.
4
Suppose 0 = -c + 6*c - 2675. Suppose 5*l + c = 105. Let y = l - -90. Solve 6*z - 2*z - 7 = 3*w, 3*z - 2*w = y for z.
-2
Suppose 2*l + 9 = 19. Let z = -80 - -58. Let r(d) = -d**2 - 20*d + 44. Let u be r(z). Solve 0 = -3*v + l*g + 1, 3*v + 0*g + g + 11 = u for v.
-3
Suppose -13 = 9*d - 42 - 7. Solve -4 = d*c - 5*u, -6*c = -10*c - 2*u - 4 for c.
-1
Let b(y) = 3*y - 77. Let n(q) = q - 4. Let d(u) = b(u) + 6*n(u). Let g be d(12). Solve -i - 4*l + 32 = 3*i, -2*i = -l - g for i.
5
Let t be 2 + 9/(-4) - 2163/(-412). Solve f = -2*z + 4*z - 15, 45 = -t*f + 4*z for f.
-5
Let g = 2457 + -2452. Solve g*p = 4*x, 0 = 2*x - 7*x + 5*p for x.
0
Let c(a) = -4*a**2 - 56*a + 62. Let d be c(-15). Solve 0 = -d*x + y + 5, -18 = 3*x + 5*y - 6 for x.
1
Let p be 5/((-4 + 1)/3) + 4. Let h(k) = 18*k**2 - k. Let w be h(p). Solve 5*s = 2*u - w, 4*u + 3*s = -0*u - 1 for u.
2
Suppose -143*p + 2211 - 924 = 0. Solve -p*q = 2*w - 7*q - 4, 4*q - 11 = -w for w.
-1
Let b be (5 - 8) + (-6)/(-1). Solve -b*s + a + 3*a = 16, 3*s + 15 = 3*a for s.
-4
Let x be -1 - -3 - (-10 - -8). Suppose 3*z + x = -2*t - 3*t, 0 = -4*t + 4*z + 16. Solve 3*i + 25 = 5*v, -v - i + t = 4 for v.
2
Let f(d) = d**2 + 4*d - 3475. Let p be f(57). Solve -4*o = -2*u - p*u + 8, -3*u - 4*o = -6 for u.
2
Suppose -31*p - 36 = -34*p + 5*q, 5*p = -3*q + 94. Solve v + 218*g + 21 = 223*g, p = -v + 4*g for v.
-1
Suppose 2*d - 28 = -38. Let h be -7 - d - (0 - 0 - 4). Let o(i) = i**2 - 11*i - 55. Let k be o(15). Solve k*v = y + 7, 7*y - h*y = 3*v - 13 for v.
1
Let f = 41 + -40. Let y be (8/3)/(f/3). Let d(g) = -g**3 - 5*g**2 + 24*g + 2. Let i be d(-8). Solve -q = -k + 1, 3*q - y = -i*k - 31 for k.
-4
Let z be (1840/(-345))/((-24)/9). Solve -4*l - n - z = 6, 3*n = 2*l + 4 for l.
-2
Let k be (826/84 - 10) + 111/(-54)*-3. Solve 8*u - 10 = -2*l + 3*u, -l + 3*u - k = 0 for l.
0
Suppose -76*c + 593 = -32*c - 507. Solve -2*p - j - 10 = 0, 2*p = -3*p - 2*j - c for p.
-5
Let p = -1738 - -2054. Let i = -310 + p. Let x(c) = c**2 + 5*c - 1. Let s be x(-6). Solve 0 = 3*z + j - i*j + 7, -z + 1 = -s*j for z.
-4
Let r be (1 + -10)*(14 + -15). Suppose 5*k = -l + 46, 3*l = -4*k + r + 19. Solve 2 = 3*i + 4*d + k, i - 5*d + 9 = 0 for i.
-4
Let t = -9063 + 9068. Solve 5 = t*f - n - 0, -20 = 4*n for f.
0
Suppose 0 = 5*k + 15, 2*k + 258 = 4*m - 216. Suppose 8*q - m = 19. Suppose q*d - 20 = 13*d. Solve b - j - 2 = 2, 5*j + 20 = -d*b for b.
0
Let r(x) = 3*x**2 - 19*x + 11. Let i be r(6). Suppose i*w + 7*w - 24 = 0. Solve -w*c + 5*u - 17 = 0, 4*u = -2*c + 5 + 23 for c.
4
Suppose 0 = a - 3 - 1. Let j be (-8)/12 + 33/9 - 74. Let q = -59 - j. Solve 2*d + a*t + q = 0, 0 = 3*d + 3*t - t + 10 for d.
-2
Suppose 15*y - 149 + 117 = -y. Suppose 4*g - i = 4*i + 25, -3*i = -5*g + 15. Solve y*c - 6 = -g*r + 2*r, 2*c - r - 5 = 0 for c.
2
Let u be 79/553 + (-858)/(-21). Solve 40*k = -4*x + u*k - 11, -2*k - 4 = 5*x for x.
-2
Let q(m) = -m**3 - 2*m**2 + 3*m + 8. Let l be q(-2). Solve 8*t - 22 = 3*t - 3*b, 5*t - l*b - 2 = 0 for t.
2
Suppose 14*w - 104 = -12*w. Suppose 99*z - w = 98*z. Solve -2*h + 16 = -z*g, 2*g + 0*h + 3*h - 8 = 0 for g.
-2
Let a = -21971 - -21976. Solve -a*b = -20, -3*i - 25*b + 29*b - 31 = 0 for i.
-5
Let k(w) = -150*w - 40. Let p be k(-4). Let b = p + -558. Solve 0 = g - 2*a + 3, g = b*g + 5*a + 10 for g.
-5
Let m = 1181 - 1180. Solve 4*d = 2*i + 7 + m, -5*d = 4*i + 3 for d.
1
Let m(p) = p**3 - 5*p**2 - 172*p - 43. Let x be m(16). Solve 3*k - 14 = -v, 2*v = -2*k - v + x for k.
3
Let s(r) = -7*r + 50. Let x be s(-5). Let q = x - 81. Let n(h) = 3*h**3 + h**2. Let p be n(1). Solve p*m + 14 = -a, q*a = -4*m - 10 - 10 for a.
-2
Suppose -5*x - 25 = -0*x, -3*c + 10 = x. Solve 14 = c*q + 3*y + 5, -2*q = -5*y - 16 for q.
3
Let z be -19 + 42 + (7 - 28). Solve -2*b = z*g, -23*g = -28*g + 3*b - 40 for g.
-5
Let c = 7344 + -7340. Solve -x = 20*q - 21*q, -x - c*q = 20 for x.
-4
Let r be 21 + -21 + (17 - 11). Solve -4*u - 3*j = -25, u + 2*j + 8 = r*j for u.
4
Suppose 0 = -3*l + 526 - 523. Solve 3*i - 20 = 2*r - 2, 5*r - l = -4*i for i.
4
Suppose -23 = 59*v - 50*v - 68. Solve v*z - 6 = -2*l - 3, -2*z = -2*l - 4 for z.
1
Let n(h) be the first derivative of -32 - 7*h**2 + 1/4*h**4 + 18*h + 14/3*h**3. Let m be n(-15). Solve q = 4*d - 3*d - m, -2*q - 4 = 0 for d.
1
Suppose 0 = 20*s - 64 - 156. Solve 2*t - 4*g - s = 3, -4*t = g + 8 for t.
-1
Let g = 39 - 13. Suppose f = 3*l - g, 15 = 3*f + 3. Let t be (4 - (-72)/(-30))/(4/l). Solve t*m = 4*a - 16, -2*a + 16 = a - 5*m for a.
2
Suppose 6*c - 9 = 9. Suppose n = -c*d + 3 + 17, -2*n - 2*d = -40. Let f be 132/n + 3/(-5). Solve -f*i - 10 = -3*i + y, 3*y + 10 = -5*i for i.
-5
Suppose 554*f = 543*f. Suppose -x = -3*q, q - 2*x = -f*q. Solve -4*v - 4*k - 12 = q, -3*k = -3*v - 0*k + 9 for v.
0
Let g be (51/(-12))/(1/(-4)). Suppose -p + 5*k + 24 = p, 0 = 3*p + 2*k - g. Solve -2*o + 8 = f - p, 3*o = -3*f + 30 for o.
5
Let l(s) = s**2 + 8*s + 8. Let j be l(-8). Solve 0 = 3*k - r + j, 4*r = 8*r - 8 for k.
-2
Let z(w) = 1208*w - 2411. Let p be z(2). Solve -62*v - 27 = -65*v - 5*l, -p*v + 29 = 3*l for v.
4
Let x(t) = -t**3 + 2*t**2 + 4*t + 2. Let i be x(-3). Suppose -2*p = 12*p - 1106. Suppose -76*o - 6 = -p*o. Solve -5*b - i + 6 = -o*q, 0 = 2*b + 3*q + 4 for b.
-5
Let t be (-6 - -3)*168/(-126). Solve -o - 8 + 21 = -4*a, -t*a + 4*o - 4 = 0 for a.
-4
Let k(s) = s**2 - 54*s - 170. Let i be k(-3). Solve -3*j - i = -2*j, 4*j + 16 = 3*g for g.
4
Suppose -x = -4*x + 45. Suppose -1214941 + 1214985 = 22*h. Solve -5*o - 2*a - x = 0, 7*a + 30 = -5*o + h*a for o.
-1
Let a be ((-18)/36)/((-2)/8). Suppose 61*c = -4*w + 59*c, 0 = -a*w - 2*c - 4. Solve q + 12 = 3*z, -2*z = 3*q + w*z - 16 for q.
0
Suppose 87*t + 28 = 89*t. Suppose 4*w = -4, 7*m - 4*m - 5*w = t. Solve -9 = z + m*i, -3*i - 3 = -2*z + z for z.
-3
Let h be ((900/8)/(-3))/((-1)/4). Let w be 275/h - 1/(-6). Suppose 0 = w*p + 2*p - 48. Solve -p = -3*o - x, -2*o + x + 3*x + 8 = 0 for o.
4
Suppose 16 = 29*c - 66 - 34. Solve 3*n + 10 = n + h, -c*h + 12 = -n for n.
-4
Suppose -21*a - 2*i = -20*a - 27, 4*i + 81 = 3*a. Solve 0 = -5*q - 4*s + a, 0 = 2*q - 3*q - 5*s + 18 for q.
3
Let u = -5725 + 5729. Solve 5*h = 2*y + 27, -2*h + 77 - 63 = -u*y for y.
-1
Suppose 40*i - 23*i = -2652. Let z be 1*(-1)/(-2) + (-1326)/i. Solve -2*k + 12 = -4*v, -3*v + z = 4*k - 6*v for k.
0
Let s = 0 + 2. Let r be 2914/(-124) + (-1)/s + 1. Let i = -17 - r. Solve 0*u - i = t + u, 0 = 3*t - u - 2 for t.
-1
Suppose -b + 20 = 5*k, 0 = -2*k - 4*b + 359 - 351. 