 - y, 17 = 4*i + y for i.
3
Let f(v) = v**2 - 6*v + 2. Let l be f(0). Solve z = -q + l, -5*q + 3*z = -2*z + 30 for q.
-2
Let h be -28 - (0 - 3 - 0). Let f = -25 - h. Suppose -3*u + 6*u - 15 = f. Solve 0*p + p = -u*t + 14, 2*p - 2*t - 4 = 0 for p.
4
Suppose -467 = -h - 473. Let k be (-22)/(-3) + 6/9. Let z = h + k. Solve f + f = 0, -9 = 3*r - z*f for r.
-3
Let m(a) = -a**3 + 14*a**2 - 38*a - 18. Let r be m(10). Solve -28 = -5*z - 3*o + 5*o, 0 = -r*z - 2*o for z.
4
Let u = -70 + 73. Let j be ((u - 0) + 2)*(3 + -2). Solve -29 = -5*n + 3*f, -5*f - 14 - j = -n for n.
4
Let t be (-8)/28 - (-312)/14. Let b = 12 - 7. Suppose 0 = 5*v - b - 5. Solve -4*j + 3*g - t = j, v*j = -2*g + 4 for j.
-2
Let k(h) be the second derivative of -11*h**2 + 0 + 7/3*h**3 + 9*h - 1/12*h**4. Let s be k(10). Solve 5*f + o + o + 21 = 0, -2*f + 4*o = s for f.
-5
Let l = 6 + -4. Let o(p) = -7*p + 33. Let g be o(4). Let r be (3 - 2)/((-2)/(-6)). Solve -r*i = 2*a - 10, -2*i - g = a - l*a for i.
0
Let y be 1515/(-90) + (-2)/12. Let w = y + -6. Let r = 25 + w. Solve 3*a - 11 = -r*x + 6, a = 3 for x.
4
Suppose -4*r - 19 - 7 = -k, 0 = 3*k + 2*r - 22. Solve -4*c + 2*s = -2, 5*c + s - 30 = -k for c.
3
Let z(k) = 2*k**2 - 11*k + 2. Let i be z(6). Suppose 0 = -5*d + d + i. Suppose 0 = 2*q - q - 5. Solve -2*y - 2 = -d*n, n = -q*y + 3*y + 10 for n.
4
Suppose 3*m = -0*j + 4*j - 10, j + 5*m = 14. Solve 14 = -x - j*i, -x + 0*x + 2*i = -10 for x.
2
Suppose -3*v = -3*i + i + 33, 5*i - 37 = 4*v. Let u = 24 + v. Suppose -q - j = 2*j - u, 2*q - 20 = -5*j. Solve q*l = -5*s, 0 = -l - 3*l - s for l.
0
Let g be (-2)/(-12) - ((-1526)/12)/(-7). Let q be g/4*8/12 + 3. Suppose -8 = -5*z + 2*b + b, 3*b - 12 = 0. Solve -3*t = c, z*t = c - 7 - q for t.
-1
Suppose g = -4*a + 3, -3*g + 27 = -2*a + 46. Solve -s + 5*d = -a, -5*s + 8*d - 3*d = -10 for s.
2
Suppose 0*j + 2 = j. Suppose 4*c - 5*k = -0*k - 7, 4*c - 2*k - j = 0. Solve 4*y = 3*x + c - 0, y + 3*x - 8 = 0 for y.
2
Let f be (-27)/(-18)*(-13)/((-156)/32). Solve 0 = -2*v + 3*p - 23, -f*v + p - 3 - 18 = 0 for v.
-4
Let l = 186 - 182. Solve 0 = -3*k - 3*t + 3, 0*k + 4*k + 12 = l*t for k.
-1
Let x = -6 - -6. Let t be -7 - (-81)/(10 - 1). Solve x = -t*k - 3*k - g - 21, 5*g = -k - 9 for k.
-4
Suppose -p - 1 + 0 = 0. Let q(b) = -b**2 + 35*b - 88. Let h be q(32). Let v be (15 - h)/(p/(-2)). Solve 1 + 15 = -j + 5*r, v = j + 5*r for j.
-1
Suppose 3*a - 2 = -n - 2*a, 2 = n + 4*a. Let u be ((-3)/1)/((-21)/35). Suppose -5*f = -u - 40. Solve -3*i - b - n = f, 2*i - 5*b - 21 = 0 for i.
-2
Suppose -403 = -61*b - 159. Solve -2*u + 4*m + 22 = 0, -u + 5*m + 16 + b = 0 for u.
5
Suppose 0 = a - 6*a. Suppose a*f + 49 = 7*f. Let y be (1 + 3)*f/4. Solve -2*w - 4*m = y + 1, -3*m = w + 8 for w.
4
Suppose 2*d - 4*y = -0*d + 10, -2*d = 2*y + 2. Solve 0 = -b + d - 0, -3*l - 2*b = -2 for l.
0
Let w be 6116/(-154) + 2/14*-2. Let o = w + 44. Solve b + 12 = o*d, -4*b - 4*d = d - 36 for b.
4
Suppose 0*f - 12 = -3*f - 3*g, -2*f + 4*g + 8 = 0. Let v be (10/(-6))/(3/(-9)). Solve 5*y = -f*c + 2*c - v, 1 = -y + 5*c for y.
-1
Let f = -7 + 14. Suppose -f*s = 2*s - 126. Solve -3*c = -2*w + 4*w - s, 2*w + c = 6 for w.
1
Let s = 6 - -22. Suppose -s = -5*j + 2. Solve 0 = 3*o + o - 2*i - 12, -j = 3*i for o.
2
Let u(i) = 38*i - 717. Let c be u(19). Solve 8*k + 15 = c*l + 3*k, -2*k = l for l.
2
Let l = 2234 + -2228. Solve 0 = 3*i + 2*s - 3, l*i = 2*i - 3*s + 4 for i.
1
Let z = 16 + -28. Let b(t) = -t**2 - 14*t - 24. Let k be b(z). Suppose 4*a = x - 5*x + 4, -5*x - 2*a + 17 = k. Solve -3*i = -2*h - 0*h + 1, 4 = i - x*h for i.
-1
Let s = -1711 - -1715. Solve -j - 5*p + 2 = -s, -4*p = -4 for j.
1
Let p(r) = 2*r - 14. Suppose -4*g = 13 + 3. Let s(d) = 2*d - 15. Let y(u) = g*p(u) + 3*s(u). Let z be y(4). Solve 7*l = z*l + 2*b - 12, -3*l - 9 = -4*b for l.
-3
Let k be -3 + 6 + (-3)/(-1). Suppose -7 = -h - k. Let i be -2*h/2 - -5. Solve 2*v = 3*x - 8, x + i*v + 3 = 1 for x.
2
Let t be 2/(6/15 - 0). Suppose -29 = -2*l - s + 26, -t*l = 2*s - 135. Solve -n + l = -8*h + 3*h, -5*n - 15 = 3*h for h.
-5
Let d(w) = w**3 - 4*w**2 + 9*w - 5. Let n be d(2). Solve -25 = 5*t - n*y, 4*t + y = 2*y - 5 for t.
0
Let i be ((-4)/((-24)/6))/((-2)/10). Let t be (2/(-7))/(i/35). Solve -t*s - 3*a - 12 = 0, 3*a = 5*s - a + 7 for s.
-3
Let x(y) = y**3 - 4*y**2 + 5*y - 3. Let s be x(3). Solve -5*j = w + 12, -5*w + 18 + s = -2*j for j.
-3
Let d = -60 + 62. Suppose 0 = -v + 4*v. Suppose v = -0*m + 5*m - 30. Solve k + d*u = -2, k = -k - 2*u - m for k.
-4
Let r be (-5)/10 + 15/(-6). Let g be ((-1)/r)/(1/51). Let b = -16 + g. Solve -s + b = 0, 5*s = -3*y + 7*y - 15 for y.
5
Suppose -a + 2*o = 7*o + 7, -4*a + 2*o = -16. Let w = 5 + 14. Suppose w*l - 45 = 16*l. Solve -x - 8 = -a*c, 4*c + 2*x + x = l for c.
3
Suppose 2*w = -p - 34, -22 = 2*w - p - p. Let s(t) = -t**3 - 16*t**2 - 14*t + 19. Let c be s(w). Solve 2*u = -3*f - 4, 2*f = 6*f - 2*u - c for f.
0
Let d(n) = n**3 + 58*n**2 - n - 54. Let r be d(-58). Solve 4*y = 0, 0 = -5*x + r*y - 1 - 9 for x.
-2
Suppose -5*w + 2 + 68 = z, 3*z - 54 = -3*w. Suppose -4*v = -w + 5. Solve -i + f = 0, -2*i - v*f - 3*f - 7 = 0 for i.
-1
Suppose -3*d = -10 + 4. Let f be -3*(-4)/(d + 2). Solve 4*l - 17 = a, 0 = -f*a - 0 - 15 for l.
3
Let o = 458 + -452. Let n(j) = -6*j - 1. Let c be n(-1). Suppose -v - 2 = -c. Solve 0 = 4*q - a - v*a + 12, -o = 3*q - 2*a for q.
0
Let m(s) = s**3 + 5*s**2 - 8*s + 2. Let b be m(-6). Suppose 0 = b*q - 12*q. Solve 2*x + 2*w - 1 + 5 = q, 0 = 2*x + 3*w + 7 for x.
1
Let x(u) = u**3 - u**2 - 4*u - 4. Let d be x(3). Solve 24 = 3*i + 4*g, 0 = 4*i + d*g - 0*g - 22 for i.
4
Suppose -2*y = 1 + 5, -2*y - 82 = -4*z. Let b = -7 - -10. Suppose -b*n + 28 = n. Solve 0 = -l - 4*x + z, -4*x = -l - n*x + 15 for l.
3
Let c = 270 + -265. Solve 4*x - 3 = -7, c*x = -3*d + 1 for d.
2
Suppose -9*n + 17 = -19. Solve b = -n*a - 5, 0*a - 2*a = -2*b for a.
-1
Let v be (-1)/(-3) - 32/6. Let p = -54 - -57. Let s be (-3)/p*(v + 0). Solve o = 4*w - 2, 0*o + o + s*w - 7 = 0 for o.
2
Let f be (-24)/6 - -4 - -5. Solve 3*q = -o - 2, -f + 1 = 2*o + 4*q for o.
-2
Let h(c) = -c + 1. Let m be h(1). Suppose 5*z - 40 = -m. Solve 2*g + 21 = 5*u, -2*u = 2*g - 3*g - z for u.
5
Suppose f = 2*b - b - 1, -5*f = 0. Let r = b + 1. Suppose -4*a + 3*a - 4*p + 11 = 0, 0 = -2*a + 5*p - 4. Solve -a*i = 2*l - 10 - 1, r*i = -l + 7 for l.
1
Suppose 0*g - 5*g = -6*g. Suppose g = -4*l + i + 24 - 6, -10 = -4*l + 5*i. Let q be 2*3*(-1)/(-2). Solve 5*u = -q*d - 0*d - 2, -3*d - 22 = -l*u for u.
2
Let k(h) = -2*h**3 - 3*h**2 - 6*h - 7. Let b be k(-2). Solve 0 = -3*x + 3*r + b, 2*x - r - 4 = 2*r for x.
5
Suppose 0 = 3*l - 5*o + 19, -2*o + 8 = 3*l - 8. Solve -r - l*r - 15 = -n, 3*r + 15 = -n for n.
0
Let f(b) = 2*b**3 - 42*b**2 - 3*b + 65. Let p be f(21). Solve 4*c + 18 = -y, -11 = 3*y + p*c + 3 for y.
-2
Let a(q) = 3*q - 1. Let v be a(2). Suppose 5*p - 40 = v. Let o be -9*(-6)/p + -3. Solve -2*u + o*r = 11, 5*u - r + 8 = -13 for u.
-4
Let n be 1/(-5) - 64/(-20). Let q be -3 + n + (-8)/1. Let z be q/(1 - 3/1). Solve -i = z*s + 17, -3*s + 4 = i + 17 for s.
-4
Let u be 12*(4 - (-4)/(-3)). Let g(y) = y**2 - 10*y - 7. Let q be g(11). Solve c = 3*h + h - 20, -u = 4*c - q*h for c.
-4
Let n(h) = -h**3 - 9*h**2 - 11*h - 20. Let p be n(-8). Solve -3*s + a + 12 = -6*s, 5*s = p*a - 3 for s.
-3
Suppose 10*y - 13*y = 19*y - 110. Let o be -2*((-9)/(-2) + -2). Let u = o - -8. Solve -y*w + t = 14, -7 = u*w - w + t for w.
-3
Suppose -5*m - 211 - 99 = 0. Let s = -58 - m. Solve 0 = 2*t - 2*o + 10 + 8, 0 = s*t + 3*o + 1 for t.
-4
Let k(p) be the third derivative of p**5/60 + p**4/4 - 5*p**2. Let s be k(-6). Solve -12 = 2*w + o + 3*o, s = -3*w - 4*o - 14 for w.
-2
Let m be 42/12*(-30)/(-21). Let i(g) = -2*g + 23. Let l be i(m). Let w be (6 - 0) + -2 + 0. Solve 3*r + w*k + l = -0*k, -2*r + 18 = -4*k for r.
1
Let g(a) be the second derivative of -a**3/3 - 10*a**2 - 5*a. Let o be g(-11). Solve -5*y + o*v = -0*v - 11, 2*y - 2*v - 8 = 0 for y.
1
Suppose 0 = 2*s + 5*g - 18, 5*s + 10 = -4*g + 55. Let q be 2*s/(-12)*(-26)/3. Solve 2*f = 4*x - f + 16, -2*f + q = -5*x for x.
-1
Suppose -54*w = -23*w - 25*w. Solve -2*i - 2*i = w, 0 = o - 5*i + 4 for o.
-4
Suppose 0*s - 5 = -5*s, -4*i = -2*s - 10. Suppose 0 + 5 = -5*p + 2*m, -2*p - 3*m - 21 = 0. Let n = 5 + p. Solve 3*j + n