 z be 20 + (3 - h)/(-2). Suppose 3*m + 16 = 6*m + t, -m = -5*t. Solve 0 = k + 3*q - 4 + z, -m*q = k + 24 for k.
1
Let o(x) be the first derivative of 5*x**2/2 + 112*x + 37. Let w be o(-22). Solve -i + 6 = -2*i - w*y, 0 = i + y + 3 for i.
0
Let h = 2 + -3. Let t(g) = -8*g**3 - g**2. Let f be t(h). Let n be 29*(-756)/14094 + (-158)/(-9). Solve -2*o - 3*y + f*y = n, -7 = -o - 3*y for o.
-2
Let a(k) = 3*k**2 + k. Let l be a(-1). Let f(y) = -14*y + 25. Let n be f(-5). Let c be (-10)/((-2)/1)*38/n. Solve -6*x = -c*x + i - 1, l*x + 12 = 2*i for x.
-1
Let y be -1*(3 - 44/4). Suppose y*v - 110 = 42. Let l(p) = -p**2 - 3*p + 2. Let u be l(-3). Solve -16 = -t - u*n - 4, 2*t + 3*n = v for t.
2
Let y = -60 - -54. Let t(h) = -26*h - 137. Let r be t(y). Solve m - 2*m = -3*v - r, -3*v - 11 = m for m.
4
Suppose 15*a - 30 = 15. Suppose -6*h = -c - h - 11, 2*c - 2*h = 2. Suppose -5 = -i - l, 2*i + l = -c*l - 2. Solve 4*o + i = 2*w - a*w, 5*o = w for w.
-5
Suppose 2*r - 488 = 4. Suppose -243*x = -r*x + 6. Solve -2*b - q - 3 = -0, -2*b - x*q = 2 for b.
-2
Let o = 80 + -84. Let m be 153/(-34)*o/6. Suppose -14 - 1 = -m*a. Solve l = -a*q + 27, q = -2*q + 3*l + 9 for q.
5
Let s be (366/(-1220) + (-2)/(-4))*10. Solve a + 3*q - 4 = 0, -s = 2*q - 4 for a.
1
Let n be 12/(-14) - (-54)/14. Suppose n + 22 = 3*i + 4*p, -5*i = 2*p - 23. Solve 3*x = 2*q - 4 - i, q - 5 = 2*x for x.
-3
Let v = -676 + 585. Let f = 94 + v. Let b be 1*(-1)/(2/(-4)). Solve b*p = -5*x - 0*p - 3, -f*p = -5*x + 17 for x.
1
Suppose 174 + 585 = 69*r. Solve -15*p + r = -14*p + 2*m, 2*p = -2*m + 12 for p.
1
Let s(m) = 3*m**3 - 5*m**2 - 11*m + 22. Let z be s(2). Solve 5*v = -z*o + 4, 2 = -2*o - v + 4 for o.
1
Suppose -16*b + 18*b - 8 = 0. Suppose z + 0*m = b*m + 20, m = -4. Solve -6*f + z*f - 5*s + 21 = 0, f + 6 = 3*s for f.
3
Suppose -5*x - 5*q = -120, -3*x - q + 18 = -46. Let d be (-8)/(-10) + x/(-75)*3. Solve 0 = -5*g + 20, 0 = 2*s - d*s - 5*g + 24 for s.
-2
Let a(w) = 1102*w + 12133. Let j be a(-11). Let z(x) = x**2 + x - 1. Let h be z(-3). Let k be h/(-10)*1*-2. Solve 3*s = -5*o + o + j, k = s for o.
2
Let o(x) = 2*x**2 + 8*x - 7. Let h be o(-7). Suppose n + k = 5*k - 2, -5*n - h = 5*k. Let i be (n/(-9))/(8/36). Solve -2*b - i = u - 11, b - 4*u = 4 for b.
4
Let d = 867684 + -867679. Suppose -13 = -2*b + 3*p, -4*p - 14 = 2*b - 4*b. Solve -3*t + 2 = 2*h + t, -d*h = b*t for h.
-1
Let r = -1143 + 1149. Solve 4*c - 33 = 5*m, -9*m + r*m - 13 = c for m.
-5
Let f be (-40)/(-10) - (-2 - 6). Suppose -k + 17 = 5*d, -3*k + 14 = 2*d + 2. Solve -5*u - 2 - 4 = k*x, -2*x + f = -4*u for x.
2
Let a = -14525 - -14528. Solve 2*z + 39 = 5*v + 21, 0 = a*z + 8*v - 4 for z.
-4
Let z(v) = -v**2 + 2*v + 2. Let y be z(-1). Let m be y/((-5)/10) + -58. Let j be m/(-6) + 6 + (-128)/24. Solve 4*d - 4*u + 8 = 0, -4*d + 3*u - j = u for d.
-3
Let m be ((-30)/(-20) - 1) + (-161)/(-14). Solve -20 = 5*t, -13*z - 2*t = -m*z + 12 for z.
-4
Let h be (1 - 2)*(3 - (-3 + 11)). Let a be ((-50)/(-60))/h + 11/6. Solve -o + a*o = -2*z, 5*o = 3*z + 13 for o.
2
Let y = 11484 + -11480. Solve -2*k = -w - 0*k + 8, -w - y = 4*k for w.
4
Let g(m) = 2*m + 65. Let v be g(-31). Suppose 5*j = k + v*j + 6, -2*k + 13 = j. Solve -6*x + 8 = -2*x + 2*p, -10 = -5*x + k*p for x.
2
Let l(q) = q**3 - 4*q**2 + 5*q - 1. Let u be l(3). Suppose -u*g = 4 + 26. Let m be (-44)/g + 4/6. Solve 2*o + m = -j + 3, -5*j = -o - 30 for o.
-5
Let s = -10135 + 10138. Solve -3*x = -10*k + 12*k - 13, -s*k + 7 = 2*x for k.
-1
Suppose -m + i = -2, 2*m - 61*i = -63*i + 20. Solve -1 = z - c, -4*z + 4*c - m = 2*c for z.
-2
Let h = 241 + -232. Let n be 3/9*h - -2. Solve 4*z + 7 = v - 2*v, 3*z - n*v = -11 for z.
-2
Suppose -101*v = -124 - 381. Solve v*q - 2*p = -5, 5*q - 73*p + 20 = -74*p for q.
-3
Suppose -6*j + 3*r + 30 = 0, 5*r - 15 = -2*j - 5. Solve -g + 8 = j*z, 3*g = -0*g + 9 for z.
1
Suppose 11*m + 297 - 352 = 0. Solve 3*c + 5*f = m*c - 28, -5*c - 2*f = -12 for c.
4
Suppose 0 = 4*u - 123 - 153. Let a = u + -40. Suppose 0 = 5*t - 5*p - 45, -t + 3*p + a = -2*p. Solve 3*c = 5*k - 8 - 14, t*k + 5*c = 25 for k.
5
Let r = -40 - -42. Suppose 146 = 2*t - 272. Let x be t/38 - (-2)/(-4). Solve 0 = 4*c - x*v - 12, r = 3*c - 2*v - 0 for c.
-2
Suppose -28*m - 146 + 182 = -10*m. Suppose 3*k - 48 = -k. Solve 8 = -3*z - 3*x + m*x, -2*z - 5*x + k = 0 for z.
-4
Suppose -12*t + 45 = -3. Let a be 4/(-22) - t/(-22). Suppose 5*y = 6*y - a*y. Solve y*f + 4*s = f - 9, -2 = s for f.
1
Let s = 14754 - 14750. Let j(x) = -x + 2. Let d(l) = -l**3 - 5*l**2 - 3*l + 1. Let i be d(-4). Let w be j(i). Solve r + 3 = v, 3*r - v + s = -w for r.
-3
Let x(d) be the second derivative of -10*d**3/3 - 30*d**2 + d - 4. Let f be x(-3). Solve -5*r + f*r - 5*o - 5 = 0, -3*r - 4*o = 2 for r.
-2
Suppose 3*c = -5*t - 1048, -3*t - 901 = 5*c - 269. Let n = t + 209. Solve 5*r = -4*x - 1 + 5, n = -3*x - 12 for r.
4
Let h(s) = -50*s**3 + 6*s**2 - 9*s + 2. Let m be h(2). Let w = m - -397. Solve -c + 5*n = -29, c + 5*n + 41 = w*c for c.
4
Let k(s) = s**2 + 36*s - 124. Let c be k(4). Suppose 44*h - 40 = c*h. Solve -4*l - l = -5*i - h, -5*i + 3 = -l for i.
1
Suppose -25 = 5*z + 2*o, 0*z + 4*z - 2*o = -20. Let h be 30/(-12)*(z - -3). Solve -2 = h*v + n, 2*v + 3*n = 5*v + 12 for v.
-1
Suppose -4*o - 12 = -8*o - 3*u, 3*u = 3*o + 12. Suppose -2*z + z = 2*l - 6, -z + l = o. Solve 2*b + a - 10 = 3*a, -b + z*a + 10 = 0 for b.
0
Let f(k) = 10*k - 35. Let y be f(2). Let o be (3/4)/(y/(-40)). Solve -4*t - n - 22 = 2*n, -o*t - 14 = 3*n for t.
-4
Suppose -3*k - 5*z + 1 = 0, -14*k + 2*z = -16*k + 2. Solve p = -3*r + 2, r + 10 = -k*p + 2*r for p.
-4
Let j be (-30)/(-9)*(-3 - (-81)/15). Let k = -8 + j. Suppose k = -3*u, -2 = -o - 4*u + 1. Solve o*d + 0*i = -i + 2, -19 = -d - 4*i for d.
-1
Suppose 4*c - 196 - 28 = 4*v, 2*c - 4 = 0. Suppose 3*d + 222 - 84 = 0. Let l = d - v. Solve 4*m - l = -2*z, 4*z = -z for m.
2
Let w(x) = x**2 + 275*x + 821. Let c be w(-3). Solve -3*z + 5 = 2*z, -c*z = -g - 8 for g.
-3
Suppose -3*f = 4*i - 27, -6 + 3 = 4*i - 3*f. Solve -2 = -0*n - n, 0 = -3*s - 3*n - i for s.
-3
Let n be (15/15 - 1)/(-2). Solve y + 3*d - 4 - 14 = n, -12 = y - 3*d for y.
3
Let p(y) = -12*y - 121. Let k be p(-11). Suppose -5*s + 2*i = -92, 2*i = -2*s + 37 + k. Solve 2*c + 3*b = -2*b + s, -5*b = -20 for c.
0
Let t(p) = -p**3 - 14*p**2 + 16*p + 41. Let r be t(-12). Let a = r + 441. Solve -2*j = 2*g + a*g + 24, 0 = 4*j - g + 12 for j.
-4
Suppose 5*p + 4*v - 174 = 0, -p = -4*v + 2 - 32. Solve -10 = t + 5*k, -2*t - 30 = 2*k - p for t.
5
Let z be 1*3/(-6)*4*-2. Suppose 6*n - 2*n = 0. Let w be (2 - 4 - -1)*n. Solve 3*g = -2*j + z*g + 9, w = 5*g + 25 for j.
2
Suppose -3*v = -3*w - 21, -3*v - 8*w + 5 = -7*w. Suppose -5*h = v*l - 2*l, 0 = l - 4*h. Solve -6*t - 2 = 4*k - 11*t, l = -4*k + t - 10 for k.
-3
Suppose -6 = -j - 5*f - 21, 2*j - 4*f = 12. Let y be -2 - 6/(j + -3). Suppose y*o - 3 = -x + o, 4*x = -o + 12. Solve x*r - 3*b - 3 = 0, r - 13 = 3*r + b for r.
-4
Let j be 6 - -10 - (-7 - -20). Solve -2*b = j*b + 4*u + 8, -2*u - 4 = 5*b for b.
0
Let i be (2 - 1) + 6 - (-704 + 711). Solve 0 = -5*y - i + 20, n - 2*y + 10 = 0 for n.
-2
Let p = -27 - -32. Suppose 2*q + 2*c - 13 = 3, 0 = q - 3*c + 4. Suppose a + 3*g = 9, -2*g + 39 - q = 3*a. Solve -l = -2*t + 9, p*l + a = -t - 11 for t.
2
Let k(y) = -y**2 + 9*y + 16. Let q be k(10). Let l(x) = -x**2 + 3*x + 8. Let o be l(q). Let v = 13 + o. Solve h - r = 1, -v*h - r - 4*r = -35 for h.
5
Let x = 34958 + -34951. Solve -4*n + 26*t = 27*t - x, 5*n - 20 = -5*t for n.
1
Suppose 3496*u + 45 = 3541*u. Solve 0 = -3*v - 2*q - 4, u = v - 4*q + 21 for v.
-4
Suppose -5*v + 5 = x - 11, 4 = 2*v - 2*x. Suppose -21*r - 518 = -58*r. Solve c - v*h = -c + 2, -3*h = 4*c + r for c.
-2
Let k(h) = 86*h**2 - 45*h**2 + 6*h - 42*h**2 + 8. Let b be k(7). Solve -3*q - c - b = -6*q, 3*q = -5*c + 13 for q.
1
Let l be (-4)/(5 - 2 - 21/9). Let g be l + 2 + (10 - 5). Let n(w) = 3*w. Let r be n(g). Solve -3*k + r*j - 3 = 0, -4*k + 2*j - 5*j = -3 for k.
0
Let o = -102 + 117. Solve -2*x - 13 = -a, 3*a - 4*x = 44 - o for a.
3
Let g = 109 - -86. Let y = g - 195. Solve y = 4*m + 20, -5*u - 5*m - 45 = -m for u.
-5
Let o be 1/(-2) - 378/(-4). Let i = -88 + o. Solve -3*c = i*s - 3*s + 12, -11 = 2*s + 5*c for s.
-3
Let j be 63/(-42)*(-8)/3*10. Suppose j = 24*w - 1