 2*t + 13 for x.
3
Let n be 33/(-1056)*-48 + 6/4. Solve -n*y = -2*q - 14, -y - 2*y + 22 = -4*q for q.
-4
Suppose 0 = -45*z + 58 + 122. Solve 3*a - 9 = 2*i, z*a + 2*i = -5 + 3 for a.
1
Suppose 5*x - 14 = 4*x. Let j be (-288)/(-84) + (-6)/x. Let t be (3 - -1) + (2 - j). Solve -2*s - 5 = 5*y, -5 = 5*y - t*s - 0 for y.
-1
Let c = -7856 - -7864. Solve 8*p = -v - c, -v + 3 = -p - 2*p for p.
-1
Let x(q) = -q + 43. Let l be x(-24). Suppose -l = 4*b - 71. Suppose 2*g + 2*a = 21 - b, -4*g = -4*a. Solve g*s - 2*v - 24 = 0, 0*s - 2*s + 14 = -3*v for s.
4
Let w = 1798 + -1793. Solve -2*j + 22 = -w*s + 17, -9 = -2*j + s for j.
5
Suppose -140 = -6*s + 412. Let k = s - 83. Suppose -k*l - 24 = -12*l. Solve -5*g + 2*f = -13, g + l = -3*g - 3*f for g.
1
Let s = -11972 + 11987. Solve -39*d + 38*d = 0, -5*c + 2*d = s for c.
-3
Let y be 2/(-7) + (-4)/(-14). Suppose -7*g + 555 = -383. Let z = g - 131. Solve s = 2*t - z*s + 6, y = -3*t - s + 5 for t.
1
Let s = 110 + -110. Let g be 3 + s*4/12*1. Solve -4*r - g*i - 10 = 0, -r + 8*i + 9 = 3*i for r.
-1
Let i be (-44)/(-12) + 4 + (-60)/36. Solve 6 = -2*a, 4*a + 2 = 2*q - i for q.
-2
Let k(h) = -h**3 - 8*h**2 + h + 11. Let m be k(-8). Let x = 1411 + -1405. Solve 0 = -3*w + 2*w - m*y - x, -4*y - 8 = 3*w for w.
0
Let y(w) = 211*w - 420. Let c be y(2). Solve -c*x + 10 = -11*h + 15*h, -5*h + 2*x = -17 for h.
3
Let o(w) = w**3 - 5*w**2 + 5*w. Suppose 2*s + 3*s = 20. Let f be o(s). Suppose 0 = f*j + 1 - 13. Solve 3*q - 9 = 0, -j*l + 3 = -5*q + 9 for l.
3
Let z = 44 + -39. Let d be (17/(-3))/(9/(-27)). Let k = -15 + d. Solve -z*i = -m + 18, 4*m - k = -i + 7 for i.
-3
Let w be 31/6*(-7 - -13). Let l = 1 + w. Let v = 13 + -9. Solve 0 = -u - 4*i + 16, -5*u + 2*u = -v*i + l for u.
-4
Suppose -9 = -3*r - q, 0*r + 3*q - 11 = -r. Suppose -4 = -r*g - 3*p + 17, 0 = 3*g - 4*p + 11. Solve 3*t + 23 = -5*f, 2*t + 9 + 5 = -g*f for t.
-1
Suppose 3*f - 52 = y, 5*y - 3*f - 69 + 353 = 0. Let v = y - -68. Let a be 5/(-2)*(-4)/v. Solve 2*x + 1 = x - b, 3*x + 4*b = a for x.
-5
Suppose 0 = t + h - 14, 709*h - 711*h = -2*t + 12. Solve 0*u - 4*b = -u - 20, -2*u - t = -2*b for u.
0
Let h(t) = -t**3 + 41*t**2 - 36*t - 139. Let o be h(40). Solve 5*r - o = -3*m, 6 = 3*r + 5*m - 13 for r.
3
Let b(l) = -2*l - 27. Let j = -88 + 143. Suppose 0 = -2*u - 85 + j. Let i be b(u). Solve 3*q = i*w - 15, -3*w = -q - 7 - 8 for w.
5
Suppose 5*k - 2*n = n + 1916, -767 = -2*k + n. Let v = k - 364. Solve v = x + 5*i, 2*i = x + 4*i - 9 for x.
1
Let f = -2310 + 2313. Solve j - f = 3*r - 2, 3*j = -3*r + 15 for j.
4
Let o(z) = -3*z - 11. Let u be o(-5). Suppose -c = 5*s - u*s - 13, 5*c + 2*s - 56 = 0. Suppose -t = -c*t + 18. Solve -5*j + 2*j = 4*w - 10, j = t*w for w.
1
Suppose 132 = -3*q + z, 4*z - 94 - 119 = 5*q. Let d be 15/(-4)*300/q. Solve p - d = 4*x, 4*p + 0 = -3*x + 5 for p.
5
Let n be (9/4)/((-99)/(-176)). Let g be 1/(-1 - -2) - -1. Suppose -4*f = -s - 6*f + 4, -4*s + 16 = -g*f. Solve d - 10 = s*l, -3*d = n*l + l + 21 for l.
-3
Let s(p) = -p**3 - 14*p**2 + 3*p + 64. Let r be s(-14). Solve -10*u + 15*u + r = 2*b, -u + 5*b - 9 = 0 for u.
-4
Suppose 2*c + 8 = 66. Let q be 7/42 + c/6. Solve -2*y + t = -2, -y - q*t + 11 = -8*t for y.
-1
Let y = -15135 - -15147. Suppose -5*f + f = -20. Solve -2*x + 5*n + y = 2*x, f*x = n + 15 for x.
3
Let p(i) = i**3 - 2*i**2 + i - 549. Let n be p(0). Let t = -540 - n. Solve 5*z - 5 = -5*v - 40, z + 2*v + t = 0 for z.
-5
Let c(b) = -7*b**2 - 4*b. Let s be c(2). Let v = s + 21. Let p be (-1)/(25/v)*15. Solve -5*x - 3*j = -2 - p, -2*x + 11 = -j for x.
4
Suppose -14*k = -12*k + 616. Let w = -298 - k. Solve 6 = l - 2*s, -2*s - w = -3*l - 0 for l.
2
Suppose 19*p = -378 - 391 + 807. Solve p*a - 3*z + 6 = -0*z, 0 = z for a.
-3
Let v be (5/(6/3 - -1))/((-1)/(-3)). Solve 5*k - 14 = t, v*t - 9 = 8*k - 45 for t.
-4
Let k be 15*(-3 - (-16)/6). Let d be 0/k - 6/2. Let v be 25/(-15)*d - 3. Solve v*h - 5*n - 21 = 0, -h - 4*n - 15 = -2*h for h.
3
Let x = -6 + 62. Suppose -25*u + 17*u + x = 0. Let r = -7 - -11. Solve 0 = -r*k - 2*q - 10, k + 2*q + u = -0*k for k.
-1
Suppose 14*d = 917 - 497. Suppose z = i - 2, -7 = -4*z + 1. Let w be 7 + (0 - 1) - 3. Solve 2*m = -i*k - d, -k = w*k + 20 for m.
-5
Let g(i) = i**3 + 18*i**2 - 132*i - 1446. Let t be g(-21). Solve k + 4*k - t*b = -32, -5*k + 2*b = 28 for k.
-4
Suppose 0 = -b - 6 - 104. Let i = 112 + b. Let h be (i - 5)/(-5 - (-6 + 2)). Solve -4*d - d = h*a - 16, 3*a - 6 = 0 for d.
2
Let x(v) = 13*v - 52. Suppose -24*k + 60 = -9*k. Let w be x(k). Solve -4*a = r - 9, -4*r + w*r - 3*a = -23 for r.
5
Suppose 4*t = 2*h - 35 - 3, -2*t + 131 = 5*h. Suppose r + 5 = m, 2*m + 3*r + 2*r = -h. Suppose m = -k + 7 - 4. Solve -w - 1 = c, c = -k*w + 7 - 4 for c.
-3
Let t = -1601 - -1604. Solve -t*b - 10 = -2*v, -2*v - b = 2 - 12 for v.
5
Let g = 37377 - 37372. Solve -4*r + 4*m = 0, g*m - 311 = r - 299 for r.
3
Let f be (0 - 138)*(9/6 + -1). Let r = f - -59. Let a = -3 - r. Solve -a*y = -2*y + 2*b - 12, 4*b - 10 = -3*y for y.
2
Let c(p) = p**3 - 20*p**2 + 37*p + 39. Let s be c(12). Let l = s - -673. Solve y = -3*u - 2*u - 1, -l*u = -3*y + 16 for y.
4
Let h(u) = 5*u**2 + 36. Let c be h(-6). Let j be (21/4)/(c/(-32) - -7). Suppose 0 = -0*m + 7*m - j. Solve 0 = 5*q + 3*k - 22, -5*q - k + 21 = m*k for q.
5
Suppose 2*f + 2 = g, 3*g - 3*f + 3 = 9. Solve -66*w + 63*w - 3*t = -18, w = -g*t + 9 for w.
3
Suppose -2*u = 2*y - 10, 0 = -245*u + 250*u + y - 25. Solve -u*q + 5*p = -20 + 10, 4*q - p = 14 for q.
4
Let b be (-217)/35 - -11 - (-1 - 12/(-15)). Solve 47*n = -h + 44*n + b, -n = -5*h - 7 for h.
-1
Let b(m) = 19*m + 5. Let k be b(4). Let d = -35 + k. Let n = 47 - d. Solve -2*o = 5*a + 26, -3 = 2*a - 2*o - n for a.
-4
Let o(m) = -m**2 + 35*m + 47. Let i be o(36). Suppose 0 = 2*n + a - 25, 4*n + 3*a = 2*a + 47. Let b = n - i. Solve q + 5*d - 10 = b, -2*d + 4 = q - 3 for q.
5
Let z be 14/(-2) - -5 - (0 - -52). Let a be (-5 - -3)*(-5 - -6). Let d be z/a - (-3)/(15/10). Solve -d + 4 = 2*w - 5*f, 3*f + 16 = -5*w for w.
-5
Suppose -3*h = 4*v + 14 - 19, 35 = 5*v - 2*h. Solve 23*i = 5*j + 21*i + 20, j = v*i - 27 for j.
-2
Suppose -8*z + 3*z - 5*m - 10 = 0, -z + 22 = -5*m. Solve 5 = -2*j + 3*d, -5*j - z*d - 2 = -18 for j.
2
Suppose -3*w = -0*w + 2*w. Suppose w = 2*i + 4 - 8. Solve 5*t + 4*o - 22 = 0, 0*t - i*o = -2*t - 2 for t.
2
Let r(j) be the first derivative of j**4/4 + 7*j**3/3 + 6*j**2 + 6*j - 46. Let p be r(-3). Solve 5*m - 2*v + 20 = -p*v, 0 = -5*m + 3*v - 20 for m.
-4
Let s be (364/(-1456))/(4/14 - (-78)/(-224)). Solve 2*l - 12 = s*d - 6*d, 3*l + 2*d = 14 for l.
2
Suppose 54*c = 51*c - g + 8, -c + 6 = -3*g. Solve 2*v - 3*b = 6*v, -c*b = -3*v + 21 for v.
3
Let y = 1933 + -1930. Solve y*v = 5*o - 6*o + 1, 5*v = 5 for o.
-2
Let q = -208 - -212. Suppose 4*u - 78 = u. Suppose 3*w - u = q. Solve -3*i = -2*z + w, -2*i - 2*z = -0*i for i.
-2
Suppose 471 = 385*b - 299. Let f(h) = h**2 - 2*h + 1. Let t be f(1). Solve -2*o + 2 = -t*o, 0 = -b*i + o - 1 for i.
0
Let r = -8180 - -8181. Solve -4*t - 5*m + r = 9, -3*m = 12 for t.
3
Let s = 4 - 0. Let j(k) = 2*k**2 + 448 + 5*k - 3*k + 0*k**2 - 358 + 34*k. Let d be j(-15). Solve d = s*u - 12, v - 3*u + 15 = -v for v.
-3
Let k = 0 - -58. Suppose -4*o - k = -5*y + 152, y - 36 = 2*o. Let f = -42 + y. Solve 5*a - 3*a = 3*g - 19, -f*a - 11 = 3*g for a.
-5
Let b(w) = -168*w + 213. Let c be b(1). Solve 4*t - 28 = -2*z, 5*t + 7*z - 2*z = c for t.
5
Let r = 847 - 832. Solve -6*n = -2*k - 3*n + r, 5*n + 15 = 0 for k.
3
Let s be 7 + -7 + 2 + 0. Suppose -18*w + 399 = 3*w. Suppose -w*y + 49 + 8 = 0. Solve 0 = y*z - s*z - 4*f - 10, 4*z - 14 = 3*f for z.
2
Let t(b) = -b**3 + 13*b**2 - 14*b + 3. Let p be t(11). Let x = -89 + p. Solve -3*l - 5*j - 4 = 0, 0 = x*l - 3*l + 3*j - 6 for l.
-3
Let b(s) = 5*s**2 - 47*s + 22. Let j be b(9). Solve 12*q - j*x - 10 = 11*q, 0 = -3*q - 2*x - 12 for q.
-2
Suppose 5*n + 2*q - 165 = 0, -8*n - 6*q + 3*q = -264. Solve 5*r + 4*y = -n, 6*r - 3*r + 5*y + 25 = 0 for r.
-5
Let n be 68/(-85)*((-385)/10 + 1). Suppose 90 + 0 = -3*a. Let u be 124/n - 4 - (-4)/a. Solve u + 5 = 4*w - 3*r, -w = 3*r - 5 for w.
2
Let y(t) = -t**2 + 1. Let o(d) = -3*d**2 + 13. Let f(b) = o(b) - 5*y(b). Let m = 661 - 665. Let c be f(m). Solve -2*j = -8, 0*i - 5*j + c = 4*i for i.
5
Let y(n) = 4*n**2 + 4*n - 3. Let r