3723 + 3727. Solve 4*i - 10 = -p - p, 0 = -i + r for p.
-3
Let x be -1 + 1 - (1 - -2 - 5). Suppose -7*d + 24*d = 85. Suppose 23 = d*h + 8. Solve 5*b - 4 = h*w + 3, -x*b = -4*w for w.
1
Let b = 41 - -145. Let t = b - 159. Solve -3*s + 23 = 3*q + 5, 0 = -4*s - 5*q + t for s.
3
Let y(q) = -5*q - 3*q + q - 19 + 4*q. Let k be 3/(-12) - (-62)/(-8). Let j be y(k). Solve -3*m + j = -p, -5*p - 4 = 5*m + 1 for p.
-2
Let t(q) = q**3 + 29*q**2 + 33*q + 147. Let i be t(-28). Solve 8*a - 7*a = -2*p - 2, -i*p - 13 = 5*a for a.
-4
Let s(q) = 138*q + 10766. Let f be s(-78). Solve 4*o + 2*j - f - 6 = 0, 5*j = -2*o + 12 for o.
1
Suppose -3*k - 31 = 5*f - 181, -5*k + 250 = 3*f. Let q = k - 49. Solve 0 = v - j - q, j + 2 = -j for v.
0
Suppose 0 = -p + 3*y + 16, -13*y - 80 = -5*p - 8*y. Solve -4*x - p = -5*t, 11 = -18*t + 22*t - 5*x for t.
4
Suppose -2*d = -12*d. Suppose 26*k + 29 - 133 = d. Solve 4 = 3*u + 4*c, u + k*c = -u + 4 for u.
0
Suppose 2*f + 0*m - 5*m = 18, 3*f + 19 = -4*m. Let u be f/((-2)/(-2)*5/15). Let c be (-6 + 2)*3/u. Solve 5*a + 32 = -5*h + 2*h, -8 = c*a - 2*h for a.
-4
Let f be 3/1 - 64/24*(-27)/6. Solve b + 8 = 0, -14*b + f*b = z - 3 for z.
-5
Suppose 142*j + 143*j - 120 = 261*j. Solve -8*o + 3 = 5*n + 24, 15 = -5*o - j*n for o.
-2
Let y(l) = -l**3 - 14*l**2 + 14*l - 9. Let z be y(-15). Let o be 2/z*4*51. Suppose 11*b + o = 167. Solve -7*c + 2*c = -3*s + 11, -c + b = 5*s for c.
-1
Suppose 12*x + 27 + 45 = 0. Let z be 1*((-26)/x)/((-3)/(-27)). Let s = -34 + z. Solve 0 = 2*m + 5*a - 18, 21 = 5*m + s*a - 9 for m.
4
Suppose 541*c - 24 = 535*c. Suppose -6*q + 1 = -3*p - 4*q, 7 = c*p - q. Solve -3*f = -4*r - 6*f - 35, -40 = p*r + 5*f for r.
-5
Let j(v) = 25 + 1 - 5*v - 6*v + 19 + 109. Let a be j(14). Solve -2*q - 3*q - 21 = -2*s, -3*s - q + 6 = a for s.
3
Suppose 4*n = 5*l + 111, -3*n + 28*l + 90 = 31*l. Solve -n = -2*p + 5*y, -4*p + 4*y - 2 = -30 for p.
2
Let m = 5915 + -5898. Solve -4*u - 4 = -b + 4, 0 = 5*b + 3*u - m for b.
4
Suppose 2*c + 7*y = 2*y + 44, 3*c + y = 40. Suppose 18*b = 2*b - 640. Let x = 45 + b. Solve 2*t + t + c = 0, 3*p = -x*t - 29 for p.
-3
Let y(z) = z**2 - 20*z + 95. Let n be y(7). Suppose -g - 14 = -n*m + m, 0 = 3*g + 2*m - 13. Solve d = -g - 0, -3*o - 5*d - 5 = 0 for o.
0
Let d(o) = o**3 + o**2 + 2*o - 91. Let m be d(0). Let l = m + 96. Solve -11 = -5*b + 2*w, 4*b + 4*w + l - 25 = 0 for b.
3
Let t be 12 + (-4 - (-9 + 10)). Solve 2*r = t*d - 2*d - 21, -2*d = -5*r for d.
5
Let s = -137 - -213. Suppose 65*j = s*j - 33. Solve -j*f = -5*i + 6, 4*f = 7 + 5 for i.
3
Let n = -20245 + 20254. Solve 2*b - 6*l + 3*l = -9, 0 = b - 3*l + n for b.
0
Let l = -3698 - -3723. Solve 4*a = 5*o - 13, 0 = 21*o - l*o - 3*a + 29 for o.
5
Let i be ((-4)/(-12))/((-22)/(-21) - 0 - 1). Solve -i = -4*c + d, 39*d - 34*d = 4*c - 19 for c.
1
Let t = -52 - -41. Let j be (-3 + 2)/(t/22). Suppose 28 = j*b + 5*d, -3*b = -d - 2*d. Solve -2*p + 5*x - 1 = 0, b*p - 3*x + 5 = 5*p for p.
2
Suppose -58*p - 7 = -297. Suppose 0*r - 3*r + 15 = 0. Solve -5*q + 10 = -r*g, 2*g = -g - p*q + 18 for g.
1
Suppose -5*o + 2*r = 0, -3*o - 66*r + 67*r = 0. Let l(u) = -26*u. Let j be l(o). Solve y = -y - 2*p - 4, j = 5*y - p + 4 for y.
-1
Suppose -5 = 4*q + 2*i - 27, -3*i = -15. Solve 26*y - 25*y - 9 = 4*l, -q*y + 5*l = -13 for y.
1
Let p(a) = -a**3 - 4*a**2 - 3*a - 8. Let y be p(-4). Let u = -20 - -26. Let v be 40/16 + 15/u. Solve -v*l - 5*x + 20 = 0, -x = 2*l - 0*l - y for l.
0
Suppose -3*w + 797 = -w + 5*j, 3*j = 5*w - 1946. Let z = w + -389. Solve -2*y - 2 = 2*h, -h - z = -3*h + 2*y for h.
0
Suppose 0 = 8*a - 577 + 465. Suppose -11*b - a = -18*b. Solve -3*o + b*u - 7*u - 5 = 0, -o + 5 = -5*u for o.
0
Let p be (-12)/(-66) - 6/33. Let n(c) = c**3 - c**2. Let q be n(p). Let w = 4 + q. Solve 4*o = -4*g - w, -4*o = -g + 10 + 9 for g.
3
Let u be (2 - (-3 - -8)) + 8. Suppose 8 = 4*a - 3*j, -u*j - 8 = -8*a + 4*a. Solve -w - a*w = 3*o + 6, -4*o = -5*w + 17 for w.
1
Suppose -14 = -4*i + 14. Suppose 19*m + i = 64. Solve -4*g = 5*l - 0 + 6, -4*l + m*g + 20 = 0 for l.
2
Let j(b) be the first derivative of 5*b**2/2 + 38*b - 21. Let s be j(-7). Solve 2*x - x = s*d - 1, 5*x - 23 = d for x.
5
Let v(j) = -j + 2. Let r be v(-5). Let q(a) = 3*a + 12. Let x be q(7). Suppose x*s - 6*s = 351. Solve -4*g + r = f - 2*f, -g + s = 2*f for g.
3
Let q(i) = 6*i**2 + i - 30. Let t be q(4). Suppose -23*g + t = 1. Solve g*l = c - 14, -3*l - 10 = -4*c + 19 for c.
5
Let q(c) = 14*c + 798. Let a be q(-57). Solve -4*g + 20 = 4*j - 3*j, a = -3*j + 5*g - 25 for j.
0
Let g(x) be the first derivative of -4*x**2 + 83*x + 52. Let m be g(10). Solve -2*n - 28 = -6*n - 4*o, m*n - 5*o = 5 for n.
5
Suppose j = 3*t + 13, 30*j - 29*j - 9 = t. Solve -3*o - 15 = -4*x, -4*o = j + 13 for x.
0
Let a(i) = 4*i**3 + 28*i**2 - 8*i - 54. Let c be a(-7). Solve 0 = -w + 1 - 0, 0 = -3*j + c*w - 11 for j.
-3
Let h be (-6784)/(-1408) - 1/((-22)/4). Suppose 25 + 0 = 5*n. Suppose 0 = -2*t + n*a + 5, -3*t + 4*a = -14 + 3. Solve -q - h = 2*z - z, -25 = t*z + q for z.
-5
Let j(u) = -u**2 + 28*u + 898. Let f be j(47). Solve -5 - 5 = -f*t + 5*x, -t = 3*x + 2 for t.
1
Let z = -254 - -260. Suppose 4*u + 20 = 5*o, 3*o + z*u - 12 = u. Solve -o*w - v = -2*v, -5*w = 3*v - 17 for w.
1
Let s = -2052 - -2056. Solve -s*d = -c + 12, c - 14 = 5*d + 1 for c.
0
Suppose -3*j = w - 16, -5*w - 25 = -2*j - 37. Suppose 44 = w*n - 4*i, -2*i - 33 = -n - 22. Solve 4*b + 19 = 6*r - n*r, 0 = 5*b + 2*r + 11 for b.
-1
Let g = 82 + -67. Let f be 12/g*3/(3/35). Suppose 2*p - 18 = -3*q, 3 = 5*p + 4*q - f. Solve i = -0*i - p*w - 5, 0 = -3*i + 4*w - 15 for i.
-5
Let i(l) = -l**3 - 4*l**2 - 22. Let g be i(-5). Suppose 4*f - 2*a + 4*a - 14 = 0, g*f = a + 8. Solve -f*w + 21 = -2*t, -w + 5*t = 2*w - 30 for w.
5
Let w(c) = c**3 + 20*c**2 - 3. Let s(z) = 4*z + 12. Let d be s(-8). Let v be w(d). Let t = 5 - v. Solve 2*u = -2*m + t, -4*u + 6 = -u + m for u.
1
Let f(s) = 2*s + 106. Let y be f(-53). Solve 0 = -4*q - 5*z - y - 29, 0 = -q + 5*z + 24 for q.
-1
Let r = -6621 - -6624. Solve -18*k = -20*k + 4*l - 22, 2*k = r*l - 19 for k.
-5
Let x be 180/12 - (-3 + 3 + -2). Solve -3*j = c + 9, -x*c + 14*c + 5*j + 15 = 0 for c.
0
Suppose -4*r - 110 = -3*h, 85*h - 89*h + 2*r = -130. Solve 174*i - 179*i - h = j, 0 = -2*i - j - 15 for i.
-5
Suppose 28*p - 33 = 23. Solve a - 19 = -p*k + 4*a, 0 = -k + 3*a + 17 for k.
2
Let d(i) = -i**2 - 97*i - 2307. Let r be d(-53). Solve -4*t - c + 2 = 0, -2*t - r*c = -22*c + 4 for t.
1
Let j(t) be the second derivative of -2*t**3/3 + 8*t**2 + t. Let v = -1786 + 1790. Let p be j(v). Solve -45 = -0*y - 5*y - 5*s, p = -4*y - 5*s + 40 for y.
5
Suppose -4*y + 8 = 2*f, 27*y - 22*y = -4*f + 31. Solve 0 = 3*z - s - f, 5*s - 29 = -4*z - 4 for z.
5
Suppose 0 = 4*h + 5*s + 8, 2*h + s - 3 = -1. Let t be ((h - 3)/(-3))/(-3). Solve -5*a + 9 = -0*a + 2*w, t = -4*a + 3*w + 21 for a.
3
Let o(u) be the third derivative of u**6/120 + u**5/5 - u**4/12 - 10*u**3/3 + u**2 + 10*u. Let g be o(-12). Solve -g*y + 2*k = -3*k - 45, -3*k + 5 = 4*y for y.
5
Let t be (-1)/(2/(-12)*1). Suppose t*m + 72 = 24*m. Solve 3*c - 6 = 2*p + 4, -p = m*c - 17 for c.
4
Suppose -13 = -3*z + 17. Let x(l) = -l**3 - 16*l**2 - 11*l + 23. Let w be x(-15). Let m = -8 - w. Solve -2*u + z = -5*o + m, 0 = o - 3*u + 4 for o.
5
Let u be 4 - (5 - (-2 + 4)) - -13. Suppose 0 = 2*f - u + 8. Solve 4*i + 8 = 2*l, l + 1 = -f*i - 0*i for l.
2
Let a = -56 - -108. Suppose -24 = a*f - 56*f. Solve -2*m + 22 = 3*c - 0*c, 4*c - 2*m = f for c.
4
Suppose 3*m = -9, 4*r = 5*m - 2*m + 5. Let v be (r + -3)*1/(-4). Suppose 2*n - 5*u + 1 = 0, v = 5*n + u - 10. Solve 17 = -2*k - k + n*j, -2*j = 4*k + 18 for k.
-5
Suppose -2359*a = -12843 - 7831 + 1802. Let m = 5 + -1. Solve 0 = 2*k - 3*l - 6, -3*l - a = -m*k + 2*l for k.
-3
Let k(t) be the second derivative of t**4/12 - t**3/3 + 17*t**2 - 13*t. Let q be k(0). Let m = 39 - q. Solve -1 = y + 3*n + 2, m*y + 15 = -n for y.
-3
Let r(k) be the second derivative of k**3/2 - 3*k**2 - 13*k. Let j be r(0). Let t(x) = -x - 3. Let l be t(j). Solve 0*o + z = 2*o - l, 3*z + 5 = 4*o for o.
2
Suppose 2*z - 27 = -47. Let y be (-2)/z - 3/((-30)/28). Solve -y*w = 5*s + 4 - 0, s - w = -4 for s.
-2
Let c(t) = 3*t**2 + 71*t - 566. Let a be c(-30). Solve -20 = -2*d - 3*u, 5*d - 7*u = -a*u + 8 for d.
4
Let c = -3