+ f*s + 18 = 0, -2*p - s = -p + 2 for p.
2
Let j be (6 - 1) + -1 - 0. Suppose f - j*y - 48 = -3*f, -f + 12 = 3*y. Solve 4*d - 2*u = -f, -5*d = 4*u + u - 15 for d.
-1
Let d be (0 + 11 + -3)*1. Solve 3*u - d*u - 5*q = 25, 3*u - 5 = q for u.
0
Let n be (-8)/6*(-45)/(-10)*-2. Solve 4*u + 2*m = -n + 4, 0 = 3*u + 3*m for u.
-4
Let u be (1 - 1)/((-6)/(6/2)). Suppose -2 - 2 = -4*w. Let k = u + w. Solve 5*r + k = -5*d - 4, 5*d = -2*r - 14 for d.
-4
Let g(z) = z**2 - 439. Let n be g(21). Suppose 2*a + 0 = 4. Let b = a + -2. Solve 3*s - x - 2*x + 24 = b, -n*s - 2*x + 4 = 0 for s.
-3
Suppose -66 = -5*a - 11. Let q = -10 + a. Solve -2*v - 10 = -2*k, 2*k + 5*v - 4 = -q for k.
4
Let f(v) = -3*v - 65. Let j be f(-26). Solve 4*s - 2*o = 14, -2*o = 5*s + j - 35 for s.
4
Let c(x) = 21*x - 1. Let i be c(1). Suppose 2 = -2*o, -24 = 3*k + 5*o + 26. Let p = i + k. Solve 2*j - 4*d = -18, -j - 4*d + p + 16 = 0 for j.
1
Let i be 5/((-10)/8) - -6. Solve -4*s + 4*m - 6 - i = 0, -m - 3 = 4*s for s.
-1
Let a be 10 + (-5)/5 + -4. Suppose 0*f - a*f - p = -20, -2*f + 5*p = -35. Solve 2*l = -5*t + 10, -5*t - 15 + f = -2*l for l.
5
Let o(b) = b - 3. Let v be o(7). Suppose v = x + x. Solve 0 = -3*k + 2*g - 7, -4*g + x = -5*k - 9 for k.
-3
Let d be (13/2 + -4)*-4. Let t be ((-5)/d)/(1/6). Solve 0 = g + 2*g - 3*y + 9, -1 = -t*g + y for g.
2
Suppose 0 = 2*f - 4*f - 18. Let u be (12/f*3/2)/(-1). Solve 0*h + 4*h = 5*v + 20, -10 = -u*h + 5*v for h.
5
Suppose 4*o + 19 - 35 = 0. Let p be (-80)/(-36) + (-4)/18. Let n = 2 - -26. Solve p*j - 4*q - n = 4*j, -j + 16 = -o*q for j.
-4
Let k be 1/4 + (-1287)/(-36). Suppose -11*a + k = -2*a. Solve 2*f + 2*i + 10 = 0, 5 = 3*f + a*i - 5*i for f.
0
Suppose -n + 15 = 2*n. Suppose -13*h + 309 = 283. Solve 3*o = 4*w + n, 3*w + h*w + 13 = -3*o for o.
-1
Let q = -3 + 11. Suppose -2*j - 2*t = -20, 2*j - 5*t - q = -t. Let k be 13/4 + 6/j. Solve 2*o + 32 = k*b + 5*o, 3*o = b + 7 for b.
5
Suppose 3*d = -9, -d = -5*a - 2*d + 82. Let v = -13 + a. Suppose -v*k = -16, 4*y - 38 = -5*k + 26. Solve 0 = -5*m - 2*h + 8, -4*m + m = -5*h - y for m.
2
Let t be (3/(-9))/(7/(-315)). Let z(u) = 15 + u + 8 - t. Let q be z(-2). Solve -4*n = -5*j - q, -4*n = -10 - 6 for j.
2
Let j(c) = c. Suppose -30 = -4*t + 2*y, t + 1 = -3*y - 9. Let b be j(t). Let d = -8 - -14. Solve 4*g + 42 - d = -b*m, -5*m = -3*g + 8 for m.
-4
Let w be 3 + -4 - 1*-3. Suppose 0 = 2*h - w*t - 14, t = 6*h - 2*h - 25. Let p = 5 - 3. Solve l - 30 = -5*b + 6*l, -p*l - h = b for b.
2
Let o be (-26)/(-6) + 4*12/72. Let j(u) = -2*u + 1. Suppose 3*y + 0*y = -21. Let r be j(y). Solve 0 = -2*b - o*d + 26, b + r = 2*b + 3*d for b.
3
Suppose 0 = 4*m - 2*n, m + 10 = 2*m - 3*n. Let b be 2/(m*3)*-9. Suppose -3*f = -5*a + 27, -49*a + 53*a - 23 = f. Solve -b*w = -5*t, w + a*t = t for w.
0
Suppose 0 = 2*d - 3*d - 5, 0 = -2*u - 3*d - 35. Let x = -4 - u. Suppose x = a + 3. Solve -s - a*g + 2 = -g, -5*s - 2*g = 14 for s.
-4
Suppose 322 = -9*d + 16*d. Let c = d + -45. Solve -4*m - 3 = -3*i, 0 = i - 0*i - 4*m - c for i.
1
Let z be ((-15)/(-12))/(1/4). Suppose z*c - 3*c = 0. Solve c = 5*i - 10, 2*i - 4 = -q + i for q.
2
Let t(p) = -7*p + 7. Let s be t(-5). Let x = 4789 - 4789. Solve 2*j - 11 = 5*y - s, x = -y + 5 for j.
-3
Let p be 4/6*(-4 + -2 + 18). Suppose 8 = 3*t - h, 5*t + 0 = -h + p. Solve -12 = -4*r, -3*k + 2*r = -t*r + 6 for k.
2
Let s = 1617 + -1613. Solve -5*v + 5 - 15 = 5*w, s = -w for v.
2
Suppose 1 = 4*d - 3, 4*o + d - 17 = 0. Suppose o = -10*k + 11*k. Solve -5*v + 15 = -k*m, -5*m + 3*v = -2*v + 20 for m.
-5
Suppose -4*r + 46 = -38. Suppose 5*f - 52 = f. Let l be (-12)/(-2 - 0) + -2. Solve -2*u + 2*y = y - f, -l*u = -y - r for u.
4
Let m(t) = -2*t**2 + 44*t + 490. Let b be m(-8). Solve -2*w + 4*w - 14 = 4*z, -4*z - 2*w - b = 0 for z.
-3
Let f(x) = -2*x**3 + 10*x**2 - 8*x + 4. Let c be f(4). Solve 0 = 2*o + o + c*h - 8, -4*h - 4 = 0 for o.
4
Let q be ((-1)/3)/((-13)/195). Let c = 2 - -2. Let d = -3 - -5. Solve q*n = d*m - c*m - 35, n + m = -10 for n.
-5
Suppose w + 11 - 19 = 0. Let c be 10/25 + (5 - 27/5). Solve 4*p + c*l - 5*l - 20 = 0, -p = -2*l - w for p.
0
Let c = -1934 + 1936. Solve -c*m - 6 = -4*k, 3*k - 7 = -m + 2*m for m.
5
Let t(x) be the third derivative of -x**4/24 + x**3/6 - 3*x**2 - 2*x. Suppose -2 = n - 1. Let k be t(n). Solve 3*i - 18 = -2*z, i + 11 = k*z + 3*z for z.
3
Suppose 4*w - 8*w = -20. Suppose -5*l = 4*a - 33, w*l - 4*a + 23 = 8*l. Solve 4*f + 3*d = -7, -2*f - l*d = -6*f - 31 for f.
-4
Suppose -3*y = -4*m - 18 + 17, y - 3*m = -3. Solve -3 = y*t + 3*s + 3, -5*t = -s + 28 for t.
-5
Suppose -26*l + 4 = 2*s - 22*l, -2*s = -2*l - 10. Solve u + n = s - 1, -3*u - n = -5 for u.
1
Let j be 420/48*(-1 + 2 + 3). Solve 3*v + 2*v + 29 = -3*c, -j = 5*v + 5*c for v.
-4
Let s be 6 - (-2 - (-3 - 0)). Let u be 8 + -4 + -5 - -12. Solve -u = -v + 4*l - 0, -3*v + s = -5*l for v.
-5
Let q be (-10)/(1 + (-12)/9). Solve 22 = 4*k + 2, 0 = -p - 5*k + q for p.
5
Let d(q) = 4*q**2 - 4*q - q**3 + 4*q + 3 + q. Let b be d(3). Solve -4*g + w - b = 0, 3*g - w + 10 = -0*w for g.
-5
Let i = -158 + 163. Solve 3*s - i = f + f, 2*f + 2*s - 10 = 0 for f.
2
Let r(p) = -4*p - 31. Suppose 3*x = 2*l + 28, 2*x - 7*x + 28 = -l. Let g be r(l). Solve -v = c + g, -c + 5*v + 45 = 4*c for c.
4
Let x = -206 + 210. Solve 0 = -q - 3*q - x*h, 5*h = -2*q - 12 for q.
4
Let q be (-2 + 1 + -21)*(-2)/4. Suppose -3*n = -q + 5. Solve 0 = -g - 3*m - 4, n*m + 2*m + 8 = 0 for g.
2
Let t be (-11)/3 - (-16)/24. Let o be t/12 - 1875/(-12). Suppose 4*n = -5*j + o, -j + 76 = 2*j - 2*n. Solve 0 = 3*f - 6*f - 6, 4*f + j = -5*g for g.
-4
Suppose 0 = -0*h + 2*h + h. Solve h = -n + 3*w - 4, 5*n + 8 = 2*w + w for n.
-1
Let m(z) = -z**2 + 4*z**2 + 3 - 3 + 2. Let y be m(-1). Solve y*u + s = 4*s + 6, -3*u + s + 6 = 0 for u.
3
Let q be (-4)/(-4*(-4)/(-8)). Let k be (5 - q) + 0 + -3. Suppose k = -p - p. Solve 7 = -4*b - 9, 5*d - 4*b - 1 = p for d.
-3
Suppose -95*d = -16*d - 3*d. Solve -3 = -3*q, 0 = -d*c - c - 2*q for c.
-2
Let x(g) be the first derivative of -7*g**2/2 - 45*g - 35. Let y be x(-7). Solve -3 = d + 4*k, -4*d = -3*k + y + 8 for d.
-3
Suppose 3*n - 8*n = -10. Let j = 3 + n. Let w be -2*((45/(-6) - -2) + -3). Solve 0 = -5*g + 5*t - 40, -w = -4*t - j for g.
-5
Let f(x) = 47 - 46 - 3*x - 21. Let z be f(-8). Solve -2*v - 2 + 19 = 3*m, -v + z = 0 for m.
3
Suppose 5*q = 34 + 31. Suppose 2*c - 19 = -r - c, -r + 3*c = -q. Solve r = -2*k - 2*f, 2*k - k + 3*f + 16 = 0 for k.
-4
Let f = 8 - 6. Suppose 0 = -f*b + 4*i + 32, -5*i = -0*b - 4*b + 70. Suppose -2*w - 6 = -b. Solve 2*q = 4*q - 5*g + w, -3*q = -2*g + 5 for q.
-1
Let w = 63 + -63. Let b be -3*-2*(-2)/12. Let y be (b + 2)*(7 + -4). Solve y*i - 7 = -4*j, 2*i - 3*i + j = w for i.
1
Let c(v) = -v + 0*v + 0*v**3 + 3 + v**3 - 9*v**2 - 5*v. Let a be c(10). Let h = a + -22. Solve x + h = 4*b, 3*x + x + 19 = 3*b for x.
-1
Suppose -2*t + 2*v + 4 = 4*v, 3*t - 5*v = 6. Suppose -t*m + 19 = z - 2, 4*z + 4*m = 72. Solve -4*p = -n - 19, 4*p - z = 4*n + 1 for n.
1
Let v be 1428/98 + (-6)/(-21)*-2. Solve a + 3*s = 10, a - 3*a = 3*s - v for a.
4
Suppose -13*j = 14 - 1. Let n(g) = -3*g - 1. Let c be n(j). Let x = 4 + 1. Solve s + x*l + 2 = c*s, -4*s + 8 = -l for s.
2
Let l(w) be the first derivative of 2*w**3/3 + 3*w**2/2 + 3*w + 21. Let v be l(-2). Solve 2*f - 2*q - 9 = f, 15 = -v*q for f.
3
Suppose 7 + 1 = -2*i. Let r = -1 - i. Solve -r*x + 9 = -w, 19 = -3*w + 5*x - 0*x for w.
-3
Suppose -16*s - 4*d - 3 = -17*s, -9 = -3*s + 3*d. Solve -g + 14 = s*p - 1, -g + 5*p = 25 for g.
0
Let n(k) = -k**2 - 3*k - 2. Let j be n(-1). Let f = 2 + j. Solve -f*i = -i - l - 2, -4 = -5*i + 2*l for i.
0
Let i = 132 + -155. Let m = 8 + -53. Let u = i - m. Solve -5*j = -y - y + u, 4*y - 12 = 2*j for y.
1
Suppose 71 - 86 = -3*o. Solve -k = -2*t + t + 6, o*k = -5*t - 10 for t.
2
Let a(w) = w**2 - 11*w + 4. Let f be a(11). Suppose f*q + 2*y = 82, -q + 102 = 3*q - 2*y. Solve -q = -3*i + 5*r + 11, -r - 5 = 0 for i.
3
Suppose i = -w + 6*i + 6, -w + i = -22. Suppose 5*v = -4*g + w, 2*g - 6*v + v + 2 = 0. Solve 4*b - g*x + 29 = x, 5*b = -3*x + 10 for b.
-1
Let f(k) = 43*k. Let r be f(2). Let u = r - 84. Suppose 0 = c + c. Solve -4*n = -a - 21, c = 2*a + 6*n - u*n - 18 for a.
-1
Let o(m) = m**3 + 2*m**2 + 4. Let l(w) = 2*w + 9. Let j be l(-6). Let x be o(j)