+ a + 9 = w for x.
-5
Let n = 810 + -809. Solve 3*g + 11 = -3*v - n, 0 = -2*v - 3*g - 7 for v.
-5
Let d(o) = -o + 7. Let x = -3 - -11. Let w be d(x). Let j(m) = -m**2 + 1. Let h be j(w). Solve 2*c + 5*l + 8 + 6 = h, -2*c + 2 = -3*l for c.
-2
Suppose -2*b - 8 = -4*b. Suppose 31 = b*m + 11. Suppose 3*d - 30 = -18. Solve 3*g + 0 + 5 = -m*f, -2 = 2*f - d*g for f.
-1
Let o(h) = -h**3 + 3*h**2 - 2*h + 4. Suppose -11*k = -18 - 4. Let i be o(k). Solve 6*f - 3*f - 5 = z, 0 = i*z + 2*f + 6 for z.
-2
Let j be (4 - 78/21) + 312/182. Solve -6*o + 18 = b - 11*o, j*o = b - 9 for b.
3
Suppose -11 = -2*z + 25. Suppose -z = -u - u. Suppose -5*b - 2*f + 0*f + 12 = 0, 4*b - u = -f. Solve 2*v - 1 = -b*v + 5*x, -v = x + 2 for v.
-1
Let b be (6 + -2 - -1)/1. Suppose 6*m - 43 = 3*m - 5*h, 4*m = b*h - 1. Solve 0*w + 16 = -4*w + n, 2*w = 4*n + m for w.
-5
Let f be (-360)/(-54)*(-96)/(-10). Let j = 66 - f. Solve -j*b + 3*y - 1 = -3*b, -3 = b + y for b.
-5
Let p be (1 - 1)/(4/(0 - -2)). Suppose v + 0*v + 4 = p, 3*k + 5*v + 8 = 0. Solve 4*d = -5*w + 2, -2*w + k = -2*d + 14 for w.
-2
Suppose -47 = -4*d + 5*p, -d + 71*p = 66*p - 23. Solve -4*v - i - d = 0, 0 = -2*v - 3*i + 6 - 20 for v.
-1
Let w = 26 - 44. Let z = w - -21. Solve 2*y = t - 15, -z*t - 2*t - 5*y = 0 for t.
5
Let w be -1 + 7/9 + (-94)/(-18). Let x(n) = -n**3 + 3*n**2 + n - 2. Let d be x(3). Let y = 6 - d. Solve -2*h + y*h + w*t + 19 = 0, h = -t - 5 for h.
-3
Let y = -133 - -82. Let d = 57 + y. Solve -4*l = -m - 1, -3*m - d = -3*l + 6 for l.
-1
Suppose -4*m = -2*m - 4. Suppose 11 = -5*p + 31. Solve 3*h = j + p*h - 9, -m*j = -3*h + 7 for j.
4
Suppose 0 = 2*f, 3*c - 2*f - 32 = 19. Solve x = -m - 5, 2*m + x - 7 = -c for m.
-5
Let v = 6 - 4. Let j(w) = -w**2 - 13*w - 32. Let m be j(-9). Suppose 2*a = a + 5*l - 3, 3*a - v*l = m. Solve 2*y - 8 = 2*n, 2*y + 2*y = -a*n - 14 for y.
-1
Let t(i) = i - 11. Suppose -35 = 4*q - 6*q + c, 70 = 5*q + c. Let w be t(q). Solve 10 = -5*y, w*z - 4 = y + 2 for z.
1
Let z(h) = h**2 + 7*h + 10. Let c be z(-5). Let b = -24 - -18. Let g(f) = f**2 + 5*f - 1. Let a be g(b). Solve c = r + 2*x - 5, 3*r = -a*x + 10 for r.
-5
Let y(a) = a**2 - 12*a - 13. Let d be 2*(1 + (-44)/(-8)). Let j be y(d). Suppose j = 6*h - 3*h. Solve 4*s - 2*l = 2*l - 4, 5*s - 3*l + 1 = h for s.
1
Suppose 35 = l + 11. Suppose -5*k - l = -39. Solve -k*f - 1 = -2*t, 0 = 4*t - 3*t - f - 1 for t.
2
Let p(f) = -3*f - 18. Suppose -l - t - 6 = 0, -2*l - 2*l - t = 30. Let v be p(l). Let d be (-2)/5 - (-22)/5. Solve 3*s - v = 0, -q + d = 5*s - 1 for q.
-5
Let u(s) be the second derivative of -3/2*s**3 + 3*s + 4*s**2 + 0 + 1/12*s**4. Let w be u(8). Solve -10 = 2*p + 4*z, -3*p = -w*z - 5*z + 15 for p.
-5
Let x(u) = 6*u**2 - 1. Let n be x(1). Suppose -c + n - 3 = 0. Let m be c - (-4)/4 - 1. Solve m*r - 15 = 3*t, -2*t + 5*r = 2*r + 15 for t.
-3
Let t be 15/2 - (-2)/(-4). Let l be (69/24)/1 - 10/(-80). Suppose 5*r - 15 = -m, 8 = l*m - t. Solve 17 = z + 3*b, r*z - 7*z + b + 5 = 0 for z.
2
Suppose 0 = 4*v - 63 + 51. Let g = -7 - -12. Suppose v*n - g*n = -4. Solve 0*a = -2*l + a + 14, 5*l + n*a - 17 = 0 for l.
5
Let c(v) be the second derivative of -5*v**3/3 - 18*v**2 - 7*v. Let o be c(-4). Solve -u - o*g = 15, u - 9 = g + 1 for u.
5
Let v = 211 - 211. Solve -4*a = -5*y - 4, -2*a + v*a + 2 = -2*y for a.
1
Let q be ((-40)/(-18) - 0) + (-16)/72. Let k be 1/5 + 18/10 + q. Solve 0 = y - 4, r - k*y = 6*r - 16 for r.
0
Suppose 0 = -4*j + t + 22, -5*j = -4*j - 4*t - 13. Solve j*o - 3*o + 8 = 0, 5*s + 27 = -3*o for s.
-3
Suppose 0*l = l - 3. Let q = l - 0. Suppose 0*c - 32 = -5*c - g, 5*c - 3*g = 24. Solve -2*d + c = q*u - 5*d, 25 = -5*d for u.
-3
Suppose 0 = -22*m + 24*m - 8. Solve 3*z - 3*g - m = 5, -2 = -3*z - 4*g for z.
2
Let w(o) = -o**3 + 4*o**2 - 2*o - 2. Let r be w(2). Suppose r*h = -3*h + h. Solve 5*g - f - 4*f - 20 = h, 0 = -4*f for g.
4
Suppose -10 = 5*v - 3*v. Let n = 5 + v. Solve -5*o - 5*w + 8 - 3 = n, -5*o + 4*w + 32 = 0 for o.
4
Suppose -p + 34 - 13 = 0. Let g be (-14)/(-3) + (-14)/p. Suppose o - 19 = 5*s, 2*s + 10 = o - 0*s. Solve -o*n - 32 = -4*i, -n - 19 = 2*i + g*n for i.
3
Suppose 2*j = 8 - 4. Suppose 0 = -7*i + j*i + 10. Suppose s - i*f + 7 = 0, -14 + 32 = s + 3*f. Solve -2*a = -3*a + s*g - 11, -3*a + 4*g - 18 = 0 for a.
-2
Let o = 197 - 195. Solve -o*i + 4 = 0, -3*i + i = 5*t + 16 for t.
-4
Suppose 15 + 3 = -3*b. Let p be (b/(-9))/((-1)/(-27)). Suppose -2*w + 2*r = -22 + 4, -4*r - 40 = -5*w. Solve -4*k - p = -2*z - 7*k, -8 = w*z - 5*k for z.
3
Let y(x) = -x**2 + 15*x + 37. Let n be y(17). Let o(c) = c**3 - c. Let i be o(1). Let v = i + 2. Solve -v*g = 2*w - 2, -4*g + g - 4*w + n = 0 for g.
1
Let j be 11/(924/(-60))*-7. Solve 19 + 1 = 4*g, -j = 5*b - g for b.
0
Let k(p) = p**3 - 3*p**2. Let j be k(3). Suppose 4*u - 16 = -4. Suppose 3*b - 15 = 0, -16 = -5*n - 3*b + 24. Solve y + j*y + n*l = 21, 4*l = -u*y + 19 for y.
1
Let l = 27 - 22. Suppose l = 9*p - 8*p. Let n(b) = b**3 + 7*b**2 - 2*b - 4. Let v be n(-7). Solve 0 = -p*a - 5*q + v, -2*a + 6*a - 32 = 4*q for a.
5
Let p(d) = d + 38. Let r be p(-34). Solve -4*o = -0*o - r*t - 8, -5*t = 5 for o.
1
Suppose 2*j + 3*q + 2 = -q, -3*j + 5 = 2*q. Solve 5*x - 7*y + j*y = -23, -5*x - 4*y = 7 for x.
-3
Let s(t) = -t**2 - 10*t - 16. Let l be s(-2). Solve l*w = h + 4*w - 3, -3 = -h + 2*w for h.
3
Let o = 9 - 14. Let a = -5 - o. Suppose a = -3*j - 0*j + 45. Solve 3*z + j = 2*u - 5*u, -u + 4*z = 0 for u.
-4
Let s(k) = k**2 - 10*k + 33. Let b be s(8). Solve -b = -5*m + p, 7*m - 4*m - p - 9 = 0 for m.
4
Let j = -2394 + 2398. Suppose -75 + 19 = -4*o. Solve 5*p - 6 - o = 0, -3*p + j = -2*g for g.
4
Suppose 4*y - 28 = -0*y. Suppose 3*i - 2*o = -34, -26 = 3*i - 3*o + y. Let r be (-7)/28 - 63/i. Solve -p = -3*x - 13, p - 4*p = -r*x - 23 for x.
-4
Let m be (((-1)/(-2))/(-1))/(2/(-36)). Suppose 2*i + 3*d + m = 0, 5*i = 6*i - d - 8. Solve -3*p - i*b = 6, 2*b = 5*p - 2*b - 26 for p.
2
Let o(m) = -43*m + 203. Let u be o(4). Solve -5*w + 11 = -4*n + u, 5*w = -5*n - 20 for w.
-4
Let u be 7 - (-246)/(-36) - (-10)/12. Solve d = u, -2 = -4*z - 0*d + 2*d for z.
1
Let g = 40 - 40. Suppose 3*n - 9 = -g*n. Solve -y = -0*y - n*h - 20, 0 = -3*h - 15 for y.
5
Suppose -w + 2*w = 8. Suppose -2*a - 9 = 2*j + 3*a, 2*a = -3*j - w. Let i be (-2 - 0)/(1/j). Solve i*q + 0*b - 11 = b, -2*b = -4*q + 14 for q.
2
Suppose 5 = d + 13. Let s be (d/(-6))/(12/(-18)). Let h be (-364)/(-18) - s/(-9). Solve -3*q + 4*a - 20 = 0, 0 = 4*q - 7*a + 3*a + h for q.
0
Let m be (-24)/(-32) + 9/4. Solve -7*s + 2*s = m*k + 17, 3*s = -3*k - 15 for s.
-1
Let k(j) = -j**3 - 5*j**2 + 7*j - 15. Let n be k(-7). Let u = -30 + n. Suppose 0*q + 2*q = u. Solve 2*f = -5*a + q*a - 9, 0 = 5*a - 4*f + 37 for a.
-5
Suppose -22*n + 12*n = 0. Solve n = q + 2*s - 7, -s = -0*q - 5*q + 24 for q.
5
Suppose w = -1, 5*w - w - 61 = -5*r. Solve 0 = -0*j + j + 3*d + 7, 4*d = -5*j - r for j.
-1
Let d = -1782 - -1782. Solve 2*t = -4*a + 20, 4*a + 3*t - 9 - 11 = d for a.
5
Let c = 96 - 91. Suppose 5*p = -c + 15. Solve 4 = -s, -b - 13 = 3*s - p for b.
1
Let u be (4/6)/((-8)/(-300)). Suppose -3 = -2*c + u. Suppose 0 = -0*h - h + c. Solve -4*r - 4*g = h - 42, 2*r + g = 11 for r.
4
Let f(y) = -y**3 - 5*y**2 - 9*y - 18. Let t be f(-4). Solve 5*d - 5*j = 0, t*j + 9 = -d - 0 for d.
-3
Let g = -26 + 35. Suppose 8*y = g*y - 2. Let h be (0/(-1))/2 - -2. Solve q + 1 = y*w, -5*w + q = -h - 2 for w.
1
Let b = 8 - -12. Suppose b = 3*g - 4*w, 2*g - 1 + 3 = -5*w. Solve 2*q - 3*z - 7 = 0, z + 6 = q - g*q for q.
-1
Suppose 17*r - 3*r = 70. Solve -2*p = 5*j - 0 + 2, 0 = -r*j - 4*p + 6 for j.
-2
Let t = -1 + 16. Let l = -12 + t. Solve 5*w + 15 = 0, l*u - 3*w - 4 = 8*u for u.
1
Let y = -26 - -22. Let n = 7 + y. Solve 0 = 3*q + 4*b + 3, 0 = -n*q + 2*b - 5*b - 6 for q.
-5
Suppose -3*a = 5*o + 30, -2*a + 30 = -2*o - 3*o. Let d be (o/(-4))/(1*4/8). Solve -2*s - 9 = -t + d, -2*t = -8 for s.
-4
Suppose 15 = -2*s - 3*c, -2*c = 2*s - 3 + 11. Suppose 0 = -2*f - 0 + 4. Let b be 3*(f/(-1))/(-2). Solve -11 = s*h - a, 6 = -7*h + b*h - 3*a for h.
-3
Let p be -3*-4*4*35/120. Suppose -60 + 4 = -p*c. Solve -v - 3*f - 20 = 0, v + 4*f + 29 - c = 0 for v.
-5
Let k(h) = 8 - 11 - h + 2. Let o be k(-1). Solve o = 3*i + 2*q + 8, -3*i - 2*q = 2*q + 16 for i.
0
Suppose -2*p - 4*s + 16 = -6*s, -4*s = 3*p - 3. S