
Let p = 2158 + -2154. Solve 21 = p*s + 3*s for s.
3
Let n be (6/4)/(6/(-12)). Let f = 4 + n. Suppose 0 = 2*k - 3 - f. Solve -b - k*b = 0 for b.
0
Let t(d) = d**2 - 28*d + 205. Let b be t(14). Solve -18*z = -b*z - 9 for z.
1
Suppose 0*u = 2*j - 4*u - 20, 4*j - 4*u = 20. Let v(z) = -z**2 + 2. Let d be v(j). Solve 3*w - d = w for w.
1
Suppose -10*b + 15*b = 5*t + 100, -t + 4 = 0. Solve 25 = l + b for l.
1
Let c be 0*(3/6 - 0). Suppose -j + 7 - 16 = c. Let b = 9 + j. Solve b = -2*y - 1 - 7 for y.
-4
Let k(a) be the first derivative of a**4/4 + 8*a**3/3 + a**2/2 + 11*a + 19. Let x be k(-8). Solve 0 = 7*j - x*j + 20 for j.
-5
Let l(i) = i**3 + 2*i + 3. Let u be l(-1). Solve u = -o - o + 2 for o.
1
Let v be (1*2)/(18*(-7)/(-1008)). Solve -40*n = -44*n - v for n.
-4
Let q(h) be the second derivative of h**4/12 - 2*h**3/3 - 3*h**2 + 7*h + 4. Let y be q(-3). Solve -y = 2*c - 7*c for c.
3
Suppose -3*k = -4*v + 8, -12 = -3*v + 3. Suppose 2 = -k*d + 6. Let a = d + 3. Solve -a*f = -12 - 8 for f.
5
Let g(i) = -2*i**3 - 6*i**2 + 6*i - 5. Let n(y) = y**3 + y**2 - y + 1. Let c(s) = g(s) + 3*n(s). Let z be c(2). Solve z = -r - 0 + 4 for r.
4
Let q be 16/104 - 462/(-39). Let s be (0 - 0)*(-6)/q. Solve -3 + s = -m for m.
3
Suppose -14*u = -10*u - 8. Let y be 7 + u + 36/9. Solve 0 = -g + 10 - y for g.
-3
Let g be 14/7 + (47 - -1). Let k = g + -47. Solve 0 = 2*q + k*q for q.
0
Suppose -42 + 138 = 3*z. Suppose 3*y - 2*u + u - 100 = 0, 0 = -y - 4*u + 16. Let h = z - y. Solve 2*f - 4*f + 6 = h for f.
3
Suppose 3*p - 17 = -m - 0, 5*m - 3*p = -5. Solve -6 = -m*w - 0*w for w.
3
Let m = -33 - -35. Suppose -4*w + 14 = -m*w. Solve 2*d + 5 = w*d for d.
1
Let x be 14*(12/(-8) - -1). Let g be (6/x)/(5/(-35)). Let p = -42 - -46. Solve -10 - g = -p*w for w.
4
Suppose 2*d = -d + 3*s + 12, -d - s = -2. Suppose 5*b = 4*o - 2 + 16, 3*o = -d. Solve b = 5*a - 8 for a.
2
Let x = 140 - 103. Solve -3*r + x - 43 = 0 for r.
-2
Let v = 1921 - 1907. Solve -v = 7*p - 0 for p.
-2
Suppose -3*c + 49 = 2*j, 67 = 5*c - 3*j - j. Suppose -10*r = 3*r + 8*r. Solve 5*z = -r*z - c for z.
-3
Suppose 0 = 8*v + 161 - 289. Solve 0 = -v*a + a + 30 for a.
2
Suppose 4*u = -3*d + 12, -93*d - 2*u + 6 = -94*d. Suppose 5*r - 3 - 2 = -2*o, 34 = -5*o + 3*r. Let s = -2 - o. Solve d*g + s*g - 6 = 0 for g.
2
Suppose 0 = -29*a - 16*a + 315. Solve -a*h + 5*h - 10 = 0 for h.
-5
Let d be -10*12/(-32) - 2/(-8). Let f be d/(-6) + -20*4/(-12). Solve -t + 5 = -f*t for t.
-1
Let w(n) = -27*n + 221. Let y be w(8). Solve -10 = y*o + 15 for o.
-5
Suppose 3*r - 3*p - 9 = 0, 0 = 4*r - 3*p - 2*p - 13. Solve 2*h - r = 4 for h.
3
Let p be 0 + (-5)/10*-12. Solve 2*n - 20 = p*n for n.
-5
Let o(t) = -t**2 - 23*t - 39. Let y be o(-21). Let u be (-6)/((-3)/((-6)/(-4))). Solve -2*k = y + u for k.
-3
Let c(i) = 8*i**2 + 8*i + 9. Let p be c(-1). Solve 4*j + p = -5*j for j.
-1
Let i(d) = -d**3 - 5*d**2 - 8*d - 12. Let f be i(-4). Solve 0*b + 2*b + f = 0 for b.
-2
Suppose -5*u = 2*n + 33, 0 = -2*n - 2*u - 25 + 7. Let s be -4 - (-10)/((-3)/(n + 1)). Solve s*r - r = -25 for r.
-5
Suppose 10*n = 40 - 30. Suppose -2*k = 5*k. Solve k = i - n + 6 for i.
-5
Suppose -4*y - 2*o - 16 = 2*o, -y + 6 = -o. Let k be (5 - (-2 - 3))*y/2. Solve 0 = k*r - 0 - 20 for r.
4
Let p = 273 + -265. Solve -p = -5*v + 9*v for v.
-2
Let f(q) be the first derivative of -q**2/2 - 8*q + 2. Let s(t) = t**3 + 14*t**2 + 5*t + 62. Let o be s(-14). Let c be f(o). Solve c = 2*u + 2 - 6 for u.
2
Suppose 3*l + 15 = 6*l. Let s be (l/(-2) - -2)*-4 + 0. Solve s*z - 1 = -7 for z.
-3
Let k(y) = -3*y + 5. Let r(d) = 2*d - 4. Let q(l) = -3*k(l) - 4*r(l). Let g be ((-8)/14)/((-4)/14). Let z be q(g). Solve -2 = -5*p + z for p.
1
Let y = -13 - -22. Let m be 4*(-3)/y*3. Let s = m + 21. Solve 5*p - s + 2 = 0 for p.
3
Suppose -231*q + 211*q = -740. Solve 0 = 17*o + 122 - q for o.
-5
Let t(x) = -10*x**3 - x**2. Let h be t(-1). Suppose 3*i = -5*m + 24, 2*i + m = 12 - 3. Let p be 5 - (i - h/3). Solve z = p*z - 8 for z.
2
Let o = -5 - -10. Suppose -c - 14 - o = 0. Let p = c - -31. Solve 2*s = 6*s + p for s.
-3
Let z(b) = 4*b**2 + 5*b - 16. Let j be z(-5). Solve 4*q + 67 - j = 0 for q.
-2
Let h = -58 - -61. Suppose 4*v - 3*v - h = -f, 4*v - 12 = 5*f. Solve 2 + 4 = -v*b for b.
-2
Let u(s) = -21*s**2 + 1 - s**3 + 3*s + 21*s**2. Let v be u(-3). Let x = v + -17. Solve 3*h - 3 = x*h for h.
3
Let l be 2 + 0*(-5)/15. Let c = l + 13. Solve 3*d - 6*d + c = 0 for d.
5
Let j(n) = -n**3 + 4*n**2 + 2. Let m be j(4). Let k be 96/20 + (4/4)/5. Suppose 3*p = k*y, 5*p = -0*y - y. Solve -g - m*g = y for g.
0
Suppose 2*d - 18 = -0*d. Let o = d - 6. Solve -y + o = 7 for y.
-4
Suppose 14*j - 1346 + 1178 = 0. Solve 30 + 18 = j*d for d.
4
Suppose -5*b = -3*c + 797, -5*b + 526 = 2*c - 3*b. Suppose -c = -10*l - 14. Solve 14*s = 9*s + l for s.
5
Let z = 31 - 28. Suppose -z*j = -9*j + 12. Solve 6*w = j*w + 8 for w.
2
Suppose 2*r + 42*i - 8 = 43*i, -4*r + 3*i = -20. Solve 11 = -r*w + 9 for w.
-1
Let u = -8 - -13. Let k be 2 - u - (-1)/(-1). Let r be 2 + -1 - (k + -1). Solve 2*d = r*d - 16 for d.
4
Let o = 2 + 2. Let p be (-3)/(-6) - (-10)/o. Suppose p*x + k = 2*k + 7, 5*x + 2*k - 30 = 0. Solve -13 + x = -3*y for y.
3
Let z be ((-4)/(-22))/(-14 + (-620)/(-44)). Solve -z = 4*l - 3*l for l.
-2
Suppose 0 = -g - 5*m - 2, 5*g - 2*m + 140 = -m. Let j = g - -30. Solve -8*k = -j*k + 10 for k.
-2
Let h(r) = r + 2*r - 1 + 0*r - 2*r - 22*r**2. Let v be h(1). Let z = v + 37. Solve t = -2*t - z for t.
-5
Let u = 70 - 59. Solve u*s = 7*s for s.
0
Suppose a + 20 = 3*a. Suppose -1 = -a*m + 9*m. Solve d = -4 - m for d.
-5
Let f = -270 - -276. Solve 3*p + 6 = f*p for p.
2
Let m be -61 - -6 - (-2 + 1). Let a = m + 58. Solve 0 = -a*b + 3*b + 2 for b.
2
Suppose -7*j - 260 = -12*j. Let d = 53 - j. Solve -d = 5*o - 16 for o.
3
Let z(m) = -m**2 - 12*m. Let x(p) = -4*p**2 - 49*p. Let c(q) = -4*x(q) + 18*z(q). Let w be c(-10). Solve -b - b + 4 = w for b.
2
Suppose -j + 1 = 0, 3*s + 19 - 86 = -j. Solve -13*c + 30 + s = 0 for c.
4
Let l(i) be the first derivative of -i**4/4 - 2*i**3 - i**2 - 3*i - 2. Let v be l(-6). Let m = v - 7. Solve -m = -j - 3 for j.
-1
Let w(b) = 2*b - 9. Let c be w(6). Let q = 573 + -573. Suppose c = 4*f - y, -5*f + q*y + 15 = y. Solve -f*i = -3*i for i.
0
Suppose -3*b + 5*i = -45, -2*b + 12 = -i - 11. Solve -b*z + 32 = -18 for z.
5
Suppose -5*c + 2*c = 4*u - 9, -2*c + 4*u + 6 = 0. Solve -2*q + q = c for q.
-3
Let o(l) be the second derivative of l**3/6 + 4*l**2 + 7*l. Let i be o(-8). Solve -3*t - 2*t = i for t.
0
Suppose 5*o + 0*k = k - 2, 2*o + 4 = 2*k. Let n be (-5 + (1 - 3))*-1. Suppose -4*p = -n*p + 9. Solve -p*j - 6 + 15 = o for j.
3
Suppose 58*a - 51*a = -14. Let f be 20/6 + a + (-8)/(-12). Solve 4*i + f = 2*i for i.
-1
Let h be -1 + (-5)/((-2)/2). Suppose -21 = -4*m + 27. Let r = 15 - m. Solve h = -r*u + u for u.
-2
Let j(f) be the first derivative of 1/3*f**3 + 17*f - 3 + 1/2*f**2. Let z be j(0). Solve 0 = 5*r - z + 7 for r.
2
Suppose -236*f = -225*f - 77. Solve f*r - 7 = -14 for r.
-1
Let r = -28 - -30. Suppose 0 = 2*g + 5*x - 15, -r*x = -4*x + 2. Solve -g*s + 0 = -5 for s.
1
Let b be 27/3 + -2 + -1. Suppose 5*n - i - 30 = 0, -3*n + 3*i = b*i - 18. Suppose -3*m + n = -0*m. Solve 0 = -4*q + 14 - m for q.
3
Let l(x) be the first derivative of x**4/4 + 13*x**3/3 + 2*x + 3. Let s be l(-13). Solve -s*k + 3 = k for k.
1
Let z be -4 - -8 - 0/3. Suppose -5*p + 61 = -z*f, 3*p + p - 56 = 5*f. Solve -2*b - p = b for b.
-3
Let t be (-7 - -1)*9/(-27). Let j be (4 - t)/1*1. Suppose j*c = -6 + 14. Solve 0*o = 2*o - c for o.
2
Let t(d) be the second derivative of d**3/2 - 5*d**2/2 - 2*d. Let w be t(3). Suppose -w*g + 20 = -4*x, -2*x + 0*g + g - 5 = 0. Solve x = 4*z + z - 15 for z.
3
Let t(r) = -r**3 - 13*r**2 - 13*r - 12. Let q = 16 - 20. Let v be (-738)/63 - q/(-14). Let c be t(v). Solve c*l + 4*l - 12 = 0 for l.
3
Let j be ((-2)/(-7) - 30/7) + 4. Solve w + 4*w - 25 = j for w.
5
Suppose -2*y - 2*y = 16. Let u be 4/(0 + (-3 - y)). Solve -2*p - 6 = -u*p for p.
3
Let o be -1 - 2/((-4)/18). Suppose 0 = -2*h - 6 + 12. Let b = o - h. Solve -q - 20 = -b*q for q.
5
Suppose -3*n + 69 = -4*c, 2*n - 4*c = 15 + 27. Solve n = -7*y + 41 for y.
2
Let b(y) = -y**2 - 5*y - 1. Let t(m) = m**3 - 7*m**2 + 6*m - 3. Let h be t(6). Let z be (28/12 - 1)*h. L