 = 11, 0 = n*f - 0*f - 4*m - 18. Solve -p - f*y + 0 = -6, 4*y - 20 = 3*p for p.
-4
Let m be (805/(-700) + 2/(-20))*-4. Solve 3*h = -2*i + 5, -7*h + 9*h + 3 = m*i for i.
1
Let c be (-1)/(-4) - 945/(-60). Suppose -5*l + c = -l. Solve -5*p = -i + 20, -l*i + 2*p + 0*p = 10 for i.
-5
Suppose 94 = 29*y - 51. Solve -2*l = -5*x - 18, 0 = y*l - x - 0 + 1 for l.
-1
Let c(h) be the first derivative of -h**3/3 + h**2 + 19*h - 2. Let f be c(0). Solve 2*d - f = -3*n, 4*d + 3*n - 29 = -0*n for d.
5
Let o(b) = -b**2 - 14*b - 29. Let s be o(-11). Suppose -2*r + 2*u = -3*r + 23, 0 = 5*r - s*u - 59. Solve 5*i = -3*g + 4, -2*g + 1 - r = -5*i for i.
2
Suppose 0 = f - 14 - 12. Suppose -4*y - 2*r = -132, r - f = -y + 9. Let v = 51 - 31. Solve 5*b + v = 0, i = -2*i - 4*b - y for i.
-5
Suppose -28 + 40 = 4*v. Solve -2*b - 3 = b - 4*h, 3*b + v = -h for b.
-1
Let y be -1 + 3 - (-15 + 4). Let l = 15 - y. Suppose -3*w = l*d - 13, -5*w + 6*d = 2*d - 7. Solve 0 = -m - i + w*i - 2, -5*m - 5*i = 25 for m.
-4
Let g(i) = -4*i + 2*i + 4*i - i**3 - i**2 + 4 + 0*i. Let k be g(0). Solve 0*b + 2*b - k*p = -26, 5*p = 20 for b.
-5
Let j(f) = 3*f**3 + 17*f**2 - 7*f - 5. Let p be j(-6). Suppose 0 = -5*i + 4*i + p. Solve -4*q = -3*n + 4, i = 3*n + q + 2 for n.
0
Let b(c) = c**2 + c + 2. Let z be b(-2). Suppose 0 = z*v + 24 + 4. Let y be 2/v + (-32)/(-14). Solve 5*a - 2*u + 11 = 0, 4*a - 3*u + y*u + 7 = 0 for a.
-1
Suppose 152*y = 158*y - 18. Solve -5*s + s + 5 = -x, y*s - 4*x = 20 for s.
0
Let i(t) = -t**2 - 4*t + 23. Let b be i(-6). Let h be b - (-1)/(2 - (-15)/(-6)). Solve 0*q - 4*q = -5*r - h, 3 = -q - 4*r for q.
1
Suppose 17*a + 26 = 4*a. Let x be 18/36 - 5/a. Let q = -2 - -2. Solve x = -z - 2*w - q*w, -5*z - 3*w = -13 for z.
5
Suppose 0 = 4*j - 173 - 67. Let t be (14/6 - -1)*j/20. Solve v + 5 = o, 2*v - 5*o + o + t = 0 for v.
-5
Let p(l) = -2*l**2 + 1. Let g be p(0). Solve 3*d = -2*d - 4*k - 19, d + g = 2*k for d.
-3
Let c(y) = 2*y**2 + 2*y + 1. Let g be c(-2). Solve 0 = -3*s - 0*r - 4*r - 27, 0 = g*s - 3*r + 16 for s.
-5
Let t = -67 + 71. Solve 5*o - 10 = 5*g, -2*o = -t*g - 4 - 6 for o.
-1
Let v be 0 + 3 - 0/2. Suppose -c + 35 = 6*c. Suppose 0 = c*r - 0*r + l - 20, 0 = -2*l. Solve 5*p - r = -d - 31, -v*d = -4*p - 14 for p.
-5
Suppose -3*a - 1 = l, -16 = 3*a + a + 5*l. Let c be -1*2 + a/((-1)/(-2)). Solve c = -5*h - 2*y, 5*h - 39 + 9 = 4*y for h.
2
Suppose -y + 4*y - 6 = 0. Let k be (-70)/245 + 60/14. Solve -2*h - k*g - 3 = 11, -5*h - 11 = -y*g for h.
-3
Let n(r) = r + 9. Let i be n(0). Suppose 0 = 14*j - 99 + 1. Suppose 0 = -b + 3*d + 4 + j, 0 = -3*b + d + i. Solve -b*t - 4*a + 14 = 0, 3*t = 2*a + 21 - 8 for t.
5
Let t = -5 + 14. Let y(m) = -m**2 + 8*m + 9. Let i be y(t). Suppose -n + 5 = -i*n. Solve -5*u - 29 = 2*z - n*z, 4*z = -4*u - 4 for u.
-4
Suppose 36*j = -74 + 254. Solve -29 = j*g + t - 6, 0 = -2*g + t - 12 for g.
-5
Suppose 3*b + 5*i - 2*i = -9, -b + 12 = -4*i. Suppose b = 3*a + 1 + 8, 0 = 4*h - 2*a - 6. Solve -2*g + 4*l = 18, -4*g + 3*l - 10 - 6 = h for g.
-1
Let k(i) = -i**3 + 9*i**2 - 6*i - 7. Let c be k(8). Suppose -2*u - u = -c. Suppose 2*s - 11 - 3 = 0. Solve 3*b - s = -2*m, -u*b = -b - 10 for m.
-4
Suppose 0 = 6*i - 33*i. Solve -4*c - 3*l - 20 = i, 2*c + l + 10 = -c for c.
-2
Let s(j) = -j**3 - 6*j**2 - 7*j - 5. Let g be s(-5). Let w = -3 + -1. Let p = g - w. Solve -p = 4*a + 5*z, -z = -3*a + z + 22 for a.
4
Let g(v) = -7*v + 1 + 7*v - 2 - 4*v. Let a be g(-1). Solve 5*r - 4*o - 15 = 0, 0*o = a*o for r.
3
Let v(o) be the first derivative of -o**2 - 7*o - 2. Let j be v(-6). Let u = j - 3. Solve u*h - 6 = 4*t, 0 = t + 3*t - 4*h for t.
-3
Let v = -28 + 60. Let o be ((-4)/6)/(v/(-144)). Solve -o*k + 4*l = 5*l - 5, -5*k = -l - 3 for k.
1
Suppose 3*u + 22 = -s, s - 6 + 1 = 0. Suppose -742 = 6*w - 718. Let b = w - u. Solve -9 = 3*g - 3*i - 0, -b*g + 4*i - 14 = 0 for g.
-2
Suppose 0 = o + 5*q + 3, o + 3*q - 1 = -0. Let f(m) = -3*m + 1 + 3*m**2 + 0*m + 1. Let t be f(2). Solve -5*u + 5 + o = s, 0 = -4*s + t for u.
2
Let v(s) = -s**3 + 10*s**2 - 6*s - 13. Let q be v(6). Suppose -14*h = -q + 25. Solve 1 = -4*z + 5, -9 = h*j + z for j.
-2
Let y(v) = v**3 - 16*v**2 - 37*v + 23. Let k be y(18). Solve k*l + 4*c - 5 = 0, -4*l + 2*c = -7 + 3 for l.
1
Let m be 1 - -2 - (-2 - -1). Suppose 11 + m = 5*d. Solve -4*g - d*f = 20, 3*g + 0*f + 22 = -4*f for g.
-2
Let a be (-4)/(-1)*(-4)/(-8). Let c be 2 + a*3/6. Solve b - 4 = 4*q, -4*q - 7 = 5*b - c for q.
-1
Suppose 0 = -76*g - 19*g + 285. Solve -2*q + 14 = 4*x, -g*x + 3*q - 38 = -26 for x.
1
Let w be (-1764)/(-54) + -1 + 2/6. Let r = w + -21. Solve 5*x + 4*l - 3*l = 19, 2*x - 3*l = r for x.
4
Let m be (-2)/(-3) + (195/(-9))/(-5). Solve 5*k - j - 24 = -2*j, m*j = -2*k + 5 for k.
5
Suppose 9*t - 22*t = -26. Solve -2*h - h - l = -19, t*h - 14 = -l for h.
5
Let z be 56/(-10) + (-2)/5. Let u = -4 - z. Solve 0 = -0*y + 2*y - 2*d + u, 0 = y + 3*d + 9 for y.
-3
Let v(c) = -2*c - 4. Let h be v(-3). Suppose t + 25 = -2*j + 4*j, 2*j + h*t = 40. Solve 0 = -2*b - 3*a - j, 4*a + 10 = -2*b - 8 for b.
-3
Let h(c) = c - 15. Let s be h(18). Suppose -o - 2*q + 2 = 6, 28 = s*o - 4*q. Solve -3*n + 5*n + 2*m = o, 0 = -5*n - 4*m + 6 for n.
-2
Let u(z) = 2*z**3 - z**2 + 4*z - 4. Let q be u(2). Solve 0 = -4*n - 4*p + 2*p - q, -5*n - 5*p = 25 for n.
-3
Let c(u) = u**3 - 2*u**2 - 16*u + 34. Let q be c(2). Solve -q*h - 35 = -5*x, 2*h + 8*x = 5*x + 5 for h.
-5
Let w = 1572 - 1567. Solve w*n = s + 10 + 5, -2*n = -5*s - 6 for n.
3
Let x = 297 - 292. Solve 3*n + 18 - 4 = -4*o, -3*o - 5 = x*n for o.
-5
Let y(j) = -7*j + 57. Let z be y(8). Solve 4*b - m - 2 - z = 0, -b + 5*m - 23 = 0 for b.
2
Suppose 0 = 7*y + 32 - 39. Solve -3*k + 4*h + y = -4, 0 = -5*h - 10 for k.
-1
Let r(x) = x**3 - x**2 - 2*x + 66. Let d be r(0). Let i be (-2)/10 + d/30. Suppose i*m + 6 = 5*m. Solve -m*q + c = 13, q - 2 - 5 = -4*c for q.
-5
Let z be 2*-3 - (-15 + -6). Solve -p - 3*q + 0 = -z, 2*q - 8 = 0 for p.
3
Suppose 56 = 11*s - 4*s. Let k(m) = m - 6. Let y be k(s). Solve -3*d + 2*q = 2, -y*q = -2*d + 3*q - 5 for d.
0
Let q be (-4)/(-10) - 33/(-5). Suppose -36 = -3*h - p - 3*p, 0 = 2*h - p - 13. Let t = h + 2. Solve t = -5*m - 5*v, -v - 3 - q = -3*m for m.
2
Let c = 388 - 386. Solve -d + 5*o = 3, -c*d + 5*o = 2*o + 6 for d.
-3
Suppose 10 = 2*u - 0*u. Suppose d + 2*d - 29 = -u*z, -d = -z + 1. Solve 0 = d*j - 5*m - 6 - 3, 4*j = -4*m - 20 for j.
-2
Let d = 35 + -32. Suppose 3*n + 0 = 2*r - 7, 3*r - 15 = d*n. Solve u = -2*w + 5*w + r, 5*w + 25 = 4*u for u.
5
Let a be ((-20)/70)/1*-7. Let m be 2/10 + 87/15. Solve 6 = -4*g + a*p, 2*p + 17 = -3*g + m*p for g.
1
Suppose -2*s - 6 = -u, -12 = 4*u + 4*s - 0*s. Solve u = 2*p + j - 3*j - 6, 5*p + j - 21 = 0 for p.
4
Let a(d) = d**2 + 2. Let g be a(-5). Let n(x) = -x**2 + 4*x + 3. Let b be n(5). Let h = 2 - b. Solve -4*y - 2*v + g = 1, -5*v + 41 = h*y for y.
4
Suppose 0 = 4*z + 6*z - 90. Suppose -3*o - o = -3*n - z, -o + 5 = 2*n. Solve -g = 4*u - 2, -7 = 5*u - o*g - 1 for u.
0
Suppose -4*x + 21 - 1 = 0. Let l be (28/(-20))/(x/(-25)). Solve 2*g + c = l*g - 6, -3*g = 2*c - 1 for g.
1
Let b = -16 - -18. Let v be 8/b - (-3 - (1 + 11)). Let l be ((-4)/3)/(4/(-6)). Solve p + u = 3*p - 8, -5*p + l*u = -v for p.
3
Let c = -19 - -25. Let d be (39/c)/(1/(-2)). Let r = d + 18. Solve 0 = 2*g - r*g + 4*x + 1, -4*g + x = -10 for g.
3
Let i(a) = a**2 + 4*a + 6. Let t be i(-2). Suppose -6 = -r + 5. Suppose -t*y = -r + 1. Solve -8*j - 5*v = -4*j - 6, y*j - 2*v = -9 for j.
-1
Let k(t) = t**2 - 5*t + 3. Suppose 0 = -3*f - 3*a, -5*f = 2*a - 0*a. Suppose 5*b - 34 + 9 = f. Let v be k(b). Solve 2*l - o = 4*l + 9, v*l - o + 16 = 0 for l.
-5
Let g be (-24)/(-1) - (-2)/1. Let y(l) = -l**2 + 7*l + 8. Let w be y(8). Let m be 3 - (w - (2 + 1)). Solve -5*k + r = -g, k + 2*r - m = 3*r for k.
5
Suppose 14 + 1 = -3*m - 5*q, 2*m + 3*q + 9 = 0. Solve 5*g - 2*z = -m*g - 6, 3*g + 3*z = 9 for g.
0
Suppose -3*y + 40 = 10. Suppose 51*x - 53*x + y = 0. Solve x*h = -5*g + 30, 0 = 4*h - 5*g - 11 + 32 for h.
1
Let f be 1 + (-3)/9*3. Let k(y) = 2*y**2 + 2*y + 33. Let i be k(f). Solve 2*v = 5*a - 0*v + i, -5*a - 3*v = 13 for a.
-5
Let y = 74 + -64. Suppose y*n - 5*n - 10 = 0. Solve -n*d + 5*v = 13, -3*v = -3*d - 1 - 5 for d.
1
Let z = -67 + 94. Let v = 46 - z. Solve 5*r = -3*f - v, 0*r - r = -2*f + 9 fo