 4 = 0 for j.
-4
Let s = -12 + 15. Suppose 0 = s*u - 47 + 14. Let b = -7 + u. Solve b*a - 5 + 21 = 0 for a.
-4
Let u(l) = -17*l**2 - 15*l - 15. Let s = 4 - 17. Let g(a) = -8*a**2 - 7*a - 7. Let p(h) = s*g(h) + 6*u(h). Let q be p(-1). Solve 0*w = w - q for w.
2
Let g(d) = -d - 3. Let z be 3 + (-2)/4*2. Let x(u) = 3*u + 5. Let y(r) = z*x(r) + 5*g(r). Let c be y(7). Solve w - 1 - c = 0 for w.
3
Suppose -g - 3*c + 23 = 0, -2*g - c - 4*c + 41 = 0. Suppose 4*y + m - 3*m = 12, -m = 5*y - g. Let u be (y/(-6))/((-4)/24). Solve 4 = u*v - 4 for v.
4
Let d(s) = s**3 + 8*s**2 - 3*s + 4. Let f be d(-8). Let h be (3/(-6))/((-494)/(-124) - 4). Let a = h - f. Solve 20 = -a*k - k for k.
-5
Let i = 80 - 78. Solve -3 = w + i*w for w.
-1
Let x(w) = 2*w**3 - 6*w**2 - w + 11. Let i be x(3). Solve 0 = 34*h - 32*h + i for h.
-4
Suppose r = -5*f + 10, -r + 0*r = -f + 8. Let n be 0/1 + (r + 13)/4. Solve -n*b + 0*b = -2 for b.
1
Suppose 2*t - 4*r = 36, -8 = -t + r - 4*r. Let a(b) = -b**3 + 15*b**2 - 13*b - 8. Let h be a(t). Let d be (-10)/(-15) + 2/h. Solve 6 = -x + d for x.
-5
Let n = 301 - 297. Solve 2*k + 6 = n for k.
-1
Let s = 32 + -24. Solve 0 = 6*a - s*a + 4 for a.
2
Let a(q) = 3*q**2 - 14*q + 5. Let z be a(5). Solve 4*s - z = 9*s for s.
-2
Suppose -8*y = -17*y + 18. Solve -2*q - 8 - y = 0 for q.
-5
Let s(n) = 2*n**3 - 136*n**2 - 131*n - 264. Let v be s(69). Solve -194 = 5*f - v for f.
5
Suppose 0 = -33*h + 249 + 642. Solve -24 = v - h for v.
3
Suppose -5*k + 11 = -2*d, -d = -4*k + k + 8. Let i(z) = -3*z. Let r be i(-1). Suppose -2*s + 0*m + 1 = -5*m, -2*s = -r*m - d. Solve -s = -6*o + 4*o for o.
4
Let b(l) = -l - 10. Let u be -13 - -2*(-3)/(-6). Let a be b(u). Solve -a*i = -0*i + 8 for i.
-4
Let h = -14 + 18. Suppose -10*o = -h*o - 72. Solve 5*a - o + 32 = 0 for a.
-4
Suppose 247 = 6*u - 89. Let a = 66 - u. Solve -3*f - 1 + a = 0 for f.
3
Let d(f) = -6*f**3 + 2*f**2 - 2*f - 3. Let x be d(-1). Suppose 0*a - x = -a. Solve 3*t = -a + 10 for t.
1
Let u(s) = s**2 - s + 1. Let z be u(0). Let n be (-22)/(-44)*(z/1 + -1). Let x be 2*((-1)/(-2) + 1). Solve n = 2*m - 1 + x for m.
-1
Let t(j) = j + 27. Let i be t(-21). Suppose 4*m - 9 = l, -l + 5*m - 6 = i. Solve 7 = l*n - 2 for n.
3
Suppose 20*z = 16*z. Solve -3*j - j = z for j.
0
Suppose 46 = -5*b + 101. Suppose b*t = t + 50. Solve -j + t*j + 4 = 0 for j.
-1
Let k(d) be the third derivative of 0*d + 1/24*d**4 - 7*d**2 + 1/3*d**3 + 0. Let l be k(-2). Solve -w + l*w + 3 = 0 for w.
3
Suppose o - 5*c = -25, -5*c + 0 = -25. Suppose o*l = -5*l + 30. Solve -3*d = -l*d - 9 for d.
-3
Suppose -4*l - 22 = -146. Suppose -5*f + 2*f - 93 = 0. Let a = l + f. Solve a = -q - 0 + 2 for q.
2
Suppose 0 = a + 4*m + 3, -3*a = -a + 3*m + 11. Let k be ((-13 - a) + 6)*1/2. Solve k = 2*j - 5*j for j.
0
Suppose 11 = 2*u + 1. Suppose -3*r - 10 = 5*j, -2*r + 5*j + 50 = 15. Solve u*f = 5 + r for f.
2
Suppose 0 = -7*b + 48 - 6. Solve 4*o = o - b for o.
-2
Let q = 19 + -7. Suppose -7*y + 5*y + q = 0. Suppose -5*n - 35 = -5*k, -16 = -3*k - k + n. Solve y + 9 = -k*p for p.
-5
Let q be -1 + 0 + 42/2. Let i be (27/12)/((-6)/(-16)). Solve -2*f = -i*f - q for f.
-5
Let j = 22 - 20. Let c(x) = -x. Let k(n) = 15*n. Let f(s) = j*k(s) + 33*c(s). Let m be f(-4). Solve w - 5*w = m for w.
-3
Suppose 5*p - 5*f - 31 = -1, 0 = -3*p + 2*f + 19. Let r be 1/(1 - p/((-63)/(-6))). Solve r*m + 15 = -2*m for m.
-3
Let r(p) = p**2 - 6*p - 22. Let u be r(9). Suppose -u*x + 23 = 13. Solve x*z + 1 = -1 for z.
-1
Suppose -2*l = 0, 3*p - 121 = -4*l - 19. Let z = 43 - p. Solve 2*u + z = -u for u.
-3
Suppose -2*s + 29*s - 2754 = 0. Solve -103*q + s*q = 5 for q.
-5
Suppose 4*t = -t - 5. Let w be 39/(-1 - -4) + t. Solve 0 = -b + 4*b + w for b.
-4
Suppose 5*m + 0*m - 35 = 0. Suppose -5 - m = -6*d. Suppose d = -5*y - 2*c - 8, 5*y - 2*c = 10. Solve 0 = 3*b - y*b - 15 for b.
5
Let c = 41 - 38. Suppose 24 = 4*n + 3*s, c*n - 3*s + 3 + 0 = 0. Solve -5*o = n + 2 for o.
-1
Let h = -8 - -8. Suppose -3*r = -2*r - 2, h = v - r - 4. Let s = v - 4. Solve 0*g + 2 = -s*g for g.
-1
Let b be 59 + 8 - (-1 - (-4)/4). Solve -b = 5*g - 47 for g.
-4
Let m be (-1)/2 - 66/(-12). Suppose m = -5*k + 20. Let q(r) = r**3 + 6*r**2 + 6*r + 7. Let x be q(-5). Solve x*f - k*f = 0 for f.
0
Suppose 0 - 10 = -2*l. Suppose -2*z - 2*n = -2, -4*z + 6 = 3*n - 0. Suppose z = -2*x + l. Solve -r - x = -3 for r.
2
Let o(x) be the second derivative of x**3/6 - 3*x**2 + 2*x. Let d be o(10). Let q = 6 - d. Solve 0 = q*u + u + 12 for u.
-4
Let m be 0 + -3 + 2 + 5. Suppose -3*y = w + 3, -m = 4*w - 2*w + 5*y. Suppose 0 = d + 2*n - 13, d - 9 = -n + 5. Solve -d = -w*a - 0*a for a.
5
Let i be 1400/98 - (-4)/(-14). Suppose -4*t - u + 126 = 0, 2*t - 3*u - i = 42. Solve 5*x - 6 + t = 0 for x.
-5
Let l = 15 - 9. Suppose -20 = 4*z - 8*z. Solve -t + l*t = z for t.
1
Suppose -5*z + 113 = b, -5*b - 31 - 42 = -4*z. Let f(d) = -d**2 - 3*d + 22. Let w be f(-7). Let r = z + w. Solve r = -4*v - 0*v for v.
-4
Let f be (-2)/(-1)*1*(-80)/(-16). Let s(m) = m**3 - 11*m**2 + 11*m - 5. Let o be s(f). Solve -5*n + 0 + o = 0 for n.
1
Suppose 9 = -3*w, 3*j - j = -2*w - 2. Suppose -2*u = j*b - 3*u - 28, 4*b = -u + 50. Let r = 15 - b. Solve 0*d = -r*d for d.
0
Let p = 32 + -20. Suppose -32*y = -29*y - p. Solve 3*q - 5 - y = 0 for q.
3
Suppose 59 = -49*m + 598. Solve -13*x - 10 = -m*x for x.
-5
Suppose 5*w = m - 3 + 14, -3*m = 2*w - 18. Suppose 2*g = l - 6 - 2, -m*l + g = -11. Solve l = t + 7 for t.
-5
Let h(a) = -10*a + 105. Let d be h(10). Solve 0 = -d*o + o for o.
0
Let g = 31 + -30. Let a(q) be the third derivative of -q**4/12 - q**3/3 + 3*q**2. Let k be a(-2). Solve k*d + g - 7 = 0 for d.
3
Let k(j) = -j**2 + 3*j + 2. Let p = -42 - -45. Let t be k(p). Solve s + s + t = 0 for s.
-1
Let h = 6 - 8. Let y be -1 - 3/2*h. Suppose -2*z + 3*z - 4*q = 2, -y*z - q + 13 = 0. Solve -2*x + 5*x = -z for x.
-2
Let p = -3 + 6. Suppose p*y = 4*y. Suppose -6*a - 6 = -3*a, s + 7 = -5*a. Solve y = s*b + 2*b + 15 for b.
-3
Let v(c) = 2 - c**2 + 4*c + 1 + 1 + 1. Let y be v(5). Solve 2*h + y - 2 = 0 for h.
1
Suppose 0 = 3*v, -4*k - 35 = -5*v - 51. Solve -1 + 5 = k*m for m.
1
Suppose 5*s + i = -3*i + 24, 0 = 4*s + 2*i - 24. Suppose 4*f - s = 72. Let b = -14 + f. Solve -3*j + b = -0 for j.
2
Let r = -98 + 92. Let d be (-6 - 5)*r/33. Solve -d*m - m - 6 = 0 for m.
-2
Let c = -225 + 227. Solve c*m = 3*m + 4 for m.
-4
Let l be 1*2/(-4)*-4. Suppose -3*g - 15 = 0, 0 = -y - 2*g - 17 + 7. Solve 0 = -y*a - a - l for a.
-2
Suppose -15*r + 13*r + 4 = 0. Suppose -r*h - 4 = 3*k, -13 = -0*k + k + 3*h. Solve -j - k + 4 = 0 for j.
2
Let o(c) = -c + 23. Let b be o(7). Suppose 0 = -4*q + b, 3*z = -3*q + 33 - 6. Solve 0 = -0*a - z*a - 20 for a.
-4
Suppose a + 7 = 4*w, -17 = w + 5*a - 9*a. Solve -w*g + 2*g = -1 for g.
1
Suppose 0 = -3*g - 2*h + 1 + 18, 5*g + 2*h = 29. Solve -g = 7*m - 19 for m.
2
Let j = 549 + -547. Solve -3*y + y - j = 0 for y.
-1
Suppose 2*c - 20 = 4*c. Let b = c - -20. Suppose -2*i - b = -4*i. Solve -m + i = 1 for m.
4
Suppose 5*t = 4*c - 151, -5*c - 2*t + 230 = -0*t. Let z = c + -41. Let s be (-1 + 1/2)*0. Solve s = z*d + 2 + 13 for d.
-5
Let a(o) = 5*o**3 + 35*o**2 - 35*o + 41. Let j(r) = -3*r**3 - 18*r**2 + 18*r - 21. Let i(w) = 4*a(w) + 7*j(w). Let y be i(13). Solve 10 = -y*l - l for l.
-2
Let h(v) = 2*v**3 - 9*v**2 + 5*v + 1. Let y be h(5). Solve y*c = 50*c + 1 for c.
1
Let f(x) = -x + 2*x + 2*x - 3 + 0*x. Let u be f(4). Suppose -u*j = -6*j - 6. Solve -z = j + 2 for z.
-4
Suppose -z = -5 - 1. Suppose -4*g + 5*c = -104, 4*g + 0*c - 104 = c. Suppose -5 = 2*h - 3*j - g, -2*h = 5*j + 3. Solve 0 = -h*q + 4*q - z for q.
-3
Let c be 9 - 2 - (0 + 1). Suppose 87 = 4*y + 27. Suppose -y + c = -3*q. Solve -q*f - f = -20 for f.
5
Suppose -184*n = -175*n - 45. Solve -7*u = -n*u + 4 for u.
-2
Suppose -4*g = 4*w - 28, -27 = -2*g + w - 10. Solve -g*z = -70 + 46 for z.
3
Suppose -48 = -23*d + 31*d. Let n be (-51)/(-9) - (d + 140/21). Suppose -3*j + 0*j + 12 = 0. Solve n*r - 1 = j for r.
1
Suppose -6 = w - 4. Let n = 2 - w. Let p = 0 + n. Solve 0 = 2*q - p - 2 for q.
3
Suppose 3*n + 2*x + 14 = -2*x, 31 = 3*n - 5*x. Solve -n*w - w = -12 for w.
4
Let m be ((-20)/16)/((-5)/20). Suppose m*n - 1 = -1. Solve -5*x + 6 + 4 = n for x.
2
Let h = 29 + -41. Let a be (-4 + -5)*8/h. Solve 8*j + a = 5*j fo