) = y**3 + 0*y**3 + 144*y**2 + 4 - 143*y**2 - 1 + 2*y. Let u be q(0). Let o = 8 - 4. Solve -7 = -o*b - u for b.
1
Let w = -49 + 51. Let h(c) = -c**3 - c**2 + 3*c - 1. Let r be h(-3). Solve 0 = 2*a + w + r for a.
-5
Suppose 105 = 9*h - 2*h. Suppose -10*r + h = -9*r. Solve -3*x + 0 = r for x.
-5
Suppose -205 = -10*y - 135. Solve y*c = 15*c - 6*c for c.
0
Suppose -18*v = -19*v. Suppose -4*x + v + 12 = 0. Solve -4*g - x = 13 for g.
-4
Suppose -2*p - 4*k = -k - 57, -83 = -3*p - 2*k. Let q(o) = o**3 - o**2 + 30. Let x be q(0). Let h = x - p. Solve t - h = 4*t for t.
-1
Let b be ((-1)/(-2 - -4))/((-1)/4). Solve u = 2*u + b for u.
-2
Let i be 1/(1/(-3)*(-4)/4). Solve 1 = i*o + 7 for o.
-2
Let s = 7 - 0. Let k(u) = s + 8 - 5 + u. Let g be k(-8). Solve 3*c - c = g for c.
1
Suppose 0 = w + 5*n + 14, -4*w = 4*n + 8 - 0. Solve w = -r + 6 for r.
5
Let f be (-10 - -75)*(-4)/(-10). Let y be (-91)/f*(-20)/7. Suppose 5*o + 25 = y*o. Solve -o*a - 5 + 0 = 0 for a.
-1
Suppose -5*u + 4*b + 260 = 0, -5*u - 3*b - 25 = -285. Suppose d = -3*d + u. Let x = d - 10. Solve -x = -k - 0*k for k.
3
Let q(i) = i**2 - 3*i + 10. Let n be q(5). Solve 4*d - n = -0*d for d.
5
Suppose 2*g = -5*x - 18, -2*g + 15 = g - 3*x. Suppose 0 = 4*r - 11 - g. Solve -r*w - 5 = 4 for w.
-3
Suppose 0 = 5*p - 5*z - 35, 5*z = 2*p - 17 - 0. Let m = -1 + p. Suppose -y + m*w = 0, -3*w + 92 = 4*y - 0*w. Solve 3*a + y = -a for a.
-5
Let a(w) be the second derivative of -w**3/3 - 7*w**2/2 + 14*w. Let r be a(-6). Solve 2 - 12 = -r*b for b.
2
Let o be (-3)/((-12)/(-76)) + (5 - 1). Let r(g) = 4*g + 63. Let d be r(o). Solve 0 = j + d*j - 20 for j.
5
Suppose 9 + 13 = -2*x. Let f be 256/(-18) - (3 - (-116)/(-36)). Let y = x - f. Solve -i + 1 = -y for i.
4
Let k = -4 - -4. Suppose a - 6 + k = 0. Suppose -2*b - b + a = 0. Solve -b*u = -u for u.
0
Suppose 0 = 269*w - 256*w - 195. Solve -9*q + 4*q + w = 0 for q.
3
Let p(a) = -a**3 - a**2 + 2*a + 4. Let x(f) = f - 2. Let h be x(2). Let r be p(h). Solve k = -r*k + 10 for k.
2
Let v be (1 + (-4 - 0))/((-6)/10). Let z be 130/(-13)*(-4)/v. Solve -c + z = c for c.
4
Let y(t) = t**2 + 9*t + 16. Let z(u) = 5*u - 1. Let i be z(1). Let s be (5 - (0 + i))*-7. Let l be y(s). Solve -2*f - l = -0 for f.
-1
Let q be (-1 - (-5 + 3)) + -1. Suppose q = -3*i - 5*a + a - 10, 3*a + 14 = i. Solve p = -i*p for p.
0
Let d be (-10)/(-15)*-3*(-6)/4. Suppose -2*u + d*v = -18, 28 = 9*u - 6*u - 5*v. Solve u = -5*k - 4 for k.
-2
Let v = -23 - -26. Let d(q) = 4*q - 4. Let m be d(v). Suppose -3*t + t + m = 0. Solve -t*o + 6 = -o for o.
2
Suppose -a = -0*s - 3*s + 13, 0 = -2*a + 4. Suppose 0 = 19*o - 98 - 187. Let y be (-6)/(s/(o/(-6))). Solve -j + 2 = y for j.
-1
Let f(z) = -2*z**3 - 47*z**2 - 24*z - 21. Let j be f(-23). Solve j*h = 6*h - 16 for h.
4
Let l(o) = -4 - 2 + 3 + o. Let j be l(-5). Let n be 27/36 - 26/j. Solve 0 = -a + n - 0 for a.
4
Suppose 36*o = 3*l + 38*o - 16, 0 = -l - 2*o + 8. Solve 0 = -5*i - 24 + l for i.
-4
Let m = -18 + 23. Suppose -o - g - 11 = -2*o, m*o - 15 = -5*g. Let b = o - 7. Solve n = -b*n + 2 for n.
2
Suppose 2 + 5 = 5*r + 2*n, 5*n + 32 = 4*r. Suppose -6 = -6*m + 3*m. Solve m*d + r - 5 = 0 for d.
1
Let r(g) = -g**2 - 13*g + 3. Let k be r(-14). Let q = -10 - k. Solve 2*j - 3 + q = 0 for j.
1
Let b = -427 - -436. Solve 0 = 6*d - b*d for d.
0
Suppose -3*x + 6*g = 5*g + 32, -3*x = 3*g + 48. Let o be ((-5)/15)/(2/x). Solve 0 = 2*v - 0*v - o for v.
1
Suppose 3 = -3*d, 0*g - 4*g = -d - 61. Suppose -3*h + 22 = 4*x - g, 9 = x + h. Solve 1 = -3*r + x for r.
3
Suppose 3*c = 5*m - 15, -2*m + 5*c - 4 = -29. Let t be 0 + 0 - 10/(-2). Let u be t + -3 + 4 - 3. Solve m = 3*o - 0*o + u for o.
-1
Suppose 0 = 5*k + d - 77, 2*k - 19 - 17 = -3*d. Let g = 20 - k. Solve -v - 2 = -g for v.
3
Let x(r) = -r**3 - 18*r**2 - 77*r + 5. Let v be x(-7). Solve -v*m = 46 - 66 for m.
4
Let r be (-2)/(-7) - (-248)/14. Let x be (-3)/(-12) + r/(-8). Let h be x + 4 + (-1)/(-1). Solve 2*f - 3*f = -h for f.
3
Let c(j) = j**2 + j - 1. Let g be c(2). Suppose g*p = -3*y + 32, 0*y + y - 5*p = -16. Solve 0 = y*i - 3*i + 1 for i.
-1
Suppose -114*b = -102*b. Let q be 19 + -2*(-3)/6. Suppose 5*o - q = h, -3*h + 6*h - 10 = o. Solve b*x = -h*x for x.
0
Suppose -4*h + 3*f - 143 = h, -51 = 2*h + 5*f. Let m be 45/21 + 4/h. Solve -3*g + 3 = -m*g for g.
3
Suppose -6*v + 10*v - 64 = 0. Suppose -4*d = 3*n - 4*n + 6, v = -4*d. Let u be 5/n*(-2 + 0). Solve 0 = -t + u for t.
1
Suppose 11*x - 5 = 10*x. Solve x = -w - 0*w for w.
-5
Let z(i) = 2*i + 15. Let q be z(-6). Let j be (3/(-3) - (-4)/q)*3. Solve -j = h + 4 for h.
-5
Suppose 176 = 2*n + a - 0*a, n - 5*a = 88. Let p = -84 + n. Solve p*z + 4 = -16 for z.
-5
Let z be 5 - (6 - (3 + 5)). Solve z*o - 6*o = 0 for o.
0
Suppose -2*k + 6*k - 12 = 0. Suppose w = k*s, w + 5*s + 0*s = -40. Let h = w + 18. Solve -8 = -h*a + a for a.
4
Let v be 4 + (5 - 42/(7 - 0)). Solve -v*g + 9*g = 6 for g.
1
Let u = 13 - 10. Suppose -7*r + 2*r + 2*s = u, 3*r + s = 7. Let o be (-4 + 5)/(r/3). Solve o = -5*g - 7 for g.
-2
Suppose 7*o = -354 + 382. Solve o*x + 5 = 1 for x.
-1
Let v be 9*(-8)/24 - -425. Solve 0 = 5*u + 427 - v for u.
-1
Let a be (225/20)/(-9)*-4. Let l = -14 - -20. Suppose l = g + a. Solve -6*v = -5*v - g for v.
1
Let x(b) be the third derivative of b**5/60 - 13*b**4/24 + 7*b**3/3 + 12*b**2. Let o be x(12). Solve 0*i - 10 = -o*i for i.
5
Let s = 3 + 1. Let f be (5 + -2)/(2/4). Suppose k = -k + f. Solve -k*v + s = v for v.
1
Let i(f) = -4*f - 10. Let q be 6*(-1 + 28/8). Suppose q = 32*b - 35*b. Let t be i(b). Solve t = -0*g + 2*g for g.
5
Let o(j) be the second derivative of -j**5/20 - 7*j**4/12 - 5*j**3/6 + 6*j**2 + 12*j. Let z be o(-6). Solve -m + z = 2 for m.
4
Suppose -7*u - 729 = -785. Solve 4*a - u = 4 for a.
3
Suppose -4*r + 18 = 10. Solve -4*n + 18 = r*n for n.
3
Suppose 21*c = 16*c + 25. Solve 3*l + 8 = c*l for l.
4
Let k(j) = -j**3 + 15*j**2 - 24*j - 26. Let a be k(13). Solve -2*w - 4*w = a for w.
0
Suppose -2*a = -m + 14, 5*a - 5 = -3*m - 29. Let x = a - -9. Solve -x = j - 7 for j.
4
Suppose -a = 4*a. Let h be (3/(-3))/(a - 1). Let u be h/(-1)*(-1 + -2). Solve 1 = -2*b + u for b.
1
Let j(u) = u**3 - 2*u**2 + 2*u + 15. Let o be j(4). Let a = o + -55. Solve 3 = -v - a for v.
-3
Suppose p = -1 + 15. Let k(w) = 8 + 15*w - p*w + 1. Let r be k(-7). Solve 0*c - r*c + 8 = 0 for c.
4
Suppose 4*v = 2*p - 10, 4*v = -3*p + 2 - 7. Suppose -s + 3 - p = 0. Solve s*o = -0*o for o.
0
Let n = 38 - 53. Let l = 12 - n. Let f be 5*(l/15 + -1). Solve 20 = t + f*t for t.
4
Let s = -24 - -27. Suppose 0 = -5*q - 20, -3*w - 2*q - s*q = 20. Suppose -r + w*r = -13. Solve r = -5*x - 7 for x.
-4
Let w(i) = 2*i**3 - 14*i**2 - 16*i + 5. Let k be w(8). Solve -4*y = -k*y + 2 for y.
2
Suppose 0 = -4*w + 5*w - 3*o + 55, 66 = -2*w - 5*o. Let l = -62 - w. Let j = l + 27. Solve -7*b = -3*b + j for b.
-2
Suppose v + 5 = 15. Suppose -5*g + 37 = 5*a - 3, -2*a + v = 0. Suppose -s + 0 = -g. Solve s + 3 = -3*n for n.
-2
Let b = -35 + 38. Suppose v = b*v - 6. Solve -7 - v = 5*j for j.
-2
Let t(y) = 24*y - 26. Let o be t(-4). Let r = o - -125. Solve q = r*q - 8 for q.
4
Let z(q) = 25*q - 122. Let k be z(5). Solve 0 = k*r + 40 - 28 for r.
-4
Suppose -16 = -4*z + 12. Let i be (1/(-3))/(6/(-144)). Suppose 4*d + 12 = i*d. Solve d*q - 1 = -z for q.
-2
Let r = -32 + 35. Solve 0 = -8*g - 29 - r for g.
-4
Suppose 4*z - 2*g - 16 = 0, -2*g = 5*z - 4*g - 18. Solve v - z = -0*v for v.
2
Suppose -19 = -3*f + 26. Solve 0 = -f*s + 11*s for s.
0
Let m be 1 + -4 - (-11 + 8). Let a(l) = -l**3 + 5*l**2 + 6*l + 4. Let d be a(6). Suppose d*r - 16 = 2*r. Solve m*x + r = -2*x for x.
-4
Let k = -2025 - -2028. Solve -k*y - 443 + 428 = 0 for y.
-5
Suppose 2*z = -6*z + 104. Suppose -4*s + 55 = -4*j - 7*s, -4*s - 17 = j. Let y = z + j. Solve 4*h + 12 = -y*h for h.
-3
Suppose -4*d + 9 + 6 = t, -4*d = 0. Suppose -b + 4*h = 2*h, 10 = 3*b - h. Suppose 0 = -u - 1, -4*u - b = -n + 4. Solve -v - n*v = -t for v.
3
Let w(i) = i**2 + 4. Let v be w(0). Let d be (18/4 + -3)/(1/2). Solve -b = -d*b + v for b.
2
Let m be 12/9*348/8. Let c = -56 + m. Solve -3 = -c*j + 5*j for j.
-1
Let s(n) = -n**2 - 3*n + 18. Let g be s(-6). Solve 12*q - 15*q = g for q.
0
Let y be 18*16/(-12)*3/(-12). Solve -y*i = -12*i - 30 for i.
-5
Suppose 4*r = 3*g + 27 - 8, 2*r + 40 = -4*g