2 = 0 for n.
1
Let i(l) be the third derivative of 0 + 1/8*l**4 - 1/2*l**3 + 0*l - 6*l**2 + 1/60*l**5. Let w be i(-4). Solve w = -2*o - 1 for o.
-1
Let h be 9/1 - (2 - -1). Let o = 8 - h. Suppose o*n = 4, 0 = -3*i - 5*n + 4 + 12. Solve -s - i = -0*s for s.
-2
Suppose 0 = -4*r + 2*r + 58. Suppose r = -2*j - 31. Let q be ((-3)/1)/(j/40). Solve -4 = 2*s - q*s for s.
2
Let z = 1149 - 1146. Solve 0 = -z*g - 3*g - 18 for g.
-3
Let b = -879 + 886. Solve 0 = -12*i + b*i for i.
0
Let p = -1055 - -1057. Suppose 3*w - 15 = 3*q, -w + 0*w - 2*q = -2. Solve 2 + p = -w*u for u.
-1
Let s(c) = -22*c + 155. Let j be s(7). Solve -j = -2*k + 1 for k.
1
Let z be ((-2)/(-17) - 152/136)*0. Solve z = -6*t + 7*t for t.
0
Let p = 215 + -98. Suppose -4*q = -3*m - q - 54, 4*m + 5*q = -p. Let r = 23 + m. Solve r = -4*h + 14 + 2 for h.
4
Let u = -4 + 2. Let q(i) = 3*i**3 + 2*i**2 - i + 2. Let j be q(u). Let c(o) = o**2 + 13*o + 15. Let r be c(j). Solve -r*g = -7*g for g.
0
Suppose -w = -z - 16, 0 = 3*w + z - 5*z - 48. Suppose 5*p - 2*k = 10, 4*p + 4*k + 4 = -w. Solve p = 5*s - 13 - 12 for s.
5
Let p be -3 + 8 - -1 - (-6 + 4). Suppose 0 = p*z + 2*z. Solve 0 = -l - z - 1 for l.
-1
Let v(j) = j + 16. Let y be v(-14). Suppose 0 = y*r - 1 + 7. Let z be -3*1/r*3. Solve 12 = 7*l - z*l for l.
3
Suppose 0 = 5*p + 4*z - 128, 2*p - 65 = -0*p + 3*z. Suppose p*r - 50 = 23*r. Solve -3*o = 2*o + r for o.
-2
Suppose -45 = 2*r - 5*r. Let f(j) = -j**3 - 3*j**2 + 6*j - 7. Let m be f(-5). Suppose -3*h + 2 = -m. Solve h + r = 4*o for o.
5
Let j(b) = -98*b - 90. Let a be j(-1). Solve 10 + 22 = -a*v for v.
-4
Let x = -105 - -138. Solve j + x - 35 = 0 for j.
2
Let w be -2 - (-14)/((-196)/35 - -6). Solve 0 = -18*d + w + 57 for d.
5
Let d = 0 - 0. Suppose d = 3*o + 9 + 3. Let a = 4 - o. Solve -3*x + a = -4 for x.
4
Suppose x + 41 = -5*k - 0*x, 0 = k - 4*x + 4. Let g = 6 - k. Suppose -4*b = -g + 6. Solve 3 = -o + b for o.
-1
Let z be (-2)/(-4)*10 - (-31 - -31). Solve r - 4 = z*r for r.
-1
Let n = -7 + 10. Let y(g) = -1 - g + 6 - 4 + 6. Let p be y(6). Solve -v = p + n for v.
-4
Let p(s) = -s**3 + 7*s**2 + s - 7. Let v be p(7). Suppose v = 3*z - 6*z + 9. Solve z = 2*r + r for r.
1
Let m(y) = 2*y**2 - 16*y + 4. Let x be m(12). Suppose 99*q - x*q = 0. Solve -3*s + 18 - 3 = q for s.
5
Let q = 75 - 45. Suppose -q = -2*i - i. Let f = 72 - 65. Solve -2*u + i = -f*u for u.
-2
Let b(t) be the third derivative of t**4/24 + 8*t**3/3 + t**2. Let d = 140 + -153. Let h be b(d). Solve 0 = -h*l - 0*l - 12 for l.
-4
Suppose -w - 5*r = 0, -4*w - w + 3*r = 0. Let i be (3 + -17)/(w - 2). Suppose 6*d = i*d - 12. Solve 0 = -4*a + d for a.
3
Suppose -16 = -t - 10. Suppose -2*z + 28 = l, -3*l + 5*l - 4*z - 16 = 0. Suppose -3*d = -l + t. Solve a = d*a for a.
0
Suppose 3*b - 11 = -8. Let p be -1 + b + 0/1. Solve -m = -p*m for m.
0
Let y be 75 + -84 + 15 + 2. Let x(k) = k**2 - 5*k + 4. Let u be x(4). Suppose -a = -5*s + 22, -14 = -2*s + 3*a - u. Solve -3*n + y = -s for n.
4
Let w be ((-150)/(-125))/((-18)/(-45)). Let f = -4 + 8. Suppose -s = f*y, -4*y = 2*s + 3*s. Solve 3 = w*t - y*t for t.
1
Let r be -1 + -1 + 9 + 0. Suppose 0 = r*c - 5*c. Solve -2*u = -c*u + 2 for u.
-1
Suppose k = 2 - 0. Suppose -5*l - 1031 + 1116 = 0. Solve k = -3*i + l for i.
5
Let g(q) be the second derivative of q**3/6 + 7*q**2 + 18*q. Let a be g(-12). Solve -4 + 2 = a*v for v.
-1
Let m(h) be the first derivative of -h**4/4 - 2*h**3 - 3*h**2 - 5*h - 1. Let o(n) = -8*n - 157. Let z be o(-19). Let g be m(z). Solve -5*r = -g*r + 20 for r.
-4
Let v be (-178)/((4/(-6))/((-4)/12)). Let f = v - -92. Solve f*a = 2*a for a.
0
Let k be (-501)/15 + 2/5. Let r = k + 36. Solve j = -5 + r for j.
-2
Let r = 60 - 40. Let u be 9 - (15 - 18) - 9*1. Solve 0 = -2*h - u*h - r for h.
-4
Let k = -76 + 121. Let s = k + -39. Solve 0 = 5*w - 9 - s for w.
3
Let q(p) = 2*p + 27. Let s be q(-11). Suppose 19*v = 14*v - s. Let h be v/3 + 366/18. Solve 6*d = d - h for d.
-4
Let c(r) = r**3 + 17*r**2 + 27*r - 25. Let b be c(-15). Suppose -2*h = -4*v - 20, -3*v - b = -9*h + 5*h. Solve z - h = 3 for z.
5
Let g = -125 + 145. Solve 8*k = -52 + g for k.
-4
Suppose 3*o + 36 = -3*o. Let b be (12/(-18))/(o/45). Solve -w + 0 = b for w.
-5
Suppose 2*q + 0*q = -v + 9, -3*v + 5*q = -82. Let k be (v/(-4))/(4/16). Let c = -15 - k. Solve -c = 4*w - 0 for w.
-1
Suppose 2*f + 0*f = -3*f. Suppose 0*l + 3*l - 24 = f. Solve -l = 5*p + 2 for p.
-2
Let o be 6*((-26)/(-6) + -2 + -2). Let k(b) = 8*b - 13. Let h be k(2). Solve o*s - 3 - h = 0 for s.
3
Let s = -237 - -254. Solve s*q = 18*q + 4 for q.
-4
Let s = -617 - -668. Solve -s = 18*p - 15 for p.
-2
Suppose -c = 3*c - 16. Let v be -2*(9/(-2))/(-9) + 7. Solve -v*a + 2*a = -c for a.
1
Suppose -4*p = -9*p + 25. Let v = -10 + 5. Let t = v + p. Solve t = g + 3 for g.
-3
Let w(b) = b**2 - 29*b + 5. Let s be w(0). Solve 0*g + 0*g = s*g for g.
0
Suppose -140 = -5*s - 0. Suppose 192 + s = 4*i + 5*m, -i + 70 = 5*m. Let h be (9/5)/(15/i). Solve -l - 1 = -h for l.
5
Let y(p) = -2*p**2 + 3 + 19*p + 21 + 3*p**2. Let r be y(-18). Let j be (1 - 1) + 0/1. Solve j = r*o - 3*o - 3 for o.
1
Suppose -14*c = -15*c. Suppose 3*a = 4*j + 28, c = -3*a + 3*j + 6 + 18. Suppose -2*i = 0, a = n + 4*i + 2. Solve 3*g + 10 = -n*g for g.
-2
Suppose -3*b + i + i + 36 = 0, -4*b + 48 = -4*i. Solve -11*f + b*f + 4 = 0 for f.
-4
Suppose 0 = -741*d + 750*d - 54. Let x be -5*8*(-2)/5. Let o be 1/(-4) + 42/8. Solve -x + d = -o*a for a.
2
Let y(z) = 5*z**3 + z**2 - z - 1. Let q be y(1). Suppose -6*l + l + 16 = k, 0 = q*l + 3*k - 15. Let a(w) = w + 2. Let h be a(l). Solve h*u - 4 + 24 = 0 for u.
-4
Let c(x) = x**3 - 9*x**2 - 10*x + 3. Let n be c(10). Let m be n/15 + (-57)/(-15). Suppose 0 = -2*z + u + 19, 0 = -4*u - 6 - 6. Solve -28 + z = -m*h for h.
5
Let u(t) be the second derivative of t**3/6 - t**2 - 6*t. Let n be u(-3). Let p be (-108)/(-30) + (-2)/n. Solve 9*l = p*l + 20 for l.
4
Let d be (-3)/(-2)*48/(-9). Let i = d + 11. Let f(o) = 4*o - 7. Let z be f(i). Solve 5 = -0*v + z*v for v.
1
Let w = -15 + 18. Let z = -2 + w. Let x be 1 + -3 + 3 + z. Solve -7*i = -x*i for i.
0
Let p(r) = -r**3 + 16*r**2 - 28*r + 1. Let b be p(14). Let l = -8 + 27. Let w be b + l + -4 + 2. Solve 5*h - 7 = w for h.
5
Let v(f) = 4*f - 83. Let g be v(9). Let j = -21 + -10. Let a = j - g. Solve t + 3*t + a = 0 for t.
-4
Suppose -26*h - 27 = -521. Solve h*l = 25*l - 12 for l.
2
Let y be -19 + 1 + (-2 - 0). Let i be (-4)/18 - y/90. Suppose n - 5 = -4*r + 10, -3 = r - 2*n. Solve -3*o + i = -r for o.
1
Let y = -494 + 502. Solve 6*a + y = 2*a for a.
-2
Let w = -75 - -79. Suppose -w*y = -2*b - 23 + 3, 3*y - 15 = 5*b. Solve -12 = -y*m + m for m.
3
Let y = 147 + -142. Solve 15 = -5*o - y for o.
-4
Suppose -8*d = -5*d. Suppose -72 = -5*o + 4*m, d = 2*o - 5*m - 10 - 29. Solve 0 = a - 4*a + o for a.
4
Let g be 1/(3/15) - -4. Suppose -t + g = 7. Solve -4 = -o + t*o for o.
-4
Let k(y) = -y + 16. Let m be k(11). Let p be m*3 - (-12)/(-4). Solve 0 = -3*q - 0*q + p for q.
4
Let l(k) = -k**3 + 5*k**2 - 2*k + 3. Let j be l(4). Solve j = 3*o + 17 for o.
-2
Let y(q) = q**3 + 5*q**2 + 4*q + 2. Let v be y(-4). Suppose -4 = -2*c + d, d = -v*c + 5*c - 6. Solve 0 = -g + 6 - c for g.
4
Let t(l) = -l**2 - 24*l - 39. Let z be t(-22). Suppose 2*m = -8, -z*j + 0*m + 4 = -m. Solve -4*w + 5*w = j for w.
0
Let b(h) = 3*h + h**2 - 2*h**2 + 10 - 4*h. Let p be b(0). Let k be (-175)/(-28) - (-3)/(-12). Solve -4*y - k = p for y.
-4
Let j(i) = i**3 - 11*i**2 - 82*i + 34. Let y be j(16). Solve -y = -3*v - 2 for v.
0
Let b(q) = q + 62. Let u be b(-60). Solve u*l = -4*l + 12 for l.
2
Suppose 5*d - 15 = -3*j + 2*j, -4*d + 28 = 4*j. Let l(y) = d - 155*y - y**2 + 159*y + 2. Let i be l(4). Solve k + 5 = i for k.
-1
Let u be -8 - (-14*130)/10. Solve u = 4*o + 166 for o.
2
Suppose 5 = -11*v + 6*v. Let r(n) = -2*n**3 + n**2 + 2*n + 1. Let c be r(v). Let j = 4 - c. Solve j*t + 20 = -3*t for t.
-4
Let i(f) = f**2 + 13*f - 3. Let p = 3 + -12. Let a be i(p). Let b be ((-16)/12)/(2/a). Solve 0 = -5*w - b + 1 for w.
-5
Let z = 168 - 163. Solve j + z = 1 for j.
-4
Let d(x) = -x**3 - 54*x**2 + 53*x - 72. Let a be d(-55). Solve 14 = -6*w + a for w.
4
Suppose 5*v - 33 = -4*y, 5*y = 6*y + 3*v - 17. Suppose y*n = 12 + 18. Solve -4*a + n = -a for a.
5
Let f = -3 - -9. Let c(u)