5*d - 20 = 0 for k.
0
Suppose 3*d + 10 = 8*d. Let l(z) = z + 5. Let g be l(-5). Solve 5*o + 4*v = -g*v - 11, d*v = -o - 7 for o.
1
Suppose 5*b - 6 = 2*b. Let s be (3/b)/(2/4). Solve -3*y + 3*n = 18, 2 - 22 = 5*y - s*n for y.
-1
Let o(z) = z - 5. Let w be o(10). Let k = -1 + 26. Solve b - w = 2*f - f, 5*b - k = -3*f for f.
0
Let l(o) = o**3 - 7*o**2 + 11*o - 2. Let h be l(5). Solve 3*t = -5*v + 4*t + 10, h*v + 12 = -3*t for v.
1
Let f(a) = a**2 + 2*a. Let k be f(-3). Solve -3*z + 8*z - 2*b = -20, -3*z - 12 = k*b for z.
-4
Suppose 0*j - 2*j + 12 = 0. Suppose r - j = -2*r. Suppose -n + 0*n - 4*u + 22 = 0, u = -r*n + 9. Solve 0 = -2*m + n*f - 0*f + 2, m - 7 = 3*f for m.
-2
Let l = -11 + 5. Let x(b) = b + 8. Let q be x(l). Let f be (-1 + 0)*(-1 + -1). Solve 5*y = -5, 5*r + q*y + f*y + 4 = 0 for r.
0
Let z(m) = 3*m - 16. Let j be z(7). Solve -2*r = -s + 13, 45 = -s + 6*s - j*r for s.
5
Suppose 0 = -g - g + 2. Suppose 3*k = -k + 704. Suppose -4*f = 5*v + 45 - k, 4*f - 104 = -4*v. Solve -4*q - g + v = 2*o, 0 = -2*o + 10 for q.
4
Let o be (2 + 0)/(4/106). Suppose -107 = -5*p + o. Let i = -20 + p. Solve 0 = q + 2, -3*r = 2*q + q + i for r.
-2
Let i be ((-20)/6)/((-2)/12). Suppose -i = z - 6*z. Suppose 2*x - 2 - 6 = 0. Solve -2*k - 2*k - 4*y = 0, -16 = -x*k + z*y for k.
2
Let x = 19 - 31. Let n = x + 23. Solve -n = -3*d - 2*z + 1, -4*z - 8 = -2*d for d.
4
Let f be (-10)/1*6/(-6). Solve -3*m - 7 = 4*j, 3*m + m = -5*j - f for m.
-5
Suppose -n + 10 = -7. Let d(y) = y**2 - 5*y + 4. Let k be d(5). Solve k*m - 11 = -2*l + n, -5 = -5*l + 3*m for l.
4
Let i(p) = p + 2. Let o be i(0). Let w(h) = h**3 + h + 3. Let z be w(0). Solve d + 4*d = -4*g - 2, z*g = -2*d + o for d.
-2
Let q(r) = -r - 4. Let p be q(-6). Let v = p + 2. Solve 0 = 3*d + 5*o - v*o - 12, -3 = -5*d + 4*o for d.
3
Suppose -3*w + w = -6. Solve 0 = 2*h - 4, -2*h - 27 = 5*v - w*h for v.
-5
Let r be (-4 - 1)*(-13)/13. Solve 3*y - 9 = 0, -2*k + y - 2*y = -r for k.
1
Let p(i) = 6*i - 1. Let w be p(1). Suppose 0 = w*t - 6*t + 935. Let h be t/25 + (-2)/5. Solve 1 = 2*l - r - 12, -4*r - h = -5*l for l.
5
Suppose 37 = 4*l - 51. Let d(p) = -4*p - 1. Let k be d(-6). Solve -m - 3*x + k = -5*m, l = -5*m - 3*x for m.
-5
Let w = -15 + 18. Solve -5*h = -w*q + 34, 2*h = q - 19 + 6 for q.
3
Suppose 3*m - 5*q - 20 = 0, -4*m + 5*m - 4*q = 16. Let x be (4 - 0/3) + m. Solve -4 = -4*p - 4*k, 3*p - k = -5*k + x for p.
0
Let s(o) = o**2 - 2*o - 5. Let j be s(5). Let t = j + -8. Suppose 0 = t*u - 8. Solve -b = 4*z, 2*z - u*z = -4*b - 18 for z.
1
Let v be -1 + 2 + (1 - -1). Suppose 1 = t - v. Solve -2*w + 8 = -3*p - 4*w, -p + t = -w for p.
0
Let c = 71 - 67. Solve -16 = 4*n + c*k, 0*k = -2*n - 3*k - 8 for n.
-4
Suppose 5*y - 2*y - 15 = 0. Suppose -4*s + 2*o + 20 = -0*s, -y*s - o + 11 = 0. Solve -4*q + q + 24 = s*c, -c - 4*q + 20 = 0 for c.
4
Let n(f) = -f + 7. Let q = 2 + 1. Suppose 2*t - 45 = -q*t - 4*p, -2*t = -p - 5. Let j be n(t). Solve 3*b - j*b - 3 = 0, -4*b + 15 = 3*x for x.
1
Let s(g) = -2*g + 34. Let l be s(14). Solve 0 = l*u - 5*u, 2*u + 16 = -4*y for y.
-4
Let t(m) = m**2 + 3*m + 2. Let f be t(-3). Suppose -22 - 4 = -f*n. Suppose 0*g - 2*g - n = -3*y, -3*y = 2*g - 17. Solve l + 3 + 2 = 2*s, 27 = 3*s + y*l for s.
4
Suppose -4*h + 59 = -225. Let b be -51*(-1 + (-20)/6). Suppose -b = -5*a - h. Solve 0 = -2*d + r + 9, -7*d = -2*d + 5*r - a for d.
5
Suppose -6*q = -2*q - 8. Suppose -q*x + 1 = -3. Solve -4*k + 12 = 5*d, x*d = -3*k + 3*d - 10 for k.
-2
Let s(u) = -u - 25. Let t be s(-29). Solve 3*j + 4 = -t*g, 3*g + 3*j + 3 = j for g.
-1
Let k be (1 + -1*2)*0. Suppose -n - n - 224 = 0. Let b be (-1)/3 + n/(-21). Solve g = 0, k*f = 5*f - b*g - 5 for f.
1
Suppose p - 1 + 3 = 0. Let d = p + 4. Let r(h) = -h**2 + 6*h - 5. Let c be r(4). Solve c*o - a = -2 - 0, 0 = -4*o - d*a - 6 for o.
-1
Suppose 5*u + y = 4*y + 9, -u = y - 5. Let f(x) = -x**3 - 2*x**2 - x. Suppose -2*w - 4 + 2 = 0. Let i be f(w). Solve -2*j + i*p - 14 = -4*p, 7 = u*j + p for j.
1
Let z(x) = x + 7. Let b be z(-6). Let w = b + 2. Let s = 1 + -1. Solve r - p - 3*p + 13 = s, 4*r + 13 = w*p for r.
-1
Let n be (-3)/1 - (-56)/7. Suppose -n*o + 4*v = -15, 4*v + 9 = 3*o - v. Solve -4*i = -0*h + 3*h + 11, o*i + 3 = 3*h for h.
-1
Let m be (-1)/(-1 + 2)*0. Let s be (15/20)/(4/64). Solve 4*n = -4*f, 4*n + f = -m*f + s for n.
4
Suppose -5*d + 5*z + 25 = 0, 5 + 0 = 2*d + 3*z. Let w be (-1 - (-3)/d)*-20. Solve -4*v - f - 13 = 0, -f = w*v - 0*v + 16 for v.
-3
Let t(n) = 2*n - 26. Let m be t(15). Solve 3*l = 3*x + 24, -l = -m*x - 10 - 13 for l.
3
Let p = -11 - -11. Solve 11 = -4*w + 2*g - g, 5*g - 15 = p for w.
-2
Suppose -180 = -46*t + 31*t. Solve -3*v + v + t = -2*s, 0 = v + 5*s + 24 for v.
1
Let g be (60/(-150))/(4/(-50)). Solve -5 = 3*c + w, 0*w - w - 9 = g*c for c.
-2
Let j be 1/(-3 - 6/27*-15). Solve -j*v + 3 = -t + 12, -3*t + 3 = 3*v for t.
3
Let u = 26 - 37. Let y = u + 15. Let n = 6 - y. Solve -n*s - 2*r = 12, -s + 3*r + 1 = -9 for s.
-2
Suppose 4*g + 12 = -2*x, -x - 2 = -4. Let k = g + 7. Solve -2*c - k*p = -4, 2*c - 2*p = 3*c - 3 for c.
-1
Suppose 0*y + 4*y = 0. Suppose -l = -y - 5. Solve -l*a = -3*a - 2*j - 16, 4*a = -j + 17 for a.
5
Let j = 18 + -13. Let r = 3 - 2. Let z = 1 - r. Solve -3*a + 4*c + z + 2 = 0, j*c = a - 8 for a.
-2
Let a be (-44)/(-10) - (-4)/(-10). Suppose a*s - 15 = 1. Solve -5*m + 3*o + 0*o = 10, -s*m + 5*o - 8 = 0 for m.
-2
Let k(n) = -n**3 + 3*n**2 + 2*n + 2. Let h be k(3). Let q = -3 + h. Let p be 2/(-5 - -1)*0. Solve -q*c = -4*i + 9, p*i + 2*c = 4*i - 6 for i.
1
Let u be (-360)/(-26) - (-4)/26. Suppose 0 = -3*q + 38 - u. Suppose 4*v = 8*v - q. Solve 0 = -v*g + 4, -3*c + 2*g = -c + 4 for c.
0
Suppose 5*f - 17 = -4*y + 9, -3*f + 3*y = -21. Let u(o) = 14*o**3 - 2*o**2 + 2*o - 1. Let b be u(1). Solve t + 2*q = -2*q + b, -3*t + 3*q = f for t.
1
Let g(z) = z - 2. Let y be g(5). Let u = y - -1. Suppose -3*b = -4*j + 17, -b + u*b = -j + 23. Solve 4*r + j = 0, 2*k + 2*r - r = 4 for k.
3
Let y be 1*(-3 - (-7 - -2)). Solve 4*j = -k + 10, 2*j - y*k - 4 = -3*k for j.
3
Suppose 2*k + 15 = -2*h + 5*k, 25 = -4*h + k. Let z be (-27)/h - (-2)/(-4). Solve -z*f - 3*l + 2*l + 8 = 0, f - 2 = 2*l for f.
2
Let w = 7 + -3. Suppose -y + 16 = y. Let h = y - 8. Solve -4*i + q - 1 - w = h, -2*i = 2*q for i.
-1
Let p(o) = o**2 + 7*o + 9. Let x = 11 - 18. Let b be p(x). Let d be b/6*(0 - -2). Solve d*r = 3*u + 15, -u - 7 = -5*r - 2*u for r.
2
Let t be ((-5)/10)/(2/(-20)). Solve -3*z = -t*w + 4, 0 = 5*z + 2*w - w - 12 for z.
2
Let u = 23 - 8. Suppose -t + u = 2*t. Solve t*w - 2*r = -2 - 13, 0 = -w + 3*r - 3 for w.
-3
Let o(d) = d - 4. Let t be o(2). Let y = 1 - t. Let j be 16/(-3 + 5) - -1. Solve -2*q - j = -x, 0 = 3*q - x + y*x - 4 for q.
-2
Let v(m) = -2*m - 2. Let b be v(-4). Solve 3*f = -2*q - f + b, 5*q - 21 = -4*f for q.
5
Let v be (-5)/(-2) + 2/4. Let s(o) be the second derivative of o**4/6 - o**3/6 + o**2/2 - o. Let q be s(2). Solve 8 = -g - v*b, g + b + q - 3 = 0 for g.
-2
Let r = 6 + -4. Let g be (0/(-3))/(1*r). Suppose u = -g*u + 11. Solve -3*m - q + 16 = 0, 5*q - 9 = u for m.
4
Let l = -19 - -7. Suppose -2*w + 0*w - 34 = 0. Let h = l - w. Solve -2*q - c + 19 = q, h*q - 41 = -4*c for q.
5
Let s(v) = -v**2 + 9*v + 4. Let r be s(9). Suppose -3 = -m + r. Solve -4*y = -3*q - 17, -2*q - 2*y = -m*y + 16 for q.
-3
Let a(d) = -d**2 + 5*d + 6. Let x be a(6). Solve -4*q = i + 9, x = 2*q + q + 5*i + 11 for q.
-2
Suppose -23*h = -26*h + 6. Suppose 2*y + 0 = 5*b - 5, y = 2*b - 1. Solve -i = -h*r - 3*r + 11, -b = -r for i.
4
Let g(l) = -l - 5. Suppose -4*w + 2*w = 2*t + 8, -3*t - 12 = 5*w. Let p be -5 + (t - 2/(-1)). Let v be g(p). Solve z + v = -3*k, -k = 2*k - 4*z - 8 for k.
0
Suppose -41 = -4*r - 1. Solve -3*b - r = -5*u, 5*u + 2*b = 4*b + 5 for u.
-1
Let h(m) = 2*m. Let j be h(2). Suppose -5*c = -l - 20, 5*l + 4*c - 8 = 8. Let w(r) = r**2 + 7. Let b be w(l). Solve g + b = 4*f, 4*f + j*g = 3*f + 23 for f.
3
Suppose 0 = 4*l - 2*y + 6, -2*l - 5*y + 29 = 2*l. Let o be (2 - l) + 1 - 0. Solve -2*q + 19 = q + 2*g, 24 = 4*q + o*g for q.
5
Suppose l - 2*v - 3 = 2, -5*l - 4*v - 3 = 0. Solve -5*p = -3*z + z - 13, p - l = 2*z for z.
1
Let s(k) = k**3 + 8*k**2 - 10*k - 2. Let f be s(-9). Solve -2 = -3*j + 2*h + f, 5*h = 4*j - 5 for j.
5
Let p(o) = -3*o + 17. Let m be p(4). Solve