-10, 4*z + 25 = t*o + o for o.
1
Let t(d) = -d**2 + 25*d - 44. Let x be t(21). Solve 0 = -4*q + 3*h + 31, -x = -5*q + 5*h - h for q.
4
Suppose -t = t - 4. Suppose 15 = 5*n - 5*q, 0 = 4*q - t - 2. Suppose -4*u = 3*s - 15, -s + 1 = u - 3. Solve 9 = l - 2*l + 5*b, 16 = -u*l + n*b for l.
-4
Suppose 4*q = 4*b + 6*q + 16, 17 = -3*b + q. Let c be 2*(-4 - -3) - (b - 2). Solve z - 32 = 4*y + 4*z, -5*y + c*z = 5 for y.
-5
Suppose -46*s + y + 85 = -43*s, 0 = 5*s - 2*y - 144. Solve 20*n + s = -5*k + 17*n, 0 = -5*n - 10 for k.
-4
Suppose -8*f + 24*f = 112. Suppose -8*k = f*k - 10*k. Solve -4*l + 2*u - 26 = k, -5*l - 61 = -4*u - 21 for l.
-4
Let v be -40*(-10)/40*1. Solve -2*f = -0*g - 4*g - v, -f = -5 for g.
0
Let f(i) be the first derivative of -13*i**2 - 4*i + 32. Let p be f(-2). Let a be p/40*(5/2 + 0). Solve -2*u + 6*d = 3*d + 23, 0 = -a*u + 5*d - 37 for u.
-4
Suppose -266 + 380 = 57*u. Solve -2*z - u = -131*p + 134*p, z - 2*p - 6 = 0 for z.
2
Let z be ((-6)/(-9))/2 - 35/(-21). Suppose 0 = 2*g + 4, -g - z = 3*p - 3. Let x(k) = k - 2. Let r be x(4). Solve -r*c - 2*b - p = -11, 4*c - 11 = 5*b for c.
4
Suppose 4*r = -2*i + 55 - 33, -i = -1. Suppose -r*x + 6*x = 2. Solve -5*z = -5, 2 = x*u - 2*z + 6 for u.
-1
Let j = -104193 + 104197. Let c(y) = y + 4. Let s be c(-4). Solve s = -j*a - 16, i = a - 4 + 8 for i.
0
Suppose 13 = 14*g + 7*g - 29. Solve -2*h = -3*o + 9, g*o - 19 = -106*h + 103*h for h.
3
Let b(x) = -2*x**2 - 9*x - 7. Let i(q) = -41*q - 208. Let d be i(-5). Let c be b(d). Solve 0*p - c*p = 2*l, -4*l + 12 = 0 for p.
-3
Let t be (15/(-6) - -7)*(-16)/(-12). Solve 3*i = 3*x - t, -47*x - 34 = -52*x - i for x.
6
Let v = -101 - -103. Suppose v*o - 2 = 8. Solve -10 = p - 5*i, -2*p + 4*i = 13 - o for p.
0
Suppose 2*t = l - 23, 2 + 1 = 3*t. Let o(j) = 2*j - 45. Let z be o(l). Solve -i = z*x - x + 21, -i = -x + 1 for i.
-5
Suppose -h = r - 6, -3*r + 5 + 4 = 0. Let v(o) = -o**3 + 4*o**2 - 16*o + 44. Let i be v(h). Solve 2*n - 3*b = 17, -i*b - 32 = -5*n - b for n.
4
Let x be (68/85)/(3/75). Let b = 360 + -352. Solve 4*g = 4*v + x - 8, b = -3*v + 4*g for v.
-4
Let d be (26 + 0)*(546/(-12) + 12). Let l = d + 874. Solve -l*v + 0*x = -x - 9, v + x = 3 for v.
3
Let g = 4961 + -4941. Solve 2*k = -2*f - 15 + 27, 5*f + g = 5*k for f.
1
Let y = -7 + 19. Suppose -3*o + 3 = -y. Suppose 20*i = 6*i + 28. Solve 3 = q + o*g, i*q - 4*q - 3*g + 6 = 0 for q.
3
Suppose 0 = -5*d - 3*l - 243 + 370, 16 = 4*l. Solve 3*r + d*t = 18*t - 24, 5*r = -t - 18 for r.
-3
Let j = -5 + 7. Suppose -q + 14 = 17, j*f = 4*q + 30. Solve 4*n + z + f = -12, 5*n = 4*z for n.
-4
Let s(x) = x**3 + 11*x**2 - 14*x - 12. Let k(f) = -f - 5. Let l be k(7). Let j be s(l). Solve 2*w + j = -4*c, 0 = 2*c + 3*w + 2 + 8 for c.
-2
Let l = 17 - -25. Let u = 46 - l. Suppose -y - 7 = -z, -z + u = 3*z + 4*y. Solve 2*m + 2*r = z, -5*m = -3*m - 5*r - 25 for m.
5
Let h(u) = -3*u**3 + 46*u**2 + 37*u - 75. Let p be h(16). Solve t = p*n + 6, -t = -5*n + 6*n for t.
1
Let f(h) = -h - 2. Let j be f(-6). Suppose -47*l + 282 = 94. Suppose 4 + l = j*g. Solve -6 = -g*i - 5*a + 14, -5*a = i - 15 for i.
5
Suppose -3*p = -w + 13, -3*p + 2*w - 11 = -0*w. Let v be (-2)/(-4)*(-322)/115*p. Suppose -g = -3*g + 18. Solve -2*s = -3*s - 2*i - g, i + v = 2*s for s.
1
Suppose -60 = -3*i - 5*v, 1629 = 2*i + 4*v + 1591. Solve 5*f = 4*n + i, -n - f + 2*f - 5 = 0 for n.
0
Let c(b) = 246*b - 2926. Let w be c(12). Solve -l - 4*h = 25, -5*h = 25*l - w*l + 29 for l.
-1
Suppose 128 = g - 27. Let c = -152 + g. Solve -w - l - 3 = 4, c*l = 4*w for w.
-3
Suppose -2*s - 90 = -7*s. Let y be (-408)/(-108) + 4/s. Solve m - 11 = y*n, -m - 2*n - 9 = 4 for m.
-5
Suppose j = -3*k + 86, j - 32 = -2*k + 24. Suppose 64*a = 67*a - 15. Solve 4*y = -d - 0*y - 16, 0 = -a*d + 2*y + k for d.
4
Let t(l) be the second derivative of -1/12*l**4 + 0 + 7/3*l**3 + 10*l + 5/2*l**2. Let j be t(14). Solve 0 = o + 3*n + j + 10, -2*o + 10 = -4*n for o.
-3
Let p be (3 - 6 - (15 + -19)) + -1. Solve 2*v + 3*q - 18 = p, -37*v + 33*v + 16 = q for v.
3
Suppose 0 = 3*q, 3*l + 6*q - 7*q = -4*q + 15. Solve 5*g = 2*n + l, -9 = 4*g + n - 0 for g.
-1
Let y be (-9 - -144)/9 + 21. Solve -3*r = -5*m + y, 5*r + 22 = 3*m + 3*r for m.
6
Let r(u) = 7*u**2 - 14*u - 4. Let z be r(2). Let v be 9 - (z + 3 + 7). Solve v*j + 2*l = 1 + 2, 3*j - 5*l = -18 for j.
-1
Let p(m) = m**2 - 15*m - 50. Let r be p(18). Let l(z) = 2*z**3 + 2*z - 3. Let h be l(2). Let o = -15 + h. Solve 0 = -4*a + r*v - 1 - 7, -o*a + v = 0 for a.
2
Let z = -3468 + 3488. Solve 4*i - u + z = 0, 4*i + 0*u - 3*u + 28 = 0 for i.
-4
Let k be (12/2 - 0) + -4 + 4/1. Solve -104*u + 105*u - m - k = 0, 3*u + 6 = -3*m for u.
2
Let s be (-13)/7*(-105)/15. Suppose -12*t = s*t - 125. Solve -t*m = -5*x - 25, 0 = 4*x - 3*m + 8 + 9 for x.
-2
Let z(f) = 3*f**3 - 9*f**2 - 6*f + 13. Let p be z(6). Let q = p - 283. Solve 3 = 5*k - 0*k + 2*g, 4*g = 2*k + q for k.
-1
Let d be -5 + (5931/15 - (-18)/30). Let b = -388 + d. Solve -3*v - 21 = 3*y, 4 + 5 = -b*y for v.
-4
Let k(m) be the first derivative of -m**4/4 - 23*m**3/3 + 25*m**2/2 + 26*m - 100. Let j be k(-24). Solve -8 = -4*p + 2*y, j + 6 = p + y for p.
4
Suppose -6*c + 25*c - 13509 = 0. Let h = 711 - c. Solve -4*v - 2*l + 18 = h, 0 = -3*v + v + 4*l + 14 for v.
5
Let o be -1*5*(-144)/60. Let u be ((21/(-2))/(-7))/(o/8). Solve 0 = -2*r - 5*p - 5, 4*r = 5*p - u + 6 for r.
0
Let p = -1964 - -1913. Suppose -a - 71 = -24. Let l = a - p. Solve 18 = l*h + z + 6, 0 = 3*h - 3*z - 9 for h.
3
Let o(y) = 2*y**3 + 3*y**2 - 4*y + 2. Let s be o(0). Let m be (-7)/5 - (-2)/5. Let g = 5 + m. Solve 0*i - 3*i - 2 = -4*k, g = 4*k - s*i for k.
2
Suppose -f + 0*f - 6 = 3*y, -3*y + 4*f + 24 = 0. Solve y = u - 1, 2*p + 2*u - 21 + 25 = 0 for p.
-3
Suppose 37*m = 5992 - 5548. Solve 58*i - 4*y = 60*i + 18, -m = 2*i + 2*y for i.
-3
Let b be (-15)/2*(-156)/15. Let n = -66 + b. Suppose 2*d = -2*d + n. Solve -5 = -3*m + c - 0*c, -d = -3*m + 3*c for m.
2
Suppose -18*t + 37*t + 17 = 36*t. Solve t = -0*k - k + c, 4*k = 2*c - 12 for k.
-5
Let z(i) be the first derivative of i**3/3 + i**2/2 - 30*i - 2357. Suppose 5*o - 2 = -32. Let d be z(o). Solve s - 2*r - 3 = -10, d = -5*s + r - 17 for s.
-3
Let m = 2841 - 2836. Solve c - 9 = -q - m, -2*q + 9 = 3*c for q.
3
Let m be (123/656)/((-1)/4)*(-12 - -8). Solve -j - 8 = -5*k, -4*k - m*j + 112 = 117 for k.
1
Let u be 68/2*527/1054. Solve 3*c = -u*i + 21*i + 11, 12 = 4*c - 4*i for c.
1
Suppose -3*r + 4*r - 14 = 0. Let p(z) = z**2 - 4. Let o be p(3). Let q be 50/o*5/((-25)/(-3)). Solve -q*c + 3*f = -5*c - r, -f - 6 = -c for c.
2
Suppose 0 = 3*x - 2*t - 14, -x - x + t = -8. Suppose 4*z = 3*w + 380, 35 = x*z + 3*w - 155. Let k = z - 91. Solve 0 = h + c - 2*c - 5, -3*h + 20 = -k*c for h.
0
Suppose 3*b = -20*b + 851. Suppose 8*g + 4*q - 9 = 3*g, 5*g - 3*q - b = 0. Solve g*z = -6*u + u + 5, u = 0 for z.
1
Suppose 216 = -j - 8*j. Let n = 33 + j. Suppose -4*m + 18 = -2*w, n = -m + 2*m + w. Solve -1 = 2*v - o - 8, -2*o = -m for v.
5
Let q = -883 + 923. Let d(m) = -15*m + 5. Let w be d(-4). Let j = w - q. Solve -5*o - j = 5*t, -5*o - 3*t - 19 = -4*t for o.
-4
Suppose 2*i + 3*x - 26 = -0*x, -5*x - 52 = -4*i. Let g be 2/(-5) - 234/65. Let y be 0 + 3/g*(1 - i). Solve 4*a - 25 = -a, 3*a - y = -2*d for d.
-3
Suppose -350 + 470 = 30*g. Solve -u = -g*b - 11 + 38, 2*b - 6 = -2*u for b.
6
Suppose 3*n - 166 - 434 = 0. Let g = -196 + n. Solve -g*m + 5 + 6 = 5*r, m - 5 = -2*r for m.
-1
Let h be ((-1330)/25)/(24/(-60)). Let a = h - 130. Solve 0 = 3*g + 4*p - 2 - 3, -5*p = -a*g - 13 for g.
-1
Let m = 309 + -261. Let y be (-50)/275 + m/22. Solve -17 = i + y*i - 5*j, 5*i = -j - 19 for i.
-4
Let y(r) = 29*r + 241. Let j be y(-8). Solve j = 5*b - k, -4*b + 11 = k + 2 for b.
2
Suppose 5*k = -5 - 70. Let h be (84/(-35))/(1/k). Let j be ((-3)/(-4))/(9/h). Solve 5*w + 23 = 3*l, 2*l + j*w = -11 + 1 for l.
1
Let z be 2 + 33 + (-2 + 7 - 12). Solve -5*n + 3*y - z = 0, -4*n - 4*y - 55 = -39 for n.
-5
Let r(k) = -k**2 - 6*k + 25. Let y be r(-20). Let p = y + 260. Solve 0 = 3*z - h + 16, 5*h = -p*z + 3*h - 23 for z.
-5
Let m be 33/4*((-800)/(-30))/(-10). Let l = m + 27. Solve l*y - 12 - 21 = 2*u, 3*y + 4*u + 1 = 0 for y.
5
Suppose 4*w + 2*p = 16, -3*w - 5*p + 0 - 2 = 0. Let t be ((66/(-12))/11)/((-1)/w). Solve -3*r = 2*a - 2, 3*a + 23 = t*