 + 10 = 5*f + 5*l, 2*f - 13 = -x*l for f.
-1
Let a(w) = -w**2 - 16*w - 13. Let x be a(-15). Let l be (-9)/x - (-12)/8. Let j be -3 - l*(1 - 0). Solve j = -5*v + 5*r + 30, 2*r + 1 = -3 for v.
4
Let m = 0 + 1. Suppose 2*s = -5*b + 6, b - 2*s + 3*s = 0. Suppose 2*w - 20 = -5*o, 8*o = 3*o - 5*w + 35. Solve 9 = -o*n - b*x - m, -x = 5*n + 25 for n.
-5
Let m(x) = 7*x**2 + 4*x - 4. Let z be m(1). Let c = 59 + -32. Solve -p = -5*t + z - c, 0 = -p + 4*t + 15 for p.
-5
Suppose 0 = -4*q - 4*l + 34 - 10, q = l + 2. Solve 0 = q*o - 4*z + 4, -2*z - 2*z = 3*o + 17 for o.
-3
Suppose -5*a = -a - 24. Let f be ((-20)/a)/((-2)/(-3)). Let k = 10 + f. Solve -4*z + 40 = -0*z + k*r, 0 = 5*z - 2*r - 17 for z.
5
Let w = -6 - -7. Let f = 21 + w. Let h = -18 + f. Solve h*o = 3*t + 28, 5*t + o + 20 = 4 for t.
-4
Let j(p) = -2*p**3 + 8*p**2 + 7*p - 14. Let q be j(4). Solve -3*r = a + 2*r - 15, r - q = 2*a for a.
-5
Let s be 9/(-12)*-4 + 0. Suppose -k = k - 30. Let p = k + -13. Solve 2*l + 3*u + 12 = 0, -s*l = p*l + 4*u + 23 for l.
-3
Let o(b) = -b**2 + 2*b + 2. Let y be o(3). Let l(r) = -14*r. Let d be l(y). Let x = d - -4. Solve 4*j - 6 = 2, -4*j + x = -5*g for g.
-2
Suppose 4*k + 9 = 1. Let l be 8/k + -5 + 12. Suppose -5*r - 1 = l*y - 23, 0 = r + 3*y - 14. Solve 2*g = -3*g - 10, -r*o = 5*g + 20 for o.
-5
Suppose -12 = -3*a + 2*o - 5*o, -5*a = o - 4. Solve 3*m = 5*p - 3*p, -5*m + 5*p - 5 = a for m.
2
Let n be 285/114*(0 - -2). Solve -2*f + 5*d = d + 10, -n*d + 13 = -2*f for f.
1
Suppose -f - 4*w = 5, 0 = 2*f - 0*f - 5*w - 55. Suppose 11 = -d + f. Solve -3*g + 4*u - d = g, -16 = g - 4*u for g.
4
Let t = 130 - 98. Suppose -r = r - t. Solve -b - r = -5*v + v, 4*v - 28 = -2*b for b.
4
Let h(f) = f**2 - 6*f + 9. Let x be h(5). Solve -w - 2 = -i - 1, x*w + i - 21 = 0 for w.
4
Let b = -221 - -221. Solve -g + 1 = -0, b = -4*p + 3*g + 17 for p.
5
Suppose w + 40 = 44. Solve -w*g + 3*z + 4 = -0, 5 = 5*g + 4*z for g.
1
Suppose 5*y = y. Suppose y = -v - 5*v + 30. Solve -v*o - 4*q = -35, 5*q + 7 = o + 29 for o.
3
Let i = -6 - -14. Suppose 92*m + i = 96*m. Solve -2*u - 20 = -4*f + 6, -m = 2*f + 2*u for f.
4
Suppose 1 = 4*f - 3*f. Suppose 2*q - f = s, q - s - 1 = -3*q. Solve j + m + 1 = q, -2*j + 0*m + 10 = -4*m for j.
1
Let w(m) = -m**3 + 14*m**2 - 16*m + 42. Let x be w(13). Solve 3*b = -4*t - 4, x*t + 3 = -3*b - 3 for t.
2
Suppose 5*r = -c + 5, 23 = r + 3*c + 8. Let m = 0 - r. Suppose 0 = -740*y + 741*y. Solve -4*v + 8 = 5*h, -2*h + y*h + v + 11 = m for h.
4
Let t = 82 - 73. Solve -s + 0*i + 5*i = -10, -i = 2*s - t for s.
5
Suppose 2*j - 8 + 4 = 0. Let w = j - 0. Solve 0 = -2*c - w*n + 7*n + 7, 0 = -4*c + n - 13 for c.
-4
Let x(n) = n**3 - 4*n**2 + n + 4. Let i = 33 + -19. Suppose 5*y = 6 + i. Let b be x(y). Solve 2*z + 0*z - 2*h = 0, -3*z + 5*h + b = 0 for z.
-4
Suppose 0 = 2*s - 2*f - 102, 3*f + 2*f = 25. Suppose 3*p - 46 = -3*a - p, 0 = -3*a + p + s. Solve 4*c - 2*y = -5*y + 20, c + 4*y - a = 0 for c.
2
Let b = 967 - 947. Solve 3*j - 21 = -4*v + 4, 4*j - b = -2*v for v.
4
Suppose 4*c = -i + 12, -4*i + 9*i = c + 18. Solve g + 6 = -3*z - 2*g, c*z - 3*g = 16 for z.
2
Let s = 151 + -151. Solve 3*i - 11 = -5*n, s*i + 3 = -i for n.
4
Let v(c) = -c**2 - 13*c + 3. Let q be v(-13). Suppose -q*k = 34 - 64. Solve -4*i + k = f + 3, 0 = 2*f - i + 13 for f.
-5
Let j be 2/(-1)*4*2/(-8). Solve -6*h + 9*h = 4*k + 10, 0 = j*h + 4 for k.
-4
Suppose 2 = -h, 2*n - 4*h - 24 = -2*n. Let p be ((-3)/2)/(n/((-48)/9)). Solve 2*a - 4 = -p*j - a, -5*j - 3*a - 8 = 0 for j.
-4
Suppose -5*a + 5*p + 40 = 0, -14 = -8*a + 7*a + 3*p. Solve -c - 3*c = -3*s + 2, a*s = -3*c - 16 for c.
-2
Let c(g) = g**3 + 7*g**2 - 8*g - 4. Let p be c(-8). Let z = 9 + p. Let x be (126/45)/((-2)/(-20)). Solve 5*b + 4*o - 18 - 17 = 0, 0 = -b - z*o + x for b.
3
Let o be (-10)/(-45) - (-440)/45. Solve -4*l + 0*z + 2*z = -o, -5 = 5*z for l.
2
Suppose 0 = -2*b - 4*w - 12, 0 = 3*b - 5*w - 2 + 20. Let x be (-3*(-20)/b)/(-2). Solve x*g + 4*k = 8, -2*g = -k - 2 + 4 for g.
0
Suppose k + 14 = 5*k + 2*y, 4*k = 5*y + 7. Let v = 79 + -76. Solve -k*w - 4*m = 0, 0 = -2*w - v*m - m for w.
0
Let g = -2057 + 2060. Solve f = s - 1, 0*s - s + 3 = -g*f for f.
-1
Let t(q) = 6*q**2 - 5*q + 5. Let c be t(1). Solve -c = r - 2*f, -4 = -4*r + 2*f + 2 for r.
4
Suppose -28 = -3*u - 4*v, 18 + 26 = 5*u + 4*v. Let c be (-6)/u*((-11)/3 + 1). Solve 3*d - w + 1 = -c*w, -w - 4 = 0 for d.
1
Suppose -14*a = -a - 104. Solve -7 = -2*t - 5*g, -7*t = -a*t + g for t.
1
Let p be 2/(-2)*(3 + -7). Let m be 14/p - (-6)/(-4). Solve -2*f + 4*f = 3*g + 9, -m*f - g - 11 = 0 for f.
-3
Let f(h) = -h**2 - 10*h + 4. Suppose 4*z + 0*z = 60. Let g = z - 25. Let v be f(g). Solve -3*j = v*o + 3 - 20, 3*j - 13 = -2*o for j.
3
Let m = 99 - 96. Suppose -m*v = 2*f, -4*v + 0 = 8. Solve 5*j = -w - 15, f*j + 7 = -3*w + 2*w for j.
-4
Let w = -252 + 256. Solve -3*m - 7*k + 1 = -3*k, 0 = 4*m + 4*k + w for m.
-5
Let k be -12*((-6)/4 - (-9)/12). Suppose 21 = k*c - 2*c. Solve -4*r = -c*t + r + 32, -4*t + 4 = 3*r for t.
4
Suppose 0 = 4*v + 3*t - 32, 5 = 5*v - 11*t + 6*t. Let g be 10/3*(-6)/(-4). Suppose -6 = -g*w + 4. Solve -3*u + 5*j = -w*u, u - 10 = -v*j for u.
5
Suppose 3*m + 2*f = 32, 4 = 4*m + 5*f - 27. Solve -2*i = -4, -2*k + i = k + m for k.
-4
Let c = 26 + -34. Let v = 13 + c. Solve 3*q = -2*r + 10, v*q - 24 = -5*r + 1 for r.
5
Let t(a) = 5 - a - 10*a + 0*a + 21*a. Let b be t(0). Solve b*f - 3 = -h + 1, 0 = -3*f + 3 for h.
-1
Let g(h) = -h + 14. Let c be g(11). Solve -v = -u - 0 - 1, -c*v = -4*u for v.
4
Let f(i) = -7*i - 13. Let z(o) = o. Let m(j) = -f(j) - 6*z(j). Let l be m(-8). Let v = -78 + 80. Solve -l*q + 3 = v*n + 4, 4*n = -4*q - 8 for q.
1
Suppose 2*v = d + 11, v - 6*v = 4*d + 5. Solve -5*m - 17 = -2*t, -m + 2*t = v*m + 14 for m.
-3
Suppose 2*t = f - 3 - 15, 2 = -f - 2*t. Suppose 0 = 3*r - 5*g - 30, -4*r + g - 2*g = -17. Suppose r*c - 7 = 3. Solve 0 = 4*s - c*s - f, -5*s + 4 = 4*m for m.
-4
Let i = 1113 - 1106. Solve l = 4*p + i, l - 3*p = 2*l + 7 for l.
-1
Let k = -42 + 47. Suppose 0*y + 2*y = -5*r - 13, 4*y - 3*r = 39. Let s be y/18 - 96/(-9). Solve -k*a = 2*t - t - 17, -3*a = t - s for t.
2
Suppose -2*u + 3 = 11. Let g be -4 - (u + (-2 - 1)). Suppose -16 = -b - g*b. Solve b = -z - 3*c + 17, -c = -4 for z.
1
Let c be (-150)/39 - 2/13. Let a be 12/18 - ((-244)/(-3))/c. Solve 5*g - 5*u = 2*g - a, 4*u - 10 = -g for g.
-2
Suppose -5*w = -3*h + 34, -4*w + 5 = 2*h + 19. Suppose -115*x = -184*x + 207. Solve -5*i = 3*b - 23, -b = x*b - h*i + 8 for b.
1
Suppose 113 = p + 103. Let n be (-3 - 2)/((-2)/8). Solve 0 = 4*d - n, 5*d + p - 35 = -5*x for x.
0
Let p(u) = -u**3 - 34*u**2 - 35*u - 54. Let j be p(-33). Solve -4*h - 11 = 5*q, -5*h - j = -5*q + 13 for h.
-4
Let h = -1600 + 1604. Solve -h*v + 3*r = -20, 1 + 15 = 2*v - 3*r for v.
2
Let k be (-2)/6*(-9 + 9). Suppose 4*x - 2*x = -16. Let i = x + 16. Solve 4*f + i = 4*n - k, f = -4*n - 12 for n.
-2
Let m = -8 - -12. Solve 3*d + 3 = -2*v + 9, 10 = -m*v + 5*d for v.
0
Let v(f) = f**3 - 5*f**2 + 5*f - 7. Let a be v(5). Suppose 12 + a = 2*c + 4*u, 0 = 3*c - 3*u. Solve 4 = -4*z, d + 0*d + c*z + 5 = 0 for d.
0
Let k(x) = x**3 + 6*x**2 + 6*x + 1. Let z = 49 + -52. Let c be k(z). Solve 2*f - 3*a = -c, -3*a + 3 = -f - 2*a for f.
1
Let z(a) = -a**3 + 4*a**2 - 2*a - 3. Let u be z(3). Solve -5*v = 4*j - u*j - 10, -2*v = 2*j - 4 for j.
0
Let p be 4/(-14) - (-90)/21. Let r = 694 + -691. Solve o = -d - p*o - 9, d - o = -r for d.
-4
Let r be (0/1*-1)/2. Suppose r = -3*y - 3*y. Solve -6 = -2*p, y*n - p = 5*n + 17 for n.
-4
Let d be (-12)/(-21) - (1 + (-243)/(-21)). Let h = d + 15. Solve h*l - 2*s - 3 = -6, -2*l - 2*s - 2 = 0 for l.
-1
Let b = 24 + -8. Suppose v - 22 = -4*l, 2*l + 0 = -3*v + b. Solve 0 = -x - 0*x + l, -3*x = -5*r + 10 for r.
5
Let o(m) = m**3 - 5*m**2 - 13*m. Let g be o(7). Suppose 4*n - d = 2*d + 34, -4*n + 26 = d. Let b = n - g. Solve 0 = -3*i + 2*r + 2, 2*i + r + 3 - 2 = b for i.
0
Let c(n) = -3*n**3 + 22*n**2 + 19*n - 24. Let i be c(8). Suppose -9 = -3*k + 6. Solve i*p - k = 3*p - 5*f, -f + 4 = 0 for p.
5
Let c = -218 - -222. Solve n - 3 = -c*r + 1, 2*r + 4 = n for r.
0
Let z = -157 + 160. Solve 3*o + 4*n - 10 = 0, o - z*n + 18 = -2*o for o.
-2
Let d be (-160)/(-32) + (-2 - 3). Solve -4*c + i - 1 = 0, d*c = -c - i - 4 for c.
-1
Suppose 0 = -8*x + 