*g + 2*g, 5*g + 25 = 0 for d.
3
Let f(g) = 13*g**3 - g**2 - 3*g + 7. Let c be f(2). Let h = c - 97. Solve -a + 11 = -4*q, 0*q = -3*a + h*q + 17 for a.
3
Let l(u) be the second derivative of u**5/20 + u**4 - 13*u**3/6 + u**2 + 11*u. Let t be l(-13). Solve -4*h - 31 + 7 = -t*g, 19 = -3*g - 5*h for g.
2
Let g(u) = -u + 6. Let x be g(0). Suppose x*k = k. Let q be (11/(-88))/(6/(-192)). Solve r - y - q = k, -16 = -3*r + 5*y + 2 for r.
1
Let b(m) = -m**2 - 7*m + 20. Let y be b(-9). Let o = y + 17. Let k = 21 - o. Solve 24 = 4*g - 4*f, -3 = k*g - 0*f + 3*f for g.
3
Suppose 5*h = 92 - 42. Solve 2*z - h = -u, -3*z = -2*z - u - 5 for z.
5
Let u be (-6)/((-147)/(-36) - 4). Let o be u/9*(-1)/4. Let z(g) = -g**2 + 9*g - 6. Let a be z(8). Solve 0 = -5*t + 4*f + 8, 5*t - 18 = a*t - o*f for t.
4
Suppose -2*d = -8*d + 24. Suppose 14 = -y - 5*a, -a = 5*y + 4*a + 10. Let q(t) = 4*t - 1. Let f be q(y). Solve d = 2*p + 5*s - 4*s, -f*p - 4*s = -11 for p.
1
Let n(w) = 9*w - 2. Suppose 4*r - 20 + 8 = 0. Let d be n(r). Suppose 0*x + d = 5*a + 5*x, 0 = 5*a + x - 13. Solve v - 2*v + q + 4 = 0, 0 = a*q for v.
4
Let g be ((-120)/(-45))/(4/(-6)). Let k be ((-2)/g)/((-18)/(-72)). Solve 2*j + 2 = k*s, s - 4*j - 4 = -4*s for s.
0
Suppose 2*w + 12 = -2*w, 4*q - 3*w - 9 = 0. Suppose q = 5*s - 14*s. Solve s = -t + 2*b + 6, 0 = -4*t - t - b + 8 for t.
2
Let a(t) = t**2 + 2*t - 3. Let p be a(-6). Suppose -20*c + p = -13*c. Solve 3*d - 7*d - c*v + 5 = 0, 1 = -v for d.
2
Suppose 60*k - 58*k - 14 = 0. Solve j = 3*v + 3, k*j - 3*v = 3*j + 12 for j.
3
Let m(v) = 13*v + 36. Let k be m(-8). Let z = k + 74. Solve 3*q + 2*t + 19 = 0, -17 = -q - 2*t + z*t for q.
-3
Let t = 229 + -220. Solve -3*i - 3 = -6*i, -t = 4*f - i for f.
-2
Let w = 6 - 0. Suppose x = -3*i + 2*i + 2, 3*i = 4*x + w. Let l be 0 + x + -2 + 4. Solve -5*f = l*v - 19, v + 3*f - 11 = -0*v for v.
2
Let z = -448 + 471. Solve -4*s - 3 = 4*g - z, -3*g + 11 = s for s.
2
Suppose -2*l = -4009 + 3929. Solve 0 = -4*g + 5*m - 4, 15*g - 20*g + l = 5*m for g.
4
Suppose 0 = 29*d - 28*d - 5. Let i = 13 - 8. Solve 0 = -i*f - d*o - 5, -o = 3*f - 6*o + 3 for f.
-1
Suppose -5*k - 125 = 85. Let z = -22 - k. Solve h - z = 5*w, 0 = -4*h - 2*w - 3*w - 20 for h.
0
Let o be (-18)/(-21) - (224/49)/(-4). Solve -q = -j, -j - o*q - 20 = j for j.
-5
Let z = 38 - 21. Let w = -12 + z. Solve 5*c + w*s + 22 = 62, 5*s = 20 for c.
4
Suppose 2*j = 2*f + 1 + 1, 4 = 4*f + 4*j. Suppose -5*h + a - 2*a + 18 = f, 0 = -h - 2*a + 9. Suppose 12 = -x + 3*x. Solve -5*k = 5, -5*k = 2*p - h*k + x for p.
-2
Let q = -22 + 25. Let z be 1/(-5*4/(-140)). Solve m = -m - 3*n + z, q*n = 2*m - 1 for m.
2
Let s(m) = 3*m**3 - 5*m**2 - 3*m + 7. Let q be s(2). Solve -q*w = -5*d + 50, -7*d - w = -2*d - 20 for d.
5
Suppose l + 3*l - 2 = -d, d - 2 = 0. Suppose l = -2*q + 5*q - 6. Solve -10 = -w + z, 0 = 3*w - 0*w + q*z - 5 for w.
5
Suppose 0*x - 10 = -2*x, 3*x + 2 = w. Let i = w + -5. Suppose 0 = -2*h + 6*h - i. Solve -2*d + 4*b - 14 = 0, h*b = 5*d - b + 29 for d.
-5
Let h = -154 - -156. Solve 3*n - r - h = 14, 0 = -r - 4 for n.
4
Let l = -200 + 204. Solve c = l*v - 8*v - 17, 0 = -3*v - 5*c for v.
-5
Let a = 42 - 77. Let j = -26 - a. Solve -t + 12 = 3*f - 0*f, t = -2*f + j for f.
3
Let y(h) = 2*h**2 - 4*h + 2. Let w be y(3). Suppose -2 = -9*k + w*k. Solve -1 = 2*n + 3*r - 6, 0 = k*n - 3*r + 25 for n.
-5
Suppose -2 + 5 = l + 2*g, l + 4*g - 7 = 0. Suppose 5*b = -3 - 12. Let r = l - b. Solve y - r*y = -4, q + 16 = 4*y for q.
0
Suppose 17 = q - 5*k, 0 = 4*q - 2*k - 18 - 14. Suppose 0 = 3*l + 5*y - 0*y + q, -4*y - 5 = 3*l. Solve -l = 3*b + 3*g - 7, b = 4*g - 3 for b.
1
Suppose 3*g - 3*o - 9 = 0, 18 = 3*g - 4*o + 11. Solve 3 = -2*f - g*l, 5*f + l = -l - 18 for f.
-4
Let s(y) = -40 - y + 18 + 23. Let t be s(-2). Solve -2*r = 4*i - t + 1, -2*r + i = -7 for r.
3
Suppose 4*q = 6*q - 8. Let a = -1 + 17. Let i(d) = -d**2 - 3*d + 46. Let k be i(-8). Solve -4*b - 3*f = -k*f + 23, -q*b - a = 4*f for b.
-5
Suppose -6*z + 4*z = -10. Let r be (9 + -12 + 3)/1. Solve r = -z*s - 5*b, 4*b = -4*s + b for s.
0
Let i(o) = o**3 - 4*o**2 + 3*o + 2. Let g be i(3). Let x(c) = c**2 - 14*c + 48. Let w be x(6). Solve f + g*p = 3, -2*p = -w*p + 2 for f.
5
Suppose -25 = 312*b - 317*b. Solve x - 2*v + b = 0, -3*x - v = -x - 10 for x.
3
Let z be ((-6)/10)/((-21)/105). Suppose u - 4*r = -u + 20, 0 = 2*u - z*r - 17. Solve -u*n + 16 = -4*d - 4, -3*d - 10 = 2*n for n.
1
Let x be 2*((-845)/(-10))/13. Solve 2*p - x = -5*b, p - 4*b + 13 = -0 for p.
-1
Let w = 4 + -2. Let x(b) = -b**3 + 5*b**2 + 8*b - 8. Let v be x(6). Suppose v*o = k - 5 + 9, w*o - 2*k + 4 = 0. Solve -s = -l, -o*s - 3*s = 3*l - 8 for l.
1
Let k be 10/(-4) + 810/108. Solve 0*v = r - 4*v + 9, -4*r - k*v = 15 for r.
-5
Let n be (-14 - (1 - 4))*1. Let q be 5 + (1 + 0)/(n + 10). Solve -2*r = -q*i - 22, -i + 7 = -2*i + r for i.
-4
Suppose -22*d + 23 = i - 18*d, 3*d = -2*i + 46. Solve 2*q = 4*q + v - 9, 4*q = 3*v + i for q.
5
Let t = 268 + -256. Solve -q + t = -4*q + y, 13 = -2*q - y for q.
-5
Let w be 3/(-12) - 1131/(-12). Let v = -73 + w. Solve -6*y - v = -y - 2*d, y + 9 = -2*d for y.
-5
Let w be 2*4/24*30. Suppose 35*j - 30*j - w = 0. Solve -j*i + 0*i = -z - 7, 20 = -4*z for i.
1
Suppose 0 = 4*v + 3*v - 28. Suppose -v = 2*k - 14. Let g = 3 + -1. Solve 0 = -4*c - 0*x + g*x + 18, -29 = -k*c - 4*x for c.
5
Let b(t) = -139*t + 296. Let n be b(2). Suppose 4*m - 16 = g, 6*m - 9 = m + 4*g. Solve -4*w + m*v = -17, -2*w - n - 6 = 4*v for w.
-2
Let p be (-1)/(-2) - (-27)/6. Suppose w - 9 = -4*a, 4*w - 14 = -p*a - 0. Let u = 322 - 320. Solve -4*z + 9 = -4*g + 5*g, -a*z + u = -2*g for z.
2
Let y(g) = 5*g. Let c be y(2). Suppose 2*l - 9*s = -6*s + 32, -l + 23 = -5*s. Let q = l - c. Solve 2*a - 10 = -4*f, -3*f + 9 = f + q*a for f.
3
Suppose 19*b = 15*b. Suppose 5*d + 4*g + 2 = b, 3*g + g + 18 = 3*d. Solve d*l - 4 = 2*o, -l + 8 = 5*o - 0*l for o.
1
Let b = -39 - -7. Let o = b - -32. Solve -w - 4*j = 0, -4*w = -o*w - j for w.
0
Suppose 2*i = 4, w + i + 4 = 3*w. Let k(f) = -f**3 + 75*f**2 - 152*f + 445. Let b be k(73). Let d = 3 + 0. Solve -5*g - b = w*l, -d*g - 7 = -0*g - l for g.
-2
Suppose -2*n - 4*x = 552, 36 = n - 4*x + 324. Let r be (-7)/4*2*n/98. Solve 0*v = 5*o + 4*v - r, -2*v = -o + 2 for o.
2
Suppose 0 = 40*i - 514 - 286. Solve 5*m - 4*p = 1, -35 = m + 3*p - i for m.
-3
Let i = -27 + 34. Suppose 0 = i*p - 2*p - 60. Suppose 4*q = 5*z - 180, -z + 3*z - 105 = -5*q. Solve -3*s + p = -f, 3*f = -5*s - 2*f + z for s.
5
Suppose -5*s + 18 = -37. Let v(n) = -s + n + n**2 + n - 6 + 6. Let u be v(5). Solve -2*o = -2, -5*j + o - u = 2*o for j.
-5
Let j = -8 - 7. Let r = 7 - j. Let k = r + -22. Solve 5*b + u - 16 = k, -4 = 4*b - u - 15 for b.
3
Let u be 15/7 + 39/(-273). Suppose b - 3*i = -1 + 19, -2*b - 4*i = 4. Solve z - u = 4*z + l, -3*l - b = 4*z for z.
0
Suppose 172 = 21*g - 80. Solve -5*w = b - g, 4*b + 0*w = -w - 9 for b.
-3
Let w(v) = 1. Let s(j) = 5*j + 13. Let p(u) = -s(u) + 6*w(u). Let m be p(-2). Solve -5*i - 2 = z + 14, 0 = m*z + 3 for i.
-3
Suppose 100 = 2*y + 3*y. Suppose -y = -2*k + 2*n, n - 3*n - 35 = -5*k. Suppose k = -5*s, -3*g = -7*s + 2*s - 14. Solve -17 - g = -4*b, 14 = -a + 2*b for a.
-4
Suppose -3*t = -4*t + 4*n + 10, -2*t - 4*n - 4 = 0. Solve 3*q - 2*i = 2*i, 5*q + 14 = t*i for q.
-4
Let k be 19 - -5 - (-1 - -3). Let s = 1 + k. Suppose -s = -5*g + 2. Solve 6*t - 3*t - g = -4*d, -2*d = -4*t - 8 for t.
-1
Suppose v + 2*d = 13 - 2, 3*d - 24 = -4*v. Suppose -4*p = -v*p - 10. Suppose 5*z + 20 = p*z. Solve -z*f + 0*h - 18 = h, -5*f - 4*h - 28 = 0 for f.
-4
Let r(v) = v**3 + 11*v**2 + 9*v - 6. Let d be r(-10). Let f = 81 - 44. Let y be f/2 + (-7)/14. Solve -y - 6 = -4*n + d*i, -5*i = 10 for n.
4
Let t be 3/(-6)*16 + 2 + 1. Let c(y) = -5*y - 20. Let p be c(t). Solve 14 = 5*d + 4*z, -d + p*z = -4*d + 11 for d.
2
Let l(g) = g**3 + 11*g**2 + 2*g + 27. Let j be l(-11). Let z be (4/(-14))/(j/(-70)). Solve -5*r - 5*u - 5 = 0, -2 = z*r + 5*u + 1 for r.
-2
Suppose 3*h - 8 = -x + 3, -2*h + 4*x + 12 = 0. Let y be h - -1 - (10 - 7). Solve p = g + y, 0 = -2*g + 4*g + 4*p + 22 for g.
-5
Suppose -2*s = -5*y + 73, -191 = 4*s - 5*y + 4*y. Let z = s - -50. Let v = 4 - 2. Solve v*m + 4*f = -14, -3*m + f - z = 6 for m.
-3
Let q = 14 + -16. Let l(z) = -z**2 - 4*z + 1. Let r be l(q). Let 