= 5*x, 5*x - g = -2*b. Solve x*t + 7 = 3 for t.
-1
Let s = -16 - 5. Let x be s/14*152/(-6). Suppose -2*i - x = -2*d + i, -5*d + 137 = 3*i. Solve 3*l - d = -2*l for l.
5
Let k be (-2)/3 - 55/3. Let x = k + 22. Solve 0 = -x*i - 0*i + 12 for i.
4
Suppose 5*w = -6 + 11, -3*n - 3*w = -21. Solve n*x = -3*x + 45 for x.
5
Let r be (12/2)/(-2 - -4). Suppose t = 6*t. Let u(b) = -b + 3. Let d be u(2). Solve t = r*n - d - 2 for n.
1
Suppose 3*r - 5*c = -10, -4*c = -2*r - c - 5. Suppose 13 = 5*k - 2. Suppose k*x = 8*x - 25. Solve -r = x*s - 4*s for s.
-5
Suppose 0 = -c + 2*h + 11, 0 = 3*c - 2*h - 3*h - 31. Solve 7*w = -0*w - c for w.
-1
Let a = 11 + -9. Suppose -3*q - a*q = -4*c - 40, q - 4*c - 8 = 0. Suppose 2*i + h + 3 = 8, 0 = -4*i - 4*h + q. Solve -2 = -i*o + 1 for o.
1
Let x(a) = 7*a**2 + 4*a + 1. Let c be x(-1). Let k be 6/2 - (c + -4). Solve -k*s - 4 = -4*s for s.
4
Suppose -5*i - 5*p + 6 = 1, 2*i = p + 5. Suppose -2*n + 0*n = 4*m - 6, 4*m = -5*n + 15. Solve -z = -m*z + i for z.
-2
Suppose 2 = -2*q + 4. Suppose -p = -0 - 11. Let z = 13 - p. Solve -q = 3*b + z for b.
-1
Suppose 34*a - 423 = -83. Solve 3*y = -7*y + a for y.
1
Let q(b) be the first derivative of -2*b**3/3 - 7*b**2/2 - 4*b - 1. Let s be q(-4). Let g be (s/(-6))/(2/6). Solve 2 + g = 3*f for f.
2
Let y(c) = -6*c + 19. Let i be 2 + (-1 - (1 + -1)). Let j(o) = o - 1. Let k(t) = i*y(t) + 5*j(t). Let u be k(-11). Solve p = -4*p - u for p.
-5
Let k(q) = 5*q + 3. Let n be k(-3). Let h = n - -13. Let o = 5 - h. Solve -o*m + 11 = -1 for m.
3
Let h = 1374 + -1319. Solve 17*p - 6*p + h = 0 for p.
-5
Let x(g) = 29*g + 266. Let v be x(-9). Solve 76*u - 77*u = v for u.
-5
Let w be (-8)/(-4) - (3 - 85). Let u be 10/(-4)*(w/20 + -5). Solve u + 1 = -3*y for y.
-1
Let z(d) = -3*d - d + 3 + 23. Let u be z(6). Solve -l = u*l for l.
0
Let q(l) = -4*l**2 + 6*l. Let o(x) = 1 + 2 - 1 - 5*x**2 + 6*x - 1. Let i(a) = -3*o(a) + 4*q(a). Let h be i(4). Solve 0 = h*r + 8 + 2 for r.
-2
Suppose 4*f - 5*m = -10 + 20, 0 = 2*f - 5*m. Let s(y) = 2*y - 2. Let w be s(2). Suppose -1 = -w*o + o. Solve 4 = f*n - o for n.
1
Let z(d) = -d**2 + 9*d - 3. Let n be z(2). Let t = 18 - n. Solve t*c + 6 = 4*c for c.
-2
Let c be (-1 + 0 - -2)*-13. Let s = c + 23. Let h = s - 4. Solve w + 2*w - h = 0 for w.
2
Let a be -3 - (-7 - (-4 + 2)). Let o(d) = -13*d**2 + 7*d**2 + d**3 + 12*d**2 - 2 - d + d**a. Let z be o(-7). Solve z*y = -1 - 9 for y.
-2
Suppose 4*h - 27 = -2*t + 15, -45 = -5*h + 5*t. Solve -n = -6 + h for n.
-4
Suppose -3*l + 4*l = 0. Suppose l = u - 17*u. Solve 3*k - 9 = -u for k.
3
Let d = -29 - -37. Let i be 3 - d/(20/5). Let v be (0/5)/(-2*i). Solve v = q + 3 - 6 for q.
3
Suppose 6*l - 463 = 323. Let b = 137 - l. Solve 2*j + 20 = b*j for j.
5
Suppose -133*o + 136*o = 45. Solve 0 = -s - 4*s - o for s.
-3
Let n(o) = 4*o - o**3 - 4*o**3 + 3 + 6*o**3 + 5*o**2. Let k be n(-4). Solve 0 = -k*p + 2*p for p.
0
Suppose -2*q + 4*c - c + 26 = 0, 1 = -q - 2*c. Let s(f) = f + 4. Let o be s(-2). Solve o*d - 5 = q*d for d.
-1
Suppose 75 = 4*v - 3*d, -4*d = 3*v + 22 - 97. Let t = v + -12. Solve 2*p - t = -p for p.
3
Let a be 2/9 - 14/63. Suppose 0 = 2*o - 0*o. Let p(z) = z**3 - 13*z**2 + 11*z + 14. Let c be p(12). Solve a = 2*v + c - o for v.
-1
Let c = -3 - -6. Suppose -4*m + 3*q + 2*q + 5 = 0, 5*m - 3*q = 3. Suppose m*r = -r. Solve c*j = -r - 6 for j.
-2
Suppose -4*v = v + 80. Let b = 20 + v. Let g be 13/b + (-8)/32. Solve l + g*l = 0 for l.
0
Suppose -2*d = -4*h + 6, 5*d - 46 = 2*d - 5*h. Let k = 18 - d. Let g = -6 + k. Solve 0*l = g*l + 10 for l.
-2
Let o(k) = 4*k**2 - k - 4. Let l be o(-4). Let b = -174 + 178. Suppose -4*q - b*h = -l, -2*q + 4*h - 4 = -3*q. Solve v = 5*v - q for v.
5
Suppose -5*l + 332 + 353 = 0. Suppose 2*k - 33 - l = 0. Let v be (-68)/k + 38/10. Solve 0 = 5*g + 2 + v for g.
-1
Let l(g) = g**3 - 25*g**2 + 27*g - 63. Let y be l(24). Solve -y = -4*b + 11 for b.
5
Suppose 0 = -2*g + 2*r - 7*r, 0 = 5*r + 20. Let q(t) = 2*t - 13. Let p be q(-15). Let n = 48 + p. Solve 0*c - n*c = g for c.
-2
Suppose 4*i + 0 = 4*f + 4, 2*i = 3*f. Solve 2*j = -4 + f for j.
-1
Suppose 4*i - 5*s = 13, -7*s + 7 = 5*i - 4*s. Solve -12 = -i*p - 2 for p.
5
Let b(m) = -m**3 - 6*m**2 + 8*m - 3. Suppose -w + 33 = -4*n + 1, 0 = n + 3*w - 5. Let i be b(n). Let j = i + 13. Solve 6 = -j*f - 9 for f.
-5
Let o(f) = f**3 + 9*f**2 - f + 4. Let g be o(-9). Suppose 0 = -7*p - 6 + g. Suppose 4*h + 3*l + 2 = 0, 0*h + 5*l + 8 = -2*h. Solve -m + p = -h for m.
2
Let g be (1 + 4)*(-6)/(-15). Let i = g - 12. Let t be 6*(-2 + i/(-4)). Solve -2*f + 20 = t*f for f.
4
Let o = 128 - 88. Let h = o + -38. Solve 0 = -h*c - c for c.
0
Let d be (-5)/(-10)*-1*-1*10. Solve -2*b + d = -3*b for b.
-5
Suppose -4*b + 23 = -3*x, 5*b - 24 - 6 = 5*x. Suppose b*v = v + 20. Solve 0*z + v = -z for z.
-5
Suppose 0 = 3*v - 6*v + 15. Solve y - 18 = -v*y for y.
3
Let a be (-2)/(-11) + (-9)/(297/(-390)). Suppose -2*w - 2*w = -3*x - 15, 0 = -2*w + 4*x + 20. Solve -4*s + a = -w*s for s.
3
Let g be (-48)/(-288) - 2/(10 + 2). Solve 3 = -g*f + f for f.
3
Let g = -13 - -17. Suppose -g*z - 4*d = -20, 2*z - 12 = 2*d - 2. Suppose 4*a = 4*i + 28, -36 = -2*a + z*i - 10. Solve -a*l = -8*l for l.
0
Suppose -2*l - l - 156 = 3*n, 0 = 3*n + l + 158. Let s = -47 - n. Solve -4*v + 6 = -s*v for v.
-3
Let i = 2 + -47. Let t = 64 + i. Suppose 11 + t = 5*k. Solve n - 25 = k*n for n.
-5
Let i be (42/(-56))/((-2)/8). Solve 0 = i*u - u for u.
0
Let x be (-616)/21 + (-4)/6. Let g = x + 34. Solve -j - 7 = -g for j.
-3
Suppose 0 = 4*s - 6*s - 16. Let o = s - -13. Suppose -19*c = -15*c - 16. Solve o*b + c = -11 for b.
-3
Let n(k) = -13*k + 29. Let m be n(4). Let q = m - -24. Solve -4*w + 5 - q = 0 for w.
1
Suppose 39 - 17 = 11*b. Let p(v) = v + 3. Let l be p(-3). Solve 0 = -b*m - l*m + 4 for m.
2
Suppose -5*z - 39 = 11. Let k = -7 - z. Suppose 85 - 73 = 6*s. Solve -k*j + 2 = -s*j for j.
2
Suppose -15*p = 25 - 115. Solve o = -5 + p for o.
1
Let z(g) = g**3 - 14*g**2 - 96*g + 19. Let a be z(19). Solve a*f = -18*f - 36 for f.
-2
Let u be (-5)/4 + (-1)/(-4). Let p = u - -3. Let c = -106 + 108. Solve -c*r - 6 = -p for r.
-2
Let a(l) = -l**2 - 7*l + 4. Let f be a(-7). Let g(x) = -3*x**2 + 6*x**2 - 4*x**2 + f*x. Let o be g(3). Solve -o*p = -0*p - 3 for p.
1
Let v(r) = -r**3 - 17*r**2 - 17*r + 28. Let n be v(-16). Suppose 6*t - n = 76. Let b be 5*2/2 + 0. Solve -t = -5*p - b for p.
3
Let b = 152 - 139. Suppose 17 + 48 = b*a. Solve -a*p = 40 - 15 for p.
-5
Let b be 8 + ((-4)/(-12))/(-1)*0. Let d be (-5)/((-10)/b)*(-2)/(-4). Solve -2 - d = -4*a for a.
1
Suppose -3*y + 44 = -4. Solve 2*x = -2*x - y for x.
-4
Let v be (-25 + 25)/(-4 + 1 + 6). Solve 5*y = -0*y - v*y for y.
0
Let y = 4 - -1. Suppose y*r + 4*q - 25 = 2*r, -3*q + 21 = 3*r. Suppose 5*h - r = 4*h. Solve h = -j - 2*j for j.
-1
Let z = 1190 - 1188. Solve g + g = -z for g.
-1
Let s(o) = -63*o - 302. Let j be s(-5). Solve -33 + j = -4*g for g.
5
Let m(f) = -f**3 + 57*f**2 - 212*f + 2. Let z be m(53). Solve 20 = -z*h + 24 for h.
2
Let t be 24/(-84) - (44/(-7) + 1). Suppose -4*c + t*s - 5 = 0, -5*c - 3*s + 20 = -4*s. Suppose 16 = -4*p - 4, 0 = -4*m + 3*p + 15. Solve m*k - 20 = -c*k for k.
4
Let i(x) = 6*x + 3. Let r be i(0). Solve -r + 0 = 3*b for b.
-1
Suppose -13*c - 7 = -124. Solve 0 = -5*n + c*n for n.
0
Suppose 5*b = -k + 54, -3*k + 75 = -k - b. Suppose -7*s - k = -4*s. Let n = -5 - s. Solve n = a + a for a.
4
Suppose -2*q = 6*q. Let n(j) = j**2 - 4*j - 2. Let m be ((-10)/(-4))/((-5)/(-10)). Let s be n(m). Solve 0 = -q*y - s*y for y.
0
Let m(a) = 2*a**3 - 3*a**2 + 1. Let u be m(2). Suppose u*n + 334 = -y, 0 = -4*n + 3*y - 0*y - 252. Let z = -41 - n. Solve 3*r - z = -2*r for r.
5
Suppose 2*h - 4*a = 8, -4*h - 33 + 64 = -5*a. Solve -h*f + 4*f = f for f.
0
Let r(c) = 49*c + 102. Let z be r(-2). Solve -20 = 6*q + z for q.
-4
Let b = 20 - 17. Suppose 17 = 3*u - 2*x, x = 2*x - 2. Let f = 10 - u. Solve -6 + b = f*a for a.
-1
Suppose 770 = -3*a + 806. Solve -14 = a*d + 34 for d.
-4
Let h(t) = t**2 + 2*t - 397. Let y be h(-21). Solve -y*z - 6*z - 8 = 0 for z.
-1
Let h = -163 - -239. Solve -79*f = -h*f + 15 for f.
-5
Let b = -15 - -2. Let y(i) = 2*i**2 + 28*i + 29. Let h be y(b). Suppose l + 12 = 3*v - 0*l, 5*l + 9 = -2*v. Solve -h - v = -3*q for q.
2
Suppose 0 = 3*y + 15, k + 5*y +