Let h = k - -38. Let b be s(h). Solve 4 + b = -d for d.
-4
Let x be (98/20)/((-245)/(-2450)). Solve 40*w - x = 47*w for w.
-7
Suppose 945*c - 240 = 939*c. Let t(y) = -y**3 - 5*y**2 + 2. Let h be t(-5). Suppose -h*u - c = -10*u. Solve -3*s = -8*s + u for s.
1
Let s be 48/(-18)*(-879)/4. Suppose -588*q = -s*q - 10. Solve q*z = 12 + 13 for z.
5
Suppose -1699 + 6223 = 87*v. Solve 38*o + 14*o = -v for o.
-1
Let g = 4590 - 4562. Suppose -4*z - 5*l + 13 = 0, 3*z - l - 14 - 10 = 0. Solve 0 = -7*y - z - g for y.
-5
Suppose -3*m = -8*m - 4*p + 36, 4*p = 4*m. Suppose c - l = -2, -2*c + 0*l - 8 = -m*l. Solve c = -5*n + 3*n for n.
0
Let i be (5 - 6)*164/8*-6. Solve -i*b + 169*b = 322 for b.
7
Let k = 12375 + -12128. Solve -11*x = 324 - k for x.
-7
Let y(o) = 138*o + 9091. Let x be y(-65). Solve -x + 17 = -13*n for n.
8
Let l be 5/10*-4 + 6. Suppose 2*p + l*p - p = 0. Solve -4*t - 9 - 7 = p for t.
-4
Suppose -4*d - 4*f + 72 = 0, 48*d - 53*d - f = -90. Solve 64*q = 70*q + d for q.
-3
Suppose -5*v + 45 = 0, -30*n - v = -32*n + 33. Solve k = -n*k - 176 for k.
-8
Let r be (-4)/(-16) + 4/(-16). Suppose 0 = 4*n - 3 - 5, 5*i - 33 = n. Let a be i + -3 - (-1 - (23 - 3)). Solve -5*m + r*m + a = 0 for m.
5
Let u be (12/3)/((-4)/(1 - 3)). Let g be (u/5 + (-27)/30)*-8. Suppose -l = g*h - 32, -12 = -2*h - 3*l + 4. Solve -5*f - 28 = -h for f.
-4
Let l(u) = -2*u**3 + 8*u**2 - 41*u + 110. Let v be l(3). Solve 0 = 10*d - v*d - 40 for d.
8
Let r = -5804 + 5823. Solve r + 4 = -23*t for t.
-1
Let j be (-4)/(7*8/(-28)). Solve -j*x - 6*x + 13*x = 0 for x.
0
Let g be (1*-1)/(((-56)/24)/(-7)). Let w be 4 - ((0 - -2)/2 - g). Solve w = -2*k + 3 - 9 for k.
-3
Let k(a) = a**2 - 24*a - 40. Let v(y) = y**3 - y**2 + 4*y + 10. Let p be v(5). Suppose -6*m = -11*m + p. Let n be k(m). Solve 2*h = 6*h + n for h.
-3
Suppose 13*c - 173 = 308 + 130. Solve -c*v - 190 = -85*v for v.
5
Suppose 0 = -6*y + 3*y + 18. Let g be 1/(1/(-12)) + -16 + 72. Solve -46*s + g*s = -y for s.
3
Let h be 24092/684 + 2/(-9). Solve -43*u + h*u = 48 for u.
-6
Let i(u) = u + 17. Suppose 15 = 5*c + 4*p, -2*c = p - 1 - 5. Let x = c + -15. Let z be i(x). Solve 0 = -z*k - 0 - 15 for k.
-3
Suppose -9*a + 31 - 4 = 0. Let n(f) = a*f + 19 - 10 - 9. Let v be n(0). Solve v*d + 4 = -2*d for d.
-2
Let o(m) = 13*m**3 - 12*m**2 + 4*m + 36. Let n(f) = -15*f**3 + 11*f**2 - 5*f - 36. Let u(g) = 6*n(g) + 7*o(g). Let y be u(18). Solve y = -3*r + 2*r - 4 for r.
-4
Let r(o) = o**2 - 14*o. Suppose 5*j = -10*j. Let q be r(j). Solve -24*p + 26*p - 8 = q for p.
4
Let n(l) = -15*l - 9. Let q be n(8). Let j = q - -143. Suppose 0 = 18*h - 58 - j. Solve -19 = -h*a - 3 for a.
4
Let k = -15817 + 15859. Solve -k*g + 26*g + 32 = 0 for g.
2
Let f be 2*(-1 + 2) + 64 + -5. Suppose 0 = -70*m + f*m + 63. Solve m*t = 13*t for t.
0
Let r(y) be the third derivative of y**4/12 - 2*y**3/3 + 13*y**2. Let i be r(0). Let k be (3/i)/((-33)/88). Solve -b = -k*b for b.
0
Suppose 4*s + 5*p = 13, -3*p = 2 - 5. Suppose 4*t + 3*b - s = -0*t, 2*t + 5*b = -6. Let x = -4195 + 4195. Solve x = 5*d - 13 - t for d.
3
Suppose 4*s = 19*u - 14*u - 1471, 909 = 3*u + 2*s. Solve -u = 9*n - 272 for n.
-3
Let i be -1*(20 + (-34)/1). Let j(d) = -d**2 + 1. Let s be j(-1). Solve -6*f + i*f = s for f.
0
Let g(x) = -x**3 + 37*x**2 - 35*x - 15. Let h be g(36). Let y be (6 - 351/63)*h. Solve -k = 2*k + y for k.
-3
Suppose a + 135 = -5*c + 508, 5*c - 385 = 5*a. Suppose -21*i - 12 = -c. Solve -i = -3*k - 15 for k.
-4
Suppose u + 12 = -4*j, -3*u + 16*j = 8*j - 24. Let n = 2 - -3. Solve -n = -u*b + 5*b for b.
-1
Let n = 2827 - 2820. Solve 180 = -n*u + 194 for u.
2
Let n(b) = -2*b**2 + b + 2. Let f(q) = -11*q**2 + 4*q + 107. Let y(s) = f(s) - 5*n(s). Let u be y(9). Solve 20 = u*j - 8 for j.
4
Let y(k) = k**3 + k**2 - 2*k + 476. Let m be y(0). Let u = m + -473. Solve -u*g = -8*g - 25 for g.
-5
Let p(z) = -2*z**3 - 67*z**2 - 156*z - 1. Let g be p(-31). Solve -g*d - 208 - 32 = 0 for d.
-8
Let x(k) = -7*k + 0*k - 52 + 13 - 3*k - 59. Let t be x(-10). Let r(b) = -b**3 - 9*b**2 - 7*b + 8. Let i be r(-8). Solve -6*n + t*n = i for n.
0
Suppose 0 = -9*f + 4*f. Let a be 0 - (-2 - f/1). Let q = -6184 + 6186. Solve -b + a*b = -q for b.
-2
Let x be (3/6*-2 + 14)*1. Let p = x + -11. Let z be ((-2)/6 - 5/(-15)) + p. Solve -2*r = -z + 4 for r.
-1
Let m = -16577 - -16581. Let k(r) = 5*r - 2. Let f be k(2). Solve -h - m = -f for h.
4
Suppose -3*c = -g - 132 + 11, -2*g + 10 = 0. Solve c = 52*s - 59*s for s.
-6
Suppose -21*z - 586 + 27004 = 53*z. Solve -6*l = -57*l - z for l.
-7
Suppose 0 = 2*g + 14 - 152. Let j = g - 62. Solve 0 = 5*l - j*l - 2 for l.
-1
Let m be ((-1632)/128)/(18/32)*-48. Suppose -1199 = -3*b - m. Solve 6*t = 13 - b for t.
-4
Let y = -109 - -113. Let i be y + (1 - (4 - 8/4)). Suppose -i*s - 8 = -32. Solve b - s = -b for b.
4
Let y(z) = 6*z**3 + 2*z**2 - 2*z + 1. Suppose 12*d - 7 = 5. Let u be y(d). Solve 5*p - 8 = u for p.
3
Suppose -5*u + 14 = x, u - 10 = x - 3*x. Let t = -618 - -620. Let i = -26 + 26. Solve i = u*v + 2 + t for v.
-2
Let n = -119 + 131. Let f be 1*12*(5 - 57/n). Suppose -2*i = t + 2, 4*t - f*i - 2 = 1. Solve t = -v + 5 for v.
5
Let c(i) = 110*i - 24. Let p be c(19). Suppose 0 = 53*v - 1008 - p. Solve 61*k = v*k + 9 for k.
3
Suppose -10 = 14*u - 80. Suppose 2*z - 100 = 2*b, -5*z - u*b = -188 - 42. Suppose -4*n = 3*i - z, -5*n = -4*i - 3*n + 64. Solve i = -8*a + 4*a for a.
-4
Suppose 21 - 39 = -y. Let z = 7 + -5. Suppose -c + 3*u = -13, -z*c = -u + 6*u + y. Solve -2*s - c - 3 = 0 for s.
-2
Let h = 255 + -253. Suppose -40 = h*a - 6*a. Solve 0 = y + 4*y + a for y.
-2
Let m be (2 + -10)*(-15)/30. Let l be (m - -8) + (-3 - -2). Solve g - 9 = -l for g.
-2
Let k(u) = 146*u - 38. Let j be k(4). Let a = 546 - j. Solve a = 8*q - 3*q + 15 for q.
-3
Suppose -3*r + 91 - 49 = 0. Let f = -7 + r. Solve 4*d = -5 - f for d.
-3
Let t = 14259 - 14245. Solve 25*z = -t - 36 for z.
-2
Let y(b) = -3*b - 16. Let v be y(-6). Let g be -5 + 244/24 + v/(-12). Suppose -14 = -g*z + 1. Solve z + 0 = o for o.
3
Let x be (9/6)/(2 + (-12)/8). Let j be 4/(-5)*((-13 - -5) + x). Solve -7*u + j*u = -9 for u.
3
Suppose 5*o + 25 = 12*b - 7*b, 4*o - 10 = -b. Let s(q) = -q - 7. Let x be s(-7). Suppose 0 = 119*f - 116*f - 6. Solve x*y + b = f*y for y.
3
Let c = -214 - -202. Let v be (-10)/4*-2*c/(-10). Solve -2*b = -v + 4 for b.
1
Let z(h) = 38*h + 2871. Let j be z(-75). Solve -30*w + j = 21 for w.
0
Let j(z) = -5*z**2 - 4*z - 6. Let p be j(-1). Let i be (p/2)/(20/(-40)). Solve -i + 15 = 2*l for l.
4
Let t(z) = -2*z + 45 + 17 - 46. Let o be t(8). Solve 7*k - 2*k = o for k.
0
Let w be -1 - (-20 + (-1)/1). Let t = 58 + -51. Suppose -40*u = 16*u + 15*u. Solve u = -3*s + t*s + w for s.
-5
Let f(b) = 7*b**2 - 104*b - 56. Let q be f(16). Solve 13 = 17*w - q for w.
5
Let l be (-1)/1*(0 + -2). Let m be (-4)/(-6)*(21 - 15). Suppose 4*k = -m, 33*q + 11 = 37*q + 5*k. Solve -l*v - q = -0 for v.
-2
Let y = 6 - 6. Let q = 24290 - 24286. Solve -p = -y*p - q*p for p.
0
Suppose 762 - 654 = 4*t. Let w be (0 + 11)*(28 - t). Solve -w = 6*s + 19 for s.
-5
Let k be ((-234)/40 + 186/1860)*(-5 + 1)*1. Let g be 1/(-2) - (-22)/4. Solve 7*a + g = -k for a.
-4
Suppose -u - 141*w + 144*w = -84, 0 = -u - 3*w + 66. Solve u = 11*o + 31 for o.
4
Let h(l) = 5*l**2 + 265*l - 3121. Let y be h(11). Solve 49*u - 56 = -y for u.
-7
Let a(n) = n**3 - 2*n**2. Let v be a(2). Let g = 248 + -243. Solve g*w - 10*w - 15 = v for w.
-3
Let i(y) = 2*y - 9. Let g be i(5). Let l(a) = g + 6 + 2413*a - 2411*a. Let j be l(2). Solve j = -3*q + 26 for q.
5
Let z be (1 - 2)/((-12)/1320). Solve -27*n - 106 = z for n.
-8
Let m = 40 - 37. Suppose k = 4*v + 31, -5*k = -m*k - 5*v - 50. Solve 12*a + k = 17*a for a.
3
Suppose p + 5*n = 22, 3*n + 0*n = 5*p + 2. Suppose 7*m - 10 = 2*m. Let u be (6 + 1 - (m - p)) + 0. Solve -4*i + 3 = -u*i for i.
-1
Let i(n) = -n**2 + 45*n + 834. Let g be i(59). Solve 4*y - 72 = -g*y for y.
6
Let m(f) = -30*f**2 - 23*f + 80. Let d be m(5). Let s = d - -789. Solve 30*w + s = 31*w for w.
4
Let u(p) = -p**3 + 14*p**2 + 69*p + 21. Let o be u(-6). Solve -323*n = -o*n - 16 for n.
-4
Let o(m) = -2*m**2 + 53*m + 84. Let s be o(28). Solve s = -112*l + 116*l for l.
0
Suppose -y - s = -16, -4*s = -4*y - 3*s + 59. Suppose 29*i = 28*i + y. Solve -9*p + i = -6*p for p.
