 + 18 = v for z.
5
Let q = 12 + -9. Let b = q - 1. Solve 3*c - g = -c - b, 0 = 5*g + 10 for c.
-1
Let v be -3 + 0 - (17 + -25). Solve i - 14 = 5*h, -14 = -2*h - v*i + 2 for h.
-2
Let u(z) = -z + 14. Let d be u(9). Solve 8*p = 5*p - d*a + 37, a - 21 = -4*p for p.
4
Let h be (3 - -3)/(0 + 2). Solve -2*w = 4, h*o + 1 = w + 3 for o.
0
Let x = -2 - -7. Let p be (-2)/8 - (-21)/4. Solve 0 = -f - 2*s - 5, -p*s + 0*s + x = -f for f.
-5
Let q(x) = x**2 + 11*x + 8. Let f be q(-10). Let o(n) = -2*n**3 - 3*n**2. Let k be o(f). Solve -2*l = -2, -2*c + 10 = -k*c + 4*l for c.
-3
Let w = 6 - -2. Suppose u + 3*t = -w, 5*u + 0*t - 12 = -2*t. Solve 4*r - 3*y - 11 = -0*y, 4*r + u*y = 32 for r.
5
Suppose 2*h + n = -0*h + 9, -2*n = -4*h + 22. Solve 4 = -h*l + 9, -5 = w - 5*l for w.
0
Suppose 21 = -4*n + 61. Solve -2*b = -d - 2, b - 13 = -5*d + n for b.
3
Let h(o) = 2*o + 12. Let r be h(-9). Let x be r/9 - (-8)/3. Solve -x*z = -3*k - 0 + 12, k - 4 = -4*z for z.
0
Suppose 0 = -3*i + 4*f + 21, -4*i - 5*f - 1 - 2 = 0. Suppose -i*c = c. Let j = 11 + -8. Solve -3*h + 5*l = 0, -2*h - h - j*l - 24 = c for h.
-5
Suppose 3*v + 31 = -2*h, 2*v = 5*h + 5*v + 73. Let l = -9 - h. Solve 2*p - 2 = -4*x, 0*p + 4*x = -l*p - 1 for p.
-1
Suppose -r - 5 = -2. Suppose 9*v = 5*v - 4. Let b = v - r. Solve -2*g = 3*d - 2, -b*g + 2*d = 4*d for g.
-2
Let n = -15 - -17. Suppose 4*x + s + 2*s - 58 = 0, n*s = -3*x + 44. Solve t - 5*p = -3*p + 2, -5*t - 3*p - x = 0 for t.
-2
Suppose 0 = 10*v - 13*v + 12. Solve -q - 9 = 4*h, -6*h + 2*h = v*q + 24 for q.
-5
Suppose -2*s = 3*l - 12 - 7, -2*l = -2*s + 44. Solve u - s = 3*p, -2*p - 3*u = -6*u + 23 for p.
-4
Let i = 23 + -11. Let d be (-8)/(-48) + 58/i. Solve l = -4*g + d*g + 7, -l = -2 for g.
-5
Let t be 0 - 2/6 - (-104)/24. Solve 5*m + t*g - g = -3, 0 = m + 4*g - 13 for m.
-3
Let i = 72 + -68. Solve -y + 8 = s, i*y + 0*y + s = 17 for y.
3
Let n = -223 + 227. Let b = 18 + -2. Solve 4*a - b = -r + 8, r - n = 0 for a.
5
Let h(d) = 0 - 3*d + 0 + 2*d. Let v be 2/(-4) - (-2)/4. Let m be h(v). Solve -23 = -t + 5*j, -2*j + 4 + m = 4*t for t.
3
Let p(m) = 6*m - 1. Let t be p(1). Suppose t*h = -5*s + 140, 160 = 5*s - 6*h + h. Solve -5*y = 5*k + s, -2*y - 15 = 3*k - 0*y for k.
-3
Suppose -4*m + 0*m = 2*z + 6, -20 = -4*z. Let j = m - 8. Let l = j - -20. Solve -3*q + q - d = 14, 2*d = -l for q.
-5
Let s(l) = 5*l**3 - 2*l**2 + 11*l - 9. Let t be s(1). Suppose 2*c + 16 + 3 = 3*q, 5*q = 4*c + 35. Solve -t*z - 7 = -q*v, 3*z + 6*v = 4*v + 11 for z.
1
Let t(k) = 2*k**2 + 4*k + 4. Let r be t(4). Let z be (r/(-16) + 2)*-4. Solve -5*f - 3*s - 5 = 0, -f = s - z + 4 for f.
-4
Let h(l) = l**3 + 11*l**2 - 29*l - 39. Let x be h(-13). Let f = -3 + 6. Suppose -f*j + 12 = j. Solve n - p - 9 = x, p = n - 3*n + j for n.
4
Let o(f) = -f**3 - 5*f**2 - 4*f - 5. Let i be o(-5). Suppose d + 5 = i. Let q(b) = b**3 + 2. Let g be q(0). Solve -3*a - g*r = -2*a - d, 15 = a + 3*r for a.
0
Let g = 24 - 17. Solve -q = 2 + 2, h = 3*q + g for h.
-5
Let n(r) = -r + 3. Let y be n(3). Solve i + 2*s + 1 = y, -2*i + 0 = 3*s - 1 for i.
5
Let o(r) = -1 + 0*r**2 + 3*r + r**2 - 4*r. Let u be o(0). Let m be ((-2)/(6/9))/u. Solve 0 = m*t - 2*j + 3, 0 = 2*t - 0*t - 2*j + 4 for t.
1
Let c(d) = -5 + 8 + 2*d - d + 0*d. Let w be c(-3). Solve 4*p - 4*f = -28, 0 = -w*p + 3*p - 2*f + 19 for p.
-5
Let t = 18 - 13. Let v(w) be the third derivative of -w**5/60 + 7*w**4/24 - w**3/3 + 2*w**2. Let b be v(6). Solve 0*i + b*o = -i - t, -5 = i - 5*o for i.
-5
Let j(a) = -4*a. Let f be j(3). Let p be 46/4 + (-6)/f. Solve -g = -v - 3, 2*v = -2*g - 2 - p for g.
-2
Let o be 2/(4/2)*2. Let z be (2 - 0)*7/7. Solve o*h + d + 4 = -2, z*d - 20 = 4*h for h.
-4
Let t(u) = -u**3 - 7*u**2 + 9*u + 10. Let c be t(-8). Solve 2*r = 3*r + 4, 6 = c*v - 2*r for v.
-1
Let k be 35 - (5 - 8 - (-2 - 1)). Solve -y - 3 = -0*y - 2*w, 5*w - k = -3*y for y.
5
Let h(g) = -g**3 - 7*g**2 - 7*g - 1. Let p be h(-6). Suppose -5 - 8 = -p*n + 2*i, -3*n + 2*i + 7 = 0. Solve 5*q - 16 = -2*u + u, -24 = n*u - 3*q for u.
-4
Let s(j) = -j**3 - 11*j**2 + 11*j - 4. Let k be s(-12). Let i = k + -6. Solve 2*p + 0*o + 10 = i*o, 0 = o - 5 for p.
0
Suppose -19 = -j - 4*g, 5*g - 7 = -2. Suppose -j = -2*h - h. Solve 4*w - 4 = 2*s, -5 = 2*s - 3*s - h*w for s.
0
Let b(a) = 4*a + 7. Let k(v) = -v - 1. Let g(c) = -b(c) - 5*k(c). Let s be (-4)/5*60/(-8). Let q be g(s). Solve -6*m + 3*m + 8 = -j, 2*m = -q*j + 10 for j.
1
Suppose 0 = -9*f + 4*f + 5. Suppose -f - 9 = -5*h. Solve 5*s + 4*l = -17, -s - 7 = -h*l + l for s.
-5
Let k = 7 + -3. Solve -5*r - 15 = k*g, -r - 2*g = r + 8 for r.
1
Let h(z) = 6*z**2 - 2*z. Let b be h(2). Let g(w) = w**3 + 3*w**2 - 3*w - 4. Let r be g(-3). Solve 4*s + s = 3*n + b, -s = -r*n - 26 for s.
1
Suppose -5*b - 25 - 10 = -5*p, 0 = -3*b - 12. Solve -4*h + p*a + 3 = -2*a, 2*a + 2 = 2*h for h.
2
Suppose 5*n - 24 = -4. Solve 3*c - q - n = 0, c - 2 = -c + q for c.
2
Suppose -4*j + 0*j = -20. Solve 3*g + 24 = j*h, -2*h = -g + 2*h - 15 for g.
-3
Let a = -1 + 3. Suppose 5*j = -2*j + 182. Suppose 2*b + 3*f = 1, j = 2*b + a*b - 2*f. Solve 14 = -d + 3*q, -2*d - 22 - 3 = -b*q for d.
-5
Let o be 4/(-12) + 2/6. Suppose 0 = -c + 3*c - 54. Suppose 2*d - 3*d = -c. Solve -4*g - d = 5*m - 12, g = o for m.
-3
Let i be 3 + -2 + (-2 - -4). Suppose -a = 2*n - 2*a - 9, 0 = 5*n - 3*a - 21. Let q = 14 - n. Solve -4*j = -3*c + 20, 3*c - 2 = i*j - q*j for j.
-2
Let y = 7 + -7. Suppose 0 = -u - 2*u - 9. Let t be 1*((-9)/u - y). Solve -4*h = -3*h + t*o - 4, -4*h + 16 = 3*o for h.
4
Let d(j) = j**2 - 2*j - 1. Let p be d(-1). Suppose 3 - 23 = -p*n + 3*b, n = -b. Solve 5*a + n*g + 15 = -g, a + 5*g = -15 for a.
0
Let g be (9/(-2))/((-1)/(-2)). Let k = -6 - g. Solve 0 = k*z + 3*p - 15, 5*p - 26 = -z - 5 for z.
1
Let p(r) = -r**3 + r**2 + 29. Let q be p(0). Solve -u = -3*o - 8 + 19, 5*u = 2*o - q for o.
2
Let a be 40/14*(-7)/(-2). Let i be (0 - -6) + (a - 12). Solve -4*r = -3*c - 9, -i*r + 8 = -4*c - 0*r for c.
1
Let g = 143 - 139. Solve 8 = 4*i - 0*x - x, 0 = g*i - 4*x + 4 for i.
3
Suppose -26*x - 6 = -29*x. Solve 0*t = x*t + 5*r - 2, -6 = 4*t + 5*r for t.
-4
Suppose 2*q = -2*g + 5*q + 18, 54 = 4*g + 3*q. Solve 2*p - g = -2*p, 4*p = -f + 13 for f.
1
Suppose 6 = -g + 5*r + 39, -3*g = -4*r - 55. Suppose 11*j + 4 = g*j. Solve -j*m + 6 = -k + 3*m, -m = -3*k + 10 for k.
4
Let h be (0/((-9)/3))/(-2). Suppose 2*f + h*f = 10. Solve 0 = -3*b - f*a + 1, 0 = -0*b - 5*b + 3*a + 13 for b.
2
Let u = 10 + -6. Suppose u*d - 3*d = 15. Suppose 2*j - 3*i + 1 = -1, -5*j = i - 29. Solve 0 = -j*c + d, 2*q - 17 = c - 6*c for q.
1
Suppose -4*u - 2 = -2*u. Suppose f + 2 = b, -2*b + 3*b = -5*f - 4. Let p be u*(b/(-1) - -1). Solve p*m - 3*x + 13 = -2*m, 5*m = 4*x - 22 for m.
-2
Let g(x) = 6*x - 3*x - 4 + 3*x - 5*x. Let m be g(7). Solve -m*o - 17 = -d, 9 = -3*o - 6 for d.
2
Let t(w) = -w**2 + 4*w - 4. Let m be t(4). Let s be 3/m + (-4)/16. Let g be s/((-1)/(-1))*-2. Solve 0 = -g*z + 4 + 6, -5*x - 2*z = -35 for x.
5
Suppose -5*d - 3*y + 9 = 0, 4*d - 22 = 4*y - 2. Solve -4*j = d*s - 3, -2*j + 0*s + 2 = 2*s for j.
0
Let f(k) = k**2 + 4*k - 2. Let h be f(-4). Let g = 4 - h. Solve 2*a - 16 = g*a - 4*v, 3*a + 2*v - 8 = 0 for a.
0
Suppose -6 = -5*h + 9. Solve 5*o = -h*c - 35, -4*o + 4*c + 2 = -2 for o.
-4
Let r(f) be the first derivative of -f**2/2 + 4*f + 2. Let s be r(-3). Let x(a) = a + 3. Let o be x(s). Solve -5*u - o = -5*p, u + 5*p - 26 = 2 for u.
3
Suppose 7*m - 9*m = -6. Solve -m*u - 2*p = -2, 3*p = 2*u - 2 - 8 for u.
2
Suppose 2*v = -1 - 3. Let b be 1 + v + -5 - 0. Let f be 4/b + 16/6. Solve 2*p - 8 = -2, -f*h = -p - 5 for h.
4
Let b = -13 - -15. Solve 2*g + 5*k = 6*g + 4, -g + b*k - 4 = 0 for g.
4
Suppose 3*x + 260 = 8*x. Suppose -4*l = -3*c + 4*c - 10, 3*c + l = x. Solve 0 = 2*o + 5*q - 3 - c, -4*q = -3*o - 26 for o.
-2
Let f(p) = -p**3 - p**2 + p - 1. Let u be f(-2). Solve r = -3*v + 3, 4*r = r - 5*v + u for r.
-3
Let l be (2 - 0) + 14/(-7). Solve l*t = -3*z + 3*t - 3, -2*t - 10 = 4*z for z.
-2
Let h be (6/(-9))/(2/(-39)). Let p(r) = r**3 + r**2 + r + 2. Let x be p(0). Solve 5*i = -x*q + 16, i + h = 6*i + q for i.
2
Suppose -10 = -s - s. Suppose 0 = -2*o - 4*n + 18, -3*o + 9 = -2*n - n. Solve -u - s*p = -18, -o*u + 2*p = p + 14 for u.
-2
Suppose -68*w - 20 = -73*w. Solve 0 = n - 2*p - 5, 3*p = -w*n + 3*n - 