 y = -67 + 235. Let h = -116 + y. Let k = -37 + h. Solve -5*i - k = -0 for i.
-3
Suppose 28 = 5*l + 3. Solve -4*o + l = 1 for o.
1
Suppose -2*q = -0*q - 56. Let v be (-33)/(-7) - (-8)/q. Let a(k) = -k**3 + 5*k**2 + k - 4. Let y be a(v). Solve -3*r + 16 = y for r.
5
Let u be 12 + 0 + 0 - 2. Solve 0*g - 2*g = u for g.
-5
Let b(u) = 7*u + 3. Let q be b(0). Suppose 4*l - l = 0. Solve 0 = q*j - l*j - 15 for j.
5
Suppose 4*y + 3*u = -2*u + 15, 4*u = -5*y + 12. Suppose -2*c + 5*c = 0. Solve c = -y*r - r for r.
0
Let r(q) = q**3 - 4*q**2 + 5*q - 4. Let x be r(3). Suppose 14 = 4*d + 3*l, -x*l = -7*l + 10. Solve -d - 2 = -z for z.
4
Let m be ((-36)/(-6))/(3/(-16)). Let b be 19/3 - m/(-24). Solve 5 + 5 = b*i for i.
2
Let c be (-48)/(-36) - (-4)/6. Solve -2 - 4 = -c*u for u.
3
Suppose -4*s + 24 = 5*w, 2*w - 2*s = 8 - 2. Suppose 12 = w*z + o, 6 = 5*z - 4*z + o. Solve z*p = -12 + 2 for p.
-5
Let k(s) = -s - 4*s**3 - 1 + 5*s**3 + 3*s - 3*s**2. Let m be k(3). Let q(t) = 4*t**2 - 23*t - 3. Let a be q(6). Solve -m*p = -a*p for p.
0
Let h(j) = -j**2 + 16*j - 26. Let x be h(14). Solve 0*m + m - x = 0 for m.
2
Let n be (-4)/(-16)*-2*-2. Solve 4*x = -11 - n for x.
-3
Suppose 4*c + 0 = -o + 4, 2*c + 5*o = -16. Suppose c*j = j. Solve 0 = 3*x - j*x for x.
0
Let s = 6 - 6. Solve s = -3*k - 3 - 3 for k.
-2
Let m be 6/(-10) + (-108)/20. Let v be m/39 - (-67)/13. Let w be 4/6 - 2/3. Solve w = 5*z + v for z.
-1
Suppose 0 = -2*p + 13 - 3. Suppose 5*m - 40 = -4*b + 56, -2*m - p*b = -52. Suppose 4*c - 12 = -0*c. Solve 0 = -c*l - l + m for l.
4
Suppose -5 = -2*k + 3. Suppose 0 = -k*p - p. Solve p*l - l - 2 = 0 for l.
-2
Let d = 1 + 0. Let v(s) = -s + 2. Let r be v(8). Let q be (15/(-9) - -1)*r. Solve l + d - q = 0 for l.
3
Suppose 6*x - x - 24 = -3*k, -3*k + 3*x = 0. Let n be 221/39 - (-1)/k. Solve 2 = 4*d - n for d.
2
Suppose 5*x - 27 + 7 = 0. Let n be (-27)/6*310/(-93). Suppose -4 = 3*w - 19. Solve -x*k - n = w for k.
-5
Let v(h) be the first derivative of h**3/3 - 5*h**2/2 + 4*h - 2. Let c be v(6). Solve 0 = -5*g - c for g.
-2
Suppose -3*p + p + 0*p = 0. Let y = -1 + 5. Suppose 0 = -h + y*h. Solve -4*o + h*o = p for o.
0
Suppose -8 = -2*j + z, -2 = -3*j - 5*z + 10. Solve -v - v = -j for v.
2
Suppose q - 4 = -1. Let w(y) = 2 + y**3 + 2*y**2 - 2*y - 2*y**3 + y. Let c be w(2). Solve c = j + 5 - q for j.
-2
Suppose 3 = 4*j + 11. Let a be (1/j)/(2/(-8)). Suppose -5*l + 5*p + 30 = 0, -a*l = -4*p + 5*p - 6. Solve -l*h - 10 = 6 for h.
-4
Let f(d) be the second derivative of -1/6*d**4 + 0 - d + 1/2*d**2 + 0*d**3 - 3/20*d**5. Let a be f(-1). Solve a*p + p = 0 for p.
0
Suppose 0 = 3*m + m - 20. Suppose m = -c + 20. Solve 0 = 3*v - c for v.
5
Suppose 0*k + 4*n - 9 = -k, 0 = 2*n - 4. Solve -5 - k = 2*t for t.
-3
Suppose 4*t + x - 76 = 0, -2*t + 5*x - 40 = -5*t. Solve p = 5*p - t for p.
5
Let j(q) = -9*q + 2. Let z be j(-2). Suppose k = -0*k + z. Solve 0 = 6*g - 2*g - k for g.
5
Suppose 0 = 3*f - 0*f - 15. Suppose 2*u + 0*u + f*y = 33, -13 = 3*u - 5*y. Suppose 4*d = -0*d + 12. Solve -u*x - 1 = d for x.
-1
Let v be (1 - (0 + -16)) + 3. Let g be (-6)/4*v/(-15). Solve 7 + g = 3*s for s.
3
Let c = -12 - -8. Let z be (0/(6 - 2))/c. Solve -5 = -z*t - t for t.
5
Suppose 3*n = 7*n - 16. Solve -10 = -n*x - x for x.
2
Let d = -8 + 18. Let k = 15 - d. Solve 7*g + k = 2*g for g.
-1
Suppose -2 + 0 = -r. Suppose 4*l - 20 - 8 = 0. Solve -r*k - l = 1 for k.
-4
Let j(z) = -z**3 - 3*z**2 - 2*z + 1. Let d be j(-2). Solve d - 13 = -3*u for u.
4
Let k = -6 - 19. Let s = -17 - k. Solve 0 = -4*o - 0 + s for o.
2
Let p be 1/(-2*(-4)/16). Solve 0 = -4*f - 6 - p for f.
-2
Suppose -10 = -9*z + 4*z. Let i be 12 + 0*(-3 + z). Solve -5*q + i = -2*q for q.
4
Let a be (-10)/(3 + -5) + -3. Suppose -a*r + 3*p + 21 = 0, 0 = -3*r - 2*r + 4*p + 35. Solve -6 = r*z - 0 for z.
-2
Suppose -7*k = -6*k. Solve 4*s + 11 + 5 = k for s.
-4
Let u(n) = n**2 + 6*n + 7. Let h be u(-5). Let z = h - -18. Let p be z/(-2)*12/(-10). Solve 2*y + p = 2 for y.
-5
Suppose 0 + 5 = -5*b, 0 = -4*h + 5*b + 5. Solve 4*t - t + 15 = h for t.
-5
Let h = -3 - -6. Let k be (-2 - (h + -1))/(-2). Solve v + k + 1 = 0 for v.
-3
Let p(l) = 7*l**2 + 5*l + 3. Let x(a) = 3*a**2 + 2*a + 1. Let y(t) = 2*p(t) - 5*x(t). Let s be y(3). Let w = 8 + s. Solve z + w*z + 1 = 0 for z.
-1
Suppose 0 = 4*j - 5*y - 2, -j + 5*y - 7 = -0*y. Suppose j - 4 = -d - n, -d + 3*n + 9 = 0. Solve -d*u - 2 + 11 = 0 for u.
3
Let o(y) = y**2 + 8*y + 10. Let h be o(-7). Suppose 2*j - h = 5*d, 0*d = -4*j - 5*d + 21. Solve -j*w = -8*w for w.
0
Let s(m) = 3*m - 6. Let g be s(4). Suppose 2*n - 36 + 12 = -5*d, 0 = -2*d. Suppose 0*y - 3*y = -n. Solve -y*v + 6*v = g for v.
3
Let s(i) = 3*i - 5. Let r be s(5). Solve 2*a - r + 4 = 0 for a.
3
Suppose -r + 2*r = 4. Solve -6*j = -10*j - r for j.
-1
Let w(x) = x - 5. Let c be w(5). Let i be -1*(0 + 0)/2. Let f = i - c. Solve f = 5*a - 2*a + 3 for a.
-1
Let f = -33 - -33. Solve -6 = 3*y - f*y for y.
-2
Let g(q) = q**3 - 5*q**2 - q + 6. Let d be g(4). Let h(x) = -2*x - 28. Let y be h(d). Solve 0 = -4*m - y - 8 for m.
-2
Suppose n = f + 2, -2*n - n + 20 = 4*f. Suppose -2*k = 2*c - 4, 2*c - n*c = -k - 13. Let z = -4 - -4. Solve z = w - c*w - 16 for w.
-4
Let z(d) = 2*d**2 + 4*d + 2. Let k be z(-4). Suppose 4*j + 2*x - k = 0, j - 26 = -4*j + x. Solve -6 = j*q + 4 for q.
-2
Let z(a) = -a - 3. Let i be z(-8). Suppose -3*r + i = 5*b - 2*r, -5*b + 2*r + 20 = 0. Solve -j = b*j for j.
0
Let b(u) = u**2 - 5*u - 4. Let z be b(6). Solve 0 = -z*o + o for o.
0
Suppose 4*s - 8 = -0. Solve 4*w + 2 = -s for w.
-1
Let k(g) = g**2 + 11*g + 6. Let h be k(-11). Let x be 3/h*(17 - 1). Solve r = -3*r - x for r.
-2
Suppose 2*x - x = 5. Suppose x*n + 0 = 15. Solve -b + 16 = n*b for b.
4
Suppose 2*n + 0*n + 20 = 0. Let t = -6 - n. Solve 0 = -t*d + d for d.
0
Suppose x - 3*l = 10, 2*x = -x + 4*l + 15. Solve f + x = -2 for f.
-3
Let m be 4 - (5 + (-1 - 1)). Solve 2*a = a + m for a.
1
Let a(j) = j**3 + 4*j**2 + 2. Let p be a(-4). Solve 0 = y - p for y.
2
Let k = -33 + 37. Solve 0 = -k*z + z + 15 for z.
5
Let b(s) be the second derivative of -s**4/12 - 5*s**3/6 - 2*s**2 - 3*s. Let g be b(-4). Solve -3*x + x = g for x.
0
Let n = -36 + 68. Suppose -4*j + n = -28. Suppose -2*g + 3*g = -3*u - 15, g - 3*u = j. Solve g = m - 0 + 4 for m.
-4
Let z be 4/(0 - -4) + -1. Solve z = -a + 3 for a.
3
Suppose -4*v + 32 = -0. Solve 3*q - 7 - v = 0 for q.
5
Let k(h) = h**2 - 8*h - 11. Let j be k(9). Let n be (j - (1 + -2))*-12. Suppose z + n = 3*z. Solve 3*t - z*t = 0 for t.
0
Let d be ((-4)/(-2) - 1)*0. Solve 2*b + d = 8 for b.
4
Suppose -4*w - 10 = 3*d, 2*w - 20 - 2 = 3*d. Let y be (2 + d)/4 - -4. Solve -y*u + 5 = -10 for u.
5
Suppose 0 = c - 4*c + 15. Solve c - 15 = 5*j for j.
-2
Let t(p) = -p - 4. Let c be t(-4). Solve 3*w = -3 - c for w.
-1
Let y be (-1)/(((-12)/(-8))/(-3)). Solve h + y = 3 for h.
1
Suppose 0 = -t - 2*t + 12. Solve t*r + 5 + 3 = 0 for r.
-2
Let f = 1 - -1. Solve -f*w = -0*w + 2 for w.
-1
Suppose -m + 5*a = 14, -6*m + 2*a - 1 = -m. Solve 0 = t - m for t.
1
Let b be 4/14 - (-99)/21. Suppose -g - 4*w = -0*g - 3, -4*g + 12 = 4*w. Suppose g*z = -2*o + 2, -2*z - 4 = -2*o - 2*o. Solve z*f = b*f for f.
0
Suppose -24 = -4*t + 2*t. Suppose -t*x + 7*x + 5 = 0. Solve -a + x + 3 = 0 for a.
4
Let k = -4 + 5. Let b be ((-18)/k)/(-3) + -1. Solve 0 = -b*p + 1 + 9 for p.
2
Let x = 7 - 2. Let h(k) = -x*k**3 + 4*k**3 + 3*k**2 - 8*k**2 + 6*k. Let f be h(-6). Solve f*u = u + 2 for u.
-2
Suppose -7 = -5*d - 4*s, 0 = -4*s - s - 10. Solve 6*u - d*u = 15 for u.
5
Suppose 4*r + 12 = 4*q, 2*q + 6 = 3*r - 7*r. Solve -2*u + 3*u - q = 0 for u.
1
Let i be (-5)/((-15)/(-2))*-6. Solve 3*d - 2 = i*d for d.
-2
Let d(l) = l - 1. Suppose 6*u - 3*u + 23 = -4*t, 3*t + 5*u + 31 = 0. Let i be t - (0/(-2) + -5). Let y be d(i). Solve -4*z = -y - 2 for z.
1
Let h be ((-2)/6)/(3/(-18)). Let c = 12 - 12. Solve c*q = q + h for q.
-2
Let v(p) = -p**2 + 6*p. Let t(o) = -o**2 + 6*o - 2. Let n be t(4). Let r be v(n). Solve 0 = -r*a - 2*a - 2 for a.
-1
Suppose 15 = -x + u, 2*x = -3*u - u - 60. Let y = 8 + x. Let a be ((-10)/8)/(3/y). Solve d = -4*d - a for d.
-1
Let j = 4 + 0. Suppose 3*q + 11 = z, 0*z = -4*q - z - 17. Let l = q + j. Solve -6 = -l*v + 2*v for v.
-3
Suppose 0 = -2*f + 3 + 1. Suppose -2 = -6*k - 8. Let m = 4 + k. So