= 11 + -8. Let m be (12/(-15))/((-1)/5). Let g = m - 1. Solve 4*u = -v*t - 35, u = g*t - 2*t for u.
-5
Let u(i) = i**2 - i + 3. Let f be u(0). Suppose 5 - f = 2*n. Solve -p = -s + 4 + n, 0 = -3*s - 2*p - 10 for s.
0
Let u be 5*1 + (-12)/6 + -1. Solve 3*i + 2*m + 8 = -3*m, -u*i = -m + 1 for i.
-1
Let s be 3 - 0 - (4 + -9). Let p be ((-12)/s)/(2/(-16)). Solve 0 = -w + 5*w + 4*c - p, -4*w = -5*c - 3 for w.
2
Suppose -4*w = 3*l - 10, 0 = 3*w + 4*l - 2*l - 8. Suppose t + 1 = w. Solve -2 = -2*c + 5*k - 5, -2*c - k = -t for c.
1
Let u(l) = l - 4. Suppose 0 = 5*y - 35 - 0. Let j be u(y). Solve 0 = j*b - 6*n + 2*n + 17, 0 = -b - 2*n + 1 for b.
-3
Let n = -8 + 13. Let m be (6 - 0)*4 + 1. Suppose -3*f = -8*f + m. Solve r = 4*l - 1 - 3, -5*r - n*l = -f for r.
0
Let i(p) = -p**3 + 8*p**2 + 11. Let t be i(8). Let d = -6 + t. Suppose -4*o - a = 2*a - 63, 4*o - 87 = d*a. Solve -24 + 8 = -5*z - 3*f, 3*z - f = o for z.
5
Suppose 2*j + 64 = 6*j. Suppose g - j - 10 = -4*s, -31 = -3*s + 5*g. Solve -2*w + 4*z + 2 = 0, 7*z = -2*w + 2*z - s for w.
-1
Suppose 4 + 7 = n. Solve -3*h = -0*h + i, -4*h + n = 5*i for h.
-1
Let p(h) = h + 18. Let n be p(-10). Suppose 4*i - n = 4. Solve -4*d - 16 = -i*v - 2, -2*v + 14 = -5*d for d.
-2
Let m(l) = -l**3 - 2*l**2 + l - 1. Let y be m(-3). Solve 0*k + y*k = -4*z - 5, -5*z = 5*k for z.
5
Let d(y) = 3*y**3 - 5*y**2 - y + 2. Let u(p) = p**3 - p**2 - p + 1. Let x(z) = -d(z) + 4*u(z). Let k be x(2). Solve 4*a + g = 2*a + k, a - 4 = -3*g for a.
4
Let v(g) = g**2 + 5*g - 17. Let l be v(-8). Solve -4*q = 2*h + 26, 4*h = q - 0*h - l for q.
-5
Suppose 28 - 34 = -3*v. Solve 3*p - 3*m = 3, -m + v*m + 9 = -3*p for p.
-2
Let p(i) = i - 2. Let z be p(4). Let y be ((-8)/10)/((-56)/700). Solve 0*x + 3*x + y = -z*w, -4*w + 16 = -3*x for x.
-4
Let n(z) = z**3 - 7*z**2 - 9*z + 10. Let q be n(8). Solve 3*i + 1 + 9 = -5*w, q*i - 2*w - 4 = 0 for i.
0
Let m(v) = v + 12. Let q = 12 + -22. Let z be m(q). Solve 3*l + 8 = z*b + 3, 5*b = -l - 13 for b.
-2
Suppose 11 = -5*d + 1, -3*d + 58 = 4*h. Solve -2*r = 3*f - 7, 2*r + h = -2*r + 4*f for r.
-1
Let q = -115 - -120. Solve 3*n + 0*n = 3*g, 4*g = 5*n + q for g.
-5
Let u(h) = h**3 + 4*h**2 - 6*h. Let y be u(-5). Solve -15 = -3*w - 2*w + o, o = -y*w + 25 for w.
4
Suppose -4 = -4*d + 2*p - 34, 0 = 2*d - 5*p + 3. Let i = d + 14. Solve -5*o = 10, 0 = -2*x - x - i*o - 10 for x.
0
Let n = 9 - 5. Solve 3*x - 7*x = 2*z + 8, 0 = n*x + 4*z + 16 for x.
0
Let c(p) = -p - 13. Let g be c(-11). Let w(n) = -n**3 - 3*n**2 - 2*n - 1. Let o be w(g). Let d be 3 + -2 + o + 3. Solve -5*h = d*x + 26, -3*x + 1 = 7 for h.
-4
Suppose 7*j = 2*x + 2*j - 29, -3*x - j = -1. Suppose -x*u + 0*c + 22 = -4*c, -4 = 4*u + 4*c. Solve 0 = -4*r + u*t + 31, -r - 6 = 4*t - 2*t for r.
4
Suppose -3*u = -6*u. Suppose 4*w - 12 - 8 = u. Solve -i = -4*f + 2*f + 6, -w*i + 2*f - 22 = 0 for i.
-4
Suppose 0 = -x + r - 10, -2*r = -0*r - 8. Let a = x + 9. Let z = -1 + a. Solve 0 = -4*y + 2*n - z, -5*y + 3*n + 2*n = -5 for y.
-2
Let p(f) be the second derivative of f**4/12 - 7*f**3/6 + f**2 + 4*f. Let u be p(8). Solve 5*b - 2*o + u + 20 = 0, 5*b - 4*o = -40 for b.
-4
Let v(m) = -m**2 + 4*m + 6. Let j be v(5). Let a be (0 - 0) + 0 + j. Let d be 3 - 1*(a + 0). Solve 2*z + d = 3*k, -2*k + 3*k - 2*z - 6 = 0 for k.
-2
Let l(c) = 2*c + 10. Let g be l(-7). Let s be 1 + g - 10/(-2). Solve 2*f - 8 = -a - s, -4*a = -4*f + 24 for a.
-2
Suppose 0 = -4*w + 5 + 3. Suppose 5*s - w = 4*s. Solve s*a + a = -3*m - 6, -3*m + 2 = -a for m.
0
Suppose -30 = -2*j - 3*j + 4*f, -4*j + 24 = -3*f. Let y be 2 - (0 + -5) - 2. Solve 2*b + j = -2*a - 2*b, y*b = -5 for a.
-1
Let b = 160 + -136. Let k(d) = d**2 + d + 2. Let p be k(-2). Solve -5*h + 0*a = 3*a + b, 4*h - p*a = 0 for h.
-3
Suppose 2*c - 26 = -4*m - 10, -3*m + 12 = 5*c. Solve -4*s + 17 = -5*z, s + m*z - 13 = 7*z for s.
-2
Let x(z) = -z - 4. Let t be x(-6). Solve 0*w = t*w - 3*q - 17, 2*w + 3*q + 13 = 0 for w.
1
Suppose -4*g = 1 - 13. Solve 2*z - 7 = g, 16 = 2*w + 2*z for w.
3
Let a = 3 + -1. Suppose -q - a*q = -15. Suppose -3 = 5*r + 2*k - 86, r = 2*k + 7. Solve q*l + r = 0, 2*l - 9 = 3*v - 0*l for v.
-5
Let a(z) = 2*z**2 + 17*z + 18. Let i be a(-9). Solve -2*c - 14 = -w, i = c - 4*c + 3*w for c.
-5
Let b be 6/(-2 + 2 - 2). Let v be 6/18 - (-1)/b. Suppose 8*j = 3*j - 5*d + 5, v = 2*j + d - 3. Solve 3*h = 3*p - 6, -2*p + j = -4*h - 4*p for h.
-1
Suppose 2*k + 27 = 3*k + j, 27 = k - j. Solve 9 = 3*y, -3*z + 5*y - k = 3 for z.
-5
Let x(q) = q**2 + 5. Let u be x(0). Let p be 0/((6 + -4)*1). Let z = u - p. Solve 0*g = -z*d + 2*g + 8, -5*g = 3*d + 20 for d.
0
Let y be (-8)/16 + (-2)/(-4). Let s(v) = -v**3 + 4*v**2 + v + 4. Let g be s(4). Solve 0 = p + 2*w - 0*w + 4, y = 2*w + g for p.
4
Let i = 14 - 22. Let a be -3 + 1 - (i + -1). Suppose -x + 3*o + 3 = 2*x, -2*x - a = -5*o. Solve -27 = 4*g + b + x*b, -2*g + b - 3 = 0 for g.
-3
Suppose -2*a = -29 + 11. Suppose a = -z + 11. Solve -6*p = -3*d - p + 1, 0 = z*d + 2*p + 10 for d.
-3
Let r be (3/6)/(3/6). Let n be -3*(r + (2 - 4)). Let o(z) = -z + 1. Let b be o(-1). Solve 3*t + 16 = 4*i, -b*t + 3*t = -i - n for i.
1
Suppose 0 = 5*h - 4*u + u - 17, -2*u = 5*h - 22. Solve -h*z = 20, z - 5*z = 5*l - 5 for l.
5
Let m = -18 + 21. Solve -4*v - 3*z - 31 = 0, 0 = -3*v + 4*v - m*z - 11 for v.
-4
Let f(m) be the third derivative of m**2 + 0 + 1/24*m**4 + 0*m - 1/3*m**3. Let q be f(5). Solve 3*u - u + 8 = 3*x, q = x - u for x.
2
Let r(k) = k**3 - 11*k**2 + k - 7. Let d be r(11). Solve d*v + v - 4*i = -23, v = 3*i - 9 for v.
-3
Let i = -9 + 16. Suppose -i*j + 3 = -6*j. Solve -t + 2*f + 12 = 0, 0 = 2*t + j*t + f - 5 for t.
2
Let u be (2/(-6))/(2/(-258)). Suppose -3*v + 2*v - u = -2*n, 0 = v + 5*n + 15. Let l be (-14)/v + 23/5. Solve l*m - 8 + 3 = 5*g, 4*g = 3*m - 4 for g.
-1
Let r(b) = -b. Let z be r(-10). Suppose 2*v = 4*v - z. Let o = v - 3. Solve o*f + 2 = -h - 1, -2*f + 6 = -2*h for f.
0
Let v(n) = n**2 - 4. Let p be v(-3). Suppose -p*o = -15 - 10. Let y = -6 + 8. Solve -y*i - 3*z - o = 3*i, -5*i + 20 = -2*z for i.
2
Suppose -61*f = -62*f + 3. Suppose -4*h + 3*h - 3*s - 14 = 0, -2*h = 2*s + 8. Solve 2*l = -3*z + l + 7, f*z - h = -4*l for z.
3
Let i be (-1)/(2 - 45/21). Let q = 3 - i. Let l = q - -5. Solve 8 = -2*a + 3*r + r, l = r for a.
-2
Let v be 84/20 - 2/10. Suppose v*r - 24 = 2*s, 5*r - 2*s = -0*s + 30. Solve 5*i - r*l + 25 = -l, l = -2*i + 5 for i.
0
Let t be 1*10*(-1 + -2 - -4). Solve 3*v = -2*f - t, 4*v + 4 + 6 = -2*f for v.
0
Let j = 10 + -6. Solve 2*f = 2*t, 9*f - j*f = -3*t + 32 for f.
4
Let l(x) = x**2 - 5*x + 6. Let p be l(8). Suppose -2*y = 3*o + 3 - 11, 5*o = 5*y + p. Solve -3*c + i = 8, o*c = 2*i + 2*i for c.
-4
Let j be (-16)/10*(-20)/8. Let r be j*((-39)/(-12) - 3). Solve 0 = h + 2, r = -2*v - 3*v + 2*h for v.
-1
Let j(k) = -4*k - 5. Let c(r) = 13*r + 14. Let d(t) = 2*c(t) + 7*j(t). Let l be d(-6). Solve -4*z = -l*q + 8, 0*q + 4 = -3*q - 2*z for q.
0
Suppose -31 = -3*m - 1. Suppose -3*v - 1 + m = 0. Solve 5*t = 15, -2*q + 4*t + v = -7*q for q.
-3
Let k = -5 - 40. Let p(n) = n**3 - 17*n**2 + 16*n + 3. Let j be p(16). Let r be k/(-6) + j/6. Solve -2 = -w + 2*x - r, 0 = 4*w + x - 3 for w.
0
Let x be 79/(-9) - (-6)/(-27). Let y = 2 + x. Let o = -4 - y. Solve -3*t - 14 = v + t, -4*v = o*t + 4 for v.
2
Suppose -16 - 4 = -2*f + 4*x, -4*x = 20. Solve 2*d = 3*j - f*j + 15, -5*d - 2*j - 10 = 0 for d.
0
Let j = 9 + -2. Let f(v) = -v**2 + 10*v - 3. Let a be f(j). Suppose 4*y = r + y - 18, -5 = y. Solve 10 = -2*n - t, n + a = -r*n - t for n.
-4
Suppose -66 = -3*i + 5*m, -82 = -4*i + 3*m + 6. Suppose -3*u + 2*t + i = 0, 0 = -5*u - 2*t + t + 28. Solve -3*b - 3 = -g, -2*g = -2*b + 3*b - u for b.
0
Let f = 4 + -2. Solve -w - 2*g - 6 = -5*g, f = 4*w + g for w.
0
Let t(z) = -26*z**3 - z**2 - z - 2. Let c be t(-1). Solve 0 = 4*q - 4*s - c, 3*s + 0*s = 2*q - 17 for q.
1
Let h(s) = s**2 + 4*s + 6. Let z = -22 - -19. Let u be h(z). Solve f = -3*t + 1 + 1, 0 = -5*f - u*t + 22 for f.
5
Let x(j) = j + 3. Let c be x(15). Solve 4*b - 7 = 2*b - s, -3*s = 5*b - c for b.
3
Let z be (-1 + (-11)/(-2))/(3/4). Solve 0 = -3*l + 3*t + z, 2*l - 2*t = t + 4 for l.
2
Suppose -d = -4*b - 4, 7 = d - 3*b + 2. Solve 5*z + 2*g = 21, -3*z + d = 3*g - 1 for z.
5
Let a be (-3)/12 - (-27)/12. Solve -4*p = x - 17, p + p + a = -4*x