3
Let o(u) = -3*u - 1. Let f be o(-2). Solve -f*m - 4*s - 9 = -2*s, -s = 2*m + 4 for m.
-1
Let z be 58/377 - 63/(-13). Solve 2*d - 4*k = 5*d + 26, 0 = -4*d + z*k + 17 for d.
-2
Suppose -8*l + 4 + 20 = 0. Solve 5*z = i + 46 - 16, l*i = -z - 10 for z.
5
Suppose 6*s + 4*o - 19 = s, -5*o = s - 8. Solve 0 = 5*u, u - 4 = -4*h - s*u for h.
1
Suppose -22*f = -12*f - 30. Solve 20 = -4*k + 4*i, 0 = 5*k - 0*i + f*i - 15 for k.
0
Let n(r) = -r**2 - 3*r + 7. Suppose 15 = -2*h + 7. Let q be n(h). Solve q*i - 17 = i + 5*z, -3*z = -4*i + 13 for i.
1
Suppose -3*l - c = -4, 2*l - 18 = 4*c + 8. Solve -2*n + 3*n + 4 = l*j, 0 = 3*n + 2*j - 21 for n.
5
Let f(c) = c**3 - 48*c**2 - 47*c - 89. Let i be f(49). Solve w + 2*o = -0 + 6, 3*w - 3*o = -i for w.
0
Suppose 37 = 4*k + 5*a, -3*k + 2*k = 4*a - 23. Let j(r) = -r**3 + 3*r**2 - r + 3. Let d be j(k). Solve 2*o - 4*o = 5*x + 2, d = -5*x + 4*o - 26 for x.
-2
Let k be (-2)/(-9) + 24/(-108)*-17. Solve 0*x - 2*x = k*d - 16, -5*d = x - 17 for x.
2
Let f be 13 - 11/((-22)/(-18)). Solve -h - 2 = f*i, 4 - 2 = 2*h + 2*i for h.
2
Let l(p) = -p**2 + 10*p - 16. Let c be l(3). Solve -c*m - 2*t = -5*t + 2, -3*t = -12 for m.
2
Let r be (6 - 6 - 0)/(1/1). Solve -4*p - p - 5*s + 5 = r, 3 = 3*s for p.
0
Let g be 4*7/2 - 1. Let w be 10/45 + (-1)/((-9)/(-101)). Let d = w + g. Solve 2*v + c = -d, 0*v - v = -3*c + 8 for v.
-2
Let l = 148 - 128. Solve 5*u = -2*d + l, -2*u + 2*d - 2 = 4 for u.
2
Let f = -138 + 143. Solve -5*z = -q - q - 15, 0 = -2*q - f*z + 15 for q.
0
Let h be 9 - (8 - (-54)/(-6)). Solve -m = -4*i - 11, -19 = i + 5*m + h for i.
-4
Suppose -2 = 14*t - 86. Solve 11*x = -b + t*x - 13, 0 = -4*x - 8 for b.
-3
Suppose -6*q + 20 = -4. Solve 2*o - 1 = 2*z + 3, -8 = -5*o + q*z for o.
0
Let a be (-6)/(-15) - (-21)/(-15). Let w be a*(0 - (1 + -1)). Suppose w*p - 3*d = p + 7, -p + 2*d + 13 = 0. Solve -2*q = -2*n + 12, p*n - q - 2*q = 26 for n.
4
Suppose d + 3*r = -r + 35, 4*r = 3*d - 73. Let z = d - 25. Solve -f - 3*q + 6 = 0, q = -0 + z for f.
0
Let v be 948/78 + (-6)/39. Solve 4*u = 2*k - 7*k - 31, 0 = -4*k - v for u.
-4
Let f(k) = -k**3 + 16*k**2 + 15*k + 40. Let a be f(17). Let z = 1 - 0. Let p be -1 + 2 + (3 - z). Solve a + 7 = 2*u + 3*r, -p*u = -5*r + 28 for u.
-1
Let s = -54 + 56. Let y be 0 - s/4*-4. Solve k + 4 = 2*l - 3, -y*l + 11 = -5*k for l.
3
Let u(q) = 2*q**2 - 63*q - 165. Let d be u(34). Solve -5*i - z + 3 = -4, -15 = -5*i - d*z for i.
1
Let u be (-2)/11 - ((-712)/44 + -5). Let r be (-28)/u*9/(-6). Solve s + r*k - 6 = -s, -s = -3*k + 13 for s.
-1
Let m = -56 - -56. Solve m*r + 5 = -r, 4*y - 3 = 3*r for y.
-3
Let u(k) = k**2 + k. Let y be u(-3). Suppose -64*d + 79*d = 135. Solve y = 4*f + 4*x - 14, -x = 2*f - d for f.
4
Let y = -612 - -614. Solve 3*s + s + o + 4 = 0, 0 = y*s + 2*o + 8 for s.
0
Suppose -f - 7 + 0 = 0. Let t(y) = -4*y + 14. Let m be t(f). Suppose -a - 6*a = -m. Solve 5*p + c - 4 = 0, -p + 4*c = 1 - a for p.
1
Let b = -1522 - -1523. Solve -k + b = -2*z, 8*z - 3*k + 1 = 4*z for z.
-1
Let a(u) = 4*u**2 + 3*u - 3. Let p(s) = s. Let y be p(1). Let r be a(y). Solve -2*o = -6*o - 3*q - 14, 30 = -r*o + 5*q for o.
-5
Let y be ((-14)/4 - 1)/(15/(-30)). Solve -2*z - 5*x - 26 - y = 0, -z + 3*x = -10 for z.
-5
Let q = 30 + -28. Suppose q*o = -2*o. Suppose y - 4*y + 6 = o. Solve 5*d = 5*v - 57 + 22, y*v = -d + 8 for d.
-2
Suppose -5*v = -v - 5*m + 163, -178 = 4*v - 2*m. Let f = v + 74. Solve 5*z + 3*a = -f, 5*z - 1 = -a + 5*a for z.
-3
Let z = 163 - 150. Suppose -2*d = -26 - 6. Let s = d - z. Solve 0 = -h - 4*m + 2, -s*h - 5*m = -h - 1 for h.
-2
Let r(t) = -t**2 + 11*t + 65. Let w be r(14). Solve -i + 5 = 0, 2*n + 5*i = 10 + w for n.
4
Let h be 1*1/(-4) + (-200)/(-32). Let v be h*(4 + (-30)/9). Solve 3*b - 8 = -2*y + 2*b, 0 = 4*y - 4*b - v for y.
3
Let h(p) = -3*p - 6. Let o be h(-4). Suppose o*v = -v. Solve -4*b = -2*c - c - 11, -2*b + 2*c + 8 = v for b.
-1
Let t = 4 + -3. Suppose 8 = 2*b, 3*c - 22 = -4*b + 6. Solve 3*n + o = -18, t + 1 = 2*n - c*o for n.
-5
Suppose 0 = -14*z + 7 + 21. Solve -2*u = 3*o + 13, u = 2*o - z - 1 for u.
-5
Suppose -48 = -5*i + i. Suppose -14*r - 42 = -i*r. Let w = 25 + r. Solve 0 = -c - q - w, -4*c = q - 5 + 24 for c.
-5
Let q be (1 + 1)/(6/(-84)). Let h = q - -27. Let s be h/(6 + -4 - 3). Solve 8 = 4*c + c + 3*k, -4*k = -5*c + s for c.
1
Let i(z) be the first derivative of -z**4/4 + z**3/3 - z**2 + 28*z - 6. Let n be i(0). Solve 5*m = -x - n, -2*x + 13 = -5*m - 6 for x.
-3
Let n(q) = 2*q + 201. Let b be n(0). Let r be b/39 - (-6)/(-39). Solve -r*m = -0*j - 2*j + 7, -2*j + 1 = m for j.
1
Suppose -1 = q + 7. Let m = 10 + q. Let s(g) = 2*g + 4. Let r be s(2). Solve -m*t - 10 = 3*x, 2*x - r - 2 = 2*t for x.
0
Let g(s) = -2*s + 5. Let o be g(-4). Let k be 1*o - 8/(-8). Suppose 3*y - 2*x - k = -3, y = -x + 7. Solve 2*q + y*a + 4 = -19, -2*q - 3*a - 13 = 0 for q.
1
Let s(q) = -q + 62. Let i be s(0). Suppose i = -3*a + l + 4*l, 2*a = 2*l - 36. Let m be (-226)/a + (-20)/140. Solve -2*p - 3*g = -m, 5*g + 1 = 3*p - 4 for p.
5
Let o be 1 - 3/((-3)/4). Let n(z) = -z**3 + 5*z**2 + 2*z - 6. Let d be n(o). Solve j - 3*w = -4*w - 5, 20 = 3*j - d*w for j.
0
Let p(t) = 9*t**2 + t. Let k be p(-1). Suppose -k = -r - r. Suppose 0 = a + 3*s - r, -20 = -3*a - 0*s - 5*s. Solve q + 14 = 5*m, 6*m - m - a = 5*q for m.
3
Suppose -6 = d - 0*d. Let a be 9/27 - 82/d. Solve -z - 27 = 5*h, -11 = 3*h + 5*z + a for h.
-5
Suppose 4*f = 2*f, 0 = -3*u - 3*f + 18. Let z be (-4)/(-22) + 72/(-33). Let y be (-1)/((-18)/8 - z). Solve -3*r + 8*r + 19 = -y*l, -r - 3*l = u for r.
-3
Let v(m) = m**2 - 8*m + 4. Let h be v(8). Let g(k) = -k**3 + 6*k**2 + 4*k + 23. Let o be g(7). Solve -u - 3*r = h, -3*u - o*r - 2*r = -3 for u.
5
Suppose -2*s - 5 = -3*s. Suppose 3*d + 4 = -s*y, 5*d - 12 = -y + 2*y. Solve 3*g + d*h - 2 + 13 = 0, 0 = 5*g + 3*h + 18 for g.
-3
Let l be (-2904)/(-616) - 2*1/(-7). Solve 4*y + l = -4*j - y, 0 = 5*j + 2*y + 19 for j.
-5
Suppose -2*q - 75*k - 4 = -80*k, k = -4*q + 14. Solve 0 = v + 4*d - 5, 0*d - q*d = 0 for v.
5
Let l be (-1)/(-2)*(17 - 7)*1. Solve l*p = -3*g - 17, 0 = -4*p + 5*p + g + 5 for p.
-1
Suppose 271 = 27*f + 136. Solve 5*x = 3*u + 17, x = u + f - 0 for u.
-4
Suppose 0 = f - 5*z + 6, 2*z - 13 - 11 = -5*f. Solve -k + 2*k = f, -4*p = -3*k + 32 for p.
-5
Let g be ((-2)/(-7) - 0)/((-7)/(-98)). Suppose -4*r = g*r. Solve r*c = o - 5*c, -3*c = 0 for o.
0
Suppose 2*u = -x - 0*x + 36, 4*x = -u + 4. Solve 4*a + 4*j = -u, -2*a - 3*a - 3*j = 15 for a.
0
Suppose 4*k + 7 + 4 = 5*s, 4*s - 12 = 0. Let h(r) = r**3 + 3*r**2 - r - 2. Let v be h(-3). Suppose k = b - v. Solve -6 = 3*i + c, -i - 3*i + b = -2*c for i.
-1
Let s(c) be the second derivative of -c**5/10 - c**4/12 + c**3/6 + c**2 + 37*c. Let h be s(-1). Solve 5*j = 4*x + 1, j + 21 = -h*j - 3*x for j.
-3
Let f be -3 + (146/1)/(-3 + 1). Let q = -73 - f. Solve 0 = 4*l + 4, 3*m + q*l + 2 = 4*m for m.
-1
Suppose -3*q = -15 + 9. Let j(z) = -z**3 + 6*z - 2. Let m be j(q). Solve -3*u = 4*y + 1, 0*u - 4 = m*u + y for u.
-3
Let q(z) = -z**2 - 13*z + 21. Let t be q(-14). Solve 8 = 2*m, -t*k + 37 = -2*k + 3*m for k.
5
Let b be (-2 + 1)/(2 - 1). Let k be 32/8 - (b - -1). Solve 12 = -4*v + 4*a, 0 = -k*v + 2*a - 15 - 1 for v.
-5
Let m be 11/(22/18) + -7. Solve k = 2*s - m*k, -s + 4*k = 5 for s.
3
Let y = -14 + 10. Let x = y + -4. Let i be (-3)/8 - 43/x. Solve -2*r - 2*j + j - 9 = 0, -i*r - j = 15 for r.
-2
Suppose -28 = -5*o + 4*o + 3*q, 0 = -2*q + 8. Solve -5*u + 5 - 35 = -t, 0 = -3*u + 5*t - o for u.
-5
Let v = 46 + -10. Let s = v - 31. Solve -s*x + 0*u = u + 27, 5*u - 10 = 4*x for x.
-5
Suppose 2*d = 4*t - 30, 4*t + 6*d = 3*d + 5. Solve 4*m + t*g + 2 = 0, 5*m = 4*m - 2*g - 2 for m.
2
Let u be (96/40)/(9/60*2). Solve b - 4*a = 23, -4*b = -0*b + 4*a + u for b.
3
Suppose -4*b - 10 = 2*j - 20, 0 = -4*b - 5*j - 5. Solve -z + 5 = u + 2, b*u = -z + 15 for z.
0
Suppose 2*q - 3*w = 8 + 2, 3*q = -5*w + 15. Solve 4*n - 8 = -3*x, 0 = 5*n - 0*x + q*x - 15 for n.
-1
Suppose -33 = -4*p - m, p + 2*m + 3 = 4*m. Let y(t) = 3*t**2. Let i be y(-1). Let b be i/((-1)/1)*-7. Solve p*k + 5*j = 3*k + b, -k = j - 5 for k.
4
Let s(i) = 2*i**3 - 34*i**2 + 34*i - 29. Let m be s(16). Solve u = 2*n + n + 8, -5*n - m*u = 32 for n.
-4
Let r be (8/5)/((-3)/15). Let k = 35 + -25. Let h = r + k. Solve -6*c - 