f - p = a - 1, -2*f - 11 = a for a.
-5
Let a(d) = -d + 3. Let q be a(-4). Let c(y) = -y**2 - 11 + y**2 - y**2 + 2 + 10*y. Let w be c(q). Solve 5*v = -3*m + 12, -5*v = -3*m - 0 + w for v.
0
Suppose -7*f + 3*f + 16 = 0. Suppose 3*a + g - 2 = -3*g, -4*g = f. Suppose 3*h = 2*q - 7, 0*h - 2*h = 5*q - 27. Solve 0*m + p = a*m - 4, -4*m - q*p = -22 for m.
3
Let t(x) = -x + 7. Let g be t(6). Suppose 4*i + 5 = -3*y + g, -5*i = 4*y + 6. Solve -4*v = 2*c - 6, -3*c - i = -5*c for v.
1
Let f(h) = -h**3 + 4*h + 3. Let g be f(-1). Solve 3*i - 4*m - 1 = g, -4*i - 4*m + 9*m = -1 for i.
-1
Suppose -9*w = -6*w. Let b be 2*-1 - (-42 - 0). Let p(q) = 4*q**2 - 2*q + 1. Let h be p(1). Solve 0 = -w*a - 2*a - 3*l - 25, -b = 5*a + h*l for a.
-5
Suppose 150 = -5*d - 150. Let q be 18/15*d/(-9). Let b(t) = -9*t + 1. Let u be b(-1). Solve u = 2*c - 2*w - 0*w, 4*w = -q for c.
3
Suppose 0 = -3*s + 5*s - 6. Let b be ((-3)/(-2))/(6/(-8)). Let d be (1/(-2))/(b/40). Solve 0 = 5*j + d, -j - s*j = 3*w + 14 for w.
-2
Let x(y) = -y**3 + 5*y**2 - y - 4. Let z be x(4). Let p(w) = z*w - 3*w + 11 - 4*w. Let g be p(-8). Solve -2*f = -g*s - f + 1, -f = -4*s for s.
-1
Suppose -5*s + 6 = -4*b, 0 = 4*b - 6*s + 3*s + 2. Solve 2*f - 3*f = -p - b, -4*f = -2*p for f.
-1
Suppose r - 3 = -0. Solve u = -r*p - 3, -3*p = -0*p + 6 for u.
3
Suppose 2 = v - 1. Suppose -4*z - 27 = -v*p, -3*z + 3 = 4*p - 8. Solve -d - 10 = 3*l, 3*l + 12 = -p*d - 2 for l.
-3
Let t = 1 - -4. Let p be (-20)/(-3)*(-9)/(-6). Let q = p - t. Solve -4*r - 18 = -2*u, -2*r - q*u + 4 = 19 for r.
-5
Let b(s) = 4*s**2 + 6*s + 1. Let t be b(-2). Solve 5*x + 1 + 1 = -3*f, t*x = f - 6 for x.
-1
Let c be 115/15 + 2/(-3). Let q = c - 3. Solve 0*g + 8 = 4*g, -4*h - 4*g = q for h.
-3
Let q = 44 - 21. Let c = 49 - q. Solve 6 = j + 3*z + 21, 0 = -2*j - 5*z - c for j.
-3
Let k = -9 + 23. Let q be 32/k - 6/21. Solve 3*m + 2*d - 7 = 2*m, 6 = q*d for m.
1
Suppose k - 5 = 1. Let w = k + -4. Let f be (-32)/(-12) - (-8)/(-12). Solve -12 = -2*c + 2*r, 4 = -3*c - f*r + w for c.
2
Let j(i) = -4*i - 16. Let s be j(-5). Solve 51 = 5*d + s*p + 11, 5 = 5*d - 3*p for d.
4
Let q = -142 - -144. Solve 0*u - 5*u = -q*l - 19, 5*u - l - 22 = 0 for u.
5
Suppose 0 = 5*g + 5*h, h - 3 = -3*g + 3. Suppose c + 3*c = 5*k - 44, -2*c - g*k = 0. Let l be (6/(-4))/(c/8). Solve -4*m - l*u + 9 - 1 = 0, 5*u = -5*m for m.
4
Suppose 41 = 2*h + x, x + 22 = -3*h + 85. Let j be h/6 - (-5)/15. Let q be j/(-10) - (-2)/5. Solve 0 = 5*r - 6*g + g, 4*r + g + 10 = q for r.
-2
Let s(k) = -9*k - 7. Let q be s(-3). Suppose 2*x + q = 6*x. Solve -4*v = -4*g - 12, 0 = -x*v + 3*g - 2*g + 19 for v.
4
Let m be ((-3)/(-6) + -2)*-2. Solve 3*o + 1 = s - 2, 3 = -s - m*o for s.
0
Let b = 6 - 2. Solve 0 = b*s + 12, 2*d = -0*s - 5*s - 11 for d.
2
Suppose 9*x = 3*x + 60. Let c be x/(-2)*12/(-15). Solve c*n + 2*k = -2, 0 = -4*n - 3*k - 0 - 3 for n.
0
Let g(f) = 4*f**2 - f - 1. Let w be g(-1). Suppose 5*d + 2 = -2*b, -b + 0 + 4 = 0. Let l be (-2)/(3 + d) - -6. Solve -k - 10 = 4*k, w*v - l*k = 4 for v.
-1
Let b(w) = -w + 6. Let g be b(6). Solve -5*d - 2 = 4*q, -3*q + 0*d - 3*d = g for q.
2
Suppose -a + 4 = -0*a. Suppose 1 = f - 3*g, -8 = f - 2*f - a*g. Solve 3*q + 2*p = -3, 2*q + p + 2 = -f*p for q.
-1
Suppose 5 = 2*t - 2*a - 17, -5*a = -4*t + 49. Let x = t - 1. Solve 0 = x*h - 2*j - j + 12, -5*j - 20 = 5*h for h.
-3
Let d be (1 - 4)/(8/(-8)). Let f be ((-6)/(-9))/((-2)/(-12)). Solve -p - 3*p + d*s = -5, 0 = f*p - s - 15 for p.
5
Let m(s) = -s**3 + 7*s**2 + 12*s - 12. Let h be m(8). Suppose 0 = -5*w - 0*w + h. Solve 5*q - b = -0*b + 8, 6 = w*q - b for q.
2
Let v = -4 + 4. Suppose v*h - 2*h + 8 = 0. Solve -s - 5 = -3*g + 1, g - 13 = h*s for g.
1
Suppose 2*m + 4*r - 6 = 3*r, 0 = -4*m - 4*r + 16. Suppose 0 = l - 5*l. Suppose m*f + 0*f = l. Solve -z - 7*v + 3*v + 11 = f, 2*z + 30 = 5*v for z.
-5
Let d = -2 + 10. Solve 2*i + 2*j = d, 7 + 3 = 5*i + 3*j for i.
-1
Let z = 3 - 8. Let s = z - -5. Solve s = -2*m - 6, 0*k = -3*k + m + 12 for k.
3
Suppose u - 4*g + 6*g + 10 = 0, -u + 2*g = -10. Suppose h - 6*h = u. Solve 5*i - m + 14 = h, -3*i + 13 = -8*i + 2*m for i.
-3
Let b be (1 + 2)*6/(-9). Let x = b - -5. Solve -x*f = 2*m + 2 - 1, 2*m - 3*f = 5 for m.
1
Suppose 0 = c - 10. Let k be (-2)/(-6) - c/3. Let a(t) = t**3 + 4*t**2 + t - 3. Let x be a(k). Solve -4*f + 7*f = 3*d - 21, d + x*f = -13 for d.
2
Suppose -3*s = -1 - 2. Let l be -1*s/2*0. Let b be (l - 1)/((-5)/25). Solve 3*t - b*r = -20, -2*t + 5*r = 2*r + 13 for t.
-5
Let r(k) = k + 3 - k**3 + 11 - 2. Let v be r(0). Suppose 4*o + 0 = v. Solve -5*q + 20 = 0, 2*u + o*q - q = 14 for u.
3
Suppose i - 9 = -i + 3*g, -i + 6 = -3*g. Solve 1 - 6 = i*w - s, -2*w - s = 0 for w.
-1
Let l be ((-2)/4)/((-1)/8). Let r(k) = -3*k**2 - 2*k - 1. Let o be r(-1). Let j be ((-2)/5)/(o/20). Solve l*t + t - 3 = -m, 3*m = -j*t - 2 for t.
1
Let o = 40 + -23. Solve 9 = -y - p, 2*y + o = -y - p for y.
-4
Let z(b) = b**2 - 5*b - 5. Let p be z(7). Suppose -6 - p = -5*d. Solve 2*f = d*f + 5*o - 29, -5*f = o - 25 for f.
4
Let l be (1/(-1) + 1)/(45/(-15)). Solve l = -5*k + 10, -2*h + 1 + 17 = 4*k for h.
5
Let l = 76 + -74. Solve 2*j = -j - l*o + 8, o - 4 = j for j.
0
Let b(z) = z**3 - 13*z**2 + 13*z - 10. Let a be b(12). Solve -a*f - 3*h = -9, 5*h - 48 = 5*f - 8 for f.
-3
Let l(v) = -6*v + 3. Suppose -i + 3*i - 4 = 0. Let u be l(i). Let m = 11 + u. Solve 2*g = 5*f - 10, g - 5 = m*g - f for g.
-5
Suppose 5*n + 0 - 10 = 0. Suppose 5*b - 5 = n*s, -22 = -3*b - b - 2*s. Solve 2*h - 4*q = 18, 0 = 2*q + 3 + b for h.
3
Let h(l) = -85*l + 11. Let k(r) = -43*r + 6. Let n(x) = 6*h(x) - 11*k(x). Let g be n(-1). Let o = g + -17. Solve c = 4*q - 3*c - o, 11 = 2*q - 3*c for q.
4
Suppose 0 = -0*y + y + j - 6, -j - 4 = -y. Solve 5*p + y = 4*k - 17, -k = -2*p - 7 for p.
-2
Suppose -2*t = -3*t + 5. Solve -3*z + z - t*n = -30, 20 = 5*n for z.
5
Suppose -9*v - 34 = -11*v. Let x = 8 - 4. Suppose -p - 2*y + 9 = 0, -v - x = -4*p - 3*y. Solve 1 = -5*t + a + p, -3*t + 5*a - 12 = 0 for t.
1
Let t = 10 + -15. Let x be (-2)/5 - 22/t. Suppose 9*g - 5*k + 5 = x*g, 0 = -g - k + 7. Solve g*d = -6*c + c, -c + 8 = -d for c.
3
Let q be 36/16*16/(-6). Let n(a) be the third derivative of a**4/24 + 5*a**3/3 + 2*a**2. Let d be n(q). Solve -5*c + 5*z = -20, d*z + 15 + 1 = -c for c.
0
Suppose -5*i = 25, 0 = -f + 4*i + i + 15. Let z = 18 + f. Let g = z + -5. Solve 5*j - 3*u + 3 = -8, 0 = -3*j - g*u + 3 for j.
-1
Suppose 3*r - 7 = 2. Solve 5*i - 3*h = h + 4, -r*i + 4*h = 4 for i.
4
Let d be (16/12)/((-2)/(-3)). Solve -d*q = -0*q + 3*g + 17, -3*g - 16 = q for q.
-1
Let r(f) = f**3 + 2*f**2 - 5*f - 4. Let m be (0 + -1)*(6 + -3). Let d be r(m). Solve -10 = -2*t - 0*t, t = -d*u + 13 for u.
4
Let t = 140 - 125. Solve -2*a + 5 = -5*a - 4*c, 5*c = -2*a - t for a.
5
Let t = 4 + -6. Let f(k) = 2*k**2 + 3*k + 3. Let b be f(t). Let a be -18*(b/2)/(-5). Solve 2*c - 4*q + 8 = 0, 4*c - a = -3*q + 8 for c.
2
Let a = 10 - 5. Suppose 0 = -3*z - 0*z + 12. Solve 3*w - 5*h = -a, z*h = w - 0*w - 3 for w.
-5
Let z(l) = 2*l**2 + l - 1. Let c(u) = u**3 + 3*u**2 - u - 2. Let k be c(-3). Let g be z(k). Let a = 7 - 7. Solve -2*s - v + 5 = 0, a = s + g*v + v for s.
3
Let i be (0 - 0)*(-9)/(-27). Solve 2*v + 4*u + 8 = i, -v + 4 = -2*v - 5*u for v.
-4
Suppose -2*m = 2*s - 22, 4*s = -6 + 2. Suppose a + 2*d = -a + 12, -4*a - d + m = 0. Solve -h = -a*k - k + 8, 0 = -3*h + 3*k - 12 for h.
-2
Let a be 4/(-20) - (-48)/15. Solve -a*i = 5*y + 4, -y - 10 = -2*i + 2*y for i.
2
Let f be (-1)/3 - 22/(-3). Let o(y) = -y + 13. Let c be o(f). Solve c*n + 7 = -4*d + n, -2*d = -n - 7 for d.
2
Suppose 4*x + 5*i - 30 = 0, -10 = -2*x - 2*x + 5*i. Solve 16 = -3*h + 7*h + 2*b, 5*h = -x*b + 25 for h.
3
Let z = 2 + 0. Let v(m) = -4*m + 3. Let f be v(z). Let g = -3 - f. Solve -3*l + 3*t = -t - 29, g*t = -l - 7 for l.
3
Let s be 6/8 + 32/128. Solve 2*q + 3*t - s = -0, -q + 4 = 5*t for q.
-1
Suppose 5*p - 2 = 18. Let i(q) = 2*q**2 - 4 - 4*q + 4 - q**2 + 5. Let a be i(p). Solve 2*f + 31 = -0*f - a*k, -4*k - 35 = 5*f for f.
-3
Let g(a) = -a + 7. Let u be g(6). Let x be 1/(3/6*u). Let y be (-4)/x + -1 + 7. Solve l - 1 = -0*l - 5*d, 4 = y*l - 5*d for l.
1
Suppose -5*k = -20, -5*r + 20 + 4 = k. Solve -8 = 5*l - u, u = l + r - 0 for l.
-1
Let m(f) = f + 3. Let x be m(-5). Let i be 175/10 - x/(-4)