= -l + 10 for l.
2
Suppose -3*o - o + 2*u + 308 = 0, 2 = u. Let r be (o/208)/((-1)/(-8)). Suppose -2*c = c - 12. Solve 4*t + 4 = -3*k, -c - 6 = -r*t + k for t.
2
Suppose 176*l - 360 = 131*l. Solve -i + d = l - 4, -12 = -2*i - 2*d for i.
1
Suppose -17*k - 320 = -37*k. Solve -3*n + 18 = 4*v, 2*n = -2*v - 2*v + k for n.
2
Suppose -50*y - 17*y = -201. Solve -2*v + 0 = y*a + 4, -3*v = 4*a + 5 for v.
1
Let g = 7 + -2. Suppose -18 = -3*l + 5*o - 5, 34 = g*l + 4*o. Suppose 0*w - l*w = -192. Solve 3*f + 5*k = -w, -k + 24 = -4*f - 3*k for f.
-4
Let c(r) = r**2 - 15*r + 7. Let v be c(15). Suppose -v*q = -5*q - 6. Let m be ((-2)/(-5))/(3/15). Solve -2*y = -2*s - 4, q*s = -m*y - 12 - 9 for s.
-5
Let u be (-14 - -10 - 6) + 12. Solve 2*s = -2*n + 2, 2*s - 3 = -5*n + u for n.
1
Suppose 0 = 7*x - 29 + 8. Solve -3*p - 2*p - 12 = -x*n, 4*p = 0 for n.
4
Suppose -4*a + 0*q + 52 = -2*q, 6 = 3*q. Let h be -1*(-7)/(a/6). Solve 8 = -3*s + 23, -2*c + s = -h for c.
4
Let v = -35 + 38. Solve v*r + 2*c = 17, -5*c + 0*c + 11 = -3*r for r.
3
Let j = -150 + 155. Solve -15 = 2*r + j*v, 6*r = r - v - 26 for r.
-5
Suppose -h - 4 = -5*h, -5*d - 3*h = 22. Let q = 8 + d. Let m = -5254 - -5256. Solve m*s + 7 = -2*s - 3*x, 3*s + 5*x - q = 0 for s.
-4
Suppose 4*z = -d - 1, -4*z - d = -2*d + 7. Let k be 8 + (z - (-1 - -3)). Suppose 3*i + 21 = 3*o, 5*i + 40 = 2*o + 11. Solve 0*t + o*t = s - k, 2*t = 2*s for s.
-5
Let d = 14 + -9. Suppose i = -h, 4 = -d*h + 3*i + 36. Solve w = -3*v + 6, h*v = -0*w - 3*w + 13 for v.
1
Let x(h) = h**3 - 2*h**2 - 3*h + 2. Let o be x(3). Suppose -o*y = -y. Let s be 1 - y - (-20 - 2). Solve 0 = -2*g - q - 1, 4*g = 4*q - q + s for g.
2
Let n be 4/22 - 210/(-55). Solve 0 = -m + 2*c + 9, 2*m + n*c + 27 = 7*m for m.
3
Suppose -3*y = -6*y - 12, 3*a - 5*y + 67 = 0. Let b = a + 32. Solve -k - b = -3*f, -3 = -f - 2*k - 2 for f.
1
Let r = -1 + 10. Suppose -2*b + r + 17 = 5*u, -4*b = -3*u. Let d be -5*(-6)/(2 - 0). Solve v + 17 = -3*g, -3 = 2*g + u*v + d for g.
-5
Let z be 1 + (-7)/7 + 3. Solve z*q + 3*m = 3, 0 = -q - 4*m + 7*m + 5 for q.
2
Let h(t) = -t**3 - 2*t**2 + 2*t - 1. Let p(y) = -y. Let k be p(-4). Suppose -2*w + k = 10. Let g be h(w). Solve -2*a - 7 = -5*z, -3*a + 23 = g*a + z for a.
4
Suppose 32*g = 43*g - 55. Solve -5*s + 5*h + 16 = 3*h, -2*s + g*h - 2 = 0 for s.
4
Let p(g) = g**2 + 15*g. Let h be p(-15). Suppose -s = -3*j - 38, h = j + 3*j + 16. Solve b - s = -b + 5*y, y = -4 for b.
3
Let r = -175 - -82. Let k = 95 + r. Solve 2*c - 9 = 2*u + u, k*u = -c - 6 for u.
-3
Let q = -463 - -467. Solve -4*z - 8 = -4*t, -4*z - q*t - 16 = -2*z for z.
-4
Suppose 3*f = -2*k + 67, -f + 109 = k + 3*k. Let i = -21 + k. Solve 3*h + 2 = -v + i, -1 = -4*v - h for v.
0
Suppose 12 = 3*r + 3. Suppose 2 = t - r. Solve -7*v + 3*v - 10 = 5*f, 2*f + 4 = t*v for v.
0
Let h = 317 + -314. Solve 4*p + h*q + 38 = 7, -5*q - 41 = 4*p for p.
-4
Suppose -4 + 18 = 7*u. Suppose 3*p + v - 1 = u*p, p = 2*v - 2. Solve p = -0*d + 2*d + 5*s + 21, 5*d - 2*s = 20 for d.
2
Let v = -2 + 16. Solve 5*z = -5*f + 25 - 5, -3*f + v = z for f.
5
Let p(n) = 14 - n**2 + n - 12 - 2*n. Let l be p(-1). Solve -5*c + 8 = 3*w, 5*c + w - 8 = -l for c.
1
Let w be (-34)/(-3 - -4) - (-4 + 8). Let u = -10 - -52. Let p = u + w. Solve 4*b - q + 4 = -2, -p*q = 8 for b.
-2
Suppose -2*q - 231 = -235. Solve 0 = 2*d - 4*g + 14, 0 = -5*d - q*g - 3 + 16 for d.
1
Suppose 8 = -34*m + 144. Let j(a) = -4*a + 4. Let t be j(-3). Solve y - 2*f = -y + m, -5*y + t = -2*f for y.
4
Let h be (13/(-3) + -1)*-3. Solve -5*p - 2*j + 13 = j, 4*j = -h for p.
5
Let f = 2 + 2. Let m be 7/(-3) + -2 + 8/6. Let b(x) = -x. Let n be b(m). Solve -n*g - 12 = 2*o, g + o + 1 + f = 0 for g.
-2
Let a be -4 + (0 - -6) - (5 + -3). Solve -2*d - c - 15 = a, d = -4*d - 5*c - 50 for d.
-5
Suppose 2*l = -0*l + 24. Let b(z) = z**2 - 12*z + 4. Let t be b(l). Solve -t*v = -2*f + 4, 0 = -3*v - 2*v - 5*f - 35 for v.
-3
Suppose -128 = -12*z - 44. Solve 4*n - 15*g - 1 = -16*g, -2*n - 3*g = z for n.
1
Let h(s) = s**3 - 16*s**2 + 3. Let y be h(16). Suppose 17 = x + y*t, 3*x + t - 10 - 1 = 0. Solve -z = d + 9, -4*z - 32 = x*d + d for d.
-4
Let q(n) = 7*n - 7 - 3*n + 7*n - 4*n. Let i be q(3). Let a(g) = g**2 + 6*g - 2. Let x be a(-7). Solve 2*y = 5*r + i - x, -r + 6 = -3*y for r.
-3
Suppose 3*l = p + 25, l - 4*l + 5 = -5*p. Let v be 35/l - 3/6. Solve 4*d - 8 = 0, -o - v*d + 1 + 2 = 0 for o.
-3
Suppose p - 2*u = -2*p + 101, -2*u = 2. Let v = 37 - p. Solve -5*d + v*f - 5 = 2*f, -5*f = 0 for d.
-1
Let m(s) = -35*s - 204. Let y(v) = -52*v - 306. Let i(k) = -7*m(k) + 5*y(k). Let q be i(-7). Solve -2*u - q*r = -7*u - 11, -1 = u - r for u.
-4
Let h be ((-44)/(-4))/22*0/1. Solve 3*r + t + 19 = 6*t, 4*r - 5*t + 17 = h for r.
2
Suppose -23*n = 22*n - 135. Solve -2*t = 2*b + 8, -3*t - b - 14 = n*b for t.
-2
Let s be (360/5)/6 + -2 + 1. Solve -4 + 1 = -2*f - 5*p, -p = 3*f - s for f.
4
Let g(p) = 2*p**2 + 1. Let n(m) = -3*m + 44. Let t be n(15). Let j be g(t). Solve 5*q - 3 = j*x, -q + 18 = q + 3*x for q.
3
Suppose -2*r + 34 = g, 0*r = -r - 2*g + 23. Let u(d) = -5*d**2 + 0 + 3*d**3 + 2 - 4*d**3 - 4*d. Let n be u(-4). Solve -c = 5*f - r, -n*c = 3*c + f + 21 for c.
-5
Suppose -5*j + 4*j = -d, -4 = 4*j - 5*d. Suppose 3*w - 5*r + 18 = 0, 166*w - 163*w - 36 = -4*r. Solve w = -4*a - j*o, -3*a + 6*o - 4*o = 8 for a.
-2
Suppose 0 = -5*j + 23 - 68. Let k(l) = -l**2 - 9*l - 2. Let u be k(j). Let y be (6 + -7)/(u/8). Solve w + y*t - 16 = -3*w, -25 = -4*w + 5*t for w.
5
Let x(m) = -5*m - 13. Let y be 32/8 + 2/2. Let j(r) = 6*r + 14. Let o(p) = y*x(p) + 4*j(p). Let l be o(-11). Solve n + l*u = -1 - 1, 5*n + 3 = -3*u for n.
0
Suppose -4*k + 4*a + 15 = -5*k, 4*k - 25 = a. Let s = 47 - 27. Suppose s = 4*r, 0 = -k*q - 6*r + r + 45. Solve -2*y = -q*y - 4, -5*y - 4 = -3*w for w.
-2
Suppose 41 - 392 = -27*h. Let p = 4 + -5. Let j be (0 + p)*(-4 - -1). Solve -5*o - h = 2*m, 0*o + 17 = -5*o - j*m for o.
-1
Let b be (-3 + 3)/(6 + (-20)/4). Let u(w) = -w**2 + 13*w - 4. Let r be u(5). Solve -4*x + 4*i + r = b, -i + 6 = x + x for x.
5
Suppose -5*h + 0*z + 23 = 3*z, -21 = -4*h - 5*z. Solve 0 = -h*m + 5*b + 3, 0*m - 5*m + b = 12 for m.
-3
Let w(y) = -4*y - 4. Let a(x) = 5*x + 3. Let f(n) = -5*a(n) - 6*w(n). Let d be f(6). Solve 0 = 2*s - 5*u - 25, 4*u + 23 = d*s - 4 for s.
5
Let v(q) = q**2 - 4*q - 7. Let l be v(6). Let f(p) = 2*p - 23. Let w be f(12). Let m be 6/(-2) + l + w. Solve 0 = -m*h + x, -3*h - 2*x = -5*h - 4 for h.
1
Let y = -25 + 29. Suppose -4*p - 3 - 1 = y*x, -4*x = p - 8. Solve x*l = 2*a + 22, -6*a + 2*a - 12 = 2*l for a.
-5
Let q(n) = -46*n - 9*n**2 + n**3 + 47*n + 0 - 11 - 4*n**2. Let j be q(13). Solve -4*d + 12 = -j*h, h - 5*h = -4*d + 12 for d.
3
Suppose -2*u + 19 = 1. Let k(z) be the first derivative of -z**4/4 + 7*z**3/3 - z**2 - 21*z - 31. Let a be k(6). Solve -2*x - 1 = 2*l - 9, -u = -a*l for x.
1
Let p be 2 + (-3)/((-15)/(-155)). Let t = p - -31. Solve 0 = -5*c + s - 5, -t*s = -c + 2*c + 1 for c.
-1
Let x(z) = -12*z**2 - 27*z - 2. Let c be x(-2). Solve o - b + 19 = 5*o, 5*b - 31 = -c*o for o.
4
Suppose -5*a = -80 - 0. Let k(q) = -5 + 3*q**3 + 12*q**2 + a*q - 26*q - 4*q**3. Let r be k(11). Solve 0 = -5*l - 2*z - 2, -16 = -r*z + 2*z for l.
-2
Let q = 414 - 412. Solve -q*m = -m + 3*u + 8, -4*u = -4*m + 16 for m.
1
Let i be (4/6)/((-2)/(-24)). Suppose 4*o - i = -0*o. Solve 4*u - w = 0, -2*u - 8 = o*u - 3*w for u.
1
Suppose o = c + 2*c - 23, 2*c + 4*o = -8. Suppose -5*b + x + 7 = 0, -2*x = 2*b - 4 - c. Solve -2*f = b*w, 2*f + 12 + 0 = 2*w for f.
-3
Let g be -1 - (-1)/(2 + -1). Suppose -2*y = -3*d + 14, 0 = -5*d + 4*d - 5*y - 18. Suppose 4*w - 5*w = -d. Solve g = w*j + 7 + 3, 3*j = -5*c for c.
3
Let j be (3 + -1)/(6/9). Solve -3 = j*m + 3*o, 5*m - 3*o = -0*o + 19 for m.
2
Let q(s) = s**2 + 3*s - 3. Let b be q(-7). Let f = 27 - b. Solve f*d = -d + o - 2, -4*o - 9 = 5*d for d.
-1
Let g = 67 - 71. Let s be (g/(-10))/(0 - 1/(-30)). Solve 3*o = -0*k - 5*k - 37, 0 = 2*o - 4*k - s for o.
-4
Let b be (5*(-2)/(-4))/(16/160). Let r = b + -22. Suppose 5*j - 1 - 19 = 0. Solve 0 = 2*x - j*m + 16, -x + 5*m - 20 = r*x for x.
0
Suppose -648 = 2*c - 4*u, 2*c - 5*u + 755 = 105. Let j be (-2)/(-11) + c/(-55). Let l = 15 - j. Solve -4*d + l + 19 = 4*s, -2*d + 2*s - 2 = 0 for d.
3
Let b(j) = -5*j - 21. Let q = 10 + 