e 0 = -q*n + 40 - 4 for n.
4
Let f(v) = v - 2*v**2 + 5*v**2 - 19 - 2*v**2 + 23. Let t(k) = k**2 + k. Let r be t(0). Let w be f(r). Solve 2 = -3*u - w for u.
-2
Suppose -6*i - 6 = -24. Solve -2*g - g + i = 0 for g.
1
Suppose -4*z + z - 6 = 0. Let t = z + 2. Suppose 5*x = 5*l - 10, 2*l + t - 6 = 0. Solve a + x = -0 for a.
-1
Suppose -3*t - 4*h = -52, 3*t - 2*h + 5*h = 48. Suppose -4*a = -0*d + 4*d - 4, -4*d + 3*a = -25. Suppose 0 = -7*f + d*f + 9. Solve 7*x + t = f*x for x.
-3
Let d(m) = m**2 - 3*m + 3. Let f be d(3). Let s be (54/15)/((-20)/150). Let k be 1 - 3 - (-9)/(s/(-12)). Solve -y = -f + k for y.
1
Suppose -5*f + 5 = -5*b, f - 4*b = -f - 8. Suppose -f*v = -2*v - 60. Let o = 23 - v. Solve x = -3*x - o for x.
-2
Let h = 328 - 324. Solve h*d + 3*d = -28 for d.
-4
Let r(o) = o**3 - 2*o**2 - o - 3. Let k = 10 + -20. Let i = k + 13. Let q be r(i). Solve -q*z = 2*z - 10 for z.
2
Let b(v) = v**2 + 28*v - 14. Let o be b(-29). Solve 5 = 2*s + o for s.
-5
Let h = -70 - -74. Solve -h*t + 6*t - 8 = 0 for t.
4
Let b be (-7)/63 - 133/(-63). Solve b*o - 7 = -9 for o.
-1
Suppose -5*j - 20 = -j. Let s = 7 + j. Suppose s*w - 2 = 4. Solve -w*o = -0*o for o.
0
Suppose 2*b = -d + 18, -2*d - d - 2 = -b. Solve -b = -3*w - 20 for w.
-4
Let y(w) = 36*w + 110. Let u be y(-3). Suppose 3*m = -m + 12. Solve u*i - m = -1 for i.
1
Let q(r) = 4*r - 7. Let z be q(8). Let p(s) = s**3 + 11*s**2 + 12*s + 25. Let o be p(-10). Suppose o*v - k - 29 = 1, 0 = -k. Solve -v*y + z = -y for y.
5
Let t = -8 - -8. Let g be 0/1 - (t - 4). Solve 5*h = -1 - g for h.
-1
Let m = 69 + -69. Suppose 3*p + h - 5 = m, h - 3 = -1. Solve -2*s + s + p = 0 for s.
1
Suppose 4*u + 6 = -2*a, 5*a - u - 41 = 3*u. Suppose 4*w + a*i - 44 = -3, 0 = 3*w + i - 17. Solve w*y + 5 + 11 = 0 for y.
-4
Let i = -285 - -292. Solve -i*u + u = 0 for u.
0
Let b be (-4)/(-18) + 2/(-9). Let y(d) be the second derivative of d**5/20 + d**4 + d**3/3 + 13*d**2 - 16*d. Let k be y(-12). Solve -k*w - 3*w - 25 = b for w.
-5
Let b = 63 + -47. Suppose -4*a + b = -12. Let p = 4 - 2. Solve -a = -p*u + 3 for u.
5
Let p = -24 + 24. Let w be -10*(-4)/(-16)*-4. Suppose -w*n + 8*n = -16. Solve 3*u - u + n = p for u.
-4
Suppose 3*f + 18 = -5*u, -2*u - f - 10 = -3. Let c(a) = -a**3 - 4*a**2 - 3*a + 3. Let i be c(u). Solve 2*p = -i*p for p.
0
Suppose 0 = -4*g, -t - 2 + 5 = -2*g. Suppose -4*j = -42 + 18. Suppose -c = -2, 8 = -n + j*n - c. Solve t*d + 3 = n*d for d.
-3
Let a be (0 + (-28)/(-2))*(-16)/(-32). Solve -3*h - a + 1 = 0 for h.
-2
Let x(h) be the third derivative of h**5/60 + h**4/4 + h**3/2 + 2*h**2. Let g be x(-5). Let z be 4/(-12)*(g + 2). Solve z = 2*q + 3 - 7 for q.
2
Suppose 0 = -2*l, -z + 5*z - 5*l = 12. Suppose 4*x - 3*v - z = 1, 8 = 2*v. Solve 0 = s + x for s.
-4
Let w(q) = q**2 + 16*q + 59. Let k be w(-5). Solve k*c + 14 = 18 for c.
1
Suppose -g - 2*g = -15. Suppose 3*z + 0 = 6, 0 = -3*j - g*z + 16. Solve 0 = -j*f + 5*f - 15 for f.
5
Let u(n) = -451*n**3 + 225*n**3 - 7 + 6*n + 227*n**3 - 2*n**2. Let t be u(3). Suppose b = -0*d - 4*d + 7, -2*b = d + 7. Solve t = d*v - 8*v for v.
-4
Let f = -77 - -100. Suppose -4*q + f + 29 = 0. Solve 3 - q = -2*m for m.
5
Let u be 4 + -7 + -1*(2 - 5). Let n be (-10)/20*u/(-1). Solve 2 = -2*z - n for z.
-1
Suppose 0 = -5*b - 4*y + 136 + 216, 0 = -b - 2*y + 74. Solve 0*j - b = 17*j for j.
-4
Let y = 46 - 10. Let k = 41 - y. Solve -k = 4*c + 15 for c.
-5
Suppose 4*r = -5*d + 65, -4*r + 24 + 31 = 3*d. Solve r = 3*z + 2*z for z.
2
Let w be (1 - -1) + (-3 - -1). Let j(p) = p**3 + 15*p**2 + 26*p + 4. Let f be j(-13). Solve w = f*q + q - 10 for q.
2
Let p = -65 - -92. Let n = -22 + p. Suppose -3*g = -n - 43. Solve g = -3*f + 1 for f.
-5
Suppose -41 = -5*i + 94. Solve -45 = -6*f - i for f.
3
Let k(j) = j**3 + 4*j**2 - 16*j - 14. Let g be k(-6). Solve 0 = 7*t - 5*t - g for t.
5
Let n(l) = 3*l + 17. Let y(d) = -7*d - 35. Let k(j) = -13*n(j) - 6*y(j). Let b be k(5). Solve -b + 8 = 2*p for p.
2
Suppose 2*a - 3*r - 17 = -0, 2*a + 4*r + 18 = 0. Let v be 0 - 64/(-1 - -5). Let u = 18 + v. Solve a + 7 = -u*k for k.
-4
Suppose -k = -2*k + 4. Let a be 4 - (1/2 + 155/(-10)). Suppose -4*m + k*f + 20 = 0, 2*f + 3*f + a = 2*m. Solve m*l = -l for l.
0
Let t = -550 - -558. Solve 0 = -7*k + t*k for k.
0
Suppose -12 = -6*d + 2*d. Solve -2 = -d*j + 13 for j.
5
Suppose 3*s - 4 = -2*a + 11, 4*s = 2*a + 20. Let p be 2 + (s - 4) + 1. Suppose h + 26 = 5*y - 21, 5*h + 10 = 0. Solve -y = p*d + 11 for d.
-5
Let z be (2 + (-2)/10)/((-108)/(-180)). Suppose 12 = -y + 4. Let v be (1 + 14/y)*-12. Solve z*a = -v - 0 for a.
-3
Let h(v) = -8*v + 36. Let k be h(3). Suppose -k = 7*p - 54. Solve -1 + p = i for i.
5
Let q = -37 - -37. Suppose -k + 15 + 1 = 5*p, q = -5*p - 5*k + 20. Solve 4*h + p = 7 for h.
1
Let j = 21 - 7. Let u = -14 + j. Let p = 3 + u. Solve p*x = -x for x.
0
Suppose -11*h - 100 = 76. Let l = h + 26. Solve 0 = -0*v + 2*v - l for v.
5
Let c be (2 + 3/(-3))/(-46 + 47). Solve -c = 6*i + 5 for i.
-1
Let r(g) be the third derivative of -1/6*g**4 - 2*g**2 + 0*g**3 + 0*g + 0. Let d be r(-1). Solve d*z - 3 = -23 for z.
-5
Suppose -9*n - 50 = -14*n. Suppose 15*d - n = 13*d. Suppose 0 = -4*s + 3*j - 4, -d*s - 1 = -2*j - 3. Solve -i + 4 - s = 0 for i.
2
Suppose -31*b - 15*b + 230 = 0. Solve 37 = -b*o + 17 for o.
-4
Let v be (10/4)/((-4)/(-8)). Suppose 9 = 3*d - 6, 0 = 5*j - v*d + 15. Suppose 0 = 2*t - 3*f - 6, -j = -t - 4*f + 5*f. Solve -4*n + 1 + 3 = t for n.
1
Let v(a) = a**3 + a**2 + a. Let q(m) = 4*m**3 - 2*m**2 + 13*m + 4. Let t(u) = q(u) - 5*v(u). Let g be t(-8). Solve -3*n + g = -11 for n.
5
Let y be (-6)/3 + 72/((-2)/1). Let g = 40 + y. Solve 1 = -g*o - 1 for o.
-1
Suppose 70 = f + 5*x, 0*f + 3*f - 2*x = 278. Suppose -89*u = -f*u + 3. Solve 2*a = -u - 7 for a.
-5
Suppose -37*k + 149 = 38. Solve -k*i + 15*i = -60 for i.
-5
Suppose -26*u + 21*u - 300 = 0. Let i = -60 - u. Solve i = 3*r - 2*r for r.
0
Let z be (-12)/8 - -1 - (-66)/12. Solve z*q + 3 = -17 for q.
-4
Suppose 2 + 2 = 2*x. Let a be 0*1/(x - 0). Solve -3*m - m - 12 = a for m.
-3
Let z(o) = o**3 + 16*o**2 + 16*o + 17. Suppose 11 + 19 = -2*h. Let m be z(h). Let n be -2 - (-8 + 1 - m). Solve -n*j + 6 = -4*j for j.
2
Suppose 0 = k - 2 - 3. Let t = -15 + 37. Suppose 38 = 5*l - t. Solve 8 = -k*p - l for p.
-4
Suppose 3*m + 2 + 1 = 0, 0 = -2*c - 2*m - 62. Let y = 33 + c. Solve 8*o = y*o for o.
0
Let n = 166 + -151. Solve -7 = 2*h - n for h.
4
Let v = 12 - 14. Let a be 0/v*3/(-6). Solve 0 = -a*j - j + 4 for j.
4
Let x = -15 + 25. Let g be (x/(-6) + 1)*-3. Suppose -3*v = -3*m - 2*v + g, 3*m + 10 = -5*v. Solve -2*f + 3*f = m for f.
0
Let w(d) be the second derivative of 0 + 7/6*d**4 + 19/2*d**2 + 13*d + 1/20*d**5 - 7/3*d**3. Let y be w(-15). Solve y*n + n = 25 for n.
5
Let n = 5 + -4. Let i be (126/35 - 4) + 84/10. Suppose -2*d = w - 4*d - 7, 2*w = 2*d + i. Solve o + n = -w for o.
-2
Suppose 4*g = 4*q + 48, -q + 4 = -2*q. Solve 6*t - 22 = g for t.
5
Suppose 0 = r - 4, 0 = 4*i + r - 5*r. Solve -i = 3*a - 7*a for a.
1
Let p be -1 - (4 + -3 - 23). Suppose -z - p = 43. Let q be (42/(-8))/(24/z). Solve 5*l = -q - 1 for l.
-3
Let a = 170 - 166. Solve -w - a = -6 for w.
2
Let q(s) be the second derivative of s**3/2 + 17*s**2 + 40*s. Let m be q(-10). Solve -m = 3*g - 2*g for g.
-4
Let c(d) = d - 1. Let f(u) = 8*u - 49. Let x(n) = -5*c(n) + f(n). Let z be x(0). Let l = -38 - z. Solve l*w - w = -15 for w.
-3
Let q(a) = -12*a + 818. Let s be q(68). Solve s*m - 9 = -m for m.
3
Let g(a) = 7*a. Let z be g(-1). Let m(u) = -u + u + 3 - 7*u - u**2. Let k be m(z). Solve -3 = -3*n + k for n.
2
Suppose 16*c = -0*c + 160. Suppose 0 = -3*l - 3*o - o + 4, -5*o - 2 = 2*l. Solve -c = -l*z - z for z.
2
Suppose 16*b - 28 - 36 = 0. Suppose 5*a - 85 - 125 = 0. Suppose b*m = -2*m + a. Solve -2*p - 5 = -m*p for p.
1
Let y = 125 + -92. Let b be (y/(-44))/((-2)/8). Solve -3 + 6 = b*h for h.
1
Let c(h) = -h**3 + 9*h**2 + 2*h - 15. Let o be c(9). Let p(y) = 8*y - 17. Let g be p(o). Solve 5*t - g*t - 2 = 0 for t.
-1
Let n(l) = -28*l - 222. Let a be n(-8). Solve 2*h - a = 3*h for h.
-2
Suppose 2*t + 10 = 3*o + o, -3*o - 5*t = -14. Suppose -o + 11 = 2*h. Let s(j) = j**2 + 3*j + 4. Let y be s(-3). Solve y + h = -2*i for i.
-4
Suppose 4*v + 2 = r + 2*r, -r + 3*v - 1 = 0. Suppose -3*k - 4 = 2*n, 5*k + 2*n + r*