f + 12 = -s*k for k.
-4
Let q = 0 - 8. Let d = q + 8. Solve 2 = 2*g - u, g - u - 2*u - 1 = d for g.
1
Suppose -12*l = -9*l - 9. Solve -4*s + 2 - l = -3*n, 0 = -4*n - 3*s + 18 for n.
3
Let z(r) = 5*r**2 + 4*r**2 - r**2 - r**2. Let l be z(-1). Solve -2*o + 4 - 6 = -2*y, 3*o + y = -l for o.
-2
Let y be ((-9)/((-252)/(-16)))/((-2)/7). Solve -m - y = -5*a, -3*a - 1 = -2*m + 2 for m.
3
Let o = 11 + 55. Suppose 3*f - 4*b - o = b, 0 = 5*f - 5*b - 100. Suppose -11 = 2*g - 33. Solve 4*c = 5*p - g, -f = 2*p + 3*p + 3*c for p.
-1
Let h be (20/(-15))/(4/(-30)). Let a = h - 10. Solve 0 = 5*i - 2*x - 2*x, 4*i - 4*x = a for i.
0
Let a be -3 + 6 - (-7 - -6). Solve -3*h + 6 = 4*i - 5, a*h = 4 for i.
2
Let b be (-1)/((-1)/2) - -1. Solve 0 = -3*w - 5*n + 10, 3*w + b*n - 11 = -n for w.
5
Let t be 20/5*10/8. Suppose -b + 3*b - 2*l = 30, -3*l = t*b - 99. Suppose -3*r - 12 = -3*a, -5*a + 4*r + b = r. Solve -6 = a*z, -2*o = -0*o + z + 4 for o.
-1
Let j = -5 - -6. Suppose 10 - 24 = -2*y - 2*d, 5*y + j = 4*d. Solve y*g - 19 = 2*r - 0*r, g = 2*r + 13 for r.
-5
Let c(s) = -s**3 + 5*s**2 + 7*s - 6. Let h be 63/14*(-4)/(-3). Let w be c(h). Solve -3*d + 5*l = 11 + 10, l - 3 = w for d.
-2
Let d = -7 - -10. Suppose 8*n = 5*n + d*b + 27, 0 = -2*n + 5*b + 9. Solve 5*a - 3*s + 1 = 0, -5*s = -s + n for a.
-2
Suppose -v = -3*h + v - 18, -v - 1 = h. Let w be 10*(2/h - 0). Let y = w - -7. Solve -y*u + 12 = -5*k, -u - 6 = 5*k + 18 for k.
-4
Let g(z) = z**3 + 2*z**2 - 3*z + 2. Let y be g(-3). Solve -2 = y*k - 5*f + 1, 0 = -5*k - 4*f - 24 for k.
-4
Let n be (-2 - -4)/((-2)/(-12)). Let j = n + -8. Solve 5*r - d = -15, -4*r + j*d - 18 = -5*r for r.
-2
Let l(r) = -r**2 + 5*r + 3. Let c = 11 + -16. Let u(o) = o**3 + 4*o**2 - 5*o + 5. Let m be u(c). Let b be l(m). Solve -4*t = 3*h - 13, b*h - 4 = -2*t + 7 for t.
1
Suppose -2*c - 3*d = -0*c - 111, c - 54 = -2*d. Suppose 10*s - c = 5*s. Solve 2*h + 1 = -3*x + 9, x - 3*h = -s for x.
0
Suppose -4*o - 6 = -n - 5*o, 2*o - 9 = -n. Solve 4 = -5*b + j, -n*b - b + j = 4 for b.
0
Let y(q) = -q + 20. Let g be y(17). Solve -2*v - 4*j + 9*j = -20, -g*j = 2*v + 12 for v.
0
Let r(y) = y**3 + 16*y**2 + 16*y + 20. Let q be r(-15). Solve 10*p - q*p = -4*v - 25, -v + p = -5 for v.
0
Let w(n) = -2*n + 3. Let l be w(0). Let a be 75/2 + 2/(-4). Let p be a + l/(9/(-6)). Solve -29 = -4*y - 9, -p = 5*v - 5*y for v.
-2
Let s(w) = w**3 + 3*w**2 - 5*w. Let g be s(-4). Let b be (5/2)/5*10. Solve g = 5*m - b*x + 9, -m - 3*x = 13 for m.
-4
Suppose 5*k = -5*i - 15, 2*k + 5*i + 7 = -8. Suppose k = 4*w - w - 9. Solve -18 = -4*z - w*b, -10 = -0*b - 5*b for z.
3
Suppose -9 = 2*h + h. Let c be 2*h/(-6)*5. Solve -2*i + 4 = -3*i - 3*r, -c*i - 20 = -5*r for i.
-4
Suppose 95 = -3*x + 8*x. Solve g - 9 = 5*m, m - g - x = -6*g for m.
-1
Let h = 16 - 4. Suppose 0*w - 3*w = -h. Solve 4*v + v + 9 = -w*n, v = n for n.
-1
Let h = 46 - 43. Solve 0*d - d = -2*c + 14, h*c + 5 = -5*d for c.
5
Let p(m) = -4*m - 1 + 2*m + 3*m - 2*m. Let d be p(-6). Suppose -4 = -d*i + 11, 0 = 3*z + 5*i - 24. Solve 24 = -n - 5*g, z*n - 4*g + g - 18 = 0 for n.
1
Suppose 2*a + z - 11 - 17 = 0, 4*z = -4*a + 56. Suppose -r = -6*r - 2*s + a, -5*r = -4*s - 32. Let l = 10 - 6. Solve l*k - 4*b = -r, k = -2*k - b - 7 for k.
-2
Let w be (-42)/9*(-1 - 1/2). Solve 0 = 2*i + j + w, 3*i + 0 + 15 = -3*j for i.
-2
Suppose -3*r + 2 = -4. Suppose r*l + l = 54. Solve f + l = -4*o, -o - 2 = 2*f + 6 for f.
-2
Let t(v) = 6*v. Let q be t(2). Suppose -x - q = -5*x. Solve -o - x = -2, 3*i = -o - 4 for i.
-1
Suppose -2*h + 3*h = 5. Suppose 3*d - h = 1. Solve 4*p - 6 = f, d - 14 = -4*p - 2*f for p.
2
Suppose 0 = -5*h, 2*h = -f - 0*f + 3. Solve 0*i + 24 = -f*i + 3*d, -4*i + d - 23 = 0 for i.
-5
Let l be -1 - -5 - 0/3. Suppose -l*z + 32 = 5*r, -5*r - 2*z + 36 = -0. Solve 0*m + 4*y + 12 = m, -5*y - r = -3*m for m.
-4
Suppose w - n + 7 = 3*w, -5 = 5*n. Suppose -w*v + 0*v + 25 = -3*g, 3*v + 5*g + 3 = 0. Suppose 0 = v*j + j. Solve j = q + z + 2, -2*z - z = -2*q - 14 for q.
-4
Suppose 0 = -2*k + r + 1, -3*k + 5 = 5*r - 3*r. Suppose o - 5 = m, -4*o - 3*m = -2*o + 10. Let l = k + o. Solve -l*x - w - 3 = -x, 4*w + 11 = -3*x for x.
-1
Let i(k) = k**2 - 10*k - 20. Let p be i(12). Let d = -7 + 10. Solve -12 = -3*w + 2*w - 4*n, d*w + p*n = 20 for w.
4
Let z(d) = -d**3 - 5*d**2 + 5*d - 4. Let q be z(-6). Suppose -t = -5*r - 28, -95 = q*t - 6*t + 3*r. Solve o = -3*o - 5*f - t, 0 = o + 3*f + 11 for o.
-2
Let d = 2 - -4. Suppose -3*k - 24 = -d*k + 4*u, -8 = -k + 2*u. Suppose k = -2*b, -2*x + 3*x = 2*b + 12. Solve 0 = -v + 4 - 0, 5*r + x*v - 36 = 0 for r.
4
Let o = 10 + -1. Suppose -3*m + o - 3 = 0. Solve -5*g + s = -6, 3*s - m*s = -3*g + 10 for g.
2
Let m be 4/(-2)*2/(-4). Let d = -28 - -60. Suppose -3*k = 5*o - 66, 7*o - 4*o = 2*k + d. Solve 0 = -2*i + 5*f - m - 12, 5*f - o = 3*i for i.
1
Suppose 1 = -2*y - 3. Let q be 3*(0 - y) - 2. Let o = 21 + -15. Solve -11 = 5*r + q*i, -2*i = -r + 3*r + o for r.
1
Suppose 3*h + 6 = 5*h. Suppose 4*l + 4*j = -j - 7, h*l = j + 9. Solve 0 = 3*m - 0*m - 4*p + 5, -l*p = m - 15 for m.
5
Let r be -2 + 0 - -1*2. Let z(o) = -o**2 - 6*o + 5. Let l be ((-18)/(-4))/((-18)/24). Let u be z(l). Solve -f - 5*d + 7 = f, u*f - 3*d - 2 = r for f.
1
Let g(p) = 3*p - 2. Let a be g(2). Let m be 1/(-4) + 3/12. Solve -2*k = -3*k + 3*j, m = -k - a*j for k.
0
Suppose 0*u + 3*u - 15 = 0. Let n = -78 - -78. Solve -z + 2 + n = -4*w, -u*z = -3*w - 10 for w.
0
Let z(w) = -w**3 + 11*w**2 + w - 6. Let d be z(11). Suppose -2*i + 20 = 5*q, -3*q + d*i - i = -12. Solve 2*u = -3*y - q, 18 = -2*u - 0*y + 4*y for u.
-5
Suppose 4*z = 2*k + 2, -3*k = -5*z - 0 + 1. Let r be (-3)/(-18)*z*6. Solve -5*x + y = -y + 4, -4*y - 8 = -r*x for x.
-2
Suppose 9 = x + 2*k, 5 = 3*k - 7. Let j be 0 + 0 - (x + -1). Let o = 5 - j. Solve o*l + 3 = 4*c, 8*c - 15 = 3*c - 5*l for c.
2
Suppose -4 = v - m - 3*m, 5*v - 5*m = 10. Let a be ((-21)/(-6))/(2/v). Solve -2*p - 2 = 3*c, -3*p + c - 3*c + a = 0 for p.
5
Let x(m) = m**3 - 7*m**2 + 2*m - 10. Let j be x(7). Solve 2*q + 0*q = -2*a, -4*q + j = 3*a for q.
4
Suppose -3*m = -2*x - 13 - 19, 5*m = 10. Let g = -25 - x. Let v = g - -23. Solve -3*j - j = -5*l + 30, -2*l - 3*j = v for l.
2
Let n = -498 - -225. Let y be n/(-9) + 2/3. Solve 4*g + y = 3*j, 3*j + 3*g - 4 + 1 = 0 for j.
5
Suppose -q + 6*q - 30 = 0. Suppose -r = 2*r - q. Solve 23 = -4*o + r*l - 7, -4*l + 20 = 0 for o.
-5
Suppose 4*s - 6 + 2 = 0. Solve -d + a + 8 = 0, -d = a + s - 3 for d.
5
Let i(c) = c**3 + 2*c**2 - c - 2. Let t be i(-2). Solve q = -5*n + 4, -n + t = -q - 2 for q.
-1
Let w(v) = -2*v**3 + v**2 + 4*v + 2. Let b(o) = -o**3 - o**2 + 1. Let c(i) = 3*b(i) - w(i). Let k be c(-3). Solve -2*z + 2 = 4*l + k, 4*z - 3*l + 15 = 0 for z.
-3
Suppose 2*x - i - 35 = 12, 3*i = 2*x - 49. Solve 2*o + 3*y - x = 0, 0*y - 5 = -y for o.
4
Suppose u = 2 + 3. Let x be -25*(2 - 3)*1. Suppose -5 = 5*s - 40. Solve -s = 4*i + r, 0*i - u*i + 2*r = x for i.
-3
Let y(v) = 5*v + 1. Let b be y(-3). Let a = -12 - b. Solve -5*z - 5*p + 12 = a, 4*p = -5*z + 13 for z.
5
Suppose -8 = -2*g - 2*g. Solve 0 = 4*o + g*y + 4, 3*o + y + 1 + 1 = 0 for o.
0
Let m = -31 - -36. Solve 4*w = 4*s + 4, -m*s - 4*w = 3 - 34 for s.
3
Let j(y) = y**2 + 5*y - 5. Suppose u = -5*g + 19, 4*u - 4*g + 32 = 2*u. Let h be j(u). Solve b + h = t + 4, -1 = -b + 2*t for b.
5
Let f = 17 + -13. Solve -f*k = h - 5, 3*h = 3*k - h + 1 for k.
1
Let o be (-15)/6*(-2 + 0). Solve o*x - 2*a + 4 + 5 = 0, 3 = 3*x - 4*a for x.
-3
Let c = 2 - -1. Let h = -24 - -38. Solve c*v = 5*l + 5*v - h, v = -2*l + 5 for l.
4
Suppose 5*u - 2*u - 12 = 0. Suppose 4*x + 3 = -2*c + 1, 4*c + u*x = 8. Suppose c*q + 4 = 14. Solve r - q = -y - 9, r = -3*y - 13 for y.
-3
Let q be ((-2)/3)/(3/(-18)). Let m be (-5)/((-8)/(-4) - 3). Let j = -4 + 4. Solve j = -q*u + 3*i - 20, 3*u + m + 9 = 2*i for u.
-2
Suppose -q + p = -7, 3*p - 4*p = -3*q + 15. Let n be -1*q/(-1) - 1. Suppose 13 = 3*w - 8. Solve -b = -3*i + 8 + w, -n*b - 5 = -i for i.
5
Let k be 2 - -1 - 6/(-6). Suppose -k*f + 6 = -2. Suppose 0 = -f*j + 7*j - 10. Solve 2*u - j*r = 2*r + 4, -4*u - 2*r = -8 for u.
2
Let n = -64 + 30. Let u = n + 69. Solve -5*q + 2*v - 7*v - u = 0, -2*q = -5*v - 7 for q.
-4
Suppose -5*o + 16 = -4*d - 18, d + 16 = 5*o. Let f be (12/(-15))/(d/15). Solve w + 4*q = -9, 4*w - f*q = q - 17 f