 28 = 5*v, -2*h = 2*v for h.
3
Let d(n) = -3*n**2 + 63*n - 48. Let l be d(20). Solve -p = 2*p - l, -2*p = -5*s + 7 for s.
3
Let z(l) = -9*l**3. Let h be z(-1). Suppose 5*r - 2*r - h = 0. Solve -5*a = -2*u - 2*a + 12, -8 = -r*u + 2*a for u.
0
Let u be ((-5)/(-6))/((-37)/(-444)). Solve -y + 0*y - 7 = 2*v, -3*v = y + u for v.
-3
Let t(v) = -v + 8. Suppose 4*l - 11 = -2*d - 3, 0 = 2*l + 5*d + 12. Let c be t(l). Solve c*w - 24 = -4, -3*w = -5*f for f.
3
Suppose -4*c + 24 = 4*i, -2*c = c - 5*i + 14. Solve -3*s + 12 = 4*b, c*b + 0 = 5*s + 6 for b.
3
Suppose -5*y - 10 = -10*y. Let j be 4 - (2 + -2 + -39). Suppose -6*s = -j + 43. Solve 0 = -3*w - s*w + y*z - 10, 5*w + 23 = -3*z for w.
-4
Let q(w) = -2*w**2 + 25*w + 47. Let l be q(14). Solve 2*d = 5*v + 7 + 1, -3*d = v + l for d.
-1
Let s(d) = -2*d**2 - 9*d - 5. Let w be s(-4). Let b be -8*w/2 - -1. Solve 5*v + 5*u = -10, 3*v = -4*u + b*u - 18 for v.
-5
Let h(r) = r - 1. Let q be h(3). Suppose -q*c = -2*o, 4*o + 5*c + 0*c - 45 = 0. Let j = -354 + 359. Solve 0 = 5*p - 3*v + 28, 0 = -o*p + j*v - 32 + 2 for p.
-5
Let d(y) = 2*y**2 + 2*y - 2. Let t(x) = x**2 - 5*x - 3. Let a be t(5). Let m be d(a). Let c = -348 - -351. Solve s = -c*l - 5, -3*s + 3*l = 5 + m for s.
-5
Let v be -2 - (-1*12)/(-4). Let t be (-4)/10 + (-2)/v. Suppose -f + 2 + t = 0. Solve -f*o = -3*o, -j + 5*o = 0 for j.
0
Let t be (6 + (-217)/35)*-20. Solve o = 2*g - 1 - 4, 4*g = 4*o + t for g.
4
Let z be 10/((-80)/(-6))*4. Solve z*d = -j - 6, j = -2*j + 5*d - 4 for j.
-3
Suppose -2*o - 4 = i, 4*i - 147*o = -151*o. Solve 2*r + 3*u + i = u, 3*r + 2*u + 7 = 0 for r.
-3
Suppose -6*l + 9*l - 60 = 0. Suppose -14*a + l = -9*a. Solve 2 - 5 = -k - f, a*k - 5*f - 3 = 0 for k.
2
Let i be (-4)/26 - 306/39. Let r be 6/i - (-4)/(-16). Let u be -1 + (r - -5 - 3). Solve 16 = -p + 2*p - 3*m, u = 5*m + 25 for p.
1
Let l(i) = 2*i**2 + 6*i - 5. Let n be l(-4). Suppose 4*v - 3*w - 18 = v, 0 = n*v - 5*w - 24. Solve -2*y - 4 + v = k, -4 = 4*k - y for k.
-1
Suppose 50*g = 47*g + 30. Solve 4*d = 3*d + 4*w + 8, 3*d = -5*w - g for d.
0
Let r be -2 - -7 - 36/9. Let o be 1/r*6 - 3. Solve o*g + 15 = 0, -26 = k + 4*g - 5 for k.
-1
Let c(d) = -2*d**2 + 13*d - 4. Let k be c(6). Solve 3 = -3*z, 0 = 5*i - z - k*z - 8 for i.
1
Suppose 28 = -2*u + 4. Let j be (-86)/7 - u/42. Let q = -12 - j. Solve q = -m + 4*w - 25, -m = 3*w + 1 - 11 for m.
-5
Suppose 11*c - 77 = 11. Suppose -3*w + 13 = 10. Let d be 32/14 + (-14)/49. Solve -2*m + 6 = 3*n, -3*m - d*n + w + c = 0 for m.
3
Suppose 3*a - 3 = r, 5*r = 7*r + a - 8. Suppose 2*i - 4*u + 1 = 23, r*u = -9. Solve -4*f - 5*s = -21, 2*f = s - i*s + 18 for f.
-1
Suppose 4*c = -4*j - 44, 0*c - 3*c + 31 = -5*j. Let r be j/52 - 123/(-39). Let t be r/((-52)/16 - -4). Solve -t*z + 3 = -f, -z + f = -4*f + 4 for z.
1
Let f(i) = -8*i + 1. Let b(r) = r**2 - 4*r + 2. Let o be b(3). Let z be f(o). Let l = 12 - z. Solve -5*n = 15, 0 = 2*v - l*n + 1 for v.
-5
Let i(o) = -4*o - 3. Let m be i(-2). Suppose -7*x + 4 = -m*x. Suppose -12 = -x*h - 2*h. Solve -4*v = 3*n + 10, -h = 4*v - 3*n - 5 for v.
-1
Let i = 12 - 9. Suppose -4*u - 86 - 46 = -5*y, -5*y - 134 = i*u. Let r = u - -41. Solve -5 = -q + 3*k, 0*q + r*q = 4*k for q.
-4
Let a(r) = r**3 + 6*r**2 - 2*r + 9. Let b be 3/6*(0 + -12). Let l be a(b). Let k = -19 + l. Solve 4*c - 14 = -3*f, 0*c = 4*f - k*c + 18 for f.
-2
Let g be (-5)/15*1*0 + 2. Solve -g*k - 15 = -5*n - 7*k, -k = 0 for n.
3
Let h(x) be the third derivative of -x**6/120 + 2*x**5/15 + 7*x**4/8 - x**3 + 17*x**2. Let t be h(10). Solve 4*d = -0 - 20, -t*j = 3*d - 1 for j.
4
Let j = 69 - 57. Let p(w) = 4*w - 48. Let t be p(j). Solve -9 = -3*k - 0*k - b, t = 2*b for k.
3
Let o(k) = -k**3 - 5*k**2 - 5*k - 22. Let d(z) = -6*z**2 - 6*z - 5. Let a be d(-1). Let w be o(a). Solve 4*m = -i - w, 0 = -3*i - 2*m - m for i.
1
Let i(w) be the second derivative of 0 + 2/3*w**3 - w + 2/3*w**4 + w**2. Let t be i(-2). Solve 5*l - 23 = -4*d + 4*l, 0 = -4*d - 2*l + t for d.
5
Let a(l) = 2*l**3 - 3*l**2. Let w be a(2). Suppose 9*q - 13*q = w. Let k be 1/(q + 0) + 3. Solve 0 = 4*j + f + 2*f + 16, 12 = -4*j - k*f for j.
-1
Let d(g) be the third derivative of -g**5/60 + 13*g**4/24 + g**3/3 - 10*g**2. Let r be d(13). Solve 2*j = 2*y + j - 9, r*j + 10 = 0 for y.
2
Let o be 4*15/20 - (11 - 8). Solve -5*l + 3*p - 11 = 0, 5*l + o*p = p - 17 for l.
-4
Suppose -j + 16*i = 20*i - 11, 2*i = 4. Solve -3*g + 0*g + 5*c = -19, j*g - 17 = 4*c for g.
3
Let o(d) be the first derivative of 2 + 12*d - 7/2*d**2 + 1/3*d**3. Let j be o(8). Solve -2*r - 1 = -5*g - 3, 4*g + 3*r = -j for g.
-2
Let c be (-12)/20 - 56/(-10). Suppose c*o - 27 = -12. Let w be (-32)/(-14) + (-6)/21. Solve -o*s + 3 = -w*s + 2*v, -1 = -3*s + 2*v for s.
1
Let c(q) = -q**2 + 9*q - 8. Let w be c(7). Suppose 2*z - w = -2. Let g = 6 - z. Solve -12 = -g*l - 4*u, -5*u + 1 = 2*l - 2 for l.
4
Suppose 0 = -2*y - 2*y + 12. Suppose -r = 2*x - 60, 0 = 5*r + x - y*x - 240. Suppose -5*n + 10 = -r. Solve -4*j - n = -j, -j + 11 = -3*p for p.
-5
Suppose 2*a - 8 + 2 = 0. Let u = 0 + 9. Let n = u - a. Solve w + 13 = -4*f, n*f + 3*w = f - 18 for f.
-3
Let c(r) = -26*r**2 + 4*r - 5 + 19 + r**3 + 19*r**2. Let b be c(6). Solve 0*t = -3*t, n = 3*t - b for n.
-2
Suppose -26*v + 7*v = -9*v. Solve v = 3*l - 5*l - 2*n - 6, 3 = -4*l - n for l.
0
Suppose -35*f + 32*f + 45 = 0. Let p be f + -13 - (-2)/(2/3). Solve 5*t + 25 = -p*n, -5 + 1 = 4*t for n.
-4
Suppose 0*s = -2*s. Suppose v + k + s - 4 = 0, k = -5. Solve 3*p + v = 24, -3*p + 19 = -a for a.
-4
Let m = -14 - -10. Let z be 0*(20/m)/(-10). Solve z = 3*h - 2*i - 14, -5*h - i + 11 = -8 for h.
4
Let j be 3/54*-4 - (-50)/(-18). Let x be 4/10 - ((-92)/20 - j). Solve 5*d = -u + 21, 0 = 4*u + x*d - d - 8 for u.
1
Let y(g) = -g**3 - 12*g**2 - 16*g - 5. Let n be y(-11). Suppose 0*k = 5*k + n. Let j = k + 12. Solve -3*c + 5 = j*o, -o - 2*o = -12 for c.
-1
Let r(q) = 3*q**2 - 6*q. Let t(l) = -2*l**3 + l**2 + 2*l + 1. Let c be t(-1). Let d be r(c). Solve d*f = f + v - 2, 3*f = -5*v for f.
5
Suppose 3*v + v = 0. Let t = -22 + 24. Suppose t*c + 4 = 18. Solve 4*i + c = -5*a, v = -2*i - 0*i + 5*a - 11 for i.
-3
Suppose -316*s + 322*s - 48 = 0. Solve -5*f + v + s = 0, -f - 5*v - 12 = 2*f for f.
1
Let t(r) = r**3 - 6*r**2 + 9*r - 2. Let x be t(4). Let j(u) = -5*u - u**x - 7*u + 6*u + 2. Let d be j(-6). Solve -3*n + 4*o + 0 = -5, 3*o + 5 = d*n for n.
-5
Let y(k) = 0 - 42*k**2 + 30*k**2 - 3. Let p(u) = -11*u**2 - u - 4. Let v(t) = 2*p(t) - 3*y(t). Let j be v(1). Solve -n + x + j = -4*n, 3*n - 2*x + 10 = 0 for n.
-4
Suppose 0 = -9*d + 4*d. Suppose 0 = -4*f - d*f, 0 = 5*o + f - 85. Solve -2*r - 3*y - 20 = 2*y, 0 = 5*r - 4*y + o for r.
-5
Let h(k) = -10*k - 107. Let f be h(-11). Solve 5*b + 3 - 28 = 4*l, f*l = 4*b - 20 for b.
5
Let h = 1 - -4. Suppose 129 = 131*j - 133. Solve 0 = -3*i - 6, -h*i + j*i - 8 = 2*a for a.
-1
Suppose 4*q - 11 = 5. Let r be (4 - 1 - q)*-5. Solve -3*i - r*m = 22, 0 = 2*i - 0*m - m - 7 for i.
1
Let m be (-3 + (-3 - -1)*1)/(-1). Solve 0 = p + m*n - 2, p + 4*n = -0 + 1 for p.
-3
Let s be ((-1)/2)/((-5)/50). Suppose -6 = -3*i + i. Let r = 395 + -392. Solve -3*c + 15 = -r*y, -i*c - 2*y + 0*y = -s for c.
3
Let a(v) = -v - 13. Let n be a(-12). Let f(r) = -3*r. Let j be f(n). Solve 6 = -4*p + j*h + 21, -5*p = 5*h - 10 for p.
3
Suppose -5*r + 37 = 2*f, -2*f = 3*f + 4*r - 67. Solve d - f = 3*i, -3 = -4*d + 5 for i.
-3
Suppose 6*i - 65 = i. Let j = -8 + i. Suppose 2*s = -2 + 4, -3*h + s = -5. Solve h*r = -2*r - 4*q, 0 = -r + j*q - 30 for r.
-5
Suppose -3*k + 3 = -0*k. Let g be (-80)/25*(k - 6). Solve -2*j + 5*b = -g, 4*j - 2*b - b - 18 = 0 for j.
3
Let g be (-34 + 2)*(-3)/2. Let i be g*(-12)/32*-2. Suppose -3*n - x + 1 = -i, -2*x = -n + 10. Solve -3*j - 16 = -t, -2*t - n = -t + 4*j for t.
4
Let s be (-6 - 63/(-7))/(-1 - -4). Solve -3*c - s - 3 = p, 4*p - 6 = -c for c.
-2
Let n(a) = 22*a - 330. Let z be n(15). Solve -3*d + 16 = 4*t, 5*t = -5*d + 25 - z for t.
1
Suppose -3*j = 5*p + 8 - 2, 2*p - j - 2 = 0. Suppose 2*n + 8*n - 270 = 0. Solve -n = -3*h - 3*r - p*r, -3*h - 1 = -4*r for h.
5
Let a(i) = i**3 + 47*i**2 + 44*i - 92. Let x be a(-46). Solve -4*w = -5*d - 0*w - 25, x = 5*d + 5*w + 25 for d.
-5
Let h = -11 - -12. Suppose -2*t + 3*s + 6 - h = 0, -3*t = -s - 11. Solve -3*v = -3*c - 18, 0*c + v - 